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-158961292700198.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 PhaseVariation-PT-D10CS010, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-csrt-158961292700198
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.1M
-rw-r--r-- 1 mcc users 4.1K Apr 12 00:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 12 00:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Apr 10 23:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 10 23:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.9K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Apr 10 08:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 10 08:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Apr 9 13:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 9 13:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 9 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.9M 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 PhaseVariation-PT-D10CS010-00
FORMULA_NAME PhaseVariation-PT-D10CS010-01
FORMULA_NAME PhaseVariation-PT-D10CS010-02
FORMULA_NAME PhaseVariation-PT-D10CS010-03
FORMULA_NAME PhaseVariation-PT-D10CS010-04
FORMULA_NAME PhaseVariation-PT-D10CS010-05
FORMULA_NAME PhaseVariation-PT-D10CS010-06
FORMULA_NAME PhaseVariation-PT-D10CS010-07
FORMULA_NAME PhaseVariation-PT-D10CS010-08
FORMULA_NAME PhaseVariation-PT-D10CS010-09
FORMULA_NAME PhaseVariation-PT-D10CS010-10
FORMULA_NAME PhaseVariation-PT-D10CS010-11
FORMULA_NAME PhaseVariation-PT-D10CS010-12
FORMULA_NAME PhaseVariation-PT-D10CS010-13
FORMULA_NAME PhaseVariation-PT-D10CS010-14
FORMULA_NAME PhaseVariation-PT-D10CS010-15

=== Now, execution of the tool begins

BK_START 1590350235033

info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ PhaseVariation-PT-D10CS010 @ 3570 seconds

FORMULA PhaseVariation-PT-D10CS010-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PhaseVariation-PT-D10CS010-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PhaseVariation-PT-D10CS010-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PhaseVariation-PT-D10CS010-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PhaseVariation-PT-D10CS010-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PhaseVariation-PT-D10CS010-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PhaseVariation-PT-D10CS010-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PhaseVariation-PT-D10CS010-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PhaseVariation-PT-D10CS010-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PhaseVariation-PT-D10CS010-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ PhaseVariation-PT-D10CS010

