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-158987853200463.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 PaceMaker-PT-none, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r174-csrt-158987853200463
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 336K
-rw-r--r-- 1 mcc users 3.7K Apr 8 15:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 8 15:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 7 18:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 7 18:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.5K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 6 20:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 6 04:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 6 04:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 158K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1591150169692

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 02:09:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 02:09:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 02:09:32] [INFO ] Load time of PNML (sax parser for PT used): 96 ms
[2020-06-03 02:09:32] [INFO ] Transformed 70 places.
[2020-06-03 02:09:32] [INFO ] Transformed 164 transitions.
[2020-06-03 02:09:32] [INFO ] Parsed PT model containing 70 places and 164 transitions in 162 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 24 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 0 resets, run finished after 87 ms. (steps per millisecond=114 ) properties seen :[1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0]
FORMULA PaceMaker-PT-none-ReachabilityFireability-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PaceMaker-PT-none-ReachabilityFireability-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PaceMaker-PT-none-ReachabilityFireability-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PaceMaker-PT-none-ReachabilityFireability-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PaceMaker-PT-none-ReachabilityFireability-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PaceMaker-PT-none-ReachabilityFireability-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PaceMaker-PT-none-ReachabilityFireability-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 34 ms. (steps per millisecond=294 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 54 ms. (steps per millisecond=185 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 70 ms. (steps per millisecond=142 ) properties seen :[0, 0, 1, 0, 0, 0, 0, 0, 0]
FORMULA PaceMaker-PT-none-ReachabilityFireability-04 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 22 ms. (steps per millisecond=454 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 21 ms. (steps per millisecond=476 ) properties seen :[0, 0, 0, 1, 0, 0, 0, 0]
FORMULA PaceMaker-PT-none-ReachabilityFireability-07 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 22 ms. (steps per millisecond=454 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 24 ms. (steps per millisecond=416 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 11 ms. (steps per millisecond=909 ) properties seen :[0, 0, 1, 1, 0, 0, 0]
FORMULA PaceMaker-PT-none-ReachabilityFireability-08 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA PaceMaker-PT-none-ReachabilityFireability-05 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 14 ms. (steps per millisecond=714 ) properties seen :[0, 0, 0, 0, 0]
[2020-06-03 02:09:33] [INFO ] Flow matrix only has 158 transitions (discarded 6 similar events)
Normalized transition count is 93 out of 158 initially.
// Phase 1: matrix 93 rows 70 cols
[2020-06-03 02:09:33] [INFO ] Computed 35 place invariants in 5 ms
[2020-06-03 02:09:33] [INFO ] [Real]Absence check using 35 positive place invariants in 60 ms returned sat
[2020-06-03 02:09:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 02:09:33] [INFO ] [Real]Absence check using state equation in 170 ms returned sat
[2020-06-03 02:09:33] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 02:09:33] [INFO ] [Nat]Absence check using 35 positive place invariants in 23 ms returned sat
[2020-06-03 02:09:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 02:09:38] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 02:09:38] [INFO ] [Nat]Absence check using state equation in 4963 ms returned unknown
[2020-06-03 02:09:38] [INFO ] [Real]Absence check using 35 positive place invariants in 51 ms returned sat
[2020-06-03 02:09:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 02:09:38] [INFO ] [Real]Absence check using state equation in 111 ms returned sat
[2020-06-03 02:09:38] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 02:09:38] [INFO ] [Nat]Absence check using 35 positive place invariants in 57 ms returned sat
[2020-06-03 02:09:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 02:09:43] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 02:09:43] [INFO ] [Nat]Absence check using state equation in 4925 ms returned unknown
[2020-06-03 02:09:43] [INFO ] [Real]Absence check using 35 positive place invariants in 12 ms returned sat
[2020-06-03 02:09:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 02:09:43] [INFO ] [Real]Absence check using state equation in 101 ms returned sat
[2020-06-03 02:09:43] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 02:09:44] [INFO ] [Nat]Absence check using 35 positive place invariants in 13 ms returned sat
[2020-06-03 02:09:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 02:09:48] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 02:09:48] [INFO ] [Nat]Absence check using state equation in 4976 ms returned unknown
[2020-06-03 02:09:49] [INFO ] [Real]Absence check using 35 positive place invariants in 13 ms returned sat
[2020-06-03 02:09:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 02:09:49] [INFO ] [Real]Absence check using state equation in 83 ms returned sat
[2020-06-03 02:09:49] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 02:09:49] [INFO ] [Nat]Absence check using 35 positive place invariants in 21 ms returned sat
[2020-06-03 02:09:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 02:09:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 02:09:54] [INFO ] [Nat]Absence check using state equation in 4962 ms returned unknown
[2020-06-03 02:09:54] [INFO ] [Real]Absence check using 35 positive place invariants in 16 ms returned sat
[2020-06-03 02:09:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 02:09:54] [INFO ] [Real]Absence check using state equation in 80 ms returned sat
[2020-06-03 02:09:54] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 02:09:54] [INFO ] [Nat]Absence check using 35 positive place invariants in 185 ms returned sat
[2020-06-03 02:09:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 02:09:59] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 02:09:59] [INFO ] [Nat]Absence check using state equation in 4790 ms returned unknown
Support contains 30 out of 70 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 70/70 places, 164/164 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 0 with 9 rules applied. Total rules applied 9 place count 64 transition count 161
Applied a total of 9 rules in 95 ms. Remains 64 /70 variables (removed 6) and now considering 161/164 (removed 3) transitions.
[2020-06-03 02:09:59] [INFO ] Flow matrix only has 155 transitions (discarded 6 similar events)
Normalized transition count is 90 out of 155 initially.
// Phase 1: matrix 90 rows 64 cols
[2020-06-03 02:09:59] [INFO ] Computed 32 place invariants in 2 ms
[2020-06-03 02:09:59] [INFO ] Dead Transitions using invariants and state equation in 226 ms returned []
Finished structural reductions, in 1 iterations. Remains : 64/70 places, 161/164 transitions.
Incomplete random walk after 1000000 steps, including 0 resets, run finished after 2906 ms. (steps per millisecond=344 ) properties seen :[0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 0 resets, run finished after 1214 ms. (steps per millisecond=823 ) properties seen :[0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 0 resets, run finished after 1254 ms. (steps per millisecond=797 ) properties seen :[0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 0 resets, run finished after 1405 ms. (steps per millisecond=711 ) properties seen :[0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 0 resets, run finished after 968 ms. (steps per millisecond=1033 ) properties seen :[0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 0 resets, run finished after 1064 ms. (steps per millisecond=939 ) properties seen :[0, 0, 0, 0, 0]
Interrupted probabilistic random walk after 13017336 steps, run timeout after 30173 ms. (steps per millisecond=431 ) properties seen :[1, 1, 0, 1, 0]
Probabilistic random walk after 13017336 steps, saw 1108670 distinct states, run finished after 30173 ms. (steps per millisecond=431 ) properties seen :[1, 1, 0, 1, 0]
FORMULA PaceMaker-PT-none-ReachabilityFireability-12 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA PaceMaker-PT-none-ReachabilityFireability-03 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA PaceMaker-PT-none-ReachabilityFireability-02 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
[2020-06-03 02:10:38] [INFO ] Flow matrix only has 155 transitions (discarded 6 similar events)
Normalized transition count is 90 out of 155 initially.
// Phase 1: matrix 90 rows 64 cols
[2020-06-03 02:10:38] [INFO ] Computed 32 place invariants in 1 ms
[2020-06-03 02:10:38] [INFO ] [Real]Absence check using 32 positive place invariants in 10 ms returned sat
[2020-06-03 02:10:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 02:10:38] [INFO ] [Real]Absence check using state equation in 56 ms returned sat
[2020-06-03 02:10:38] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 02:10:38] [INFO ] [Nat]Absence check using 32 positive place invariants in 10 ms returned sat
[2020-06-03 02:10:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 02:10:45] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 02:10:48] [INFO ] [Nat]Absence check using state equation in 9355 ms returned unknown
[2020-06-03 02:10:48] [INFO ] [Real]Absence check using 32 positive place invariants in 12 ms returned sat
[2020-06-03 02:10:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 02:10:48] [INFO ] [Real]Absence check using state equation in 96 ms returned sat
[2020-06-03 02:10:48] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 02:10:48] [INFO ] [Nat]Absence check using 32 positive place invariants in 20 ms returned sat
[2020-06-03 02:10:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 02:10:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 02:10:57] [INFO ] [Nat]Absence check using state equation in 9458 ms returned unknown
Support contains 23 out of 64 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 64/64 places, 161/161 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 3 rules applied. Total rules applied 3 place count 62 transition count 160
Applied a total of 3 rules in 24 ms. Remains 62 /64 variables (removed 2) and now considering 160/161 (removed 1) transitions.
Finished structural reductions, in 1 iterations. Remains : 62/64 places, 160/161 transitions.
Incomplete random walk after 1000000 steps, including 0 resets, run finished after 1982 ms. (steps per millisecond=504 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 0 resets, run finished after 1398 ms. (steps per millisecond=715 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 0 resets, run finished after 936 ms. (steps per millisecond=1068 ) properties seen :[0, 0]
Interrupted probabilistic random walk after 14006103 steps, run timeout after 30001 ms. (steps per millisecond=466 ) properties seen :[0, 0]
Probabilistic random walk after 14006103 steps, saw 1179097 distinct states, run finished after 30006 ms. (steps per millisecond=466 ) properties seen :[0, 0]
[2020-06-03 02:11:32] [INFO ] Flow matrix only has 154 transitions (discarded 6 similar events)
Normalized transition count is 88 out of 154 initially.
// Phase 1: matrix 88 rows 62 cols
[2020-06-03 02:11:32] [INFO ] Computed 31 place invariants in 1 ms
[2020-06-03 02:11:32] [INFO ] [Real]Absence check using 31 positive place invariants in 12 ms returned sat
[2020-06-03 02:11:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 02:11:32] [INFO ] [Real]Absence check using state equation in 297 ms returned sat
[2020-06-03 02:11:32] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 02:11:32] [INFO ] [Nat]Absence check using 31 positive place invariants in 11 ms returned sat
[2020-06-03 02:11:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 02:11:38] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 02:11:41] [INFO ] [Nat]Absence check using state equation in 9246 ms returned unknown
[2020-06-03 02:11:41] [INFO ] [Real]Absence check using 31 positive place invariants in 19 ms returned sat
[2020-06-03 02:11:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 02:11:41] [INFO ] [Real]Absence check using state equation in 71 ms returned sat
[2020-06-03 02:11:41] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 02:11:41] [INFO ] [Nat]Absence check using 31 positive place invariants in 10 ms returned sat
[2020-06-03 02:11:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 02:11:48] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 02:11:51] [INFO ] [Nat]Absence check using state equation in 10081 ms returned unknown
Support contains 23 out of 62 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 62/62 places, 160/160 transitions.
Applied a total of 0 rules in 14 ms. Remains 62 /62 variables (removed 0) and now considering 160/160 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 62/62 places, 160/160 transitions.
Starting structural reductions, iteration 0 : 62/62 places, 160/160 transitions.
Applied a total of 0 rules in 7 ms. Remains 62 /62 variables (removed 0) and now considering 160/160 (removed 0) transitions.
[2020-06-03 02:11:52] [INFO ] Flow matrix only has 154 transitions (discarded 6 similar events)
Normalized transition count is 88 out of 154 initially.
// Phase 1: matrix 88 rows 62 cols
[2020-06-03 02:11:52] [INFO ] Computed 31 place invariants in 1 ms
[2020-06-03 02:11:52] [INFO ] Implicit Places using invariants in 429 ms returned []
[2020-06-03 02:11:52] [INFO ] Flow matrix only has 154 transitions (discarded 6 similar events)
Normalized transition count is 88 out of 154 initially.
// Phase 1: matrix 88 rows 62 cols
[2020-06-03 02:11:52] [INFO ] Computed 31 place invariants in 11 ms
[2020-06-03 02:11:52] [INFO ] State equation strengthened by 58 read => feed constraints.
[2020-06-03 02:11:53] [INFO ] Implicit Places using invariants and state equation in 831 ms returned []
Implicit Place search using SMT with State Equation took 1300 ms to find 0 implicit places.
[2020-06-03 02:11:53] [INFO ] Redundant transitions in 4 ms returned []
[2020-06-03 02:11:53] [INFO ] Flow matrix only has 154 transitions (discarded 6 similar events)
Normalized transition count is 88 out of 154 initially.
// Phase 1: matrix 88 rows 62 cols
[2020-06-03 02:11:53] [INFO ] Computed 31 place invariants in 1 ms
[2020-06-03 02:11:54] [INFO ] Dead Transitions using invariants and state equation in 903 ms returned []
Finished structural reductions, in 1 iterations. Remains : 62/62 places, 160/160 transitions.
Incomplete random walk after 100000 steps, including 0 resets, run finished after 305 ms. (steps per millisecond=327 ) properties seen :[0, 0]
[2020-06-03 02:11:54] [INFO ] Flow matrix only has 154 transitions (discarded 6 similar events)
Normalized transition count is 88 out of 154 initially.
// Phase 1: matrix 88 rows 62 cols
[2020-06-03 02:11:54] [INFO ] Computed 31 place invariants in 1 ms
[2020-06-03 02:11:54] [INFO ] [Real]Absence check using 31 positive place invariants in 82 ms returned sat
[2020-06-03 02:11:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 02:11:54] [INFO ] [Real]Absence check using state equation in 291 ms returned sat
[2020-06-03 02:11:54] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 02:11:55] [INFO ] [Nat]Absence check using 31 positive place invariants in 111 ms returned sat
[2020-06-03 02:11:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 02:12:01] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 02:12:04] [INFO ] [Nat]Absence check using state equation in 9508 ms returned unknown
[2020-06-03 02:12:04] [INFO ] [Real]Absence check using 31 positive place invariants in 88 ms returned sat
[2020-06-03 02:12:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 02:12:05] [INFO ] [Real]Absence check using state equation in 240 ms returned sat
[2020-06-03 02:12:05] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 02:12:05] [INFO ] [Nat]Absence check using 31 positive place invariants in 119 ms returned sat
[2020-06-03 02:12:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 02:12:12] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 02:12:15] [INFO ] [Nat]Absence check using state equation in 10247 ms returned unknown
Discarding 10 places :
Also discarding 25 output transitions
Drop transitions removed 25 transitions
Graph (complete) has 138 edges and 62 vertex of which 52 are kept as prefixes of interest. Removing 10 places using SCC suffix rule.71 ms
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Reduce isomorphic (modulo) transitions removed 6 transitions.
Iterating post reduction 0 with 10 rules applied. Total rules applied 11 place count 52 transition count 125
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 0 ms
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 1 with 21 rules applied. Total rules applied 32 place count 38 transition count 118
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Reduce isomorphic (modulo) transitions removed 2 transitions.
Discarding 4 places :
Also discarding 4 output transitions
Drop transitions removed 4 transitions
Graph (complete) has 90 edges and 38 vertex of which 34 are kept as prefixes of interest. Removing 4 places using SCC suffix rule.0 ms
Iterating post reduction 1 with 5 rules applied. Total rules applied 37 place count 34 transition count 110
Applied a total of 37 rules in 97 ms. Remains 34 /62 variables (removed 28) and now considering 110/160 (removed 50) transitions.
Normalized transition count is 57 out of 110 initially.
// Phase 1: matrix 57 rows 34 cols
[2020-06-03 02:12:15] [INFO ] Computed 17 place invariants in 0 ms
[2020-06-03 02:12:15] [INFO ] [Real]Absence check using 17 positive place invariants in 69 ms returned sat
[2020-06-03 02:12:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 02:12:15] [INFO ] [Real]Absence check using state equation in 144 ms returned sat
[2020-06-03 02:12:15] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 02:12:15] [INFO ] [Nat]Absence check using 17 positive place invariants in 26 ms returned sat
[2020-06-03 02:12:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 02:12:22] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 02:12:25] [INFO ] [Nat]Absence check using state equation in 9323 ms returned unknown
[2020-06-03 02:12:25] [INFO ] [Real]Absence check using 17 positive place invariants in 21 ms returned sat
[2020-06-03 02:12:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 02:12:25] [INFO ] [Real]Absence check using state equation in 140 ms returned sat
[2020-06-03 02:12:25] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 02:12:25] [INFO ] [Nat]Absence check using 17 positive place invariants in 51 ms returned sat
[2020-06-03 02:12:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 02:12:31] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 02:12:34] [INFO ] [Nat]Absence check using state equation in 9368 ms returned unknown
[2020-06-03 02:12:34] [INFO ] Export to MCC properties in file /home/mcc/execution/ReachabilityFireability.sr.xml took 6 ms.
[2020-06-03 02:12:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 9 ms.
[2020-06-03 02:12:35] [INFO ] Flatten gal took : 189 ms
info: Time: 3600 - MCC
vrfy: Checking ReachabilityFireability @ PaceMaker-PT-none @ 3570 seconds

FORMULA PaceMaker-PT-none-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PaceMaker-PT-none-ReachabilityFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 540
rslt: Output for ReachabilityFireability @ PaceMaker-PT-none

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=ReachabilityFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--json=ReachabilityFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Jun 3 02:12:36 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1776
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 9,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 9,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 9,
"visible_transitions": 0
},
"processed": "E (F (((34 <= p12) AND (655 <= p17) AND (727 <= p19) AND (917 <= p43) AND (296 <= p48) AND (224 <= p50) AND (1 <= p5) AND (557 <= p24) AND (394 <= p55))))",
"processed_size": 154,
"rewrites": 1
},
"result":
{
"edges": 101,
"markings": 93,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 9,
"problems": 9
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"error": null,
"memory": 3380,
"runtime": 3029.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "ReachabilityFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "E(F(**)) : E(F(**))"
},
"net":
{
"arcs": 930,
"conflict_clusters": 2,
"places": 62,
"places_significant": 31,
"singleton_clusters": 0,
"transitions": 160
},
"result":
{
"preliminary_value": "unknown yes ",
"value": "unknown yes "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 222/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1984
lola: finding significant places
lola: 62 places, 160 transitions, 31 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 ReachabilityFireability.xml
lola: E (F (((85 <= p19) AND (866 <= p50) AND ((p4 <= 0) OR (p24 <= 613) OR (p55 <= 336)) AND ((p22 <= 678) OR (p53 <= 271)) AND ((p23 <= 914) OR (p54 <= 35)) AND (((51 <= p13) AND (717 <= p15) AND (900 <= p44) AND (234 <= p46)) OR ((175 <= p15) AND (625 <= p16) AND (776 <= p46) AND (326 <= p47) AND (34 <= p12) AND (655 <= p17) AND (707 <= p20) AND (917 <= p43) AND (296 <= p48) AND (244 <= p51) AND ((p9 <= 0) OR (p24 <= 556) OR (p55 <= 393))))))) : E (F (((34 <= p12) AND (655 <= p17) AND (727 <= p19) AND (917 <= p43) AND (296 <= p48) AND (224 <= p50) AND (1 <= p5) AND (557 <= p24) AND (394 <= p55))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 1776 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((34 <= p12) AND (655 <= p17) AND (727 <= p19) AND (917 <= p43) AND (296 <= p48) AND (224 <= p50) AND (1 <= p5) AND (557 <= p24) AND (394 <= p55))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((34 <= p12) AND (655 <= p17) AND (727 <= p19) AND (917 <= p43) AND (296 <= p48) AND (224 <= p50) AND (1 <= p5) AND (557 <= p24) AND (394 <= p55))))
lola: processed formula length: 154
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((34 <= p12) AND (655 <= p17) AND (727 <= p19) AND (917 <= p43) AND (296 <= p48) AND (224 <= p50) AND (1 <= p5) AND (557 <= p24) AND (394 <= p55))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 9 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 93 markings, 101 edges
lola: state equation: write sara problem file to ReachabilityFireability-0.sara
lola: state equation: calling and running sara
lola: ========================================
sara: try reading problem file ReachabilityFireability-0.sara.
lola: subprocess 1 will run for 3553 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((85 <= p19) AND (866 <= p50) AND ((p4 <= 0) OR (p24 <= 613) OR (p55 <= 336)) AND ((p22 <= 678) OR (p53 <= 271)) AND ((p23 <= 914) OR (p54 <= 35)) AND (((51 <= p13) AND (717 <= p15) AND (900 <= p44) AND (234 <= p46)) OR ((175 <= p15) AND (625 <= p16) AND (776 <= p46) AND (326 <= p47) AND (34 <= p12) AND (655 <= p17) AND (707 <= p20) AND (917 <= p43) AND (296 <= p48) AND (244 <= p51) AND... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((85 <= p19) AND (866 <= p50) AND ((p4 <= 0) OR (p24 <= 613) OR (p55 <= 336)) AND ((p22 <= 678) OR (p53 <= 271)) AND ((p23 <= 914) OR (p54 <= 35)) AND (((51 <= p13) AND (717 <= p15) AND (900 <= p44) AND (234 <= p46)) OR ((175 <= p15) AND (625 <= p16) AND (776 <= p46) AND (326 <= p47) AND (34 <= p12) AND (655 <= p17) AND (707 <= p20) AND (917 <= p43) AND (296 <= p48) AND (244 <= p51) AND... (shortened)
lola: processed formula length: 451
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((85 <= p19) AND (866 <= p50) AND ((p4 <= 0) OR (p24 <= 613) OR (p55 <= 336)) AND ((p22 <= 678) OR (p53 <= 271)) AND ((p23 <= 914) OR (p54 <= 35)) AND (((51 <= p13) AND (717 <= p15) AND (900 <= p44) AND (234 <= p46)) OR ((175 <= p15) AND (625 <= p16) AND (776 <= p46) AND (326 <= p47) AND (34 <= p12) AND (655 <= p17) AND (707 <= p20) AND (917 <= p43) AND (296 <= p48) AND (244 <= p51) AND ((p9 <= 0) OR (p24 <= 556) OR (p55 <= 393)))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 684 literals and 48 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityFireability-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 959026 markings, 1690896 edges, 191805 markings/sec, 0 secs
lola: sara is running 5 secs || 2068248 markings, 3649087 edges, 221844 markings/sec, 5 secs
lola: sara is running 10 secs || 3334198 markings, 5883182 edges, 253190 markings/sec, 10 secs
lola: sara is running 15 secs || 4543559 markings, 8015175 edges, 241872 markings/sec, 15 secs
lola: sara is running 20 secs || 6086822 markings, 10739412 edges, 308653 markings/sec, 20 secs
lola: sara is running 25 secs || 7406573 markings, 13068672 edges, 263950 markings/sec, 25 secs
lola: sara is running 30 secs || 8821549 markings, 15566877 edges, 282995 markings/sec, 30 secs
lola: sara is running 35 secs || 10211329 markings, 18018118 edges, 277956 markings/sec, 35 secs
lola: sara is running 40 secs || 11620842 markings, 20507023 edges, 281903 markings/sec, 40 secs
lola: sara is running 45 secs || 12958216 markings, 22871623 edges, 267475 markings/sec, 45 secs
lola: sara is running 50 secs || 14323305 markings, 25279761 edges, 273018 markings/sec, 50 secs
lola: sara is running 55 secs || 15582285 markings, 27499688 edges, 251796 markings/sec, 55 secs
lola: sara is running 60 secs || 16910126 markings, 29844915 edges, 265568 markings/sec, 60 secs
lola: sara is running 65 secs || 18332164 markings, 32354502 edges, 284408 markings/sec, 65 secs
lola: sara is running 70 secs || 19613890 markings, 34619197 edges, 256345 markings/sec, 70 secs
lola: sara is running 75 secs || 20816196 markings, 36744630 edges, 240461 markings/sec, 75 secs
lola: sara is running 80 secs || 22080702 markings, 38981478 edges, 252901 markings/sec, 80 secs
lola: sara is running 85 secs || 23301556 markings, 41136942 edges, 244171 markings/sec, 85 secs
lola: sara is running 90 secs || 24705250 markings, 43615049 edges, 280739 markings/sec, 90 secs
lola: sara is running 95 secs || 26239256 markings, 46321397 edges, 306801 markings/sec, 95 secs
lola: sara is running 100 secs || 27446693 markings, 48457236 edges, 241487 markings/sec, 100 secs
lola: sara is running 105 secs || 29019636 markings, 51236356 edges, 314589 markings/sec, 105 secs
lola: sara is running 110 secs || 30003464 markings, 52977596 edges, 196766 markings/sec, 110 secs
lola: sara is running 115 secs || 31102315 markings, 54921854 edges, 219770 markings/sec, 115 secs
lola: sara is running 120 secs || 32020128 markings, 56542895 edges, 183563 markings/sec, 120 secs
lola: sara is running 125 secs || 33293853 markings, 58796702 edges, 254745 markings/sec, 125 secs
lola: sara is running 130 secs || 34630892 markings, 61159816 edges, 267408 markings/sec, 130 secs
lola: sara is running 135 secs || 36054748 markings, 63674976 edges, 284771 markings/sec, 135 secs
lola: sara is running 140 secs || 37363715 markings, 65990237 edges, 261793 markings/sec, 140 secs
lola: sara is running 145 secs || 38712608 markings, 68375063 edges, 269779 markings/sec, 145 secs
lola: sara is running 150 secs || 39927276 markings, 70521321 edges, 242934 markings/sec, 150 secs
lola: sara is running 155 secs || 41419914 markings, 73163820 edges, 298528 markings/sec, 155 secs
lola: sara is running 160 secs || 42777016 markings, 75569550 edges, 271420 markings/sec, 160 secs
lola: sara is running 165 secs || 43600662 markings, 77026560 edges, 164729 markings/sec, 165 secs
lola: sara is running 170 secs || 44555460 markings, 78722988 edges, 190960 markings/sec, 170 secs
lola: sara is running 175 secs || 45794635 markings, 80919090 edges, 247835 markings/sec, 175 secs
lola: sara is running 180 secs || 47129264 markings, 83276785 edges, 266926 markings/sec, 180 secs
lola: sara is running 185 secs || 48228935 markings, 85223900 edges, 219934 markings/sec, 185 secs
lola: sara is running 190 secs || 49492381 markings, 87457734 edges, 252689 markings/sec, 190 secs
lola: sara is running 195 secs || 50877526 markings, 89904365 edges, 277029 markings/sec, 195 secs
lola: sara is running 200 secs || 52246460 markings, 92327863 edges, 273787 markings/sec, 200 secs
lola: sara is running 205 secs || 53674415 markings, 94859090 edges, 285591 markings/sec, 205 secs
lola: sara is running 210 secs || 55122014 markings, 97413168 edges, 289520 markings/sec, 210 secs
lola: sara is running 215 secs || 56508491 markings, 99867429 edges, 277295 markings/sec, 215 secs
lola: sara is running 220 secs || 57928907 markings, 102378973 edges, 284083 markings/sec, 220 secs
lola: sara is running 225 secs || 59346658 markings, 104892638 edges, 283550 markings/sec, 225 secs
lola: sara is running 230 secs || 60756189 markings, 107391001 edges, 281906 markings/sec, 230 secs
lola: sara is running 235 secs || 62241563 markings, 110016321 edges, 297075 markings/sec, 235 secs
lola: sara is running 240 secs || 63547789 markings, 112325347 edges, 261245 markings/sec, 240 secs
lola: sara is running 245 secs || 64389426 markings, 113815492 edges, 168327 markings/sec, 245 secs
lola: sara is running 250 secs || 65298783 markings, 115426964 edges, 181871 markings/sec, 250 secs
lola: sara is running 255 secs || 66820191 markings, 118125494 edges, 304282 markings/sec, 255 secs
lola: sara is running 260 secs || 67828789 markings, 119911624 edges, 201720 markings/sec, 260 secs
lola: sara is running 265 secs || 68794004 markings, 121627704 edges, 193043 markings/sec, 265 secs
lola: sara is running 270 secs || 70029090 markings, 123817155 edges, 247017 markings/sec, 270 secs
lola: sara is running 275 secs || 71349087 markings, 126155467 edges, 263999 markings/sec, 275 secs
lola: sara is running 280 secs || 72671980 markings, 128503699 edges, 264579 markings/sec, 280 secs
lola: sara is running 285 secs || 74180675 markings, 131182523 edges, 301739 markings/sec, 285 secs
lola: sara is running 290 secs || 75216849 markings, 133020146 edges, 207235 markings/sec, 290 secs
lola: sara is running 295 secs || 76084350 markings, 134557118 edges, 173500 markings/sec, 295 secs
lola: sara is running 300 secs || 77394799 markings, 136883666 edges, 262090 markings/sec, 300 secs
lola: sara is running 305 secs || 78704744 markings, 139206644 edges, 261989 markings/sec, 305 secs
lola: sara is running 310 secs || 80227205 markings, 141904851 edges, 304492 markings/sec, 310 secs
lola: sara is running 315 secs || 81809091 markings, 144699539 edges, 316377 markings/sec, 315 secs
lola: sara is running 320 secs || 83328275 markings, 147383863 edges, 303837 markings/sec, 320 secs
lola: sara is running 325 secs || 84843047 markings, 150067711 edges, 302954 markings/sec, 325 secs
lola: sara is running 330 secs || 86155192 markings, 152392870 edges, 262429 markings/sec, 330 secs
lola: sara is running 335 secs || 87374024 markings, 154558104 edges, 243766 markings/sec, 335 secs
lola: sara is running 340 secs || 88882925 markings, 157240805 edges, 301780 markings/sec, 340 secs
lola: sara is running 345 secs || 90387852 markings, 159907010 edges, 300985 markings/sec, 345 secs
lola: sara is running 350 secs || 91927068 markings, 162639888 edges, 307843 markings/sec, 350 secs
lola: sara is running 355 secs || 93350965 markings, 165164545 edges, 284779 markings/sec, 355 secs
lola: sara is running 360 secs || 94592380 markings, 167365444 edges, 248283 markings/sec, 360 secs
lola: sara is running 365 secs || 95897462 markings, 169686423 edges, 261016 markings/sec, 365 secs
lola: sara is running 370 secs || 97437067 markings, 172420172 edges, 307921 markings/sec, 370 secs
lola: sara is running 375 secs || 98959779 markings, 175124653 edges, 304542 markings/sec, 375 secs
lola: sara is running 380 secs || 100489255 markings, 177842491 edges, 305895 markings/sec, 380 secs
lola: sara is running 385 secs || 102031237 markings, 180566012 edges, 308396 markings/sec, 385 secs
lola: sara is running 390 secs || 103588546 markings, 183331882 edges, 311462 markings/sec, 390 secs
lola: sara is running 395 secs || 104799887 markings, 185482836 edges, 242268 markings/sec, 395 secs
lola: sara is running 400 secs || 106152606 markings, 187880335 edges, 270544 markings/sec, 400 secs
lola: sara is running 405 secs || 107371298 markings, 190036919 edges, 243738 markings/sec, 405 secs
lola: sara is running 410 secs || 108633330 markings, 192266432 edges, 252406 markings/sec, 410 secs
lola: sara is running 415 secs || 110145721 markings, 194947751 edges, 302478 markings/sec, 415 secs
lola: sara is running 420 secs || 111569970 markings, 197469929 edges, 284850 markings/sec, 420 secs
lola: sara is running 425 secs || 112982036 markings, 199973911 edges, 282413 markings/sec, 425 secs
lola: sara is running 430 secs || 114413310 markings, 202517701 edges, 286255 markings/sec, 430 secs
lola: sara is running 435 secs || 115738421 markings, 204870358 edges, 265022 markings/sec, 435 secs
lola: sara is running 440 secs || 117154380 markings, 207384477 edges, 283192 markings/sec, 440 secs
lola: sara is running 445 secs || 118593209 markings, 209950108 edges, 287766 markings/sec, 445 secs
lola: sara is running 450 secs || 120102228 markings, 212640401 edges, 301804 markings/sec, 450 secs
lola: sara is running 455 secs || 121530379 markings, 215203702 edges, 285630 markings/sec, 455 secs
lola: sara is running 460 secs || 122970688 markings, 217766285 edges, 288062 markings/sec, 460 secs
lola: sara is running 465 secs || 124443021 markings, 220378128 edges, 294467 markings/sec, 465 secs
lola: sara is running 470 secs || 125881912 markings, 222943267 edges, 287778 markings/sec, 470 secs
lola: sara is running 475 secs || 127072200 markings, 225055053 edges, 238058 markings/sec, 475 secs
lola: sara is running 480 secs || 128494491 markings, 227593722 edges, 284458 markings/sec, 480 secs
lola: sara is running 485 secs || 129967986 markings, 230205653 edges, 294699 markings/sec, 485 secs
lola: sara is running 490 secs || 131379304 markings, 232700552 edges, 282264 markings/sec, 490 secs
lola: sara is running 495 secs || 132761906 markings, 235167527 edges, 276520 markings/sec, 495 secs
lola: sara is running 500 secs || 134198046 markings, 237717468 edges, 287228 markings/sec, 500 secs
lola: sara is running 505 secs || 135652900 markings, 240298212 edges, 290971 markings/sec, 505 secs
lola: sara is running 510 secs || 137057943 markings, 242804285 edges, 281009 markings/sec, 510 secs
lola: sara is running 515 secs || 138493517 markings, 245352178 edges, 287115 markings/sec, 515 secs
lola: sara is running 520 secs || 139906649 markings, 247868112 edges, 282626 markings/sec, 520 secs
lola: sara is running 525 secs || 141225611 markings, 250215427 edges, 263792 markings/sec, 525 secs
lola: sara is running 530 secs || 142716273 markings, 252861285 edges, 298132 markings/sec, 530 secs
lola: sara is running 535 secs || 143970859 markings, 255092096 edges, 250917 markings/sec, 535 secs
lola: sara is running 540 secs || 145422748 markings, 257670746 edges, 290378 markings/sec, 540 secs
lola: sara is running 545 secs || 146859591 markings, 260223584 edges, 287369 markings/sec, 545 secs
lola: sara is running 550 secs || 148006868 markings, 262258133 edges, 229455 markings/sec, 550 secs
lola: sara is running 555 secs || 149444270 markings, 264819451 edges, 287480 markings/sec, 555 secs
lola: sara is running 560 secs || 150838411 markings, 267315598 edges, 278828 markings/sec, 560 secs
lola: sara is running 565 secs || 152242464 markings, 269834642 edges, 280811 markings/sec, 565 secs
lola: sara is running 570 secs || 153409832 markings, 271916319 edges, 233474 markings/sec, 570 secs
lola: sara is running 575 secs || 154863479 markings, 274507645 edges, 290729 markings/sec, 575 secs
lola: sara is running 580 secs || 156095142 markings, 276719124 edges, 246333 markings/sec, 580 secs
lola: sara is running 585 secs || 157446837 markings, 279127608 edges, 270339 markings/sec, 585 secs
lola: sara is running 590 secs || 158874267 markings, 281669479 edges, 285486 markings/sec, 590 secs
lola: sara is running 595 secs || 160326271 markings, 284256465 edges, 290401 markings/sec, 595 secs
lola: sara is running 600 secs || 161754651 markings, 286806211 edges, 285676 markings/sec, 600 secs
lola: sara is running 605 secs || 163183650 markings, 289347545 edges, 285800 markings/sec, 605 secs
lola: sara is running 610 secs || 164603502 markings, 291871456 edges, 283970 markings/sec, 610 secs
lola: sara is running 615 secs || 166043341 markings, 294463127 edges, 287968 markings/sec, 615 secs
lola: sara is running 620 secs || 167548005 markings, 297153909 edges, 300933 markings/sec, 620 secs
lola: sara is running 625 secs || 168991667 markings, 299729552 edges, 288732 markings/sec, 625 secs
lola: sara is running 630 secs || 170417795 markings, 302263733 edges, 285226 markings/sec, 630 secs
lola: sara is running 635 secs || 171849702 markings, 304800955 edges, 286381 markings/sec, 635 secs
lola: sara is running 640 secs || 173237346 markings, 307276608 edges, 277529 markings/sec, 640 secs
lola: sara is running 645 secs || 174630900 markings, 309759609 edges, 278711 markings/sec, 645 secs
lola: sara is running 650 secs || 176032504 markings, 312253761 edges, 280321 markings/sec, 650 secs
lola: sara is running 655 secs || 177478127 markings, 314812199 edges, 289125 markings/sec, 655 secs
lola: sara is running 660 secs || 178897844 markings, 317345284 edges, 283943 markings/sec, 660 secs
lola: sara is running 665 secs || 180332093 markings, 319896156 edges, 286850 markings/sec, 665 secs
lola: sara is running 670 secs || 181724040 markings, 322397740 edges, 278389 markings/sec, 670 secs
lola: sara is running 675 secs || 182729309 markings, 324201951 edges, 201054 markings/sec, 675 secs
lola: sara is running 680 secs || 184189905 markings, 326795945 edges, 292119 markings/sec, 680 secs
lola: sara is running 685 secs || 185658359 markings, 329408188 edges, 293691 markings/sec, 685 secs
lola: sara is running 690 secs || 186965401 markings, 331750580 edges, 261408 markings/sec, 690 secs
lola: sara is running 695 secs || 188442295 markings, 334399795 edges, 295379 markings/sec, 695 secs
lola: sara is running 700 secs || 189871168 markings, 336952600 edges, 285775 markings/sec, 700 secs
lola: sara is running 705 secs || 191384222 markings, 339661399 edges, 302611 markings/sec, 705 secs
lola: sara is running 710 secs || 192861232 markings, 342324096 edges, 295402 markings/sec, 710 secs
lola: sara is running 715 secs || 194406260 markings, 345075635 edges, 309006 markings/sec, 715 secs
lola: sara is running 720 secs || 195870658 markings, 347708617 edges, 292880 markings/sec, 720 secs
lola: sara is running 725 secs || 197327039 markings, 350312625 edges, 291276 markings/sec, 725 secs
lola: sara is running 730 secs || 198827767 markings, 352996417 edges, 300146 markings/sec, 730 secs
lola: sara is running 735 secs || 200323608 markings, 355688278 edges, 299168 markings/sec, 735 secs
lola: sara is running 740 secs || 201734738 markings, 358200983 edges, 282226 markings/sec, 740 secs
lola: sara is running 745 secs || 203184055 markings, 360782975 edges, 289863 markings/sec, 745 secs
lola: sara is running 750 secs || 204686950 markings, 363467657 edges, 300579 markings/sec, 750 secs
lola: sara is running 755 secs || 206160586 markings, 366110356 edges, 294727 markings/sec, 755 secs
lola: sara is running 760 secs || 207650101 markings, 368765960 edges, 297903 markings/sec, 760 secs
lola: sara is running 765 secs || 209123672 markings, 371387719 edges, 294714 markings/sec, 765 secs
lola: sara is running 770 secs || 210544734 markings, 373946224 edges, 284212 markings/sec, 770 secs
lola: sara is running 775 secs || 211695565 markings, 376006376 edges, 230166 markings/sec, 775 secs
lola: sara is running 780 secs || 213142362 markings, 378610686 edges, 289359 markings/sec, 780 secs
lola: sara is running 785 secs || 214628438 markings, 381283085 edges, 297215 markings/sec, 785 secs
lola: sara is running 790 secs || 215998293 markings, 383740063 edges, 273971 markings/sec, 790 secs
lola: sara is running 795 secs || 217381602 markings, 386206113 edges, 276662 markings/sec, 795 secs
lola: sara is running 800 secs || 218782204 markings, 388712041 edges, 280120 markings/sec, 800 secs
lola: sara is running 805 secs || 220176604 markings, 391209609 edges, 278880 markings/sec, 805 secs
lola: sara is running 810 secs || 221548168 markings, 393660125 edges, 274313 markings/sec, 810 secs
lola: sara is running 815 secs || 222902223 markings, 396083818 edges, 270811 markings/sec, 815 secs
lola: sara is running 820 secs || 224302202 markings, 398599755 edges, 279996 markings/sec, 820 secs
lola: sara is running 825 secs || 225749471 markings, 401210270 edges, 289454 markings/sec, 825 secs
lola: sara is running 830 secs || 227186024 markings, 403771504 edges, 287311 markings/sec, 830 secs
lola: sara is running 835 secs || 228596405 markings, 406295452 edges, 282076 markings/sec, 835 secs
lola: sara is running 840 secs || 229973332 markings, 408765010 edges, 275385 markings/sec, 840 secs
lola: sara is running 845 secs || 231359090 markings, 411262441 edges, 277152 markings/sec, 845 secs
lola: sara is running 850 secs || 232796979 markings, 413843121 edges, 287578 markings/sec, 850 secs
lola: sara is running 855 secs || 233887831 markings, 415800981 edges, 218170 markings/sec, 855 secs
lola: sara is running 860 secs || 235279368 markings, 418295445 edges, 278307 markings/sec, 860 secs
lola: sara is running 865 secs || 236682082 markings, 420817314 edges, 280543 markings/sec, 865 secs
lola: sara is running 870 secs || 238075975 markings, 423318166 edges, 278779 markings/sec, 870 secs
lola: sara is running 875 secs || 239501663 markings, 425855014 edges, 285138 markings/sec, 875 secs
lola: sara is running 880 secs || 240882598 markings, 428316019 edges, 276187 markings/sec, 880 secs
lola: sara is running 885 secs || 242220911 markings, 430735690 edges, 267663 markings/sec, 885 secs
lola: sara is running 890 secs || 243022411 markings, 432182548 edges, 160300 markings/sec, 890 secs
lola: sara is running 895 secs || 243726649 markings, 433446690 edges, 140848 markings/sec, 895 secs
lola: sara is running 900 secs || 244607811 markings, 435047659 edges, 176232 markings/sec, 900 secs
lola: sara is running 905 secs || 245157596 markings, 436039191 edges, 109957 markings/sec, 905 secs
lola: sara is running 910 secs || 246186519 markings, 437910773 edges, 205785 markings/sec, 910 secs
lola: sara is running 915 secs || 246952679 markings, 439298822 edges, 153232 markings/sec, 915 secs
lola: sara is running 920 secs || 247907538 markings, 441019933 edges, 190972 markings/sec, 920 secs
lola: sara is running 925 secs || 248655905 markings, 442355112 edges, 149673 markings/sec, 925 secs
lola: sara is running 930 secs || 249125961 markings, 443195298 edges, 94011 markings/sec, 930 secs
lola: sara is running 935 secs || 249814751 markings, 444415546 edges, 137758 markings/sec, 935 secs
lola: sara is running 940 secs || 250568396 markings, 445775799 edges, 150729 markings/sec, 940 secs
lola: sara is running 945 secs || 251181003 markings, 446883973 edges, 122521 markings/sec, 945 secs
lola: sara is running 950 secs || 251823368 markings, 448047898 edges, 128473 markings/sec, 950 secs
lola: sara is running 955 secs || 252554820 markings, 449365457 edges, 146290 markings/sec, 955 secs
lola: sara is running 960 secs || 253183768 markings, 450479599 edges, 125790 markings/sec, 960 secs
lola: sara is running 965 secs || 254279816 markings, 452450091 edges, 219210 markings/sec, 965 secs
lola: sara is running 970 secs || 254954260 markings, 453673610 edges, 134889 markings/sec, 970 secs
lola: sara is running 975 secs || 255638437 markings, 454910502 edges, 136835 markings/sec, 975 secs
lola: sara is running 980 secs || 256283171 markings, 456072658 edges, 128947 markings/sec, 980 secs
lola: sara is running 985 secs || 256893496 markings, 457168549 edges, 122065 markings/sec, 985 secs
lola: sara is running 990 secs || 257646601 markings, 458506052 edges, 150621 markings/sec, 990 secs
lola: sara is running 995 secs || 258798150 markings, 460592324 edges, 230310 markings/sec, 995 secs
lola: sara is running 1000 secs || 259275636 markings, 461447535 edges, 95497 markings/sec, 1000 secs
lola: sara is running 1005 secs || 260189216 markings, 463073865 edges, 182716 markings/sec, 1005 secs
lola: sara is running 1010 secs || 260943586 markings, 464417905 edges, 150874 markings/sec, 1010 secs
lola: sara is running 1015 secs || 261778024 markings, 465902247 edges, 166888 markings/sec, 1015 secs
lola: sara is running 1020 secs || 262619247 markings, 467412545 edges, 168245 markings/sec, 1020 secs
lola: sara is running 1025 secs || 263001065 markings, 468099720 edges, 76364 markings/sec, 1025 secs
lola: sara is running 1030 secs || 263836085 markings, 469583473 edges, 167004 markings/sec, 1030 secs
lola: sara is running 1035 secs || 264661974 markings, 471055084 edges, 165178 markings/sec, 1035 secs
lola: sara is running 1040 secs || 265554736 markings, 472653235 edges, 178552 markings/sec, 1040 secs
lola: sara is running 1045 secs || 266287364 markings, 473956498 edges, 146526 markings/sec, 1045 secs
lola: sara is running 1050 secs || 267099044 markings, 475420828 edges, 162336 markings/sec, 1050 secs
lola: sara is running 1055 secs || 268077211 markings, 477193672 edges, 195633 markings/sec, 1055 secs
lola: sara is running 1060 secs || 269035288 markings, 478921563 edges, 191615 markings/sec, 1060 secs
lola: sara is running 1065 secs || 269486865 markings, 479736898 edges, 90315 markings/sec, 1065 secs
lola: sara is running 1070 secs || 269959305 markings, 480593112 edges, 94488 markings/sec, 1070 secs
lola: sara is running 1075 secs || 270519211 markings, 481601754 edges, 111981 markings/sec, 1075 secs
lola: sara is running 1080 secs || 271232033 markings, 482899134 edges, 142564 markings/sec, 1080 secs
lola: sara is running 1085 secs || 272247905 markings, 484729460 edges, 203174 markings/sec, 1085 secs
lola: sara is running 1090 secs || 273279009 markings, 486589833 edges, 206221 markings/sec, 1090 secs
lola: sara is running 1095 secs || 274024485 markings, 487932154 edges, 149095 markings/sec, 1095 secs
lola: sara is running 1100 secs || 274967827 markings, 489658619 edges, 188668 markings/sec, 1100 secs
lola: sara is running 1105 secs || 275432225 markings, 490506285 edges, 92880 markings/sec, 1105 secs
lola: sara is running 1110 secs || 276153714 markings, 491794273 edges, 144298 markings/sec, 1110 secs
lola: sara is running 1115 secs || 276613360 markings, 492628526 edges, 91929 markings/sec, 1115 secs
lola: sara is running 1120 secs || 277461101 markings, 494139484 edges, 169548 markings/sec, 1120 secs
lola: sara is running 1125 secs || 278264535 markings, 495581534 edges, 160687 markings/sec, 1125 secs
lola: sara is running 1130 secs || 279199081 markings, 497241927 edges, 186909 markings/sec, 1130 secs
lola: sara is running 1135 secs || 280171009 markings, 498981593 edges, 194386 markings/sec, 1135 secs
lola: sara is running 1140 secs || 280698582 markings, 499928305 edges, 105515 markings/sec, 1140 secs
lola: sara is running 1145 secs || 281404494 markings, 501210591 edges, 141182 markings/sec, 1145 secs
lola: sara is running 1150 secs || 282031625 markings, 502355523 edges, 125426 markings/sec, 1150 secs
lola: sara is running 1155 secs || 282652823 markings, 503479790 edges, 124240 markings/sec, 1155 secs
lola: sara is running 1160 secs || 283551008 markings, 505101770 edges, 179637 markings/sec, 1160 secs
lola: sara is running 1165 secs || 283991637 markings, 505908942 edges, 88126 markings/sec, 1165 secs
lola: sara is running 1170 secs || 284474839 markings, 506782172 edges, 96640 markings/sec, 1170 secs
lola: sara is running 1175 secs || 285038124 markings, 507792767 edges, 112657 markings/sec, 1175 secs
lola: sara is running 1180 secs || 285825186 markings, 509227589 edges, 157412 markings/sec, 1180 secs
lola: sara is running 1185 secs || 286600992 markings, 510622938 edges, 155161 markings/sec, 1185 secs
lola: sara is running 1190 secs || 287172838 markings, 511654616 edges, 114369 markings/sec, 1190 secs
lola: sara is running 1195 secs || 287871706 markings, 512930642 edges, 139774 markings/sec, 1195 secs
lola: sara is running 1200 secs || 288384608 markings, 513860251 edges, 102580 markings/sec, 1200 secs
lola: sara is running 1205 secs || 288853517 markings, 514714916 edges, 93782 markings/sec, 1205 secs
lola: sara is running 1210 secs || 289351090 markings, 515615901 edges, 99515 markings/sec, 1210 secs
lola: sara is running 1215 secs || 290026383 markings, 516842936 edges, 135059 markings/sec, 1215 secs
lola: sara is running 1220 secs || 290643428 markings, 517963066 edges, 123409 markings/sec, 1220 secs
lola: sara is running 1225 secs || 291169530 markings, 518922086 edges, 105220 markings/sec, 1225 secs
lola: sara is running 1230 secs || 291720058 markings, 519908140 edges, 110106 markings/sec, 1230 secs
lola: sara is running 1235 secs || 292312576 markings, 520962856 edges, 118504 markings/sec, 1235 secs
lola: sara is running 1240 secs || 292867802 markings, 521969653 edges, 111045 markings/sec, 1240 secs
lola: sara is running 1245 secs || 293458757 markings, 523032159 edges, 118191 markings/sec, 1245 secs
lola: sara is running 1250 secs || 293854091 markings, 523734953 edges, 79067 markings/sec, 1250 secs
lola: sara is running 1255 secs || 294335361 markings, 524601619 edges, 96254 markings/sec, 1255 secs
lola: sara is running 1260 secs || 294792728 markings, 525432420 edges, 91473 markings/sec, 1260 secs
lola: sara is running 1265 secs || 295100308 markings, 525999538 edges, 61516 markings/sec, 1265 secs
lola: sara is running 1270 secs || 295471031 markings, 526664757 edges, 74145 markings/sec, 1270 secs
lola: sara is running 1275 secs || 295915017 markings, 527458843 edges, 88797 markings/sec, 1275 secs
lola: sara is running 1280 secs || 296308972 markings, 528176439 edges, 78791 markings/sec, 1280 secs
lola: sara is running 1285 secs || 296730975 markings, 528941309 edges, 84401 markings/sec, 1285 secs
lola: sara is running 1290 secs || 297016563 markings, 529455089 edges, 57118 markings/sec, 1290 secs
lola: sara is running 1295 secs || 297470956 markings, 530282368 edges, 90879 markings/sec, 1295 secs
lola: sara is running 1300 secs || 297862969 markings, 531001933 edges, 78403 markings/sec, 1300 secs
lola: sara is running 1305 secs || 298308920 markings, 531803172 edges, 89190 markings/sec, 1305 secs
lola: sara is running 1310 secs || 298806268 markings, 532686949 edges, 99470 markings/sec, 1310 secs
lola: sara is running 1315 secs || 299217952 markings, 533424941 edges, 82337 markings/sec, 1315 secs
lola: sara is running 1320 secs || 299750756 markings, 534382997 edges, 106561 markings/sec, 1320 secs
lola: sara is running 1325 secs || 300139200 markings, 535081724 edges, 77689 markings/sec, 1325 secs
lola: sara is running 1330 secs || 300613969 markings, 535940994 edges, 94954 markings/sec, 1330 secs
lola: sara is running 1335 secs || 301224196 markings, 537049089 edges, 122045 markings/sec, 1335 secs
lola: sara is running 1340 secs || 301777767 markings, 538053372 edges, 110714 markings/sec, 1340 secs
lola: sara is running 1345 secs || 302217536 markings, 538842555 edges, 87954 markings/sec, 1345 secs
lola: sara is running 1350 secs || 302609099 markings, 539546799 edges, 78313 markings/sec, 1350 secs
lola: sara is running 1355 secs || 303036924 markings, 540324414 edges, 85565 markings/sec, 1355 secs
lola: sara is running 1360 secs || 303467584 markings, 541095300 edges, 86132 markings/sec, 1360 secs
lola: sara is running 1365 secs || 303769016 markings, 541627475 edges, 60286 markings/sec, 1365 secs
lola: sara is running 1370 secs || 304069330 markings, 542166110 edges, 60063 markings/sec, 1370 secs
lola: sara is running 1375 secs || 304498772 markings, 542950118 edges, 85888 markings/sec, 1375 secs
lola: sara is running 1380 secs || 305049509 markings, 543948825 edges, 110147 markings/sec, 1380 secs
lola: sara is running 1385 secs || 305345233 markings, 544482669 edges, 59145 markings/sec, 1385 secs
lola: sara is running 1390 secs || 305473374 markings, 544714421 edges, 25628 markings/sec, 1390 secs
lola: sara is running 1395 secs || 305624792 markings, 544992124 edges, 30284 markings/sec, 1395 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F (((85 <= p19) AND (866 <= p50) AND ((p4 <= 0) OR (p24 <= 613) OR (p55 <= 336)) AND ((p22 <= 678) OR (p53 <= 271)) AND ((p23 <= 914) OR (p54 <= 35)) AND (((51 <= p13) AND (717 <= p15) AND (900 <= p44) AND (234 <= p46)) OR ((175 <= p15) AND (625 <= p16) AND (776 <= p46) AND (326 <= p47) AND (34 <= p12) AND (655 <= p17) AND (707 <= p20) AND (917 <= p43) AND (296 <= p48) AND (244 <= p51) AND... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((85 <= p19) AND (866 <= p50) AND ((p4 <= 0) OR (p24 <= 613) OR (p55 <= 336)) AND ((p22 <= 678) OR (p53 <= 271)) AND ((p23 <= 914) OR (p54 <= 35)) AND (((51 <= p13) AND (717 <= p15) AND (900 <= p44) AND (234 <= p46)) OR ((175 <= p15) AND (625 <= p16) AND (776 <= p46) AND (326 <= p47) AND (34 <= p12) AND (655 <= p17) AND (707 <= p20) AND (917 <= p43) AND (296 <= p48) AND (244 <= p51) AND... (shortened)
lola: processed formula length: 451
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((85 <= p19) AND (866 <= p50) AND ((p4 <= 0) OR (p24 <= 613) OR (p55 <= 336)) AND ((p22 <= 678) OR (p53 <= 271)) AND ((p23 <= 914) OR (p54 <= 35)) AND (((51 <= p13) AND (717 <= p15) AND (900 <= p44) AND (234 <= p46)) OR ((175 <= p15) AND (625 <= p16) AND (776 <= p46) AND (326 <= p47) AND (34 <= p12) AND (655 <= p17) AND (707 <= p20) AND (917 <= p43) AND (296 <= p48) AND (244 <= p51) AND ((p9 <= 0) OR (p24 <= 556) OR (p55 <= 393)))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 684 literals and 48 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityFireability-2-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 1270598 markings, 2240002 edges, 254120 markings/sec, 0 secs
lola: sara is running 5 secs || 2017607 markings, 3559659 edges, 149402 markings/sec, 5 secs
lola: sara is running 10 secs || 2582164 markings, 4557631 edges, 112911 markings/sec, 10 secs
lola: sara is running 15 secs || 3182490 markings, 5615889 edges, 120065 markings/sec, 15 secs
lola: sara is running 20 secs || 4243522 markings, 7485444 edges, 212206 markings/sec, 20 secs
lola: sara is running 25 secs || 5701390 markings, 10058874 edges, 291574 markings/sec, 25 secs
lola: sara is running 30 secs || 6678894 markings, 11785792 edges, 195501 markings/sec, 30 secs
lola: sara is running 35 secs || 7444161 markings, 13134749 edges, 153053 markings/sec, 35 secs
lola: sara is running 40 secs || 8011505 markings, 14136733 edges, 113469 markings/sec, 40 secs
lola: sara is running 45 secs || 8649046 markings, 15261384 edges, 127508 markings/sec, 45 secs
lola: sara is running 50 secs || 9344785 markings, 16490849 edges, 139148 markings/sec, 50 secs
lola: sara is running 55 secs || 9887549 markings, 17447058 edges, 108553 markings/sec, 55 secs
lola: sara is running 60 secs || 10855543 markings, 19154826 edges, 193599 markings/sec, 60 secs
lola: sara is running 65 secs || 11661426 markings, 20578610 edges, 161177 markings/sec, 65 secs
lola: sara is running 70 secs || 12674656 markings, 22371676 edges, 202646 markings/sec, 70 secs
lola: sara is running 75 secs || 13481332 markings, 23792220 edges, 161335 markings/sec, 75 secs
lola: sara is running 80 secs || 14191030 markings, 25045318 edges, 141940 markings/sec, 80 secs
lola: sara is running 85 secs || 15160229 markings, 26755958 edges, 193840 markings/sec, 85 secs
lola: sara is running 90 secs || 15744980 markings, 27786222 edges, 116950 markings/sec, 90 secs
lola: sara is running 95 secs || 16411726 markings, 28962970 edges, 133349 markings/sec, 95 secs
lola: sara is running 100 secs || 16894059 markings, 29816659 edges, 96467 markings/sec, 100 secs
lola: sara is running 105 secs || 18087927 markings, 31924428 edges, 238774 markings/sec, 105 secs
lola: sara is running 110 secs || 19192746 markings, 33873568 edges, 220964 markings/sec, 110 secs
lola: sara is running 115 secs || 20118888 markings, 35510838 edges, 185228 markings/sec, 115 secs
lola: sara is running 120 secs || 20833368 markings, 36774963 edges, 142896 markings/sec, 120 secs
lola: sara is running 125 secs || 21984910 markings, 38812390 edges, 230308 markings/sec, 125 secs
lola: sara is running 130 secs || 22567768 markings, 39840970 edges, 116572 markings/sec, 130 secs
lola: sara is running 135 secs || 23906907 markings, 42203887 edges, 267828 markings/sec, 135 secs
lola: sara is running 140 secs || 24795118 markings, 43774103 edges, 177642 markings/sec, 140 secs
lola: sara is running 145 secs || 25268525 markings, 44609682 edges, 94681 markings/sec, 145 secs
lola: sara is running 150 secs || 26196190 markings, 46245138 edges, 185533 markings/sec, 150 secs
lola: sara is running 155 secs || 27222769 markings, 48060648 edges, 205316 markings/sec, 155 secs
lola: sara is running 160 secs || 28155668 markings, 49711079 edges, 186580 markings/sec, 160 secs
lola: sara is running 165 secs || 28879009 markings, 50987703 edges, 144668 markings/sec, 165 secs
lola: sara is running 170 secs || 29592721 markings, 52249532 edges, 142742 markings/sec, 170 secs
lola: sara is running 175 secs || 30314657 markings, 53530221 edges, 144387 markings/sec, 175 secs
lola: sara is running 180 secs || 30993179 markings, 54729261 edges, 135704 markings/sec, 180 secs
lola: sara is running 185 secs || 31594799 markings, 55789901 edges, 120324 markings/sec, 185 secs
lola: sara is running 190 secs || 32236209 markings, 56924019 edges, 128282 markings/sec, 190 secs
lola: sara is running 195 secs || 32905969 markings, 58109897 edges, 133952 markings/sec, 195 secs
lola: sara is running 200 secs || 33978857 markings, 60007210 edges, 214578 markings/sec, 200 secs
lola: sara is running 205 secs || 34640826 markings, 61177649 edges, 132394 markings/sec, 205 secs
lola: sara is running 210 secs || 35166726 markings, 62106088 edges, 105180 markings/sec, 210 secs
lola: sara is running 215 secs || 35827542 markings, 63273100 edges, 132163 markings/sec, 215 secs
lola: sara is running 220 secs || 36532280 markings, 64517767 edges, 140948 markings/sec, 220 secs
lola: sara is running 225 secs || 37161311 markings, 65632472 edges, 125806 markings/sec, 225 secs
lola: sara is running 230 secs || 38207561 markings, 67480288 edges, 209250 markings/sec, 230 secs
lola: sara is running 235 secs || 38845370 markings, 68609668 edges, 127562 markings/sec, 235 secs
lola: sara is running 240 secs || 39317441 markings, 69443389 edges, 94414 markings/sec, 240 secs
lola: sara is running 245 secs || 40037904 markings, 70716087 edges, 144093 markings/sec, 245 secs
lola: sara is running 250 secs || 41466167 markings, 73245860 edges, 285653 markings/sec, 250 secs
lola: sara is running 255 secs || 42063872 markings, 74304628 edges, 119541 markings/sec, 255 secs
lola: sara is running 260 secs || 43038980 markings, 76034596 edges, 195022 markings/sec, 260 secs
lola: sara is running 265 secs || 44298761 markings, 78264627 edges, 251956 markings/sec, 265 secs
lola: sara is running 270 secs || 45569570 markings, 80521684 edges, 254162 markings/sec, 270 secs
lola: sara is running 275 secs || 46483336 markings, 82136963 edges, 182753 markings/sec, 275 secs
lola: sara is running 280 secs || 47112159 markings, 83246510 edges, 125765 markings/sec, 280 secs
lola: sara is running 285 secs || 47709127 markings, 84303266 edges, 119394 markings/sec, 285 secs
lola: sara is running 290 secs || 49142039 markings, 86837705 edges, 286582 markings/sec, 290 secs
lola: sara is running 295 secs || 50384869 markings, 89035698 edges, 248566 markings/sec, 295 secs
lola: sara is running 300 secs || 51263079 markings, 90585873 edges, 175642 markings/sec, 300 secs
lola: sara is running 305 secs || 51928601 markings, 91762830 edges, 133104 markings/sec, 305 secs
lola: sara is running 310 secs || 52455958 markings, 92699161 edges, 105471 markings/sec, 310 secs
lola: sara is running 315 secs || 53242719 markings, 94093463 edges, 157352 markings/sec, 315 secs
lola: sara is running 320 secs || 53984944 markings, 95406425 edges, 148445 markings/sec, 320 secs
lola: sara is running 325 secs || 54636756 markings, 96556099 edges, 130362 markings/sec, 325 secs
lola: sara is running 330 secs || 55275154 markings, 97684845 edges, 127680 markings/sec, 330 secs
lola: sara is running 335 secs || 55898329 markings, 98788614 edges, 124635 markings/sec, 335 secs
lola: sara is running 340 secs || 57045760 markings, 100816945 edges, 229486 markings/sec, 340 secs
lola: sara is running 345 secs || 57588888 markings, 101777990 edges, 108626 markings/sec, 345 secs
lola: sara is running 350 secs || 58113662 markings, 102705252 edges, 104955 markings/sec, 350 secs
lola: sara is running 355 secs || 58682575 markings, 103713904 edges, 113783 markings/sec, 355 secs
lola: sara is running 360 secs || 59396113 markings, 104980567 edges, 142708 markings/sec, 360 secs
lola: sara is running 365 secs || 60039054 markings, 106119551 edges, 128588 markings/sec, 365 secs
lola: sara is running 370 secs || 60587396 markings, 107093512 edges, 109668 markings/sec, 370 secs
lola: sara is running 375 secs || 61244202 markings, 108251051 edges, 131361 markings/sec, 375 secs
lola: sara is running 380 secs || 62269019 markings, 110064542 edges, 204963 markings/sec, 380 secs
lola: sara is running 385 secs || 63250860 markings, 111801394 edges, 196368 markings/sec, 385 secs
lola: sara is running 390 secs || 64065794 markings, 113240458 edges, 162987 markings/sec, 390 secs
lola: sara is running 395 secs || 65373855 markings, 115559779 edges, 261612 markings/sec, 395 secs
lola: sara is running 400 secs || 66301497 markings, 117205159 edges, 185528 markings/sec, 400 secs
lola: sara is running 405 secs || 67435245 markings, 119215422 edges, 226750 markings/sec, 405 secs
lola: sara is running 410 secs || 68563523 markings, 121215945 edges, 225656 markings/sec, 410 secs
lola: sara is running 415 secs || 69744207 markings, 123314501 edges, 236137 markings/sec, 415 secs
lola: sara is running 420 secs || 70504556 markings, 124660507 edges, 152070 markings/sec, 420 secs
lola: sara is running 425 secs || 71583407 markings, 126573032 edges, 215770 markings/sec, 425 secs
lola: sara is running 430 secs || 72293474 markings, 127834030 edges, 142013 markings/sec, 430 secs
lola: sara is running 435 secs || 72803741 markings, 128735760 edges, 102053 markings/sec, 435 secs
lola: sara is running 440 secs || 73494395 markings, 129965536 edges, 138131 markings/sec, 440 secs
lola: sara is running 445 secs || 74373293 markings, 131522318 edges, 175780 markings/sec, 445 secs
lola: sara is running 450 secs || 75321064 markings, 133205461 edges, 189554 markings/sec, 450 secs
lola: sara is running 455 secs || 76457233 markings, 135218873 edges, 227234 markings/sec, 455 secs
lola: sara is running 460 secs || 77301321 markings, 136718576 edges, 168818 markings/sec, 460 secs
lola: sara is running 465 secs || 78537134 markings, 138910025 edges, 247163 markings/sec, 465 secs
lola: sara is running 470 secs || 80001529 markings, 141504859 edges, 292879 markings/sec, 470 secs
lola: sara is running 475 secs || 81442278 markings, 144051101 edges, 288150 markings/sec, 475 secs
lola: sara is running 480 secs || 82795427 markings, 146442825 edges, 270630 markings/sec, 480 secs
lola: sara is running 485 secs || 84074153 markings, 148703293 edges, 255745 markings/sec, 485 secs
lola: sara is running 490 secs || 85529705 markings, 151282856 edges, 291110 markings/sec, 490 secs
lola: sara is running 495 secs || 86669623 markings, 153309613 edges, 227984 markings/sec, 495 secs
lola: sara is running 500 secs || 88038913 markings, 155745462 edges, 273858 markings/sec, 500 secs
lola: sara is running 505 secs || 89357525 markings, 158084554 edges, 263722 markings/sec, 505 secs
lola: sara is running 510 secs || 90198634 markings, 159571874 edges, 168222 markings/sec, 510 secs
lola: sara is running 515 secs || 90911876 markings, 160835674 edges, 142648 markings/sec, 515 secs
lola: sara is running 520 secs || 92242555 markings, 163199620 edges, 266136 markings/sec, 520 secs
lola: sara is running 525 secs || 93515712 markings, 165454403 edges, 254631 markings/sec, 525 secs
lola: sara is running 530 secs || 94845323 markings, 167814258 edges, 265922 markings/sec, 530 secs
lola: sara is running 535 secs || 96266164 markings, 170339188 edges, 284168 markings/sec, 535 secs
lola: sara is running 540 secs || 97439367 markings, 172424296 edges, 234641 markings/sec, 540 secs
lola: sara is running 545 secs || 98493878 markings, 174294811 edges, 210902 markings/sec, 545 secs
lola: sara is running 550 secs || 99554874 markings, 176177344 edges, 212199 markings/sec, 550 secs
lola: sara is running 555 secs || 100674954 markings, 178169340 edges, 224016 markings/sec, 555 secs
lola: sara is running 560 secs || 101394289 markings, 179441537 edges, 143867 markings/sec, 560 secs
lola: sara is running 565 secs || 102499070 markings, 181393522 edges, 220956 markings/sec, 565 secs
lola: sara is running 570 secs || 103571358 markings, 183301312 edges, 214458 markings/sec, 570 secs
lola: sara is running 575 secs || 104704238 markings, 185312766 edges, 226576 markings/sec, 575 secs
lola: sara is running 580 secs || 105899494 markings, 187430774 edges, 239051 markings/sec, 580 secs
lola: sara is running 585 secs || 107273542 markings, 189863705 edges, 274810 markings/sec, 585 secs
lola: sara is running 590 secs || 108720139 markings, 192420758 edges, 289319 markings/sec, 590 secs
lola: sara is running 595 secs || 110007318 markings, 194701152 edges, 257436 markings/sec, 595 secs
lola: sara is running 600 secs || 111360785 markings, 197098464 edges, 270693 markings/sec, 600 secs
lola: sara is running 605 secs || 112814108 markings, 199673849 edges, 290665 markings/sec, 605 secs
lola: sara is running 610 secs || 113939022 markings, 201673912 edges, 224983 markings/sec, 610 secs
lola: sara is running 615 secs || 114825525 markings, 203248799 edges, 177301 markings/sec, 615 secs
lola: sara is running 620 secs || 115842913 markings, 205054721 edges, 203478 markings/sec, 620 secs
lola: sara is running 625 secs || 117270488 markings, 207590712 edges, 285515 markings/sec, 625 secs
lola: sara is running 630 secs || 118477214 markings, 209744130 edges, 241345 markings/sec, 630 secs
lola: sara is running 635 secs || 119835120 markings, 212161912 edges, 271581 markings/sec, 635 secs
lola: sara is running 640 secs || 121055950 markings, 214352013 edges, 244166 markings/sec, 640 secs
lola: sara is running 645 secs || 122107491 markings, 216232430 edges, 210308 markings/sec, 645 secs
lola: sara is running 650 secs || 122926926 markings, 217688227 edges, 163887 markings/sec, 650 secs
lola: sara is running 655 secs || 124334239 markings, 220185609 edges, 281463 markings/sec, 655 secs
lola: sara is running 660 secs || 125474225 markings, 222212691 edges, 227997 markings/sec, 660 secs
lola: sara is running 665 secs || 126773289 markings, 224524005 edges, 259813 markings/sec, 665 secs
lola: sara is running 670 secs || 128115089 markings, 226908131 edges, 268360 markings/sec, 670 secs
lola: sara is running 675 secs || 129538253 markings, 229444501 edges, 284633 markings/sec, 675 secs
lola: sara is running 680 secs || 130989237 markings, 232009531 edges, 290197 markings/sec, 680 secs
lola: sara is running 685 secs || 132402741 markings, 234530550 edges, 282701 markings/sec, 685 secs
lola: sara is running 690 secs || 133735564 markings, 236900343 edges, 266565 markings/sec, 690 secs
lola: sara is running 695 secs || 134837638 markings, 238849046 edges, 220415 markings/sec, 695 secs
lola: sara is running 700 secs || 136046879 markings, 241000010 edges, 241848 markings/sec, 700 secs
lola: sara is running 705 secs || 137361212 markings, 243345442 edges, 262867 markings/sec, 705 secs
lola: sara is running 710 secs || 138368616 markings, 245129395 edges, 201481 markings/sec, 710 secs
lola: sara is running 715 secs || 139679115 markings, 247462044 edges, 262100 markings/sec, 715 secs
lola: sara is running 720 secs || 140649211 markings, 249189849 edges, 194019 markings/sec, 720 secs
lola: sara is running 725 secs || 141793162 markings, 251225270 edges, 228790 markings/sec, 725 secs
lola: sara is running 730 secs || 143176477 markings, 253675133 edges, 276663 markings/sec, 730 secs
lola: sara is running 735 secs || 144253313 markings, 255589825 edges, 215367 markings/sec, 735 secs
lola: sara is running 740 secs || 145544571 markings, 257885157 edges, 258252 markings/sec, 740 secs
lola: sara is running 745 secs || 146892874 markings, 260284039 edges, 269661 markings/sec, 745 secs
lola: sara is running 750 secs || 147909041 markings, 262085504 edges, 203233 markings/sec, 750 secs
lola: sara is running 755 secs || 149282775 markings, 264531423 edges, 274747 markings/sec, 755 secs
lola: sara is running 760 secs || 150341148 markings, 266430368 edges, 211675 markings/sec, 760 secs
lola: sara is running 765 secs || 151518631 markings, 268540109 edges, 235497 markings/sec, 765 secs
lola: sara is running 770 secs || 152937728 markings, 271078473 edges, 283819 markings/sec, 770 secs
lola: sara is running 775 secs || 154319123 markings, 273533240 edges, 276279 markings/sec, 775 secs
lola: sara is running 780 secs || 155078654 markings, 274893200 edges, 151906 markings/sec, 780 secs
lola: sara is running 785 secs || 156034369 markings, 276611069 edges, 191143 markings/sec, 785 secs
lola: sara is running 790 secs || 157314859 markings, 278892543 edges, 256098 markings/sec, 790 secs
lola: sara is running 795 secs || 158504137 markings, 281014166 edges, 237856 markings/sec, 795 secs
lola: sara is running 800 secs || 159483358 markings, 282747670 edges, 195844 markings/sec, 800 secs
lola: sara is running 805 secs || 160539025 markings, 284634440 edges, 211133 markings/sec, 805 secs
lola: sara is running 810 secs || 161454655 markings, 286269298 edges, 183126 markings/sec, 810 secs
lola: sara is running 815 secs || 162918083 markings, 288873158 edges, 292686 markings/sec, 815 secs
lola: sara is running 820 secs || 164308836 markings, 291343956 edges, 278151 markings/sec, 820 secs
lola: sara is running 825 secs || 165049362 markings, 292672685 edges, 148105 markings/sec, 825 secs
lola: sara is running 830 secs || 166366739 markings, 295042200 edges, 263475 markings/sec, 830 secs
lola: sara is running 835 secs || 167591668 markings, 297234610 edges, 244986 markings/sec, 835 secs
lola: sara is running 840 secs || 168930282 markings, 299620699 edges, 267723 markings/sec, 840 secs
lola: sara is running 845 secs || 170138249 markings, 301768485 edges, 241593 markings/sec, 845 secs
lola: sara is running 850 secs || 170976350 markings, 303251814 edges, 167620 markings/sec, 850 secs
lola: sara is running 855 secs || 172258396 markings, 305525790 edges, 256409 markings/sec, 855 secs
lola: sara is running 860 secs || 173605356 markings, 307932594 edges, 269392 markings/sec, 860 secs
lola: sara is running 865 secs || 174942033 markings, 310309564 edges, 267335 markings/sec, 865 secs
lola: sara is running 870 secs || 176084381 markings, 312345484 edges, 228470 markings/sec, 870 secs
lola: sara is running 875 secs || 177435706 markings, 314737451 edges, 270265 markings/sec, 875 secs
lola: sara is running 880 secs || 178668633 markings, 316940375 edges, 246585 markings/sec, 880 secs
lola: sara is running 885 secs || 179633291 markings, 318646543 edges, 192932 markings/sec, 885 secs
lola: sara is running 890 secs || 180384830 markings, 319990825 edges, 150308 markings/sec, 890 secs
lola: sara is running 895 secs || 181645115 markings, 322250923 edges, 252057 markings/sec, 895 secs
lola: sara is running 900 secs || 182933723 markings, 324566432 edges, 257722 markings/sec, 900 secs
lola: sara is running 905 secs || 184350177 markings, 327080062 edges, 283291 markings/sec, 905 secs
lola: sara is running 910 secs || 185591099 markings, 329286328 edges, 248184 markings/sec, 910 secs
lola: sara is running 915 secs || 186561130 markings, 331030672 edges, 194006 markings/sec, 915 secs
lola: sara is running 920 secs || 187541237 markings, 332781693 edges, 196021 markings/sec, 920 secs
lola: sara is running 925 secs || 188262569 markings, 334076871 edges, 144266 markings/sec, 925 secs
lola: sara is running 930 secs || 189219463 markings, 335780832 edges, 191379 markings/sec, 930 secs
lola: sara is running 935 secs || 189892774 markings, 336991955 edges, 134662 markings/sec, 935 secs
lola: sara is running 940 secs || 190690541 markings, 338420865 edges, 159553 markings/sec, 940 secs
lola: sara is running 945 secs || 191833053 markings, 340465701 edges, 228502 markings/sec, 945 secs
lola: sara is running 950 secs || 193176979 markings, 342885720 edges, 268785 markings/sec, 950 secs
lola: sara is running 955 secs || 194594680 markings, 345414768 edges, 283540 markings/sec, 955 secs
lola: sara is running 960 secs || 195990601 markings, 347920639 edges, 279184 markings/sec, 960 secs
lola: sara is running 965 secs || 197123456 markings, 349949851 edges, 226571 markings/sec, 965 secs
lola: sara is running 970 secs || 198501234 markings, 352405767 edges, 275556 markings/sec, 970 secs
lola: sara is running 975 secs || 199624560 markings, 354427990 edges, 224665 markings/sec, 975 secs
lola: sara is running 980 secs || 200814981 markings, 356559388 edges, 238084 markings/sec, 980 secs
lola: sara is running 985 secs || 202096801 markings, 358844741 edges, 256364 markings/sec, 985 secs
lola: sara is running 990 secs || 203256418 markings, 360910885 edges, 231923 markings/sec, 990 secs
lola: sara is running 995 secs || 204468933 markings, 363079185 edges, 242503 markings/sec, 995 secs
lola: sara is running 1000 secs || 205823503 markings, 365506772 edges, 270914 markings/sec, 1000 secs
lola: sara is running 1005 secs || 206858895 markings, 367361736 edges, 207078 markings/sec, 1005 secs
lola: sara is running 1010 secs || 208148645 markings, 369647726 edges, 257950 markings/sec, 1010 secs
lola: sara is running 1015 secs || 209551744 markings, 372150620 edges, 280620 markings/sec, 1015 secs
lola: sara is running 1020 secs || 210966804 markings, 374705565 edges, 283012 markings/sec, 1020 secs
lola: sara is running 1025 secs || 212239696 markings, 376986025 edges, 254578 markings/sec, 1025 secs
lola: sara is running 1030 secs || 213647622 markings, 379517445 edges, 281585 markings/sec, 1030 secs
lola: sara is running 1035 secs || 214999452 markings, 381942478 edges, 270366 markings/sec, 1035 secs
lola: sara is running 1040 secs || 216425637 markings, 384499657 edges, 285237 markings/sec, 1040 secs
lola: sara is running 1045 secs || 217767646 markings, 386903528 edges, 268402 markings/sec, 1045 secs
lola: sara is running 1050 secs || 219130493 markings, 389338495 edges, 272569 markings/sec, 1050 secs
lola: sara is running 1055 secs || 220468530 markings, 391737419 edges, 267607 markings/sec, 1055 secs
lola: sara is running 1060 secs || 221419635 markings, 393431699 edges, 190221 markings/sec, 1060 secs
lola: sara is running 1065 secs || 222576464 markings, 395502601 edges, 231366 markings/sec, 1065 secs
lola: sara is running 1070 secs || 223818652 markings, 397731903 edges, 248438 markings/sec, 1070 secs
lola: sara is running 1075 secs || 224909046 markings, 399693981 edges, 218079 markings/sec, 1075 secs
lola: sara is running 1080 secs || 226300916 markings, 402195971 edges, 278374 markings/sec, 1080 secs
lola: sara is running 1085 secs || 227714748 markings, 404715913 edges, 282766 markings/sec, 1085 secs
lola: sara is running 1090 secs || 229109111 markings, 407212578 edges, 278873 markings/sec, 1090 secs
lola: sara is running 1095 secs || 230385550 markings, 409518412 edges, 255288 markings/sec, 1095 secs
lola: sara is running 1100 secs || 231492502 markings, 411503268 edges, 221390 markings/sec, 1100 secs
lola: sara is running 1105 secs || 232823218 markings, 413889771 edges, 266143 markings/sec, 1105 secs
lola: sara is running 1110 secs || 233929159 markings, 415873935 edges, 221188 markings/sec, 1110 secs
lola: sara is running 1115 secs || 235021256 markings, 417831451 edges, 218419 markings/sec, 1115 secs
lola: sara is running 1120 secs || 236190833 markings, 419929647 edges, 233915 markings/sec, 1120 secs
lola: sara is running 1125 secs || 236639891 markings, 420738838 edges, 89812 markings/sec, 1125 secs
lola: sara is running 1130 secs || 237287524 markings, 421905829 edges, 129527 markings/sec, 1130 secs
lola: sara is running 1135 secs || 238116239 markings, 423389340 edges, 165743 markings/sec, 1135 secs
lola: sara is running 1140 secs || 238813713 markings, 424630870 edges, 139495 markings/sec, 1140 secs
lola: sara is running 1145 secs || 239922344 markings, 426607213 edges, 221726 markings/sec, 1145 secs
lola: sara is running 1150 secs || 241164410 markings, 428819001 edges, 248413 markings/sec, 1150 secs
lola: sara is running 1155 secs || 242513366 markings, 431263177 edges, 269791 markings/sec, 1155 secs
lola: sara is running 1160 secs || 243569719 markings, 433166590 edges, 211271 markings/sec, 1160 secs
lola: sara is running 1165 secs || 244249075 markings, 434399454 edges, 135871 markings/sec, 1165 secs
lola: sara is running 1170 secs || 244655115 markings, 435131050 edges, 81208 markings/sec, 1170 secs
lola: sara is running 1175 secs || 245238944 markings, 436185001 edges, 116766 markings/sec, 1175 secs
lola: sara is running 1180 secs || 245695527 markings, 437013352 edges, 91317 markings/sec, 1180 secs
lola: sara is running 1185 secs || 246120489 markings, 437785757 edges, 84992 markings/sec, 1185 secs
lola: sara is running 1190 secs || 246563768 markings, 438593463 edges, 88656 markings/sec, 1190 secs
lola: sara is running 1195 secs || 247088274 markings, 439543528 edges, 104901 markings/sec, 1195 secs
lola: sara is running 1200 secs || 247775776 markings, 440785415 edges, 137500 markings/sec, 1200 secs
lola: sara is running 1205 secs || 248219645 markings, 441571938 edges, 88774 markings/sec, 1205 secs
lola: sara is running 1210 secs || 248757158 markings, 442537602 edges, 107503 markings/sec, 1210 secs
lola: sara is running 1215 secs || 249366701 markings, 443622196 edges, 121909 markings/sec, 1215 secs
lola: sara is running 1220 secs || 249889997 markings, 444548432 edges, 104659 markings/sec, 1220 secs
lola: sara is running 1225 secs || 250661541 markings, 445945813 edges, 154309 markings/sec, 1225 secs
lola: sara is running 1230 secs || 251225337 markings, 446964030 edges, 112759 markings/sec, 1230 secs
lola: sara is running 1235 secs || 251712320 markings, 447843560 edges, 97397 markings/sec, 1235 secs
lola: sara is running 1240 secs || 252488791 markings, 449247189 edges, 155294 markings/sec, 1240 secs
lola: sara is running 1245 secs || 253069922 markings, 450275722 edges, 116226 markings/sec, 1245 secs
lola: sara is running 1250 secs || 253906165 markings, 451773578 edges, 167249 markings/sec, 1250 secs
lola: sara is running 1255 secs || 254699890 markings, 453220272 edges, 158745 markings/sec, 1255 secs
lola: sara is running 1260 secs || 255517185 markings, 454694325 edges, 163459 markings/sec, 1260 secs
lola: sara is running 1265 secs || 256238467 markings, 455992085 edges, 144256 markings/sec, 1265 secs
lola: sara is running 1270 secs || 256796383 markings, 456994947 edges, 111583 markings/sec, 1270 secs
lola: sara is running 1275 secs || 257425930 markings, 458116419 edges, 125909 markings/sec, 1275 secs
lola: sara is running 1280 secs || 258123181 markings, 459373563 edges, 139450 markings/sec, 1280 secs
lola: sara is running 1285 secs || 258730607 markings, 460471752 edges, 121485 markings/sec, 1285 secs
lola: sara is running 1290 secs || 259242524 markings, 461387701 edges, 102383 markings/sec, 1290 secs
lola: sara is running 1295 secs || 259667401 markings, 462148631 edges, 84975 markings/sec, 1295 secs
lola: sara is running 1300 secs || 260204855 markings, 463102384 edges, 107491 markings/sec, 1300 secs
lola: sara is running 1305 secs || 261033636 markings, 464576969 edges, 165756 markings/sec, 1305 secs
lola: sara is running 1310 secs || 261940254 markings, 466190946 edges, 181324 markings/sec, 1310 secs
lola: sara is running 1315 secs || 262851664 markings, 467833220 edges, 182282 markings/sec, 1315 secs
lola: sara is running 1320 secs || 263153110 markings, 468370566 edges, 60289 markings/sec, 1320 secs
lola: sara is running 1325 secs || 263646956 markings, 469248084 edges, 98769 markings/sec, 1325 secs
lola: sara is running 1330 secs || 263927889 markings, 469746479 edges, 56187 markings/sec, 1330 secs
lola: sara is running 1335 secs || 264572349 markings, 470895107 edges, 128892 markings/sec, 1335 secs
lola: sara is running 1340 secs || 265456001 markings, 472476665 edges, 176730 markings/sec, 1340 secs
lola: sara is running 1345 secs || 266101018 markings, 473627063 edges, 129003 markings/sec, 1345 secs
lola: sara is running 1350 secs || 266649874 markings, 474621594 edges, 109771 markings/sec, 1350 secs
lola: sara is running 1355 secs || 266987775 markings, 475222983 edges, 67580 markings/sec, 1355 secs
lola: sara is running 1360 secs || 267832665 markings, 476748125 edges, 168978 markings/sec, 1360 secs
lola: sara is running 1365 secs || 268615638 markings, 478167072 edges, 156595 markings/sec, 1365 secs
lola: sara is running 1370 secs || 269172354 markings, 479169079 edges, 111343 markings/sec, 1370 secs
lola: sara is running 1375 secs || 270090481 markings, 480829089 edges, 183625 markings/sec, 1375 secs
lola: sara is running 1380 secs || 270762551 markings, 482041377 edges, 134414 markings/sec, 1380 secs
lola: sara is running 1385 secs || 271600085 markings, 483561955 edges, 167507 markings/sec, 1385 secs
lola: sara is running 1390 secs || 272273815 markings, 484775314 edges, 134746 markings/sec, 1390 secs
lola: sara is running 1395 secs || 273049722 markings, 486182028 edges, 155181 markings/sec, 1395 secs
lola: sara is running 1400 secs || 273944407 markings, 487784502 edges, 178937 markings/sec, 1400 secs
lola: sara is running 1405 secs || 274840337 markings, 489423233 edges, 179186 markings/sec, 1405 secs
lola: sara is running 1410 secs || 275585790 markings, 490779384 edges, 149091 markings/sec, 1410 secs
lola: sara is running 1415 secs || 276427594 markings, 492287460 edges, 168361 markings/sec, 1415 secs
lola: sara is running 1420 secs || 276891831 markings, 493125919 edges, 92847 markings/sec, 1420 secs
lola: sara is running 1425 secs || 277339418 markings, 493920406 edges, 89517 markings/sec, 1425 secs
lola: sara is running 1430 secs || 278294846 markings, 495634997 edges, 191086 markings/sec, 1430 secs
lola: sara is running 1435 secs || 279133312 markings, 497123511 edges, 167693 markings/sec, 1435 secs
lola: sara is running 1440 secs || 279508310 markings, 497792559 edges, 75000 markings/sec, 1440 secs
lola: sara is running 1445 secs || 280258505 markings, 499137818 edges, 150039 markings/sec, 1445 secs
lola: sara is running 1450 secs || 281094163 markings, 500647271 edges, 167132 markings/sec, 1450 secs
lola: sara is running 1455 secs || 282254747 markings, 502763728 edges, 232117 markings/sec, 1455 secs
lola: sara is running 1460 secs || 283264120 markings, 504586045 edges, 201875 markings/sec, 1460 secs
lola: sara is running 1465 secs || 284092417 markings, 506092170 edges, 165659 markings/sec, 1465 secs
lola: sara is running 1470 secs || 284694288 markings, 507170446 edges, 120374 markings/sec, 1470 secs
lola: sara is running 1475 secs || 285315780 markings, 508297489 edges, 124298 markings/sec, 1475 secs
lola: sara is running 1480 secs || 285780614 markings, 509148804 edges, 92967 markings/sec, 1480 secs
lola: sara is running 1485 secs || 286386463 markings, 510241642 edges, 121170 markings/sec, 1485 secs
lola: sara is running 1490 secs || 287136166 markings, 511588303 edges, 149941 markings/sec, 1490 secs
lola: sara is running 1495 secs || 287944707 markings, 513062769 edges, 161708 markings/sec, 1495 secs
lola: sara is running 1500 secs || 288802435 markings, 514620688 edges, 171546 markings/sec, 1500 secs
lola: sara is running 1505 secs || 289651583 markings, 516158187 edges, 169830 markings/sec, 1505 secs
lola: sara is running 1510 secs || 290801581 markings, 518250928 edges, 230000 markings/sec, 1510 secs
lola: sara is running 1515 secs || 291630749 markings, 519749421 edges, 165834 markings/sec, 1515 secs
lola: sara is running 1520 secs || 292240019 markings, 520833658 edges, 121854 markings/sec, 1520 secs
lola: sara is running 1525 secs || 293196085 markings, 522561146 edges, 191213 markings/sec, 1525 secs
lola: sara is running 1530 secs || 294351552 markings, 524630793 edges, 231093 markings/sec, 1530 secs
lola: sara is running 1535 secs || 294999307 markings, 525813673 edges, 129551 markings/sec, 1535 secs
lola: sara is running 1540 secs || 295729090 markings, 527126593 edges, 145957 markings/sec, 1540 secs
lola: sara is running 1545 secs || 296839381 markings, 529139384 edges, 222058 markings/sec, 1545 secs
lola: sara is running 1550 secs || 297940008 markings, 531140523 edges, 220125 markings/sec, 1550 secs
lola: sara is running 1555 secs || 298702230 markings, 532498282 edges, 152444 markings/sec, 1555 secs
lola: sara is running 1560 secs || 299500465 markings, 533932506 edges, 159647 markings/sec, 1560 secs
lola: sara is running 1565 secs || 300209366 markings, 535206227 edges, 141780 markings/sec, 1565 secs
lola: sara is running 1570 secs || 300778838 markings, 536235156 edges, 113894 markings/sec, 1570 secs
lola: sara is running 1575 secs || 301416270 markings, 537399221 edges, 127486 markings/sec, 1575 secs
lola: sara is running 1580 secs || 302401307 markings, 539173217 edges, 197007 markings/sec, 1580 secs
lola: sara is running 1585 secs || 303175281 markings, 540574770 edges, 154795 markings/sec, 1585 secs
lola: sara is running 1590 secs || 303763247 markings, 541617374 edges, 117593 markings/sec, 1590 secs
lola: sara is running 1595 secs || 304417149 markings, 542797134 edges, 130780 markings/sec, 1595 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown yes
lola:
preliminary result: unknown yes
lola: memory consumption: 3380 KB
lola: time consumption: 3029 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityFireability.json
lola: closed JSON file ReachabilityFireability.json
rslt: finished
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 16319528 kB
After kill :
MemTotal: 16427332 kB
MemFree: 16319016 kB

--------------------
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="PaceMaker-PT-none"
export BK_EXAMINATION="ReachabilityFireability"
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 PaceMaker-PT-none, examination is ReachabilityFireability"
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-158987853200463"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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