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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 904K
-rw-r--r-- 1 mcc users 5.9K Apr 12 00:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Apr 12 00:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Apr 10 23:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Apr 10 23:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.5K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 68K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.9K Apr 10 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 10 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 22K Apr 9 12:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Apr 9 12:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 481K 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 PermAdmissibility-PT-05-00
FORMULA_NAME PermAdmissibility-PT-05-01
FORMULA_NAME PermAdmissibility-PT-05-02
FORMULA_NAME PermAdmissibility-PT-05-03
FORMULA_NAME PermAdmissibility-PT-05-04
FORMULA_NAME PermAdmissibility-PT-05-05
FORMULA_NAME PermAdmissibility-PT-05-06
FORMULA_NAME PermAdmissibility-PT-05-07
FORMULA_NAME PermAdmissibility-PT-05-08
FORMULA_NAME PermAdmissibility-PT-05-09
FORMULA_NAME PermAdmissibility-PT-05-10
FORMULA_NAME PermAdmissibility-PT-05-11
FORMULA_NAME PermAdmissibility-PT-05-12
FORMULA_NAME PermAdmissibility-PT-05-13
FORMULA_NAME PermAdmissibility-PT-05-14
FORMULA_NAME PermAdmissibility-PT-05-15

=== Now, execution of the tool begins

BK_START 1590347442605

info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ PermAdmissibility-PT-05 @ 3570 seconds

FORMULA PermAdmissibility-PT-05-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-05-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-05-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-05-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-05-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-05-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-05-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-05-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-05-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-05-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ PermAdmissibility-PT-05

