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.r174-csrt-158987852900236.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 itslola
Input is NeoElection-COL-4, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r174-csrt-158987852900236
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 284K
-rw-r--r-- 1 mcc users 4.3K Apr 30 13:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 30 13:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 30 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 30 13:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 30 13:04 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Apr 30 13:04 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.4K Apr 30 13:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 30 13:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 30 13:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 30 13:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.9K Apr 30 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 30 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 30 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 30 13:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 30 13:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 30 13:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 30 13:04 equiv_pt
-rw-r--r-- 1 mcc users 2 Apr 30 13:04 instance
-rw-r--r-- 1 mcc users 5 Apr 30 13:04 iscolored
-rw-r--r-- 1 mcc users 81K Apr 30 13:04 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 NeoElection-COL-4-CTLFireability-00
FORMULA_NAME NeoElection-COL-4-CTLFireability-01
FORMULA_NAME NeoElection-COL-4-CTLFireability-02
FORMULA_NAME NeoElection-COL-4-CTLFireability-03
FORMULA_NAME NeoElection-COL-4-CTLFireability-04
FORMULA_NAME NeoElection-COL-4-CTLFireability-05
FORMULA_NAME NeoElection-COL-4-CTLFireability-06
FORMULA_NAME NeoElection-COL-4-CTLFireability-07
FORMULA_NAME NeoElection-COL-4-CTLFireability-08
FORMULA_NAME NeoElection-COL-4-CTLFireability-09
FORMULA_NAME NeoElection-COL-4-CTLFireability-10
FORMULA_NAME NeoElection-COL-4-CTLFireability-11
FORMULA_NAME NeoElection-COL-4-CTLFireability-12
FORMULA_NAME NeoElection-COL-4-CTLFireability-13
FORMULA_NAME NeoElection-COL-4-CTLFireability-14
FORMULA_NAME NeoElection-COL-4-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591136708495

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-02 22:25:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-02 22:25:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-02 22:25:10] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2020-06-02 22:25:11] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 794 ms
[2020-06-02 22:25:11] [INFO ] sort/places :
M * STAGE->P-stage,
M * POS->P-sendAnnPs__broadcasting,P-startNeg__broadcasting,
M * M * MT * M->P-network,P-poll__networl,
M * POS * M->P-masterList,
M * BOOL * M->P-masterState,
M * M * NEGSTEP->P-negotiation,
M->P-crashed,dead,P-electedPrimary,P-electedSecondary,P-electionFailed,P-electionInit,P-poll__handlingMessage,P-poll__pollEnd,P-poll__waitingMessage,P-polling,