{
"exit":
{
"memory": 4568288,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (G ((NOT FIREABLE(division2_mutate_4_3_A_3_4) OR X (X (NOT FIREABLE(division2_mutate_5_9_B_4_9))))))",
"processed_size": 102,
"rewrites": 124
},
"result":
{
"preliminary_value": "unknown no no no unknown unknown no no unknown no no yes yes unknown unknown no "
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
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: 3439/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 9664
lola: finding significant places
lola: 302 places, 3137 transitions, 201 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 LTLFireability.xml
lola: A (NOT(F ((FIREABLE(division2_mutate_4_3_A_3_4) AND X (X (FIREABLE(division2_mutate_5_9_B_4_9))))))) : A (((G (FIREABLE(division2_mutate_6_3_B_5_4)) AND (FIREABLE(division2_mutate_2_5_B_2_6) OR X (FIREABLE(division2_mutate_6_8_A_5_7)))) U FIREABLE(division2_replicate_10_4_B_9_5))) : A (F (((FIREABLE(division2_replicate_9_4_B_8_4) OR G (FIREABLE(division2_replicate_6_1_B_5_1))) OR G ((X (G (F (FIREABLE(division2_mutate_10_2_A_9_1)))) AND F (NOT FIREABLE(division2_mutate_10_2_A_9_1))))))) : A (G (((FIREABLE(division2_replicate_3_2_A_4_2) OR (G (FIREABLE(division2_mutate_9_6_A_10_6)) U (FIREABLE(division2_mutate_9_6_A_10_6) AND FIREABLE(division2_replicate_7_9_B_6_9)))) OR X (FIREABLE(division2_replicate_3_2_A_4_2))))) : A (G (NOT(F (NOT(F (X (X ((G (FIREABLE(division2_replicate_6_2_A_5_2)) OR F (NOT FIREABLE(division2_mutate_1_8_B_2_9))))))))))) : A (G (F (G ((FIREABLE(division2_mutate_4_10_B_5_9) OR F (X (X (NOT(F (FIREABLE(division2_replicate_2_2_B_2_3))))))))))) : A (NOT(X ((F ((NOT((FIREABLE(division2_replicate_6_7_A_6_6) AND X (FIREABLE(division2_mutate_8_5_A_8_6)))) U FIREABLE(division2_replicate_5_8_B_4_8))) OR NOT(F (G (FIREABLE(division2_replicate_6_7_A_6_6)))))))) : A (X ((G (FIREABLE(division1_mutate_10_7_A)) U ((NOT FIREABLE(division1_mutate_6_4_A) OR FIREABLE(division2_mutate_4_6_A_4_5)) AND F (FIREABLE(division1_mutate_6_4_A)))))) : A (((FIREABLE(division2_replicate_9_9_A_9_8) OR NOT(F (FIREABLE(division2_mutate_4_2_B_5_2)))) OR NOT(X (F (FIREABLE(division2_mutate_4_2_B_5_2)))))) : A (NOT(X (NOT(G (NOT(F (NOT((FIREABLE(division2_replicate_3_5_A_3_6) OR G (X (FIREABLE(division1_mutate_8_10_A)))))))))))) : A (F (X ((FIREABLE(division2_replicate_5_5_A_4_5) OR F ((X (G (F ((FIREABLE(division2_replicate_1_5_B_2_5) U FIREABLE(division2_replicate_7_9_B_8_10))))) U FIREABLE(division2_mutate_7_7_A_7_8))))))) : A (X ((NOT FIREABLE(division2_replicate_4_8_A_5_9) U (NOT FIREABLE(division2_mutate_3_8_B_4_8) OR F (FIREABLE(division2_mutate_2_2_B_3_1)))))) : A ((NOT FIREABLE(division2_replicate_1_1_B_2_2) OR F (NOT(G ((FIREABLE(division2_replicate_2_1_A_1_1) OR NOT((FIREABLE(division2_mutate_5_2_B_4_2) U G (FIREABLE(division1_replicate_8_8_A)))))))))) : A (F (NOT(X (F (G (FIREABLE(division1_mutate_10_6_B))))))) : A (NOT((G (FIREABLE(division2_replicate_9_6_A_10_6)) OR (FIREABLE(division2_replicate_9_6_A_10_6) U ((FIREABLE(division2_replicate_1_6_B_2_6) U NOT(X (FIREABLE(division2_replicate_7_1_B_7_2)))) U FIREABLE(division2_replicate_1_6_B_2_6)))))) : A (F (FIREABLE(division2_mutate_6_8_B_6_9)))
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:350
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:485
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(division2_mutate_4_3_A_3_4) OR X (X (NOT FIREABLE(division2_mutate_5_9_B_4_9))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((NOT FIREABLE(division2_mutate_4_3_A_3_4) OR X (X (NOT FIREABLE(division2_mutate_5_9_B_4_9))))))
lola: processed formula length: 102
lola: 124 rewrites
lola: closed formula file LTLFireability.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: 99366 markings, 2005704 edges, 19873 markings/sec, 0 secs
lola: 188184 markings, 4051618 edges, 17764 markings/sec, 5 secs
lola: 272107 markings, 6103792 edges, 16785 markings/sec, 10 secs
lola: 347462 markings, 8257924 edges, 15071 markings/sec, 15 secs
lola: 448648 markings, 10465796 edges, 20237 markings/sec, 20 secs
lola: 541940 markings, 12710048 edges, 18658 markings/sec, 25 secs
lola: 630388 markings, 14976218 edges, 17690 markings/sec, 30 secs
lola: 720303 markings, 17249629 edges, 17983 markings/sec, 35 secs
lola: 805959 markings, 19502065 edges, 17131 markings/sec, 40 secs
lola: 886850 markings, 21741898 edges, 16178 markings/sec, 45 secs
lola: 964199 markings, 23996437 edges, 15470 markings/sec, 50 secs
lola: 1034995 markings, 26265835 edges, 14159 markings/sec, 55 secs
lola: 1117805 markings, 28425953 edges, 16562 markings/sec, 60 secs
lola: 1206683 markings, 30607672 edges, 17776 markings/sec, 65 secs
lola: 1286241 markings, 32823566 edges, 15912 markings/sec, 70 secs
lola: 1373642 markings, 35045507 edges, 17480 markings/sec, 75 secs
lola: 1451732 markings, 37285613 edges, 15618 markings/sec, 80 secs
lola: 1535369 markings, 39560492 edges, 16727 markings/sec, 85 secs
lola: 1612900 markings, 41845220 edges, 15506 markings/sec, 90 secs
lola: 1686151 markings, 44125245 edges, 14650 markings/sec, 95 secs
lola: 1753281 markings, 46415966 edges, 13426 markings/sec, 100 secs
lola: 1840828 markings, 48663283 edges, 17509 markings/sec, 105 secs
lola: 1924100 markings, 50913245 edges, 16654 markings/sec, 110 secs
lola: 2010828 markings, 53154972 edges, 17346 markings/sec, 115 secs
lola: 2086437 markings, 55262894 edges, 15122 markings/sec, 120 secs
lola: 2157867 markings, 57379747 edges, 14286 markings/sec, 125 secs
lola: 2222384 markings, 59475020 edges, 12903 markings/sec, 130 secs
lola: 2300579 markings, 61636274 edges, 15639 markings/sec, 135 secs
lola: 2374959 markings, 63704128 edges, 14876 markings/sec, 140 secs
lola: 2447995 markings, 65808144 edges, 14607 markings/sec, 145 secs
lola: 2518219 markings, 68047451 edges, 14045 markings/sec, 150 secs
lola: 2592260 markings, 70306717 edges, 14808 markings/sec, 155 secs
lola: 2669986 markings, 72571427 edges, 15545 markings/sec, 160 secs
lola: 2742141 markings, 74883515 edges, 14431 markings/sec, 165 secs
lola: 2815617 markings, 77221865 edges, 14695 markings/sec, 170 secs
lola: 2888405 markings, 79565445 edges, 14558 markings/sec, 175 secs
lola: 2959217 markings, 81924506 edges, 14162 markings/sec, 180 secs
lola: 3027815 markings, 84280336 edges, 13720 markings/sec, 185 secs
lola: 3091409 markings, 86577937 edges, 12719 markings/sec, 190 secs
lola: 3153991 markings, 88904007 edges, 12516 markings/sec, 195 secs
lola: 3230927 markings, 91200109 edges, 15387 markings/sec, 200 secs
lola: 3324069 markings, 93475342 edges, 18628 markings/sec, 205 secs
lola: 3409104 markings, 95799657 edges, 17007 markings/sec, 210 secs
lola: 3499693 markings, 98117346 edges, 18118 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 917004 KB
lola: time consumption: 226 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((G (FIREABLE(division2_mutate_6_3_B_5_4)) AND (FIREABLE(division2_mutate_2_5_B_2_6) OR X (FIREABLE(division2_mutate_6_8_A_5_7)))) U FIREABLE(division2_replicate_10_4_B_9_5)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((G (FIREABLE(division2_mutate_6_3_B_5_4)) AND (FIREABLE(division2_mutate_2_5_B_2_6) OR X (FIREABLE(division2_mutate_6_8_A_5_7)))) U FIREABLE(division2_replicate_10_4_B_9_5)))
lola: processed formula length: 178
lola: 124 rewrites
lola: closed formula file LTLFireability.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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 101 markings, 101 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(division2_replicate_3_2_A_4_2) OR ((FIREABLE(division2_mutate_9_6_A_10_6) AND FIREABLE(division2_replicate_7_9_B_6_9)) OR ((G (FIREABLE(division2_mutate_9_6_A_10_6)) AND F ((FIREABLE(division2_mutate_9_6_A_10_6) AND FIREABLE(division2_replicate_7_9_B_6_9)))) OR X (FIREABLE(division2_replicate_3_2_A_4_2)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((FIREABLE(division2_replicate_3_2_A_4_2) OR ((FIREABLE(division2_mutate_9_6_A_10_6) AND FIREABLE(division2_replicate_7_9_B_6_9)) OR ((G (FIREABLE(division2_mutate_9_6_A_10_6)) AND F ((FIREABLE(division2_mutate_9_6_A_10_6) AND FIREABLE(division2_replicate_7_9_B_6_9)))) OR X (FIREABLE(division2_replicate_3_2_A_4_2)))))))
lola: processed formula length: 326
lola: 124 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 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: 101 markings, 101 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (G (NOT FIREABLE(division2_replicate_5_8_B_4_8)))) AND A (F (G (FIREABLE(division2_replicate_6_7_A_6_6)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(division2_replicate_6_7_A_6_6))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(division2_replicate_6_7_A_6_6))))
lola: processed formula length: 51
lola: 124 rewrites
lola: closed formula file LTLFireability.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: 102 markings, 103 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((((NOT FIREABLE(division1_mutate_6_4_A) OR FIREABLE(division2_mutate_4_6_A_4_5)) AND F (FIREABLE(division1_mutate_6_4_A))) OR (G (FIREABLE(division1_mutate_10_7_A)) AND F (((NOT FIREABLE(division1_mutate_6_4_A) OR FIREABLE(division2_mutate_4_6_A_4_5)) AND F (FIREABLE(division1_mutate_6_4_A))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((((NOT FIREABLE(division1_mutate_6_4_A) OR FIREABLE(division2_mutate_4_6_A_4_5)) AND F (FIREABLE(division1_mutate_6_4_A))) OR (G (FIREABLE(division1_mutate_10_7_A)) AND F (((NOT FIREABLE(division1_mutate_6_4_A) OR FIREABLE(division2_mutate_4_6_A_4_5)) AND F (FIREABLE(division1_mutate_6_4_A))))))))
lola: processed formula length: 306
lola: 124 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 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: 101 markings, 101 edges
lola: ========================================
lola: subprocess 5 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(division2_replicate_9_9_A_9_8) OR (G (NOT FIREABLE(division2_mutate_4_2_B_5_2)) OR X (G (NOT FIREABLE(division2_mutate_4_2_B_5_2))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(division2_replicate_9_9_A_9_8) OR (G (NOT FIREABLE(division2_mutate_4_2_B_5_2)) OR X (G (NOT FIREABLE(division2_mutate_4_2_B_5_2))))))
lola: processed formula length: 147
lola: 124 rewrites
lola: closed formula file LTLFireability.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: 107724 markings, 2226778 edges, 21545 markings/sec, 0 secs
lola: 206635 markings, 4495182 edges, 19782 markings/sec, 5 secs
lola: 297936 markings, 6795521 edges, 18260 markings/sec, 10 secs
lola: 384672 markings, 9052661 edges, 17347 markings/sec, 15 secs
lola: 484016 markings, 11299527 edges, 19869 markings/sec, 20 secs
lola: 572335 markings, 13562321 edges, 17664 markings/sec, 25 secs
lola: 664952 markings, 15798939 edges, 18523 markings/sec, 30 secs
lola: 747264 markings, 18064907 edges, 16462 markings/sec, 35 secs
lola: 835858 markings, 20337838 edges, 17719 markings/sec, 40 secs
lola: 916791 markings, 22612150 edges, 16187 markings/sec, 45 secs
lola: 994079 markings, 24931285 edges, 15458 markings/sec, 50 secs
lola: 1062196 markings, 27244506 edges, 13623 markings/sec, 55 secs
lola: 1159071 markings, 29434071 edges, 19375 markings/sec, 60 secs
lola: 1245552 markings, 31626185 edges, 17296 markings/sec, 65 secs
lola: 1327270 markings, 33872094 edges, 16344 markings/sec, 70 secs
lola: 1414602 markings, 36156013 edges, 17466 markings/sec, 75 secs
lola: 1495914 markings, 38453415 edges, 16262 markings/sec, 80 secs
lola: 1571744 markings, 40653988 edges, 15166 markings/sec, 85 secs
lola: 1640741 markings, 42711645 edges, 13799 markings/sec, 90 secs
lola: 1706664 markings, 44812034 edges, 13185 markings/sec, 95 secs
lola: 1765784 markings, 46882859 edges, 11824 markings/sec, 100 secs
lola: 1858264 markings, 49110059 edges, 18496 markings/sec, 105 secs
lola: 1943561 markings, 51393759 edges, 17059 markings/sec, 110 secs
lola: 2028432 markings, 53672712 edges, 16974 markings/sec, 115 secs
lola: 2108878 markings, 55939302 edges, 16089 markings/sec, 120 secs
lola: 2181595 markings, 58153972 edges, 14543 markings/sec, 125 secs
lola: 2249873 markings, 60386234 edges, 13656 markings/sec, 130 secs
lola: 2336155 markings, 62634747 edges, 17256 markings/sec, 135 secs
lola: 2417200 markings, 64934542 edges, 16209 markings/sec, 140 secs
lola: 2494060 markings, 67243445 edges, 15372 markings/sec, 145 secs
lola: 2564052 markings, 69570603 edges, 13998 markings/sec, 150 secs
lola: 2645891 markings, 71867904 edges, 16368 markings/sec, 155 secs
lola: 2720444 markings, 74180464 edges, 14911 markings/sec, 160 secs
lola: 2791589 markings, 76485355 edges, 14229 markings/sec, 165 secs
lola: 2864990 markings, 78795652 edges, 14680 markings/sec, 170 secs
lola: 2932218 markings, 81031537 edges, 13446 markings/sec, 175 secs
lola: 2999744 markings, 83306310 edges, 13505 markings/sec, 180 secs
lola: 3064355 markings, 85631709 edges, 12922 markings/sec, 185 secs
lola: 3127857 markings, 87912107 edges, 12700 markings/sec, 190 secs
lola: 3184794 markings, 90156078 edges, 11387 markings/sec, 195 secs
lola: 3278367 markings, 92343863 edges, 18715 markings/sec, 200 secs
lola: 3366173 markings, 94556764 edges, 17561 markings/sec, 205 secs
lola: 3447546 markings, 96808553 edges, 16275 markings/sec, 210 secs
lola: 3534901 markings, 99068026 edges, 17471 markings/sec, 215 secs
lola: 3614892 markings, 101333596 edges, 15998 markings/sec, 220 secs
lola: 3691985 markings, 103577590 edges, 15419 markings/sec, 225 secs
lola: 3765067 markings, 105732934 edges, 14616 markings/sec, 230 secs
lola: 3831396 markings, 107839531 edges, 13266 markings/sec, 235 secs
lola: 3891931 markings, 109959910 edges, 12107 markings/sec, 240 secs
lola: 3981341 markings, 112096863 edges, 17882 markings/sec, 245 secs
lola: 4061253 markings, 114278608 edges, 15982 markings/sec, 250 secs
lola: 4143785 markings, 116421800 edges, 16506 markings/sec, 255 secs
lola: 4221077 markings, 118587748 edges, 15458 markings/sec, 260 secs
lola: 4294627 markings, 120794519 edges, 14710 markings/sec, 265 secs
lola: 4359392 markings, 122934903 edges, 12953 markings/sec, 270 secs
lola: 4442423 markings, 125145079 edges, 16606 markings/sec, 275 secs
lola: 4518006 markings, 127247173 edges, 15117 markings/sec, 280 secs
lola: 4591164 markings, 129416319 edges, 14632 markings/sec, 285 secs
lola: 4663104 markings, 131725871 edges, 14388 markings/sec, 290 secs
lola: 4735896 markings, 133883907 edges, 14558 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown unknown no no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1234496 KB
lola: time consumption: 530 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((FIREABLE(division2_replicate_3_5_A_3_6) OR X (G (FIREABLE(division1_mutate_8_10_A)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((FIREABLE(division2_replicate_3_5_A_3_6) OR X (G (FIREABLE(division1_mutate_8_10_A)))))))
lola: processed formula length: 98
lola: 124 rewrites
lola: closed formula file LTLFireability.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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 101 markings, 101 edges
lola: ========================================
lola: subprocess 7 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((FIREABLE(division2_replicate_5_5_A_4_5) OR F ((FIREABLE(division2_mutate_7_7_A_7_8) OR (G (F (FIREABLE(division2_replicate_7_9_B_8_10))) AND F (FIREABLE(division2_mutate_7_7_A_7_8)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((FIREABLE(division2_replicate_5_5_A_4_5) OR F ((FIREABLE(division2_mutate_7_7_A_7_8) OR (G (F (FIREABLE(division2_replicate_7_9_B_8_10))) AND F (FIREABLE(division2_mutate_7_7_A_7_8)))))))))
lola: processed formula length: 198
lola: 124 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 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: 101 markings, 101 edges
lola: subprocess 8 will run for 380 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((NOT FIREABLE(division2_replicate_4_8_A_5_9) U (NOT FIREABLE(division2_mutate_3_8_B_4_8) OR F (FIREABLE(division2_mutate_2_2_B_3_1))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((NOT FIREABLE(division2_replicate_4_8_A_5_9) U (NOT FIREABLE(division2_mutate_3_8_B_4_8) OR F (FIREABLE(division2_mutate_2_2_B_3_1))))))
lola: processed formula length: 142
lola: 124 rewrites
lola: closed formula file LTLFireability.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: 17 markings, 16 edges
lola: ========================================
lola: subprocess 9 will run for 434 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (NOT FIREABLE(division2_replicate_9_6_A_10_6))) AND A ((NOT FIREABLE(division2_replicate_9_6_A_10_6) R (X (FIREABLE(division2_replicate_7_1_B_7_2)) R NOT FIREABLE(division2_replicate_1_6_B_2_6)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 434 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (NOT FIREABLE(division2_replicate_9_6_A_10_6)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: FIREABLE(division2_replicate_9_6_A_10_6)
lola: processed formula length: 40
lola: 126 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: ========================================
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 506 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(division2_replicate_9_6_A_10_6) R (X (FIREABLE(division2_replicate_7_1_B_7_2)) R NOT FIREABLE(division2_replicate_1_6_B_2_6))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((NOT FIREABLE(division2_replicate_9_6_A_10_6) R (X (FIREABLE(division2_replicate_7_1_B_7_2)) R NOT FIREABLE(division2_replicate_1_6_B_2_6))))
lola: processed formula length: 144
lola: 124 rewrites
lola: closed formula file LTLFireability.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: 104243 markings, 2129510 edges, 20849 markings/sec, 0 secs
lola: 196821 markings, 4299929 edges, 18516 markings/sec, 5 secs
lola: 288197 markings, 6539782 edges, 18275 markings/sec, 10 secs
lola: 371668 markings, 8791856 edges, 16694 markings/sec, 15 secs
lola: 472901 markings, 11012666 edges, 20247 markings/sec, 20 secs
lola: 562310 markings, 13273128 edges, 17882 markings/sec, 25 secs
lola: 653864 markings, 15535975 edges, 18311 markings/sec, 30 secs
lola: 740633 markings, 17843340 edges, 17354 markings/sec, 35 secs
lola: 828783 markings, 20133360 edges, 17630 markings/sec, 40 secs
lola: 911070 markings, 22432819 edges, 16457 markings/sec, 45 secs
lola: 986466 markings, 24697472 edges, 15079 markings/sec, 50 secs
lola: 1054764 markings, 26960865 edges, 13660 markings/sec, 55 secs
lola: 1144366 markings, 29110400 edges, 17920 markings/sec, 60 secs
lola: 1232284 markings, 31283811 edges, 17584 markings/sec, 65 secs
lola: 1308325 markings, 33440942 edges, 15208 markings/sec, 70 secs
lola: 1395949 markings, 35640746 edges, 17525 markings/sec, 75 secs
lola: 1474004 markings, 37864745 edges, 15611 markings/sec, 80 secs
lola: 1554655 markings, 40156156 edges, 16130 markings/sec, 85 secs
lola: 1630192 markings, 42401625 edges, 15107 markings/sec, 90 secs
lola: 1702522 markings, 44665637 edges, 14466 markings/sec, 95 secs
lola: 1767194 markings, 46935548 edges, 12934 markings/sec, 100 secs
lola: 1858776 markings, 49126290 edges, 18316 markings/sec, 105 secs
lola: 1940998 markings, 51336534 edges, 16444 markings/sec, 110 secs
lola: 2023155 markings, 53509802 edges, 16431 markings/sec, 115 secs
lola: 2102280 markings, 55749370 edges, 15825 markings/sec, 120 secs
lola: 2177938 markings, 58018910 edges, 15132 markings/sec, 125 secs
lola: 2246821 markings, 60322680 edges, 13777 markings/sec, 130 secs
lola: 2334948 markings, 62600076 edges, 17625 markings/sec, 135 secs
lola: 2414238 markings, 64838037 edges, 15858 markings/sec, 140 secs
lola: 2488549 markings, 67062028 edges, 14862 markings/sec, 145 secs
lola: 2556156 markings, 69338197 edges, 13521 markings/sec, 150 secs
lola: 2636834 markings, 71610959 edges, 16136 markings/sec, 155 secs
lola: 2711875 markings, 73898844 edges, 15008 markings/sec, 160 secs
lola: 2780799 markings, 76176724 edges, 13785 markings/sec, 165 secs
lola: 2854640 markings, 78442938 edges, 14768 markings/sec, 170 secs
lola: 2921894 markings, 80705352 edges, 13451 markings/sec, 175 secs
lola: 2990016 markings, 82945287 edges, 13624 markings/sec, 180 secs
lola: 3053224 markings, 85180970 edges, 12642 markings/sec, 185 secs
lola: 3114457 markings, 87434612 edges, 12247 markings/sec, 190 secs
lola: 3172427 markings, 89643731 edges, 11594 markings/sec, 195 secs
lola: 3257413 markings, 91846292 edges, 16997 markings/sec, 200 secs
lola: 3348443 markings, 94079806 edges, 18206 markings/sec, 205 secs
lola: 3425506 markings, 96337110 edges, 15413 markings/sec, 210 secs
lola: 3516215 markings, 98564569 edges, 18142 markings/sec, 215 secs
lola: 3595555 markings, 100825111 edges, 15868 markings/sec, 220 secs
lola: 3675183 markings, 103050516 edges, 15926 markings/sec, 225 secs
lola: 3751470 markings, 105308930 edges, 15257 markings/sec, 230 secs
lola: 3824168 markings, 107593758 edges, 14540 markings/sec, 235 secs
lola: 3889521 markings, 109869599 edges, 13071 markings/sec, 240 secs
lola: 3982031 markings, 112115330 edges, 18502 markings/sec, 245 secs
lola: 4065872 markings, 114378455 edges, 16768 markings/sec, 250 secs
lola: 4146486 markings, 116498207 edges, 16123 markings/sec, 255 secs
lola: 4220646 markings, 118576761 edges, 14832 markings/sec, 260 secs
lola: 4293122 markings, 120747533 edges, 14495 markings/sec, 265 secs
lola: 4359655 markings, 122944774 edges, 13307 markings/sec, 270 secs
lola: 4441984 markings, 125130117 edges, 16466 markings/sec, 275 secs
lola: 4520670 markings, 127326365 edges, 15737 markings/sec, 280 secs
lola: 4596654 markings, 129574749 edges, 15197 markings/sec, 285 secs
lola: 4666562 markings, 131847116 edges, 13982 markings/sec, 290 secs
lola: 4744461 markings, 134134536 edges, 15580 markings/sec, 295 secs
lola: 4821590 markings, 136443441 edges, 15426 markings/sec, 300 secs
lola: 4890117 markings, 138738926 edges, 13705 markings/sec, 305 secs
lola: 4966384 markings, 141052712 edges, 15253 markings/sec, 310 secs
lola: 5033667 markings, 143336811 edges, 13457 markings/sec, 315 secs
lola: 5104615 markings, 145615625 edges, 14190 markings/sec, 320 secs
lola: 5169639 markings, 147910375 edges, 13005 markings/sec, 325 secs
lola: 5231013 markings, 150197339 edges, 12275 markings/sec, 330 secs
lola: 5292160 markings, 152455574 edges, 12229 markings/sec, 335 secs
lola: 5367690 markings, 154681656 edges, 15106 markings/sec, 340 secs
lola: 5449800 markings, 156895925 edges, 16422 markings/sec, 345 secs
lola: 5530170 markings, 159112008 edges, 16074 markings/sec, 350 secs
lola: 5605938 markings, 161324847 edges, 15154 markings/sec, 355 secs
lola: 5679436 markings, 163554615 edges, 14700 markings/sec, 360 secs
lola: 5746127 markings, 165797039 edges, 13338 markings/sec, 365 secs
lola: 5817929 markings, 168028708 edges, 14360 markings/sec, 370 secs
lola: 5895530 markings, 170291161 edges, 15520 markings/sec, 375 secs
lola: 5974362 markings, 172609394 edges, 15766 markings/sec, 380 secs
lola: 6044561 markings, 174868531 edges, 14040 markings/sec, 385 secs
lola: 6110514 markings, 177139740 edges, 13191 markings/sec, 390 secs
lola: 6184983 markings, 179349927 edges, 14894 markings/sec, 395 secs
lola: 6249193 markings, 181422094 edges, 12842 markings/sec, 400 secs
lola: 6309190 markings, 183529534 edges, 11999 markings/sec, 405 secs
lola: 6373434 markings, 185547081 edges, 12849 markings/sec, 410 secs
lola: 6432518 markings, 187568122 edges, 11817 markings/sec, 415 secs
lola: 6496054 markings, 189768936 edges, 12707 markings/sec, 420 secs
lola: 6557703 markings, 191975633 edges, 12330 markings/sec, 425 secs
lola: local time limit reached - aborting
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: unknown no unknown no unknown unknown no no unknown no no yes unknown unknown unknown unknown

lola:
preliminary result: unknown no unknown no unknown unknown no no unknown no no yes unknown unknown unknown unknown
lola: memory consumption: 1717084 KB
lola: time consumption: 964 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: memory consumption: 1717084 KB
lola: time consumption: 964 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 434 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(division2_mutate_6_8_B_6_9)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(division2_mutate_6_8_B_6_9)
lola: processed formula length: 40
lola: 126 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 101 markings, 100 edges
lola: ========================================
lola: subprocess 11 will run for 521 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (NOT FIREABLE(division1_mutate_10_6_B))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (NOT FIREABLE(division1_mutate_10_6_B))))
lola: processed formula length: 49
lola: 124 rewrites
lola: closed formula file LTLFireability.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: 103477 markings, 2015330 edges, 20695 markings/sec, 0 secs
lola: 196087 markings, 4157276 edges, 18522 markings/sec, 5 secs
lola: 288394 markings, 6289367 edges, 18461 markings/sec, 10 secs
lola: 371511 markings, 8434415 edges, 16623 markings/sec, 15 secs
lola: 468071 markings, 10487677 edges, 19312 markings/sec, 20 secs
lola: 557910 markings, 12607173 edges, 17968 markings/sec, 25 secs
lola: 644775 markings, 14753452 edges, 17373 markings/sec, 30 secs
lola: 729196 markings, 16918768 edges, 16884 markings/sec, 35 secs
lola: 814933 markings, 19053638 edges, 17147 markings/sec, 40 secs
lola: 895752 markings, 21180195 edges, 16164 markings/sec, 45 secs
lola: 973669 markings, 23370559 edges, 15583 markings/sec, 50 secs
lola: 1044308 markings, 25554371 edges, 14128 markings/sec, 55 secs
lola: 1135976 markings, 27694877 edges, 18334 markings/sec, 60 secs
lola: 1234656 markings, 29826901 edges, 19736 markings/sec, 65 secs
lola: 1319664 markings, 31928390 edges, 17002 markings/sec, 70 secs
lola: 1406473 markings, 33993932 edges, 17362 markings/sec, 75 secs
lola: 1485959 markings, 36059612 edges, 15897 markings/sec, 80 secs
lola: 1566204 markings, 38126803 edges, 16049 markings/sec, 85 secs
lola: 1645851 markings, 40211068 edges, 15929 markings/sec, 90 secs
lola: 1719039 markings, 42330495 edges, 14638 markings/sec, 95 secs
lola: 1796977 markings, 44508772 edges, 15588 markings/sec, 100 secs
lola: 1889438 markings, 46619908 edges, 18492 markings/sec, 105 secs
lola: 1974095 markings, 48643341 edges, 16931 markings/sec, 110 secs
lola: 2058361 markings, 50686082 edges, 16853 markings/sec, 115 secs
lola: 2142148 markings, 52820566 edges, 16757 markings/sec, 120 secs
lola: 2217070 markings, 54970764 edges, 14984 markings/sec, 125 secs
lola: 2298731 markings, 57075314 edges, 16332 markings/sec, 130 secs
lola: 2380349 markings, 59191835 edges, 16324 markings/sec, 135 secs
lola: 2458615 markings, 61322486 edges, 15653 markings/sec, 140 secs
lola: 2527584 markings, 63404808 edges, 13794 markings/sec, 145 secs
lola: 2598949 markings, 65380386 edges, 14273 markings/sec, 150 secs
lola: 2673891 markings, 67332727 edges, 14988 markings/sec, 155 secs
lola: 2742400 markings, 69295674 edges, 13702 markings/sec, 160 secs
lola: 2818098 markings, 71441133 edges, 15140 markings/sec, 165 secs
lola: 2893469 markings, 73633456 edges, 15074 markings/sec, 170 secs
lola: 2966501 markings, 75806692 edges, 14606 markings/sec, 175 secs
lola: 3035656 markings, 77988695 edges, 13831 markings/sec, 180 secs
lola: 3100277 markings, 80132596 edges, 12924 markings/sec, 185 secs
lola: 3162909 markings, 82259303 edges, 12526 markings/sec, 190 secs
lola: 3245625 markings, 84323145 edges, 16543 markings/sec, 195 secs
lola: 3341779 markings, 86383930 edges, 19231 markings/sec, 200 secs
lola: 3428542 markings, 88469610 edges, 17353 markings/sec, 205 secs
lola: 3520359 markings, 90553622 edges, 18363 markings/sec, 210 secs
lola: 3604512 markings, 92657613 edges, 16831 markings/sec, 215 secs
lola: 3690892 markings, 94753340 edges, 17276 markings/sec, 220 secs
lola: 3768712 markings, 96855203 edges, 15564 markings/sec, 225 secs
lola: 3846040 markings, 98970604 edges, 15466 markings/sec, 230 secs
lola: 3924957 markings, 101125326 edges, 15783 markings/sec, 235 secs
lola: 4017880 markings, 103194796 edges, 18585 markings/sec, 240 secs
lola: 4101728 markings, 105139589 edges, 16770 markings/sec, 245 secs
lola: 4183877 markings, 107095397 edges, 16430 markings/sec, 250 secs
lola: 4260934 markings, 109055656 edges, 15411 markings/sec, 255 secs
lola: 4336817 markings, 111074547 edges, 15177 markings/sec, 260 secs
lola: 4412946 markings, 113043725 edges, 15226 markings/sec, 265 secs
lola: 4497140 markings, 115170963 edges, 16839 markings/sec, 270 secs
lola: 4575533 markings, 117280935 edges, 15679 markings/sec, 275 secs
lola: 4651923 markings, 119430563 edges, 15278 markings/sec, 280 secs
lola: 4732191 markings, 121575639 edges, 16054 markings/sec, 285 secs
lola: 4814018 markings, 123711647 edges, 16365 markings/sec, 290 secs
lola: 4893743 markings, 125881216 edges, 15945 markings/sec, 295 secs
lola: 4965324 markings, 128062871 edges, 14316 markings/sec, 300 secs
lola: 5038685 markings, 130210383 edges, 14672 markings/sec, 305 secs
lola: 5110510 markings, 132308482 edges, 14365 markings/sec, 310 secs
lola: 5177779 markings, 134302676 edges, 13454 markings/sec, 315 secs
lola: 5241698 markings, 136301484 edges, 12784 markings/sec, 320 secs
lola: 5303676 markings, 138448937 edges, 12396 markings/sec, 325 secs
lola: 5384862 markings, 140296154 edges, 16237 markings/sec, 330 secs
lola: 5468887 markings, 142299408 edges, 16805 markings/sec, 335 secs
lola: 5555207 markings, 144137431 edges, 17264 markings/sec, 340 secs
lola: 5630693 markings, 146093891 edges, 15097 markings/sec, 345 secs
lola: 5710695 markings, 148006172 edges, 16000 markings/sec, 350 secs
lola: 5779811 markings, 149972914 edges, 13823 markings/sec, 355 secs
lola: 5866808 markings, 151998119 edges, 17399 markings/sec, 360 secs
lola: 5943633 markings, 154103359 edges, 15365 markings/sec, 365 secs
lola: 6024525 markings, 156155039 edges, 16178 markings/sec, 370 secs
lola: 6093519 markings, 158213729 edges, 13799 markings/sec, 375 secs
lola: 6177111 markings, 160260851 edges, 16718 markings/sec, 380 secs
lola: 6256402 markings, 162337069 edges, 15858 markings/sec, 385 secs
lola: 6331857 markings, 164428001 edges, 15091 markings/sec, 390 secs
lola: 6399440 markings, 166506313 edges, 13517 markings/sec, 395 secs
lola: 6473527 markings, 168560101 edges, 14817 markings/sec, 400 secs
lola: 6544635 markings, 170625423 edges, 14222 markings/sec, 405 secs
lola: 6614743 markings, 172718498 edges, 14022 markings/sec, 410 secs
lola: 6679629 markings, 174815309 edges, 12977 markings/sec, 415 secs
lola: 6745109 markings, 176900929 edges, 13096 markings/sec, 420 secs
lola: 6835894 markings, 178898111 edges, 18157 markings/sec, 425 secs
lola: 6916119 markings, 180919157 edges, 16045 markings/sec, 430 secs
lola: 6996235 markings, 182965181 edges, 16023 markings/sec, 435 secs
lola: 7073596 markings, 185017388 edges, 15472 markings/sec, 440 secs
lola: 7160248 markings, 187100966 edges, 17330 markings/sec, 445 secs
lola: 7244469 markings, 189197816 edges, 16844 markings/sec, 450 secs
lola: 7318760 markings, 191294255 edges, 14858 markings/sec, 455 secs
lola: 7393734 markings, 193369398 edges, 14995 markings/sec, 460 secs
lola: 7466444 markings, 195375230 edges, 14542 markings/sec, 465 secs
lola: 7537091 markings, 197315921 edges, 14129 markings/sec, 470 secs
lola: 7603878 markings, 199272256 edges, 13357 markings/sec, 475 secs
lola: 7664218 markings, 201249772 edges, 12068 markings/sec, 480 secs
lola: 7742221 markings, 203205755 edges, 15601 markings/sec, 485 secs
lola: 7817135 markings, 205152231 edges, 14983 markings/sec, 490 secs
lola: 7888853 markings, 207108692 edges, 14344 markings/sec, 495 secs
lola: 7953743 markings, 209068361 edges, 12978 markings/sec, 500 secs
lola: 8019908 markings, 211001816 edges, 13233 markings/sec, 505 secs
lola: 8087505 markings, 212919503 edges, 13519 markings/sec, 510 secs
lola: 8154971 markings, 214866597 edges, 13493 markings/sec, 515 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown unknown no no unknown no no yes unknown unknown unknown no
lola: memory consumption: 2004000 KB
lola: time consumption: 1485 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 521 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(division2_mutate_4_10_B_5_9) OR F (G (NOT FIREABLE(division2_replicate_2_2_B_2_3)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(division2_mutate_4_10_B_5_9) OR F (G (NOT FIREABLE(division2_replicate_2_2_B_2_3)))))))
lola: processed formula length: 106
lola: 124 rewrites
lola: closed formula file LTLFireability.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: 97658 markings, 2280290 edges, 19532 markings/sec, 0 secs
lola: 188359 markings, 4597585 edges, 18140 markings/sec, 5 secs
lola: 273261 markings, 6901128 edges, 16980 markings/sec, 10 secs
lola: 344963 markings, 9224433 edges, 14340 markings/sec, 15 secs
lola: 428210 markings, 11523031 edges, 16649 markings/sec, 20 secs
lola: 509072 markings, 13863519 edges, 16172 markings/sec, 25 secs
lola: 577530 markings, 16206866 edges, 13692 markings/sec, 30 secs
lola: 658613 markings, 18534783 edges, 16217 markings/sec, 35 secs
lola: 730849 markings, 20806200 edges, 14447 markings/sec, 40 secs
lola: 804487 markings, 23113978 edges, 14728 markings/sec, 45 secs
lola: 873948 markings, 25442223 edges, 13892 markings/sec, 50 secs
lola: 941503 markings, 27789074 edges, 13511 markings/sec, 55 secs
lola: 1000219 markings, 30043279 edges, 11743 markings/sec, 60 secs
lola: 1055885 markings, 32244793 edges, 11133 markings/sec, 65 secs
lola: 1135570 markings, 34471824 edges, 15937 markings/sec, 70 secs
lola: 1216201 markings, 36813802 edges, 16126 markings/sec, 75 secs
lola: 1284480 markings, 39138121 edges, 13656 markings/sec, 80 secs
lola: 1365408 markings, 41474175 edges, 16186 markings/sec, 85 secs
lola: 1439751 markings, 43808236 edges, 14869 markings/sec, 90 secs
lola: 1517440 markings, 46247106 edges, 15538 markings/sec, 95 secs
lola: 1590387 markings, 48682990 edges, 14589 markings/sec, 100 secs
lola: 1659696 markings, 51129012 edges, 13862 markings/sec, 105 secs
lola: 1724044 markings, 53566109 edges, 12870 markings/sec, 110 secs
lola: 1788488 markings, 56000074 edges, 12889 markings/sec, 115 secs
lola: 1868520 markings, 58431425 edges, 16006 markings/sec, 120 secs
lola: 1936303 markings, 60815698 edges, 13557 markings/sec, 125 secs
lola: 2010542 markings, 63247243 edges, 14848 markings/sec, 130 secs
lola: 2078162 markings, 65661965 edges, 13524 markings/sec, 135 secs
lola: 2142084 markings, 68084629 edges, 12784 markings/sec, 140 secs
lola: 2204656 markings, 70591482 edges, 12514 markings/sec, 145 secs
lola: 2269806 markings, 73066176 edges, 13030 markings/sec, 150 secs
lola: 2340980 markings, 75391255 edges, 14235 markings/sec, 155 secs
lola: 2410546 markings, 77722146 edges, 13913 markings/sec, 160 secs
lola: 2473492 markings, 80045976 edges, 12589 markings/sec, 165 secs
lola: 2534498 markings, 82409927 edges, 12201 markings/sec, 170 secs
lola: 2606863 markings, 85032910 edges, 14473 markings/sec, 175 secs
lola: 2680287 markings, 87728477 edges, 14685 markings/sec, 180 secs
lola: 2749562 markings, 90419546 edges, 13855 markings/sec, 185 secs
lola: 2819151 markings, 93133956 edges, 13918 markings/sec, 190 secs
lola: 2889421 markings, 95857978 edges, 14054 markings/sec, 195 secs
lola: 2954345 markings, 98568894 edges, 12985 markings/sec, 200 secs
lola: 3017032 markings, 101251826 edges, 12537 markings/sec, 205 secs
lola: 3078554 markings, 103949637 edges, 12304 markings/sec, 210 secs
lola: 3140919 markings, 106712001 edges, 12473 markings/sec, 215 secs
lola: 3205764 markings, 109446836 edges, 12969 markings/sec, 220 secs
lola: 3312363 markings, 112201810 edges, 21320 markings/sec, 225 secs
lola: 3402560 markings, 114955517 edges, 18039 markings/sec, 230 secs
lola: 3502417 markings, 117681900 edges, 19971 markings/sec, 235 secs
lola: 3592059 markings, 120418422 edges, 17928 markings/sec, 240 secs
lola: 3683876 markings, 123176401 edges, 18363 markings/sec, 245 secs
lola: 3770560 markings, 125950889 edges, 17337 markings/sec, 250 secs
lola: 3848068 markings, 128707850 edges, 15502 markings/sec, 255 secs
lola: 3925954 markings, 131381688 edges, 15577 markings/sec, 260 secs
lola: 4016624 markings, 134065066 edges, 18134 markings/sec, 265 secs
lola: 4089335 markings, 136386276 edges, 14542 markings/sec, 270 secs
lola: 4159213 markings, 138725319 edges, 13976 markings/sec, 275 secs
lola: 4229132 markings, 141070582 edges, 13984 markings/sec, 280 secs
lola: 4292827 markings, 143411423 edges, 12739 markings/sec, 285 secs
lola: 4351988 markings, 145733084 edges, 11832 markings/sec, 290 secs
lola: 4431171 markings, 148230742 edges, 15837 markings/sec, 295 secs
lola: 4516966 markings, 150931153 edges, 17159 markings/sec, 300 secs
lola: 4595426 markings, 153626739 edges, 15692 markings/sec, 305 secs
lola: 4668112 markings, 156312046 edges, 14537 markings/sec, 310 secs
lola: 4749922 markings, 159059411 edges, 16362 markings/sec, 315 secs
lola: 4822581 markings, 161611099 edges, 14532 markings/sec, 320 secs
lola: 4888169 markings, 164109346 edges, 13118 markings/sec, 325 secs
lola: 4956942 markings, 166572918 edges, 13755 markings/sec, 330 secs
lola: 5022337 markings, 169032115 edges, 13079 markings/sec, 335 secs
lola: 5082751 markings, 171422861 edges, 12083 markings/sec, 340 secs
lola: 5140065 markings, 173763148 edges, 11463 markings/sec, 345 secs
lola: 5203416 markings, 176408427 edges, 12670 markings/sec, 350 secs
lola: 5266583 markings, 179079181 edges, 12633 markings/sec, 355 secs
lola: 5313902 markings, 181356472 edges, 9464 markings/sec, 360 secs
lola: 5396417 markings, 183580857 edges, 16503 markings/sec, 365 secs
lola: 5464268 markings, 185806530 edges, 13570 markings/sec, 370 secs
lola: 5537330 markings, 188052354 edges, 14612 markings/sec, 375 secs
lola: 5604833 markings, 190322854 edges, 13501 markings/sec, 380 secs
lola: 5669363 markings, 192585960 edges, 12906 markings/sec, 385 secs
lola: 5732662 markings, 194987994 edges, 12660 markings/sec, 390 secs
lola: 5810211 markings, 197818057 edges, 15510 markings/sec, 395 secs
lola: 5904992 markings, 200744979 edges, 18956 markings/sec, 400 secs
lola: 5994643 markings, 203681994 edges, 17930 markings/sec, 405 secs
lola: 6074491 markings, 206595367 edges, 15970 markings/sec, 410 secs
lola: 6160587 markings, 209529005 edges, 17219 markings/sec, 415 secs
lola: 6243791 markings, 212475309 edges, 16641 markings/sec, 420 secs
lola: 6321745 markings, 215424816 edges, 15591 markings/sec, 425 secs
lola: 6404719 markings, 218376569 edges, 16595 markings/sec, 430 secs
lola: 6473090 markings, 221046142 edges, 13674 markings/sec, 435 secs
lola: 6539227 markings, 223744735 edges, 13227 markings/sec, 440 secs
lola: 6608246 markings, 226673193 edges, 13804 markings/sec, 445 secs
lola: 6678503 markings, 229564369 edges, 14051 markings/sec, 450 secs
lola: 6746443 markings, 232480778 edges, 13588 markings/sec, 455 secs
lola: 6836018 markings, 235404077 edges, 17915 markings/sec, 460 secs
lola: 6922268 markings, 238332090 edges, 17250 markings/sec, 465 secs
lola: 7000183 markings, 241249678 edges, 15583 markings/sec, 470 secs
lola: 7076425 markings, 244154237 edges, 15248 markings/sec, 475 secs
lola: 7158833 markings, 247102302 edges, 16482 markings/sec, 480 secs
lola: 7235092 markings, 250045151 edges, 15252 markings/sec, 485 secs
lola: 7311148 markings, 253001343 edges, 15211 markings/sec, 490 secs
lola: 7385664 markings, 255954420 edges, 14903 markings/sec, 495 secs
lola: 7456674 markings, 258901618 edges, 14202 markings/sec, 500 secs
lola: 7524259 markings, 261821351 edges, 13517 markings/sec, 505 secs
lola: 7591612 markings, 264747061 edges, 13471 markings/sec, 510 secs
lola: 7653809 markings, 267662064 edges, 12439 markings/sec, 515 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown unknown no no unknown no no yes unknown unknown unknown no
lola: memory consumption: 1868396 KB
lola: time consumption: 2006 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 521 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((G (FIREABLE(division2_replicate_6_2_A_5_2)) OR F (NOT FIREABLE(division2_mutate_1_8_B_2_9))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((G (FIREABLE(division2_replicate_6_2_A_5_2)) OR F (NOT FIREABLE(division2_mutate_1_8_B_2_9))))))
lola: processed formula length: 105
lola: 124 rewrites
lola: closed formula file LTLFireability.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: 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: 115614 markings, 2322575 edges, 23123 markings/sec, 0 secs
lola: 224263 markings, 4732730 edges, 21730 markings/sec, 5 secs
lola: 322368 markings, 7186488 edges, 19621 markings/sec, 10 secs
lola: 421556 markings, 9607727 edges, 19838 markings/sec, 15 secs
lola: 525122 markings, 12050378 edges, 20713 markings/sec, 20 secs
lola: 620014 markings, 14539173 edges, 18978 markings/sec, 25 secs
lola: 714046 markings, 17019907 edges, 18806 markings/sec, 30 secs
lola: 805914 markings, 19500297 edges, 18374 markings/sec, 35 secs
lola: 895817 markings, 21994170 edges, 17981 markings/sec, 40 secs
lola: 981173 markings, 24530072 edges, 17071 markings/sec, 45 secs
lola: 1057771 markings, 27066576 edges, 15320 markings/sec, 50 secs
lola: 1165227 markings, 29377903 edges, 21491 markings/sec, 55 secs
lola: 1264108 markings, 31673831 edges, 19776 markings/sec, 60 secs
lola: 1357970 markings, 33980942 edges, 18772 markings/sec, 65 secs
lola: 1447922 markings, 36346542 edges, 17990 markings/sec, 70 secs
lola: 1539978 markings, 38631189 edges, 18411 markings/sec, 75 secs
lola: 1627450 markings, 40965470 edges, 17494 markings/sec, 80 secs
lola: 1709062 markings, 43321349 edges, 16322 markings/sec, 85 secs
lola: 1782136 markings, 45541055 edges, 14615 markings/sec, 90 secs
lola: 1875218 markings, 47750318 edges, 18616 markings/sec, 95 secs
lola: 1962853 markings, 50057516 edges, 17527 markings/sec, 100 secs
lola: 2053191 markings, 52372229 edges, 18068 markings/sec, 105 secs
lola: 2137934 markings, 54675883 edges, 16949 markings/sec, 110 secs
lola: 2216209 markings, 57058590 edges, 15655 markings/sec, 115 secs
lola: 2300797 markings, 59400064 edges, 16918 markings/sec, 120 secs
lola: 2385412 markings, 61747040 edges, 16923 markings/sec, 125 secs
lola: 2466060 markings, 64127624 edges, 16130 markings/sec, 130 secs
lola: 2540060 markings, 66513448 edges, 14800 markings/sec, 135 secs
lola: 2622654 markings, 68850469 edges, 16519 markings/sec, 140 secs
lola: 2702817 markings, 71148115 edges, 16033 markings/sec, 145 secs
lola: 2775373 markings, 73459140 edges, 14511 markings/sec, 150 secs
lola: 2855524 markings, 75781258 edges, 16030 markings/sec, 155 secs
lola: 2928844 markings, 78123629 edges, 14664 markings/sec, 160 secs
lola: 3002875 markings, 80518547 edges, 14806 markings/sec, 165 secs
lola: 3074036 markings, 82926901 edges, 14232 markings/sec, 170 secs
lola: 3142462 markings, 85335769 edges, 13685 markings/sec, 175 secs
lola: 3224721 markings, 87806941 edges, 16452 markings/sec, 180 secs
lola: 3334053 markings, 90155329 edges, 21866 markings/sec, 185 secs
lola: 3431385 markings, 92578958 edges, 19466 markings/sec, 190 secs
lola: 3524201 markings, 94732396 edges, 18563 markings/sec, 195 secs
lola: 3614426 markings, 97066924 edges, 18045 markings/sec, 200 secs
lola: 3699680 markings, 99241147 edges, 17051 markings/sec, 205 secs
lola: 3783394 markings, 101475239 edges, 16743 markings/sec, 210 secs
lola: 3859599 markings, 103735614 edges, 15241 markings/sec, 215 secs
lola: 3943893 markings, 105984916 edges, 16859 markings/sec, 220 secs
lola: 4034451 markings, 108285208 edges, 18112 markings/sec, 225 secs
lola: 4126007 markings, 110534851 edges, 18311 markings/sec, 230 secs
lola: 4218907 markings, 112972750 edges, 18580 markings/sec, 235 secs
lola: 4305686 markings, 115444750 edges, 17356 markings/sec, 240 secs
lola: 4388480 markings, 117912086 edges, 16559 markings/sec, 245 secs
lola: 4479019 markings, 120351406 edges, 18108 markings/sec, 250 secs
lola: 4565127 markings, 122731563 edges, 17222 markings/sec, 255 secs
lola: 4641983 markings, 125127869 edges, 15371 markings/sec, 260 secs
lola: 4722032 markings, 127486171 edges, 16010 markings/sec, 265 secs
lola: 4807100 markings, 129839958 edges, 17014 markings/sec, 270 secs
lola: 4883615 markings, 132203990 edges, 15303 markings/sec, 275 secs
lola: 4965496 markings, 134578978 edges, 16376 markings/sec, 280 secs
lola: 5041041 markings, 136980024 edges, 15109 markings/sec, 285 secs
lola: 5118121 markings, 139372738 edges, 15416 markings/sec, 290 secs
lola: 5188719 markings, 141775841 edges, 14120 markings/sec, 295 secs
lola: 5258833 markings, 144183777 edges, 14023 markings/sec, 300 secs
lola: 5328048 markings, 146551836 edges, 13843 markings/sec, 305 secs
lola: 5428405 markings, 148793553 edges, 20071 markings/sec, 310 secs
lola: 5523024 markings, 151044955 edges, 18924 markings/sec, 315 secs
lola: 5619142 markings, 153390521 edges, 19224 markings/sec, 320 secs
lola: 5710542 markings, 155811036 edges, 18280 markings/sec, 325 secs
lola: 5793085 markings, 158245123 edges, 16509 markings/sec, 330 secs
lola: 5889053 markings, 160627760 edges, 19194 markings/sec, 335 secs
lola: 5982075 markings, 163057461 edges, 18604 markings/sec, 340 secs
lola: 6065346 markings, 165524655 edges, 16654 markings/sec, 345 secs
lola: 6153671 markings, 167949697 edges, 17665 markings/sec, 350 secs
lola: 6244285 markings, 170368941 edges, 18123 markings/sec, 355 secs
lola: 6326923 markings, 172810495 edges, 16528 markings/sec, 360 secs
lola: 6415406 markings, 175274639 edges, 17697 markings/sec, 365 secs
lola: 6498010 markings, 177742687 edges, 16521 markings/sec, 370 secs
lola: 6577542 markings, 180224141 edges, 15906 markings/sec, 375 secs
lola: 6651628 markings, 182702593 edges, 14817 markings/sec, 380 secs
lola: 6722812 markings, 185163855 edges, 14237 markings/sec, 385 secs
lola: 6816682 markings, 187545296 edges, 18774 markings/sec, 390 secs
lola: 6907276 markings, 189954371 edges, 18119 markings/sec, 395 secs
lola: 6993246 markings, 192394095 edges, 17194 markings/sec, 400 secs
lola: 7077614 markings, 194824605 edges, 16874 markings/sec, 405 secs
lola: 7170112 markings, 197233158 edges, 18500 markings/sec, 410 secs
lola: 7251573 markings, 199656857 edges, 16292 markings/sec, 415 secs
lola: 7340625 markings, 202094212 edges, 17810 markings/sec, 420 secs
lola: 7422629 markings, 204549686 edges, 16401 markings/sec, 425 secs
lola: 7503349 markings, 207011997 edges, 16144 markings/sec, 430 secs
lola: 7578725 markings, 209475437 edges, 15075 markings/sec, 435 secs
lola: 7650686 markings, 211932790 edges, 14392 markings/sec, 440 secs
lola: 7733106 markings, 214341606 edges, 16484 markings/sec, 445 secs
lola: 7815284 markings, 216665033 edges, 16436 markings/sec, 450 secs
lola: 7888410 markings, 218995116 edges, 14625 markings/sec, 455 secs
lola: 7971068 markings, 221342459 edges, 16532 markings/sec, 460 secs
lola: 8046031 markings, 223710815 edges, 14993 markings/sec, 465 secs
lola: 8120040 markings, 226080791 edges, 14802 markings/sec, 470 secs
lola: 8190447 markings, 228441171 edges, 14081 markings/sec, 475 secs
lola: 8258069 markings, 230793554 edges, 13524 markings/sec, 480 secs
lola: 8325730 markings, 233130142 edges, 13532 markings/sec, 485 secs
lola: 8408233 markings, 235450525 edges, 16501 markings/sec, 490 secs
lola: 8486649 markings, 237784430 edges, 15683 markings/sec, 495 secs
lola: 8562223 markings, 240130639 edges, 15115 markings/sec, 500 secs
lola: 8633363 markings, 242472350 edges, 14228 markings/sec, 505 secs
lola: 8702038 markings, 244814821 edges, 13735 markings/sec, 510 secs
lola: 8775971 markings, 247173587 edges, 14787 markings/sec, 515 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown unknown no no unknown no no yes unknown unknown unknown no
lola: memory consumption: 2215512 KB
lola: time consumption: 2528 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 521 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(division2_replicate_9_4_B_8_4) OR (G (FIREABLE(division2_replicate_6_1_B_5_1)) OR G ((G (F (FIREABLE(division2_mutate_10_2_A_9_1))) AND F (NOT FIREABLE(division2_mutate_10_2_A_9_1))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(division2_replicate_9_4_B_8_4) OR (G (FIREABLE(division2_replicate_6_1_B_5_1)) OR G ((G (F (FIREABLE(division2_mutate_10_2_A_9_1))) AND F (NOT FIREABLE(division2_mutate_10_2_A_9_1))))))))
lola: processed formula length: 203
lola: 124 rewrites
lola: closed formula file LTLFireability.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: 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: 104 markings, 105 edges
lola: ========================================
lola: subprocess 15 will run for 1042 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(division2_replicate_1_1_B_2_2) OR F ((NOT FIREABLE(division2_replicate_2_1_A_1_1) AND (FIREABLE(division2_mutate_5_2_B_4_2) U G (FIREABLE(division1_replicate_8_8_A)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((NOT FIREABLE(division2_replicate_1_1_B_2_2) OR F ((NOT FIREABLE(division2_replicate_2_1_A_1_1) AND (FIREABLE(division2_mutate_5_2_B_4_2) U G (FIREABLE(division1_replicate_8_8_A)))))))
lola: processed formula length: 187
lola: 124 rewrites
lola: closed formula file LTLFireability.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: 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: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(division2_mutate_4_3_A_3_4) OR X (X (NOT FIREABLE(division2_mutate_5_9_B_4_9))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((NOT FIREABLE(division2_mutate_4_3_A_3_4) OR X (X (NOT FIREABLE(division2_mutate_5_9_B_4_9))))))
lola: processed formula length: 102
lola: 124 rewrites
lola: closed formula file LTLFireability.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: 117035 markings, 2480576 edges, 23407 markings/sec, 0 secs
lola: 228595 markings, 5000430 edges, 22312 markings/sec, 5 secs
lola: 324980 markings, 7569886 edges, 19277 markings/sec, 10 secs
lola: 430526 markings, 10090265 edges, 21109 markings/sec, 15 secs
lola: 538050 markings, 12602449 edges, 21505 markings/sec, 20 secs
lola: 636768 markings, 15133366 edges, 19744 markings/sec, 25 secs
lola: 734828 markings, 17665282 edges, 19612 markings/sec, 30 secs
lola: 828771 markings, 20132897 edges, 18789 markings/sec, 35 secs
lola: 918876 markings, 22680674 edges, 18021 markings/sec, 40 secs
lola: 1004476 markings, 25275855 edges, 17120 markings/sec, 45 secs
lola: 1090646 markings, 27828448 edges, 17234 markings/sec, 50 secs
lola: 1194024 markings, 30318235 edges, 20676 markings/sec, 55 secs
lola: 1286674 markings, 32837968 edges, 18530 markings/sec, 60 secs
lola: 1385516 markings, 35371548 edges, 19768 markings/sec, 65 secs
lola: 1476593 markings, 37934021 edges, 18215 markings/sec, 70 secs
lola: 1565682 markings, 40499397 edges, 17818 markings/sec, 75 secs
lola: 1652413 markings, 43058399 edges, 17346 markings/sec, 80 secs
lola: 1730475 markings, 45642546 edges, 15612 markings/sec, 85 secs
lola: 1819748 markings, 48175194 edges, 17855 markings/sec, 90 secs
lola: 1917546 markings, 50707269 edges, 19560 markings/sec, 95 secs
lola: 2013486 markings, 53240016 edges, 19188 markings/sec, 100 secs
lola: 2103035 markings, 55776278 edges, 17910 markings/sec, 105 secs
lola: 2187722 markings, 58333731 edges, 16937 markings/sec, 110 secs
lola: 2271539 markings, 60896237 edges, 16763 markings/sec, 115 secs
lola: 2366476 markings, 63471758 edges, 18987 markings/sec, 120 secs
lola: 2456180 markings, 66049733 edges, 17941 markings/sec, 125 secs
lola: 2536788 markings, 68641276 edges, 16122 markings/sec, 130 secs
lola: 2623659 markings, 71222368 edges, 17374 markings/sec, 135 secs
lola: 2709011 markings, 73813588 edges, 17070 markings/sec, 140 secs
lola: 2788739 markings, 76400586 edges, 15946 markings/sec, 145 secs
lola: 2870699 markings, 78980170 edges, 16392 markings/sec, 150 secs
lola: 2948778 markings, 81563066 edges, 15616 markings/sec, 155 secs
lola: 3024256 markings, 84159407 edges, 15096 markings/sec, 160 secs
lola: 3095834 markings, 86750548 edges, 14316 markings/sec, 165 secs
lola: 3164928 markings, 89336331 edges, 13819 markings/sec, 170 secs
lola: 3258506 markings, 91871338 edges, 18716 markings/sec, 175 secs
lola: 3360312 markings, 94404404 edges, 20361 markings/sec, 180 secs
lola: 3453946 markings, 96961075 edges, 18727 markings/sec, 185 secs
lola: 3550476 markings, 99519616 edges, 19306 markings/sec, 190 secs
lola: 3642340 markings, 102078397 edges, 18373 markings/sec, 195 secs
lola: 3730209 markings, 104649510 edges, 17574 markings/sec, 200 secs
lola: 3813114 markings, 107230018 edges, 16581 markings/sec, 205 secs
lola: 3887834 markings, 109804986 edges, 14944 markings/sec, 210 secs
lola: 3990443 markings, 112327460 edges, 20522 markings/sec, 215 secs
lola: 4086279 markings, 114877434 edges, 19167 markings/sec, 220 secs
lola: 4180250 markings, 117430220 edges, 18794 markings/sec, 225 secs
lola: 4266275 markings, 119907365 edges, 17205 markings/sec, 230 secs
lola: 4340847 markings, 122290710 edges, 14914 markings/sec, 235 secs
lola: 4428360 markings, 124761372 edges, 17503 markings/sec, 240 secs
lola: 4519263 markings, 127285796 edges, 18181 markings/sec, 245 secs
lola: 4604664 markings, 129822763 edges, 17080 markings/sec, 250 secs
lola: 4680457 markings, 132346492 edges, 15159 markings/sec, 255 secs
lola: 4768575 markings, 134842345 edges, 17624 markings/sec, 260 secs
lola: 4849246 markings, 137350632 edges, 16134 markings/sec, 265 secs
lola: 4927416 markings, 139835379 edges, 15634 markings/sec, 270 secs
lola: 5007077 markings, 142376819 edges, 15932 markings/sec, 275 secs
lola: 5083541 markings, 144934597 edges, 15293 markings/sec, 280 secs
lola: 5157805 markings, 147493173 edges, 14853 markings/sec, 285 secs
lola: 5227566 markings, 150050023 edges, 13952 markings/sec, 290 secs
lola: 5295077 markings, 152581062 edges, 13502 markings/sec, 295 secs
lola: 5383213 markings, 155042830 edges, 17627 markings/sec, 300 secs
lola: 5467958 markings, 157462545 edges, 16949 markings/sec, 305 secs
lola: 5558132 markings, 159934296 edges, 18035 markings/sec, 310 secs
lola: 5641388 markings, 162401126 edges, 16651 markings/sec, 315 secs
lola: 5720001 markings, 164885901 edges, 15723 markings/sec, 320 secs
lola: 5791192 markings, 167355699 edges, 14238 markings/sec, 325 secs
lola: 5883383 markings, 169909522 edges, 18438 markings/sec, 330 secs
lola: 5959338 markings, 172162041 edges, 15191 markings/sec, 335 secs
lola: 6041968 markings, 174788567 edges, 16526 markings/sec, 340 secs
lola: 6122353 markings, 177456834 edges, 16077 markings/sec, 345 secs
lola: 6210212 markings, 180117811 edges, 17572 markings/sec, 350 secs
lola: 6289564 markings, 182789771 edges, 15870 markings/sec, 355 secs
lola: 6370939 markings, 185465737 edges, 16275 markings/sec, 360 secs
lola: 6447669 markings, 188133318 edges, 15346 markings/sec, 365 secs
lola: 6526441 markings, 190825167 edges, 15754 markings/sec, 370 secs
lola: 6599189 markings, 193515486 edges, 14550 markings/sec, 375 secs
lola: 6669884 markings, 196194614 edges, 14139 markings/sec, 380 secs
lola: 6736857 markings, 198859787 edges, 13395 markings/sec, 385 secs
lola: 6835499 markings, 201495674 edges, 19728 markings/sec, 390 secs
lola: 6930174 markings, 204140531 edges, 18935 markings/sec, 395 secs
lola: 7014830 markings, 206805606 edges, 16931 markings/sec, 400 secs
lola: 7103071 markings, 209453050 edges, 17648 markings/sec, 405 secs
lola: 7191038 markings, 212111870 edges, 17593 markings/sec, 410 secs
lola: 7272087 markings, 214778020 edges, 16210 markings/sec, 415 secs
lola: 7357036 markings, 217430477 edges, 16990 markings/sec, 420 secs
lola: 7437355 markings, 220083257 edges, 16064 markings/sec, 425 secs
lola: 7514231 markings, 222723971 edges, 15375 markings/sec, 430 secs
lola: 7583742 markings, 225248063 edges, 13902 markings/sec, 435 secs
lola: 7651942 markings, 227799685 edges, 13640 markings/sec, 440 secs
lola: 7730792 markings, 230283148 edges, 15770 markings/sec, 445 secs
lola: 7815976 markings, 232842259 edges, 17037 markings/sec, 450 secs
lola: 7893095 markings, 235411227 edges, 15424 markings/sec, 455 secs
lola: 7974859 markings, 237913318 edges, 16353 markings/sec, 460 secs
lola: 8043489 markings, 240217067 edges, 13726 markings/sec, 465 secs
lola: 8117582 markings, 242696252 edges, 14819 markings/sec, 470 secs
lola: 8186462 markings, 245149787 edges, 13776 markings/sec, 475 secs
lola: 8256573 markings, 247702837 edges, 14022 markings/sec, 480 secs
lola: 8322343 markings, 250165994 edges, 13154 markings/sec, 485 secs
lola: 8402665 markings, 252669190 edges, 16064 markings/sec, 490 secs
lola: 8481018 markings, 255268205 edges, 15671 markings/sec, 495 secs
lola: 8559891 markings, 257963538 edges, 15775 markings/sec, 500 secs
lola: 8634076 markings, 260651952 edges, 14837 markings/sec, 505 secs
lola: 8705950 markings, 263346751 edges, 14375 markings/sec, 510 secs
lola: 8783510 markings, 266032896 edges, 15512 markings/sec, 515 secs
lola: 8860471 markings, 268711089 edges, 15392 markings/sec, 520 secs
lola: 8933159 markings, 271377721 edges, 14538 markings/sec, 525 secs
lola: 9002171 markings, 274051654 edges, 13802 markings/sec, 530 secs
lola: 9077151 markings, 276742787 edges, 14996 markings/sec, 535 secs
lola: 9149990 markings, 279432010 edges, 14568 markings/sec, 540 secs
lola: 9218715 markings, 282128995 edges, 13745 markings/sec, 545 secs
lola: 9286753 markings, 284807208 edges, 13608 markings/sec, 550 secs
lola: 9353069 markings, 287469244 edges, 13263 markings/sec, 555 secs
lola: 9418297 markings, 290163592 edges, 13046 markings/sec, 560 secs
lola: 9482603 markings, 292819436 edges, 12861 markings/sec, 565 secs
lola: 9544355 markings, 295483313 edges, 12350 markings/sec, 570 secs
lola: 9639156 markings, 298049116 edges, 18960 markings/sec, 575 secs
lola: 9747851 markings, 300597364 edges, 21739 markings/sec, 580 secs
lola: 9848140 markings, 303166814 edges, 20058 markings/sec, 585 secs
lola: 9947923 markings, 305751398 edges, 19957 markings/sec, 590 secs
lola: 10046475 markings, 308349801 edges, 19710 markings/sec, 595 secs
lola: 10138147 markings, 310953019 edges, 18334 markings/sec, 600 secs
lola: 10224134 markings, 313574398 edges, 17197 markings/sec, 605 secs
lola: 10316506 markings, 316158494 edges, 18474 markings/sec, 610 secs
lola: 10422094 markings, 318736288 edges, 21118 markings/sec, 615 secs
lola: 10525580 markings, 321313404 edges, 20697 markings/sec, 620 secs
lola: 10622308 markings, 323912777 edges, 19346 markings/sec, 625 secs
lola: 10710774 markings, 326536697 edges, 17693 markings/sec, 630 secs
lola: 10805726 markings, 329102677 edges, 18990 markings/sec, 635 secs
lola: 10904740 markings, 331713645 edges, 19803 markings/sec, 640 secs
lola: 10996505 markings, 334340286 edges, 18353 markings/sec, 645 secs
lola: 11083365 markings, 336970085 edges, 17372 markings/sec, 650 secs
lola: 11178183 markings, 339592436 edges, 18964 markings/sec, 655 secs
lola: 11262866 markings, 342229515 edges, 16937 markings/sec, 660 secs
lola: 11349411 markings, 344783036 edges, 17309 markings/sec, 665 secs
lola: 11430124 markings, 347338233 edges, 16143 markings/sec, 670 secs
lola: 11505012 markings, 349755854 edges, 14978 markings/sec, 675 secs
lola: 11577480 markings, 352203715 edges, 14494 markings/sec, 680 secs
lola: 11645277 markings, 354589488 edges, 13559 markings/sec, 685 secs
lola: 11722353 markings, 357042480 edges, 15415 markings/sec, 690 secs
lola: 11821628 markings, 359540035 edges, 19855 markings/sec, 695 secs
lola: 11914013 markings, 361970706 edges, 18477 markings/sec, 700 secs
lola: 12005836 markings, 364538978 edges, 18365 markings/sec, 705 secs
lola: 12092064 markings, 367118599 edges, 17246 markings/sec, 710 secs
lola: 12170346 markings, 369690347 edges, 15656 markings/sec, 715 secs
lola: 12267061 markings, 372272303 edges, 19343 markings/sec, 720 secs
lola: 12358742 markings, 374832124 edges, 18336 markings/sec, 725 secs
lola: 12442998 markings, 377479816 edges, 16851 markings/sec, 730 secs
lola: 12529242 markings, 380090756 edges, 17249 markings/sec, 735 secs
lola: 12617207 markings, 382715804 edges, 17593 markings/sec, 740 secs
lola: 12696171 markings, 385340919 edges, 15793 markings/sec, 745 secs
lola: 12781607 markings, 387966999 edges, 17087 markings/sec, 750 secs
lola: 12860132 markings, 390599104 edges, 15705 markings/sec, 755 secs
lola: 12938632 markings, 393243228 edges, 15700 markings/sec, 760 secs
lola: 13010325 markings, 395827000 edges, 14339 markings/sec, 765 secs
lola: 13080917 markings, 398465114 edges, 14118 markings/sec, 770 secs
lola: 13169969 markings, 401038673 edges, 17810 markings/sec, 775 secs
lola: 13268125 markings, 403631568 edges, 19631 markings/sec, 780 secs
lola: 13359003 markings, 406240545 edges, 18176 markings/sec, 785 secs
lola: 13445640 markings, 408860243 edges, 17327 markings/sec, 790 secs
lola: 13539609 markings, 411455162 edges, 18794 markings/sec, 795 secs
lola: 13623719 markings, 414069196 edges, 16822 markings/sec, 800 secs
lola: 13711419 markings, 416667515 edges, 17540 markings/sec, 805 secs
lola: 13793760 markings, 419267206 edges, 16468 markings/sec, 810 secs
lola: 13874993 markings, 421889685 edges, 16247 markings/sec, 815 secs
lola: 13951047 markings, 424494879 edges, 15211 markings/sec, 820 secs
lola: 14024329 markings, 427111069 edges, 14656 markings/sec, 825 secs
lola: 14109981 markings, 429719888 edges, 17130 markings/sec, 830 secs
lola: 14200173 markings, 432323256 edges, 18038 markings/sec, 835 secs
lola: 14285752 markings, 434963093 edges, 17116 markings/sec, 840 secs
lola: 14373145 markings, 437585135 edges, 17479 markings/sec, 845 secs
lola: 14455502 markings, 440226857 edges, 16471 markings/sec, 850 secs
lola: 14536290 markings, 442885135 edges, 16158 markings/sec, 855 secs
lola: 14611271 markings, 445511616 edges, 14996 markings/sec, 860 secs
lola: 14681667 markings, 448153872 edges, 14079 markings/sec, 865 secs
lola: 14771258 markings, 450762486 edges, 17918 markings/sec, 870 secs
lola: 14853443 markings, 453383739 edges, 16437 markings/sec, 875 secs
lola: 14935441 markings, 456039654 edges, 16400 markings/sec, 880 secs
lola: 15011299 markings, 458679826 edges, 15172 markings/sec, 885 secs
lola: 15084371 markings, 461317884 edges, 14614 markings/sec, 890 secs
lola: 15164638 markings, 463955757 edges, 16053 markings/sec, 895 secs
lola: 15242821 markings, 466579421 edges, 15637 markings/sec, 900 secs
lola: 15317440 markings, 469193523 edges, 14924 markings/sec, 905 secs
lola: 15387534 markings, 471833803 edges, 14019 markings/sec, 910 secs
lola: 15465330 markings, 474487301 edges, 15559 markings/sec, 915 secs
lola: 15539448 markings, 477134828 edges, 14824 markings/sec, 920 secs
lola: 15608852 markings, 479773810 edges, 13881 markings/sec, 925 secs
lola: 15678033 markings, 482409872 edges, 13836 markings/sec, 930 secs
lola: 15743061 markings, 484932674 edges, 13006 markings/sec, 935 secs
lola: 15808346 markings, 487502124 edges, 13057 markings/sec, 940 secs
lola: 15872568 markings, 490079781 edges, 12844 markings/sec, 945 secs
lola: 15934021 markings, 492718650 edges, 12291 markings/sec, 950 secs
lola: 16035102 markings, 495289773 edges, 20216 markings/sec, 955 secs
lola: 16132927 markings, 497887432 edges, 19565 markings/sec, 960 secs
lola: 16228446 markings, 500487494 edges, 19104 markings/sec, 965 secs
lola: 16318403 markings, 503091222 edges, 17991 markings/sec, 970 secs
lola: 16398850 markings, 505694878 edges, 16089 markings/sec, 975 secs
lola: 16494467 markings, 508304938 edges, 19123 markings/sec, 980 secs
lola: 16586815 markings, 510920357 edges, 18470 markings/sec, 985 secs
lola: 16670637 markings, 513460537 edges, 16764 markings/sec, 990 secs
lola: 16754423 markings, 516107432 edges, 16757 markings/sec, 995 secs
lola: 16844887 markings, 518731585 edges, 18093 markings/sec, 1000 secs
lola: 16926321 markings, 521371708 edges, 16287 markings/sec, 1005 secs
lola: 17011144 markings, 524006311 edges, 16965 markings/sec, 1010 secs
lola: 17089619 markings, 526633849 edges, 15695 markings/sec, 1015 secs
lola: 17168958 markings, 529264626 edges, 15868 markings/sec, 1020 secs
lola: 17243019 markings, 531909256 edges, 14812 markings/sec, 1025 secs
lola: 17315241 markings, 534548926 edges, 14444 markings/sec, 1030 secs
lola: 17395098 markings, 537169608 edges, 15971 markings/sec, 1035 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no no unknown unknown no no unknown no no yes yes unknown unknown no lola:
caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no unknown unknown no no unknown no no yes yes unknown unknown no
lola:
preliminary result: unknown no no no unknown unknown no no unknown no no yes yes unknown unknown no
lola: memory consumption: 4568288 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no unknown unknown no no unknown no no yes yes unknown unknown no
lola: memory consumption: 4568288 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

BK_STOP 1590353805332

--------------------
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="PhaseVariation-PT-D10CS010"
export BK_EXAMINATION="LTLFireability"
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 PhaseVariation-PT-D10CS010, examination is LTLFireability"
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-158961292700198"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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