{
"exit":
{
"memory": 18884,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"files":
{
"JSON": "LTLFireability.json"
},
"result":
{
"preliminary_value": "no unknown no unknown no unknown no unknown no no unknown unknown yes no no no "
},
"task":
{
"compoundnumber": 16,
"type": "boolean"
}
}
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 68,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 68
},
"processed": "A (F (G ((F ((NOT FIREABLE(switch4_2_7) AND NOT FIREABLE(switch4_3_6) AND NOT FIREABLE(switch4_3_7) AND NOT FIREABLE(switch4_2_6))) OR G ((FIREABLE(switch9_1_0) OR FIREABLE(switch9_2_0) OR FIREABLE(switch9_3_0) OR FIREABLE(switch9_4_0) OR FIREABLE(switch9_0_0) OR FIREABLE(switch9_3_5) OR FIREABLE(switch9_4_5) OR FIREABLE(switch9_1_5) OR FIREABLE(switch9_2_5) OR FIREABLE(switch9_7_4) OR FIREABLE(switch9_0_5) OR FIREABLE(switch9_5_4) OR FIREABLE(switch9_6_4) OR FIREABLE(switch9_3_6) OR FIREABLE(switch9_4_6) OR FIREABLE(switch9_1_6) OR FIREABLE(switch9_2_6) OR FIREABLE(switch9_7_5) OR FIREABLE(switch9_0_6) OR FIREABLE(switch9_5_5) OR FIREABLE(switch9_6_5) OR FIREABLE(switch9_4_7) OR FIREABLE(switch9_3_7) OR FIREABLE(switch9_2_7) OR FIREABLE(switch9_1_7) OR FIREABLE(switch9_0_7) OR FIREABLE(switch9_7_6) OR FIREABLE(switch9_6_6) OR FIREABLE(switch9_5_6) OR FIREABLE(switch9_7_7) OR FIREABLE(switch9_6_7) OR FIREABLE(switch9_5_7) OR FIREABLE(switch9_1_1) OR FIREABLE(switch9_2_1) OR FIREABLE(switch9_3_1) OR FIREABLE(switch9_4_1) OR FIREABLE(switch9_5_0) OR FIREABLE(switch9_6_0) OR FIREABLE(switch9_7_0) OR FIREABLE(switch9_0_1) OR FIREABLE(switch9_1_2) OR FIREABLE(switch9_2_2) OR FIREABLE(switch9_3_2) OR FIREABLE(switch9_4_2) OR FIREABLE(switch9_5_1) OR FIREABLE(switch9_6_1) OR FIREABLE(switch9_7_1) OR FIREABLE(switch9_0_2) OR FIREABLE(switch9_2_3) OR FIREABLE(switch9_1_3) OR FIREABLE(switch9_4_3) OR FIREABLE(switch9_3_3) OR FIREABLE(switch9_6_2) OR FIREABLE(switch9_5_2) OR FIREABLE(switch9_0_3) OR FIREABLE(switch9_7_2) OR FIREABLE(switch9_2_4) OR FIREABLE(switch9_1_4) OR FIREABLE(switch9_4_4) OR FIREABLE(switch9_3_4) OR FIREABLE(switch9_6_3) OR FIREABLE(switch9_5_3) OR FIREABLE(switch9_0_4) OR FIREABLE(switch9_7_3)))))))",
"processed_size": 1804,
"rewrites": 75
},
"result":
{
"preliminary_value": "no unknown no unknown no unknown no unknown no no unknown unknown yes no no no "
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"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: 760/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 5376
lola: finding significant places
lola: 168 places, 592 transitions, 136 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 ((((FIREABLE(switch3_3_6) OR FIREABLE(switch3_2_7) OR FIREABLE(switch3_3_7) OR FIREABLE(switch3_2_6)) OR X (G ((FIREABLE(switch3_3_6) OR FIREABLE(switch3_2_7) OR FIREABLE(switch3_3_7) OR FIREABLE(switch3_2_6))))) AND X (F (NOT(X ((FIREABLE(switch10_4_0) OR FIREABLE(switch10_3_0) OR FIREABLE(switch10_2_0) OR FIREABLE(switch10_1_0) OR FIREABLE(switch10_0_0) OR FIREABLE(switch10_7_4) OR FIREABLE(switch10_0_5) OR FIREABLE(switch10_5_4) OR FIREABLE(switch10_6_4) OR FIREABLE(switch10_3_5) OR FIREABLE(switch10_4_5) OR FIREABLE(switch10_1_5) OR FIREABLE(switch10_2_5) OR FIREABLE(switch10_7_5) OR FIREABLE(switch10_0_6) OR FIREABLE(switch10_5_5) OR FIREABLE(switch10_6_5) OR FIREABLE(switch10_3_6) OR FIREABLE(switch10_4_6) OR FIREABLE(switch10_1_6) OR FIREABLE(switch10_2_6) OR FIREABLE(switch10_0_7) OR FIREABLE(switch10_7_6) OR FIREABLE(switch10_6_6) OR FIREABLE(switch10_5_6) OR FIREABLE(switch10_4_7) OR FIREABLE(switch10_3_7) OR FIREABLE(switch10_2_7) OR FIREABLE(switch10_1_7) OR FIREABLE(switch10_7_7) OR FIREABLE(switch10_6_7) OR FIREABLE(switch10_5_7) OR FIREABLE(switch10_5_0) OR FIREABLE(switch10_6_0) OR FIREABLE(switch10_7_0) OR FIREABLE(switch10_0_1) OR FIREABLE(switch10_1_1) OR FIREABLE(switch10_2_1) OR FIREABLE(switch10_3_1) OR FIREABLE(switch10_4_1) OR FIREABLE(switch10_5_1) OR FIREABLE(switch10_6_1) OR FIREABLE(switch10_7_1) OR FIREABLE(switch10_0_2) OR FIREABLE(switch10_1_2) OR FIREABLE(switch10_2_2) OR FIREABLE(switch10_3_2) OR FIREABLE(switch10_4_2) OR FIREABLE(switch10_6_2) OR FIREABLE(switch10_5_2) OR FIREABLE(switch10_0_3) OR FIREABLE(switch10_7_2) OR FIREABLE(switch10_2_3) OR FIREABLE(switch10_1_3) OR FIREABLE(switch10_4_3) OR FIREABLE(switch10_3_3) OR FIREABLE(switch10_6_3) OR FIREABLE(switch10_5_3) OR FIREABLE(switch10_0_4) OR FIREABLE(switch10_7_3) OR FIREABLE(switch10_2_4) OR FIREABLE(switch10_1_4) OR FIREABLE(switch10_4_4) OR FIREABLE(switch10_3_4)))))))) : A ((NOT(G (F (X ((G ((FIREABLE(switch4_2_7) OR FIREABLE(switch4_3_6) OR FIREABLE(switch4_3_7) OR FIREABLE(switch4_2_6))) AND NOT(G ((FIREABLE(switch9_1_0) OR FIREABLE(switch9_2_0) OR FIREABLE(switch9_3_0) OR FIREABLE(switch9_4_0) OR FIREABLE(switch9_0_0) OR FIREABLE(switch9_3_5) OR FIREABLE(switch9_4_5) OR FIREABLE(switch9_1_5) OR FIREABLE(switch9_2_5) OR FIREABLE(switch9_7_4) OR FIREABLE(switch9_0_5) OR FIREABLE(switch9_5_4) OR FIREABLE(switch9_6_4) OR FIREABLE(switch9_3_6) OR FIREABLE(switch9_4_6) OR FIREABLE(switch9_1_6) OR FIREABLE(switch9_2_6) OR FIREABLE(switch9_7_5) OR FIREABLE(switch9_0_6) OR FIREABLE(switch9_5_5) OR FIREABLE(switch9_6_5) OR FIREABLE(switch9_4_7) OR FIREABLE(switch9_3_7) OR FIREABLE(switch9_2_7) OR FIREABLE(switch9_1_7) OR FIREABLE(switch9_0_7) OR FIREABLE(switch9_7_6) OR FIREABLE(switch9_6_6) OR FIREABLE(switch9_5_6) OR FIREABLE(switch9_7_7) OR FIREABLE(switch9_6_7) OR FIREABLE(switch9_5_7) OR FIREABLE(switch9_1_1) OR FIREABLE(switch9_2_1) OR FIREABLE(switch9_3_1) OR FIREABLE(switch9_4_1) OR FIREABLE(switch9_5_0) OR FIREABLE(switch9_6_0) OR FIREABLE(switch9_7_0) OR FIREABLE(switch9_0_1) OR FIREABLE(switch9_1_2) OR FIREABLE(switch9_2_2) OR FIREABLE(switch9_3_2) OR FIREABLE(switch9_4_2) OR FIREABLE(switch9_5_1) OR FIREABLE(switch9_6_1) OR FIREABLE(switch9_7_1) OR FIREABLE(switch9_0_2) OR FIREABLE(switch9_2_3) OR FIREABLE(switch9_1_3) OR FIREABLE(switch9_4_3) OR FIREABLE(switch9_3_3) OR FIREABLE(switch9_6_2) OR FIREABLE(switch9_5_2) OR FIREABLE(switch9_0_3) OR FIREABLE(switch9_7_2) OR FIREABLE(switch9_2_4) OR FIREABLE(switch9_1_4) OR FIREABLE(switch9_4_4) OR FIREABLE(switch9_3_4) OR FIREABLE(switch9_6_3) OR FIREABLE(switch9_5_3) OR FIREABLE(switch9_0_4) OR FIREABLE(switch9_7_3))))))))) AND X (F ((NOT FIREABLE(switch5_5_2) AND NOT FIREABLE(switch5_0_3) AND NOT FIREABLE(switch5_1_2) AND NOT FIREABLE(switch5_4_2) AND NOT FIREABLE(switch5_0_2) AND NOT FIREABLE(switch5_4_7) AND NOT FIREABLE(switch5_1_7) AND NOT FIREABLE(switch5_5_7) AND NOT FIREABLE(switch5_4_6) AND NOT FIREABLE(switch5_1_6) AND NOT FIREABLE(switch5_0_7) AND NOT FIREABLE(switch5_5_6) AND NOT FIREABLE(switch5_4_3) AND NOT FIREABLE(switch5_1_3) AND NOT FIREABLE(switch5_0_6) AND NOT FIREABLE(switch5_5_3)))))) : A (G ((G ((FIREABLE(switch6_5_7) OR FIREABLE(switch6_1_7) OR FIREABLE(switch6_4_7) OR FIREABLE(switch6_5_6) OR FIREABLE(switch6_0_7) OR FIREABLE(switch6_1_6) OR FIREABLE(switch6_4_6) OR FIREABLE(switch6_5_3) OR FIREABLE(switch6_0_6) OR FIREABLE(switch6_1_3) OR FIREABLE(switch6_4_3) OR FIREABLE(switch6_0_3) OR FIREABLE(switch6_5_2) OR FIREABLE(switch6_4_2) OR FIREABLE(switch6_1_2) OR FIREABLE(switch6_0_2))) AND X (X ((((FIREABLE(switch3_3_6) OR FIREABLE(switch3_2_7) OR FIREABLE(switch3_3_7) OR FIREABLE(switch3_2_6)) AND F ((FIREABLE(display4_0_0) OR FIREABLE(display4_4_0) OR FIREABLE(display4_3_0) OR FIREABLE(display4_2_0) OR FIREABLE(display4_1_0) OR FIREABLE(display4_7_1) OR FIREABLE(display4_0_2) OR FIREABLE(display4_5_1) OR FIREABLE(display4_6_1) OR FIREABLE(display4_3_2) OR FIREABLE(display4_4_2) OR FIREABLE(display4_1_2) OR FIREABLE(display4_2_2) OR FIREABLE(display4_7_0) OR FIREABLE(display4_0_1) OR FIREABLE(display4_5_0) OR FIREABLE(display4_6_0) OR FIREABLE(display4_3_1) OR FIREABLE(display4_4_1) OR FIREABLE(display4_1_1) OR FIREABLE(display4_2_1) OR FIREABLE(display4_2_4) OR FIREABLE(display4_1_4) OR FIREABLE(display4_4_4) OR FIREABLE(display4_3_4) OR FIREABLE(display4_6_3) OR FIREABLE(display4_5_3) OR FIREABLE(display4_0_4) OR FIREABLE(display4_7_3) OR FIREABLE(display4_2_3) OR FIREABLE(display4_1_3) OR FIREABLE(display4_4_3) OR FIREABLE(display4_3_3) OR FIREABLE(display4_6_2) OR FIREABLE(display4_5_2) OR FIREABLE(display4_0_3) OR FIREABLE(display4_7_2) OR FIREABLE(display4_1_6) OR FIREABLE(display4_2_6) OR FIREABLE(display4_3_6) OR FIREABLE(display4_4_6) OR FIREABLE(display4_5_5) OR FIREABLE(display4_6_5) OR FIREABLE(display4_7_5) OR FIREABLE(display4_0_6) OR FIREABLE(display4_1_5) OR FIREABLE(display4_2_5) OR FIREABLE(display4_3_5) OR FIREABLE(display4_4_5) OR FIREABLE(display4_5_4) OR FIREABLE(display4_6_4) OR FIREABLE(display4_7_4) OR FIREABLE(display4_0_5) OR FIREABLE(display4_7_7) OR FIREABLE(display4_6_7) OR FIREABLE(display4_5_7) OR FIREABLE(display4_4_7) OR FIREABLE(display4_3_7) OR FIREABLE(display4_2_7) OR FIREABLE(display4_1_7) OR FIREABLE(display4_0_7) OR FIREABLE(display4_7_6) OR FIREABLE(display4_6_6) OR FIREABLE(display4_5_6)))) U G ((FIREABLE(switch6_5_7) OR FIREABLE(switch6_1_7) OR FIREABLE(switch6_4_7) OR FIREABLE(switch6_5_6) OR FIREABLE(switch6_0_7) OR FIREABLE(switch6_1_6) OR FIREABLE(switch6_4_6) OR FIREABLE(switch6_5_3) OR FIREABLE(switch6_0_6) OR FIREABLE(switch6_1_3) OR FIREABLE(switch6_4_3) OR FIREABLE(switch6_0_3) OR FIREABLE(switch6_5_2) OR FIREABLE(switch6_4_2) OR FIREABLE(switch6_1_2) OR FIREABLE(switch6_0_2) OR FIREABLE(switch2_1_4) OR FIREABLE(switch2_0_5) OR FIREABLE(switch2_1_5) OR FIREABLE(switch2_0_4))))))))) : A (((NOT(((FIREABLE(switch11_0_0) OR FIREABLE(switch11_4_0) OR FIREABLE(switch11_3_0) OR FIREABLE(switch11_2_0) OR FIREABLE(switch11_1_0) OR FIREABLE(switch11_4_6) OR FIREABLE(switch11_3_6) OR FIREABLE(switch11_2_6) OR FIREABLE(switch11_1_6) OR FIREABLE(switch11_0_6) OR FIREABLE(switch11_7_5) OR FIREABLE(switch11_6_5) OR FIREABLE(switch11_5_5) OR FIREABLE(switch11_4_5) OR FIREABLE(switch11_3_5) OR FIREABLE(switch11_2_5) OR FIREABLE(switch11_1_5) OR FIREABLE(switch11_0_5) OR FIREABLE(switch11_7_4) OR FIREABLE(switch11_6_4) OR FIREABLE(switch11_5_4) OR FIREABLE(switch11_7_7) OR FIREABLE(switch11_5_7) OR FIREABLE(switch11_6_7) OR FIREABLE(switch11_3_7) OR FIREABLE(switch11_4_7) OR FIREABLE(switch11_1_7) OR FIREABLE(switch11_2_7) OR FIREABLE(switch11_7_6) OR FIREABLE(switch11_0_7) OR FIREABLE(switch11_5_6) OR FIREABLE(switch11_6_6) OR FIREABLE(switch11_2_2) OR FIREABLE(switch11_1_2) OR FIREABLE(switch11_4_2) OR FIREABLE(switch11_3_2) OR FIREABLE(switch11_6_1) OR FIREABLE(switch11_5_1) OR FIREABLE(switch11_0_2) OR FIREABLE(switch11_7_1) OR FIREABLE(switch11_2_1) OR FIREABLE(switch11_1_1) OR FIREABLE(switch11_4_1) OR FIREABLE(switch11_3_1) OR FIREABLE(switch11_6_0) OR FIREABLE(switch11_5_0) OR FIREABLE(switch11_0_1) OR FIREABLE(switch11_7_0) OR FIREABLE(switch11_1_4) OR FIREABLE(switch11_2_4) OR FIREABLE(switch11_3_4) OR FIREABLE(switch11_4_4) OR FIREABLE(switch11_5_3) OR FIREABLE(switch11_6_3) OR FIREABLE(switch11_7_3) OR FIREABLE(switch11_0_4) OR FIREABLE(switch11_1_3) OR FIREABLE(switch11_2_3) OR FIREABLE(switch11_3_3) OR FIREABLE(switch11_4_3) OR FIREABLE(switch11_5_2) OR FIREABLE(switch11_6_2) OR FIREABLE(switch11_7_2) OR FIREABLE(switch11_0_3)) AND ((FIREABLE(switch2_1_4) OR FIREABLE(switch2_0_5) OR FIREABLE(switch2_1_5) OR FIREABLE(switch2_0_4)) U (FIREABLE(switch11_0_0) OR FIREABLE(switch11_4_0) OR FIREABLE(switch11_3_0) OR FIREABLE(switch11_2_0) OR FIREABLE(switch11_1_0) OR FIREABLE(switch11_4_6) OR FIREABLE(switch11_3_6) OR FIREABLE(switch11_2_6) OR FIREABLE(switch11_1_6) OR FIREABLE(switch11_0_6) OR FIREABLE(switch11_7_5) OR FIREABLE(switch11_6_5) OR FIREABLE(switch11_5_5) OR FIREABLE(switch11_4_5) OR FIREABLE(switch11_3_5) OR FIREABLE(switch11_2_5) OR FIREABLE(switch11_1_5) OR FIREABLE(switch11_0_5) OR FIREABLE(switch11_7_4) OR FIREABLE(switch11_6_4) OR FIREABLE(switch11_5_4) OR FIREABLE(switch11_7_7) OR FIREABLE(switch11_5_7) OR FIREABLE(switch11_6_7) OR FIREABLE(switch11_3_7) OR FIREABLE(switch11_4_7) OR FIREABLE(switch11_1_7) OR FIREABLE(switch11_2_7) OR FIREABLE(switch11_7_6) OR FIREABLE(switch11_0_7) OR FIREABLE(switch11_5_6) OR FIREABLE(switch11_6_6) OR FIREABLE(switch11_2_2) OR FIREABLE(switch11_1_2) OR FIREABLE(switch11_4_2) OR FIREABLE(switch11_3_2) OR FIREABLE(switch11_6_1) OR FIREABLE(switch11_5_1) OR FIREABLE(switch11_0_2) OR FIREABLE(switch11_7_1) OR FIREABLE(switch11_2_1) OR FIREABLE(switch11_1_1) OR FIREABLE(switch11_4_1) OR FIREABLE(switch11_3_1) OR FIREABLE(switch11_6_0) OR FIREABLE(switch11_5_0) OR FIREABLE(switch11_0_1) OR FIREABLE(switch11_7_0) OR FIREABLE(switch11_1_4) OR FIREABLE(switch11_2_4) OR FIREABLE(switch11_3_4) OR FIREABLE(switch11_4_4) OR FIREABLE(switch11_5_3) OR FIREABLE(switch11_6_3) OR FIREABLE(switch11_7_3) OR FIREABLE(switch11_0_4) OR FIREABLE(switch11_1_3) OR FIREABLE(switch11_2_3) OR FIREABLE(switch11_3_3) OR FIREABLE(switch11_4_3) OR FIREABLE(switch11_5_2) OR FIREABLE(switch11_6_2) OR FIREABLE(switch11_7_2) OR FIREABLE(switch11_0_3))))) U ((FIREABLE(switch11_0_0) OR FIREABLE(switch11_4_0) OR FIREABLE(switch11_3_0) OR FIREABLE(switch11_2_0) OR FIREABLE(switch11_1_0) OR FIREABLE(switch11_4_6) OR FIREABLE(switch11_3_6) OR FIREABLE(switch11_2_6) OR FIREABLE(switch11_1_6) OR FIREABLE(switch11_0_6) OR FIREABLE(switch11_7_5) OR FIREABLE(switch11_6_5) OR FIREABLE(switch11_5_5) OR FIREABLE(switch11_4_5) OR FIREABLE(switch11_3_5) OR FIREABLE(switch11_2_5) OR FIREABLE(switch11_1_5) OR FIREABLE(switch11_0_5) OR FIREABLE(switch11_7_4) OR FIREABLE(switch11_6_4) OR FIREABLE(switch11_5_4) OR FIREABLE(switch11_7_7) OR FIREABLE(switch11_5_7) OR FIREABLE(switch11_6_7) OR FIREABLE(switch11_3_7) OR FIREABLE(switch11_4_7) OR FIREABLE(switch11_1_7) OR FIREABLE(switch11_2_7) OR FIREABLE(switch11_7_6) OR FIREABLE(switch11_0_7) OR FIREABLE(switch11_5_6) OR FIREABLE(switch11_6_6) OR FIREABLE(switch11_2_2) OR FIREABLE(switch11_1_2) OR FIREABLE(switch11_4_2) OR FIREABLE(switch11_3_2) OR FIREABLE(switch11_6_1) OR FIREABLE(switch11_5_1) OR FIREABLE(switch11_0_2) OR FIREABLE(switch11_7_1) OR FIREABLE(switch11_2_1) OR FIREABLE(switch11_1_1) OR FIREABLE(switch11_4_1) OR FIREABLE(switch11_3_1) OR FIREABLE(switch11_6_0) OR FIREABLE(switch11_5_0) OR FIREABLE(switch11_0_1) OR FIREABLE(switch11_7_0) OR FIREABLE(switch11_1_4) OR FIREABLE(switch11_2_4) OR FIREABLE(switch11_3_4) OR FIREABLE(switch11_4_4) OR FIREABLE(switch11_5_3) OR FIREABLE(switch11_6_3) OR FIREABLE(switch11_7_3) OR FIREABLE(switch11_0_4) OR FIREABLE(switch11_1_3) OR FIREABLE(switch11_2_3) OR FIREABLE(switch11_3_3) OR FIREABLE(switch11_4_3) OR FIREABLE(switch11_5_2) OR FIREABLE(switch11_6_2) OR FIREABLE(switch11_7_2) OR FIREABLE(switch11_0_3)) AND (FIREABLE(display1_2_1) OR FIREABLE(display1_1_1) OR FIREABLE(display1_4_1) OR FIREABLE(display1_3_1) OR FIREABLE(display1_6_0) OR FIREABLE(display1_5_0) OR FIREABLE(display1_0_1) OR FIREABLE(display1_7_0) OR FIREABLE(display1_2_2) OR FIREABLE(display1_1_2) OR FIREABLE(display1_4_2) OR FIREABLE(display1_3_2) OR FIREABLE(display1_6_1) OR FIREABLE(display1_5_1) OR FIREABLE(display1_0_2) OR FIREABLE(display1_7_1) OR FIREABLE(display1_1_0) OR FIREABLE(display1_2_0) OR FIREABLE(display1_3_0) OR FIREABLE(display1_4_0) OR FIREABLE(display1_0_0) OR FIREABLE(display1_7_5) OR FIREABLE(display1_0_6) OR FIREABLE(display1_5_5) OR FIREABLE(display1_6_5) OR FIREABLE(display1_3_6) OR FIREABLE(display1_4_6) OR FIREABLE(display1_1_6) OR FIREABLE(display1_2_6) OR FIREABLE(display1_7_4) OR FIREABLE(display1_0_5) OR FIREABLE(display1_5_4) OR FIREABLE(display1_6_4) OR FIREABLE(display1_3_5) OR FIREABLE(display1_4_5) OR FIREABLE(display1_1_5) OR FIREABLE(display1_2_5) OR FIREABLE(display1_0_4) OR FIREABLE(display1_7_3) OR FIREABLE(display1_6_3) OR FIREABLE(display1_5_3) OR FIREABLE(display1_4_4) OR FIREABLE(display1_3_4) OR FIREABLE(display1_2_4) OR FIREABLE(display1_1_4) OR FIREABLE(display1_0_3) OR FIREABLE(display1_7_2) OR FIREABLE(display1_6_2) OR FIREABLE(display1_5_2) OR FIREABLE(display1_4_3) OR FIREABLE(display1_3_3) OR FIREABLE(display1_2_3) OR FIREABLE(display1_1_3) OR FIREABLE(display1_6_7) OR FIREABLE(display1_5_7) OR FIREABLE(display1_7_7) OR FIREABLE(display1_6_6) OR FIREABLE(display1_5_6) OR FIREABLE(display1_0_7) OR FIREABLE(display1_7_6) OR FIREABLE(display1_2_7) OR FIREABLE(display1_1_7) OR FIREABLE(display1_4_7) OR FIREABLE(display1_3_7)))) AND F ((FIREABLE(switch11_0_0) OR FIREABLE(switch11_4_0) OR FIREABLE(switch11_3_0) OR FIREABLE(switch11_2_0) OR FIREABLE(switch11_1_0) OR FIREABLE(switch11_4_6) OR FIREABLE(switch11_3_6) OR FIREABLE(switch11_2_6) OR FIREABLE(switch11_1_6) OR FIREABLE(switch11_0_6) OR FIREABLE(switch11_7_5) OR FIREABLE(switch11_6_5) OR FIREABLE(switch11_5_5) OR FIREABLE(switch11_4_5) OR FIREABLE(switch11_3_5) OR FIREABLE(switch11_2_5) OR FIREABLE(switch11_1_5) OR FIREABLE(switch11_0_5) OR FIREABLE(switch11_7_4) OR FIREABLE(switch11_6_4) OR FIREABLE(switch11_5_4) OR FIREABLE(switch11_7_7) OR FIREABLE(switch11_5_7) OR FIREABLE(switch11_6_7) OR FIREABLE(switch11_3_7) OR FIREABLE(switch11_4_7) OR FIREABLE(switch11_1_7) OR FIREABLE(switch11_2_7) OR FIREABLE(switch11_7_6) OR FIREABLE(switch11_0_7) OR FIREABLE(switch11_5_6) OR FIREABLE(switch11_6_6) OR FIREABLE(switch11_2_2) OR FIREABLE(switch11_1_2) OR FIREABLE(switch11_4_2) OR FIREABLE(switch11_3_2) OR FIREABLE(switch11_6_1) OR FIREABLE(switch11_5_1) OR FIREABLE(switch11_0_2) OR FIREABLE(switch11_7_1) OR FIREABLE(switch11_2_1) OR FIREABLE(switch11_1_1) OR FIREABLE(switch11_4_1) OR FIREABLE(switch11_3_1) OR FIREABLE(switch11_6_0) OR FIREABLE(switch11_5_0) OR FIREABLE(switch11_0_1) OR FIREABLE(switch11_7_0) OR FIREABLE(switch11_1_4) OR FIREABLE(switch11_2_4) OR FIREABLE(switch11_3_4) OR FIREABLE(switch11_4_4) OR FIREABLE(switch11_5_3) OR FIREABLE(switch11_6_3) OR FIREABLE(switch11_7_3) OR FIREABLE(switch11_0_4) OR FIREABLE(switch11_1_3) OR FIREABLE(switch11_2_3) OR FIREABLE(switch11_3_3) OR FIREABLE(switch11_4_3) OR FIREABLE(switch11_5_2) OR FIREABLE(switch11_6_2) OR FIREABLE(switch11_7_2) OR FIREABLE(switch11_0_3))))) : A (F (G ((FIREABLE(switch7_0_2) OR FIREABLE(switch7_1_2) OR FIREABLE(switch7_4_2) OR FIREABLE(switch7_5_2) OR FIREABLE(switch7_0_3) OR FIREABLE(switch7_5_7) OR FIREABLE(switch7_4_7) OR FIREABLE(switch7_1_7) OR FIREABLE(switch7_0_7) OR FIREABLE(switch7_5_6) OR FIREABLE(switch7_4_6) OR FIREABLE(switch7_1_6) OR FIREABLE(switch7_0_6) OR FIREABLE(switch7_5_3) OR FIREABLE(switch7_4_3) OR FIREABLE(switch7_1_3))))) : A (F ((G (((FIREABLE(switch11_0_0) OR FIREABLE(switch11_4_0) OR FIREABLE(switch11_3_0) OR FIREABLE(switch11_2_0) OR FIREABLE(switch11_1_0) OR FIREABLE(switch11_4_6) OR FIREABLE(switch11_3_6) OR FIREABLE(switch11_2_6) OR FIREABLE(switch11_1_6) OR FIREABLE(switch11_0_6) OR FIREABLE(switch11_7_5) OR FIREABLE(switch11_6_5) OR FIREABLE(switch11_5_5) OR FIREABLE(switch11_4_5) OR FIREABLE(switch11_3_5) OR FIREABLE(switch11_2_5) OR FIREABLE(switch11_1_5) OR FIREABLE(switch11_0_5) OR FIREABLE(switch11_7_4) OR FIREABLE(switch11_6_4) OR FIREABLE(switch11_5_4) OR FIREABLE(switch11_7_7) OR FIREABLE(switch11_5_7) OR FIREABLE(switch11_6_7) OR FIREABLE(switch11_3_7) OR FIREABLE(switch11_4_7) OR FIREABLE(switch11_1_7) OR FIREABLE(switch11_2_7) OR FIREABLE(switch11_7_6) OR FIREABLE(switch11_0_7) OR FIREABLE(switch11_5_6) OR FIREABLE(switch11_6_6) OR FIREABLE(switch11_2_2) OR FIREABLE(switch11_1_2) OR FIREABLE(switch11_4_2) OR FIREABLE(switch11_3_2) OR FIREABLE(switch11_6_1) OR FIREABLE(switch11_5_1) OR FIREABLE(switch11_0_2) OR FIREABLE(switch11_7_1) OR FIREABLE(switch11_2_1) OR FIREABLE(switch11_1_1) OR FIREABLE(switch11_4_1) OR FIREABLE(switch11_3_1) OR FIREABLE(switch11_6_0) OR FIREABLE(switch11_5_0) OR FIREABLE(switch11_0_1) OR FIREABLE(switch11_7_0) OR FIREABLE(switch11_1_4) OR FIREABLE(switch11_2_4) OR FIREABLE(switch11_3_4) OR FIREABLE(switch11_4_4) OR FIREABLE(switch11_5_3) OR FIREABLE(switch11_6_3) OR FIREABLE(switch11_7_3) OR FIREABLE(switch11_0_4) OR FIREABLE(switch11_1_3) OR FIREABLE(switch11_2_3) OR FIREABLE(switch11_3_3) OR FIREABLE(switch11_4_3) OR FIREABLE(switch11_5_2) OR FIREABLE(switch11_6_2) OR FIREABLE(switch11_7_2) OR FIREABLE(switch11_0_3)) OR X ((FIREABLE(display1_2_1) OR FIREABLE(display1_1_1) OR FIREABLE(display1_4_1) OR FIREABLE(display1_3_1) OR FIREABLE(display1_6_0) OR FIREABLE(display1_5_0) OR FIREABLE(display1_0_1) OR FIREABLE(display1_7_0) OR FIREABLE(display1_2_2) OR FIREABLE(display1_1_2) OR FIREABLE(display1_4_2) OR FIREABLE(display1_3_2) OR FIREABLE(display1_6_1) OR FIREABLE(display1_5_1) OR FIREABLE(display1_0_2) OR FIREABLE(display1_7_1) OR FIREABLE(display1_1_0) OR FIREABLE(display1_2_0) OR FIREABLE(display1_3_0) OR FIREABLE(display1_4_0) OR FIREABLE(display1_0_0) OR FIREABLE(display1_7_5) OR FIREABLE(display1_0_6) OR FIREABLE(display1_5_5) OR FIREABLE(display1_6_5) OR FIREABLE(display1_3_6) OR FIREABLE(display1_4_6) OR FIREABLE(display1_1_6) OR FIREABLE(display1_2_6) OR FIREABLE(display1_7_4) OR FIREABLE(display1_0_5) OR FIREABLE(display1_5_4) OR FIREABLE(display1_6_4) OR FIREABLE(display1_3_5) OR FIREABLE(display1_4_5) OR FIREABLE(display1_1_5) OR FIREABLE(display1_2_5) OR FIREABLE(display1_0_4) OR FIREABLE(display1_7_3) OR FIREABLE(display1_6_3) OR FIREABLE(display1_5_3) OR FIREABLE(display1_4_4) OR FIREABLE(display1_3_4) OR FIREABLE(display1_2_4) OR FIREABLE(display1_1_4) OR FIREABLE(display1_0_3) OR FIREABLE(display1_7_2) OR FIREABLE(display1_6_2) OR FIREABLE(display1_5_2) OR FIREABLE(display1_4_3) OR FIREABLE(display1_3_3) OR FIREABLE(display1_2_3) OR FIREABLE(display1_1_3) OR FIREABLE(display1_6_7) OR FIREABLE(display1_5_7) OR FIREABLE(display1_7_7) OR FIREABLE(display1_6_6) OR FIREABLE(display1_5_6) OR FIREABLE(display1_0_7) OR FIREABLE(display1_7_6) OR FIREABLE(display1_2_7) OR FIREABLE(display1_1_7) OR FIREABLE(display1_4_7) OR FIREABLE(display1_3_7))))) U G (F (NOT(G ((NOT FIREABLE(switch7_0_2) AND NOT FIREABLE(switch7_1_2) AND NOT FIREABLE(switch7_4_2) AND NOT FIREABLE(switch7_5_2) AND NOT FIREABLE(switch7_0_3) AND NOT FIREABLE(switch7_5_7) AND NOT FIREABLE(switch7_4_7) AND NOT FIREABLE(switch7_1_7) AND NOT FIREABLE(switch7_0_7) AND NOT FIREABLE(switch7_5_6) AND NOT FIREABLE(switch7_4_6) AND NOT FIREABLE(switch7_1_6) AND NOT FIREABLE(switch7_0_6) AND NOT FIREABLE(switch7_5_3) AND NOT FIREABLE(switch7_4_3) AND NOT FIREABLE(switch7_1_3))))))))) : A (G ((NOT FIREABLE(switch10_4_0) AND NOT FIREABLE(switch10_3_0) AND NOT FIREABLE(switch10_2_0) AND NOT FIREABLE(switch10_1_0) AND NOT FIREABLE(switch10_0_0) AND NOT FIREABLE(switch10_7_4) AND NOT FIREABLE(switch10_0_5) AND NOT FIREABLE(switch10_5_4) AND NOT FIREABLE(switch10_6_4) AND NOT FIREABLE(switch10_3_5) AND NOT FIREABLE(switch10_4_5) AND NOT FIREABLE(switch10_1_5) AND NOT FIREABLE(switch10_2_5) AND NOT FIREABLE(switch10_7_5) AND NOT FIREABLE(switch10_0_6) AND NOT FIREABLE(switch10_5_5) AND NOT FIREABLE(switch10_6_5) AND NOT FIREABLE(switch10_3_6) AND NOT FIREABLE(switch10_4_6) AND NOT FIREABLE(switch10_1_6) AND NOT FIREABLE(switch10_2_6) AND NOT FIREABLE(switch10_0_7) AND NOT FIREABLE(switch10_7_6) AND NOT FIREABLE(switch10_6_6) AND NOT FIREABLE(switch10_5_6) AND NOT FIREABLE(switch10_4_7) AND NOT FIREABLE(switch10_3_7) AND NOT FIREABLE(switch10_2_7) AND NOT FIREABLE(switch10_1_7) AND NOT FIREABLE(switch10_7_7) AND NOT FIREABLE(switch10_6_7) AND NOT FIREABLE(switch10_5_7) AND NOT FIREABLE(switch10_5_0) AND NOT FIREABLE(switch10_6_0) AND NOT FIREABLE(switch10_7_0) AND NOT FIREABLE(switch10_0_1) AND NOT FIREABLE(switch10_1_1) AND NOT FIREABLE(switch10_2_1) AND NOT FIREABLE(switch10_3_1) AND NOT FIREABLE(switch10_4_1) AND NOT FIREABLE(switch10_5_1) AND NOT FIREABLE(switch10_6_1) AND NOT FIREABLE(switch10_7_1) AND NOT FIREABLE(switch10_0_2) AND NOT FIREABLE(switch10_1_2) AND NOT FIREABLE(switch10_2_2) AND NOT FIREABLE(switch10_3_2) AND NOT FIREABLE(switch10_4_2) AND NOT FIREABLE(switch10_6_2) AND NOT FIREABLE(switch10_5_2) AND NOT FIREABLE(switch10_0_3) AND NOT FIREABLE(switch10_7_2) AND NOT FIREABLE(switch10_2_3) AND NOT FIREABLE(switch10_1_3) AND NOT FIREABLE(switch10_4_3) AND NOT FIREABLE(switch10_3_3) AND NOT FIREABLE(switch10_6_3) AND NOT FIREABLE(switch10_5_3) AND NOT FIREABLE(switch10_0_4) AND NOT FIREABLE(switch10_7_3) AND NOT FIREABLE(switch10_2_4) AND NOT FIREABLE(switch10_1_4) AND NOT FIREABLE(switch10_4_4) AND NOT FIREABLE(switch10_3_4)))) : A (X (((FIREABLE(display2_6_0) OR FIREABLE(display2_5_0) OR FIREABLE(display2_0_1) OR FIREABLE(display2_7_0) OR FIREABLE(display2_2_1) OR FIREABLE(display2_1_1) OR FIREABLE(display2_4_1) OR FIREABLE(display2_3_1) OR FIREABLE(display2_6_1) OR FIREABLE(display2_5_1) OR FIREABLE(display2_0_2) OR FIREABLE(display2_7_1) OR FIREABLE(display2_2_2) OR FIREABLE(display2_1_2) OR FIREABLE(display2_4_2) OR FIREABLE(display2_3_2) OR FIREABLE(display2_0_0) OR FIREABLE(display2_1_0) OR FIREABLE(display2_2_0) OR FIREABLE(display2_3_0) OR FIREABLE(display2_4_0) OR FIREABLE(display2_4_5) OR FIREABLE(display2_3_5) OR FIREABLE(display2_2_5) OR FIREABLE(display2_1_5) OR FIREABLE(display2_0_5) OR FIREABLE(display2_7_4) OR FIREABLE(display2_6_4) OR FIREABLE(display2_5_4) OR FIREABLE(display2_4_6) OR FIREABLE(display2_3_6) OR FIREABLE(display2_2_6) OR FIREABLE(display2_1_6) OR FIREABLE(display2_0_6) OR FIREABLE(display2_7_5) OR FIREABLE(display2_6_5) OR FIREABLE(display2_5_5) OR FIREABLE(display2_3_3) OR FIREABLE(display2_4_3) OR FIREABLE(display2_1_3) OR FIREABLE(display2_2_3) OR FIREABLE(display2_7_2) OR FIREABLE(display2_0_3) OR FIREABLE(display2_5_2) OR FIREABLE(display2_6_2) OR FIREABLE(display2_3_4) OR FIREABLE(display2_4_4) OR FIREABLE(display2_1_4) OR FIREABLE(display2_2_4) OR FIREABLE(display2_7_3) OR FIREABLE(display2_0_4) OR FIREABLE(display2_5_3) OR FIREABLE(display2_6_3) OR FIREABLE(display2_1_7) OR FIREABLE(display2_2_7) OR FIREABLE(display2_3_7) OR FIREABLE(display2_4_7) OR FIREABLE(display2_5_6) OR FIREABLE(display2_6_6) OR FIREABLE(display2_7_6) OR FIREABLE(display2_0_7) OR FIREABLE(display2_5_7) OR FIREABLE(display2_6_7) OR FIREABLE(display2_7_7)) U F ((FIREABLE(display2_6_0) OR FIREABLE(display2_5_0) OR FIREABLE(display2_0_1) OR FIREABLE(display2_7_0) OR FIREABLE(display2_2_1) OR FIREABLE(display2_1_1) OR FIREABLE(display2_4_1) OR FIREABLE(display2_3_1) OR FIREABLE(display2_6_1) OR FIREABLE(display2_5_1) OR FIREABLE(display2_0_2) OR FIREABLE(display2_7_1) OR FIREABLE(display2_2_2) OR FIREABLE(display2_1_2) OR FIREABLE(display2_4_2) OR FIREABLE(display2_3_2) OR FIREABLE(display2_0_0) OR FIREABLE(display2_1_0) OR FIREABLE(display2_2_0) OR FIREABLE(display2_3_0) OR FIREABLE(display2_4_0) OR FIREABLE(display2_4_5) OR FIREABLE(display2_3_5) OR FIREABLE(display2_2_5) OR FIREABLE(display2_1_5) OR FIREABLE(display2_0_5) OR FIREABLE(display2_7_4) OR FIREABLE(display2_6_4) OR FIREABLE(display2_5_4) OR FIREABLE(display2_4_6) OR FIREABLE(display2_3_6) OR FIREABLE(display2_2_6) OR FIREABLE(display2_1_6) OR FIREABLE(display2_0_6) OR FIREABLE(display2_7_5) OR FIREABLE(display2_6_5) OR FIREABLE(display2_5_5) OR FIREABLE(display2_3_3) OR FIREABLE(display2_4_3) OR FIREABLE(display2_1_3) OR FIREABLE(display2_2_3) OR FIREABLE(display2_7_2) OR FIREABLE(display2_0_3) OR FIREABLE(display2_5_2) OR FIREABLE(display2_6_2) OR FIREABLE(display2_3_4) OR FIREABLE(display2_4_4) OR FIREABLE(display2_1_4) OR FIREABLE(display2_2_4) OR FIREABLE(display2_7_3) OR FIREABLE(display2_0_4) OR FIREABLE(display2_5_3) OR FIREABLE(display2_6_3) OR FIREABLE(display2_1_7) OR FIREABLE(display2_2_7) OR FIREABLE(display2_3_7) OR FIREABLE(display2_4_7) OR FIREABLE(display2_5_6) OR FIREABLE(display2_6_6) OR FIREABLE(display2_7_6) OR FIREABLE(display2_0_7) OR FIREABLE(display2_5_7) OR FIREABLE(display2_6_7) OR FIREABLE(display2_7_7)))))) : A (X (X (NOT(X (X (NOT(F ((NOT((FIREABLE(switch5_1_7) U NOT FIREABLE(switch12_1_4))) U X (FIREABLE(switch7_0_6))))))))))) : A (G (FIREABLE(display1_7_7))) : A (X (NOT((X ((FIREABLE(switch6_4_3) OR FIREABLE(switch3_3_6))) U G ((F ((FIREABLE(switch6_4_3) U FIREABLE(switch3_3_6))) U NOT FIREABLE(switch5_1_6))))))) : A (F ((NOT FIREABLE(switch11_5_5) AND G (NOT(F ((FIREABLE(display3_4_7) AND FIREABLE(switch8_1_3)))))))) : A (((F (FIREABLE(switch7_5_2)) OR NOT(G (FIREABLE(display4_7_7)))) OR G (F (FIREABLE(display1_5_4))))) : A (F (G ((FIREABLE(switch10_6_5) U G ((FIREABLE(switch3_2_7) AND X ((G (FIREABLE(switch3_2_7)) AND X (FIREABLE(switch10_6_7)))))))))) : A ((F (NOT FIREABLE(switch5_0_3)) AND ((FIREABLE(switch8_1_2) AND X (G (FIREABLE(switch5_0_3)))) U (FIREABLE(switch11_0_6) AND FIREABLE(switch8_1_2))))) : A (X (X (((G (FIREABLE(switch3_3_7)) AND G (FIREABLE(switch3_2_6))) AND NOT(G (FIREABLE(display4_5_4)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:300
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
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:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:297
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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 (((FIREABLE(switch3_3_6) OR FIREABLE(switch3_2_7) OR FIREABLE(switch3_3_7) OR FIREABLE(switch3_2_6)) OR X (G ((FIREABLE(switch3_3_6) OR FIREABLE(switch3_2_7) OR FIREABLE(switch3_3_7) OR FIREABLE(switch3_2_6)))))) AND A (X (X (F ((NOT FIREABLE(switch10_4_0) AND NOT FIREABLE(switch10_3_0) AND NOT FIREABLE(switch10_2_0) AND NOT FIREABLE(switch10_1_0) AND NOT FIREABLE(switch10_0_0) AND NOT FI... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(switch3_3_6) OR FIREABLE(switch3_2_7) OR FIREABLE(switch3_3_7) OR FIREABLE(switch3_2_6)) OR X (G ((FIREABLE(switch3_3_6) OR FIREABLE(switch3_2_7) OR FIREABLE(switch3_3_7) OR FIREABLE(switch3_2_6))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(switch3_3_6) OR FIREABLE(switch3_2_7) OR FIREABLE(switch3_3_7) OR FIREABLE(switch3_2_6)) OR X (G ((FIREABLE(switch3_3_6) OR FIREABLE(switch3_2_7) OR FIREABLE(switch3_3_7) OR FIREABLE(switch3_2_6))))))
lola: processed formula length: 220
lola: 75 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 81 markings, 81 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (G ((F ((NOT FIREABLE(switch4_2_7) AND NOT FIREABLE(switch4_3_6) AND NOT FIREABLE(switch4_3_7) AND NOT FIREABLE(switch4_2_6))) OR G ((FIREABLE(switch9_1_0) OR FIREABLE(switch9_2_0) OR FIREABLE(switch9_3_0) OR FIREABLE(switch9_4_0) OR FIREABLE(switch9_0_0) OR FIREABLE(switch9_3_5) OR FIREABLE(switch9_4_5) OR FIREABLE(switch9_1_5) OR FIREABLE(switch9_2_5) OR FIREABLE(switch9_7_4) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F ((NOT FIREABLE(switch4_2_7) AND NOT FIREABLE(switch4_3_6) AND NOT FIREABLE(switch4_3_7) AND NOT FIREABLE(switch4_2_6))) OR G ((FIREABLE(switch9_1_0) OR FIREABLE(switch9_2_0) OR FIREABLE(switch9_3_0) OR FIREABLE(switch9_4_0) OR FIREABLE(switch9_0_0) OR FIREABLE(switch9_3_5) OR FIREABLE(switch9_4_5) OR FIREABLE(switch9_1_5) OR FIREABLE(switch9_2_5) OR FIREABLE(switch9_7_4) OR F... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F ((NOT FIREABLE(switch4_2_7) AND NOT FIREABLE(switch4_3_6) AND NOT FIREABLE(switch4_3_7) AND NOT FIREABLE(switch4_2_6))) OR G ((FIREABLE(switch9_1_0) OR FIREABLE(switch9_2_0) OR FIREABLE(switch9_3_0) OR FIREABLE(switch9_4_0) OR FIREABLE(switch9_0_0) OR FIREABLE(switch9_3_5) OR FIREABLE(switch9_4_5) OR FIREABLE(switch9_1_5) OR FIREABLE(switch9_2_5) OR FIREABLE(switch9_7_4) OR F... (shortened)
lola: processed formula length: 1804
lola: 75 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 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: 273628 markings, 744763 edges, 54726 markings/sec, 0 secs
lola: 554608 markings, 1517007 edges, 56196 markings/sec, 5 secs
lola: 823734 markings, 2292718 edges, 53825 markings/sec, 10 secs
lola: 1128373 markings, 3104038 edges, 60928 markings/sec, 15 secs
lola: 1403455 markings, 3858757 edges, 55016 markings/sec, 20 secs
lola: 1694010 markings, 4638838 edges, 58111 markings/sec, 25 secs
lola: 2003704 markings, 5480383 edges, 61939 markings/sec, 30 secs
lola: 2258944 markings, 6233511 edges, 51048 markings/sec, 35 secs
lola: 2524894 markings, 6953242 edges, 53190 markings/sec, 40 secs
lola: 2824414 markings, 7800194 edges, 59904 markings/sec, 45 secs
lola: 3088260 markings, 8529570 edges, 52769 markings/sec, 50 secs
lola: 3369432 markings, 9313869 edges, 56234 markings/sec, 55 secs
lola: 3673302 markings, 10144358 edges, 60774 markings/sec, 60 secs
lola: 3956383 markings, 10932514 edges, 56616 markings/sec, 65 secs
lola: 4244182 markings, 11657312 edges, 57560 markings/sec, 70 secs
lola: 4519756 markings, 12378462 edges, 55115 markings/sec, 75 secs
lola: 4800033 markings, 13115912 edges, 56055 markings/sec, 80 secs
lola: 5071555 markings, 13818670 edges, 54304 markings/sec, 85 secs
lola: 5340218 markings, 14507529 edges, 53733 markings/sec, 90 secs
lola: 5617559 markings, 15240082 edges, 55468 markings/sec, 95 secs
lola: 5877725 markings, 15993028 edges, 52033 markings/sec, 100 secs
lola: 6129616 markings, 16810971 edges, 50378 markings/sec, 105 secs
lola: 6366541 markings, 17665668 edges, 47385 markings/sec, 110 secs
lola: 6547054 markings, 18730799 edges, 36103 markings/sec, 115 secs
lola: 6776566 markings, 19821968 edges, 45902 markings/sec, 120 secs
lola: 6985812 markings, 20691909 edges, 41849 markings/sec, 125 secs
lola: 7152672 markings, 21880773 edges, 33372 markings/sec, 130 secs
lola: 7377665 markings, 23020829 edges, 44999 markings/sec, 135 secs
lola: 7591441 markings, 24048356 edges, 42755 markings/sec, 140 secs
lola: 7850302 markings, 25079834 edges, 51772 markings/sec, 145 secs
lola: 8101143 markings, 25895465 edges, 50168 markings/sec, 150 secs
lola: 8355025 markings, 26723423 edges, 50776 markings/sec, 155 secs
lola: 8599855 markings, 27599326 edges, 48966 markings/sec, 160 secs
lola: 8828015 markings, 28475085 edges, 45632 markings/sec, 165 secs
lola: 9009254 markings, 29549364 edges, 36248 markings/sec, 170 secs
lola: 9180907 markings, 30851129 edges, 34331 markings/sec, 175 secs
lola: 9424606 markings, 31988816 edges, 48740 markings/sec, 180 secs
lola: 9645152 markings, 32826651 edges, 44109 markings/sec, 185 secs
lola: 9835731 markings, 33786950 edges, 38116 markings/sec, 190 secs
lola: 10004787 markings, 34945586 edges, 33811 markings/sec, 195 secs
lola: 10175122 markings, 36273902 edges, 34067 markings/sec, 200 secs
lola: 10413373 markings, 37498002 edges, 47650 markings/sec, 205 secs
lola: 10627638 markings, 38519468 edges, 42853 markings/sec, 210 secs
lola: 10822348 markings, 39501172 edges, 38942 markings/sec, 215 secs
lola: 11064082 markings, 40792092 edges, 48347 markings/sec, 220 secs
lola: 11336785 markings, 41804920 edges, 54541 markings/sec, 225 secs
lola: 11591020 markings, 42608496 edges, 50847 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown lola:
caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1676440 KB
lola: time consumption: 242 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 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((FIREABLE(switch6_5_7) OR FIREABLE(switch6_1_7) OR FIREABLE(switch6_4_7) OR FIREABLE(switch6_5_6) OR FIREABLE(switch6_0_7) OR FIREABLE(switch6_1_6) OR FIREABLE(switch6_4_6) OR FIREABLE(switch6_5_3) OR FIREABLE(switch6_0_6) OR FIREABLE(switch6_1_3) OR FIREABLE(switch6_4_3) OR FIREABLE(switch6_0_3) OR FIREABLE(switch6_5_2) OR FIREABLE(switch6_4_2) OR FIREABLE(switch6_1_2) OR FI... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(switch6_5_7) OR FIREABLE(switch6_1_7) OR FIREABLE(switch6_4_7) OR FIREABLE(switch6_5_6) OR FIREABLE(switch6_0_7) OR FIREABLE(switch6_1_6) OR FIREABLE(switch6_4_6) OR FIREABLE(switch6_5_3) OR FIREABLE(switch6_0_6) OR FIREABLE(switch6_1_3) OR FIREABLE(switch6_4_3) OR FIREABLE(switch6_0_3) OR FIREABLE(switch6_5_2) OR FIREABLE(switch6_4_2) OR FIREABLE(switch6_1_2) OR FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((FIREABLE(switch6_5_7) OR FIREABLE(switch6_1_7) OR FIREABLE(switch6_4_7) OR FIREABLE(switch6_5_6) OR FIREABLE(switch6_0_7) OR FIREABLE(switch6_1_6) OR FIREABLE(switch6_4_6) OR FIREABLE(switch6_5_3) OR FIREABLE(switch6_0_6) OR FIREABLE(switch6_1_3) OR FIREABLE(switch6_4_3) OR FIREABLE(switch6_0_3) OR FIREABLE(switch6_5_2) OR FIREABLE(switch6_4_2) OR FIREABLE(switch6_1_2) OR FIR... (shortened)
lola: processed formula length: 421
lola: 77 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)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: SUBRESULT
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (NOT FIREABLE(switch6_5_7) AND NOT FIREABLE(switch6_1_7) AND NOT FIREABLE(switch6_4_7) AND NOT FIREABLE(switch6_5_6) AND NOT FIREABLE(switch6_0_7) AND NOT FIREABLE(switch6_1_6) AND NOT FIREABLE(switch6_4_6) AND NOT FIREABLE(switch6_5_3) AND NOT FIREABLE(switch6_0_6) AND NOT FIREABLE(switch6_1_3) AND NOT FIREABLE(switch6_4_3) AND NOT FIREABLE(switch6_0_3) AND NOT FIREABLE(switch6_5_2) AND NOT FIREABLE(switch6_4_2) AND NOT FIREABLE(switch6_1_2) AND NOT FIREABLE(switch6_0_2))
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((G (F ((FIREABLE(switch7_0_2) OR FIREABLE(switch7_1_2) OR FIREABLE(switch7_4_2) OR FIREABLE(switch7_5_2) OR FIREABLE(switch7_0_3) OR FIREABLE(switch7_5_7) OR FIREABLE(switch7_4_7) OR FIREABLE(switch7_1_7) OR FIREABLE(switch7_0_7) OR FIREABLE(switch7_5_6) OR FIREABLE(switch7_4_6) OR FIREABLE(switch7_1_6) OR FIREABLE(switch7_0_6) OR FIREABLE(switch7_5_3) OR FIREABLE(switch7_4_3) ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((G (F ((FIREABLE(switch7_0_2) OR FIREABLE(switch7_1_2) OR FIREABLE(switch7_4_2) OR FIREABLE(switch7_5_2) OR FIREABLE(switch7_0_3) OR FIREABLE(switch7_5_7) OR FIREABLE(switch7_4_7) OR FIREABLE(switch7_1_7) OR FIREABLE(switch7_0_7) OR FIREABLE(switch7_5_6) OR FIREABLE(switch7_4_6) OR FIREABLE(switch7_1_6) OR FIREABLE(switch7_0_6) OR FIREABLE(switch7_5_3) OR FIREABLE(switch7_4_3) ... (shortened)
lola: processed formula length: 4323
lola: 75 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 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: 1299698 markings, 1779944 edges, 259940 markings/sec, 0 secs
lola: 2510023 markings, 3494426 edges, 242065 markings/sec, 5 secs
lola: 3730744 markings, 5253276 edges, 244144 markings/sec, 10 secs
lola: 4941638 markings, 6985916 edges, 242179 markings/sec, 15 secs
lola: 6134064 markings, 8743827 edges, 238485 markings/sec, 20 secs
lola: 7275694 markings, 10379439 edges, 228326 markings/sec, 25 secs
lola: 8436472 markings, 12079839 edges, 232156 markings/sec, 30 secs
lola: 9589904 markings, 13746102 edges, 230686 markings/sec, 35 secs
lola: 10700071 markings, 15359495 edges, 222033 markings/sec, 40 secs
lola: 11822893 markings, 16983275 edges, 224564 markings/sec, 45 secs
lola: 12906919 markings, 18616318 edges, 216805 markings/sec, 50 secs
lola: 13989923 markings, 20184564 edges, 216601 markings/sec, 55 secs
lola: 15057829 markings, 21814094 edges, 213581 markings/sec, 60 secs
lola: 16196405 markings, 23437099 edges, 227715 markings/sec, 65 secs
lola: 17285686 markings, 25038432 edges, 217856 markings/sec, 70 secs
lola: 18306781 markings, 26567015 edges, 204219 markings/sec, 75 secs
lola: 19316330 markings, 28073240 edges, 201910 markings/sec, 80 secs
lola: 20346458 markings, 29614989 edges, 206026 markings/sec, 85 secs
lola: 21415205 markings, 31210402 edges, 213749 markings/sec, 90 secs
lola: 22481274 markings, 32797314 edges, 213214 markings/sec, 95 secs
lola: 23529968 markings, 34406719 edges, 209739 markings/sec, 100 secs
lola: 24563637 markings, 35997963 edges, 206734 markings/sec, 105 secs
lola: 25628518 markings, 37579187 edges, 212976 markings/sec, 110 secs
lola: 26656896 markings, 39143469 edges, 205676 markings/sec, 115 secs
lola: 27671734 markings, 40710879 edges, 202968 markings/sec, 120 secs
lola: 28713140 markings, 42333552 edges, 208281 markings/sec, 125 secs
lola: 29704393 markings, 43911980 edges, 198251 markings/sec, 130 secs
lola: 30679237 markings, 45467797 edges, 194969 markings/sec, 135 secs
lola: 31741862 markings, 46989924 edges, 212525 markings/sec, 140 secs
lola: 32793587 markings, 48559224 edges, 210345 markings/sec, 145 secs
lola: 33852748 markings, 50147507 edges, 211832 markings/sec, 150 secs
lola: 34894555 markings, 51712280 edges, 208361 markings/sec, 155 secs
lola: 35927095 markings, 53294635 edges, 206508 markings/sec, 160 secs
lola: 36947687 markings, 54797506 edges, 204118 markings/sec, 165 secs
lola: 37875203 markings, 56207782 edges, 185503 markings/sec, 170 secs
lola: 38803731 markings, 57637856 edges, 185706 markings/sec, 175 secs
lola: 39719962 markings, 59057768 edges, 183246 markings/sec, 180 secs
lola: 40754463 markings, 60679114 edges, 206900 markings/sec, 185 secs
lola: 41712165 markings, 62196517 edges, 191540 markings/sec, 190 secs
lola: 42650084 markings, 63738899 edges, 187584 markings/sec, 195 secs
lola: 43790216 markings, 65478714 edges, 228026 markings/sec, 200 secs
lola: 44889394 markings, 67169666 edges, 219836 markings/sec, 205 secs
lola: 46033543 markings, 68838717 edges, 228830 markings/sec, 210 secs
lola: 47104366 markings, 70491157 edges, 214165 markings/sec, 215 secs
lola: 48149585 markings, 72097977 edges, 209044 markings/sec, 220 secs
lola: 49184072 markings, 73684298 edges, 206897 markings/sec, 225 secs
lola: 50203476 markings, 75254448 edges, 203881 markings/sec, 230 secs
lola: 51174229 markings, 76771551 edges, 194151 markings/sec, 235 secs
lola: 52128581 markings, 78265051 edges, 190870 markings/sec, 240 secs
lola: 53092117 markings, 79742665 edges, 192707 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((FIREABLE(display2_6_0) OR FIREABLE(display2_5_0) OR FIREABLE(display2_0_1) OR FIREABLE(display2_7_0) OR FIREABLE(display2_2_1) OR FIREABLE(display2_1_1) OR FIREABLE(display2_4_1) OR FIREABLE(display2_3_1) OR FIREABLE(display2_6_1) OR FIREABLE(display2_5_1) OR FIREABLE(display2_0_2) OR FIREABLE(display2_7_1) OR FIREABLE(display2_2_2) OR FIREABLE(display2_1_2) OR FIREABLE(dis... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((FIREABLE(display2_6_0) OR FIREABLE(display2_5_0) OR FIREABLE(display2_0_1) OR FIREABLE(display2_7_0) OR FIREABLE(display2_2_1) OR FIREABLE(display2_1_1) OR FIREABLE(display2_4_1) OR FIREABLE(display2_3_1) OR FIREABLE(display2_6_1) OR FIREABLE(display2_5_1) OR FIREABLE(display2_0_2) OR FIREABLE(display2_7_1) OR FIREABLE(display2_2_2) OR FIREABLE(display2_1_2) OR FIREABLE(dis... (shortened)
lola: processed formula length: 1737
lola: 75 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: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1294865 markings, 1494732 edges, 258973 markings/sec, 0 secs
lola: 2501197 markings, 2922544 edges, 241266 markings/sec, 5 secs
lola: 3728508 markings, 4311847 edges, 245462 markings/sec, 10 secs
lola: 4929735 markings, 5690803 edges, 240245 markings/sec, 15 secs
lola: 6115989 markings, 7039880 edges, 237251 markings/sec, 20 secs
lola: 7279568 markings, 8388294 edges, 232716 markings/sec, 25 secs
lola: 8485157 markings, 9770168 edges, 241118 markings/sec, 30 secs
lola: 9576365 markings, 11126590 edges, 218242 markings/sec, 35 secs
lola: 10635621 markings, 12436553 edges, 211851 markings/sec, 40 secs
lola: 11715954 markings, 13773905 edges, 216067 markings/sec, 45 secs
lola: 12767653 markings, 15115795 edges, 210340 markings/sec, 50 secs
lola: 13762836 markings, 16582557 edges, 199037 markings/sec, 55 secs
lola: 14717748 markings, 18006520 edges, 190982 markings/sec, 60 secs
lola: 15650619 markings, 19452111 edges, 186574 markings/sec, 65 secs
lola: 16557191 markings, 20825681 edges, 181314 markings/sec, 70 secs
lola: 17645642 markings, 22101877 edges, 217690 markings/sec, 75 secs
lola: 18677367 markings, 23488476 edges, 206345 markings/sec, 80 secs
lola: 19734398 markings, 24759931 edges, 211406 markings/sec, 85 secs
lola: 20784780 markings, 26038068 edges, 210076 markings/sec, 90 secs
lola: 21763122 markings, 27449202 edges, 195668 markings/sec, 95 secs
lola: 22819768 markings, 28742221 edges, 211329 markings/sec, 100 secs
lola: 23896934 markings, 30029142 edges, 215433 markings/sec, 105 secs
lola: 24970460 markings, 31337588 edges, 214705 markings/sec, 110 secs
lola: 25975318 markings, 32706706 edges, 200972 markings/sec, 115 secs
lola: 26968891 markings, 34026924 edges, 198715 markings/sec, 120 secs
lola: 27908980 markings, 35438494 edges, 188018 markings/sec, 125 secs
lola: 28877091 markings, 36735700 edges, 193622 markings/sec, 130 secs
lola: 29855854 markings, 38031897 edges, 195753 markings/sec, 135 secs
lola: 30945188 markings, 39365970 edges, 217867 markings/sec, 140 secs
lola: 31980564 markings, 40617837 edges, 207075 markings/sec, 145 secs
lola: 32981494 markings, 41995704 edges, 200186 markings/sec, 150 secs
lola: 33986131 markings, 43291631 edges, 200927 markings/sec, 155 secs
lola: 35024511 markings, 44581069 edges, 207676 markings/sec, 160 secs
lola: 36058702 markings, 45842388 edges, 206838 markings/sec, 165 secs
lola: 37041158 markings, 47155114 edges, 196491 markings/sec, 170 secs
lola: 38067286 markings, 48448732 edges, 205226 markings/sec, 175 secs
lola: 39050856 markings, 49790469 edges, 196714 markings/sec, 180 secs
lola: 40058967 markings, 51074953 edges, 201622 markings/sec, 185 secs
lola: 41114934 markings, 52438457 edges, 211193 markings/sec, 190 secs
lola: 42122304 markings, 53769696 edges, 201474 markings/sec, 195 secs
lola: 43138813 markings, 55073441 edges, 203302 markings/sec, 200 secs
lola: 44144415 markings, 56345036 edges, 201120 markings/sec, 205 secs
lola: 45253752 markings, 57692175 edges, 221867 markings/sec, 210 secs
lola: 46365762 markings, 58935109 edges, 222402 markings/sec, 215 secs
lola: 47428646 markings, 60157383 edges, 212577 markings/sec, 220 secs
lola: 48527998 markings, 61377512 edges, 219870 markings/sec, 225 secs
lola: 49556400 markings, 62520641 edges, 205680 markings/sec, 230 secs
lola: 50570052 markings, 63658664 edges, 202730 markings/sec, 235 secs
lola: 51566496 markings, 64767812 edges, 199289 markings/sec, 240 secs
lola: 52557235 markings, 65854630 edges, 198148 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (X (X (F (FIREABLE(switch7_0_6))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (X (X (F (FIREABLE(switch7_0_6))))))))
lola: processed formula length: 49
lola: 75 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 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: 722365 markings, 975719 edges
lola: ========================================
lola: subprocess 6 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((X ((NOT FIREABLE(switch6_4_3) AND NOT FIREABLE(switch3_3_6))) R F ((G (FIREABLE(switch5_1_6)) OR (G (NOT FIREABLE(switch3_3_6)) AND FIREABLE(switch5_1_6)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((X ((NOT FIREABLE(switch6_4_3) AND NOT FIREABLE(switch3_3_6))) R F ((G (FIREABLE(switch5_1_6)) OR (G (NOT FIREABLE(switch3_3_6)) AND FIREABLE(switch5_1_6)))))))
lola: processed formula length: 166
lola: 75 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: 813139 markings, 1985284 edges, 162628 markings/sec, 0 secs
lola: 1550524 markings, 3919797 edges, 147477 markings/sec, 5 secs
lola: 2256985 markings, 5962635 edges, 141292 markings/sec, 10 secs
lola: 3080823 markings, 7990289 edges, 164768 markings/sec, 15 secs
lola: 3833769 markings, 9948095 edges, 150589 markings/sec, 20 secs
lola: 4592487 markings, 11840600 edges, 151744 markings/sec, 25 secs
lola: 5333836 markings, 13705092 edges, 148270 markings/sec, 30 secs
lola: 6062715 markings, 15616168 edges, 145776 markings/sec, 35 secs
lola: 6761685 markings, 17408989 edges, 139794 markings/sec, 40 secs
lola: 7463575 markings, 19389997 edges, 140378 markings/sec, 45 secs
lola: 8182810 markings, 21235731 edges, 143847 markings/sec, 50 secs
lola: 8800469 markings, 23126386 edges, 123532 markings/sec, 55 secs
lola: 9449930 markings, 25010534 edges, 129892 markings/sec, 60 secs
lola: 10183471 markings, 26830518 edges, 146708 markings/sec, 65 secs
lola: 10877589 markings, 28601255 edges, 138824 markings/sec, 70 secs
lola: 11604349 markings, 30472178 edges, 145352 markings/sec, 75 secs
lola: 12337346 markings, 32264010 edges, 146599 markings/sec, 80 secs
lola: 13021680 markings, 33989975 edges, 136867 markings/sec, 85 secs
lola: 13619206 markings, 35703355 edges, 119505 markings/sec, 90 secs
lola: 14308372 markings, 37547164 edges, 137833 markings/sec, 95 secs
lola: 14930318 markings, 39400579 edges, 124389 markings/sec, 100 secs
lola: 15511117 markings, 41306598 edges, 116160 markings/sec, 105 secs
lola: 16188974 markings, 43193733 edges, 135571 markings/sec, 110 secs
lola: 16857381 markings, 45057922 edges, 133681 markings/sec, 115 secs
lola: 17430355 markings, 46924529 edges, 114595 markings/sec, 120 secs
lola: 18145964 markings, 48776547 edges, 143122 markings/sec, 125 secs
lola: 18860577 markings, 50555922 edges, 142923 markings/sec, 130 secs
lola: 19525912 markings, 52391286 edges, 133067 markings/sec, 135 secs
lola: 20261171 markings, 54209279 edges, 147052 markings/sec, 140 secs
lola: 20952467 markings, 56018810 edges, 138259 markings/sec, 145 secs
lola: 21642996 markings, 57793226 edges, 138106 markings/sec, 150 secs
lola: 22308516 markings, 59505881 edges, 133104 markings/sec, 155 secs
lola: 22963903 markings, 61335382 edges, 131077 markings/sec, 160 secs
lola: 23608252 markings, 63122047 edges, 128870 markings/sec, 165 secs
lola: 24271775 markings, 64864951 edges, 132705 markings/sec, 170 secs
lola: 24951982 markings, 66670781 edges, 136041 markings/sec, 175 secs
lola: 25665724 markings, 68486696 edges, 142748 markings/sec, 180 secs
lola: 26299920 markings, 70168083 edges, 126839 markings/sec, 185 secs
lola: 26961597 markings, 71889335 edges, 132335 markings/sec, 190 secs
lola: 27640039 markings, 73614954 edges, 135688 markings/sec, 195 secs
lola: 28300422 markings, 75417813 edges, 132077 markings/sec, 200 secs
lola: 28960211 markings, 77231658 edges, 131958 markings/sec, 205 secs
lola: 29617513 markings, 78926556 edges, 131460 markings/sec, 210 secs
lola: 30222327 markings, 80523542 edges, 120963 markings/sec, 215 secs
lola: 30886130 markings, 82185887 edges, 132761 markings/sec, 220 secs
lola: 31547440 markings, 83909554 edges, 132262 markings/sec, 225 secs
lola: 32193536 markings, 85603114 edges, 129219 markings/sec, 230 secs
lola: 32787255 markings, 87295736 edges, 118744 markings/sec, 235 secs
lola: 33460645 markings, 88992955 edges, 134678 markings/sec, 240 secs
lola: 34116877 markings, 90687393 edges, 131246 markings/sec, 245 secs
lola: 34799503 markings, 92457595 edges, 136525 markings/sec, 250 secs
lola: 35440678 markings, 94256907 edges, 128235 markings/sec, 255 secs
lola: 36185271 markings, 96147081 edges, 148919 markings/sec, 260 secs
lola: 36869494 markings, 97919120 edges, 136845 markings/sec, 265 secs
lola: 37545735 markings, 99654346 edges, 135248 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no unknown no unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5353196 KB
lola: time consumption: 1041 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 7 will run for 281 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((F (G ((FIREABLE(switch3_2_7) AND X ((G (FIREABLE(switch3_2_7)) AND X (FIREABLE(switch10_6_7))))))) AND G ((FIREABLE(switch10_6_5) OR G ((FIREABLE(switch3_2_7) AND X ((G (FIREABLE(switch3_2_7)) AND X (FIREABLE(switch10_6_7)))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((F (G ((FIREABLE(switch3_2_7) AND X ((G (FIREABLE(switch3_2_7)) AND X (FIREABLE(switch10_6_7))))))) AND G ((FIREABLE(switch10_6_5) OR G ((FIREABLE(switch3_2_7) AND X ((G (FIREABLE(switch3_2_7)) AND X (FIREABLE(switch10_6_7)))))))))))
lola: processed formula length: 239
lola: 75 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 175 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: 82 markings, 82 edges
lola: ========================================
lola: subprocess 8 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (NOT FIREABLE(switch5_0_3))) AND A (((FIREABLE(switch8_1_2) AND X (G (FIREABLE(switch5_0_3)))) U (FIREABLE(switch11_0_6) AND FIREABLE(switch8_1_2)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (NOT FIREABLE(switch5_0_3)))
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: FIREABLE(switch5_0_3)
lola: processed formula length: 21
lola: 77 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: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(switch8_1_2) AND X (G (FIREABLE(switch5_0_3)))) U (FIREABLE(switch11_0_6) AND FIREABLE(switch8_1_2))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(switch8_1_2) AND X (G (FIREABLE(switch5_0_3)))) U (FIREABLE(switch11_0_6) AND FIREABLE(switch8_1_2))))
lola: processed formula length: 116
lola: 75 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 81 markings, 81 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((G ((FIREABLE(switch3_3_7) AND FIREABLE(switch3_2_6))) AND F (NOT FIREABLE(display4_5_4))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((G ((FIREABLE(switch3_3_7) AND FIREABLE(switch3_2_6))) AND F (NOT FIREABLE(display4_5_4))))))
lola: processed formula length: 102
lola: 75 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: 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: 81 markings, 81 edges
lola: subprocess 10 will run for 421 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(display1_7_7)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (FIREABLE(display1_7_7)))
lola: processed formula length: 30
lola: 77 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)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 505 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(switch10_4_0) AND NOT FIREABLE(switch10_3_0) AND NOT FIREABLE(switch10_2_0) AND NOT FIREABLE(switch10_1_0) AND NOT FIREABLE(switch10_0_0) AND NOT FIREABLE(switch10_7_4) AND NOT FIREABLE(switch10_0_5) AND NOT FIREABLE(switch10_5_4) AND NOT FIREABLE(switch10_6_4) AND NOT FIREABLE(switch10_3_5) AND NOT FIREABLE(switch10_4_5) AND NOT FIREABLE(switch10_1_5) AND NOT FIREABLE(switch10... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((NOT FIREABLE(switch10_4_0) AND NOT FIREABLE(switch10_3_0) AND NOT FIREABLE(switch10_2_0) AND NOT FIREABLE(switch10_1_0) AND NOT FIREABLE(switch10_0_0) AND NOT FIREABLE(switch10_7_4) AND NOT FIREABLE(switch10_0_5) AND NOT FIREABLE(switch10_5_4) AND NOT FIREABLE(switch10_6_4) AND NOT FIREABLE(switch10_3_5) AND NOT FIREABLE(switch10_4_5) AND NOT FIREABLE(switch10_1_5) AND NOT FIREABLE(switch10... (shortened)
lola: processed formula length: 1989
lola: 77 rewrites
lola: 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)
lola: state space: using reachability graph (--search=depth)
========================================
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 10 markings, 9 edges
lola: ========================================
lola: subprocess 12 will run for 632 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F ((FIREABLE(switch7_5_2) OR NOT FIREABLE(display4_7_7))) OR G (F (FIREABLE(display1_5_4)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F ((FIREABLE(switch7_5_2) OR NOT FIREABLE(display4_7_7))) OR G (F (FIREABLE(display1_5_4)))))
lola: processed formula length: 97
lola: 75 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 843 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((NOT FIREABLE(switch11_5_5) AND G ((NOT FIREABLE(display3_4_7) OR NOT FIREABLE(switch8_1_3))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((NOT FIREABLE(switch11_5_5) AND G ((NOT FIREABLE(display3_4_7) OR NOT FIREABLE(switch8_1_3))))))
lola: processed formula length: 103
lola: 75 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: 417431 markings, 1226190 edges, 83486 markings/sec, 0 secs
lola: 833442 markings, 2432659 edges, 83202 markings/sec, 5 secs
lola: 1203731 markings, 3506004 edges, 74058 markings/sec, 10 secs
lola: 1553706 markings, 4613005 edges, 69995 markings/sec, 15 secs
lola: 1802204 markings, 5811715 edges, 49700 markings/sec, 20 secs
lola: 2010667 markings, 7110851 edges, 41693 markings/sec, 25 secs
lola: 2244707 markings, 8266340 edges, 46808 markings/sec, 30 secs
lola: 2466456 markings, 9665613 edges, 44350 markings/sec, 35 secs
lola: 2711760 markings, 11060993 edges, 49061 markings/sec, 40 secs
lola: 2950091 markings, 12447408 edges, 47666 markings/sec, 45 secs
lola: 3245578 markings, 13817190 edges, 59097 markings/sec, 50 secs
lola: 3496815 markings, 15155267 edges, 50247 markings/sec, 55 secs
lola: 3759794 markings, 16540140 edges, 52596 markings/sec, 60 secs
lola: 4089817 markings, 17918507 edges, 66005 markings/sec, 65 secs
lola: 4363621 markings, 19272144 edges, 54761 markings/sec, 70 secs
lola: 4694790 markings, 20476302 edges, 66234 markings/sec, 75 secs
lola: 4941482 markings, 21766832 edges, 49338 markings/sec, 80 secs
lola: 5168931 markings, 23114433 edges, 45490 markings/sec, 85 secs
lola: 5409739 markings, 24472136 edges, 48162 markings/sec, 90 secs
lola: 5742294 markings, 25748542 edges, 66511 markings/sec, 95 secs
lola: 5954601 markings, 27107234 edges, 42461 markings/sec, 100 secs
lola: 6221297 markings, 28224920 edges, 53339 markings/sec, 105 secs
lola: 6434425 markings, 29574304 edges, 42626 markings/sec, 110 secs
lola: 6718572 markings, 30786363 edges, 56829 markings/sec, 115 secs
lola: 6941955 markings, 32150453 edges, 44677 markings/sec, 120 secs
lola: 7195171 markings, 33253904 edges, 50643 markings/sec, 125 secs
lola: 7419214 markings, 34623118 edges, 44809 markings/sec, 130 secs
lola: 7689892 markings, 35937766 edges, 54136 markings/sec, 135 secs
lola: 7955790 markings, 37200139 edges, 53180 markings/sec, 140 secs
lola: 8238724 markings, 38488930 edges, 56587 markings/sec, 145 secs
lola: 8523099 markings, 39852787 edges, 56875 markings/sec, 150 secs
lola: 8806266 markings, 41100581 edges, 56633 markings/sec, 155 secs
lola: 9090626 markings, 42339128 edges, 56872 markings/sec, 160 secs
lola: 9373425 markings, 43603152 edges, 56560 markings/sec, 165 secs
lola: 9631336 markings, 44817705 edges, 51582 markings/sec, 170 secs
lola: 9900247 markings, 46085873 edges, 53782 markings/sec, 175 secs
lola: 10159155 markings, 47358590 edges, 51782 markings/sec, 180 secs
lola: 10399781 markings, 48672059 edges, 48125 markings/sec, 185 secs
lola: 10760404 markings, 49994107 edges, 72125 markings/sec, 190 secs
lola: 11014248 markings, 51356231 edges, 50769 markings/sec, 195 secs
lola: 11275459 markings, 52659557 edges, 52242 markings/sec, 200 secs
lola: 11531647 markings, 53951461 edges, 51238 markings/sec, 205 secs
lola: 11778892 markings, 55223584 edges, 49449 markings/sec, 210 secs
lola: 12008406 markings, 56437572 edges, 45903 markings/sec, 215 secs
lola: 12237973 markings, 57792640 edges, 45913 markings/sec, 220 secs
lola: 12447795 markings, 59312578 edges, 41964 markings/sec, 225 secs
lola: 12646510 markings, 60798449 edges, 39743 markings/sec, 230 secs
lola: 12893764 markings, 62274292 edges, 49451 markings/sec, 235 secs
lola: 13117621 markings, 63472673 edges, 44771 markings/sec, 240 secs
lola: 13347731 markings, 64722905 edges, 46022 markings/sec, 245 secs
lola: 13547285 markings, 66164403 edges, 39911 markings/sec, 250 secs
lola: 13741908 markings, 67597635 edges, 38925 markings/sec, 255 secs
lola: 13935611 markings, 69069570 edges, 38741 markings/sec, 260 secs
lola: 14177373 markings, 70358306 edges, 48352 markings/sec, 265 secs
lola: 14370227 markings, 71619550 edges, 38571 markings/sec, 270 secs
lola: 14562348 markings, 72997514 edges, 38424 markings/sec, 275 secs
lola: 14791488 markings, 74253291 edges, 45828 markings/sec, 280 secs
lola: 14997893 markings, 75603900 edges, 41281 markings/sec, 285 secs
lola: 15219126 markings, 77146444 edges, 44247 markings/sec, 290 secs
lola: 15500465 markings, 78712755 edges, 56268 markings/sec, 295 secs
lola: 15780698 markings, 80027502 edges, 56047 markings/sec, 300 secs
lola: 16005083 markings, 81218308 edges, 44877 markings/sec, 305 secs
lola: 16224712 markings, 82703344 edges, 43926 markings/sec, 310 secs
lola: 16464177 markings, 83903969 edges, 47893 markings/sec, 315 secs
lola: 16677064 markings, 85440969 edges, 42577 markings/sec, 320 secs
lola: 16925074 markings, 86917542 edges, 49602 markings/sec, 325 secs
lola: 17169863 markings, 88393256 edges, 48958 markings/sec, 330 secs
lola: 17505200 markings, 89953047 edges, 67067 markings/sec, 335 secs
lola: 17781398 markings, 91263109 edges, 55240 markings/sec, 340 secs
lola: 18023140 markings, 92597584 edges, 48348 markings/sec, 345 secs
lola: 18259410 markings, 93958938 edges, 47254 markings/sec, 350 secs
lola: 18512569 markings, 95358912 edges, 50632 markings/sec, 355 secs
lola: 18825322 markings, 96670075 edges, 62551 markings/sec, 360 secs
lola: 19078173 markings, 98009259 edges, 50570 markings/sec, 365 secs
lola: 19338929 markings, 99305853 edges, 52151 markings/sec, 370 secs
lola: 19595783 markings, 100602923 edges, 51371 markings/sec, 375 secs
lola: 19835676 markings, 101869863 edges, 47979 markings/sec, 380 secs
lola: 20062116 markings, 103115619 edges, 45288 markings/sec, 385 secs
lola: 20269976 markings, 104640386 edges, 41572 markings/sec, 390 secs
lola: 20519392 markings, 105899955 edges, 49883 markings/sec, 395 secs
lola: 20739188 markings, 107153709 edges, 43959 markings/sec, 400 secs
lola: 20931856 markings, 108684452 edges, 38534 markings/sec, 405 secs
lola: 21174967 markings, 110092854 edges, 48622 markings/sec, 410 secs
lola: 21407748 markings, 111503677 edges, 46556 markings/sec, 415 secs
lola: 21644814 markings, 113123023 edges, 47413 markings/sec, 420 secs
lola: 22013540 markings, 114736997 edges, 73745 markings/sec, 425 secs
lola: 22318719 markings, 116049312 edges, 61036 markings/sec, 430 secs
lola: 22592602 markings, 117319868 edges, 54777 markings/sec, 435 secs
lola: 22840238 markings, 118705164 edges, 49527 markings/sec, 440 secs
lola: 23102956 markings, 120197142 edges, 52544 markings/sec, 445 secs
lola: 23388259 markings, 121731993 edges, 57061 markings/sec, 450 secs
lola: 23657456 markings, 123063068 edges, 53839 markings/sec, 455 secs
lola: 23920328 markings, 124377974 edges, 52574 markings/sec, 460 secs
lola: 24170492 markings, 125774202 edges, 50033 markings/sec, 465 secs
lola: 24433839 markings, 127139071 edges, 52669 markings/sec, 470 secs
lola: 24680488 markings, 128615485 edges, 49330 markings/sec, 475 secs
lola: 24948047 markings, 130088938 edges, 53512 markings/sec, 480 secs
lola: 25188295 markings, 131225371 edges, 48050 markings/sec, 485 secs
lola: 25416384 markings, 132381761 edges, 45618 markings/sec, 490 secs
lola: 25644722 markings, 133587206 edges, 45668 markings/sec, 495 secs
lola: 25833875 markings, 134765027 edges, 37831 markings/sec, 500 secs
lola: 26077916 markings, 135971702 edges, 48808 markings/sec, 505 secs
lola: 26310365 markings, 137361779 edges, 46490 markings/sec, 510 secs
lola: 26556889 markings, 138790662 edges, 49305 markings/sec, 515 secs
lola: 26807668 markings, 139930426 edges, 50156 markings/sec, 520 secs
lola: 27041686 markings, 141175586 edges, 46804 markings/sec, 525 secs
lola: 27283333 markings, 142442767 edges, 48329 markings/sec, 530 secs
lola: 27510596 markings, 143760218 edges, 45453 markings/sec, 535 secs
lola: 27754809 markings, 145127024 edges, 48843 markings/sec, 540 secs
lola: 28006357 markings, 146443194 edges, 50310 markings/sec, 545 secs
lola: 28243849 markings, 147740545 edges, 47498 markings/sec, 550 secs
lola: 28451143 markings, 149113226 edges, 41459 markings/sec, 555 secs
lola: 28687630 markings, 150528090 edges, 47297 markings/sec, 560 secs
lola: 28922309 markings, 151940940 edges, 46936 markings/sec, 565 secs
lola: 29184438 markings, 153433586 edges, 52426 markings/sec, 570 secs
lola: 29478527 markings, 154998188 edges, 58818 markings/sec, 575 secs
lola: 29762425 markings, 156448399 edges, 56780 markings/sec, 580 secs
lola: 29999570 markings, 157611388 edges, 47429 markings/sec, 585 secs
lola: 30231924 markings, 158930837 edges, 46471 markings/sec, 590 secs
lola: 30454754 markings, 160179727 edges, 44566 markings/sec, 595 secs
lola: 30694757 markings, 161440307 edges, 48001 markings/sec, 600 secs
lola: 30898331 markings, 162793103 edges, 40715 markings/sec, 605 secs
lola: 31137964 markings, 164049796 edges, 47927 markings/sec, 610 secs
lola: 31374498 markings, 165326637 edges, 47307 markings/sec, 615 secs
lola: 31595847 markings, 166639070 edges, 44270 markings/sec, 620 secs
lola: 31813748 markings, 168038801 edges, 43580 markings/sec, 625 secs
lola: 32088296 markings, 169578288 edges, 54910 markings/sec, 630 secs
lola: 32352717 markings, 171071564 edges, 52884 markings/sec, 635 secs
lola: 32650792 markings, 172667863 edges, 59615 markings/sec, 640 secs
lola: 32937911 markings, 174352176 edges, 57424 markings/sec, 645 secs
lola: 33238874 markings, 175842360 edges, 60193 markings/sec, 650 secs
lola: 33515206 markings, 177108000 edges, 55266 markings/sec, 655 secs
lola: 33773889 markings, 178562903 edges, 51737 markings/sec, 660 secs
lola: 34037609 markings, 179776754 edges, 52744 markings/sec, 665 secs
lola: 34287939 markings, 181108347 edges, 50066 markings/sec, 670 secs
lola: 34551505 markings, 182467082 edges, 52713 markings/sec, 675 secs
lola: 34800671 markings, 183661313 edges, 49833 markings/sec, 680 secs
lola: 35040712 markings, 184995805 edges, 48008 markings/sec, 685 secs
lola: 35317712 markings, 186382827 edges, 55400 markings/sec, 690 secs
lola: 35566682 markings, 187629832 edges, 49794 markings/sec, 695 secs
lola: 35812441 markings, 188931976 edges, 49152 markings/sec, 700 secs
lola: 36043252 markings, 190190759 edges, 46162 markings/sec, 705 secs
lola: 36281284 markings, 191609652 edges, 47606 markings/sec, 710 secs
lola: 36564921 markings, 193110050 edges, 56727 markings/sec, 715 secs
lola: 36829797 markings, 194410054 edges, 52975 markings/sec, 720 secs
lola: 37071375 markings, 195622408 edges, 48316 markings/sec, 725 secs
lola: 37299949 markings, 196901035 edges, 45715 markings/sec, 730 secs
lola: 37530700 markings, 198178030 edges, 46150 markings/sec, 735 secs
lola: 37792315 markings, 199641047 edges, 52323 markings/sec, 740 secs
lola: 38097646 markings, 201277074 edges, 61066 markings/sec, 745 secs
lola: 38466113 markings, 202977452 edges, 73693 markings/sec, 750 secs
lola: 38788453 markings, 204266065 edges, 64468 markings/sec, 755 secs
lola: 39051283 markings, 205563963 edges, 52566 markings/sec, 760 secs
lola: 39316114 markings, 206823734 edges, 52966 markings/sec, 765 secs
lola: 39576672 markings, 208063507 edges, 52112 markings/sec, 770 secs
lola: 39826186 markings, 209321905 edges, 49903 markings/sec, 775 secs
lola: 40095290 markings, 210586392 edges, 53821 markings/sec, 780 secs
lola: 40352437 markings, 211838181 edges, 51429 markings/sec, 785 secs
lola: 40594087 markings, 213188910 edges, 48330 markings/sec, 790 secs
lola: 40877666 markings, 214561331 edges, 56716 markings/sec, 795 secs
lola: 41119385 markings, 215728376 edges, 48344 markings/sec, 800 secs
lola: 41358766 markings, 216969198 edges, 47876 markings/sec, 805 secs
lola: 41642029 markings, 218443347 edges, 56653 markings/sec, 810 secs
lola: 41949835 markings, 219905823 edges, 61561 markings/sec, 815 secs
lola: 42241349 markings, 221147477 edges, 58303 markings/sec, 820 secs
lola: 42490914 markings, 222429629 edges, 49913 markings/sec, 825 secs
lola: 42751757 markings, 223867792 edges, 52169 markings/sec, 830 secs
lola: 43010079 markings, 225049889 edges, 51664 markings/sec, 835 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown unknown unknown no unknown no no unknown unknown yes no no no
lola: memory consumption: 6186428 KB
lola: time consumption: 1884 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 842 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(switch7_0_2) OR FIREABLE(switch7_1_2) OR FIREABLE(switch7_4_2) OR FIREABLE(switch7_5_2) OR FIREABLE(switch7_0_3) OR FIREABLE(switch7_5_7) OR FIREABLE(switch7_4_7) OR FIREABLE(switch7_1_7) OR FIREABLE(switch7_0_7) OR FIREABLE(switch7_5_6) OR FIREABLE(switch7_4_6) OR FIREABLE(switch7_1_6) OR FIREABLE(switch7_0_6) OR FIREABLE(switch7_5_3) OR FIREABLE(switch7_4_3) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(switch7_0_2) OR FIREABLE(switch7_1_2) OR FIREABLE(switch7_4_2) OR FIREABLE(switch7_5_2) OR FIREABLE(switch7_0_3) OR FIREABLE(switch7_5_7) OR FIREABLE(switch7_4_7) OR FIREABLE(switch7_1_7) OR FIREABLE(switch7_0_7) OR FIREABLE(switch7_5_6) OR FIREABLE(switch7_4_6) OR FIREABLE(switch7_1_6) OR FIREABLE(switch7_0_6) OR FIREABLE(switch7_5_3) OR FIREABLE(switch7_4_3) OR ... (shortened)
lola: processed formula length: 425
lola: 75 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: 82 markings, 83 edges
lola: ========================================
lola: subprocess 15 will run for 1685 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((((NOT FIREABLE(switch11_0_0) AND NOT FIREABLE(switch11_4_0) AND NOT FIREABLE(switch11_3_0) AND NOT FIREABLE(switch11_2_0) AND NOT FIREABLE(switch11_1_0) AND NOT FIREABLE(switch11_4_6) AND NOT FIREABLE(switch11_3_6) AND NOT FIREABLE(switch11_2_6) AND NOT FIREABLE(switch11_1_6) AND NOT FIREABLE(switch11_0_6) AND NOT FIREABLE(switch11_7_5) AND NOT FIREABLE(switch11_6_5) AND NOT FIREABLE(switch11... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1685 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(switch11_0_0) OR FIREABLE(switch11_4_0) OR FIREABLE(switch11_3_0) OR FIREABLE(switch11_2_0) OR FIREABLE(switch11_1_0) OR FIREABLE(switch11_4_6) OR FIREABLE(switch11_3_6) OR FIREABLE(switch11_2_6) OR FIREABLE(switch11_1_6) OR FIREABLE(switch11_0_6) OR FIREABLE(switch11_7_5) OR FIREABLE(switch11_6_5) OR FIREABLE(switch11_5_5) OR FIREABLE(switch11_4_5) OR FIREABLE(switch... (shortened)
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(switch11_0_0) AND NOT FIREABLE(switch11_4_0) AND NOT FIREABLE(switch11_3_0) AND NOT FIREABLE(switch11_2_0) AND NOT FIREABLE(switch11_1_0) AND NOT FIREABLE(switch11_4_6) AND NOT FIREABLE(switch11_3_6) AND NOT FIREABLE(switch11_2_6) AND NOT FIREABLE(switch11_1_6) AND NOT FIREABLE(switch11_0_6) AND NOT FIREABLE(switch11_7_5) AND NOT FIREABLE(switch11_6_5) AND NOT FIREABLE(switch11_5_5) ... (shortened)
lola: processed formula length: 1981
lola: 77 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: 162628 markings, 876182 edges, 32526 markings/sec, 0 secs
lola: 333583 markings, 1787091 edges, 34191 markings/sec, 5 secs
lola: 504293 markings, 2709245 edges, 34142 markings/sec, 10 secs
lola: 676584 markings, 3640880 edges, 34458 markings/sec, 15 secs
lola: 840155 markings, 4545739 edges, 32714 markings/sec, 20 secs
lola: 1009781 markings, 5458593 edges, 33925 markings/sec, 25 secs
lola: 1187370 markings, 6423276 edges, 35518 markings/sec, 30 secs
lola: 1353954 markings, 7337973 edges, 33317 markings/sec, 35 secs
lola: 1517129 markings, 8232106 edges, 32635 markings/sec, 40 secs
lola: 1678325 markings, 9155462 edges, 32239 markings/sec, 45 secs
lola: 1850100 markings, 10110688 edges, 34355 markings/sec, 50 secs
lola: 2021811 markings, 11076006 edges, 34342 markings/sec, 55 secs
lola: 2196124 markings, 12026566 edges, 34863 markings/sec, 60 secs
lola: 2359179 markings, 12955770 edges, 32611 markings/sec, 65 secs
lola: 2548962 markings, 13947257 edges, 37957 markings/sec, 70 secs
lola: 2753744 markings, 14965652 edges, 40956 markings/sec, 75 secs
lola: 2939571 markings, 15917305 edges, 37165 markings/sec, 80 secs
lola: 3114222 markings, 16831388 edges, 34930 markings/sec, 85 secs
lola: 3266287 markings, 17698223 edges, 30413 markings/sec, 90 secs
lola: 3431854 markings, 18604100 edges, 33113 markings/sec, 95 secs
lola: 3622340 markings, 19508262 edges, 38097 markings/sec, 100 secs
lola: 3793582 markings, 20407819 edges, 34248 markings/sec, 105 secs
lola: 3988262 markings, 21388272 edges, 38936 markings/sec, 110 secs
lola: 4157328 markings, 22337927 edges, 33813 markings/sec, 115 secs
lola: 4336171 markings, 23325319 edges, 35769 markings/sec, 120 secs
lola: 4536521 markings, 24278598 edges, 40070 markings/sec, 125 secs
lola: 4703322 markings, 25211977 edges, 33360 markings/sec, 130 secs
lola: 4869234 markings, 26109763 edges, 33182 markings/sec, 135 secs
lola: 5030572 markings, 26994314 edges, 32268 markings/sec, 140 secs
lola: 5187639 markings, 27864337 edges, 31413 markings/sec, 145 secs
lola: 5334497 markings, 28725586 edges, 29372 markings/sec, 150 secs
lola: 5491759 markings, 29629002 edges, 31452 markings/sec, 155 secs
lola: 5643534 markings, 30491609 edges, 30355 markings/sec, 160 secs
lola: 5818655 markings, 31398238 edges, 35024 markings/sec, 165 secs
lola: 5971189 markings, 32235718 edges, 30507 markings/sec, 170 secs
lola: 6156229 markings, 33201861 edges, 37008 markings/sec, 175 secs
lola: 6374326 markings, 34234869 edges, 43619 markings/sec, 180 secs
lola: 6543970 markings, 35199268 edges, 33929 markings/sec, 185 secs
lola: 6736651 markings, 36228985 edges, 38536 markings/sec, 190 secs
lola: 6945200 markings, 37281169 edges, 41710 markings/sec, 195 secs
lola: 7119843 markings, 38255622 edges, 34929 markings/sec, 200 secs
lola: 7312274 markings, 39289420 edges, 38486 markings/sec, 205 secs
lola: 7509826 markings, 40315364 edges, 39510 markings/sec, 210 secs
lola: 7693699 markings, 41328458 edges, 36775 markings/sec, 215 secs
lola: 7853391 markings, 42242245 edges, 31938 markings/sec, 220 secs
lola: 8022852 markings, 43221340 edges, 33892 markings/sec, 225 secs
lola: 8196539 markings, 44186094 edges, 34737 markings/sec, 230 secs
lola: 8367366 markings, 45133570 edges, 34165 markings/sec, 235 secs
lola: 8521003 markings, 46055245 edges, 30727 markings/sec, 240 secs
lola: 8687512 markings, 47011045 edges, 33302 markings/sec, 245 secs
lola: 8850103 markings, 47967128 edges, 32518 markings/sec, 250 secs
lola: 9016834 markings, 48916378 edges, 33346 markings/sec, 255 secs
lola: 9194371 markings, 49844806 edges, 35507 markings/sec, 260 secs
lola: 9371710 markings, 50816279 edges, 35468 markings/sec, 265 secs
lola: 9545973 markings, 51802211 edges, 34853 markings/sec, 270 secs
lola: 9738058 markings, 52821418 edges, 38417 markings/sec, 275 secs
lola: 9927838 markings, 53846901 edges, 37956 markings/sec, 280 secs
lola: 10107330 markings, 54811965 edges, 35898 markings/sec, 285 secs
lola: 10270457 markings, 55740598 edges, 32625 markings/sec, 290 secs
lola: 10449447 markings, 56700581 edges, 35798 markings/sec, 295 secs
lola: 10629854 markings, 57693862 edges, 36081 markings/sec, 300 secs
lola: 10797268 markings, 58664098 edges, 33483 markings/sec, 305 secs
lola: 10966497 markings, 59630751 edges, 33846 markings/sec, 310 secs
lola: 11137064 markings, 60524542 edges, 34113 markings/sec, 315 secs
lola: 11310959 markings, 61423350 edges, 34779 markings/sec, 320 secs
lola: 11473995 markings, 62317807 edges, 32607 markings/sec, 325 secs
lola: 11633077 markings, 63219577 edges, 31816 markings/sec, 330 secs
lola: 11820349 markings, 64215144 edges, 37454 markings/sec, 335 secs
lola: 11988549 markings, 65174630 edges, 33640 markings/sec, 340 secs
lola: 12180166 markings, 66167618 edges, 38323 markings/sec, 345 secs
lola: 12354329 markings, 67170163 edges, 34833 markings/sec, 350 secs
lola: 12544065 markings, 68214191 edges, 37947 markings/sec, 355 secs
lola: 12713409 markings, 69185636 edges, 33869 markings/sec, 360 secs
lola: 12883155 markings, 70176648 edges, 33949 markings/sec, 365 secs
lola: 13059163 markings, 71140191 edges, 35202 markings/sec, 370 secs
lola: 13233817 markings, 72136381 edges, 34931 markings/sec, 375 secs
lola: 13407077 markings, 73153602 edges, 34652 markings/sec, 380 secs
lola: 13571390 markings, 74076759 edges, 32863 markings/sec, 385 secs
lola: 13741964 markings, 74970610 edges, 34115 markings/sec, 390 secs
lola: 13917203 markings, 75896309 edges, 35048 markings/sec, 395 secs
lola: 14110675 markings, 76880490 edges, 38694 markings/sec, 400 secs
lola: 14293992 markings, 77839758 edges, 36663 markings/sec, 405 secs
lola: 14479884 markings, 78780490 edges, 37178 markings/sec, 410 secs
lola: 14678709 markings, 79765254 edges, 39765 markings/sec, 415 secs
lola: 14884638 markings, 80778815 edges, 41186 markings/sec, 420 secs
lola: 15071347 markings, 81742848 edges, 37342 markings/sec, 425 secs
lola: 15276685 markings, 82745834 edges, 41068 markings/sec, 430 secs
lola: 15492267 markings, 83780232 edges, 43116 markings/sec, 435 secs
lola: 15680349 markings, 84766047 edges, 37616 markings/sec, 440 secs
lola: 15891264 markings, 85788130 edges, 42183 markings/sec, 445 secs
lola: 16095634 markings, 86822213 edges, 40874 markings/sec, 450 secs
lola: 16296688 markings, 87877789 edges, 40211 markings/sec, 455 secs
lola: 16458560 markings, 88773153 edges, 32374 markings/sec, 460 secs
lola: 16624478 markings, 89682157 edges, 33184 markings/sec, 465 secs
lola: 16789043 markings, 90579913 edges, 32913 markings/sec, 470 secs
lola: 16955000 markings, 91508569 edges, 33191 markings/sec, 475 secs
lola: 17122056 markings, 92451811 edges, 33411 markings/sec, 480 secs
lola: 17290224 markings, 93413602 edges, 33634 markings/sec, 485 secs
lola: 17480068 markings, 94411932 edges, 37969 markings/sec, 490 secs
lola: 17652083 markings, 95387011 edges, 34403 markings/sec, 495 secs
lola: 17841634 markings, 96374851 edges, 37910 markings/sec, 500 secs
lola: 18000622 markings, 97303911 edges, 31798 markings/sec, 505 secs
lola: 18175474 markings, 98272692 edges, 34970 markings/sec, 510 secs
lola: 18325229 markings, 99148533 edges, 29951 markings/sec, 515 secs
lola: 18477995 markings, 100027068 edges, 30553 markings/sec, 520 secs
lola: 18628664 markings, 100926437 edges, 30134 markings/sec, 525 secs
lola: 18786719 markings, 101809392 edges, 31611 markings/sec, 530 secs
lola: 18979499 markings, 102767746 edges, 38556 markings/sec, 535 secs
lola: 19178742 markings, 103799890 edges, 39849 markings/sec, 540 secs
lola: 19384435 markings, 104857854 edges, 41139 markings/sec, 545 secs
lola: 19559382 markings, 105840053 edges, 34989 markings/sec, 550 secs
lola: 19735678 markings, 106846125 edges, 35259 markings/sec, 555 secs
lola: 19906907 markings, 107868246 edges, 34246 markings/sec, 560 secs
lola: 20105685 markings, 108867812 edges, 39756 markings/sec, 565 secs
lola: 20305187 markings, 109881521 edges, 39900 markings/sec, 570 secs
lola: 20507425 markings, 110928270 edges, 40448 markings/sec, 575 secs
lola: 20693730 markings, 111952041 edges, 37261 markings/sec, 580 secs
lola: 20871203 markings, 112954110 edges, 35495 markings/sec, 585 secs
lola: 21042904 markings, 113969478 edges, 34340 markings/sec, 590 secs
lola: 21223780 markings, 114984703 edges, 36175 markings/sec, 595 secs
lola: 21407583 markings, 116008497 edges, 36761 markings/sec, 600 secs
lola: 21647284 markings, 117146245 edges, 47940 markings/sec, 605 secs
lola: 21876360 markings, 118214645 edges, 45815 markings/sec, 610 secs
lola: 22105467 markings, 119340073 edges, 45821 markings/sec, 615 secs
lola: 22338584 markings, 120488393 edges, 46623 markings/sec, 620 secs
lola: 22558083 markings, 121518783 edges, 43900 markings/sec, 625 secs
lola: 22782826 markings, 122565295 edges, 44949 markings/sec, 630 secs
lola: 22996223 markings, 123622447 edges, 42679 markings/sec, 635 secs
lola: 23195200 markings, 124676225 edges, 39795 markings/sec, 640 secs
lola: 23390555 markings, 125697410 edges, 39071 markings/sec, 645 secs
lola: 23591714 markings, 126755814 edges, 40232 markings/sec, 650 secs
lola: 23795628 markings, 127846496 edges, 40783 markings/sec, 655 secs
lola: 23999860 markings, 128911903 edges, 40846 markings/sec, 660 secs
lola: 24205639 markings, 130006842 edges, 41156 markings/sec, 665 secs
lola: 24417792 markings, 131126315 edges, 42431 markings/sec, 670 secs
lola: 24659036 markings, 132265822 edges, 48249 markings/sec, 675 secs
lola: 24871119 markings, 133353100 edges, 42417 markings/sec, 680 secs
lola: 25084397 markings, 134445476 edges, 42656 markings/sec, 685 secs
lola: 25288346 markings, 135548628 edges, 40790 markings/sec, 690 secs
lola: 25501483 markings, 136674968 edges, 42627 markings/sec, 695 secs
lola: 25740005 markings, 137872778 edges, 47704 markings/sec, 700 secs
lola: 25967930 markings, 138917108 edges, 45585 markings/sec, 705 secs
lola: 26195252 markings, 139986681 edges, 45464 markings/sec, 710 secs
lola: 26414149 markings, 141049084 edges, 43779 markings/sec, 715 secs
lola: 26614468 markings, 142097668 edges, 40064 markings/sec, 720 secs
lola: 26827328 markings, 143174071 edges, 42572 markings/sec, 725 secs
lola: 27023969 markings, 144214701 edges, 39328 markings/sec, 730 secs
lola: 27223899 markings, 145260972 edges, 39986 markings/sec, 735 secs
lola: 27420960 markings, 146315299 edges, 39412 markings/sec, 740 secs
lola: 27619743 markings, 147404497 edges, 39757 markings/sec, 745 secs
lola: 27823649 markings, 148509597 edges, 40781 markings/sec, 750 secs
lola: 28067325 markings, 149627149 edges, 48735 markings/sec, 755 secs
lola: 28282279 markings, 150720627 edges, 42991 markings/sec, 760 secs
lola: 28493489 markings, 151818703 edges, 42242 markings/sec, 765 secs
lola: 28706878 markings, 152915366 edges, 42678 markings/sec, 770 secs
lola: 28907865 markings, 154001226 edges, 40197 markings/sec, 775 secs
lola: 29128988 markings, 155151464 edges, 44225 markings/sec, 780 secs
lola: 29382846 markings, 156345016 edges, 50772 markings/sec, 785 secs
lola: 29625235 markings, 157545537 edges, 48478 markings/sec, 790 secs
lola: 29875567 markings, 158788391 edges, 50066 markings/sec, 795 secs
lola: 30062283 markings, 159748317 edges, 37343 markings/sec, 800 secs
lola: 30249550 markings, 160718940 edges, 37453 markings/sec, 805 secs
lola: 30430941 markings, 161715487 edges, 36278 markings/sec, 810 secs
lola: 30613721 markings, 162723725 edges, 36556 markings/sec, 815 secs
lola: 30791546 markings, 163733659 edges, 35565 markings/sec, 820 secs
lola: 30984137 markings, 164753184 edges, 38518 markings/sec, 825 secs
lola: 31175638 markings, 165769375 edges, 38300 markings/sec, 830 secs
lola: 31358076 markings, 166791094 edges, 36488 markings/sec, 835 secs
lola: 31553386 markings, 167815622 edges, 39062 markings/sec, 840 secs
lola: 31730148 markings, 168830924 edges, 35352 markings/sec, 845 secs
lola: 31924464 markings, 169879472 edges, 38863 markings/sec, 850 secs
lola: 32090015 markings, 170872805 edges, 33110 markings/sec, 855 secs
lola: 32265497 markings, 171911316 edges, 35096 markings/sec, 860 secs
lola: 32439262 markings, 172959277 edges, 34753 markings/sec, 865 secs
lola: 32635209 markings, 174036888 edges, 39189 markings/sec, 870 secs
lola: 32824710 markings, 175126141 edges, 37900 markings/sec, 875 secs
lola: 33006963 markings, 176220654 edges, 36451 markings/sec, 880 secs
lola: 33197415 markings, 177277518 edges, 38090 markings/sec, 885 secs
lola: 33385232 markings, 178348976 edges, 37563 markings/sec, 890 secs
lola: 33563603 markings, 179404129 edges, 35674 markings/sec, 895 secs
lola: 33723852 markings, 180365943 edges, 32050 markings/sec, 900 secs
lola: 33910220 markings, 181368776 edges, 37274 markings/sec, 905 secs
lola: 34070571 markings, 182303156 edges, 32070 markings/sec, 910 secs
lola: 34261587 markings, 183345550 edges, 38203 markings/sec, 915 secs
lola: 34464106 markings, 184392548 edges, 40504 markings/sec, 920 secs
lola: 34668993 markings, 185497247 edges, 40977 markings/sec, 925 secs
lola: 34887362 markings, 186575884 edges, 43674 markings/sec, 930 secs
lola: 35080603 markings, 187640950 edges, 38648 markings/sec, 935 secs
lola: 35274802 markings, 188726049 edges, 38840 markings/sec, 940 secs
lola: 35478367 markings, 189846835 edges, 40713 markings/sec, 945 secs
lola: 35696048 markings, 190942249 edges, 43536 markings/sec, 950 secs
lola: 35898310 markings, 192059317 edges, 40452 markings/sec, 955 secs
lola: 36103757 markings, 193189313 edges, 41089 markings/sec, 960 secs
lola: 36317035 markings, 194364313 edges, 42656 markings/sec, 965 secs
lola: 36554657 markings, 195600245 edges, 47524 markings/sec, 970 secs
lola: 36714052 markings, 196555356 edges, 31879 markings/sec, 975 secs
lola: 36872113 markings, 197538389 edges, 31612 markings/sec, 980 secs
lola: 37036170 markings, 198545639 edges, 32811 markings/sec, 985 secs
lola: 37210778 markings, 199532578 edges, 34922 markings/sec, 990 secs
lola: 37386619 markings, 200543934 edges, 35168 markings/sec, 995 secs
lola: 37576851 markings, 201576108 edges, 38046 markings/sec, 1000 secs
lola: 37761574 markings, 202604498 edges, 36945 markings/sec, 1005 secs
lola: 37944658 markings, 203626616 edges, 36617 markings/sec, 1010 secs
lola: 38113564 markings, 204640392 edges, 33781 markings/sec, 1015 secs
lola: 38283293 markings, 205664600 edges, 33946 markings/sec, 1020 secs
lola: 38464136 markings, 206704464 edges, 36169 markings/sec, 1025 secs
lola: 38640218 markings, 207736160 edges, 35216 markings/sec, 1030 secs
lola: 38808162 markings, 208695901 edges, 33589 markings/sec, 1035 secs
lola: 38970711 markings, 209653155 edges, 32510 markings/sec, 1040 secs
lola: 39142848 markings, 210665153 edges, 34427 markings/sec, 1045 secs
lola: 39349219 markings, 211737832 edges, 41274 markings/sec, 1050 secs
lola: 39551158 markings, 212846578 edges, 40388 markings/sec, 1055 secs
lola: 39748310 markings, 213956399 edges, 39430 markings/sec, 1060 secs
lola: 39943223 markings, 215019064 edges, 38983 markings/sec, 1065 secs
lola: 40141243 markings, 216134793 edges, 39604 markings/sec, 1070 secs
lola: 40351558 markings, 217289268 edges, 42063 markings/sec, 1075 secs
lola: 40509680 markings, 218278558 edges, 31624 markings/sec, 1080 secs
lola: 40678541 markings, 219303064 edges, 33772 markings/sec, 1085 secs
lola: 40852372 markings, 220375164 edges, 34766 markings/sec, 1090 secs
lola: 41049292 markings, 221496723 edges, 39384 markings/sec, 1095 secs
lola: 41241497 markings, 222621056 edges, 38441 markings/sec, 1100 secs
lola: 41446508 markings, 223715134 edges, 41002 markings/sec, 1105 secs
lola: 41653207 markings, 224720893 edges, 41340 markings/sec, 1110 secs
lola: 41872317 markings, 225779090 edges, 43822 markings/sec, 1115 secs
lola: 42094058 markings, 226830062 edges, 44348 markings/sec, 1120 secs
lola: 42351694 markings, 227953795 edges, 51527 markings/sec, 1125 secs
lola: 42595504 markings, 229067511 edges, 48762 markings/sec, 1130 secs
lola: 42826460 markings, 230169929 edges, 46191 markings/sec, 1135 secs
lola: 43065926 markings, 231290894 edges, 47893 markings/sec, 1140 secs
lola: 43302254 markings, 232418143 edges, 47266 markings/sec, 1145 secs
lola: 43573637 markings, 233586026 edges, 54277 markings/sec, 1150 secs
lola: 43810927 markings, 234692614 edges, 47458 markings/sec, 1155 secs
lola: 44048226 markings, 235854320 edges, 47460 markings/sec, 1160 secs
lola: 44293955 markings, 237045091 edges, 49146 markings/sec, 1165 secs
lola: 44553272 markings, 238248786 edges, 51863 markings/sec, 1170 secs
lola: 44826648 markings, 239478293 edges, 54675 markings/sec, 1175 secs
lola: 45080287 markings, 240652054 edges, 50728 markings/sec, 1180 secs
lola: 45333072 markings, 241850081 edges, 50557 markings/sec, 1185 secs
lola: 45567779 markings, 242917794 edges, 46941 markings/sec, 1190 secs
lola: 45765799 markings, 243909518 edges, 39604 markings/sec, 1195 secs
lola: 45958752 markings, 244904483 edges, 38591 markings/sec, 1200 secs
lola: 46149918 markings, 245887583 edges, 38233 markings/sec, 1205 secs
lola: 46347250 markings, 246897818 edges, 39466 markings/sec, 1210 secs
lola: 46541785 markings, 247907586 edges, 38907 markings/sec, 1215 secs
lola: 46719806 markings, 248902134 edges, 35604 markings/sec, 1220 secs
lola: 46903804 markings, 249891560 edges, 36800 markings/sec, 1225 secs
lola: 47083934 markings, 250880930 edges, 36026 markings/sec, 1230 secs
lola: 47273304 markings, 251916681 edges, 37874 markings/sec, 1235 secs
lola: 47481311 markings, 253006015 edges, 41601 markings/sec, 1240 secs
lola: 47682354 markings, 254077233 edges, 40209 markings/sec, 1245 secs
lola: 47916188 markings, 255238195 edges, 46767 markings/sec, 1250 secs
lola: 48147431 markings, 256426076 edges, 46249 markings/sec, 1255 secs
lola: 48368576 markings, 257573340 edges, 44229 markings/sec, 1260 secs
lola: 48586799 markings, 258741463 edges, 43645 markings/sec, 1265 secs
lola: 48788428 markings, 259870385 edges, 40326 markings/sec, 1270 secs
lola: 49085504 markings, 261133118 edges, 59415 markings/sec, 1275 secs
lola: 49339432 markings, 262343300 edges, 50786 markings/sec, 1280 secs
lola: 49630516 markings, 263659357 edges, 58217 markings/sec, 1285 secs
lola: 49784575 markings, 264515775 edges, 30812 markings/sec, 1290 secs
lola: 49928628 markings, 265374819 edges, 28811 markings/sec, 1295 secs
lola: 50084860 markings, 266267429 edges, 31246 markings/sec, 1300 secs
lola: 50261577 markings, 267193128 edges, 35343 markings/sec, 1305 secs
lola: 50412890 markings, 268074980 edges, 30263 markings/sec, 1310 secs
lola: 50574299 markings, 268993552 edges, 32282 markings/sec, 1315 secs
lola: 50727611 markings, 269874295 edges, 30662 markings/sec, 1320 secs
lola: 50882834 markings, 270784827 edges, 31045 markings/sec, 1325 secs
lola: 51030961 markings, 271691792 edges, 29625 markings/sec, 1330 secs
lola: 51183016 markings, 272593482 edges, 30411 markings/sec, 1335 secs
lola: 51343613 markings, 273527605 edges, 32119 markings/sec, 1340 secs
lola: 51489357 markings, 274418713 edges, 29149 markings/sec, 1345 secs
lola: 51638461 markings, 275304113 edges, 29821 markings/sec, 1350 secs
lola: 51787819 markings, 276161394 edges, 29872 markings/sec, 1355 secs
lola: 51933913 markings, 277034803 edges, 29219 markings/sec, 1360 secs
lola: 52100428 markings, 277927195 edges, 33303 markings/sec, 1365 secs
lola: 52259859 markings, 278812408 edges, 31886 markings/sec, 1370 secs
lola: 52410789 markings, 279715607 edges, 30186 markings/sec, 1375 secs
lola: 52570626 markings, 280640953 edges, 31967 markings/sec, 1380 secs
lola: 52729239 markings, 281537068 edges, 31723 markings/sec, 1385 secs
lola: 52871110 markings, 282397658 edges, 28374 markings/sec, 1390 secs
lola: 53032595 markings, 283304948 edges, 32297 markings/sec, 1395 secs
lola: 53190063 markings, 284198601 edges, 31494 markings/sec, 1400 secs
lola: 53325769 markings, 285044086 edges, 27141 markings/sec, 1405 secs
lola: 53466020 markings, 285872559 edges, 28050 markings/sec, 1410 secs
lola: 53600146 markings, 286680954 edges, 26825 markings/sec, 1415 secs
lola: 53743501 markings, 287531233 edges, 28671 markings/sec, 1420 secs
lola: 53887649 markings, 288342985 edges, 28830 markings/sec, 1425 secs
lola: 54034559 markings, 289188472 edges, 29382 markings/sec, 1430 secs
lola: 54176812 markings, 290056004 edges, 28451 markings/sec, 1435 secs
lola: 54328539 markings, 290981908 edges, 30345 markings/sec, 1440 secs
lola: 54478488 markings, 291908380 edges, 29990 markings/sec, 1445 secs
lola: 54620745 markings, 292810974 edges, 28451 markings/sec, 1450 secs
lola: 54769378 markings, 293729072 edges, 29727 markings/sec, 1455 secs
lola: 54924003 markings, 294619697 edges, 30925 markings/sec, 1460 secs
lola: 55080669 markings, 295520194 edges, 31333 markings/sec, 1465 secs
lola: 55226594 markings, 296390588 edges, 29185 markings/sec, 1470 secs
lola: 55373764 markings, 297290592 edges, 29434 markings/sec, 1475 secs
lola: 55517725 markings, 298167303 edges, 28792 markings/sec, 1480 secs
lola: 55662756 markings, 299097683 edges, 29006 markings/sec, 1485 secs
lola: 55843458 markings, 300078867 edges, 36140 markings/sec, 1490 secs
lola: 56042208 markings, 301128625 edges, 39750 markings/sec, 1495 secs
lola: 56236611 markings, 302186742 edges, 38881 markings/sec, 1500 secs
lola: 56401968 markings, 303093515 edges, 33071 markings/sec, 1505 secs
lola: 56556463 markings, 303984475 edges, 30899 markings/sec, 1510 secs
lola: 56727110 markings, 304897323 edges, 34129 markings/sec, 1515 secs
lola: 56883329 markings, 305781056 edges, 31244 markings/sec, 1520 secs
lola: 57023305 markings, 306651249 edges, 27995 markings/sec, 1525 secs
lola: 57156172 markings, 307507294 edges, 26573 markings/sec, 1530 secs
lola: 57315951 markings, 308398715 edges, 31956 markings/sec, 1535 secs
lola: 57486397 markings, 309358021 edges, 34089 markings/sec, 1540 secs
lola: 57682657 markings, 310358914 edges, 39252 markings/sec, 1545 secs
lola: 57886984 markings, 311403566 edges, 40865 markings/sec, 1550 secs
lola: 58064425 markings, 312396223 edges, 35488 markings/sec, 1555 secs
lola: 58244119 markings, 313400067 edges, 35939 markings/sec, 1560 secs
lola: 58435689 markings, 314438729 edges, 38314 markings/sec, 1565 secs
lola: 58620198 markings, 315348366 edges, 36902 markings/sec, 1570 secs
lola: 58767279 markings, 316217453 edges, 29416 markings/sec, 1575 secs
lola: 58918722 markings, 317135692 edges, 30289 markings/sec, 1580 secs
lola: 59104003 markings, 318088591 edges, 37056 markings/sec, 1585 secs
lola: 59282759 markings, 319021717 edges, 35751 markings/sec, 1590 secs
lola: 59463611 markings, 319995439 edges, 36170 markings/sec, 1595 secs
lola: 59633164 markings, 320957149 edges, 33911 markings/sec, 1600 secs
lola: 59788290 markings, 321884250 edges, 31025 markings/sec, 1605 secs
lola: 59937363 markings, 322785594 edges, 29815 markings/sec, 1610 secs
lola: 60089453 markings, 323725579 edges, 30418 markings/sec, 1615 secs
lola: 60231289 markings, 324647170 edges, 28367 markings/sec, 1620 secs
lola: 60429737 markings, 325714637 edges, 39690 markings/sec, 1625 secs
lola: 60603132 markings, 326627870 edges, 34679 markings/sec, 1630 secs
lola: 60774263 markings, 327556813 edges, 34226 markings/sec, 1635 secs
lola: 60934925 markings, 328512736 edges, 32132 markings/sec, 1640 secs
lola: 61137483 markings, 329531267 edges, 40512 markings/sec, 1645 secs
lola: 61317816 markings, 330595651 edges, 36067 markings/sec, 1650 secs
lola: 61492579 markings, 331536215 edges, 34953 markings/sec, 1655 secs
lola: 61643734 markings, 332412660 edges, 30231 markings/sec, 1660 secs
lola: 61792552 markings, 333309136 edges, 29764 markings/sec, 1665 secs
lola: 61932234 markings, 334158177 edges, 27936 markings/sec, 1670 secs
lola: 62105943 markings, 335106658 edges, 34742 markings/sec, 1675 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown no unknown no unknown no no unknown unknown yes no no no
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown no unknown no unknown no no unknown unknown yes no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no unknown no unknown no unknown no no unknown unknown yes no no no
lola: memory consumption: 2565372 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: no unknown no unknown no unknown no unknown no no unknown unknown yes no no no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no unknown no unknown no unknown no unknown no no unknown unknown yes no no no
lola: memory consumption: 2565684 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: memory consumption: 2565684 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: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: (A (F (G ((F ((NOT FIREABLE(switch4_2_7) AND NOT FIREABLE(switch4_3_6) AND NOT FIREABLE(switch4_3_7) AND NOT FIREABLE(switch4_2_6))) OR G ((FIREABLE(switch9_1_0) OR FIREABLE(switch9_2_0) OR FIREABLE(switch9_3_0) OR FIREABLE(switch9_4_0) OR FIREABLE(switch9_0_0) OR FIREABLE(switch9_3_5) OR FIREABLE(switch9_4_5) OR FIREABLE(switch9_1_5) OR FIREABLE(switch9_2_5) OR FIREABLE(switch9_7_4) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (F (G ((F ((NOT FIREABLE(switch4_2_7) AND NOT FIREABLE(switch4_3_6) AND NOT FIREABLE(switch4_3_7) AND NOT FIREABLE(switch4_2_6))) OR G ((FIREABLE(switch9_1_0) OR FIREABLE(switch9_2_0) OR FIREABLE(switch9_3_0) OR FIREABLE(switch9_4_0) OR FIREABLE(switch9_0_0) OR FIREABLE(switch9_3_5) OR FIREABLE(switch9_4_5) OR FIREABLE(switch9_1_5) OR FIREABLE(switch9_2_5) OR FIREABLE(switch9_7_4) OR F... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F ((NOT FIREABLE(switch4_2_7) AND NOT FIREABLE(switch4_3_6) AND NOT FIREABLE(switch4_3_7) AND NOT FIREABLE(switch4_2_6))) OR G ((FIREABLE(switch9_1_0) OR FIREABLE(switch9_2_0) OR FIREABLE(switch9_3_0) OR FIREABLE(switch9_4_0) OR FIREABLE(switch9_0_0) OR FIREABLE(switch9_3_5) OR FIREABLE(switch9_4_5) OR FIREABLE(switch9_1_5) OR FIREABLE(switch9_2_5) OR FIREABLE(switch9_7_4) OR F... (shortened)
lola: processed formula length: 1804
lola: 75 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 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: time limit reached - aborting
lola:
preliminary result: no unknown no unknown no unknown no unknown no no unknown unknown yes no no no
lola:
preliminary result: no unknown no unknown no unknown no unknown no no unknown unknown yes no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no unknown no unknown no unknown no no unknown unknown yes no no no
lola: memory consumption: 18620 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: no unknown no unknown no unknown no unknown no no unknown unknown yes no no no
lola: memory consumption: 18884 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: memory consumption: 18884 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: no unknown no unknown no unknown no unknown no no unknown unknown yes no no no
lola: memory consumption: 19144 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 1590351012757

--------------------
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="PermAdmissibility-PT-05"
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 PermAdmissibility-PT-05, 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-158961292600158"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-05.tgz
mv PermAdmissibility-PT-05 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 ;