[2020-06-02 22:25:11] [INFO ] Detected 4 constant HL places corresponding to 115 PT places.
[2020-06-02 22:25:11] [INFO ] Imported 18 HL places and 22 HL transitions for a total of 1830 PT places and 3990.0 transition bindings in 27 ms.
[2020-06-02 22:25:11] [INFO ] Computed order based on color domains.
[2020-06-02 22:25:11] [INFO ] Unfolded HLPN to a Petri net with 1830 places and 2214 transitions in 61 ms.
[2020-06-02 22:25:11] [INFO ] Unfolded HLPN properties in 2 ms.
Deduced a syphon composed of 1687 places in 8 ms
Reduce places removed 1699 places and 2087 transitions.
Reduce places removed 9 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 127 ms.
Finished random walk after 438 steps, including 2 resets, run visited all 28 properties in 13 ms. (steps per millisecond=33 )
[2020-06-02 22:25:11] [INFO ] Initial state reduction rules for CTL removed 9 formulas.
[2020-06-02 22:25:11] [INFO ] Flatten gal took : 52 ms
[2020-06-02 22:25:11] [INFO ] Initial state reduction rules for CTL removed 9 formulas.
[2020-06-02 22:25:11] [INFO ] Flatten gal took : 24 ms
FORMULA NeoElection-COL-4-CTLFireability-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-4-CTLFireability-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-4-CTLFireability-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-4-CTLFireability-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-4-CTLFireability-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-4-CTLFireability-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-4-CTLFireability-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-4-CTLFireability-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-4-CTLFireability-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-02 22:25:11] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 6 ms.
[2020-06-02 22:25:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 4 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ NeoElection-COL-4 @ 3570 seconds

FORMULA NeoElection-COL-4-CTLFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NeoElection-COL-4-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NeoElection-COL-4-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ NeoElection-COL-4

{
"exit":
{
"memory": 4515724,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "NOT DEADLOCK",
"processed_size": 12,
"rewrites": 165
},
"result":
{
"preliminary_value": "unknown unknown unknown no unknown yes yes "
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 127
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": null,
"problems": null
},
"type": "eventual_occurrence",
"workflow": "stateequation"
}
}
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: 249/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 122
lola: finding significant places
lola: 122 places, 127 transitions, 87 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 CTLFireability.xml
lola: NOT(E (G (((((1 <= p0) OR (1 <= p1) OR (1 <= p2) OR (1 <= p3)) AND (((1 <= p87) AND (1 <= p97)) OR ((1 <= p67) AND (1 <= p95)) OR ((1 <= p47) AND (1 <= p94)) OR ((1 <= p91) AND (1 <= p97)) OR ((1 <= p83) AND (1 <= p97)) OR ((1 <= p51) AND (1 <= p94)) OR ((1 <= p55) AND (1 <= p94)) OR ((1 <= p63) AND (1 <= p95)) OR ((1 <= p59) AND (1 <= p95)) OR ((1 <= p71) AND (1 <= p96)) OR ((1 <= p75) AND (1 <= p96)) OR ((1 <= p79) AND (1 <= p96)))) OR (((p9 <= 0) OR (p32 <= 0) OR (p81 <= 0) OR (p96 <= 0)) AND ((p5 <= 0) OR (p11 <= 0) OR (p57 <= 0) OR (p94 <= 0)) AND ((p6 <= 0) OR (p20 <= 0) OR (p65 <= 0) OR (p95 <= 0)) AND ((p6 <= 0) OR (p26 <= 0) OR (p69 <= 0) OR (p95 <= 0)) AND ((p4 <= 0) OR (p11 <= 0) OR (p49 <= 0) OR (p94 <= 0)) AND ((p7 <= 0) OR (p23 <= 0) OR (p65 <= 0) OR (p95 <= 0)) AND ((p5 <= 0) OR (p14 <= 0) OR (p49 <= 0) OR (p94 <= 0)) AND ((p5 <= 0) OR (p14 <= 0) OR (p57 <= 0) OR (p94 <= 0)) AND ((p9 <= 0) OR (p29 <= 0) OR (p81 <= 0) OR (p96 <= 0)) AND ((p4 <= 0) OR (p17 <= 0) OR (p57 <= 0) OR (p94 <= 0)) AND ((p7 <= 0) OR (p23 <= 0) OR (p69 <= 0) OR (p95 <= 0)) AND ((p6 <= 0) OR (p26 <= 0) OR (p65 <= 0) OR (p95 <= 0)) AND ((p4 <= 0) OR (p11 <= 0) OR (p53 <= 0) OR (p94 <= 0)) AND ((p5 <= 0) OR (p11 <= 0) OR (p53 <= 0) OR (p94 <= 0)) AND ((p5 <= 0) OR (p17 <= 0) OR (p53 <= 0) OR (p94 <= 0)) AND ((p7 <= 0) OR (p20 <= 0) OR (p65 <= 0) OR (p95 <= 0)) AND ((p5 <= 0) OR (p14 <= 0) OR (p53 <= 0) OR (p94 <= 0)) AND ((p4 <= 0) OR (p17 <= 0) OR (p53 <= 0) OR (p94 <= 0)) AND ((p8 <= 0) OR (p35 <= 0) OR (p81 <= 0) OR (p96 <= 0)) AND ((p7 <= 0) OR (p26 <= 0) OR (p69 <= 0) OR (p95 <= 0)) AND ((p6 <= 0) OR (p23 <= 0) OR (p65 <= 0) OR (p95 <= 0)) AND ((p4 <= 0) OR (p14 <= 0) OR (p53 <= 0) OR (p94 <= 0)) AND ((p8 <= 0) OR (p32 <= 0) OR (p81 <= 0) OR (p96 <= 0)) AND ((p4 <= 0) OR (p17 <= 0) OR (p49 <= 0) OR (p94 <= 0)) AND ((p4 <= 0) OR (p14 <= 0) OR (p57 <= 0) OR (p94 <= 0)) AND ((p9 <= 0) OR (p35 <= 0) OR (p81 <= 0) OR (p96 <= 0)) AND ((p7 <= 0) OR (p26 <= 0) OR (p65 <= 0) OR (p95 <= 0)) AND ((p5 <= 0) OR (p17 <= 0) OR (p57 <= 0) OR (p94 <= 0)) AND ((p5 <= 0) OR (p11 <= 0) OR (p49 <= 0) OR (p94 <= 0)) AND ((p4 <= 0) OR (p14 <= 0) OR (p49 <= 0) OR (p94 <= 0)) AND ((p6 <= 0) OR (p23 <= 0) OR (p69 <= 0) OR (p95 <= 0)) AND ((p8 <= 0) OR (p29 <= 0) OR (p81 <= 0) OR (p96 <= 0)) AND ((p7 <= 0) OR (p20 <= 0) OR (p69 <= 0) OR (p95 <= 0)) AND ((p5 <= 0) OR (p17 <= 0) OR (p49 <= 0) OR (p94 <= 0)) AND ((p6 <= 0) OR (p20 <= 0) OR (p69 <= 0) OR (p95 <= 0)) AND ((p4 <= 0) OR (p11 <= 0) OR (p57 <= 0) OR (p94 <= 0))))))) : A (F (A (X ((1 <= 0))))) : (((1 <= p102) OR (1 <= p105) OR (1 <= p103) OR (1 <= p104)) OR A (G (E (F ((((1 <= p6) AND (1 <= p62) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p46) AND (1 <= p94)) OR ((1 <= p9) AND (1 <= p78) AND (1 <= p96)) OR ((1 <= p8) AND (1 <= p70) AND (1 <= p96)) OR ((1 <= p82) AND (1 <= p97)) OR ((1 <= p6) AND (1 <= p66) AND (1 <= p95)) OR ((1 <= p7) AND (1 <= p62) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p50) AND (1 <= p94)) OR ((1 <= p5) AND (1 <= p46) AND (1 <= p94)) OR ((1 <= p90) AND (1 <= p97)) OR ((1 <= p5) AND (1 <= p50) AND (1 <= p94)) OR ((1 <= p7) AND (1 <= p58) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p54) AND (1 <= p94)) OR ((1 <= p9) AND (1 <= p74) AND (1 <= p96)) OR ((1 <= p7) AND (1 <= p66) AND (1 <= p95)) OR ((1 <= p8) AND (1 <= p74) AND (1 <= p96)) OR ((1 <= p6) AND (1 <= p58) AND (1 <= p95)) OR ((1 <= p5) AND (1 <= p54) AND (1 <= p94)) OR ((1 <= p9) AND (1 <= p70) AND (1 <= p96)) OR ((1 <= p86) AND (1 <= p97)) OR ((1 <= p8) AND (1 <= p78) AND (1 <= p96)))))))) : A (X (E (G ((((1 <= p48) AND (1 <= p94)) OR ((1 <= p88) AND (1 <= p97)) OR ((1 <= p68) AND (1 <= p95)) OR ((1 <= p64) AND (1 <= p95)) OR ((1 <= p56) AND (1 <= p94)) OR ((1 <= p52) AND (1 <= p94)) OR ((1 <= p84) AND (1 <= p97)) OR ((1 <= p92) AND (1 <= p97)) OR ((1 <= p60) AND (1 <= p95)) OR ((1 <= p80) AND (1 <= p96)) OR ((1 <= p76) AND (1 <= p96)) OR ((1 <= p72) AND (1 <= p96))))))) : E ((A (F ((((1 <= p48) AND (1 <= p94)) OR ((1 <= p88) AND (1 <= p97)) OR ((1 <= p68) AND (1 <= p95)) OR ((1 <= p64) AND (1 <= p95)) OR ((1 <= p56) AND (1 <= p94)) OR ((1 <= p52) AND (1 <= p94)) OR ((1 <= p84) AND (1 <= p97)) OR ((1 <= p92) AND (1 <= p97)) OR ((1 <= p60) AND (1 <= p95)) OR ((1 <= p80) AND (1 <= p96)) OR ((1 <= p76) AND (1 <= p96)) OR ((1 <= p72) AND (1 <= p96))))) U ((((((((((((((((((A (X ((1 <= 0))) AND ((p32 <= 0) OR (p73 <= 0) OR (p96 <= 0))) AND ((p32 <= 0) OR (p77 <= 0) OR (p96 <= 0))) AND ((p44 <= 0) OR (p89 <= 0) OR (p97 <= 0))) AND ((p29 <= 0) OR (p73 <= 0) OR (p96 <= 0))) AND ((p23 <= 0) OR (p61 <= 0) OR (p95 <= 0))) AND ((p41 <= 0) OR (p89 <= 0) OR (p97 <= 0))) AND ((p35 <= 0) OR (p77 <= 0) OR (p96 <= 0))) AND ((p20 <= 0) OR (p61 <= 0) OR (p95 <= 0))) AND ((p38 <= 0) OR (p89 <= 0) OR (p97 <= 0))) AND ((p38 <= 0) OR (p93 <= 0) OR (p97 <= 0))) AND ((p41 <= 0) OR (p93 <= 0) OR (p97 <= 0))) AND ((p38 <= 0) OR (p85 <= 0) OR (p97 <= 0))) AND ((p26 <= 0) OR (p61 <= 0) OR (p95 <= 0))) AND ((p29 <= 0) OR (p77 <= 0) OR (p96 <= 0))) AND ((p44 <= 0) OR (p85 <= 0) OR (p97 <= 0))) AND ((p35 <= 0) OR (p73 <= 0) OR (p96 <= 0))) AND ((p44 <= 0) OR (p93 <= 0) OR (p97 <= 0))) AND ((p41 <= 0) OR (p85 <= 0) OR (p97 <= 0))))) : E (F (A (X ((1 <= 0))))) : E (F (E (G (A (X ((((1 <= p48) AND (1 <= p94)) OR ((1 <= p88) AND (1 <= p97)) OR ((1 <= p68) AND (1 <= p95)) OR ((1 <= p64) AND (1 <= p95)) OR ((1 <= p56) AND (1 <= p94)) OR ((1 <= p52) AND (1 <= p94)) OR ((1 <= p84) AND (1 <= p97)) OR ((1 <= p92) AND (1 <= p97)) OR ((1 <= p60) AND (1 <= p95)) OR ((1 <= p80) AND (1 <= p96)) OR ((1 <= p76) AND (1 <= p96)) OR ((1 <= p72) AND (1 <= p96)))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (G ((((1 <= p48) AND (1 <= p94)) OR ((1 <= p88) AND (1 <= p97)) OR ((1 <= p68) AND (1 <= p95)) OR ((1 <= p64) AND (1 <= p95)) OR ((1 <= p56) AND (1 <= p94)) OR ((1 <= p52) AND (1 <= p94)) OR ((1 <= p84) AND (1 <= p97)) OR ((1 <= p92) AND (1 <= p97)) OR ((1 <= p60) AND (1 <= p95)) OR ((1 <= p80) AND (1 <= p96)) OR ((1 <= p76) AND (1 <= p96)) OR ((1 <= p72) AND (1 <= p96)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX(EG((((1 <= p48) AND (1 <= p94)) OR ((1 <= p88) AND (1 <= p97)) OR ((1 <= p68) AND (1 <= p95)) OR ((1 <= p64) AND (1 <= p95)) OR ((1 <= p56) AND (1 <= p94)) OR ((1 <= p52) AND (1 <= p94)) OR ((1 <= p84) AND (1 <= p97)) OR ((1 <= p92) AND (1 <= p97)) OR ((1 <= p60) AND (1 <= p95)) OR ((1 <= p80) AND (1 <= p96)) OR ((1 <= p76) AND (1 <= p96)) OR ((1 <= p72) AND (1 <= p96)))))
lola: processed formula length: 389
lola: 164 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (A (X ((((1 <= p48) AND (1 <= p94)) OR ((1 <= p88) AND (1 <= p97)) OR ((1 <= p68) AND (1 <= p95)) OR ((1 <= p64) AND (1 <= p95)) OR ((1 <= p56) AND (1 <= p94)) OR ((1 <= p52) AND (1 <= p94)) OR ((1 <= p84) AND (1 <= p97)) OR ((1 <= p92) AND (1 <= p97)) OR ((1 <= p60) AND (1 <= p95)) OR ((1 <= p80) AND (1 <= p96)) OR ((1 <= p76) AND (1 <= p96)) OR ((1 <= p72) AND (1 <= p96))))... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(EG(AX((((1 <= p48) AND (1 <= p94)) OR ((1 <= p88) AND (1 <= p97)) OR ((1 <= p68) AND (1 <= p95)) OR ((1 <= p64) AND (1 <= p95)) OR ((1 <= p56) AND (1 <= p94)) OR ((1 <= p52) AND (1 <= p94)) OR ((1 <= p84) AND (1 <= p97)) OR ((1 <= p92) AND (1 <= p97)) OR ((1 <= p60) AND (1 <= p95)) OR ((1 <= p80) AND (1 <= p96)) OR ((1 <= p76) AND (1 <= p96)) OR ((1 <= p72) AND (1 <= p96))))))
lola: processed formula length: 393
lola: 165 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 171 markings, 343 edges
lola: ========================================
lola: subprocess 2 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: search (--findpath=off,--siphontrap=off)
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 deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The net has deadlock(s).
lola: 169 markings, 168 edges
lola: ========================================
lola: subprocess 3 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:776
lola: processed formula: NOT DEADLOCK
lola: processed formula length: 12
lola: 165 rewrites
lola: closed formula file CTLFireability.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: Planning: workflow for reachability check: stateequation (--findpath=off)
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:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: DEADLOCK
lola: state equation task get result unparse finished id 0
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: 901203 markings, 3893219 edges, 180241 markings/sec, 0 secs || sara not yet started (preprocessing)
lola: 1746424 markings, 7953038 edges, 169044 markings/sec, 5 secs || sara not yet started (preprocessing)
lola: 2622362 markings, 12042876 edges, 175188 markings/sec, 10 secs || sara not yet started (preprocessing)
lola: 3425842 markings, 16048732 edges, 160696 markings/sec, 15 secs || sara not yet started (preprocessing)
lola: 4240058 markings, 20062328 edges, 162843 markings/sec, 20 secs || sara not yet started (preprocessing)
lola: 5007133 markings, 23973278 edges, 153415 markings/sec, 25 secs || sara not yet started (preprocessing)
lola: 5658561 markings, 27962404 edges, 130286 markings/sec, 30 secs || sara not yet started (preprocessing)
lola: 6415315 markings, 31818267 edges, 151351 markings/sec, 35 secs || sara not yet started (preprocessing)
lola: 7212198 markings, 35693686 edges, 159377 markings/sec, 40 secs || sara not yet started (preprocessing)
lola: 8038084 markings, 39612997 edges, 165177 markings/sec, 45 secs || sara not yet started (preprocessing)
lola: 8791844 markings, 43556631 edges, 150752 markings/sec, 50 secs || sara not yet started (preprocessing)
lola: 9547189 markings, 47442548 edges, 151069 markings/sec, 55 secs || sara not yet started (preprocessing)
lola: 10329537 markings, 51144082 edges, 156470 markings/sec, 60 secs || sara not yet started (preprocessing)
lola: 11096450 markings, 54867078 edges, 153383 markings/sec, 65 secs || sara not yet started (preprocessing)
lola: 11745480 markings, 58520528 edges, 129806 markings/sec, 70 secs || sara not yet started (preprocessing)
lola: 12462062 markings, 62105357 edges, 143316 markings/sec, 75 secs || sara not yet started (preprocessing)
lola: 13153641 markings, 65665913 edges, 138316 markings/sec, 80 secs || sara not yet started (preprocessing)
lola: 13864156 markings, 69243609 edges, 142103 markings/sec, 85 secs || sara not yet started (preprocessing)
lola: 14533189 markings, 72734780 edges, 133807 markings/sec, 90 secs || sara not yet started (preprocessing)
lola: 15275003 markings, 76345184 edges, 148363 markings/sec, 95 secs || sara not yet started (preprocessing)
lola: 16028162 markings, 79945897 edges, 150632 markings/sec, 100 secs || sara not yet started (preprocessing)
lola: 16742527 markings, 83609652 edges, 142873 markings/sec, 105 secs || sara not yet started (preprocessing)
lola: 17421636 markings, 87394442 edges, 135822 markings/sec, 110 secs || sara not yet started (preprocessing)
lola: 18197201 markings, 91333808 edges, 155113 markings/sec, 115 secs || sara not yet started (preprocessing)
lola: 18957374 markings, 95219463 edges, 152035 markings/sec, 120 secs || sara not yet started (preprocessing)
lola: 19760469 markings, 99093324 edges, 160619 markings/sec, 125 secs || sara not yet started (preprocessing)
lola: 20588246 markings, 102970272 edges, 165555 markings/sec, 130 secs || sara not yet started (preprocessing)
lola: 21342350 markings, 106832904 edges, 150821 markings/sec, 135 secs || sara not yet started (preprocessing)
lola: 22054620 markings, 110653027 edges, 142454 markings/sec, 140 secs || sara not yet started (preprocessing)
lola: 22809969 markings, 114488890 edges, 151070 markings/sec, 145 secs || sara not yet started (preprocessing)
lola: 23564353 markings, 118268650 edges, 150877 markings/sec, 150 secs || sara not yet started (preprocessing)
lola: 24320751 markings, 121799817 edges, 151280 markings/sec, 155 secs || sara not yet started (preprocessing)
lola: 25010846 markings, 125349853 edges, 138019 markings/sec, 160 secs || sara not yet started (preprocessing)
lola: 25657793 markings, 128617297 edges, 129389 markings/sec, 165 secs || sara not yet started (preprocessing)
lola: 26296375 markings, 131799185 edges, 127716 markings/sec, 170 secs || sara not yet started (preprocessing)
lola: 26902762 markings, 134980058 edges, 121277 markings/sec, 175 secs || sara not yet started (preprocessing)
lola: 27521537 markings, 138055452 edges, 123755 markings/sec, 180 secs || sara not yet started (preprocessing)
lola: 28192403 markings, 141499441 edges, 134173 markings/sec, 185 secs || sara not yet started (preprocessing)
lola: 28868712 markings, 144912843 edges, 135262 markings/sec, 190 secs || sara not yet started (preprocessing)
lola: 29529718 markings, 148170331 edges, 132201 markings/sec, 195 secs || sara not yet started (preprocessing)
lola: 30210895 markings, 151495308 edges, 136235 markings/sec, 200 secs || sara not yet started (preprocessing)
lola: 31000048 markings, 155245489 edges, 157831 markings/sec, 205 secs || sara not yet started (preprocessing)
lola: 31869561 markings, 159318194 edges, 173903 markings/sec, 210 secs || sara not yet started (preprocessing)
lola: 32712932 markings, 163352438 edges, 168674 markings/sec, 215 secs || sara not yet started (preprocessing)
lola: 33453475 markings, 167080948 edges, 148109 markings/sec, 220 secs || sara not yet started (preprocessing)
lola: 34165181 markings, 170688433 edges, 142341 markings/sec, 225 secs || sara not yet started (preprocessing)
lola: 34867592 markings, 174602958 edges, 140482 markings/sec, 230 secs || sara not yet started (preprocessing)
lola: 35501300 markings, 178080342 edges, 126742 markings/sec, 235 secs || sara not yet started (preprocessing)
lola: 36208880 markings, 181621601 edges, 141516 markings/sec, 240 secs || sara not yet started (preprocessing)
lola: 36958952 markings, 185276014 edges, 150014 markings/sec, 245 secs || sara not yet started (preprocessing)
lola: 37681597 markings, 189069461 edges, 144529 markings/sec, 250 secs || sara not yet started (preprocessing)
lola: 38339968 markings, 192469134 edges, 131674 markings/sec, 255 secs || sara not yet started (preprocessing)
lola: 39054263 markings, 195867202 edges, 142859 markings/sec, 260 secs || sara not yet started (preprocessing)
lola: 39762982 markings, 199674062 edges, 141744 markings/sec, 265 secs || sara not yet started (preprocessing)
lola: 40471405 markings, 203335472 edges, 141685 markings/sec, 270 secs || sara not yet started (preprocessing)
lola: 41083266 markings, 206573435 edges, 122372 markings/sec, 275 secs || sara not yet started (preprocessing)
lola: 41755513 markings, 210070952 edges, 134449 markings/sec, 280 secs || sara not yet started (preprocessing)
lola: 42424462 markings, 213448512 edges, 133790 markings/sec, 285 secs || sara not yet started (preprocessing)
lola: 43143408 markings, 216965465 edges, 143789 markings/sec, 290 secs || sara not yet started (preprocessing)
lola: 43798324 markings, 220313520 edges, 130983 markings/sec, 295 secs || sara not yet started (preprocessing)
lola: 44388591 markings, 223596363 edges, 118053 markings/sec, 300 secs || sara not yet started (preprocessing)
lola: 45063529 markings, 227105254 edges, 134988 markings/sec, 305 secs || sara not yet started (preprocessing)
lola: 45723763 markings, 230528814 edges, 132047 markings/sec, 310 secs || sara not yet started (preprocessing)
lola: 46480357 markings, 234145982 edges, 151319 markings/sec, 315 secs || sara not yet started (preprocessing)
lola: 47263073 markings, 237973208 edges, 156543 markings/sec, 320 secs || sara not yet started (preprocessing)
lola: 47889723 markings, 241446722 edges, 125330 markings/sec, 325 secs || sara not yet started (preprocessing)
lola: 48629331 markings, 245239537 edges, 147922 markings/sec, 330 secs || sara not yet started (preprocessing)
lola: 49357171 markings, 248965349 edges, 145568 markings/sec, 335 secs || sara not yet started (preprocessing)
lola: 50026190 markings, 252160307 edges, 133804 markings/sec, 340 secs || sara not yet started (preprocessing)
lola: 50617067 markings, 255287414 edges, 118175 markings/sec, 345 secs || sara not yet started (preprocessing)
lola: 51277100 markings, 258612474 edges, 132007 markings/sec, 350 secs || sara not yet started (preprocessing)
lola: 51933858 markings, 262029434 edges, 131352 markings/sec, 355 secs || sara not yet started (preprocessing)
lola: 52516394 markings, 265026634 edges, 116507 markings/sec, 360 secs || sara not yet started (preprocessing)
lola: 53147577 markings, 268178623 edges, 126237 markings/sec, 365 secs || sara not yet started (preprocessing)
lola: 53791376 markings, 271452574 edges, 128760 markings/sec, 370 secs || sara not yet started (preprocessing)
lola: 54520152 markings, 275059028 edges, 145755 markings/sec, 375 secs || sara not yet started (preprocessing)
lola: 55214636 markings, 278518922 edges, 138897 markings/sec, 380 secs || sara not yet started (preprocessing)
lola: 55982161 markings, 282284385 edges, 153505 markings/sec, 385 secs || sara not yet started (preprocessing)
lola: 56702748 markings, 285962430 edges, 144117 markings/sec, 390 secs || sara not yet started (preprocessing)
lola: 57382443 markings, 289754488 edges, 135939 markings/sec, 395 secs || sara not yet started (preprocessing)
lola: 58156220 markings, 293720475 edges, 154755 markings/sec, 400 secs || sara not yet started (preprocessing)
lola: 58808980 markings, 297419487 edges, 130552 markings/sec, 405 secs || sara not yet started (preprocessing)
lola: 59437461 markings, 300956745 edges, 125696 markings/sec, 410 secs || sara not yet started (preprocessing)
lola: 60105201 markings, 304683010 edges, 133548 markings/sec, 415 secs || sara not yet started (preprocessing)
lola: 60728589 markings, 308231477 edges, 124678 markings/sec, 420 secs || sara not yet started (preprocessing)
lola: 61372688 markings, 311887857 edges, 128820 markings/sec, 425 secs || sara not yet started (preprocessing)
lola: 61909652 markings, 315454327 edges, 107393 markings/sec, 430 secs || sara not yet started (preprocessing)
lola: 62495457 markings, 319143477 edges, 117161 markings/sec, 435 secs || sara not yet started (preprocessing)
lola: 63243640 markings, 322942409 edges, 149637 markings/sec, 440 secs || sara not yet started (preprocessing)
lola: 63982675 markings, 326909653 edges, 147807 markings/sec, 445 secs || sara not yet started (preprocessing)
lola: 64649959 markings, 330480658 edges, 133457 markings/sec, 450 secs || sara not yet started (preprocessing)
lola: 65289024 markings, 333984281 edges, 127813 markings/sec, 455 secs || sara not yet started (preprocessing)
lola: 65872724 markings, 337524126 edges, 116740 markings/sec, 460 secs || sara not yet started (preprocessing)
lola: 66448554 markings, 340968347 edges, 115166 markings/sec, 465 secs || sara not yet started (preprocessing)
lola: 67068886 markings, 344301079 edges, 124066 markings/sec, 470 secs || sara not yet started (preprocessing)
lola: 67691139 markings, 347615511 edges, 124451 markings/sec, 475 secs || sara not yet started (preprocessing)
lola: 68309736 markings, 350960388 edges, 123719 markings/sec, 480 secs || sara not yet started (preprocessing)
lola: 68870988 markings, 354228723 edges, 112250 markings/sec, 485 secs || sara not yet started (preprocessing)
lola: 69393263 markings, 357563392 edges, 104455 markings/sec, 490 secs || sara not yet started (preprocessing)
lola: 69998866 markings, 360866656 edges, 121121 markings/sec, 495 secs || sara not yet started (preprocessing)
lola: 70576609 markings, 364240700 edges, 115549 markings/sec, 500 secs || sara not yet started (preprocessing)
lola: 71199306 markings, 367816460 edges, 124539 markings/sec, 505 secs || sara not yet started (preprocessing)
lola: 71794502 markings, 371119349 edges, 119039 markings/sec, 510 secs || sara not yet started (preprocessing)
lola: 72377689 markings, 374520556 edges, 116637 markings/sec, 515 secs || sara not yet started (preprocessing)
lola: 72972004 markings, 377967754 edges, 118863 markings/sec, 520 secs || sara not yet started (preprocessing)
lola: 73584718 markings, 381251459 edges, 122543 markings/sec, 525 secs || sara not yet started (preprocessing)
lola: 74194269 markings, 384494068 edges, 121910 markings/sec, 530 secs || sara not yet started (preprocessing)
lola: 74768628 markings, 387665047 edges, 114872 markings/sec, 535 secs || sara not yet started (preprocessing)
lola: 75333999 markings, 390915387 edges, 113074 markings/sec, 540 secs || sara not yet started (preprocessing)
lola: 75869764 markings, 394283056 edges, 107153 markings/sec, 545 secs || sara not yet started (preprocessing)
lola: 76454278 markings, 397585191 edges, 116903 markings/sec, 550 secs || sara not yet started (preprocessing)
lola: 77078027 markings, 401081361 edges, 124750 markings/sec, 555 secs || sara not yet started (preprocessing)
lola: 77674944 markings, 404541264 edges, 119383 markings/sec, 560 secs || sara not yet started (preprocessing)
lola: 78283227 markings, 408012462 edges, 121657 markings/sec, 565 secs || sara not yet started (preprocessing)
lola: 78918325 markings, 411443692 edges, 127020 markings/sec, 570 secs || sara not yet started (preprocessing)
lola: 79564026 markings, 414898650 edges, 129140 markings/sec, 575 secs || sara not yet started (preprocessing)
lola: 80224693 markings, 418449101 edges, 132133 markings/sec, 580 secs || sara not yet started (preprocessing)
lola: 80841638 markings, 421905905 edges, 123389 markings/sec, 585 secs || sara not yet started (preprocessing)
lola: 81377290 markings, 425272200 edges, 107130 markings/sec, 590 secs || sara not yet started (preprocessing)
lola: 81982173 markings, 428599252 edges, 120977 markings/sec, 595 secs || sara not yet started (preprocessing)
lola: 82583765 markings, 431973110 edges, 120318 markings/sec, 600 secs || sara not yet started (preprocessing)
lola: 83198864 markings, 435437040 edges, 123020 markings/sec, 605 secs || sara not yet started (preprocessing)
lola: 83789565 markings, 438789431 edges, 118140 markings/sec, 610 secs || sara not yet started (preprocessing)
lola: 84388310 markings, 441977594 edges, 119749 markings/sec, 615 secs || sara not yet started (preprocessing)
lola: 84947858 markings, 445051454 edges, 111910 markings/sec, 620 secs || sara not yet started (preprocessing)
lola: 85493707 markings, 448168989 edges, 109170 markings/sec, 625 secs || sara not yet started (preprocessing)
lola: 86027107 markings, 451201944 edges, 106680 markings/sec, 630 secs || sara not yet started (preprocessing)
lola: 86559438 markings, 454258764 edges, 106466 markings/sec, 635 secs || sara not yet started (preprocessing)
lola: 87096686 markings, 457173538 edges, 107450 markings/sec, 640 secs || sara not yet started (preprocessing)
lola: 87624085 markings, 460270858 edges, 105480 markings/sec, 645 secs || sara not yet started (preprocessing)
lola: 88171762 markings, 463332528 edges, 109535 markings/sec, 650 secs || sara not yet started (preprocessing)
lola: 88671202 markings, 466239353 edges, 99888 markings/sec, 655 secs || sara not yet started (preprocessing)
lola: 89207230 markings, 469260433 edges, 107206 markings/sec, 660 secs || sara not yet started (preprocessing)
lola: 89763437 markings, 472267668 edges, 111241 markings/sec, 665 secs || sara not yet started (preprocessing)
lola: 90282529 markings, 475248459 edges, 103818 markings/sec, 670 secs || sara not yet started (preprocessing)
lola: 90987872 markings, 478720048 edges, 141069 markings/sec, 675 secs || sara not yet started (preprocessing)
lola: 91764354 markings, 482383177 edges, 155296 markings/sec, 680 secs || sara not yet started (preprocessing)
lola: 92413299 markings, 485804979 edges, 129789 markings/sec, 685 secs || sara not yet started (preprocessing)
lola: 93119773 markings, 489239567 edges, 141295 markings/sec, 690 secs || sara not yet started (preprocessing)
lola: 93749369 markings, 492577742 edges, 125919 markings/sec, 695 secs || sara not yet started (preprocessing)
lola: 94368878 markings, 495965076 edges, 123902 markings/sec, 700 secs || sara not yet started (preprocessing)
lola: 95021449 markings, 499348078 edges, 130514 markings/sec, 705 secs || sara not yet started (preprocessing)
lola: 95667862 markings, 502713868 edges, 129283 markings/sec, 710 secs || sara not yet started (preprocessing)
lola: 96285973 markings, 506053614 edges, 123622 markings/sec, 715 secs || sara not yet started (preprocessing)
lola: 96883363 markings, 509521253 edges, 119478 markings/sec, 720 secs || sara not yet started (preprocessing)
lola: 97385565 markings, 512854945 edges, 100440 markings/sec, 725 secs || sara not yet started (preprocessing)
lola: 97994448 markings, 516235019 edges, 121777 markings/sec, 730 secs || sara not yet started (preprocessing)
lola: 98634323 markings, 519625327 edges, 127975 markings/sec, 735 secs || sara not yet started (preprocessing)
lola: 99371238 markings, 523358806 edges, 147383 markings/sec, 740 secs || sara not yet started (preprocessing)
lola: 100044418 markings, 526814477 edges, 134636 markings/sec, 745 secs || sara not yet started (preprocessing)
lola: 100706349 markings, 530283266 edges, 132386 markings/sec, 750 secs || sara not yet started (preprocessing)
lola: 101244364 markings, 533552472 edges, 107603 markings/sec, 755 secs || sara not yet started (preprocessing)
lola: 101846055 markings, 536788455 edges, 120338 markings/sec, 760 secs || sara not yet started (preprocessing)
lola: 102482028 markings, 540008751 edges, 127195 markings/sec, 765 secs || sara not yet started (preprocessing)
lola: 103105695 markings, 543218789 edges, 124733 markings/sec, 770 secs || sara not yet started (preprocessing)
lola: 103748737 markings, 546475515 edges, 128608 markings/sec, 775 secs || sara not yet started (preprocessing)
lola: 104298350 markings, 549717928 edges, 109923 markings/sec, 780 secs || sara not yet started (preprocessing)
lola: 104918460 markings, 553164898 edges, 124022 markings/sec, 785 secs || sara not yet started (preprocessing)
lola: 105526850 markings, 556457125 edges, 121678 markings/sec, 790 secs || sara not yet started (preprocessing)
lola: 106086626 markings, 559646155 edges, 111955 markings/sec, 795 secs || sara not yet started (preprocessing)
lola: 106676248 markings, 562778605 edges, 117924 markings/sec, 800 secs || sara not yet started (preprocessing)
lola: 107275695 markings, 566022140 edges, 119889 markings/sec, 805 secs || sara not yet started (preprocessing)
lola: 107862536 markings, 569381387 edges, 117368 markings/sec, 810 secs || sara not yet started (preprocessing)
lola: 108450373 markings, 572480741 edges, 117567 markings/sec, 815 secs || sara not yet started (preprocessing)
lola: 109036730 markings, 575519076 edges, 117271 markings/sec, 820 secs || sara not yet started (preprocessing)
lola: 109642106 markings, 578597544 edges, 121075 markings/sec, 825 secs || sara not yet started (preprocessing)
lola: 110233288 markings, 581678914 edges, 118236 markings/sec, 830 secs || sara not yet started (preprocessing)
lola: 110815992 markings, 584945605 edges, 116541 markings/sec, 835 secs || sara not yet started (preprocessing)
lola: 111324163 markings, 588130066 edges, 101634 markings/sec, 840 secs || sara not yet started (preprocessing)
lola: 111950354 markings, 591458832 edges, 125238 markings/sec, 845 secs || sara not yet started (preprocessing)
lola: 112611484 markings, 595111493 edges, 132226 markings/sec, 850 secs || sara not yet started (preprocessing)
lola: 113292344 markings, 598764308 edges, 136172 markings/sec, 855 secs || sara not yet started (preprocessing)
lola: 113988367 markings, 602453194 edges, 139205 markings/sec, 860 secs || sara not yet started (preprocessing)
lola: 114728196 markings, 606180649 edges, 147966 markings/sec, 865 secs || sara not yet started (preprocessing)
lola: 115462628 markings, 609910309 edges, 146886 markings/sec, 870 secs || sara not yet started (preprocessing)
lola: 116152757 markings, 613601124 edges, 138026 markings/sec, 875 secs || sara not yet started (preprocessing)
lola: 116720972 markings, 617058878 edges, 113643 markings/sec, 880 secs || sara not yet started (preprocessing)
lola: 117406672 markings, 620723797 edges, 137140 markings/sec, 885 secs || sara not yet started (preprocessing)
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no unknown yes yes
lola: memory consumption: 4361732 KB
lola: time consumption: 896 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((((p0 <= 0) AND (p1 <= 0) AND (p2 <= 0) AND (p3 <= 0)) OR (((p87 <= 0) OR (p97 <= 0)) AND ((p67 <= 0) OR (p95 <= 0)) AND ((p47 <= 0) OR (p94 <= 0)) AND ((p91 <= 0) OR (p97 <= 0)) AND ((p83 <= 0) OR (p97 <= 0)) AND ((p51 <= 0) OR (p94 <= 0)) AND ((p55 <= 0) OR (p94 <= 0)) AND ((p63 <= 0) OR (p95 <= 0)) AND ((p59 <= 0) OR (p95 <= 0)) AND ((p71 <= 0) OR (p96 <= 0)) AND ((p75 <= 0) O... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: ((((1 <= p0) OR (1 <= p1) OR (1 <= p2) OR (1 <= p3)) AND (((1 <= p87) AND (1 <= p97)) OR ((1 <= p67) AND (1 <= p95)) OR ((1 <= p47) AND (1 <= p94)) OR ((1 <= p91) AND (1 <= p97)) OR ((1 <= p83) AND (1 <= p97)) OR ((1 <= p51) AND (1 <= p94)) OR ((1 <= p55) AND (1 <= p94)) OR ((1 <= p63) AND (1 <= p95)) OR ((1 <= p59) AND (1 <= p95)) OR ((1 <= p71) AND (1 <= p96)) OR ((1 <= p75) AND (1 ... (shortened)
lola: processed formula length: 2641
lola: 165 rewrites
lola: closed formula file CTLFireability.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: Planning: workflow for reachability check: stateequation (--findpath=off)
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:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((((p0 <= 0) AND (p1 <= 0) AND (p2 <= 0) AND (p3 <= 0)) OR (((p87 <= 0) OR (p97 <= 0)) AND ((p67 <= 0) OR (p95 <= 0)) AND ((p47 <= 0) OR (p94 <= 0)) AND ((p91 <= 0) OR (p97 <= 0)) AND ((p83 <= 0) OR (p97 <= 0)) AND ((p51 <= 0) OR (p94 <= 0)) AND ((p55 <= 0) OR (p94 <= 0)) AND ((p63 <= 0) OR (p95 <= 0)) AND ((p59 <= 0) OR (p95 <= 0)) AND ((p71 <= 0) OR (p96 <= 0)) AND ((p75 <= 0) OR (p96 <= 0)) AND ((p79 <= 0) OR (p96 <= 0)))) AND (((1 <= p9) AND (1 <= p32) AND (1 <= p81) AND (1 <= p96)) OR ((1 <= p5) AND (1 <= p11) AND (1 <= p57) AND (1 <= p94)) OR ((1 <= p6) AND (1 <= p20) AND (1 <= p65) AND (1 <= p95)) OR ((1 <= p6) AND (1 <= p26) AND (1 <= p69) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p11) AND (1 <= p49) AND (1 <= p94)) OR ((1 <= p7) AND (1 <= p23) AND (1 <= p65) AND (1 <= p95)) OR ((1 <= p5) AND (1 <= p14) AND (1 <= p49) AND (1 <= p94)) OR ((1 <= p5) AND (1 <= p14) AND (1 <= p57) AND (1 <= p94)) OR ((1 <= p9) AND (1 <= p29) AND (1 <= p81) AND (1 <= p96)) OR ((1 <= p4) AND (1 <= p17) AND (1 <= p57) AND (1 <= p94)) OR ((1 <= p7) AND (1 <= p23) AND (1 <= p69) AND (1 <= p95)) OR ((1 <= p6) AND (1 <= p26) AND (1 <= p65) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p11) AND (1 <= p53) AND (1 <= p94)) OR ((1 <= p5) AND (1 <= p11) AND (1 <= p53) AND (1 <= p94)) OR ((1 <= p5) AND (1 <= p17) AND (1 <= p53) AND (1 <= p94)) OR ((1 <= p7) AND (1 <= p20) AND (1 <= p65) AND (1 <= p95)) OR ((1 <= p5) AND (1 <= p14) AND (1 <= p53) AND (1 <= p94)) OR ((1 <= p4) AND (1 <= p17) AND (1 <= p53) AND (1 <= p94)) OR ((1 <= p8) AND (1 <= p35) AND (1 <= p81) AND (1 <= p96)) OR ((1 <= p7) AND (1 <= p26) AND (1 <= p69) AND (1 <= p95)) OR ((1 <= p6) AND (1 <= p23) AND (1 <= p65) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p14) AND (1 <= p53) AND (1 <= p94)) OR ((1 <= p8) AND (1 <= p32) AND (1 <= p81) AND (1 <= p96)) OR ((1 <= p4) AND (1 <= p17) AND (1 <= p49) AND (1 <= p94)) OR ((1 <= p4) AND (1 <= p14) AND (1 <= p57) AND (1 <= p94)) OR ((1 <= p9) AND (1 <= p35) AND (1 <= p81) AND (1 <= p96)) OR ((1 <= p7) AND (1 <= p26) AND (1 <= p65) AND (1 <= p95)) OR ((1 <= p5) AND (1 <= p17) AND (1 <= p57) AND (1 <= p94)) OR ((1 <= p5) AND (1 <= p11) AND (1 <= p49) AND (1 <= p94)) OR ((1 <= p4) AND (1 <= p14) AND (1 <= p49) AND (1 <= p94)) OR ((1 <= p6) AND (1 <= p23) AND (1 <= p69) AND (1 <= p95)) OR ((1 <= p8) AND (1 <= p29) AND (1 <= p81) AND (1 <= p96)) OR ((1 <= p7) AND (1 <= p20) AND (1 <= p69) AND (1 <= p95)) OR ((1 <= p5) AND (1 <= p17) AND (1 <= p49) AND (1 <= p94)) OR ((1 <= p6) AND (1 <= p20) AND (1 <= p69) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p11) AND (1 <= p57) AND (1 <= p94))))
lola: state equation task get result unparse finished id 0
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: 1180439 markings, 3035756 edges, 236088 markings/sec, 0 secs || sara not yet started (preprocessing)
lola: 2318268 markings, 6034707 edges, 227566 markings/sec, 5 secs || sara not yet started (preprocessing)
lola: 3419160 markings, 8955607 edges, 220178 markings/sec, 10 secs || sara not yet started (preprocessing)
lola: 4505048 markings, 11867761 edges, 217178 markings/sec, 15 secs || sara not yet started (preprocessing)
lola: 5579524 markings, 14763261 edges, 214895 markings/sec, 20 secs || sara not yet started (preprocessing)
lola: 6584293 markings, 17587944 edges, 200954 markings/sec, 25 secs || sara not yet started (preprocessing)
lola: 7694589 markings, 20497115 edges, 222059 markings/sec, 30 secs || sara not yet started (preprocessing)
lola: 8783800 markings, 23319640 edges, 217842 markings/sec, 35 secs || sara not yet started (preprocessing)
lola: 9820830 markings, 26089482 edges, 207406 markings/sec, 40 secs || sara not yet started (preprocessing)
lola: 10876375 markings, 28937975 edges, 211109 markings/sec, 45 secs || sara not yet started (preprocessing)
lola: 11927666 markings, 31694489 edges, 210258 markings/sec, 50 secs || sara not yet started (preprocessing)
lola: 12905224 markings, 34362492 edges, 195512 markings/sec, 55 secs || sara not yet started (preprocessing)
lola: 13934069 markings, 37003861 edges, 205769 markings/sec, 60 secs || sara not yet started (preprocessing)
lola: 14907845 markings, 39591301 edges, 194755 markings/sec, 65 secs || sara not yet started (preprocessing)
lola: 15864252 markings, 42196801 edges, 191281 markings/sec, 70 secs || sara not yet started (preprocessing)
lola: 16879920 markings, 45023605 edges, 203134 markings/sec, 75 secs || sara not yet started (preprocessing)
lola: 17913706 markings, 47807075 edges, 206757 markings/sec, 80 secs || sara not yet started (preprocessing)
lola: 18990156 markings, 50616022 edges, 215290 markings/sec, 85 secs || sara not yet started (preprocessing)
lola: 20081359 markings, 53515309 edges, 218241 markings/sec, 90 secs || sara not yet started (preprocessing)
lola: 21164856 markings, 56420613 edges, 216699 markings/sec, 95 secs || sara not yet started (preprocessing)
lola: 22263535 markings, 59399072 edges, 219736 markings/sec, 100 secs || sara not yet started (preprocessing)
lola: 23319753 markings, 62403808 edges, 211244 markings/sec, 105 secs || sara not yet started (preprocessing)
lola: 24353884 markings, 65420747 edges, 206826 markings/sec, 110 secs || sara not yet started (preprocessing)
lola: 25375031 markings, 68360274 edges, 204229 markings/sec, 115 secs || sara not yet started (preprocessing)
lola: 26361208 markings, 71277600 edges, 197235 markings/sec, 120 secs || sara not yet started (preprocessing)
lola: 27324932 markings, 74170343 edges, 192745 markings/sec, 125 secs || sara not yet started (preprocessing)
lola: 28379706 markings, 77092292 edges, 210955 markings/sec, 130 secs || sara not yet started (preprocessing)
lola: 29397331 markings, 79992784 edges, 203525 markings/sec, 135 secs || sara not yet started (preprocessing)
lola: 30429564 markings, 82941822 edges, 206447 markings/sec, 140 secs || sara not yet started (preprocessing)
lola: 31433136 markings, 85811797 edges, 200714 markings/sec, 145 secs || sara not yet started (preprocessing)
lola: 32408953 markings, 88556041 edges, 195163 markings/sec, 150 secs || sara not yet started (preprocessing)
lola: 33333326 markings, 91219457 edges, 184875 markings/sec, 155 secs || sara not yet started (preprocessing)
lola: 34253401 markings, 93942483 edges, 184015 markings/sec, 160 secs || sara not yet started (preprocessing)
lola: 35286123 markings, 96891084 edges, 206544 markings/sec, 165 secs || sara not yet started (preprocessing)
lola: 36338845 markings, 99869322 edges, 210544 markings/sec, 170 secs || sara not yet started (preprocessing)
lola: 37326559 markings, 102795035 edges, 197543 markings/sec, 175 secs || sara not yet started (preprocessing)
lola: 38431180 markings, 105722960 edges, 220924 markings/sec, 180 secs || sara not yet started (preprocessing)
lola: 39525388 markings, 108456252 edges, 218842 markings/sec, 185 secs || sara not yet started (preprocessing)
lola: 40574279 markings, 111162481 edges, 209778 markings/sec, 190 secs || sara not yet started (preprocessing)
lola: 41584619 markings, 113852574 edges, 202068 markings/sec, 195 secs || sara not yet started (preprocessing)
lola: 42664206 markings, 116525613 edges, 215917 markings/sec, 200 secs || sara not yet started (preprocessing)
lola: 43716502 markings, 119232227 edges, 210459 markings/sec, 205 secs || sara not yet started (preprocessing)
lola: 44752334 markings, 121908822 edges, 207166 markings/sec, 210 secs || sara not yet started (preprocessing)
lola: 45786738 markings, 124496449 edges, 206881 markings/sec, 215 secs || sara not yet started (preprocessing)
lola: 46812903 markings, 127184972 edges, 205233 markings/sec, 220 secs || sara not yet started (preprocessing)
lola: 47901845 markings, 129967229 edges, 217788 markings/sec, 225 secs || sara not yet started (preprocessing)
lola: 48962906 markings, 132755705 edges, 212212 markings/sec, 230 secs || sara not yet started (preprocessing)
lola: 50022921 markings, 135563444 edges, 212003 markings/sec, 235 secs || sara not yet started (preprocessing)
lola: 51008643 markings, 138349547 edges, 197144 markings/sec, 240 secs || sara not yet started (preprocessing)
lola: 51983573 markings, 141124081 edges, 194986 markings/sec, 245 secs || sara not yet started (preprocessing)
lola: 52980038 markings, 143855762 edges, 199293 markings/sec, 250 secs || sara not yet started (preprocessing)
lola: 53980773 markings, 146613199 edges, 200147 markings/sec, 255 secs || sara not yet started (preprocessing)
lola: 54890950 markings, 149121464 edges, 182035 markings/sec, 260 secs || sara not yet started (preprocessing)
lola: 55845434 markings, 151771772 edges, 190897 markings/sec, 265 secs || sara not yet started (preprocessing)
lola: 56780748 markings, 154398388 edges, 187063 markings/sec, 270 secs || sara not yet started (preprocessing)
lola: 57777581 markings, 157093326 edges, 199367 markings/sec, 275 secs || sara not yet started (preprocessing)
lola: 58793561 markings, 159795677 edges, 203196 markings/sec, 280 secs || sara not yet started (preprocessing)
lola: 59806714 markings, 162521810 edges, 202631 markings/sec, 285 secs || sara not yet started (preprocessing)
lola: 60796634 markings, 165202492 edges, 197984 markings/sec, 290 secs || sara not yet started (preprocessing)
lola: 61772934 markings, 167864909 edges, 195260 markings/sec, 295 secs || sara not yet started (preprocessing)
lola: 62779775 markings, 170525870 edges, 201368 markings/sec, 300 secs || sara not yet started (preprocessing)
lola: 63798648 markings, 173247778 edges, 203775 markings/sec, 305 secs || sara not yet started (preprocessing)
lola: 64754471 markings, 175808362 edges, 191165 markings/sec, 310 secs || sara not yet started (preprocessing)
lola: 65737549 markings, 178443107 edges, 196616 markings/sec, 315 secs || sara not yet started (preprocessing)
lola: 66770015 markings, 181268364 edges, 206493 markings/sec, 320 secs || sara not yet started (preprocessing)
lola: 67817127 markings, 184052398 edges, 209422 markings/sec, 325 secs || sara not yet started (preprocessing)
lola: 68867889 markings, 186900510 edges, 210152 markings/sec, 330 secs || sara not yet started (preprocessing)
lola: 69831224 markings, 189659231 edges, 192667 markings/sec, 335 secs || sara not yet started (preprocessing)
lola: 70736323 markings, 192286114 edges, 181020 markings/sec, 340 secs || sara not yet started (preprocessing)
lola: 71619115 markings, 194904426 edges, 176558 markings/sec, 345 secs || sara not yet started (preprocessing)
lola: 72581604 markings, 197626195 edges, 192498 markings/sec, 350 secs || sara not yet started (preprocessing)
lola: 73486314 markings, 200210566 edges, 180942 markings/sec, 355 secs || sara not yet started (preprocessing)
lola: 74369527 markings, 202735505 edges, 176643 markings/sec, 360 secs || sara not yet started (preprocessing)
lola: 75229036 markings, 205244722 edges, 171902 markings/sec, 365 secs || sara not yet started (preprocessing)
lola: 76174103 markings, 207950834 edges, 189013 markings/sec, 370 secs || sara not yet started (preprocessing)
lola: 77167873 markings, 210772122 edges, 198754 markings/sec, 375 secs || sara not yet started (preprocessing)
lola: 78294117 markings, 213587744 edges, 225249 markings/sec, 380 secs || sara not yet started (preprocessing)
lola: 79380536 markings, 216404576 edges, 217284 markings/sec, 385 secs || sara not yet started (preprocessing)
lola: 80389072 markings, 219138969 edges, 201707 markings/sec, 390 secs || sara not yet started (preprocessing)
lola: 81464758 markings, 221881602 edges, 215137 markings/sec, 395 secs || sara not yet started (preprocessing)
lola: 82513538 markings, 224634107 edges, 209756 markings/sec, 400 secs || sara not yet started (preprocessing)
lola: 83540209 markings, 227299996 edges, 205334 markings/sec, 405 secs || sara not yet started (preprocessing)
lola: 84559183 markings, 229878635 edges, 203795 markings/sec, 410 secs || sara not yet started (preprocessing)
lola: 85548590 markings, 232541061 edges, 197881 markings/sec, 415 secs || sara not yet started (preprocessing)
lola: 86640846 markings, 235345048 edges, 218451 markings/sec, 420 secs || sara not yet started (preprocessing)
lola: 87714020 markings, 238153304 edges, 214635 markings/sec, 425 secs || sara not yet started (preprocessing)
lola: 88780016 markings, 241035035 edges, 213199 markings/sec, 430 secs || sara not yet started (preprocessing)
lola: 89805350 markings, 243932215 edges, 205067 markings/sec, 435 secs || sara not yet started (preprocessing)
lola: 90763593 markings, 246744230 edges, 191649 markings/sec, 440 secs || sara not yet started (preprocessing)
lola: 91778532 markings, 249541679 edges, 202988 markings/sec, 445 secs || sara not yet started (preprocessing)
lola: 92727113 markings, 252192521 edges, 189716 markings/sec, 450 secs || sara not yet started (preprocessing)
lola: 93648497 markings, 254745847 edges, 184277 markings/sec, 455 secs || sara not yet started (preprocessing)
lola: 94524447 markings, 257249631 edges, 175190 markings/sec, 460 secs || sara not yet started (preprocessing)
lola: 95443496 markings, 259813447 edges, 183810 markings/sec, 465 secs || sara not yet started (preprocessing)
lola: 96391503 markings, 262302710 edges, 189601 markings/sec, 470 secs || sara not yet started (preprocessing)
lola: 97409917 markings, 264847193 edges, 203683 markings/sec, 475 secs || sara not yet started (preprocessing)
lola: 98469710 markings, 267416671 edges, 211959 markings/sec, 480 secs || sara not yet started (preprocessing)
lola: 99502908 markings, 269964381 edges, 206640 markings/sec, 485 secs || sara not yet started (preprocessing)
lola: 100563831 markings, 272614017 edges, 212185 markings/sec, 490 secs || sara not yet started (preprocessing)
lola: 101546677 markings, 275281376 edges, 196569 markings/sec, 495 secs || sara not yet started (preprocessing)
lola: 102524494 markings, 277892324 edges, 195563 markings/sec, 500 secs || sara not yet started (preprocessing)
lola: 103526272 markings, 280584076 edges, 200356 markings/sec, 505 secs || sara not yet started (preprocessing)
lola: 104473872 markings, 283292904 edges, 189520 markings/sec, 510 secs || sara not yet started (preprocessing)
lola: 105539285 markings, 286079929 edges, 213083 markings/sec, 515 secs || sara not yet started (preprocessing)
lola: 106621520 markings, 288815436 edges, 216447 markings/sec, 520 secs || sara not yet started (preprocessing)
lola: 107657540 markings, 291503857 edges, 207204 markings/sec, 525 secs || sara not yet started (preprocessing)
lola: 108737108 markings, 294301476 edges, 215914 markings/sec, 530 secs || sara not yet started (preprocessing)
lola: 109740386 markings, 297108475 edges, 200656 markings/sec, 535 secs || sara not yet started (preprocessing)
lola: 110736696 markings, 299851864 edges, 199262 markings/sec, 540 secs || sara not yet started (preprocessing)
lola: 111761721 markings, 302656222 edges, 205005 markings/sec, 545 secs || sara not yet started (preprocessing)
lola: 112759649 markings, 305438052 edges, 199586 markings/sec, 550 secs || sara not yet started (preprocessing)
lola: 113853544 markings, 308325246 edges, 218779 markings/sec, 555 secs || sara not yet started (preprocessing)
lola: 114910078 markings, 311174839 edges, 211307 markings/sec, 560 secs || sara not yet started (preprocessing)
lola: 115931562 markings, 314012118 edges, 204297 markings/sec, 565 secs || sara not yet started (preprocessing)
lola: 117013841 markings, 316820597 edges, 216456 markings/sec, 570 secs || sara not yet started (preprocessing)
lola: 118062262 markings, 319646471 edges, 209684 markings/sec, 575 secs || sara not yet started (preprocessing)
lola: 119093574 markings, 322411156 edges, 206262 markings/sec, 580 secs || sara not yet started (preprocessing)
lola: 120102039 markings, 325098573 edges, 201693 markings/sec, 585 secs || sara not yet started (preprocessing)
lola: 121058807 markings, 327689904 edges, 191354 markings/sec, 590 secs || sara not yet started (preprocessing)
lola: 122065714 markings, 330405939 edges, 201381 markings/sec, 595 secs || sara not yet started (preprocessing)
lola: 122995509 markings, 332941967 edges, 185959 markings/sec, 600 secs || sara not yet started (preprocessing)
lola: 123943257 markings, 335575151 edges, 189550 markings/sec, 605 secs || sara not yet started (preprocessing)
lola: 124910730 markings, 338391298 edges, 193495 markings/sec, 610 secs || sara not yet started (preprocessing)
lola: 125796578 markings, 341005876 edges, 177170 markings/sec, 615 secs || sara not yet started (preprocessing)
lola: 126702105 markings, 343575368 edges, 181105 markings/sec, 620 secs || sara not yet started (preprocessing)
lola: 127642604 markings, 346270829 edges, 188100 markings/sec, 625 secs || sara not yet started (preprocessing)
lola: 128544274 markings, 348842461 edges, 180334 markings/sec, 630 secs || sara not yet started (preprocessing)
lola: 129467765 markings, 351547817 edges, 184698 markings/sec, 635 secs || sara not yet started (preprocessing)
lola: 130371800 markings, 354123061 edges, 180807 markings/sec, 640 secs || sara not yet started (preprocessing)
lola: 131286754 markings, 356737991 edges, 182991 markings/sec, 645 secs || sara not yet started (preprocessing)
lola: 132215107 markings, 359102778 edges, 185671 markings/sec, 650 secs || sara not yet started (preprocessing)
lola: 133144598 markings, 361492047 edges, 185898 markings/sec, 655 secs || sara not yet started (preprocessing)
lola: 134052661 markings, 363812035 edges, 181613 markings/sec, 660 secs || sara not yet started (preprocessing)
lola: 134945420 markings, 366124474 edges, 178552 markings/sec, 665 secs || sara not yet started (preprocessing)
lola: 135887758 markings, 368594916 edges, 188468 markings/sec, 670 secs || sara not yet started (preprocessing)
lola: 136727334 markings, 370976057 edges, 167915 markings/sec, 675 secs || sara not yet started (preprocessing)
lola: 137577066 markings, 373318426 edges, 169946 markings/sec, 680 secs || sara not yet started (preprocessing)
lola: 138447120 markings, 375759111 edges, 174011 markings/sec, 685 secs || sara not yet started (preprocessing)
lola: 139330052 markings, 378214504 edges, 176586 markings/sec, 690 secs || sara not yet started (preprocessing)
lola: 140268242 markings, 380690557 edges, 187638 markings/sec, 695 secs || sara not yet started (preprocessing)
lola: 141205749 markings, 383165776 edges, 187501 markings/sec, 700 secs || sara not yet started (preprocessing)
lola: 142139467 markings, 385620743 edges, 186744 markings/sec, 705 secs || sara not yet started (preprocessing)
lola: 143068633 markings, 388091624 edges, 185833 markings/sec, 710 secs || sara not yet started (preprocessing)
lola: 144032509 markings, 390678792 edges, 192775 markings/sec, 715 secs || sara not yet started (preprocessing)
lola: 144937847 markings, 393260603 edges, 181068 markings/sec, 720 secs || sara not yet started (preprocessing)
lola: 145843524 markings, 395787836 edges, 181135 markings/sec, 725 secs || sara not yet started (preprocessing)
lola: 146734257 markings, 398303594 edges, 178147 markings/sec, 730 secs || sara not yet started (preprocessing)
lola: 147669815 markings, 400867174 edges, 187112 markings/sec, 735 secs || sara not yet started (preprocessing)
lola: 148677937 markings, 403448212 edges, 201624 markings/sec, 740 secs || sara not yet started (preprocessing)
lola: 149631177 markings, 405962311 edges, 190648 markings/sec, 745 secs || sara not yet started (preprocessing)
lola: 150550030 markings, 408443782 edges, 183771 markings/sec, 750 secs || sara not yet started (preprocessing)
lola: 151501213 markings, 410921223 edges, 190237 markings/sec, 755 secs || sara not yet started (preprocessing)
lola: 152452603 markings, 413380824 edges, 190278 markings/sec, 760 secs || sara not yet started (preprocessing)
lola: 153389811 markings, 415830047 edges, 187442 markings/sec, 765 secs || sara not yet started (preprocessing)
lola: 154303913 markings, 418209060 edges, 182820 markings/sec, 770 secs || sara not yet started (preprocessing)
lola: 155184464 markings, 420570984 edges, 176110 markings/sec, 775 secs || sara not yet started (preprocessing)
lola: 156145738 markings, 423082847 edges, 192255 markings/sec, 780 secs || sara not yet started (preprocessing)
lola: 157110336 markings, 425601281 edges, 192920 markings/sec, 785 secs || sara not yet started (preprocessing)
lola: 158106789 markings, 428260675 edges, 199291 markings/sec, 790 secs || sara not yet started (preprocessing)
lola: 159108848 markings, 431015923 edges, 200412 markings/sec, 795 secs || sara not yet started (preprocessing)
lola: 160046523 markings, 433758002 edges, 187535 markings/sec, 800 secs || sara not yet started (preprocessing)
lola: 160943784 markings, 436439360 edges, 179452 markings/sec, 805 secs || sara not yet started (preprocessing)
lola: 161883206 markings, 439115678 edges, 187884 markings/sec, 810 secs || sara not yet started (preprocessing)
lola: 162835705 markings, 441790613 edges, 190500 markings/sec, 815 secs || sara not yet started (preprocessing)
lola: 163725960 markings, 444345825 edges, 178051 markings/sec, 820 secs || sara not yet started (preprocessing)
lola: 164612130 markings, 446948806 edges, 177234 markings/sec, 825 secs || sara not yet started (preprocessing)
lola: 165584046 markings, 449692869 edges, 194383 markings/sec, 830 secs || sara not yet started (preprocessing)
lola: 166592635 markings, 452396662 edges, 201718 markings/sec, 835 secs || sara not yet started (preprocessing)
lola: 167609656 markings, 454940285 edges, 203404 markings/sec, 840 secs || sara not yet started (preprocessing)
lola: 168640178 markings, 457473250 edges, 206104 markings/sec, 845 secs || sara not yet started (preprocessing)
lola: 169668566 markings, 460040863 edges, 205678 markings/sec, 850 secs || sara not yet started (preprocessing)
lola: 170751782 markings, 462748525 edges, 216643 markings/sec, 855 secs || sara not yet started (preprocessing)
lola: 171699137 markings, 465398421 edges, 189471 markings/sec, 860 secs || sara not yet started (preprocessing)
lola: 172656655 markings, 468004408 edges, 191504 markings/sec, 865 secs || sara not yet started (preprocessing)
lola: 173540220 markings, 470451113 edges, 176713 markings/sec, 870 secs || sara not yet started (preprocessing)
lola: 174387546 markings, 472943277 edges, 169465 markings/sec, 875 secs || sara not yet started (preprocessing)
lola: 175325059 markings, 475383026 edges, 187503 markings/sec, 880 secs || sara not yet started (preprocessing)
lola: 176247516 markings, 477779416 edges, 184491 markings/sec, 885 secs || sara not yet started (preprocessing)
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no unknown yes yes
lola: memory consumption: 6577328 KB
lola: time consumption: 1787 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (F ((((1 <= p48) AND (1 <= p94)) OR ((1 <= p88) AND (1 <= p97)) OR ((1 <= p68) AND (1 <= p95)) OR ((1 <= p64) AND (1 <= p95)) OR ((1 <= p56) AND (1 <= p94)) OR ((1 <= p52) AND (1 <= p94)) OR ((1 <= p84) AND (1 <= p97)) OR ((1 <= p92) AND (1 <= p97)) OR ((1 <= p60) AND (1 <= p95)) OR ((1 <= p80) AND (1 <= p96)) OR ((1 <= p76) AND (1 <= p96)) OR ((1 <= p72) AND (1 <= p96))))) U (DEA... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(AF((((1 <= p48) AND (1 <= p94)) OR ((1 <= p88) AND (1 <= p97)) OR ((1 <= p68) AND (1 <= p95)) OR ((1 <= p64) AND (1 <= p95)) OR ((1 <= p56) AND (1 <= p94)) OR ((1 <= p52) AND (1 <= p94)) OR ((1 <= p84) AND (1 <= p97)) OR ((1 <= p92) AND (1 <= p97)) OR ((1 <= p60) AND (1 <= p95)) OR ((1 <= p80) AND (1 <= p96)) OR ((1 <= p76) AND (1 <= p96)) OR ((1 <= p72) AND (1 <= p96)))) U (DEADLOCK ... (shortened)
lola: processed formula length: 1281
lola: 164 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1527231 markings, 3493241 edges, 305446 markings/sec, 0 secs
lola: 2962423 markings, 7000096 edges, 287038 markings/sec, 5 secs
lola: 4417170 markings, 10646185 edges, 290949 markings/sec, 10 secs
lola: 5686031 markings, 14077406 edges, 253772 markings/sec, 15 secs
lola: 7141153 markings, 17663701 edges, 291024 markings/sec, 20 secs
lola: 8473221 markings, 21128939 edges, 266414 markings/sec, 25 secs
lola: 9717103 markings, 24555674 edges, 248776 markings/sec, 30 secs
lola: 11199224 markings, 28272146 edges, 296424 markings/sec, 35 secs
lola: 12576581 markings, 31918738 edges, 275471 markings/sec, 40 secs
lola: 13922746 markings, 35577988 edges, 269233 markings/sec, 45 secs
lola: 15153160 markings, 39204366 edges, 246083 markings/sec, 50 secs
lola: 16358119 markings, 42966326 edges, 240992 markings/sec, 55 secs
lola: 16919538 markings, 46623446 edges, 112284 markings/sec, 60 secs
lola: 17378122 markings, 50124429 edges, 91717 markings/sec, 65 secs
lola: 17806420 markings, 53612612 edges, 85660 markings/sec, 70 secs
lola: 18211191 markings, 57004298 edges, 80954 markings/sec, 75 secs
lola: 18646537 markings, 60303204 edges, 87069 markings/sec, 80 secs
lola: 19035579 markings, 63693825 edges, 77808 markings/sec, 85 secs
lola: 19425347 markings, 66988995 edges, 77954 markings/sec, 90 secs
lola: 19816743 markings, 70288195 edges, 78279 markings/sec, 95 secs
lola: 20201223 markings, 73653466 edges, 76896 markings/sec, 100 secs
lola: 20595820 markings, 76897988 edges, 78919 markings/sec, 105 secs
lola: 20976837 markings, 80164476 edges, 76203 markings/sec, 110 secs
lola: 21343949 markings, 83416961 edges, 73422 markings/sec, 115 secs
lola: 21708314 markings, 86893450 edges, 72873 markings/sec, 120 secs
lola: 22041283 markings, 90435557 edges, 66594 markings/sec, 125 secs
lola: 22410911 markings, 93791552 edges, 73926 markings/sec, 130 secs
lola: 22769430 markings, 97183258 edges, 71704 markings/sec, 135 secs
lola: 23135913 markings, 100546552 edges, 73297 markings/sec, 140 secs
lola: 23604710 markings, 104026306 edges, 93759 markings/sec, 145 secs
lola: 24063482 markings, 107418437 edges, 91754 markings/sec, 150 secs
lola: 24515140 markings, 110762487 edges, 90332 markings/sec, 155 secs
lola: 24951382 markings, 114144760 edges, 87248 markings/sec, 160 secs
lola: 25330829 markings, 117554014 edges, 75889 markings/sec, 165 secs
lola: 25747004 markings, 120911502 edges, 83235 markings/sec, 170 secs
lola: 26133802 markings, 124209210 edges, 77360 markings/sec, 175 secs
lola: 26535626 markings, 127422481 edges, 80365 markings/sec, 180 secs
lola: 26926903 markings, 130664209 edges, 78255 markings/sec, 185 secs
lola: 27326023 markings, 133995393 edges, 79824 markings/sec, 190 secs
lola: 27694519 markings, 137467713 edges, 73699 markings/sec, 195 secs
lola: 28051187 markings, 140956126 edges, 71334 markings/sec, 200 secs
lola: 28430308 markings, 144184713 edges, 75824 markings/sec, 205 secs
lola: 28792175 markings, 147404745 edges, 72373 markings/sec, 210 secs
lola: 29134427 markings, 150596717 edges, 68450 markings/sec, 215 secs
lola: 29506094 markings, 153730735 edges, 74333 markings/sec, 220 secs
lola: 29857256 markings, 156845967 edges, 70232 markings/sec, 225 secs
lola: 30205053 markings, 159935400 edges, 69559 markings/sec, 230 secs
lola: 30535113 markings, 163076065 edges, 66012 markings/sec, 235 secs
lola: 30917039 markings, 166263135 edges, 76385 markings/sec, 240 secs
lola: 31305302 markings, 169448967 edges, 77653 markings/sec, 245 secs
lola: 31724385 markings, 172560534 edges, 83817 markings/sec, 250 secs
lola: 32145164 markings, 175722339 edges, 84156 markings/sec, 255 secs
lola: 32571453 markings, 178877759 edges, 85258 markings/sec, 260 secs
lola: 32988437 markings, 182068890 edges, 83397 markings/sec, 265 secs
lola: 33340069 markings, 185226236 edges, 70326 markings/sec, 270 secs
lola: 33700059 markings, 188169549 edges, 71998 markings/sec, 275 secs
lola: 34067074 markings, 191175681 edges, 73403 markings/sec, 280 secs
lola: 34486318 markings, 194260460 edges, 83849 markings/sec, 285 secs
lola: 34901110 markings, 197270372 edges, 82958 markings/sec, 290 secs
lola: 35280850 markings, 200332626 edges, 75948 markings/sec, 295 secs
lola: 35681368 markings, 203400701 edges, 80104 markings/sec, 300 secs
lola: 36056377 markings, 206555233 edges, 75002 markings/sec, 305 secs
lola: 36440708 markings, 209623163 edges, 76866 markings/sec, 310 secs
lola: 36804063 markings, 212688839 edges, 72671 markings/sec, 315 secs
lola: 37171360 markings, 215731036 edges, 73459 markings/sec, 320 secs
lola: 37532619 markings, 218805121 edges, 72252 markings/sec, 325 secs
lola: 37845891 markings, 221959351 edges, 62654 markings/sec, 330 secs
lola: 38164244 markings, 224950230 edges, 63671 markings/sec, 335 secs
lola: 38493285 markings, 227932952 edges, 65808 markings/sec, 340 secs
lola: 38860951 markings, 230990431 edges, 73533 markings/sec, 345 secs
lola: 39233453 markings, 233982490 edges, 74500 markings/sec, 350 secs
lola: 39609924 markings, 237035241 edges, 75294 markings/sec, 355 secs
lola: 39936247 markings, 240099023 edges, 65265 markings/sec, 360 secs
lola: 40291877 markings, 242993236 edges, 71126 markings/sec, 365 secs
lola: 40628740 markings, 245852008 edges, 67373 markings/sec, 370 secs
lola: 40941660 markings, 248649009 edges, 62584 markings/sec, 375 secs
lola: 41276899 markings, 251644565 edges, 67048 markings/sec, 380 secs
lola: 41576082 markings, 254745241 edges, 59837 markings/sec, 385 secs
lola: 41922698 markings, 257753792 edges, 69323 markings/sec, 390 secs
lola: 42267072 markings, 260633348 edges, 68875 markings/sec, 395 secs
lola: 42587212 markings, 263384408 edges, 64028 markings/sec, 400 secs
lola: 42875995 markings, 266168806 edges, 57757 markings/sec, 405 secs
lola: 43204515 markings, 269181002 edges, 65704 markings/sec, 410 secs
lola: 43535955 markings, 272195955 edges, 66288 markings/sec, 415 secs
lola: 43906633 markings, 275059295 edges, 74136 markings/sec, 420 secs
lola: 44272320 markings, 278117982 edges, 73137 markings/sec, 425 secs
lola: 44651672 markings, 281231460 edges, 75870 markings/sec, 430 secs
lola: 44993259 markings, 284341376 edges, 68317 markings/sec, 435 secs
lola: 45336872 markings, 287464072 edges, 68723 markings/sec, 440 secs
lola: 45700231 markings, 290695195 edges, 72672 markings/sec, 445 secs
lola: 46037774 markings, 293797543 edges, 67509 markings/sec, 450 secs
lola: 46382701 markings, 296922537 edges, 68985 markings/sec, 455 secs
lola: 46723457 markings, 300083934 edges, 68151 markings/sec, 460 secs
lola: 47066375 markings, 303171431 edges, 68584 markings/sec, 465 secs
lola: 47506399 markings, 306575962 edges, 88005 markings/sec, 470 secs
lola: 47941302 markings, 309936267 edges, 86981 markings/sec, 475 secs
lola: 48336179 markings, 313344417 edges, 78975 markings/sec, 480 secs
lola: 48771745 markings, 316719922 edges, 87113 markings/sec, 485 secs
lola: 49166652 markings, 320141450 edges, 78981 markings/sec, 490 secs
lola: 49549879 markings, 323498261 edges, 76645 markings/sec, 495 secs
lola: 49942937 markings, 326851909 edges, 78612 markings/sec, 500 secs
lola: 50329645 markings, 330102633 edges, 77342 markings/sec, 505 secs
lola: 50715221 markings, 333418827 edges, 77115 markings/sec, 510 secs
lola: 51073441 markings, 336660638 edges, 71644 markings/sec, 515 secs
lola: 51387357 markings, 340096987 edges, 62783 markings/sec, 520 secs
lola: 51747687 markings, 343385586 edges, 72066 markings/sec, 525 secs
lola: 52105822 markings, 346771339 edges, 71627 markings/sec, 530 secs
lola: 52474673 markings, 350146410 edges, 73770 markings/sec, 535 secs
lola: 52923066 markings, 353478777 edges, 89679 markings/sec, 540 secs
lola: 53384325 markings, 356912275 edges, 92252 markings/sec, 545 secs
lola: 53822019 markings, 360244129 edges, 87539 markings/sec, 550 secs
lola: 54223727 markings, 363781973 edges, 80342 markings/sec, 555 secs
lola: 54627155 markings, 367122301 edges, 80686 markings/sec, 560 secs
lola: 55031439 markings, 370396652 edges, 80857 markings/sec, 565 secs
lola: 55418289 markings, 373623683 edges, 77370 markings/sec, 570 secs
lola: 55806381 markings, 376924444 edges, 77618 markings/sec, 575 secs
lola: 56151296 markings, 380408353 edges, 68983 markings/sec, 580 secs
lola: 56526586 markings, 383665190 edges, 75058 markings/sec, 585 secs
lola: 56875886 markings, 386818048 edges, 69860 markings/sec, 590 secs
lola: 57232643 markings, 390006601 edges, 71351 markings/sec, 595 secs
lola: 57583240 markings, 393123770 edges, 70119 markings/sec, 600 secs
lola: 57936643 markings, 396252535 edges, 70681 markings/sec, 605 secs
lola: 58279575 markings, 399417345 edges, 68586 markings/sec, 610 secs
lola: 58632737 markings, 402517470 edges, 70632 markings/sec, 615 secs
lola: 59043080 markings, 405665706 edges, 82069 markings/sec, 620 secs
lola: 59464803 markings, 408796229 edges, 84345 markings/sec, 625 secs
lola: 59878710 markings, 411901561 edges, 82781 markings/sec, 630 secs
lola: 60269233 markings, 415143377 edges, 78105 markings/sec, 635 secs
lola: 60668246 markings, 418488669 edges, 79803 markings/sec, 640 secs
lola: 61071600 markings, 421756269 edges, 80671 markings/sec, 645 secs
lola: 61539434 markings, 425206332 edges, 93567 markings/sec, 650 secs
lola: 61973823 markings, 428620374 edges, 86878 markings/sec, 655 secs
lola: 62402328 markings, 431968474 edges, 85701 markings/sec, 660 secs
lola: 62794077 markings, 435218266 edges, 78350 markings/sec, 665 secs
lola: 63185015 markings, 438487130 edges, 78188 markings/sec, 670 secs
lola: 63572856 markings, 441710033 edges, 77568 markings/sec, 675 secs
lola: 63912769 markings, 444977456 edges, 67983 markings/sec, 680 secs
lola: 64257333 markings, 448191384 edges, 68913 markings/sec, 685 secs
lola: 64602207 markings, 451434299 edges, 68975 markings/sec, 690 secs
lola: 65014577 markings, 454760541 edges, 82474 markings/sec, 695 secs
lola: 65415958 markings, 457985002 edges, 80276 markings/sec, 700 secs
lola: 65770977 markings, 461188590 edges, 71004 markings/sec, 705 secs
lola: 66133066 markings, 464223511 edges, 72418 markings/sec, 710 secs
lola: 66468462 markings, 467177779 edges, 67079 markings/sec, 715 secs
lola: 66791894 markings, 470206620 edges, 64686 markings/sec, 720 secs
lola: 67088521 markings, 473230978 edges, 59325 markings/sec, 725 secs
lola: 67468848 markings, 476311374 edges, 76065 markings/sec, 730 secs
lola: 67798548 markings, 479179522 edges, 65940 markings/sec, 735 secs
lola: 68088866 markings, 481970533 edges, 58064 markings/sec, 740 secs
lola: 68395634 markings, 484823118 edges, 61354 markings/sec, 745 secs
lola: 68722810 markings, 487450860 edges, 65435 markings/sec, 750 secs
lola: 69055629 markings, 490243296 edges, 66564 markings/sec, 755 secs
lola: 69405374 markings, 493118158 edges, 69949 markings/sec, 760 secs
lola: 69708835 markings, 495986500 edges, 60692 markings/sec, 765 secs
lola: 70027559 markings, 498859672 edges, 63745 markings/sec, 770 secs
lola: 70361526 markings, 501817285 edges, 66793 markings/sec, 775 secs
lola: 70701523 markings, 504906271 edges, 67999 markings/sec, 780 secs
lola: 71027790 markings, 507886904 edges, 65253 markings/sec, 785 secs
lola: 71338595 markings, 510741386 edges, 62161 markings/sec, 790 secs
lola: 71658714 markings, 513625063 edges, 64024 markings/sec, 795 secs
lola: 72044392 markings, 516939126 edges, 77136 markings/sec, 800 secs
lola: 72413917 markings, 520024099 edges, 73905 markings/sec, 805 secs
lola: 72777029 markings, 523185542 edges, 72622 markings/sec, 810 secs
lola: 73136352 markings, 526392021 edges, 71865 markings/sec, 815 secs
lola: 73466551 markings, 529682823 edges, 66040 markings/sec, 820 secs
lola: 73832962 markings, 532871590 edges, 73282 markings/sec, 825 secs
lola: 74194884 markings, 536023530 edges, 72384 markings/sec, 830 secs
lola: 74545026 markings, 539222092 edges, 70028 markings/sec, 835 secs
lola: 74882141 markings, 542498825 edges, 67423 markings/sec, 840 secs
lola: 75231657 markings, 545817774 edges, 69903 markings/sec, 845 secs
lola: 75573685 markings, 549163984 edges, 68406 markings/sec, 850 secs
lola: 75931874 markings, 552534233 edges, 71638 markings/sec, 855 secs
lola: 76291224 markings, 555906554 edges, 71870 markings/sec, 860 secs
lola: 76651004 markings, 559213569 edges, 71956 markings/sec, 865 secs
lola: 76992116 markings, 562543566 edges, 68222 markings/sec, 870 secs
lola: 77340147 markings, 565830726 edges, 69606 markings/sec, 875 secs
lola: 77672587 markings, 569103885 edges, 66488 markings/sec, 880 secs
lola: 78005368 markings, 572613248 edges, 66556 markings/sec, 885 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no unknown yes yes
lola: memory consumption: 5908296 KB
lola: time consumption: 2678 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p102) OR (1 <= p105) OR (1 <= p103) OR (1 <= p104)) OR A (G (E (F ((((1 <= p6) AND (1 <= p62) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p46) AND (1 <= p94)) OR ((1 <= p9) AND (1 <= p78) AND (1 <= p96)) OR ((1 <= p8) AND (1 <= p70) AND (1 <= p96)) OR ((1 <= p82) AND (1 <= p97)) OR ((1 <= p6) AND (1 <= p66) AND (1 <= p95)) OR ((1 <= p7) AND (1 <= p62) AND (1 <= p95)) OR ((1 <= p4) AN... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p102) OR (1 <= p105) OR (1 <= p103) OR (1 <= p104))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p102) OR (1 <= p105) OR (1 <= p103) OR (1 <= p104))
lola: processed formula length: 61
lola: 162 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 4 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:776
lola: processed formula: NOT DEADLOCK
lola: processed formula length: 12
lola: 165 rewrites
lola: closed formula file CTLFireability.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: Planning: workflow for reachability check: stateequation (--findpath=off)
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:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: DEADLOCK
lola: state equation task get result unparse finished id 0
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: 953821 markings, 4130933 edges, 190764 markings/sec, 0 secs || sara not yet started (preprocessing)
lola: 1801372 markings, 8177257 edges, 169510 markings/sec, 5 secs || sara not yet started (preprocessing)
lola: 2654783 markings, 12214465 edges, 170682 markings/sec, 10 secs || sara not yet started (preprocessing)
lola: 3454752 markings, 16183703 edges, 159994 markings/sec, 15 secs || sara not yet started (preprocessing)
lola: 4256469 markings, 20150686 edges, 160343 markings/sec, 20 secs || sara not yet started (preprocessing)
lola: 5023084 markings, 24045978 edges, 153323 markings/sec, 25 secs || sara not yet started (preprocessing)
lola: 5668344 markings, 28025120 edges, 129052 markings/sec, 30 secs || sara not yet started (preprocessing)
lola: 6426145 markings, 31875366 edges, 151560 markings/sec, 35 secs || sara not yet started (preprocessing)
lola: 7236907 markings, 35816089 edges, 162152 markings/sec, 40 secs || sara not yet started (preprocessing)
lola: 8053051 markings, 39683198 edges, 163229 markings/sec, 45 secs || sara not yet started (preprocessing)
lola: 8800743 markings, 43604644 edges, 149538 markings/sec, 50 secs || sara not yet started (preprocessing)
lola: 9491199 markings, 47169297 edges, 138091 markings/sec, 55 secs || sara not yet started (preprocessing)
lola: 10228505 markings, 50652689 edges, 147461 markings/sec, 60 secs || sara not yet started (preprocessing)
lola: 10951960 markings, 54112018 edges, 144691 markings/sec, 65 secs || sara not yet started (preprocessing)
lola: 11609368 markings, 57778805 edges, 131482 markings/sec, 70 secs || sara not yet started (preprocessing)
lola: 12307803 markings, 61244515 edges, 139687 markings/sec, 75 secs || sara not yet started (preprocessing)
lola: 12944595 markings, 64628255 edges, 127358 markings/sec, 80 secs || sara not yet started (preprocessing)
lola: 13623597 markings, 68004786 edges, 135800 markings/sec, 85 secs || sara not yet started (preprocessing)
lola: 14274728 markings, 71409833 edges, 130226 markings/sec, 90 secs || sara not yet started (preprocessing)
lola: 15001721 markings, 74992906 edges, 145399 markings/sec, 95 secs || sara not yet started (preprocessing)
lola: 15691625 markings, 78307404 edges, 137981 markings/sec, 100 secs || sara not yet started (preprocessing)
lola: 16362746 markings, 81598105 edges, 134224 markings/sec, 105 secs || sara not yet started (preprocessing)
lola: 16987928 markings, 85053282 edges, 125036 markings/sec, 110 secs || sara not yet started (preprocessing)
lola: 17658564 markings, 88579983 edges, 134127 markings/sec, 115 secs || sara not yet started (preprocessing)
lola: 18369194 markings, 92244364 edges, 142126 markings/sec, 120 secs || sara not yet started (preprocessing)
lola: 19074021 markings, 95828183 edges, 140965 markings/sec, 125 secs || sara not yet started (preprocessing)
lola: 19815459 markings, 99358096 edges, 148288 markings/sec, 130 secs || sara not yet started (preprocessing)
lola: 20568619 markings, 102882101 edges, 150632 markings/sec, 135 secs || sara not yet started (preprocessing)
lola: 21289143 markings, 106536030 edges, 144105 markings/sec, 140 secs || sara not yet started (preprocessing)
lola: 21977030 markings, 110283565 edges, 137577 markings/sec, 145 secs || sara not yet started (preprocessing)
lola: 22681029 markings, 113829480 edges, 140800 markings/sec, 150 secs || sara not yet started (preprocessing)
lola: 23418516 markings, 117516404 edges, 147497 markings/sec, 155 secs || sara not yet started (preprocessing)
lola: 24117798 markings, 120870923 edges, 139856 markings/sec, 160 secs || sara not yet started (preprocessing)
lola: 24808707 markings, 124251676 edges, 138182 markings/sec, 165 secs || sara not yet started (preprocessing)
lola: 25413328 markings, 127443726 edges, 120924 markings/sec, 170 secs || sara not yet started (preprocessing)
lola: 26053130 markings, 130626957 edges, 127960 markings/sec, 175 secs || sara not yet started (preprocessing)
lola: 26671746 markings, 133783325 edges, 123723 markings/sec, 180 secs || sara not yet started (preprocessing)
lola: 27318271 markings, 137016475 edges, 129305 markings/sec, 185 secs || sara not yet started (preprocessing)
lola: 27916997 markings, 140130639 edges, 119745 markings/sec, 190 secs || sara not yet started (preprocessing)
lola: 28567592 markings, 143350600 edges, 130119 markings/sec, 195 secs || sara not yet started (preprocessing)
lola: 29201973 markings, 146523844 edges, 126876 markings/sec, 200 secs || sara not yet started (preprocessing)
lola: 29865345 markings, 149833373 edges, 132674 markings/sec, 205 secs || sara not yet started (preprocessing)
lola: 30580134 markings, 153348553 edges, 142958 markings/sec, 210 secs || sara not yet started (preprocessing)
lola: 31381342 markings, 156939144 edges, 160242 markings/sec, 215 secs || sara not yet started (preprocessing)
lola: 32205557 markings, 160866195 edges, 164843 markings/sec, 220 secs || sara not yet started (preprocessing)
lola: 32994485 markings, 164774910 edges, 157786 markings/sec, 225 secs || sara not yet started (preprocessing)
lola: 33783399 markings, 168733027 edges, 157783 markings/sec, 230 secs || sara not yet started (preprocessing)
lola: 34545677 markings, 172651977 edges, 152456 markings/sec, 235 secs || sara not yet started (preprocessing)
lola: 35187383 markings, 176563581 edges, 128341 markings/sec, 240 secs || sara not yet started (preprocessing)
lola: 35968713 markings, 180475898 edges, 156266 markings/sec, 245 secs || sara not yet started (preprocessing)
lola: 36806780 markings, 184528947 edges, 167613 markings/sec, 250 secs || sara not yet started (preprocessing)
lola: 37573174 markings, 188432880 edges, 153279 markings/sec, 255 secs || sara not yet started (preprocessing)
lola: 38311863 markings, 192331571 edges, 147738 markings/sec, 260 secs || sara not yet started (preprocessing)
lola: 39098729 markings, 196082158 edges, 157373 markings/sec, 265 secs || sara not yet started (preprocessing)
lola: 39791300 markings, 199835828 edges, 138514 markings/sec, 270 secs || sara not yet started (preprocessing)
lola: 40502768 markings, 203536094 edges, 142294 markings/sec, 275 secs || sara not yet started (preprocessing)
lola: 41223269 markings, 207247036 edges, 144100 markings/sec, 280 secs || sara not yet started (preprocessing)
lola: 41944854 markings, 211030163 edges, 144317 markings/sec, 285 secs || sara not yet started (preprocessing)
lola: 42668473 markings, 214654871 edges, 144724 markings/sec, 290 secs || sara not yet started (preprocessing)
lola: 43403092 markings, 218225641 edges, 146924 markings/sec, 295 secs || sara not yet started (preprocessing)
lola: 44066917 markings, 221885366 edges, 132765 markings/sec, 300 secs || sara not yet started (preprocessing)
lola: 44790760 markings, 225641822 edges, 144769 markings/sec, 305 secs || sara not yet started (preprocessing)
lola: 45535807 markings, 229518607 edges, 149009 markings/sec, 310 secs || sara not yet started (preprocessing)
lola: 46308112 markings, 233358184 edges, 154461 markings/sec, 315 secs || sara not yet started (preprocessing)
lola: 47116879 markings, 237249979 edges, 161753 markings/sec, 320 secs || sara not yet started (preprocessing)
lola: 47796480 markings, 241015655 edges, 135920 markings/sec, 325 secs || sara not yet started (preprocessing)
lola: 48548488 markings, 244798449 edges, 150402 markings/sec, 330 secs || sara not yet started (preprocessing)
lola: 49279830 markings, 248559726 edges, 146268 markings/sec, 335 secs || sara not yet started (preprocessing)
lola: 50003491 markings, 252058871 edges, 144732 markings/sec, 340 secs || sara not yet started (preprocessing)
lola: 50648906 markings, 255455496 edges, 129083 markings/sec, 345 secs || sara not yet started (preprocessing)
lola: 51332239 markings, 258874379 edges, 136667 markings/sec, 350 secs || sara not yet started (preprocessing)
lola: 51984873 markings, 262297191 edges, 130527 markings/sec, 355 secs || sara not yet started (preprocessing)
lola: 52618311 markings, 265547088 edges, 126688 markings/sec, 360 secs || sara not yet started (preprocessing)
lola: 53291151 markings, 268984383 edges, 134568 markings/sec, 365 secs || sara not yet started (preprocessing)
lola: 54009356 markings, 272568132 edges, 143641 markings/sec, 370 secs || sara not yet started (preprocessing)
lola: 54747897 markings, 276171636 edges, 147708 markings/sec, 375 secs || sara not yet started (preprocessing)
lola: 55512727 markings, 279933131 edges, 152966 markings/sec, 380 secs || sara not yet started (preprocessing)
lola: 56308885 markings, 283932826 edges, 159232 markings/sec, 385 secs || sara not yet started (preprocessing)
lola: 57057739 markings, 287980335 edges, 149771 markings/sec, 390 secs || sara not yet started (preprocessing)
lola: 57843498 markings, 292058469 edges, 157152 markings/sec, 395 secs || sara not yet started (preprocessing)
lola: 58552710 markings, 296016129 edges, 141842 markings/sec, 400 secs || sara not yet started (preprocessing)
lola: 59235016 markings, 299894208 edges, 136461 markings/sec, 405 secs || sara not yet started (preprocessing)
lola: 59950804 markings, 303849958 edges, 143158 markings/sec, 410 secs || sara not yet started (preprocessing)
lola: 60647721 markings, 307751910 edges, 139383 markings/sec, 415 secs || sara not yet started (preprocessing)
lola: 61320120 markings, 311625485 edges, 134480 markings/sec, 420 secs || sara not yet started (preprocessing)
lola: 61932071 markings, 315617566 edges, 122390 markings/sec, 425 secs || sara not yet started (preprocessing)
lola: 62575335 markings, 319529169 edges, 128653 markings/sec, 430 secs || sara not yet started (preprocessing)
lola: 63330895 markings, 323401505 edges, 151112 markings/sec, 435 secs || sara not yet started (preprocessing)
lola: 64055199 markings, 327302215 edges, 144861 markings/sec, 440 secs || sara not yet started (preprocessing)
lola: 64800233 markings, 331290748 edges, 149007 markings/sec, 445 secs || sara not yet started (preprocessing)
lola: 65505337 markings, 335235262 edges, 141021 markings/sec, 450 secs || sara not yet started (preprocessing)
lola: 66116218 markings, 339064948 edges, 122176 markings/sec, 455 secs || sara not yet started (preprocessing)
lola: 66786590 markings, 342769011 edges, 134074 markings/sec, 460 secs || sara not yet started (preprocessing)
lola: 67462209 markings, 346356969 edges, 135124 markings/sec, 465 secs || sara not yet started (preprocessing)
lola: 68136096 markings, 349992159 edges, 134777 markings/sec, 470 secs || sara not yet started (preprocessing)
lola: 68785093 markings, 353690675 edges, 129799 markings/sec, 475 secs || sara not yet started (preprocessing)
lola: 69360448 markings, 357340888 edges, 115071 markings/sec, 480 secs || sara not yet started (preprocessing)
lola: 69993163 markings, 360836925 edges, 126543 markings/sec, 485 secs || sara not yet started (preprocessing)
lola: 70595031 markings, 364335993 edges, 120374 markings/sec, 490 secs || sara not yet started (preprocessing)
lola: 71196156 markings, 367796547 edges, 120225 markings/sec, 495 secs || sara not yet started (preprocessing)
lola: 71830715 markings, 371328863 edges, 126912 markings/sec, 500 secs || sara not yet started (preprocessing)
lola: 72447780 markings, 374909021 edges, 123413 markings/sec, 505 secs || sara not yet started (preprocessing)
lola: 73056970 markings, 378422765 edges, 121838 markings/sec, 510 secs || sara not yet started (preprocessing)
lola: 73696194 markings, 381866269 edges, 127845 markings/sec, 515 secs || sara not yet started (preprocessing)
lola: 74331147 markings, 385297365 edges, 126991 markings/sec, 520 secs || sara not yet started (preprocessing)
lola: 74958038 markings, 388733421 edges, 125378 markings/sec, 525 secs || sara not yet started (preprocessing)
lola: 75560330 markings, 392276552 edges, 120458 markings/sec, 530 secs || sara not yet started (preprocessing)
lola: 76124848 markings, 395912149 edges, 112904 markings/sec, 535 secs || sara not yet started (preprocessing)
lola: 76816501 markings, 399582569 edges, 138331 markings/sec, 540 secs || sara not yet started (preprocessing)
lola: 77448640 markings, 403283605 edges, 126428 markings/sec, 545 secs || sara not yet started (preprocessing)
lola: 78119554 markings, 407069549 edges, 134183 markings/sec, 550 secs || sara not yet started (preprocessing)
lola: 78786423 markings, 410762383 edges, 133374 markings/sec, 555 secs || sara not yet started (preprocessing)
lola: 79493689 markings, 414529745 edges, 141453 markings/sec, 560 secs || sara not yet started (preprocessing)
lola: 80185027 markings, 418239543 edges, 138268 markings/sec, 565 secs || sara not yet started (preprocessing)
lola: 80845097 markings, 421929104 edges, 132014 markings/sec, 570 secs || sara not yet started (preprocessing)
lola: 81429383 markings, 425578294 edges, 116857 markings/sec, 575 secs || sara not yet started (preprocessing)
lola: 82097543 markings, 429196577 edges, 133632 markings/sec, 580 secs || sara not yet started (preprocessing)
lola: 82750254 markings, 432917832 edges, 130542 markings/sec, 585 secs || sara not yet started (preprocessing)
lola: 83401250 markings, 436565527 edges, 130199 markings/sec, 590 secs || sara not yet started (preprocessing)
lola: 84038145 markings, 440207712 edges, 127379 markings/sec, 595 secs || sara not yet started (preprocessing)
lola: 84688680 markings, 443571522 edges, 130107 markings/sec, 600 secs || sara not yet started (preprocessing)
lola: 85289745 markings, 446963820 edges, 120213 markings/sec, 605 secs || sara not yet started (preprocessing)
lola: 85842762 markings, 450217079 edges, 110603 markings/sec, 610 secs || sara not yet started (preprocessing)
lola: 86448021 markings, 453591166 edges, 121052 markings/sec, 615 secs || sara not yet started (preprocessing)
lola: 86981774 markings, 456528812 edges, 106751 markings/sec, 620 secs || sara not yet started (preprocessing)
lola: 87518978 markings, 459652383 edges, 107441 markings/sec, 625 secs || sara not yet started (preprocessing)
lola: 88083933 markings, 462857410 edges, 112991 markings/sec, 630 secs || sara not yet started (preprocessing)
lola: 88593793 markings, 465749197 edges, 101972 markings/sec, 635 secs || sara not yet started (preprocessing)
lola: 89136088 markings, 468850214 edges, 108459 markings/sec, 640 secs || sara not yet started (preprocessing)
lola: 89749702 markings, 472179340 edges, 122723 markings/sec, 645 secs || sara not yet started (preprocessing)
lola: 90339600 markings, 475571321 edges, 117980 markings/sec, 650 secs || sara not yet started (preprocessing)
lola: 91101290 markings, 479277377 edges, 152338 markings/sec, 655 secs || sara not yet started (preprocessing)
lola: 91896549 markings, 483042004 edges, 159052 markings/sec, 660 secs || sara not yet started (preprocessing)
lola: 92603223 markings, 486779842 edges, 141335 markings/sec, 665 secs || sara not yet started (preprocessing)
lola: 93378318 markings, 490515675 edges, 155019 markings/sec, 670 secs || sara not yet started (preprocessing)
lola: 94061184 markings, 494189328 edges, 136573 markings/sec, 675 secs || sara not yet started (preprocessing)
lola: 94743983 markings, 497834816 edges, 136560 markings/sec, 680 secs || sara not yet started (preprocessing)
lola: 95422549 markings, 501397278 edges, 135713 markings/sec, 685 secs || sara not yet started (preprocessing)
lola: 96095391 markings, 505002526 edges, 134568 markings/sec, 690 secs || sara not yet started (preprocessing)
lola: 96744758 markings, 508624042 edges, 129873 markings/sec, 695 secs || sara not yet started (preprocessing)
lola: 97285579 markings, 512207655 edges, 108164 markings/sec, 700 secs || sara not yet started (preprocessing)
lola: 97891023 markings, 515672308 edges, 121089 markings/sec, 705 secs || sara not yet started (preprocessing)
lola: 98568969 markings, 519310893 edges, 135589 markings/sec, 710 secs || sara not yet started (preprocessing)
lola: 99287073 markings, 522966033 edges, 143621 markings/sec, 715 secs || sara not yet started (preprocessing)
lola: 99994105 markings, 526571634 edges, 141406 markings/sec, 720 secs || sara not yet started (preprocessing)
lola: 100680243 markings, 530136392 edges, 137228 markings/sec, 725 secs || sara not yet started (preprocessing)
lola: 101277952 markings, 533750179 edges, 119542 markings/sec, 730 secs || sara not yet started (preprocessing)
lola: 101955178 markings, 537340109 edges, 135445 markings/sec, 735 secs || sara not yet started (preprocessing)
lola: 102652161 markings, 540846022 edges, 139397 markings/sec, 740 secs || sara not yet started (preprocessing)
lola: 103354564 markings, 544430309 edges, 140481 markings/sec, 745 secs || sara not yet started (preprocessing)
lola: 104023313 markings, 548044674 edges, 133750 markings/sec, 750 secs || sara not yet started (preprocessing)
lola: 104609723 markings, 551628045 edges, 117282 markings/sec, 755 secs || sara not yet started (preprocessing)
lola: 105293804 markings, 555168960 edges, 136816 markings/sec, 760 secs || sara not yet started (preprocessing)
lola: 105920991 markings, 558696354 edges, 125437 markings/sec, 765 secs || sara not yet started (preprocessing)
lola: 106545112 markings, 562137350 edges, 124824 markings/sec, 770 secs || sara not yet started (preprocessing)
lola: 107214929 markings, 565677623 edges, 133963 markings/sec, 775 secs || sara not yet started (preprocessing)
lola: 107839168 markings, 569234389 edges, 124848 markings/sec, 780 secs || sara not yet started (preprocessing)
lola: 108486565 markings, 572659950 edges, 129479 markings/sec, 785 secs || sara not yet started (preprocessing)
lola: 109139678 markings, 576011444 edges, 130623 markings/sec, 790 secs || sara not yet started (preprocessing)
lola: 109789409 markings, 579375913 edges, 129946 markings/sec, 795 secs || sara not yet started (preprocessing)
lola: 110425529 markings, 582675763 edges, 127224 markings/sec, 800 secs || sara not yet started (preprocessing)
lola: 111004545 markings, 586138631 edges, 115803 markings/sec, 805 secs || sara not yet started (preprocessing)
lola: 111624543 markings, 589707887 edges, 124000 markings/sec, 810 secs || sara not yet started (preprocessing)
lola: 112322372 markings, 593482024 edges, 139566 markings/sec, 815 secs || sara not yet started (preprocessing)
lola: 113011542 markings, 597248892 edges, 137834 markings/sec, 820 secs || sara not yet started (preprocessing)
lola: 113658021 markings, 600841421 edges, 129296 markings/sec, 825 secs || sara not yet started (preprocessing)
lola: 114378746 markings, 604460132 edges, 144145 markings/sec, 830 secs || sara not yet started (preprocessing)
lola: 115098010 markings, 608095142 edges, 143853 markings/sec, 835 secs || sara not yet started (preprocessing)
lola: 115795839 markings, 611690249 edges, 139566 markings/sec, 840 secs || sara not yet started (preprocessing)
lola: 116419985 markings, 615194361 edges, 124829 markings/sec, 845 secs || sara not yet started (preprocessing)
lola: 117023662 markings, 618673865 edges, 120735 markings/sec, 850 secs || sara not yet started (preprocessing)
lola: 117692158 markings, 622245679 edges, 133699 markings/sec, 855 secs || sara not yet started (preprocessing)
lola: 118347532 markings, 625790066 edges, 131075 markings/sec, 860 secs || sara not yet started (preprocessing)
lola: 118996945 markings, 629320108 edges, 129883 markings/sec, 865 secs || sara not yet started (preprocessing)
lola: 119674873 markings, 632732951 edges, 135586 markings/sec, 870 secs || sara not yet started (preprocessing)
lola: 120274230 markings, 635841985 edges, 119871 markings/sec, 875 secs || sara not yet started (preprocessing)
lola: 120842230 markings, 639096447 edges, 113600 markings/sec, 880 secs || sara not yet started (preprocessing)
lola: 121476704 markings, 642411837 edges, 126895 markings/sec, 885 secs || sara not yet started (preprocessing)
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no unknown yes yes
lola:
preliminary result: unknown unknown unknown no unknown yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown no unknown yes yes
lola: memory consumption: 4515724 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 4515724 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown no unknown yes yes
rslt: finished

--------------------
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="NeoElection-COL-4"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itslola"
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 itslola"
echo " Input is NeoElection-COL-4, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r174-csrt-158987852900236"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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