Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r015-smll-158897552700068.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is AirplaneLD-PT-0100, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552700068
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 18K Mar 24 10:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Mar 24 10:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K Mar 24 09:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 90K Mar 24 09:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 49K Apr 8 14:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 143K Apr 29 06:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Apr 8 14:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 92K Apr 29 06:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 52K Mar 24 07:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 131K Mar 24 07:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 22K Mar 24 06:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Mar 24 06:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Mar 24 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 24 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 796K 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 AirplaneLD-PT-0100-00
FORMULA_NAME AirplaneLD-PT-0100-01
FORMULA_NAME AirplaneLD-PT-0100-02
FORMULA_NAME AirplaneLD-PT-0100-03
FORMULA_NAME AirplaneLD-PT-0100-04
FORMULA_NAME AirplaneLD-PT-0100-05
FORMULA_NAME AirplaneLD-PT-0100-06
FORMULA_NAME AirplaneLD-PT-0100-07
FORMULA_NAME AirplaneLD-PT-0100-08
FORMULA_NAME AirplaneLD-PT-0100-09
FORMULA_NAME AirplaneLD-PT-0100-10
FORMULA_NAME AirplaneLD-PT-0100-11
FORMULA_NAME AirplaneLD-PT-0100-12
FORMULA_NAME AirplaneLD-PT-0100-13
FORMULA_NAME AirplaneLD-PT-0100-14
FORMULA_NAME AirplaneLD-PT-0100-15

=== Now, execution of the tool begins

BK_START 1589261920437

info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ AirplaneLD-PT-0100 @ 3570 seconds

FORMULA AirplaneLD-PT-0100-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AirplaneLD-PT-0100-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AirplaneLD-PT-0100-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AirplaneLD-PT-0100-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AirplaneLD-PT-0100-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AirplaneLD-PT-0100-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AirplaneLD-PT-0100-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AirplaneLD-PT-0100-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AirplaneLD-PT-0100-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AirplaneLD-PT-0100-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AirplaneLD-PT-0100-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AirplaneLD-PT-0100-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AirplaneLD-PT-0100-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AirplaneLD-PT-0100-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AirplaneLD-PT-0100-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ AirplaneLD-PT-0100

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 238
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 1,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 153,
"unfir": 153,
"visible_places": 0,
"visible_transitions": 152
},
"processed": "A (X ((F (NOT FIREABLE(t2_1_on)) U ((NOT FIREABLE(SpeedRW_1) AND NOT FIREABLE(SpeedRW_2) AND NOT FIREABLE(SpeedRW_3) AND NOT FIREABLE(SpeedRW_4) AND NOT FIREABLE(SpeedRW_5) AND NOT FIREABLE(SpeedRW_6) AND NOT FIREABLE(SpeedRW_7) AND NOT FIREABLE(SpeedRW_8) AND NOT FIREABLE(SpeedRW_9) AND NOT FIREABLE(SpeedRW_10) AND NOT FIREABLE(SpeedRW_11) AND NOT FIREABLE(SpeedRW_12) AND NOT FIREABLE(SpeedRW_13) AND NOT FIREABLE(SpeedRW_14) AND NOT FIREABLE(SpeedRW_15) AND NOT FIREABLE(SpeedRW_16) AND NOT FIREABLE(SpeedRW_17) AND NOT FIREABLE(SpeedRW_18) AND NOT FIREABLE(SpeedRW_19) AND NOT FIREABLE(SpeedRW_20) AND NOT FIREABLE(SpeedRW_21) AND NOT FIREABLE(SpeedRW_22) AND NOT FIREABLE(SpeedRW_23) AND NOT FIREABLE(SpeedRW_24) AND NOT FIREABLE(SpeedRW_25) AND NOT FIREABLE(SpeedRW_26) AND NOT FIREABLE(SpeedRW_27) AND NOT FIREABLE(SpeedRW_28) AND NOT FIREABLE(SpeedRW_29) AND NOT FIREABLE(SpeedRW_30) AND NOT FIREABLE(SpeedRW_31) AND NOT FIREABLE(SpeedRW_32) AND NOT FIREABLE(SpeedRW_33) AND NOT FIREABLE(SpeedRW_34) AND NOT FIREABLE(SpeedRW_35) AND NOT FIREABLE(SpeedRW_36) AND NOT FIREABLE(SpeedRW_37) AND NOT FIREABLE(SpeedRW_38) AND NOT FIREABLE(SpeedRW_39) AND NOT FIREABLE(SpeedRW_40) AND NOT FIREABLE(SpeedRW_41) AND NOT FIREABLE(SpeedRW_42) AND NOT FIREABLE(SpeedRW_43) AND NOT FIREABLE(SpeedRW_44) AND NOT FIREABLE(SpeedRW_45) AND NOT FIREABLE(SpeedRW_46) AND NOT FIREABLE(SpeedRW_47) AND NOT FIREABLE(SpeedRW_48) AND NOT FIREABLE(SpeedRW_49) AND NOT FIREABLE(SpeedRW_50) AND NOT FIREABLE(SpeedRW_51) AND NOT FIREABLE(SpeedRW_52) AND NOT FIREABLE(SpeedRW_53) AND NOT FIREABLE(SpeedRW_54) AND NOT FIREABLE(SpeedRW_55) AND NOT FIREABLE(SpeedRW_56) AND NOT FIREABLE(SpeedRW_57) AND NOT FIREABLE(SpeedRW_58) AND NOT FIREABLE(SpeedRW_59) AND NOT FIREABLE(SpeedRW_60) AND NOT FIREABLE(SpeedRW_61) AND NOT FIREABLE(SpeedRW_62) AND NOT FIREABLE(SpeedRW_63) AND NOT FIREABLE(SpeedRW_64) AND NOT FIREABLE(SpeedRW_65) AND NOT FIREABLE(SpeedRW_66) AND NOT FIREABLE(SpeedRW_67) AND NOT FIREABLE(SpeedRW_68) AND NOT FIREABLE(SpeedRW_69) AND NOT FIREABLE(SpeedRW_70) AND NOT FIREABLE(SpeedRW_71) AND NOT FIREABLE(SpeedRW_72) AND NOT FIREABLE(SpeedRW_73) AND NOT FIREABLE(SpeedRW_74) AND NOT FIREABLE(SpeedRW_75) AND NOT FIREABLE(SpeedRW_76) AND NOT FIREABLE(SpeedRW_77) AND NOT FIREABLE(SpeedRW_78) AND NOT FIREABLE(SpeedRW_79) AND NOT FIREABLE(SpeedRW_80) AND NOT FIREABLE(SpeedRW_81) AND NOT FIREABLE(SpeedRW_82) AND NOT FIREABLE(SpeedRW_83) AND NOT FIREABLE(SpeedRW_84) AND NOT FIREABLE(SpeedRW_85) AND NOT FIREABLE(SpeedRW_86) AND NOT FIREABLE(SpeedRW_87) AND NOT FIREABLE(SpeedRW_88) AND NOT FIREABLE(SpeedRW_89) AND NOT FIREABLE(SpeedRW_90) AND NOT FIREABLE(SpeedRW_91) AND NOT FIREABLE(SpeedRW_92) AND NOT FIREABLE(SpeedRW_93) AND NOT FIREABLE(SpeedRW_94) AND NOT FIREABLE(SpeedRW_95) AND NOT FIREABLE(SpeedRW_96) AND NOT FIREABLE(SpeedRW_97) AND NOT FIREABLE(SpeedRW_98) AND NOT FIREABLE(SpeedRW_99) AND NOT FIREABLE(SpeedRW_100)) OR NOT FIREABLE(t2_1_on) OR (NOT FIREABLE(t4_2_1) AND NOT FIREABLE(t4_2_2) AND NOT FIREABLE(t4_2_3) AND NOT FIREABLE(t4_2_4) AND NOT FIREABLE(t4_2_5) AND NOT FIREABLE(t4_2_6) AND NOT FIREABLE(t4_2_7) AND NOT FIREABLE(t4_2_8) AND NOT FIREABLE(t4_2_9) AND NOT FIREABLE(t4_2_10) AND NOT FIREABLE(t4_2_11) AND NOT FIREABLE(t4_2_12) AND NOT FIREABLE(t4_2_13) AND NOT FIREABLE(t4_2_14) AND NOT FIREABLE(t4_2_15) AND NOT FIREABLE(t4_2_16) AND NOT FIREABLE(t4_2_17) AND NOT FIREABLE(t4_2_18) AND NOT FIREABLE(t4_2_19) AND NOT FIREABLE(t4_2_20) AND NOT FIREABLE(t4_2_21) AND NOT FIREABLE(t4_2_22) AND NOT FIREABLE(t4_2_23) AND NOT FIREABLE(t4_2_24) AND NOT FIREABLE(t4_2_25) AND NOT FIREABLE(t4_2_26) AND NOT FIREABLE(t4_2_27) AND NOT FIREABLE(t4_2_28) AND NOT FIREABLE(t4_2_29) AND NOT FIREABLE(t4_2_30) AND NOT FIREABLE(t4_2_31) AND NOT FIREABLE(t4_2_32) AND NOT FIREABLE(t4_2_33) AND NOT FIREABLE(t4_2_34) AND NOT FIREABLE(t4_2_35) AND NOT FIREABLE(t4_2_36) AND NOT FIREABLE(t4_2_37) AND NOT FIREABLE(t4_2_38) AND NOT FIREABLE(t4_2_39) AND NOT FIREABLE(t4_2_40) AND NOT FIREABLE(t4_2_41) AND NOT FIREABLE(t4_2_42) AND NOT FIREABLE(t4_2_43) AND NOT FIREABLE(t4_2_44) AND NOT FIREABLE(t4_2_45) AND NOT FIREABLE(t4_2_46) AND NOT FIREABLE(t4_2_47) AND NOT FIREABLE(t4_2_48) AND NOT FIREABLE(t4_2_49) AND NOT FIREABLE(t4_2_50) AND NOT FIREABLE(t4_2_100))))))",
"processed_size": 4275,
"rewrites": 68
},
"result":
{
"edges": 404,
"markings": 405,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 257
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 4,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 348,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 348,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 250
},
"processed": "A (G (F ((FIREABLE(t2_1_on) AND X (G ((F ((FIREABLE(t4_1_51) OR FIREABLE(t4_1_52) OR FIREABLE(t4_1_53) OR FIREABLE(t4_1_54) OR FIREABLE(t4_1_55) OR FIREABLE(t4_1_56) OR FIREABLE(t4_1_57) OR FIREABLE(t4_1_58) OR FIREABLE(t4_1_59) OR FIREABLE(t4_1_60) OR FIREABLE(t4_1_61) OR FIREABLE(t4_1_62) OR FIREABLE(t4_1_63) OR FIREABLE(t4_1_64) OR FIREABLE(t4_1_65) OR FIREABLE(t4_1_66) OR FIREABLE(t4_1_67) OR FIREABLE(t4_1_68) OR FIREABLE(t4_1_69) OR FIREABLE(t4_1_70) OR FIREABLE(t4_1_71) OR FIREABLE(t4_1_72) OR FIREABLE(t4_1_73) OR FIREABLE(t4_1_74) OR FIREABLE(t4_1_75) OR FIREABLE(t4_1_76) OR FIREABLE(t4_1_77) OR FIREABLE(t4_1_78) OR FIREABLE(t4_1_79) OR FIREABLE(t4_1_80) OR FIREABLE(t4_1_81) OR FIREABLE(t4_1_82) OR FIREABLE(t4_1_83) OR FIREABLE(t4_1_84) OR FIREABLE(t4_1_85) OR FIREABLE(t4_1_86) OR FIREABLE(t4_1_87) OR FIREABLE(t4_1_88) OR FIREABLE(t4_1_89) OR FIREABLE(t4_1_90) OR FIREABLE(t4_1_91) OR FIREABLE(t4_1_92) OR FIREABLE(t4_1_93) OR FIREABLE(t4_1_94) OR FIREABLE(t4_1_95) OR FIREABLE(t4_1_96) OR FIREABLE(t4_1_97) OR FIREABLE(t4_1_98) OR FIREABLE(t4_1_99))) AND (((FIREABLE(t4_1_51) OR FIREABLE(t4_1_52) OR FIREABLE(t4_1_53) OR FIREABLE(t4_1_54) OR FIREABLE(t4_1_55) OR FIREABLE(t4_1_56) OR FIREABLE(t4_1_57) OR FIREABLE(t4_1_58) OR FIREABLE(t4_1_59) OR FIREABLE(t4_1_60) OR FIREABLE(t4_1_61) OR FIREABLE(t4_1_62) OR FIREABLE(t4_1_63) OR FIREABLE(t4_1_64) OR FIREABLE(t4_1_65) OR FIREABLE(t4_1_66) OR FIREABLE(t4_1_67) OR FIREABLE(t4_1_68) OR FIREABLE(t4_1_69) OR FIREABLE(t4_1_70) OR FIREABLE(t4_1_71) OR FIREABLE(t4_1_72) OR FIREABLE(t4_1_73) OR FIREABLE(t4_1_74) OR FIREABLE(t4_1_75) OR FIREABLE(t4_1_76) OR FIREABLE(t4_1_77) OR FIREABLE(t4_1_78) OR FIREABLE(t4_1_79) OR FIREABLE(t4_1_80) OR FIREABLE(t4_1_81) OR FIREABLE(t4_1_82) OR FIREABLE(t4_1_83) OR FIREABLE(t4_1_84) OR FIREABLE(t4_1_85) OR FIREABLE(t4_1_86) OR FIREABLE(t4_1_87) OR FIREABLE(t4_1_88) OR FIREABLE(t4_1_89) OR FIREABLE(t4_1_90) OR FIREABLE(t4_1_91) OR FIREABLE(t4_1_92) OR FIREABLE(t4_1_93) OR FIREABLE(t4_1_94) OR FIREABLE(t4_1_95) OR FIREABLE(t4_1_96) OR FIREABLE(t4_1_97) OR FIREABLE(t4_1_98) OR FIREABLE(t4_1_99)) AND (FIREABLE(getAlt_1) OR FIREABLE(getAlt_2) OR FIREABLE(getAlt_3) OR FIREABLE(getAlt_4) OR FIREABLE(getAlt_5) OR FIREABLE(getAlt_6) OR FIREABLE(getAlt_7) OR FIREABLE(getAlt_8) OR FIREABLE(getAlt_9) OR FIREABLE(getAlt_10) OR FIREABLE(getAlt_11) OR FIREABLE(getAlt_12) OR FIREABLE(getAlt_13) OR FIREABLE(getAlt_14) OR FIREABLE(getAlt_15) OR FIREABLE(getAlt_16) OR FIREABLE(getAlt_17) OR FIREABLE(getAlt_18) OR FIREABLE(getAlt_19) OR FIREABLE(getAlt_20) OR FIREABLE(getAlt_21) OR FIREABLE(getAlt_22) OR FIREABLE(getAlt_23) OR FIREABLE(getAlt_24) OR FIREABLE(getAlt_25) OR FIREABLE(getAlt_26) OR FIREABLE(getAlt_27) OR FIREABLE(getAlt_28) OR FIREABLE(getAlt_29) OR FIREABLE(getAlt_30) OR FIREABLE(getAlt_31) OR FIREABLE(getAlt_32) OR FIREABLE(getAlt_33) OR FIREABLE(getAlt_34) OR FIREABLE(getAlt_35) OR FIREABLE(getAlt_36) OR FIREABLE(getAlt_37) OR FIREABLE(getAlt_38) OR FIREABLE(getAlt_39) OR FIREABLE(getAlt_40) OR FIREABLE(getAlt_41) OR FIREABLE(getAlt_42) OR FIREABLE(getAlt_43) OR FIREABLE(getAlt_44) OR FIREABLE(getAlt_45) OR FIREABLE(getAlt_46) OR FIREABLE(getAlt_47) OR FIREABLE(getAlt_48) OR FIREABLE(getAlt_49) OR FIREABLE(getAlt_50) OR FIREABLE(getAlt_51) OR FIREABLE(getAlt_52) OR FIREABLE(getAlt_53) OR FIREABLE(getAlt_54) OR FIREABLE(getAlt_55) OR FIREABLE(getAlt_56) OR FIREABLE(getAlt_57) OR FIREABLE(getAlt_58) OR FIREABLE(getAlt_59) OR FIREABLE(getAlt_60) OR FIREABLE(getAlt_61) OR FIREABLE(getAlt_62) OR FIREABLE(getAlt_63) OR FIREABLE(getAlt_64) OR FIREABLE(getAlt_65) OR FIREABLE(getAlt_66) OR FIREABLE(getAlt_67) OR FIREABLE(getAlt_68) OR FIREABLE(getAlt_69) OR FIREABLE(getAlt_70) OR FIREABLE(getAlt_71) OR FIREABLE(getAlt_72) OR FIREABLE(getAlt_73) OR FIREABLE(getAlt_74) OR FIREABLE(getAlt_75) OR FIREABLE(getAlt_76) OR FIREABLE(getAlt_77) OR FIREABLE(getAlt_78) OR FIREABLE(getAlt_79) OR FIREABLE(getAlt_80) OR FIREABLE(getAlt_81) OR FIREABLE(getAlt_82) OR FIREABLE(getAlt_83) OR FIREABLE(getAlt_84) OR FIREABLE(getAlt_85) OR FIREABLE(getAlt_86) OR FIREABLE(getAlt_87) OR FIREABLE(getAlt_88) OR FIREABLE(getAlt_89) OR FIREABLE(getAlt_90) OR FIREABLE(getAlt_91) OR FIREABLE(getAlt_92) OR FIREABLE(getAlt_93) OR FIREABLE(getAlt_94) OR FIREABLE(getAlt_95) OR FIREABLE(getAlt_96) OR FIREABLE(getAlt_97) OR FIREABLE(getAlt_98) OR FIREABLE(getAlt_99) OR FIREABLE(getAlt_100) OR FIREABLE(getAlt_101) OR FIREABLE(getAlt_102) OR FIREABLE(getAlt_103) OR FIREABLE(getAlt_104) OR FIREABLE(getAlt_105) OR FIREABLE(getAlt_106) OR FIREABLE(getAlt_107) OR FIREABLE(getAlt_108) OR FIREABLE(getAlt_109) OR FIREABLE(getAlt_110) OR FIREABLE(getAlt_111) OR FIREABLE(getAlt_112) OR FIREABLE(getAlt_113) OR FIREABLE(getAlt_114) OR FIREABLE(getAlt_115) OR FIREABLE(getAlt_116) OR FIREABLE(getAlt_117) OR FIREABLE(getAlt_118) OR FIREABLE(getAlt_119) OR FIREABLE(getAlt_120) OR FIREABLE(getAlt_121) OR FIREABLE(getAlt_122) OR FIREABLE(getAlt_123) OR FIREABLE(getAlt_124) OR FIREABLE(getAlt_125) OR FIREABLE(getAlt_126) OR FIREABLE(getAlt_127) OR FIREABLE(getAlt_128) OR FIREABLE(getAlt_129) OR FIREABLE(getAlt_130) OR FIREABLE(getAlt_131) OR FIREABLE(getAlt_132) OR FIREABLE(getAlt_133) OR FIREABLE(getAlt_134) OR FIREABLE(getAlt_135) OR FIREABLE(getAlt_136) OR FIREABLE(getAlt_137) OR FIREABLE(getAlt_138) OR FIREABLE(getAlt_139) OR FIREABLE(getAlt_140) OR FIREABLE(getAlt_141) OR FIREABLE(getAlt_142) OR FIREABLE(getAlt_143) OR FIREABLE(getAlt_144) OR FIREABLE(getAlt_145) OR FIREABLE(getAlt_146) OR FIREABLE(getAlt_147) OR FIREABLE(getAlt_148) OR FIREABLE(getAlt_149) OR FIREABLE(getAlt_150) OR FIREABLE(getAlt_151) OR FIREABLE(getAlt_152) OR FIREABLE(getAlt_153) OR FIREABLE(getAlt_154) OR FIREABLE(getAlt_155) OR FIREABLE(getAlt_156) OR FIREABLE(getAlt_157) OR FIREABLE(getAlt_158) OR FIREABLE(getAlt_159) OR FIREABLE(getAlt_160) OR FIREABLE(getAlt_161) OR FIREABLE(getAlt_162) OR FIREABLE(getAlt_163) OR FIREABLE(getAlt_164) OR FIREABLE(getAlt_165) OR FIREABLE(getAlt_166) OR FIREABLE(getAlt_167) OR FIREABLE(getAlt_168) OR FIREABLE(getAlt_169) OR FIREABLE(getAlt_170) OR FIREABLE(getAlt_171) OR FIREABLE(getAlt_172) OR FIREABLE(getAlt_173) OR FIREABLE(getAlt_174) OR FIREABLE(getAlt_175) OR FIREABLE(getAlt_176) OR FIREABLE(getAlt_177) OR FIREABLE(getAlt_178) OR FIREABLE(getAlt_179) OR FIREABLE(getAlt_180) OR FIREABLE(getAlt_181) OR FIREABLE(getAlt_182) OR FIREABLE(getAlt_183) OR FIREABLE(getAlt_184) OR FIREABLE(getAlt_185) OR FIREABLE(getAlt_186) OR FIREABLE(getAlt_187) OR FIREABLE(getAlt_188) OR FIREABLE(getAlt_189) OR FIREABLE(getAlt_190) OR FIREABLE(getAlt_191) OR FIREABLE(getAlt_192) OR FIREABLE(getAlt_193) OR FIREABLE(getAlt_194) OR FIREABLE(getAlt_195) OR FIREABLE(getAlt_196) OR FIREABLE(getAlt_197) OR FIREABLE(getAlt_198) OR FIREABLE(getAlt_199) OR FIREABLE(getAlt_200))) OR (FIREABLE(t4_1_51) OR FIREABLE(t4_1_52) OR FIREABLE(t4_1_53) OR FIREABLE(t4_1_54) OR FIREABLE(t4_1_55) OR FIREABLE(t4_1_56) OR FIREABLE(t4_1_57) OR FIREABLE(t4_1_58) OR FIREABLE(t4_1_59) OR FIREABLE(t4_1_60) OR FIREABLE(t4_1_61) OR FIREABLE(t4_1_62) OR FIREABLE(t4_1_63) OR FIREABLE(t4_1_64) OR FIREABLE(t4_1_65) OR FIREABLE(t4_1_66) OR FIREABLE(t4_1_67) OR FIREABLE(t4_1_68) OR FIREABLE(t4_1_69) OR FIREABLE(t4_1_70) OR FIREABLE(t4_1_71) OR FIREABLE(t4_1_72) OR FIREABLE(t4_1_73) OR FIREABLE(t4_1_74) OR FIREABLE(t4_1_75) OR FIREABLE(t4_1_76) OR FIREABLE(t4_1_77) OR FIREABLE(t4_1_78) OR FIREABLE(t4_1_79) OR FIREABLE(t4_1_80) OR FIREABLE(t4_1_81) OR FIREABLE(t4_1_82) OR FIREABLE(t4_1_83) OR FIREABLE(t4_1_84) OR FIREABLE(t4_1_85) OR FIREABLE(t4_1_86) OR FIREABLE(t4_1_87) OR FIREABLE(t4_1_88) OR FIREABLE(t4_1_89) OR FIREABLE(t4_1_90) OR FIREABLE(t4_1_91) OR FIREABLE(t4_1_92) OR FIREABLE(t4_1_93) OR FIREABLE(t4_1_94) OR FIREABLE(t4_1_95) OR FIREABLE(t4_1_96) OR FIREABLE(t4_1_97) OR FIREABLE(t4_1_98) OR FIREABLE(t4_1_99))))))))))",
"processed_size": 8182,
"rewrites": 68
},
"result":
{
"edges": 8,
"markings": 8,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 278
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 2,
"X": 2,
"aconj": 0,
"adisj": 3,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 302,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 302,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 102
},
"processed": "A ((X (((FIREABLE(t2_1_on) OR F ((FIREABLE(SpeedRW_1) OR FIREABLE(SpeedRW_2) OR FIREABLE(SpeedRW_3) OR FIREABLE(SpeedRW_4) OR FIREABLE(SpeedRW_5) OR FIREABLE(SpeedRW_6) OR FIREABLE(SpeedRW_7) OR FIREABLE(SpeedRW_8) OR FIREABLE(SpeedRW_9) OR FIREABLE(SpeedRW_10) OR FIREABLE(SpeedRW_11) OR FIREABLE(SpeedRW_12) OR FIREABLE(SpeedRW_13) OR FIREABLE(SpeedRW_14) OR FIREABLE(SpeedRW_15) OR FIREABLE(SpeedRW_16) OR FIREABLE(SpeedRW_17) OR FIREABLE(SpeedRW_18) OR FIREABLE(SpeedRW_19) OR FIREABLE(SpeedRW_20) OR FIREABLE(SpeedRW_21) OR FIREABLE(SpeedRW_22) OR FIREABLE(SpeedRW_23) OR FIREABLE(SpeedRW_24) OR FIREABLE(SpeedRW_25) OR FIREABLE(SpeedRW_26) OR FIREABLE(SpeedRW_27) OR FIREABLE(SpeedRW_28) OR FIREABLE(SpeedRW_29) OR FIREABLE(SpeedRW_30) OR FIREABLE(SpeedRW_31) OR FIREABLE(SpeedRW_32) OR FIREABLE(SpeedRW_33) OR FIREABLE(SpeedRW_34) OR FIREABLE(SpeedRW_35) OR FIREABLE(SpeedRW_36) OR FIREABLE(SpeedRW_37) OR FIREABLE(SpeedRW_38) OR FIREABLE(SpeedRW_39) OR FIREABLE(SpeedRW_40) OR FIREABLE(SpeedRW_41) OR FIREABLE(SpeedRW_42) OR FIREABLE(SpeedRW_43) OR FIREABLE(SpeedRW_44) OR FIREABLE(SpeedRW_45) OR FIREABLE(SpeedRW_46) OR FIREABLE(SpeedRW_47) OR FIREABLE(SpeedRW_48) OR FIREABLE(SpeedRW_49) OR FIREABLE(SpeedRW_50) OR FIREABLE(SpeedRW_51) OR FIREABLE(SpeedRW_52) OR FIREABLE(SpeedRW_53) OR FIREABLE(SpeedRW_54) OR FIREABLE(SpeedRW_55) OR FIREABLE(SpeedRW_56) OR FIREABLE(SpeedRW_57) OR FIREABLE(SpeedRW_58) OR FIREABLE(SpeedRW_59) OR FIREABLE(SpeedRW_60) OR FIREABLE(SpeedRW_61) OR FIREABLE(SpeedRW_62) OR FIREABLE(SpeedRW_63) OR FIREABLE(SpeedRW_64) OR FIREABLE(SpeedRW_65) OR FIREABLE(SpeedRW_66) OR FIREABLE(SpeedRW_67) OR FIREABLE(SpeedRW_68) OR FIREABLE(SpeedRW_69) OR FIREABLE(SpeedRW_70) OR FIREABLE(SpeedRW_71) OR FIREABLE(SpeedRW_72) OR FIREABLE(SpeedRW_73) OR FIREABLE(SpeedRW_74) OR FIREABLE(SpeedRW_75) OR FIREABLE(SpeedRW_76) OR FIREABLE(SpeedRW_77) OR FIREABLE(SpeedRW_78) OR FIREABLE(SpeedRW_79) OR FIREABLE(SpeedRW_80) OR FIREABLE(SpeedRW_81) OR FIREABLE(SpeedRW_82) OR FIREABLE(SpeedRW_83) OR FIREABLE(SpeedRW_84) OR FIREABLE(SpeedRW_85) OR FIREABLE(SpeedRW_86) OR FIREABLE(SpeedRW_87) OR FIREABLE(SpeedRW_88) OR FIREABLE(SpeedRW_89) OR FIREABLE(SpeedRW_90) OR FIREABLE(SpeedRW_91) OR FIREABLE(SpeedRW_92) OR FIREABLE(SpeedRW_93) OR FIREABLE(SpeedRW_94) OR FIREABLE(SpeedRW_95) OR FIREABLE(SpeedRW_96) OR FIREABLE(SpeedRW_97) OR FIREABLE(SpeedRW_98) OR FIREABLE(SpeedRW_99) OR FIREABLE(SpeedRW_100)))) U (FIREABLE(SpeedRW_1) OR FIREABLE(SpeedRW_2) OR FIREABLE(SpeedRW_3) OR FIREABLE(SpeedRW_4) OR FIREABLE(SpeedRW_5) OR FIREABLE(SpeedRW_6) OR FIREABLE(SpeedRW_7) OR FIREABLE(SpeedRW_8) OR FIREABLE(SpeedRW_9) OR FIREABLE(SpeedRW_10) OR FIREABLE(SpeedRW_11) OR FIREABLE(SpeedRW_12) OR FIREABLE(SpeedRW_13) OR FIREABLE(SpeedRW_14) OR FIREABLE(SpeedRW_15) OR FIREABLE(SpeedRW_16) OR FIREABLE(SpeedRW_17) OR FIREABLE(SpeedRW_18) OR FIREABLE(SpeedRW_19) OR FIREABLE(SpeedRW_20) OR FIREABLE(SpeedRW_21) OR FIREABLE(SpeedRW_22) OR FIREABLE(SpeedRW_23) OR FIREABLE(SpeedRW_24) OR FIREABLE(SpeedRW_25) OR FIREABLE(SpeedRW_26) OR FIREABLE(SpeedRW_27) OR FIREABLE(SpeedRW_28) OR FIREABLE(SpeedRW_29) OR FIREABLE(SpeedRW_30) OR FIREABLE(SpeedRW_31) OR FIREABLE(SpeedRW_32) OR FIREABLE(SpeedRW_33) OR FIREABLE(SpeedRW_34) OR FIREABLE(SpeedRW_35) OR FIREABLE(SpeedRW_36) OR FIREABLE(SpeedRW_37) OR FIREABLE(SpeedRW_38) OR FIREABLE(SpeedRW_39) OR FIREABLE(SpeedRW_40) OR FIREABLE(SpeedRW_41) OR FIREABLE(SpeedRW_42) OR FIREABLE(SpeedRW_43) OR FIREABLE(SpeedRW_44) OR FIREABLE(SpeedRW_45) OR FIREABLE(SpeedRW_46) OR FIREABLE(SpeedRW_47) OR FIREABLE(SpeedRW_48) OR FIREABLE(SpeedRW_49) OR FIREABLE(SpeedRW_50) OR FIREABLE(SpeedRW_51) OR FIREABLE(SpeedRW_52) OR FIREABLE(SpeedRW_53) OR FIREABLE(SpeedRW_54) OR FIREABLE(SpeedRW_55) OR FIREABLE(SpeedRW_56) OR FIREABLE(SpeedRW_57) OR FIREABLE(SpeedRW_58) OR FIREABLE(SpeedRW_59) OR FIREABLE(SpeedRW_60) OR FIREABLE(SpeedRW_61) OR FIREABLE(SpeedRW_62) OR FIREABLE(SpeedRW_63) OR FIREABLE(SpeedRW_64) OR FIREABLE(SpeedRW_65) OR FIREABLE(SpeedRW_66) OR FIREABLE(SpeedRW_67) OR FIREABLE(SpeedRW_68) OR FIREABLE(SpeedRW_69) OR FIREABLE(SpeedRW_70) OR FIREABLE(SpeedRW_71) OR FIREABLE(SpeedRW_72) OR FIREABLE(SpeedRW_73) OR FIREABLE(SpeedRW_74) OR FIREABLE(SpeedRW_75) OR FIREABLE(SpeedRW_76) OR FIREABLE(SpeedRW_77) OR FIREABLE(SpeedRW_78) OR FIREABLE(SpeedRW_79) OR FIREABLE(SpeedRW_80) OR FIREABLE(SpeedRW_81) OR FIREABLE(SpeedRW_82) OR FIREABLE(SpeedRW_83) OR FIREABLE(SpeedRW_84) OR FIREABLE(SpeedRW_85) OR FIREABLE(SpeedRW_86) OR FIREABLE(SpeedRW_87) OR FIREABLE(SpeedRW_88) OR FIREABLE(SpeedRW_89) OR FIREABLE(SpeedRW_90) OR FIREABLE(SpeedRW_91) OR FIREABLE(SpeedRW_92) OR FIREABLE(SpeedRW_93) OR FIREABLE(SpeedRW_94) OR FIREABLE(SpeedRW_95) OR FIREABLE(SpeedRW_96) OR FIREABLE(SpeedRW_97) OR FIREABLE(SpeedRW_98) OR FIREABLE(SpeedRW_99) OR FIREABLE(SpeedRW_100)))) U (G (FIREABLE(t1_2_off)) OR X (F ((FIREABLE(SpeedRW_1) OR FIREABLE(SpeedRW_2) OR FIREABLE(SpeedRW_3) OR FIREABLE(SpeedRW_4) OR FIREABLE(SpeedRW_5) OR FIREABLE(SpeedRW_6) OR FIREABLE(SpeedRW_7) OR FIREABLE(SpeedRW_8) OR FIREABLE(SpeedRW_9) OR FIREABLE(SpeedRW_10) OR FIREABLE(SpeedRW_11) OR FIREABLE(SpeedRW_12) OR FIREABLE(SpeedRW_13) OR FIREABLE(SpeedRW_14) OR FIREABLE(SpeedRW_15) OR FIREABLE(SpeedRW_16) OR FIREABLE(SpeedRW_17) OR FIREABLE(SpeedRW_18) OR FIREABLE(SpeedRW_19) OR FIREABLE(SpeedRW_20) OR FIREABLE(SpeedRW_21) OR FIREABLE(SpeedRW_22) OR FIREABLE(SpeedRW_23) OR FIREABLE(SpeedRW_24) OR FIREABLE(SpeedRW_25) OR FIREABLE(SpeedRW_26) OR FIREABLE(SpeedRW_27) OR FIREABLE(SpeedRW_28) OR FIREABLE(SpeedRW_29) OR FIREABLE(SpeedRW_30) OR FIREABLE(SpeedRW_31) OR FIREABLE(SpeedRW_32) OR FIREABLE(SpeedRW_33) OR FIREABLE(SpeedRW_34) OR FIREABLE(SpeedRW_35) OR FIREABLE(SpeedRW_36) OR FIREABLE(SpeedRW_37) OR FIREABLE(SpeedRW_38) OR FIREABLE(SpeedRW_39) OR FIREABLE(SpeedRW_40) OR FIREABLE(SpeedRW_41) OR FIREABLE(SpeedRW_42) OR FIREABLE(SpeedRW_43) OR FIREABLE(SpeedRW_44) OR FIREABLE(SpeedRW_45) OR FIREABLE(SpeedRW_46) OR FIREABLE(SpeedRW_47) OR FIREABLE(SpeedRW_48) OR FIREABLE(SpeedRW_49) OR FIREABLE(SpeedRW_50) OR FIREABLE(SpeedRW_51) OR FIREABLE(SpeedRW_52) OR FIREABLE(SpeedRW_53) OR FIREABLE(SpeedRW_54) OR FIREABLE(SpeedRW_55) OR FIREABLE(SpeedRW_56) OR FIREABLE(SpeedRW_57) OR FIREABLE(SpeedRW_58) OR FIREABLE(SpeedRW_59) OR FIREABLE(SpeedRW_60) OR FIREABLE(SpeedRW_61) OR FIREABLE(SpeedRW_62) OR FIREABLE(SpeedRW_63) OR FIREABLE(SpeedRW_64) OR FIREABLE(SpeedRW_65) OR FIREABLE(SpeedRW_66) OR FIREABLE(SpeedRW_67) OR FIREABLE(SpeedRW_68) OR FIREABLE(SpeedRW_69) OR FIREABLE(SpeedRW_70) OR FIREABLE(SpeedRW_71) OR FIREABLE(SpeedRW_72) OR FIREABLE(SpeedRW_73) OR FIREABLE(SpeedRW_74) OR FIREABLE(SpeedRW_75) OR FIREABLE(SpeedRW_76) OR FIREABLE(SpeedRW_77) OR FIREABLE(SpeedRW_78) OR FIREABLE(SpeedRW_79) OR FIREABLE(SpeedRW_80) OR FIREABLE(SpeedRW_81) OR FIREABLE(SpeedRW_82) OR FIREABLE(SpeedRW_83) OR FIREABLE(SpeedRW_84) OR FIREABLE(SpeedRW_85) OR FIREABLE(SpeedRW_86) OR FIREABLE(SpeedRW_87) OR FIREABLE(SpeedRW_88) OR FIREABLE(SpeedRW_89) OR FIREABLE(SpeedRW_90) OR FIREABLE(SpeedRW_91) OR FIREABLE(SpeedRW_92) OR FIREABLE(SpeedRW_93) OR FIREABLE(SpeedRW_94) OR FIREABLE(SpeedRW_95) OR FIREABLE(SpeedRW_96) OR FIREABLE(SpeedRW_97) OR FIREABLE(SpeedRW_98) OR FIREABLE(SpeedRW_99) OR FIREABLE(SpeedRW_100)))))))",
"processed_size": 7548,
"rewrites": 68
},
"result":
{
"edges": 278,
"markings": 278,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 306
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 1,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 51,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 100,
"unfir": 49,
"visible_places": 0,
"visible_transitions": 100
},
"processed": "A (((NOT FIREABLE(t5_1_51) AND NOT FIREABLE(t5_1_52) AND NOT FIREABLE(t5_1_53) AND NOT FIREABLE(t5_1_54) AND NOT FIREABLE(t5_1_55) AND NOT FIREABLE(t5_1_56) AND NOT FIREABLE(t5_1_57) AND NOT FIREABLE(t5_1_58) AND NOT FIREABLE(t5_1_59) AND NOT FIREABLE(t5_1_60) AND NOT FIREABLE(t5_1_61) AND NOT FIREABLE(t5_1_62) AND NOT FIREABLE(t5_1_63) AND NOT FIREABLE(t5_1_64) AND NOT FIREABLE(t5_1_65) AND NOT FIREABLE(t5_1_66) AND NOT FIREABLE(t5_1_67) AND NOT FIREABLE(t5_1_68) AND NOT FIREABLE(t5_1_69) AND NOT FIREABLE(t5_1_70) AND NOT FIREABLE(t5_1_71) AND NOT FIREABLE(t5_1_72) AND NOT FIREABLE(t5_1_73) AND NOT FIREABLE(t5_1_74) AND NOT FIREABLE(t5_1_75) AND NOT FIREABLE(t5_1_76) AND NOT FIREABLE(t5_1_77) AND NOT FIREABLE(t5_1_78) AND NOT FIREABLE(t5_1_79) AND NOT FIREABLE(t5_1_80) AND NOT FIREABLE(t5_1_81) AND NOT FIREABLE(t5_1_82) AND NOT FIREABLE(t5_1_83) AND NOT FIREABLE(t5_1_84) AND NOT FIREABLE(t5_1_85) AND NOT FIREABLE(t5_1_86) AND NOT FIREABLE(t5_1_87) AND NOT FIREABLE(t5_1_88) AND NOT FIREABLE(t5_1_89) AND NOT FIREABLE(t5_1_90) AND NOT FIREABLE(t5_1_91) AND NOT FIREABLE(t5_1_92) AND NOT FIREABLE(t5_1_93) AND NOT FIREABLE(t5_1_94) AND NOT FIREABLE(t5_1_95) AND NOT FIREABLE(t5_1_96) AND NOT FIREABLE(t5_1_97) AND NOT FIREABLE(t5_1_98) AND NOT FIREABLE(t5_1_99)) OR X (G ((NOT FIREABLE(t4_2_1) AND NOT FIREABLE(t4_2_2) AND NOT FIREABLE(t4_2_3) AND NOT FIREABLE(t4_2_4) AND NOT FIREABLE(t4_2_5) AND NOT FIREABLE(t4_2_6) AND NOT FIREABLE(t4_2_7) AND NOT FIREABLE(t4_2_8) AND NOT FIREABLE(t4_2_9) AND NOT FIREABLE(t4_2_10) AND NOT FIREABLE(t4_2_11) AND NOT FIREABLE(t4_2_12) AND NOT FIREABLE(t4_2_13) AND NOT FIREABLE(t4_2_14) AND NOT FIREABLE(t4_2_15) AND NOT FIREABLE(t4_2_16) AND NOT FIREABLE(t4_2_17) AND NOT FIREABLE(t4_2_18) AND NOT FIREABLE(t4_2_19) AND NOT FIREABLE(t4_2_20) AND NOT FIREABLE(t4_2_21) AND NOT FIREABLE(t4_2_22) AND NOT FIREABLE(t4_2_23) AND NOT FIREABLE(t4_2_24) AND NOT FIREABLE(t4_2_25) AND NOT FIREABLE(t4_2_26) AND NOT FIREABLE(t4_2_27) AND NOT FIREABLE(t4_2_28) AND NOT FIREABLE(t4_2_29) AND NOT FIREABLE(t4_2_30) AND NOT FIREABLE(t4_2_31) AND NOT FIREABLE(t4_2_32) AND NOT FIREABLE(t4_2_33) AND NOT FIREABLE(t4_2_34) AND NOT FIREABLE(t4_2_35) AND NOT FIREABLE(t4_2_36) AND NOT FIREABLE(t4_2_37) AND NOT FIREABLE(t4_2_38) AND NOT FIREABLE(t4_2_39) AND NOT FIREABLE(t4_2_40) AND NOT FIREABLE(t4_2_41) AND NOT FIREABLE(t4_2_42) AND NOT FIREABLE(t4_2_43) AND NOT FIREABLE(t4_2_44) AND NOT FIREABLE(t4_2_45) AND NOT FIREABLE(t4_2_46) AND NOT FIREABLE(t4_2_47) AND NOT FIREABLE(t4_2_48) AND NOT FIREABLE(t4_2_49) AND NOT FIREABLE(t4_2_50) AND NOT FIREABLE(t4_2_100))))))",
"processed_size": 2604,
"rewrites": 68
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 340
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((G (FIREABLE(SampleLW_off)) OR X (((FIREABLE(t2_1_on) AND FIREABLE(SampleLW_off)) OR X (F (NOT FIREABLE(t2_1_on)))))))",
"processed_size": 121,
"rewrites": 68
},
"result":
{
"edges": 104420,
"markings": 52817,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 389
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (FIREABLE(getAlt_197)))",
"processed_size": 28,
"rewrites": 70
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 9,
"type": "boolean"
}
},

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 680
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (FIREABLE(t2_1_on)))",
"processed_size": 25,
"rewrites": 70
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 906
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (F (FIREABLE(SampleRW_on))))",
"processed_size": 33,
"rewrites": 68
},
"result":
{
"edges": 8,
"markings": 8,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1360
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 3,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 6,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 5
},
"processed": "A (((FIREABLE(t3_2_135) U ((FIREABLE(t2_2_off) U FIREABLE(t1_1_on)) AND F (G (NOT FIREABLE(t3_2_135))))) U (FIREABLE(t3_1_23) AND F (FIREABLE(t5_1_76)))))",
"processed_size": 154,
"rewrites": 68
},
"result":
{
"edges": 3649,
"markings": 1236,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 26
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2720
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 2,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 301,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 301,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 301
},
"processed": "A (G (F (((FIREABLE(getAlt_1) OR FIREABLE(getAlt_2) OR FIREABLE(getAlt_3) OR FIREABLE(getAlt_4) OR FIREABLE(getAlt_5) OR FIREABLE(getAlt_6) OR FIREABLE(getAlt_7) OR FIREABLE(getAlt_8) OR FIREABLE(getAlt_9) OR FIREABLE(getAlt_10) OR FIREABLE(getAlt_11) OR FIREABLE(getAlt_12) OR FIREABLE(getAlt_13) OR FIREABLE(getAlt_14) OR FIREABLE(getAlt_15) OR FIREABLE(getAlt_16) OR FIREABLE(getAlt_17) OR FIREABLE(getAlt_18) OR FIREABLE(getAlt_19) OR FIREABLE(getAlt_20) OR FIREABLE(getAlt_21) OR FIREABLE(getAlt_22) OR FIREABLE(getAlt_23) OR FIREABLE(getAlt_24) OR FIREABLE(getAlt_25) OR FIREABLE(getAlt_26) OR FIREABLE(getAlt_27) OR FIREABLE(getAlt_28) OR FIREABLE(getAlt_29) OR FIREABLE(getAlt_30) OR FIREABLE(getAlt_31) OR FIREABLE(getAlt_32) OR FIREABLE(getAlt_33) OR FIREABLE(getAlt_34) OR FIREABLE(getAlt_35) OR FIREABLE(getAlt_36) OR FIREABLE(getAlt_37) OR FIREABLE(getAlt_38) OR FIREABLE(getAlt_39) OR FIREABLE(getAlt_40) OR FIREABLE(getAlt_41) OR FIREABLE(getAlt_42) OR FIREABLE(getAlt_43) OR FIREABLE(getAlt_44) OR FIREABLE(getAlt_45) OR FIREABLE(getAlt_46) OR FIREABLE(getAlt_47) OR FIREABLE(getAlt_48) OR FIREABLE(getAlt_49) OR FIREABLE(getAlt_50) OR FIREABLE(getAlt_51) OR FIREABLE(getAlt_52) OR FIREABLE(getAlt_53) OR FIREABLE(getAlt_54) OR FIREABLE(getAlt_55) OR FIREABLE(getAlt_56) OR FIREABLE(getAlt_57) OR FIREABLE(getAlt_58) OR FIREABLE(getAlt_59) OR FIREABLE(getAlt_60) OR FIREABLE(getAlt_61) OR FIREABLE(getAlt_62) OR FIREABLE(getAlt_63) OR FIREABLE(getAlt_64) OR FIREABLE(getAlt_65) OR FIREABLE(getAlt_66) OR FIREABLE(getAlt_67) OR FIREABLE(getAlt_68) OR FIREABLE(getAlt_69) OR FIREABLE(getAlt_70) OR FIREABLE(getAlt_71) OR FIREABLE(getAlt_72) OR FIREABLE(getAlt_73) OR FIREABLE(getAlt_74) OR FIREABLE(getAlt_75) OR FIREABLE(getAlt_76) OR FIREABLE(getAlt_77) OR FIREABLE(getAlt_78) OR FIREABLE(getAlt_79) OR FIREABLE(getAlt_80) OR FIREABLE(getAlt_81) OR FIREABLE(getAlt_82) OR FIREABLE(getAlt_83) OR FIREABLE(getAlt_84) OR FIREABLE(getAlt_85) OR FIREABLE(getAlt_86) OR FIREABLE(getAlt_87) OR FIREABLE(getAlt_88) OR FIREABLE(getAlt_89) OR FIREABLE(getAlt_90) OR FIREABLE(getAlt_91) OR FIREABLE(getAlt_92) OR FIREABLE(getAlt_93) OR FIREABLE(getAlt_94) OR FIREABLE(getAlt_95) OR FIREABLE(getAlt_96) OR FIREABLE(getAlt_97) OR FIREABLE(getAlt_98) OR FIREABLE(getAlt_99) OR FIREABLE(getAlt_100) OR FIREABLE(getAlt_101) OR FIREABLE(getAlt_102) OR FIREABLE(getAlt_103) OR FIREABLE(getAlt_104) OR FIREABLE(getAlt_105) OR FIREABLE(getAlt_106) OR FIREABLE(getAlt_107) OR FIREABLE(getAlt_108) OR FIREABLE(getAlt_109) OR FIREABLE(getAlt_110) OR FIREABLE(getAlt_111) OR FIREABLE(getAlt_112) OR FIREABLE(getAlt_113) OR FIREABLE(getAlt_114) OR FIREABLE(getAlt_115) OR FIREABLE(getAlt_116) OR FIREABLE(getAlt_117) OR FIREABLE(getAlt_118) OR FIREABLE(getAlt_119) OR FIREABLE(getAlt_120) OR FIREABLE(getAlt_121) OR FIREABLE(getAlt_122) OR FIREABLE(getAlt_123) OR FIREABLE(getAlt_124) OR FIREABLE(getAlt_125) OR FIREABLE(getAlt_126) OR FIREABLE(getAlt_127) OR FIREABLE(getAlt_128) OR FIREABLE(getAlt_129) OR FIREABLE(getAlt_130) OR FIREABLE(getAlt_131) OR FIREABLE(getAlt_132) OR FIREABLE(getAlt_133) OR FIREABLE(getAlt_134) OR FIREABLE(getAlt_135) OR FIREABLE(getAlt_136) OR FIREABLE(getAlt_137) OR FIREABLE(getAlt_138) OR FIREABLE(getAlt_139) OR FIREABLE(getAlt_140) OR FIREABLE(getAlt_141) OR FIREABLE(getAlt_142) OR FIREABLE(getAlt_143) OR FIREABLE(getAlt_144) OR FIREABLE(getAlt_145) OR FIREABLE(getAlt_146) OR FIREABLE(getAlt_147) OR FIREABLE(getAlt_148) OR FIREABLE(getAlt_149) OR FIREABLE(getAlt_150) OR FIREABLE(getAlt_151) OR FIREABLE(getAlt_152) OR FIREABLE(getAlt_153) OR FIREABLE(getAlt_154) OR FIREABLE(getAlt_155) OR FIREABLE(getAlt_156) OR FIREABLE(getAlt_157) OR FIREABLE(getAlt_158) OR FIREABLE(getAlt_159) OR FIREABLE(getAlt_160) OR FIREABLE(getAlt_161) OR FIREABLE(getAlt_162) OR FIREABLE(getAlt_163) OR FIREABLE(getAlt_164) OR FIREABLE(getAlt_165) OR FIREABLE(getAlt_166) OR FIREABLE(getAlt_167) OR FIREABLE(getAlt_168) OR FIREABLE(getAlt_169) OR FIREABLE(getAlt_170) OR FIREABLE(getAlt_171) OR FIREABLE(getAlt_172) OR FIREABLE(getAlt_173) OR FIREABLE(getAlt_174) OR FIREABLE(getAlt_175) OR FIREABLE(getAlt_176) OR FIREABLE(getAlt_177) OR FIREABLE(getAlt_178) OR FIREABLE(getAlt_179) OR FIREABLE(getAlt_180) OR FIREABLE(getAlt_181) OR FIREABLE(getAlt_182) OR FIREABLE(getAlt_183) OR FIREABLE(getAlt_184) OR FIREABLE(getAlt_185) OR FIREABLE(getAlt_186) OR FIREABLE(getAlt_187) OR FIREABLE(getAlt_188) OR FIREABLE(getAlt_189) OR FIREABLE(getAlt_190) OR FIREABLE(getAlt_191) OR FIREABLE(getAlt_192) OR FIREABLE(getAlt_193) OR FIREABLE(getAlt_194) OR FIREABLE(getAlt_195) OR FIREABLE(getAlt_196) OR FIREABLE(getAlt_197) OR FIREABLE(getAlt_198) OR FIREABLE(getAlt_199) OR FIREABLE(getAlt_200)) OR ((FIREABLE(SpeedRW_1) OR FIREABLE(SpeedRW_2) OR FIREABLE(SpeedRW_3) OR FIREABLE(SpeedRW_4) OR FIREABLE(SpeedRW_5) OR FIREABLE(SpeedRW_6) OR FIREABLE(SpeedRW_7) OR FIREABLE(SpeedRW_8) OR FIREABLE(SpeedRW_9) OR FIREABLE(SpeedRW_10) OR FIREABLE(SpeedRW_11) OR FIREABLE(SpeedRW_12) OR FIREABLE(SpeedRW_13) OR FIREABLE(SpeedRW_14) OR FIREABLE(SpeedRW_15) OR FIREABLE(SpeedRW_16) OR FIREABLE(SpeedRW_17) OR FIREABLE(SpeedRW_18) OR FIREABLE(SpeedRW_19) OR FIREABLE(SpeedRW_20) OR FIREABLE(SpeedRW_21) OR FIREABLE(SpeedRW_22) OR FIREABLE(SpeedRW_23) OR FIREABLE(SpeedRW_24) OR FIREABLE(SpeedRW_25) OR FIREABLE(SpeedRW_26) OR FIREABLE(SpeedRW_27) OR FIREABLE(SpeedRW_28) OR FIREABLE(SpeedRW_29) OR FIREABLE(SpeedRW_30) OR FIREABLE(SpeedRW_31) OR FIREABLE(SpeedRW_32) OR FIREABLE(SpeedRW_33) OR FIREABLE(SpeedRW_34) OR FIREABLE(SpeedRW_35) OR FIREABLE(SpeedRW_36) OR FIREABLE(SpeedRW_37) OR FIREABLE(SpeedRW_38) OR FIREABLE(SpeedRW_39) OR FIREABLE(SpeedRW_40) OR FIREABLE(SpeedRW_41) OR FIREABLE(SpeedRW_42) OR FIREABLE(SpeedRW_43) OR FIREABLE(SpeedRW_44) OR FIREABLE(SpeedRW_45) OR FIREABLE(SpeedRW_46) OR FIREABLE(SpeedRW_47) OR FIREABLE(SpeedRW_48) OR FIREABLE(SpeedRW_49) OR FIREABLE(SpeedRW_50) OR FIREABLE(SpeedRW_51) OR FIREABLE(SpeedRW_52) OR FIREABLE(SpeedRW_53) OR FIREABLE(SpeedRW_54) OR FIREABLE(SpeedRW_55) OR FIREABLE(SpeedRW_56) OR FIREABLE(SpeedRW_57) OR FIREABLE(SpeedRW_58) OR FIREABLE(SpeedRW_59) OR FIREABLE(SpeedRW_60) OR FIREABLE(SpeedRW_61) OR FIREABLE(SpeedRW_62) OR FIREABLE(SpeedRW_63) OR FIREABLE(SpeedRW_64) OR FIREABLE(SpeedRW_65) OR FIREABLE(SpeedRW_66) OR FIREABLE(SpeedRW_67) OR FIREABLE(SpeedRW_68) OR FIREABLE(SpeedRW_69) OR FIREABLE(SpeedRW_70) OR FIREABLE(SpeedRW_71) OR FIREABLE(SpeedRW_72) OR FIREABLE(SpeedRW_73) OR FIREABLE(SpeedRW_74) OR FIREABLE(SpeedRW_75) OR FIREABLE(SpeedRW_76) OR FIREABLE(SpeedRW_77) OR FIREABLE(SpeedRW_78) OR FIREABLE(SpeedRW_79) OR FIREABLE(SpeedRW_80) OR FIREABLE(SpeedRW_81) OR FIREABLE(SpeedRW_82) OR FIREABLE(SpeedRW_83) OR FIREABLE(SpeedRW_84) OR FIREABLE(SpeedRW_85) OR FIREABLE(SpeedRW_86) OR FIREABLE(SpeedRW_87) OR FIREABLE(SpeedRW_88) OR FIREABLE(SpeedRW_89) OR FIREABLE(SpeedRW_90) OR FIREABLE(SpeedRW_91) OR FIREABLE(SpeedRW_92) OR FIREABLE(SpeedRW_93) OR FIREABLE(SpeedRW_94) OR FIREABLE(SpeedRW_95) OR FIREABLE(SpeedRW_96) OR FIREABLE(SpeedRW_97) OR FIREABLE(SpeedRW_98) OR FIREABLE(SpeedRW_99) OR FIREABLE(SpeedRW_100)) AND F (G (NOT FIREABLE(t1_2_off))))))))",
"processed_size": 7433,
"rewrites": 68
},
"result":
{
"edges": 21,
"markings": 16,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 3,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 55,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 55,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 54
},
"processed": "A (X (((NOT FIREABLE(t4_2_1) AND NOT FIREABLE(t4_2_2) AND NOT FIREABLE(t4_2_3) AND NOT FIREABLE(t4_2_4) AND NOT FIREABLE(t4_2_5) AND NOT FIREABLE(t4_2_6) AND NOT FIREABLE(t4_2_7) AND NOT FIREABLE(t4_2_8) AND NOT FIREABLE(t4_2_9) AND NOT FIREABLE(t4_2_10) AND NOT FIREABLE(t4_2_11) AND NOT FIREABLE(t4_2_12) AND NOT FIREABLE(t4_2_13) AND NOT FIREABLE(t4_2_14) AND NOT FIREABLE(t4_2_15) AND NOT FIREABLE(t4_2_16) AND NOT FIREABLE(t4_2_17) AND NOT FIREABLE(t4_2_18) AND NOT FIREABLE(t4_2_19) AND NOT FIREABLE(t4_2_20) AND NOT FIREABLE(t4_2_21) AND NOT FIREABLE(t4_2_22) AND NOT FIREABLE(t4_2_23) AND NOT FIREABLE(t4_2_24) AND NOT FIREABLE(t4_2_25) AND NOT FIREABLE(t4_2_26) AND NOT FIREABLE(t4_2_27) AND NOT FIREABLE(t4_2_28) AND NOT FIREABLE(t4_2_29) AND NOT FIREABLE(t4_2_30) AND NOT FIREABLE(t4_2_31) AND NOT FIREABLE(t4_2_32) AND NOT FIREABLE(t4_2_33) AND NOT FIREABLE(t4_2_34) AND NOT FIREABLE(t4_2_35) AND NOT FIREABLE(t4_2_36) AND NOT FIREABLE(t4_2_37) AND NOT FIREABLE(t4_2_38) AND NOT FIREABLE(t4_2_39) AND NOT FIREABLE(t4_2_40) AND NOT FIREABLE(t4_2_41) AND NOT FIREABLE(t4_2_42) AND NOT FIREABLE(t4_2_43) AND NOT FIREABLE(t4_2_44) AND NOT FIREABLE(t4_2_45) AND NOT FIREABLE(t4_2_46) AND NOT FIREABLE(t4_2_47) AND NOT FIREABLE(t4_2_48) AND NOT FIREABLE(t4_2_49) AND NOT FIREABLE(t4_2_50) AND NOT FIREABLE(t4_2_100)) R F ((NOT FIREABLE(t1_1_on) AND (NOT FIREABLE(t1_1_on) OR (NOT FIREABLE(SampleRW_on) AND NOT FIREABLE(SampleRW_off))))))))",
"processed_size": 1446,
"rewrites": 68
},
"result":
{
"edges": 28553609,
"markings": 12302810,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 100,
"unfir": 99,
"visible_places": 0,
"visible_transitions": 100
},
"processed": "A (F (G (((NOT FIREABLE(t3_1_1) AND NOT FIREABLE(t3_1_2) AND NOT FIREABLE(t3_1_3) AND NOT FIREABLE(t3_1_4) AND NOT FIREABLE(t3_1_5) AND NOT FIREABLE(t3_1_6) AND NOT FIREABLE(t3_1_7) AND NOT FIREABLE(t3_1_8) AND NOT FIREABLE(t3_1_9) AND NOT FIREABLE(t3_1_10) AND NOT FIREABLE(t3_1_11) AND NOT FIREABLE(t3_1_12) AND NOT FIREABLE(t3_1_13) AND NOT FIREABLE(t3_1_14) AND NOT FIREABLE(t3_1_15) AND NOT FIREABLE(t3_1_16) AND NOT FIREABLE(t3_1_17) AND NOT FIREABLE(t3_1_18) AND NOT FIREABLE(t3_1_19) AND NOT FIREABLE(t3_1_20) AND NOT FIREABLE(t3_1_21) AND NOT FIREABLE(t3_1_22) AND NOT FIREABLE(t3_1_23) AND NOT FIREABLE(t3_1_24) AND NOT FIREABLE(t3_1_25) AND NOT FIREABLE(t3_1_26) AND NOT FIREABLE(t3_1_27) AND NOT FIREABLE(t3_1_28) AND NOT FIREABLE(t3_1_29) AND NOT FIREABLE(t3_1_30) AND NOT FIREABLE(t3_1_31) AND NOT FIREABLE(t3_1_32) AND NOT FIREABLE(t3_1_33) AND NOT FIREABLE(t3_1_34) AND NOT FIREABLE(t3_1_35) AND NOT FIREABLE(t3_1_36) AND NOT FIREABLE(t3_1_37) AND NOT FIREABLE(t3_1_38) AND NOT FIREABLE(t3_1_39) AND NOT FIREABLE(t3_1_40) AND NOT FIREABLE(t3_1_41) AND NOT FIREABLE(t3_1_42) AND NOT FIREABLE(t3_1_43) AND NOT FIREABLE(t3_1_44) AND NOT FIREABLE(t3_1_45) AND NOT FIREABLE(t3_1_46) AND NOT FIREABLE(t3_1_47) AND NOT FIREABLE(t3_1_48) AND NOT FIREABLE(t3_1_49) AND NOT FIREABLE(t3_1_50) AND NOT FIREABLE(t3_1_51) AND NOT FIREABLE(t3_1_52) AND NOT FIREABLE(t3_1_53) AND NOT FIREABLE(t3_1_54) AND NOT FIREABLE(t3_1_55) AND NOT FIREABLE(t3_1_56) AND NOT FIREABLE(t3_1_57) AND NOT FIREABLE(t3_1_58) AND NOT FIREABLE(t3_1_59) AND NOT FIREABLE(t3_1_60) AND NOT FIREABLE(t3_1_61) AND NOT FIREABLE(t3_1_62) AND NOT FIREABLE(t3_1_63) AND NOT FIREABLE(t3_1_64) AND NOT FIREABLE(t3_1_65) AND NOT FIREABLE(t3_1_66) AND NOT FIREABLE(t3_1_67) AND NOT FIREABLE(t3_1_68) AND NOT FIREABLE(t3_1_69) AND NOT FIREABLE(t3_1_70) AND NOT FIREABLE(t3_1_71) AND NOT FIREABLE(t3_1_72) AND NOT FIREABLE(t3_1_73) AND NOT FIREABLE(t3_1_74) AND NOT FIREABLE(t3_1_75) AND NOT FIREABLE(t3_1_76) AND NOT FIREABLE(t3_1_77) AND NOT FIREABLE(t3_1_78) AND NOT FIREABLE(t3_1_79) AND NOT FIREABLE(t3_1_80) AND NOT FIREABLE(t3_1_81) AND NOT FIREABLE(t3_1_82) AND NOT FIREABLE(t3_1_83) AND NOT FIREABLE(t3_1_84) AND NOT FIREABLE(t3_1_85) AND NOT FIREABLE(t3_1_86) AND NOT FIREABLE(t3_1_87) AND NOT FIREABLE(t3_1_88) AND NOT FIREABLE(t3_1_89) AND NOT FIREABLE(t3_1_90) AND NOT FIREABLE(t3_1_91) AND NOT FIREABLE(t3_1_92) AND NOT FIREABLE(t3_1_93) AND NOT FIREABLE(t3_1_94) AND NOT FIREABLE(t3_1_95) AND NOT FIREABLE(t3_1_96) AND NOT FIREABLE(t3_1_97) AND NOT FIREABLE(t3_1_98) AND NOT FIREABLE(t3_1_99)) OR X (G (FIREABLE(t2_1_on)))))))",
"processed_size": 2605,
"rewrites": 68
},
"result":
{
"edges": 176087025,
"markings": 36897624,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 8101036,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X((* R F(*)))) : A(X(F(**))) : A(G(F((** OR (** AND F(G(*))))))) : A(X((F(**) U **))) : A(G(F((** AND X(G((F(**) AND (** OR **)))))))) : A(F(G((** OR X(G(**)))))) : A((X(((** OR F(**)) U **)) U (G(**) OR X(F(**))))) : A((** OR X(G(*)))) : A(X((G((* OR G(*))) OR X((* AND (F(*) OR G(*))))))) : A(((** U ((** U **) AND F(G(**)))) U (** AND F(**)))) : A(G(F(**))) : A((G(**) OR X((** OR X(F(*)))))) : A(G(**)) : (A(G(**)) AND A(X(F((F(**) OR X(**)))))) : A(F((X(F(*)) AND G(*)))) : A(((** U (** AND X((X(**) AND *)))) OR X(*)))"
},
"net":
{
"arcs": 3078,
"conflict_clusters": 11,
"places": 719,
"places_significant": 414,
"singleton_clusters": 0,
"transitions": 808
},
"result":
{
"interim_value": "yes no no yes no yes no yes unknown no no yes no no no no ",
"preliminary_value": "yes no no yes no yes no yes unknown no no yes no no no no "
},
"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: 1527/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 719
lola: finding significant places
lola: 719 places, 808 transitions, 414 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (NOT(X (((FIREABLE(t4_2_1) OR FIREABLE(t4_2_2) OR FIREABLE(t4_2_3) OR FIREABLE(t4_2_4) OR FIREABLE(t4_2_5) OR FIREABLE(t4_2_6) OR FIREABLE(t4_2_7) OR FIREABLE(t4_2_8) OR FIREABLE(t4_2_9) OR FIREABLE(t4_2_10) OR FIREABLE(t4_2_11) OR FIREABLE(t4_2_12) OR FIREABLE(t4_2_13) OR FIREABLE(t4_2_14) OR FIREABLE(t4_2_15) OR FIREABLE(t4_2_16) OR FIREABLE(t4_2_17) OR FIREABLE(t4_2_18) OR FIREABLE(t4_2_19) OR FIREABLE(t4_2_20) OR FIREABLE(t4_2_21) OR FIREABLE(t4_2_22) OR FIREABLE(t4_2_23) OR FIREABLE(t4_2_24) OR FIREABLE(t4_2_25) OR FIREABLE(t4_2_26) OR FIREABLE(t4_2_27) OR FIREABLE(t4_2_28) OR FIREABLE(t4_2_29) OR FIREABLE(t4_2_30) OR FIREABLE(t4_2_31) OR FIREABLE(t4_2_32) OR FIREABLE(t4_2_33) OR FIREABLE(t4_2_34) OR FIREABLE(t4_2_35) OR FIREABLE(t4_2_36) OR FIREABLE(t4_2_37) OR FIREABLE(t4_2_38) OR FIREABLE(t4_2_39) OR FIREABLE(t4_2_40) OR FIREABLE(t4_2_41) OR FIREABLE(t4_2_42) OR FIREABLE(t4_2_43) OR FIREABLE(t4_2_44) OR FIREABLE(t4_2_45) OR FIREABLE(t4_2_46) OR FIREABLE(t4_2_47) OR FIREABLE(t4_2_48) OR FIREABLE(t4_2_49) OR FIREABLE(t4_2_50) OR FIREABLE(t4_2_100)) U G ((FIREABLE(t1_1_on) OR (FIREABLE(t1_1_on) AND (FIREABLE(SampleRW_on) OR FIREABLE(SampleRW_off))))))))) : A (X (F (FIREABLE(t2_2_off)))) : A (G (F (X (G (F (((FIREABLE(getAlt_1) OR FIREABLE(getAlt_2) OR FIREABLE(getAlt_3) OR FIREABLE(getAlt_4) OR FIREABLE(getAlt_5) OR FIREABLE(getAlt_6) OR FIREABLE(getAlt_7) OR FIREABLE(getAlt_8) OR FIREABLE(getAlt_9) OR FIREABLE(getAlt_10) OR FIREABLE(getAlt_11) OR FIREABLE(getAlt_12) OR FIREABLE(getAlt_13) OR FIREABLE(getAlt_14) OR FIREABLE(getAlt_15) OR FIREABLE(getAlt_16) OR FIREABLE(getAlt_17) OR FIREABLE(getAlt_18) OR FIREABLE(getAlt_19) OR FIREABLE(getAlt_20) OR FIREABLE(getAlt_21) OR FIREABLE(getAlt_22) OR FIREABLE(getAlt_23) OR FIREABLE(getAlt_24) OR FIREABLE(getAlt_25) OR FIREABLE(getAlt_26) OR FIREABLE(getAlt_27) OR FIREABLE(getAlt_28) OR FIREABLE(getAlt_29) OR FIREABLE(getAlt_30) OR FIREABLE(getAlt_31) OR FIREABLE(getAlt_32) OR FIREABLE(getAlt_33) OR FIREABLE(getAlt_34) OR FIREABLE(getAlt_35) OR FIREABLE(getAlt_36) OR FIREABLE(getAlt_37) OR FIREABLE(getAlt_38) OR FIREABLE(getAlt_39) OR FIREABLE(getAlt_40) OR FIREABLE(getAlt_41) OR FIREABLE(getAlt_42) OR FIREABLE(getAlt_43) OR FIREABLE(getAlt_44) OR FIREABLE(getAlt_45) OR FIREABLE(getAlt_46) OR FIREABLE(getAlt_47) OR FIREABLE(getAlt_48) OR FIREABLE(getAlt_49) OR FIREABLE(getAlt_50) OR FIREABLE(getAlt_51) OR FIREABLE(getAlt_52) OR FIREABLE(getAlt_53) OR FIREABLE(getAlt_54) OR FIREABLE(getAlt_55) OR FIREABLE(getAlt_56) OR FIREABLE(getAlt_57) OR FIREABLE(getAlt_58) OR FIREABLE(getAlt_59) OR FIREABLE(getAlt_60) OR FIREABLE(getAlt_61) OR FIREABLE(getAlt_62) OR FIREABLE(getAlt_63) OR FIREABLE(getAlt_64) OR FIREABLE(getAlt_65) OR FIREABLE(getAlt_66) OR FIREABLE(getAlt_67) OR FIREABLE(getAlt_68) OR FIREABLE(getAlt_69) OR FIREABLE(getAlt_70) OR FIREABLE(getAlt_71) OR FIREABLE(getAlt_72) OR FIREABLE(getAlt_73) OR FIREABLE(getAlt_74) OR FIREABLE(getAlt_75) OR FIREABLE(getAlt_76) OR FIREABLE(getAlt_77) OR FIREABLE(getAlt_78) OR FIREABLE(getAlt_79) OR FIREABLE(getAlt_80) OR FIREABLE(getAlt_81) OR FIREABLE(getAlt_82) OR FIREABLE(getAlt_83) OR FIREABLE(getAlt_84) OR FIREABLE(getAlt_85) OR FIREABLE(getAlt_86) OR FIREABLE(getAlt_87) OR FIREABLE(getAlt_88) OR FIREABLE(getAlt_89) OR FIREABLE(getAlt_90) OR FIREABLE(getAlt_91) OR FIREABLE(getAlt_92) OR FIREABLE(getAlt_93) OR FIREABLE(getAlt_94) OR FIREABLE(getAlt_95) OR FIREABLE(getAlt_96) OR FIREABLE(getAlt_97) OR FIREABLE(getAlt_98) OR FIREABLE(getAlt_99) OR FIREABLE(getAlt_100) OR FIREABLE(getAlt_101) OR FIREABLE(getAlt_102) OR FIREABLE(getAlt_103) OR FIREABLE(getAlt_104) OR FIREABLE(getAlt_105) OR FIREABLE(getAlt_106) OR FIREABLE(getAlt_107) OR FIREABLE(getAlt_108) OR FIREABLE(getAlt_109) OR FIREABLE(getAlt_110) OR FIREABLE(getAlt_111) OR FIREABLE(getAlt_112) OR FIREABLE(getAlt_113) OR FIREABLE(getAlt_114) OR FIREABLE(getAlt_115) OR FIREABLE(getAlt_116) OR FIREABLE(getAlt_117) OR FIREABLE(getAlt_118) OR FIREABLE(getAlt_119) OR FIREABLE(getAlt_120) OR FIREABLE(getAlt_121) OR FIREABLE(getAlt_122) OR FIREABLE(getAlt_123) OR FIREABLE(getAlt_124) OR FIREABLE(getAlt_125) OR FIREABLE(getAlt_126) OR FIREABLE(getAlt_127) OR FIREABLE(getAlt_128) OR FIREABLE(getAlt_129) OR FIREABLE(getAlt_130) OR FIREABLE(getAlt_131) OR FIREABLE(getAlt_132) OR FIREABLE(getAlt_133) OR FIREABLE(getAlt_134) OR FIREABLE(getAlt_135) OR FIREABLE(getAlt_136) OR FIREABLE(getAlt_137) OR FIREABLE(getAlt_138) OR FIREABLE(getAlt_139) OR FIREABLE(getAlt_140) OR FIREABLE(getAlt_141) OR FIREABLE(getAlt_142) OR FIREABLE(getAlt_143) OR FIREABLE(getAlt_144) OR FIREABLE(getAlt_145) OR FIREABLE(getAlt_146) OR FIREABLE(getAlt_147) OR FIREABLE(getAlt_148) OR FIREABLE(getAlt_149) OR FIREABLE(getAlt_150) OR FIREABLE(getAlt_151) OR FIREABLE(getAlt_152) OR FIREABLE(getAlt_153) OR FIREABLE(getAlt_154) OR FIREABLE(getAlt_155) OR FIREABLE(getAlt_156) OR FIREABLE(getAlt_157) OR FIREABLE(getAlt_158) OR FIREABLE(getAlt_159) OR FIREABLE(getAlt_160) OR FIREABLE(getAlt_161) OR FIREABLE(getAlt_162) OR FIREABLE(getAlt_163) OR FIREABLE(getAlt_164) OR FIREABLE(getAlt_165) OR FIREABLE(getAlt_166) OR FIREABLE(getAlt_167) OR FIREABLE(getAlt_168) OR FIREABLE(getAlt_169) OR FIREABLE(getAlt_170) OR FIREABLE(getAlt_171) OR FIREABLE(getAlt_172) OR FIREABLE(getAlt_173) OR FIREABLE(getAlt_174) OR FIREABLE(getAlt_175) OR FIREABLE(getAlt_176) OR FIREABLE(getAlt_177) OR FIREABLE(getAlt_178) OR FIREABLE(getAlt_179) OR FIREABLE(getAlt_180) OR FIREABLE(getAlt_181) OR FIREABLE(getAlt_182) OR FIREABLE(getAlt_183) OR FIREABLE(getAlt_184) OR FIREABLE(getAlt_185) OR FIREABLE(getAlt_186) OR FIREABLE(getAlt_187) OR FIREABLE(getAlt_188) OR FIREABLE(getAlt_189) OR FIREABLE(getAlt_190) OR FIREABLE(getAlt_191) OR FIREABLE(getAlt_192) OR FIREABLE(getAlt_193) OR FIREABLE(getAlt_194) OR FIREABLE(getAlt_195) OR FIREABLE(getAlt_196) OR FIREABLE(getAlt_197) OR FIREABLE(getAlt_198) OR FIREABLE(getAlt_199) OR FIREABLE(getAlt_200)) OR ((FIREABLE(SpeedRW_1) OR FIREABLE(SpeedRW_2) OR FIREABLE(SpeedRW_3) OR FIREABLE(SpeedRW_4) OR FIREABLE(SpeedRW_5) OR FIREABLE(SpeedRW_6) OR FIREABLE(SpeedRW_7) OR FIREABLE(SpeedRW_8) OR FIREABLE(SpeedRW_9) OR FIREABLE(SpeedRW_10) OR FIREABLE(SpeedRW_11) OR FIREABLE(SpeedRW_12) OR FIREABLE(SpeedRW_13) OR FIREABLE(SpeedRW_14) OR FIREABLE(SpeedRW_15) OR FIREABLE(SpeedRW_16) OR FIREABLE(SpeedRW_17) OR FIREABLE(SpeedRW_18) OR FIREABLE(SpeedRW_19) OR FIREABLE(SpeedRW_20) OR FIREABLE(SpeedRW_21) OR FIREABLE(SpeedRW_22) OR FIREABLE(SpeedRW_23) OR FIREABLE(SpeedRW_24) OR FIREABLE(SpeedRW_25) OR FIREABLE(SpeedRW_26) OR FIREABLE(SpeedRW_27) OR FIREABLE(SpeedRW_28) OR FIREABLE(SpeedRW_29) OR FIREABLE(SpeedRW_30) OR FIREABLE(SpeedRW_31) OR FIREABLE(SpeedRW_32) OR FIREABLE(SpeedRW_33) OR FIREABLE(SpeedRW_34) OR FIREABLE(SpeedRW_35) OR FIREABLE(SpeedRW_36) OR FIREABLE(SpeedRW_37) OR FIREABLE(SpeedRW_38) OR FIREABLE(SpeedRW_39) OR FIREABLE(SpeedRW_40) OR FIREABLE(SpeedRW_41) OR FIREABLE(SpeedRW_42) OR FIREABLE(SpeedRW_43) OR FIREABLE(SpeedRW_44) OR FIREABLE(SpeedRW_45) OR FIREABLE(SpeedRW_46) OR FIREABLE(SpeedRW_47) OR FIREABLE(SpeedRW_48) OR FIREABLE(SpeedRW_49) OR FIREABLE(SpeedRW_50) OR FIREABLE(SpeedRW_51) OR FIREABLE(SpeedRW_52) OR FIREABLE(SpeedRW_53) OR FIREABLE(SpeedRW_54) OR FIREABLE(SpeedRW_55) OR FIREABLE(SpeedRW_56) OR FIREABLE(SpeedRW_57) OR FIREABLE(SpeedRW_58) OR FIREABLE(SpeedRW_59) OR FIREABLE(SpeedRW_60) OR FIREABLE(SpeedRW_61) OR FIREABLE(SpeedRW_62) OR FIREABLE(SpeedRW_63) OR FIREABLE(SpeedRW_64) OR FIREABLE(SpeedRW_65) OR FIREABLE(SpeedRW_66) OR FIREABLE(SpeedRW_67) OR FIREABLE(SpeedRW_68) OR FIREABLE(SpeedRW_69) OR FIREABLE(SpeedRW_70) OR FIREABLE(SpeedRW_71) OR FIREABLE(SpeedRW_72) OR FIREABLE(SpeedRW_73) OR FIREABLE(SpeedRW_74) OR FIREABLE(SpeedRW_75) OR FIREABLE(SpeedRW_76) OR FIREABLE(SpeedRW_77) OR FIREABLE(SpeedRW_78) OR FIREABLE(SpeedRW_79) OR FIREABLE(SpeedRW_80) OR FIREABLE(SpeedRW_81) OR FIREABLE(SpeedRW_82) OR FIREABLE(SpeedRW_83) OR FIREABLE(SpeedRW_84) OR FIREABLE(SpeedRW_85) OR FIREABLE(SpeedRW_86) OR FIREABLE(SpeedRW_87) OR FIREABLE(SpeedRW_88) OR FIREABLE(SpeedRW_89) OR FIREABLE(SpeedRW_90) OR FIREABLE(SpeedRW_91) OR FIREABLE(SpeedRW_92) OR FIREABLE(SpeedRW_93) OR FIREABLE(SpeedRW_94) OR FIREABLE(SpeedRW_95) OR FIREABLE(SpeedRW_96) OR FIREABLE(SpeedRW_97) OR FIREABLE(SpeedRW_98) OR FIREABLE(SpeedRW_99) OR FIREABLE(SpeedRW_100)) AND F (NOT(F (FIREABLE(t1_2_off)))))))))))) : A (X ((F (NOT FIREABLE(t2_1_on)) U ((NOT FIREABLE(SpeedRW_1) AND NOT FIREABLE(SpeedRW_2) AND NOT FIREABLE(SpeedRW_3) AND NOT FIREABLE(SpeedRW_4) AND NOT FIREABLE(SpeedRW_5) AND NOT FIREABLE(SpeedRW_6) AND NOT FIREABLE(SpeedRW_7) AND NOT FIREABLE(SpeedRW_8) AND NOT FIREABLE(SpeedRW_9) AND NOT FIREABLE(SpeedRW_10) AND NOT FIREABLE(SpeedRW_11) AND NOT FIREABLE(SpeedRW_12) AND NOT FIREABLE(SpeedRW_13) AND NOT FIREABLE(SpeedRW_14) AND NOT FIREABLE(SpeedRW_15) AND NOT FIREABLE(SpeedRW_16) AND NOT FIREABLE(SpeedRW_17) AND NOT FIREABLE(SpeedRW_18) AND NOT FIREABLE(SpeedRW_19) AND NOT FIREABLE(SpeedRW_20) AND NOT FIREABLE(SpeedRW_21) AND NOT FIREABLE(SpeedRW_22) AND NOT FIREABLE(SpeedRW_23) AND NOT FIREABLE(SpeedRW_24) AND NOT FIREABLE(SpeedRW_25) AND NOT FIREABLE(SpeedRW_26) AND NOT FIREABLE(SpeedRW_27) AND NOT FIREABLE(SpeedRW_28) AND NOT FIREABLE(SpeedRW_29) AND NOT FIREABLE(SpeedRW_30) AND NOT FIREABLE(SpeedRW_31) AND NOT FIREABLE(SpeedRW_32) AND NOT FIREABLE(SpeedRW_33) AND NOT FIREABLE(SpeedRW_34) AND NOT FIREABLE(SpeedRW_35) AND NOT FIREABLE(SpeedRW_36) AND NOT FIREABLE(SpeedRW_37) AND NOT FIREABLE(SpeedRW_38) AND NOT FIREABLE(SpeedRW_39) AND NOT FIREABLE(SpeedRW_40) AND NOT FIREABLE(SpeedRW_41) AND NOT FIREABLE(SpeedRW_42) AND NOT FIREABLE(SpeedRW_43) AND NOT FIREABLE(SpeedRW_44) AND NOT FIREABLE(SpeedRW_45) AND NOT FIREABLE(SpeedRW_46) AND NOT FIREABLE(SpeedRW_47) AND NOT FIREABLE(SpeedRW_48) AND NOT FIREABLE(SpeedRW_49) AND NOT FIREABLE(SpeedRW_50) AND NOT FIREABLE(SpeedRW_51) AND NOT FIREABLE(SpeedRW_52) AND NOT FIREABLE(SpeedRW_53) AND NOT FIREABLE(SpeedRW_54) AND NOT FIREABLE(SpeedRW_55) AND NOT FIREABLE(SpeedRW_56) AND NOT FIREABLE(SpeedRW_57) AND NOT FIREABLE(SpeedRW_58) AND NOT FIREABLE(SpeedRW_59) AND NOT FIREABLE(SpeedRW_60) AND NOT FIREABLE(SpeedRW_61) AND NOT FIREABLE(SpeedRW_62) AND NOT FIREABLE(SpeedRW_63) AND NOT FIREABLE(SpeedRW_64) AND NOT FIREABLE(SpeedRW_65) AND NOT FIREABLE(SpeedRW_66) AND NOT FIREABLE(SpeedRW_67) AND NOT FIREABLE(SpeedRW_68) AND NOT FIREABLE(SpeedRW_69) AND NOT FIREABLE(SpeedRW_70) AND NOT FIREABLE(SpeedRW_71) AND NOT FIREABLE(SpeedRW_72) AND NOT FIREABLE(SpeedRW_73) AND NOT FIREABLE(SpeedRW_74) AND NOT FIREABLE(SpeedRW_75) AND NOT FIREABLE(SpeedRW_76) AND NOT FIREABLE(SpeedRW_77) AND NOT FIREABLE(SpeedRW_78) AND NOT FIREABLE(SpeedRW_79) AND NOT FIREABLE(SpeedRW_80) AND NOT FIREABLE(SpeedRW_81) AND NOT FIREABLE(SpeedRW_82) AND NOT FIREABLE(SpeedRW_83) AND NOT FIREABLE(SpeedRW_84) AND NOT FIREABLE(SpeedRW_85) AND NOT FIREABLE(SpeedRW_86) AND NOT FIREABLE(SpeedRW_87) AND NOT FIREABLE(SpeedRW_88) AND NOT FIREABLE(SpeedRW_89) AND NOT FIREABLE(SpeedRW_90) AND NOT FIREABLE(SpeedRW_91) AND NOT FIREABLE(SpeedRW_92) AND NOT FIREABLE(SpeedRW_93) AND NOT FIREABLE(SpeedRW_94) AND NOT FIREABLE(SpeedRW_95) AND NOT FIREABLE(SpeedRW_96) AND NOT FIREABLE(SpeedRW_97) AND NOT FIREABLE(SpeedRW_98) AND NOT FIREABLE(SpeedRW_99) AND NOT FIREABLE(SpeedRW_100)) OR NOT FIREABLE(t2_1_on) OR (NOT FIREABLE(t4_2_1) AND NOT FIREABLE(t4_2_2) AND NOT FIREABLE(t4_2_3) AND NOT FIREABLE(t4_2_4) AND NOT FIREABLE(t4_2_5) AND NOT FIREABLE(t4_2_6) AND NOT FIREABLE(t4_2_7) AND NOT FIREABLE(t4_2_8) AND NOT FIREABLE(t4_2_9) AND NOT FIREABLE(t4_2_10) AND NOT FIREABLE(t4_2_11) AND NOT FIREABLE(t4_2_12) AND NOT FIREABLE(t4_2_13) AND NOT FIREABLE(t4_2_14) AND NOT FIREABLE(t4_2_15) AND NOT FIREABLE(t4_2_16) AND NOT FIREABLE(t4_2_17) AND NOT FIREABLE(t4_2_18) AND NOT FIREABLE(t4_2_19) AND NOT FIREABLE(t4_2_20) AND NOT FIREABLE(t4_2_21) AND NOT FIREABLE(t4_2_22) AND NOT FIREABLE(t4_2_23) AND NOT FIREABLE(t4_2_24) AND NOT FIREABLE(t4_2_25) AND NOT FIREABLE(t4_2_26) AND NOT FIREABLE(t4_2_27) AND NOT FIREABLE(t4_2_28) AND NOT FIREABLE(t4_2_29) AND NOT FIREABLE(t4_2_30) AND NOT FIREABLE(t4_2_31) AND NOT FIREABLE(t4_2_32) AND NOT FIREABLE(t4_2_33) AND NOT FIREABLE(t4_2_34) AND NOT FIREABLE(t4_2_35) AND NOT FIREABLE(t4_2_36) AND NOT FIREABLE(t4_2_37) AND NOT FIREABLE(t4_2_38) AND NOT FIREABLE(t4_2_39) AND NOT FIREABLE(t4_2_40) AND NOT FIREABLE(t4_2_41) AND NOT FIREABLE(t4_2_42) AND NOT FIREABLE(t4_2_43) AND NOT FIREABLE(t4_2_44) AND NOT FIREABLE(t4_2_45) AND NOT FIREABLE(t4_2_46) AND NOT FIREABLE(t4_2_47) AND NOT FIREABLE(t4_2_48) AND NOT FIREABLE(t4_2_49) AND NOT FIREABLE(t4_2_50) AND NOT FIREABLE(t4_2_100)))))) : A (G (F ((FIREABLE(t2_1_on) AND X (G ((((FIREABLE(t4_1_51) OR FIREABLE(t4_1_52) OR FIREABLE(t4_1_53) OR FIREABLE(t4_1_54) OR FIREABLE(t4_1_55) OR FIREABLE(t4_1_56) OR FIREABLE(t4_1_57) OR FIREABLE(t4_1_58) OR FIREABLE(t4_1_59) OR FIREABLE(t4_1_60) OR FIREABLE(t4_1_61) OR FIREABLE(t4_1_62) OR FIREABLE(t4_1_63) OR FIREABLE(t4_1_64) OR FIREABLE(t4_1_65) OR FIREABLE(t4_1_66) OR FIREABLE(t4_1_67) OR FIREABLE(t4_1_68) OR FIREABLE(t4_1_69) OR FIREABLE(t4_1_70) OR FIREABLE(t4_1_71) OR FIREABLE(t4_1_72) OR FIREABLE(t4_1_73) OR FIREABLE(t4_1_74) OR FIREABLE(t4_1_75) OR FIREABLE(t4_1_76) OR FIREABLE(t4_1_77) OR FIREABLE(t4_1_78) OR FIREABLE(t4_1_79) OR FIREABLE(t4_1_80) OR FIREABLE(t4_1_81) OR FIREABLE(t4_1_82) OR FIREABLE(t4_1_83) OR FIREABLE(t4_1_84) OR FIREABLE(t4_1_85) OR FIREABLE(t4_1_86) OR FIREABLE(t4_1_87) OR FIREABLE(t4_1_88) OR FIREABLE(t4_1_89) OR FIREABLE(t4_1_90) OR FIREABLE(t4_1_91) OR FIREABLE(t4_1_92) OR FIREABLE(t4_1_93) OR FIREABLE(t4_1_94) OR FIREABLE(t4_1_95) OR FIREABLE(t4_1_96) OR FIREABLE(t4_1_97) OR FIREABLE(t4_1_98) OR FIREABLE(t4_1_99)) AND (FIREABLE(getAlt_1) OR FIREABLE(getAlt_2) OR FIREABLE(getAlt_3) OR FIREABLE(getAlt_4) OR FIREABLE(getAlt_5) OR FIREABLE(getAlt_6) OR FIREABLE(getAlt_7) OR FIREABLE(getAlt_8) OR FIREABLE(getAlt_9) OR FIREABLE(getAlt_10) OR FIREABLE(getAlt_11) OR FIREABLE(getAlt_12) OR FIREABLE(getAlt_13) OR FIREABLE(getAlt_14) OR FIREABLE(getAlt_15) OR FIREABLE(getAlt_16) OR FIREABLE(getAlt_17) OR FIREABLE(getAlt_18) OR FIREABLE(getAlt_19) OR FIREABLE(getAlt_20) OR FIREABLE(getAlt_21) OR FIREABLE(getAlt_22) OR FIREABLE(getAlt_23) OR FIREABLE(getAlt_24) OR FIREABLE(getAlt_25) OR FIREABLE(getAlt_26) OR FIREABLE(getAlt_27) OR FIREABLE(getAlt_28) OR FIREABLE(getAlt_29) OR FIREABLE(getAlt_30) OR FIREABLE(getAlt_31) OR FIREABLE(getAlt_32) OR FIREABLE(getAlt_33) OR FIREABLE(getAlt_34) OR FIREABLE(getAlt_35) OR FIREABLE(getAlt_36) OR FIREABLE(getAlt_37) OR FIREABLE(getAlt_38) OR FIREABLE(getAlt_39) OR FIREABLE(getAlt_40) OR FIREABLE(getAlt_41) OR FIREABLE(getAlt_42) OR FIREABLE(getAlt_43) OR FIREABLE(getAlt_44) OR FIREABLE(getAlt_45) OR FIREABLE(getAlt_46) OR FIREABLE(getAlt_47) OR FIREABLE(getAlt_48) OR FIREABLE(getAlt_49) OR FIREABLE(getAlt_50) OR FIREABLE(getAlt_51) OR FIREABLE(getAlt_52) OR FIREABLE(getAlt_53) OR FIREABLE(getAlt_54) OR FIREABLE(getAlt_55) OR FIREABLE(getAlt_56) OR FIREABLE(getAlt_57) OR FIREABLE(getAlt_58) OR FIREABLE(getAlt_59) OR FIREABLE(getAlt_60) OR FIREABLE(getAlt_61) OR FIREABLE(getAlt_62) OR FIREABLE(getAlt_63) OR FIREABLE(getAlt_64) OR FIREABLE(getAlt_65) OR FIREABLE(getAlt_66) OR FIREABLE(getAlt_67) OR FIREABLE(getAlt_68) OR FIREABLE(getAlt_69) OR FIREABLE(getAlt_70) OR FIREABLE(getAlt_71) OR FIREABLE(getAlt_72) OR FIREABLE(getAlt_73) OR FIREABLE(getAlt_74) OR FIREABLE(getAlt_75) OR FIREABLE(getAlt_76) OR FIREABLE(getAlt_77) OR FIREABLE(getAlt_78) OR FIREABLE(getAlt_79) OR FIREABLE(getAlt_80) OR FIREABLE(getAlt_81) OR FIREABLE(getAlt_82) OR FIREABLE(getAlt_83) OR FIREABLE(getAlt_84) OR FIREABLE(getAlt_85) OR FIREABLE(getAlt_86) OR FIREABLE(getAlt_87) OR FIREABLE(getAlt_88) OR FIREABLE(getAlt_89) OR FIREABLE(getAlt_90) OR FIREABLE(getAlt_91) OR FIREABLE(getAlt_92) OR FIREABLE(getAlt_93) OR FIREABLE(getAlt_94) OR FIREABLE(getAlt_95) OR FIREABLE(getAlt_96) OR FIREABLE(getAlt_97) OR FIREABLE(getAlt_98) OR FIREABLE(getAlt_99) OR FIREABLE(getAlt_100) OR FIREABLE(getAlt_101) OR FIREABLE(getAlt_102) OR FIREABLE(getAlt_103) OR FIREABLE(getAlt_104) OR FIREABLE(getAlt_105) OR FIREABLE(getAlt_106) OR FIREABLE(getAlt_107) OR FIREABLE(getAlt_108) OR FIREABLE(getAlt_109) OR FIREABLE(getAlt_110) OR FIREABLE(getAlt_111) OR FIREABLE(getAlt_112) OR FIREABLE(getAlt_113) OR FIREABLE(getAlt_114) OR FIREABLE(getAlt_115) OR FIREABLE(getAlt_116) OR FIREABLE(getAlt_117) OR FIREABLE(getAlt_118) OR FIREABLE(getAlt_119) OR FIREABLE(getAlt_120) OR FIREABLE(getAlt_121) OR FIREABLE(getAlt_122) OR FIREABLE(getAlt_123) OR FIREABLE(getAlt_124) OR FIREABLE(getAlt_125) OR FIREABLE(getAlt_126) OR FIREABLE(getAlt_127) OR FIREABLE(getAlt_128) OR FIREABLE(getAlt_129) OR FIREABLE(getAlt_130) OR FIREABLE(getAlt_131) OR FIREABLE(getAlt_132) OR FIREABLE(getAlt_133) OR FIREABLE(getAlt_134) OR FIREABLE(getAlt_135) OR FIREABLE(getAlt_136) OR FIREABLE(getAlt_137) OR FIREABLE(getAlt_138) OR FIREABLE(getAlt_139) OR FIREABLE(getAlt_140) OR FIREABLE(getAlt_141) OR FIREABLE(getAlt_142) OR FIREABLE(getAlt_143) OR FIREABLE(getAlt_144) OR FIREABLE(getAlt_145) OR FIREABLE(getAlt_146) OR FIREABLE(getAlt_147) OR FIREABLE(getAlt_148) OR FIREABLE(getAlt_149) OR FIREABLE(getAlt_150) OR FIREABLE(getAlt_151) OR FIREABLE(getAlt_152) OR FIREABLE(getAlt_153) OR FIREABLE(getAlt_154) OR FIREABLE(getAlt_155) OR FIREABLE(getAlt_156) OR FIREABLE(getAlt_157) OR FIREABLE(getAlt_158) OR FIREABLE(getAlt_159) OR FIREABLE(getAlt_160) OR FIREABLE(getAlt_161) OR FIREABLE(getAlt_162) OR FIREABLE(getAlt_163) OR FIREABLE(getAlt_164) OR FIREABLE(getAlt_165) OR FIREABLE(getAlt_166) OR FIREABLE(getAlt_167) OR FIREABLE(getAlt_168) OR FIREABLE(getAlt_169) OR FIREABLE(getAlt_170) OR FIREABLE(getAlt_171) OR FIREABLE(getAlt_172) OR FIREABLE(getAlt_173) OR FIREABLE(getAlt_174) OR FIREABLE(getAlt_175) OR FIREABLE(getAlt_176) OR FIREABLE(getAlt_177) OR FIREABLE(getAlt_178) OR FIREABLE(getAlt_179) OR FIREABLE(getAlt_180) OR FIREABLE(getAlt_181) OR FIREABLE(getAlt_182) OR FIREABLE(getAlt_183) OR FIREABLE(getAlt_184) OR FIREABLE(getAlt_185) OR FIREABLE(getAlt_186) OR FIREABLE(getAlt_187) OR FIREABLE(getAlt_188) OR FIREABLE(getAlt_189) OR FIREABLE(getAlt_190) OR FIREABLE(getAlt_191) OR FIREABLE(getAlt_192) OR FIREABLE(getAlt_193) OR FIREABLE(getAlt_194) OR FIREABLE(getAlt_195) OR FIREABLE(getAlt_196) OR FIREABLE(getAlt_197) OR FIREABLE(getAlt_198) OR FIREABLE(getAlt_199) OR FIREABLE(getAlt_200))) U (FIREABLE(t4_1_51) OR FIREABLE(t4_1_52) OR FIREABLE(t4_1_53) OR FIREABLE(t4_1_54) OR FIREABLE(t4_1_55) OR FIREABLE(t4_1_56) OR FIREABLE(t4_1_57) OR FIREABLE(t4_1_58) OR FIREABLE(t4_1_59) OR FIREABLE(t4_1_60) OR FIREABLE(t4_1_61) OR FIREABLE(t4_1_62) OR FIREABLE(t4_1_63) OR FIREABLE(t4_1_64) OR FIREABLE(t4_1_65) OR FIREABLE(t4_1_66) OR FIREABLE(t4_1_67) OR FIREABLE(t4_1_68) OR FIREABLE(t4_1_69) OR FIREABLE(t4_1_70) OR FIREABLE(t4_1_71) OR FIREABLE(t4_1_72) OR FIREABLE(t4_1_73) OR FIREABLE(t4_1_74) OR FIREABLE(t4_1_75) OR FIREABLE(t4_1_76) OR FIREABLE(t4_1_77) OR FIREABLE(t4_1_78) OR FIREABLE(t4_1_79) OR FIREABLE(t4_1_80) OR FIREABLE(t4_1_81) OR FIREABLE(t4_1_82) OR FIREABLE(t4_1_83) OR FIREABLE(t4_1_84) OR FIREABLE(t4_1_85) OR FIREABLE(t4_1_86) OR FIREABLE(t4_1_87) OR FIREABLE(t4_1_88) OR FIREABLE(t4_1_89) OR FIREABLE(t4_1_90) OR FIREABLE(t4_1_91) OR FIREABLE(t4_1_92) OR FIREABLE(t4_1_93) OR FIREABLE(t4_1_94) OR FIREABLE(t4_1_95) OR FIREABLE(t4_1_96) OR FIREABLE(t4_1_97) OR FIREABLE(t4_1_98) OR FIREABLE(t4_1_99))))))))) : A (F (G (X (G (((NOT FIREABLE(t3_1_1) AND NOT FIREABLE(t3_1_2) AND NOT FIREABLE(t3_1_3) AND NOT FIREABLE(t3_1_4) AND NOT FIREABLE(t3_1_5) AND NOT FIREABLE(t3_1_6) AND NOT FIREABLE(t3_1_7) AND NOT FIREABLE(t3_1_8) AND NOT FIREABLE(t3_1_9) AND NOT FIREABLE(t3_1_10) AND NOT FIREABLE(t3_1_11) AND NOT FIREABLE(t3_1_12) AND NOT FIREABLE(t3_1_13) AND NOT FIREABLE(t3_1_14) AND NOT FIREABLE(t3_1_15) AND NOT FIREABLE(t3_1_16) AND NOT FIREABLE(t3_1_17) AND NOT FIREABLE(t3_1_18) AND NOT FIREABLE(t3_1_19) AND NOT FIREABLE(t3_1_20) AND NOT FIREABLE(t3_1_21) AND NOT FIREABLE(t3_1_22) AND NOT FIREABLE(t3_1_23) AND NOT FIREABLE(t3_1_24) AND NOT FIREABLE(t3_1_25) AND NOT FIREABLE(t3_1_26) AND NOT FIREABLE(t3_1_27) AND NOT FIREABLE(t3_1_28) AND NOT FIREABLE(t3_1_29) AND NOT FIREABLE(t3_1_30) AND NOT FIREABLE(t3_1_31) AND NOT FIREABLE(t3_1_32) AND NOT FIREABLE(t3_1_33) AND NOT FIREABLE(t3_1_34) AND NOT FIREABLE(t3_1_35) AND NOT FIREABLE(t3_1_36) AND NOT FIREABLE(t3_1_37) AND NOT FIREABLE(t3_1_38) AND NOT FIREABLE(t3_1_39) AND NOT FIREABLE(t3_1_40) AND NOT FIREABLE(t3_1_41) AND NOT FIREABLE(t3_1_42) AND NOT FIREABLE(t3_1_43) AND NOT FIREABLE(t3_1_44) AND NOT FIREABLE(t3_1_45) AND NOT FIREABLE(t3_1_46) AND NOT FIREABLE(t3_1_47) AND NOT FIREABLE(t3_1_48) AND NOT FIREABLE(t3_1_49) AND NOT FIREABLE(t3_1_50) AND NOT FIREABLE(t3_1_51) AND NOT FIREABLE(t3_1_52) AND NOT FIREABLE(t3_1_53) AND NOT FIREABLE(t3_1_54) AND NOT FIREABLE(t3_1_55) AND NOT FIREABLE(t3_1_56) AND NOT FIREABLE(t3_1_57) AND NOT FIREABLE(t3_1_58) AND NOT FIREABLE(t3_1_59) AND NOT FIREABLE(t3_1_60) AND NOT FIREABLE(t3_1_61) AND NOT FIREABLE(t3_1_62) AND NOT FIREABLE(t3_1_63) AND NOT FIREABLE(t3_1_64) AND NOT FIREABLE(t3_1_65) AND NOT FIREABLE(t3_1_66) AND NOT FIREABLE(t3_1_67) AND NOT FIREABLE(t3_1_68) AND NOT FIREABLE(t3_1_69) AND NOT FIREABLE(t3_1_70) AND NOT FIREABLE(t3_1_71) AND NOT FIREABLE(t3_1_72) AND NOT FIREABLE(t3_1_73) AND NOT FIREABLE(t3_1_74) AND NOT FIREABLE(t3_1_75) AND NOT FIREABLE(t3_1_76) AND NOT FIREABLE(t3_1_77) AND NOT FIREABLE(t3_1_78) AND NOT FIREABLE(t3_1_79) AND NOT FIREABLE(t3_1_80) AND NOT FIREABLE(t3_1_81) AND NOT FIREABLE(t3_1_82) AND NOT FIREABLE(t3_1_83) AND NOT FIREABLE(t3_1_84) AND NOT FIREABLE(t3_1_85) AND NOT FIREABLE(t3_1_86) AND NOT FIREABLE(t3_1_87) AND NOT FIREABLE(t3_1_88) AND NOT FIREABLE(t3_1_89) AND NOT FIREABLE(t3_1_90) AND NOT FIREABLE(t3_1_91) AND NOT FIREABLE(t3_1_92) AND NOT FIREABLE(t3_1_93) AND NOT FIREABLE(t3_1_94) AND NOT FIREABLE(t3_1_95) AND NOT FIREABLE(t3_1_96) AND NOT FIREABLE(t3_1_97) AND NOT FIREABLE(t3_1_98) AND NOT FIREABLE(t3_1_99)) OR G (X (FIREABLE(t2_1_on))))))))) : A (((X ((FIREABLE(t2_1_on) OR F ((FIREABLE(SpeedRW_1) OR FIREABLE(SpeedRW_2) OR FIREABLE(SpeedRW_3) OR FIREABLE(SpeedRW_4) OR FIREABLE(SpeedRW_5) OR FIREABLE(SpeedRW_6) OR FIREABLE(SpeedRW_7) OR FIREABLE(SpeedRW_8) OR FIREABLE(SpeedRW_9) OR FIREABLE(SpeedRW_10) OR FIREABLE(SpeedRW_11) OR FIREABLE(SpeedRW_12) OR FIREABLE(SpeedRW_13) OR FIREABLE(SpeedRW_14) OR FIREABLE(SpeedRW_15) OR FIREABLE(SpeedRW_16) OR FIREABLE(SpeedRW_17) OR FIREABLE(SpeedRW_18) OR FIREABLE(SpeedRW_19) OR FIREABLE(SpeedRW_20) OR FIREABLE(SpeedRW_21) OR FIREABLE(SpeedRW_22) OR FIREABLE(SpeedRW_23) OR FIREABLE(SpeedRW_24) OR FIREABLE(SpeedRW_25) OR FIREABLE(SpeedRW_26) OR FIREABLE(SpeedRW_27) OR FIREABLE(SpeedRW_28) OR FIREABLE(SpeedRW_29) OR FIREABLE(SpeedRW_30) OR FIREABLE(SpeedRW_31) OR FIREABLE(SpeedRW_32) OR FIREABLE(SpeedRW_33) OR FIREABLE(SpeedRW_34) OR FIREABLE(SpeedRW_35) OR FIREABLE(SpeedRW_36) OR FIREABLE(SpeedRW_37) OR FIREABLE(SpeedRW_38) OR FIREABLE(SpeedRW_39) OR FIREABLE(SpeedRW_40) OR FIREABLE(SpeedRW_41) OR FIREABLE(SpeedRW_42) OR FIREABLE(SpeedRW_43) OR FIREABLE(SpeedRW_44) OR FIREABLE(SpeedRW_45) OR FIREABLE(SpeedRW_46) OR FIREABLE(SpeedRW_47) OR FIREABLE(SpeedRW_48) OR FIREABLE(SpeedRW_49) OR FIREABLE(SpeedRW_50) OR FIREABLE(SpeedRW_51) OR FIREABLE(SpeedRW_52) OR FIREABLE(SpeedRW_53) OR FIREABLE(SpeedRW_54) OR FIREABLE(SpeedRW_55) OR FIREABLE(SpeedRW_56) OR FIREABLE(SpeedRW_57) OR FIREABLE(SpeedRW_58) OR FIREABLE(SpeedRW_59) OR FIREABLE(SpeedRW_60) OR FIREABLE(SpeedRW_61) OR FIREABLE(SpeedRW_62) OR FIREABLE(SpeedRW_63) OR FIREABLE(SpeedRW_64) OR FIREABLE(SpeedRW_65) OR FIREABLE(SpeedRW_66) OR FIREABLE(SpeedRW_67) OR FIREABLE(SpeedRW_68) OR FIREABLE(SpeedRW_69) OR FIREABLE(SpeedRW_70) OR FIREABLE(SpeedRW_71) OR FIREABLE(SpeedRW_72) OR FIREABLE(SpeedRW_73) OR FIREABLE(SpeedRW_74) OR FIREABLE(SpeedRW_75) OR FIREABLE(SpeedRW_76) OR FIREABLE(SpeedRW_77) OR FIREABLE(SpeedRW_78) OR FIREABLE(SpeedRW_79) OR FIREABLE(SpeedRW_80) OR FIREABLE(SpeedRW_81) OR FIREABLE(SpeedRW_82) OR FIREABLE(SpeedRW_83) OR FIREABLE(SpeedRW_84) OR FIREABLE(SpeedRW_85) OR FIREABLE(SpeedRW_86) OR FIREABLE(SpeedRW_87) OR FIREABLE(SpeedRW_88) OR FIREABLE(SpeedRW_89) OR FIREABLE(SpeedRW_90) OR FIREABLE(SpeedRW_91) OR FIREABLE(SpeedRW_92) OR FIREABLE(SpeedRW_93) OR FIREABLE(SpeedRW_94) OR FIREABLE(SpeedRW_95) OR FIREABLE(SpeedRW_96) OR FIREABLE(SpeedRW_97) OR FIREABLE(SpeedRW_98) OR FIREABLE(SpeedRW_99) OR FIREABLE(SpeedRW_100))))) U X ((FIREABLE(SpeedRW_1) OR FIREABLE(SpeedRW_2) OR FIREABLE(SpeedRW_3) OR FIREABLE(SpeedRW_4) OR FIREABLE(SpeedRW_5) OR FIREABLE(SpeedRW_6) OR FIREABLE(SpeedRW_7) OR FIREABLE(SpeedRW_8) OR FIREABLE(SpeedRW_9) OR FIREABLE(SpeedRW_10) OR FIREABLE(SpeedRW_11) OR FIREABLE(SpeedRW_12) OR FIREABLE(SpeedRW_13) OR FIREABLE(SpeedRW_14) OR FIREABLE(SpeedRW_15) OR FIREABLE(SpeedRW_16) OR FIREABLE(SpeedRW_17) OR FIREABLE(SpeedRW_18) OR FIREABLE(SpeedRW_19) OR FIREABLE(SpeedRW_20) OR FIREABLE(SpeedRW_21) OR FIREABLE(SpeedRW_22) OR FIREABLE(SpeedRW_23) OR FIREABLE(SpeedRW_24) OR FIREABLE(SpeedRW_25) OR FIREABLE(SpeedRW_26) OR FIREABLE(SpeedRW_27) OR FIREABLE(SpeedRW_28) OR FIREABLE(SpeedRW_29) OR FIREABLE(SpeedRW_30) OR FIREABLE(SpeedRW_31) OR FIREABLE(SpeedRW_32) OR FIREABLE(SpeedRW_33) OR FIREABLE(SpeedRW_34) OR FIREABLE(SpeedRW_35) OR FIREABLE(SpeedRW_36) OR FIREABLE(SpeedRW_37) OR FIREABLE(SpeedRW_38) OR FIREABLE(SpeedRW_39) OR FIREABLE(SpeedRW_40) OR FIREABLE(SpeedRW_41) OR FIREABLE(SpeedRW_42) OR FIREABLE(SpeedRW_43) OR FIREABLE(SpeedRW_44) OR FIREABLE(SpeedRW_45) OR FIREABLE(SpeedRW_46) OR FIREABLE(SpeedRW_47) OR FIREABLE(SpeedRW_48) OR FIREABLE(SpeedRW_49) OR FIREABLE(SpeedRW_50) OR FIREABLE(SpeedRW_51) OR FIREABLE(SpeedRW_52) OR FIREABLE(SpeedRW_53) OR FIREABLE(SpeedRW_54) OR FIREABLE(SpeedRW_55) OR FIREABLE(SpeedRW_56) OR FIREABLE(SpeedRW_57) OR FIREABLE(SpeedRW_58) OR FIREABLE(SpeedRW_59) OR FIREABLE(SpeedRW_60) OR FIREABLE(SpeedRW_61) OR FIREABLE(SpeedRW_62) OR FIREABLE(SpeedRW_63) OR FIREABLE(SpeedRW_64) OR FIREABLE(SpeedRW_65) OR FIREABLE(SpeedRW_66) OR FIREABLE(SpeedRW_67) OR FIREABLE(SpeedRW_68) OR FIREABLE(SpeedRW_69) OR FIREABLE(SpeedRW_70) OR FIREABLE(SpeedRW_71) OR FIREABLE(SpeedRW_72) OR FIREABLE(SpeedRW_73) OR FIREABLE(SpeedRW_74) OR FIREABLE(SpeedRW_75) OR FIREABLE(SpeedRW_76) OR FIREABLE(SpeedRW_77) OR FIREABLE(SpeedRW_78) OR FIREABLE(SpeedRW_79) OR FIREABLE(SpeedRW_80) OR FIREABLE(SpeedRW_81) OR FIREABLE(SpeedRW_82) OR FIREABLE(SpeedRW_83) OR FIREABLE(SpeedRW_84) OR FIREABLE(SpeedRW_85) OR FIREABLE(SpeedRW_86) OR FIREABLE(SpeedRW_87) OR FIREABLE(SpeedRW_88) OR FIREABLE(SpeedRW_89) OR FIREABLE(SpeedRW_90) OR FIREABLE(SpeedRW_91) OR FIREABLE(SpeedRW_92) OR FIREABLE(SpeedRW_93) OR FIREABLE(SpeedRW_94) OR FIREABLE(SpeedRW_95) OR FIREABLE(SpeedRW_96) OR FIREABLE(SpeedRW_97) OR FIREABLE(SpeedRW_98) OR FIREABLE(SpeedRW_99) OR FIREABLE(SpeedRW_100)))) U (G (FIREABLE(t1_2_off)) OR X (F ((FIREABLE(SpeedRW_1) OR FIREABLE(SpeedRW_2) OR FIREABLE(SpeedRW_3) OR FIREABLE(SpeedRW_4) OR FIREABLE(SpeedRW_5) OR FIREABLE(SpeedRW_6) OR FIREABLE(SpeedRW_7) OR FIREABLE(SpeedRW_8) OR FIREABLE(SpeedRW_9) OR FIREABLE(SpeedRW_10) OR FIREABLE(SpeedRW_11) OR FIREABLE(SpeedRW_12) OR FIREABLE(SpeedRW_13) OR FIREABLE(SpeedRW_14) OR FIREABLE(SpeedRW_15) OR FIREABLE(SpeedRW_16) OR FIREABLE(SpeedRW_17) OR FIREABLE(SpeedRW_18) OR FIREABLE(SpeedRW_19) OR FIREABLE(SpeedRW_20) OR FIREABLE(SpeedRW_21) OR FIREABLE(SpeedRW_22) OR FIREABLE(SpeedRW_23) OR FIREABLE(SpeedRW_24) OR FIREABLE(SpeedRW_25) OR FIREABLE(SpeedRW_26) OR FIREABLE(SpeedRW_27) OR FIREABLE(SpeedRW_28) OR FIREABLE(SpeedRW_29) OR FIREABLE(SpeedRW_30) OR FIREABLE(SpeedRW_31) OR FIREABLE(SpeedRW_32) OR FIREABLE(SpeedRW_33) OR FIREABLE(SpeedRW_34) OR FIREABLE(SpeedRW_35) OR FIREABLE(SpeedRW_36) OR FIREABLE(SpeedRW_37) OR FIREABLE(SpeedRW_38) OR FIREABLE(SpeedRW_39) OR FIREABLE(SpeedRW_40) OR FIREABLE(SpeedRW_41) OR FIREABLE(SpeedRW_42) OR FIREABLE(SpeedRW_43) OR FIREABLE(SpeedRW_44) OR FIREABLE(SpeedRW_45) OR FIREABLE(SpeedRW_46) OR FIREABLE(SpeedRW_47) OR FIREABLE(SpeedRW_48) OR FIREABLE(SpeedRW_49) OR FIREABLE(SpeedRW_50) OR FIREABLE(SpeedRW_51) OR FIREABLE(SpeedRW_52) OR FIREABLE(SpeedRW_53) OR FIREABLE(SpeedRW_54) OR FIREABLE(SpeedRW_55) OR FIREABLE(SpeedRW_56) OR FIREABLE(SpeedRW_57) OR FIREABLE(SpeedRW_58) OR FIREABLE(SpeedRW_59) OR FIREABLE(SpeedRW_60) OR FIREABLE(SpeedRW_61) OR FIREABLE(SpeedRW_62) OR FIREABLE(SpeedRW_63) OR FIREABLE(SpeedRW_64) OR FIREABLE(SpeedRW_65) OR FIREABLE(SpeedRW_66) OR FIREABLE(SpeedRW_67) OR FIREABLE(SpeedRW_68) OR FIREABLE(SpeedRW_69) OR FIREABLE(SpeedRW_70) OR FIREABLE(SpeedRW_71) OR FIREABLE(SpeedRW_72) OR FIREABLE(SpeedRW_73) OR FIREABLE(SpeedRW_74) OR FIREABLE(SpeedRW_75) OR FIREABLE(SpeedRW_76) OR FIREABLE(SpeedRW_77) OR FIREABLE(SpeedRW_78) OR FIREABLE(SpeedRW_79) OR FIREABLE(SpeedRW_80) OR FIREABLE(SpeedRW_81) OR FIREABLE(SpeedRW_82) OR FIREABLE(SpeedRW_83) OR FIREABLE(SpeedRW_84) OR FIREABLE(SpeedRW_85) OR FIREABLE(SpeedRW_86) OR FIREABLE(SpeedRW_87) OR FIREABLE(SpeedRW_88) OR FIREABLE(SpeedRW_89) OR FIREABLE(SpeedRW_90) OR FIREABLE(SpeedRW_91) OR FIREABLE(SpeedRW_92) OR FIREABLE(SpeedRW_93) OR FIREABLE(SpeedRW_94) OR FIREABLE(SpeedRW_95) OR FIREABLE(SpeedRW_96) OR FIREABLE(SpeedRW_97) OR FIREABLE(SpeedRW_98) OR FIREABLE(SpeedRW_99) OR FIREABLE(SpeedRW_100))))))) : A (((NOT FIREABLE(t5_1_51) AND NOT FIREABLE(t5_1_52) AND NOT FIREABLE(t5_1_53) AND NOT FIREABLE(t5_1_54) AND NOT FIREABLE(t5_1_55) AND NOT FIREABLE(t5_1_56) AND NOT FIREABLE(t5_1_57) AND NOT FIREABLE(t5_1_58) AND NOT FIREABLE(t5_1_59) AND NOT FIREABLE(t5_1_60) AND NOT FIREABLE(t5_1_61) AND NOT FIREABLE(t5_1_62) AND NOT FIREABLE(t5_1_63) AND NOT FIREABLE(t5_1_64) AND NOT FIREABLE(t5_1_65) AND NOT FIREABLE(t5_1_66) AND NOT FIREABLE(t5_1_67) AND NOT FIREABLE(t5_1_68) AND NOT FIREABLE(t5_1_69) AND NOT FIREABLE(t5_1_70) AND NOT FIREABLE(t5_1_71) AND NOT FIREABLE(t5_1_72) AND NOT FIREABLE(t5_1_73) AND NOT FIREABLE(t5_1_74) AND NOT FIREABLE(t5_1_75) AND NOT FIREABLE(t5_1_76) AND NOT FIREABLE(t5_1_77) AND NOT FIREABLE(t5_1_78) AND NOT FIREABLE(t5_1_79) AND NOT FIREABLE(t5_1_80) AND NOT FIREABLE(t5_1_81) AND NOT FIREABLE(t5_1_82) AND NOT FIREABLE(t5_1_83) AND NOT FIREABLE(t5_1_84) AND NOT FIREABLE(t5_1_85) AND NOT FIREABLE(t5_1_86) AND NOT FIREABLE(t5_1_87) AND NOT FIREABLE(t5_1_88) AND NOT FIREABLE(t5_1_89) AND NOT FIREABLE(t5_1_90) AND NOT FIREABLE(t5_1_91) AND NOT FIREABLE(t5_1_92) AND NOT FIREABLE(t5_1_93) AND NOT FIREABLE(t5_1_94) AND NOT FIREABLE(t5_1_95) AND NOT FIREABLE(t5_1_96) AND NOT FIREABLE(t5_1_97) AND NOT FIREABLE(t5_1_98) AND NOT FIREABLE(t5_1_99)) OR G (NOT(X (F ((NOT(X (X ((FIREABLE(t4_2_1) OR FIREABLE(t4_2_2) OR FIREABLE(t4_2_3) OR FIREABLE(t4_2_4) OR FIREABLE(t4_2_5) OR FIREABLE(t4_2_6) OR FIREABLE(t4_2_7) OR FIREABLE(t4_2_8) OR FIREABLE(t4_2_9) OR FIREABLE(t4_2_10) OR FIREABLE(t4_2_11) OR FIREABLE(t4_2_12) OR FIREABLE(t4_2_13) OR FIREABLE(t4_2_14) OR FIREABLE(t4_2_15) OR FIREABLE(t4_2_16) OR FIREABLE(t4_2_17) OR FIREABLE(t4_2_18) OR FIREABLE(t4_2_19) OR FIREABLE(t4_2_20) OR FIREABLE(t4_2_21) OR FIREABLE(t4_2_22) OR FIREABLE(t4_2_23) OR FIREABLE(t4_2_24) OR FIREABLE(t4_2_25) OR FIREABLE(t4_2_26) OR FIREABLE(t4_2_27) OR FIREABLE(t4_2_28) OR FIREABLE(t4_2_29) OR FIREABLE(t4_2_30) OR FIREABLE(t4_2_31) OR FIREABLE(t4_2_32) OR FIREABLE(t4_2_33) OR FIREABLE(t4_2_34) OR FIREABLE(t4_2_35) OR FIREABLE(t4_2_36) OR FIREABLE(t4_2_37) OR FIREABLE(t4_2_38) OR FIREABLE(t4_2_39) OR FIREABLE(t4_2_40) OR FIREABLE(t4_2_41) OR FIREABLE(t4_2_42) OR FIREABLE(t4_2_43) OR FIREABLE(t4_2_44) OR FIREABLE(t4_2_45) OR FIREABLE(t4_2_46) OR FIREABLE(t4_2_47) OR FIREABLE(t4_2_48) OR FIREABLE(t4_2_49) OR FIREABLE(t4_2_50) OR FIREABLE(t4_2_100))))) U (FIREABLE(t4_2_1) OR FIREABLE(t4_2_2) OR FIREABLE(t4_2_3) OR FIREABLE(t4_2_4) OR FIREABLE(t4_2_5) OR FIREABLE(t4_2_6) OR FIREABLE(t4_2_7) OR FIREABLE(t4_2_8) OR FIREABLE(t4_2_9) OR FIREABLE(t4_2_10) OR FIREABLE(t4_2_11) OR FIREABLE(t4_2_12) OR FIREABLE(t4_2_13) OR FIREABLE(t4_2_14) OR FIREABLE(t4_2_15) OR FIREABLE(t4_2_16) OR FIREABLE(t4_2_17) OR FIREABLE(t4_2_18) OR FIREABLE(t4_2_19) OR FIREABLE(t4_2_20) OR FIREABLE(t4_2_21) OR FIREABLE(t4_2_22) OR FIREABLE(t4_2_23) OR FIREABLE(t4_2_24) OR FIREABLE(t4_2_25) OR FIREABLE(t4_2_26) OR FIREABLE(t4_2_27) OR FIREABLE(t4_2_28) OR FIREABLE(t4_2_29) OR FIREABLE(t4_2_30) OR FIREABLE(t4_2_31) OR FIREABLE(t4_2_32) OR FIREABLE(t4_2_33) OR FIREABLE(t4_2_34) OR FIREABLE(t4_2_35) OR FIREABLE(t4_2_36) OR FIREABLE(t4_2_37) OR FIREABLE(t4_2_38) OR FIREABLE(t4_2_39) OR FIREABLE(t4_2_40) OR FIREABLE(t4_2_41) OR FIREABLE(t4_2_42) OR FIREABLE(t4_2_43) OR FIREABLE(t4_2_44) OR FIREABLE(t4_2_45) OR FIREABLE(t4_2_46) OR FIREABLE(t4_2_47) OR FIREABLE(t4_2_48) OR FIREABLE(t4_2_49) OR FIREABLE(t4_2_50) OR FIREABLE(t4_2_100))))))))) : A (X (NOT((F ((NOT FIREABLE(t5_2_4) AND F (FIREABLE(t3_2_132)))) AND (G (X (FIREABLE(SampleRW_on))) U X (FIREABLE(t3_2_132))))))) : A (((FIREABLE(t3_2_135) U ((FIREABLE(t2_2_off) U FIREABLE(t1_1_on)) AND F (G (NOT FIREABLE(t3_2_135))))) U (FIREABLE(t3_1_23) AND F (FIREABLE(t5_1_76))))) : A (G (F (X (FIREABLE(SampleRW_on))))) : A ((G (FIREABLE(SampleLW_off)) OR X (((FIREABLE(t2_1_on) AND FIREABLE(SampleLW_off)) OR NOT(G (X (FIREABLE(t2_1_on)))))))) : A (G (FIREABLE(t2_1_on))) : A ((G (FIREABLE(getAlt_197)) AND X (F ((F (FIREABLE(getAlt_197)) OR X (FIREABLE(SpeedLW_7))))))) : A ((F (X ((FIREABLE(t5_2_34) U FIREABLE(t1_1_on)))) U F (NOT((G (X (FIREABLE(SpeedLW_55))) OR F (NOT FIREABLE(t1_2_off))))))) : A (((FIREABLE(SampleLW_off) U ((FIREABLE(t2_1_on) AND X (X (FIREABLE(t2_1_on)))) AND NOT(X (FIREABLE(t2_1_on))))) OR NOT(X (FIREABLE(SampleLW_off)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((NOT FIREABLE(t4_2_1) AND NOT FIREABLE(t4_2_2) AND NOT FIREABLE(t4_2_3) AND NOT FIREABLE(t4_2_4) AND NOT FIREABLE(t4_2_5) AND NOT FIREABLE(t4_2_6) AND NOT FIREABLE(t4_2_7) AND NOT FIREABLE(t4_2_8) AND NOT FIREABLE(t4_2_9) AND NOT FIREABLE(t4_2_10) AND NOT FIREABLE(t4_2_11) AND NOT FIREABLE(t4_2_12) AND NOT FIREABLE(t4_2_13) AND NOT FIREABLE(t4_2_14) AND NOT FIREABLE(t4_2_15) AND NOT FIREABL... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((NOT FIREABLE(t4_2_1) AND NOT FIREABLE(t4_2_2) AND NOT FIREABLE(t4_2_3) AND NOT FIREABLE(t4_2_4) AND NOT FIREABLE(t4_2_5) AND NOT FIREABLE(t4_2_6) AND NOT FIREABLE(t4_2_7) AND NOT FIREABLE(t4_2_8) AND NOT FIREABLE(t4_2_9) AND NOT FIREABLE(t4_2_10) AND NOT FIREABLE(t4_2_11) AND NOT FIREABLE(t4_2_12) AND NOT FIREABLE(t4_2_13) AND NOT FIREABLE(t4_2_14) AND NOT FIREABLE(t4_2_15) AND NOT FIREABL... (shortened)
lola: processed formula length: 1446
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 489727 markings, 881427 edges, 97945 markings/sec, 0 secs
lola: 955979 markings, 1731153 edges, 93250 markings/sec, 5 secs
lola: 1407795 markings, 2554370 edges, 90363 markings/sec, 10 secs
lola: 1840563 markings, 3353838 edges, 86554 markings/sec, 15 secs
lola: 2265359 markings, 4130182 edges, 84959 markings/sec, 20 secs
lola: 2687316 markings, 4883243 edges, 84391 markings/sec, 25 secs
lola: 3087629 markings, 5621067 edges, 80063 markings/sec, 30 secs
lola: 3487904 markings, 6341958 edges, 80055 markings/sec, 35 secs
lola: 3868234 markings, 7045750 edges, 76066 markings/sec, 40 secs
lola: 4247830 markings, 7732560 edges, 75919 markings/sec, 45 secs
lola: 4619095 markings, 8413200 edges, 74253 markings/sec, 50 secs
lola: 4982396 markings, 9076680 edges, 72660 markings/sec, 55 secs
lola: 5344571 markings, 9732047 edges, 72435 markings/sec, 60 secs
lola: 5657589 markings, 10364707 edges, 62604 markings/sec, 65 secs
lola: 5937759 markings, 10993307 edges, 56034 markings/sec, 70 secs
lola: 6216264 markings, 11611932 edges, 55701 markings/sec, 75 secs
lola: 6490259 markings, 12138831 edges, 54799 markings/sec, 80 secs
lola: 6766579 markings, 12672199 edges, 55264 markings/sec, 85 secs
lola: 7046472 markings, 13216118 edges, 55979 markings/sec, 90 secs
lola: 7327855 markings, 13767297 edges, 56277 markings/sec, 95 secs
lola: 7618166 markings, 14327893 edges, 58062 markings/sec, 100 secs
lola: 7911416 markings, 14907645 edges, 58650 markings/sec, 105 secs
lola: 8083164 markings, 15526389 edges, 34350 markings/sec, 110 secs
lola: 8174234 markings, 16080471 edges, 18214 markings/sec, 115 secs
lola: 8289052 markings, 16673535 edges, 22964 markings/sec, 120 secs
lola: 8500813 markings, 17190117 edges, 42352 markings/sec, 125 secs
lola: 8707071 markings, 17712227 edges, 41252 markings/sec, 130 secs
lola: 8923639 markings, 18241633 edges, 43314 markings/sec, 135 secs
lola: 9147695 markings, 18771623 edges, 44811 markings/sec, 140 secs
lola: 9360719 markings, 19310636 edges, 42605 markings/sec, 145 secs
lola: 9584049 markings, 19849804 edges, 44666 markings/sec, 150 secs
lola: 9808609 markings, 20392276 edges, 44912 markings/sec, 155 secs
lola: 10030583 markings, 20943858 edges, 44395 markings/sec, 160 secs
lola: 10258217 markings, 21493478 edges, 45527 markings/sec, 165 secs
lola: 10487869 markings, 22054526 edges, 45930 markings/sec, 170 secs
lola: 10710450 markings, 22618717 edges, 44516 markings/sec, 175 secs
lola: 10951573 markings, 23179754 edges, 48225 markings/sec, 180 secs
lola: 11185145 markings, 23756376 edges, 46714 markings/sec, 185 secs
lola: 11415485 markings, 24332615 edges, 46068 markings/sec, 190 secs
lola: 11649007 markings, 24911541 edges, 46704 markings/sec, 195 secs
lola: 11892875 markings, 25496460 edges, 48774 markings/sec, 200 secs
lola: 11991006 markings, 26141603 edges, 19626 markings/sec, 205 secs
lola: 12080649 markings, 26734333 edges, 17929 markings/sec, 210 secs
lola: 12164501 markings, 27284088 edges, 16770 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2006768 KB
lola: time consumption: 226 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (FIREABLE(t2_2_off))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (FIREABLE(t2_2_off))))
lola: processed formula length: 30
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 8 markings, 8 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((F (NOT FIREABLE(t2_1_on)) U ((NOT FIREABLE(SpeedRW_1) AND NOT FIREABLE(SpeedRW_2) AND NOT FIREABLE(SpeedRW_3) AND NOT FIREABLE(SpeedRW_4) AND NOT FIREABLE(SpeedRW_5) AND NOT FIREABLE(SpeedRW_6) AND NOT FIREABLE(SpeedRW_7) AND NOT FIREABLE(SpeedRW_8) AND NOT FIREABLE(SpeedRW_9) AND NOT FIREABLE(SpeedRW_10) AND NOT FIREABLE(SpeedRW_11) AND NOT FIREABLE(SpeedRW_12) AND NOT FIREABLE(SpeedRW_13)... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F (NOT FIREABLE(t2_1_on)) U ((NOT FIREABLE(SpeedRW_1) AND NOT FIREABLE(SpeedRW_2) AND NOT FIREABLE(SpeedRW_3) AND NOT FIREABLE(SpeedRW_4) AND NOT FIREABLE(SpeedRW_5) AND NOT FIREABLE(SpeedRW_6) AND NOT FIREABLE(SpeedRW_7) AND NOT FIREABLE(SpeedRW_8) AND NOT FIREABLE(SpeedRW_9) AND NOT FIREABLE(SpeedRW_10) AND NOT FIREABLE(SpeedRW_11) AND NOT FIREABLE(SpeedRW_12) AND NOT FIREABLE(SpeedRW_13)... (shortened)
lola: processed formula length: 4275
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 405 markings, 404 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(t2_1_on) AND X (G ((F ((FIREABLE(t4_1_51) OR FIREABLE(t4_1_52) OR FIREABLE(t4_1_53) OR FIREABLE(t4_1_54) OR FIREABLE(t4_1_55) OR FIREABLE(t4_1_56) OR FIREABLE(t4_1_57) OR FIREABLE(t4_1_58) OR FIREABLE(t4_1_59) OR FIREABLE(t4_1_60) OR FIREABLE(t4_1_61) OR FIREABLE(t4_1_62) OR FIREABLE(t4_1_63) OR FIREABLE(t4_1_64) OR FIREABLE(t4_1_65) OR FIREABLE(t4_1_66) OR FIREA... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(t2_1_on) AND X (G ((F ((FIREABLE(t4_1_51) OR FIREABLE(t4_1_52) OR FIREABLE(t4_1_53) OR FIREABLE(t4_1_54) OR FIREABLE(t4_1_55) OR FIREABLE(t4_1_56) OR FIREABLE(t4_1_57) OR FIREABLE(t4_1_58) OR FIREABLE(t4_1_59) OR FIREABLE(t4_1_60) OR FIREABLE(t4_1_61) OR FIREABLE(t4_1_62) OR FIREABLE(t4_1_63) OR FIREABLE(t4_1_64) OR FIREABLE(t4_1_65) OR FIREABLE(t4_1_66) OR FIREA... (shortened)
lola: processed formula length: 8182
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 8 markings, 8 edges
lola: ========================================
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (((NOT FIREABLE(t3_1_1) AND NOT FIREABLE(t3_1_2) AND NOT FIREABLE(t3_1_3) AND NOT FIREABLE(t3_1_4) AND NOT FIREABLE(t3_1_5) AND NOT FIREABLE(t3_1_6) AND NOT FIREABLE(t3_1_7) AND NOT FIREABLE(t3_1_8) AND NOT FIREABLE(t3_1_9) AND NOT FIREABLE(t3_1_10) AND NOT FIREABLE(t3_1_11) AND NOT FIREABLE(t3_1_12) AND NOT FIREABLE(t3_1_13) AND NOT FIREABLE(t3_1_14) AND NOT FIREABLE(t3_1_15) AND NOT FIRE... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((NOT FIREABLE(t3_1_1) AND NOT FIREABLE(t3_1_2) AND NOT FIREABLE(t3_1_3) AND NOT FIREABLE(t3_1_4) AND NOT FIREABLE(t3_1_5) AND NOT FIREABLE(t3_1_6) AND NOT FIREABLE(t3_1_7) AND NOT FIREABLE(t3_1_8) AND NOT FIREABLE(t3_1_9) AND NOT FIREABLE(t3_1_10) AND NOT FIREABLE(t3_1_11) AND NOT FIREABLE(t3_1_12) AND NOT FIREABLE(t3_1_13) AND NOT FIREABLE(t3_1_14) AND NOT FIREABLE(t3_1_15) AND NOT FIRE... (shortened)
lola: processed formula length: 2605
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 224039 markings, 911015 edges, 44808 markings/sec, 0 secs
lola: 453173 markings, 1815623 edges, 45827 markings/sec, 5 secs
lola: 678122 markings, 2707078 edges, 44990 markings/sec, 10 secs
lola: 889322 markings, 3613346 edges, 42240 markings/sec, 15 secs
lola: 1114111 markings, 4509460 edges, 44958 markings/sec, 20 secs
lola: 1337927 markings, 5395437 edges, 44763 markings/sec, 25 secs
lola: 1563687 markings, 6279285 edges, 45152 markings/sec, 30 secs
lola: 1774732 markings, 7169474 edges, 42209 markings/sec, 35 secs
lola: 2000907 markings, 8047284 edges, 45235 markings/sec, 40 secs
lola: 2223256 markings, 8918611 edges, 44470 markings/sec, 45 secs
lola: 2426214 markings, 9793545 edges, 40592 markings/sec, 50 secs
lola: 2639033 markings, 10657037 edges, 42564 markings/sec, 55 secs
lola: 2857913 markings, 11527378 edges, 43776 markings/sec, 60 secs
lola: 3073266 markings, 12385733 edges, 43071 markings/sec, 65 secs
lola: 3290974 markings, 13244394 edges, 43542 markings/sec, 70 secs
lola: 3507049 markings, 14096934 edges, 43215 markings/sec, 75 secs
lola: 3709232 markings, 14949829 edges, 40437 markings/sec, 80 secs
lola: 3926147 markings, 15801016 edges, 43383 markings/sec, 85 secs
lola: 4139399 markings, 16647818 edges, 42650 markings/sec, 90 secs
lola: 4351936 markings, 17486203 edges, 42507 markings/sec, 95 secs
lola: 4554968 markings, 18323926 edges, 40606 markings/sec, 100 secs
lola: 4749805 markings, 19170683 edges, 38967 markings/sec, 105 secs
lola: 4958409 markings, 19997723 edges, 41721 markings/sec, 110 secs
lola: 5166386 markings, 20821745 edges, 41595 markings/sec, 115 secs
lola: 5371434 markings, 21651421 edges, 41010 markings/sec, 120 secs
lola: 5585475 markings, 22480281 edges, 42808 markings/sec, 125 secs
lola: 5787958 markings, 23311786 edges, 40497 markings/sec, 130 secs
lola: 5995535 markings, 24136601 edges, 41515 markings/sec, 135 secs
lola: 6201657 markings, 24956784 edges, 41224 markings/sec, 140 secs
lola: 6407049 markings, 25774456 edges, 41078 markings/sec, 145 secs
lola: 6612613 markings, 26593441 edges, 41113 markings/sec, 150 secs
lola: 6807017 markings, 27411614 edges, 38881 markings/sec, 155 secs
lola: 7006794 markings, 28226009 edges, 39955 markings/sec, 160 secs
lola: 7211322 markings, 29038036 edges, 40906 markings/sec, 165 secs
lola: 7413655 markings, 29844262 edges, 40467 markings/sec, 170 secs
lola: 7613477 markings, 30643429 edges, 39964 markings/sec, 175 secs
lola: 7813253 markings, 31441924 edges, 39955 markings/sec, 180 secs
lola: 8013086 markings, 32240583 edges, 39967 markings/sec, 185 secs
lola: 8211754 markings, 33035638 edges, 39734 markings/sec, 190 secs
lola: 8409542 markings, 33827881 edges, 39558 markings/sec, 195 secs
lola: 8607264 markings, 34619980 edges, 39544 markings/sec, 200 secs
lola: 8803951 markings, 35409342 edges, 39337 markings/sec, 205 secs
lola: 8999001 markings, 36193440 edges, 39010 markings/sec, 210 secs
lola: 9193350 markings, 36977272 edges, 38870 markings/sec, 215 secs
lola: 9386884 markings, 37756204 edges, 38707 markings/sec, 220 secs
lola: 9579765 markings, 38531156 edges, 38576 markings/sec, 225 secs
lola: 9771863 markings, 39305877 edges, 38420 markings/sec, 230 secs
lola: 9963149 markings, 40077815 edges, 38257 markings/sec, 235 secs
lola: 10153664 markings, 40847582 edges, 38103 markings/sec, 240 secs
lola: 10343376 markings, 41615004 edges, 37942 markings/sec, 245 secs
lola: 10532053 markings, 42379085 edges, 37735 markings/sec, 250 secs
lola: 10719126 markings, 43138328 edges, 37415 markings/sec, 255 secs
lola: 10906438 markings, 43898236 edges, 37462 markings/sec, 260 secs
lola: 11093299 markings, 44656887 edges, 37372 markings/sec, 265 secs
lola: 11280609 markings, 45412987 edges, 37462 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown yes no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1755352 KB
lola: time consumption: 504 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (((FIREABLE(t2_1_on) OR F ((FIREABLE(SpeedRW_1) OR FIREABLE(SpeedRW_2) OR FIREABLE(SpeedRW_3) OR FIREABLE(SpeedRW_4) OR FIREABLE(SpeedRW_5) OR FIREABLE(SpeedRW_6) OR FIREABLE(SpeedRW_7) OR FIREABLE(SpeedRW_8) OR FIREABLE(SpeedRW_9) OR FIREABLE(SpeedRW_10) OR FIREABLE(SpeedRW_11) OR FIREABLE(SpeedRW_12) OR FIREABLE(SpeedRW_13) OR FIREABLE(SpeedRW_14) OR FIREABLE(SpeedRW_15) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (((FIREABLE(t2_1_on) OR F ((FIREABLE(SpeedRW_1) OR FIREABLE(SpeedRW_2) OR FIREABLE(SpeedRW_3) OR FIREABLE(SpeedRW_4) OR FIREABLE(SpeedRW_5) OR FIREABLE(SpeedRW_6) OR FIREABLE(SpeedRW_7) OR FIREABLE(SpeedRW_8) OR FIREABLE(SpeedRW_9) OR FIREABLE(SpeedRW_10) OR FIREABLE(SpeedRW_11) OR FIREABLE(SpeedRW_12) OR FIREABLE(SpeedRW_13) OR FIREABLE(SpeedRW_14) OR FIREABLE(SpeedRW_15) OR ... (shortened)
lola: processed formula length: 7548
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 278 markings, 278 edges
lola: ========================================
lola: subprocess 6 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t5_1_51) AND NOT FIREABLE(t5_1_52) AND NOT FIREABLE(t5_1_53) AND NOT FIREABLE(t5_1_54) AND NOT FIREABLE(t5_1_55) AND NOT FIREABLE(t5_1_56) AND NOT FIREABLE(t5_1_57) AND NOT FIREABLE(t5_1_58) AND NOT FIREABLE(t5_1_59) AND NOT FIREABLE(t5_1_60) AND NOT FIREABLE(t5_1_61) AND NOT FIREABLE(t5_1_62) AND NOT FIREABLE(t5_1_63) AND NOT FIREABLE(t5_1_64) AND NOT FIREABLE(t5_1_65) AND NOT F... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((NOT FIREABLE(t5_1_51) AND NOT FIREABLE(t5_1_52) AND NOT FIREABLE(t5_1_53) AND NOT FIREABLE(t5_1_54) AND NOT FIREABLE(t5_1_55) AND NOT FIREABLE(t5_1_56) AND NOT FIREABLE(t5_1_57) AND NOT FIREABLE(t5_1_58) AND NOT FIREABLE(t5_1_59) AND NOT FIREABLE(t5_1_60) AND NOT FIREABLE(t5_1_61) AND NOT FIREABLE(t5_1_62) AND NOT FIREABLE(t5_1_63) AND NOT FIREABLE(t5_1_64) AND NOT FIREABLE(t5_1_65) AND NOT F... (shortened)
lola: processed formula length: 2604
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((G ((FIREABLE(t5_2_4) OR G (NOT FIREABLE(t3_2_132)))) OR X ((NOT FIREABLE(t3_2_132) AND (F (NOT FIREABLE(SampleRW_on)) OR G (NOT FIREABLE(t3_2_132))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((G ((FIREABLE(t5_2_4) OR G (NOT FIREABLE(t3_2_132)))) OR X ((NOT FIREABLE(t3_2_132) AND (F (NOT FIREABLE(SampleRW_on)) OR G (NOT FIREABLE(t3_2_132))))))))
lola: processed formula length: 160
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 407891 markings, 929090 edges, 81578 markings/sec, 0 secs
lola: 796306 markings, 1861225 edges, 77683 markings/sec, 5 secs
lola: 1195673 markings, 2782876 edges, 79873 markings/sec, 10 secs
lola: 1567957 markings, 3707545 edges, 74457 markings/sec, 15 secs
lola: 1950341 markings, 4615364 edges, 76477 markings/sec, 20 secs
lola: 2336436 markings, 5535392 edges, 77219 markings/sec, 25 secs
lola: 2724971 markings, 6434945 edges, 77707 markings/sec, 30 secs
lola: 3081465 markings, 7336668 edges, 71299 markings/sec, 35 secs
lola: 3464722 markings, 8223625 edges, 76651 markings/sec, 40 secs
lola: 3827718 markings, 9110483 edges, 72599 markings/sec, 45 secs
lola: 4204814 markings, 9986041 edges, 75419 markings/sec, 50 secs
lola: 4580733 markings, 10860457 edges, 75184 markings/sec, 55 secs
lola: 4929533 markings, 11736302 edges, 69760 markings/sec, 60 secs
lola: 5302418 markings, 12595119 edges, 74577 markings/sec, 65 secs
lola: 5647277 markings, 13461442 edges, 68972 markings/sec, 70 secs
lola: 6015800 markings, 14319945 edges, 73705 markings/sec, 75 secs
lola: 6384638 markings, 15178612 edges, 73768 markings/sec, 80 secs
lola: 6740317 markings, 16029022 edges, 71136 markings/sec, 85 secs
lola: 7082410 markings, 16875302 edges, 68419 markings/sec, 90 secs
lola: 7442122 markings, 17705401 edges, 71942 markings/sec, 95 secs
lola: 7781752 markings, 18541539 edges, 67926 markings/sec, 100 secs
lola: 8130158 markings, 19378213 edges, 69681 markings/sec, 105 secs
lola: 8481776 markings, 20202265 edges, 70324 markings/sec, 110 secs
lola: 8832151 markings, 21023833 edges, 70075 markings/sec, 115 secs
lola: 9181013 markings, 21842879 edges, 69772 markings/sec, 120 secs
lola: 9499147 markings, 22665103 edges, 63627 markings/sec, 125 secs
lola: 9848550 markings, 23471286 edges, 69881 markings/sec, 130 secs
lola: 10192611 markings, 24274849 edges, 68812 markings/sec, 135 secs
lola: 10522850 markings, 25080371 edges, 66048 markings/sec, 140 secs
lola: 10849506 markings, 25883768 edges, 65331 markings/sec, 145 secs
lola: 11191919 markings, 26689685 edges, 68483 markings/sec, 150 secs
lola: 11528594 markings, 27483129 edges, 67335 markings/sec, 155 secs
lola: 11863833 markings, 28273299 edges, 67048 markings/sec, 160 secs
lola: 12197753 markings, 29061528 edges, 66784 markings/sec, 165 secs
lola: 12529575 markings, 29844662 edges, 66364 markings/sec, 170 secs
lola: 12858607 markings, 30623694 edges, 65806 markings/sec, 175 secs
lola: 13175584 markings, 31398792 edges, 63395 markings/sec, 180 secs
lola: 13482872 markings, 32178316 edges, 61458 markings/sec, 185 secs
lola: 13811830 markings, 32949545 edges, 65792 markings/sec, 190 secs
lola: 14141428 markings, 33718115 edges, 65920 markings/sec, 195 secs
lola: 14466038 markings, 34479106 edges, 64922 markings/sec, 200 secs
lola: 14783369 markings, 35237582 edges, 63466 markings/sec, 205 secs
lola: 15101556 markings, 35993486 edges, 63637 markings/sec, 210 secs
lola: 15415663 markings, 36750905 edges, 62821 markings/sec, 215 secs
lola: 15726780 markings, 37503345 edges, 62223 markings/sec, 220 secs
lola: 16037887 markings, 38247753 edges, 62221 markings/sec, 225 secs
lola: 16349686 markings, 38994059 edges, 62360 markings/sec, 230 secs
lola: 16658004 markings, 39730828 edges, 61664 markings/sec, 235 secs
lola: 16964903 markings, 40463744 edges, 61380 markings/sec, 240 secs
lola: 17271988 markings, 41197154 edges, 61417 markings/sec, 245 secs
lola: 17578020 markings, 41927706 edges, 61206 markings/sec, 250 secs
lola: 17883351 markings, 42656331 edges, 61066 markings/sec, 255 secs
lola: 18186852 markings, 43379950 edges, 60700 markings/sec, 260 secs
lola: 18490726 markings, 44104601 edges, 60775 markings/sec, 265 secs
lola: 18793807 markings, 44827082 edges, 60616 markings/sec, 270 secs
lola: 19095965 markings, 45547030 edges, 60432 markings/sec, 275 secs
lola: 19399338 markings, 46261863 edges, 60675 markings/sec, 280 secs
lola: 19701467 markings, 46975119 edges, 60426 markings/sec, 285 secs
lola: 19997395 markings, 47685064 edges, 59186 markings/sec, 290 secs
lola: 20292229 markings, 48392747 edges, 58967 markings/sec, 295 secs
lola: 20585920 markings, 49095428 edges, 58738 markings/sec, 300 secs
lola: 20870967 markings, 49795067 edges, 57009 markings/sec, 305 secs
lola: 21149083 markings, 50491295 edges, 55623 markings/sec, 310 secs
lola: 21449816 markings, 51182988 edges, 60147 markings/sec, 315 secs
lola: 21755438 markings, 51869584 edges, 61124 markings/sec, 320 secs
lola: 22043335 markings, 52555193 edges, 57579 markings/sec, 325 secs
lola: 22327831 markings, 53241620 edges, 56899 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown yes no unknown no yes unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown no unknown yes no unknown no yes unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3356376 KB
lola: time consumption: 845 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (FIREABLE(SampleLW_off)) OR X (((FIREABLE(t2_1_on) AND FIREABLE(SampleLW_off)) OR X (F (NOT FIREABLE(t2_1_on)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (FIREABLE(SampleLW_off)) OR X (((FIREABLE(t2_1_on) AND FIREABLE(SampleLW_off)) OR X (F (NOT FIREABLE(t2_1_on)))))))
lola: processed formula length: 121
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 52817 markings, 104420 edges
lola: ========================================
lola: subprocess 9 will run for 389 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(getAlt_197))) AND A (X (F ((F (FIREABLE(getAlt_197)) OR X (FIREABLE(SpeedLW_7)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 389 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(getAlt_197)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (FIREABLE(getAlt_197)))
lola: processed formula length: 28
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(getAlt_197)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 2 markings, 1 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: lola: subprocess 10 will run for 454 seconds at most (--localtimelimit=0)
========================================
lola: ========================================
lola: ...considering subproblem: A (F ((X (F (NOT FIREABLE(SpeedLW_55))) AND G (FIREABLE(t1_2_off)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((X (F (NOT FIREABLE(SpeedLW_55))) AND G (FIREABLE(t1_2_off)))))
lola: processed formula length: 69
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 367243 markings, 713002 edges
lola: ========================================
lola: subprocess 11 will run for 544 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(SampleLW_off) U (FIREABLE(t2_1_on) AND X ((X (FIREABLE(t2_1_on)) AND NOT FIREABLE(t2_1_on))))) OR X (NOT FIREABLE(SampleLW_off))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(SampleLW_off) U (FIREABLE(t2_1_on) AND X ((X (FIREABLE(t2_1_on)) AND NOT FIREABLE(t2_1_on))))) OR X (NOT FIREABLE(SampleLW_off))))
lola: processed formula length: 144
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 19 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 13 markings, 13 edges
lola: ========================================
lola: subprocess 12 will run for 680 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t2_1_on)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (FIREABLE(t2_1_on)))
lola: processed formula length: 25
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(t2_1_on)
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: ========================================
lola: subprocess 13 will run for 906 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(SampleRW_on))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(SampleRW_on))))
lola: processed formula length: 33
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 8 markings, 8 edges
lola: ========================================
lola: subprocess 14 will run for 1360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t3_2_135) U ((FIREABLE(t2_2_off) U FIREABLE(t1_1_on)) AND F (G (NOT FIREABLE(t3_2_135))))) U (FIREABLE(t3_1_23) AND F (FIREABLE(t5_1_76)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t3_2_135) U ((FIREABLE(t2_2_off) U FIREABLE(t1_1_on)) AND F (G (NOT FIREABLE(t3_2_135))))) U (FIREABLE(t3_1_23) AND F (FIREABLE(t5_1_76)))))
lola: processed formula length: 154
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 26 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1236 markings, 3649 edges
lola: ========================================
lola: subprocess 15 will run for 2720 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (((FIREABLE(getAlt_1) OR FIREABLE(getAlt_2) OR FIREABLE(getAlt_3) OR FIREABLE(getAlt_4) OR FIREABLE(getAlt_5) OR FIREABLE(getAlt_6) OR FIREABLE(getAlt_7) OR FIREABLE(getAlt_8) OR FIREABLE(getAlt_9) OR FIREABLE(getAlt_10) OR FIREABLE(getAlt_11) OR FIREABLE(getAlt_12) OR FIREABLE(getAlt_13) OR FIREABLE(getAlt_14) OR FIREABLE(getAlt_15) OR FIREABLE(getAlt_16) OR FIREABLE(getAl... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((FIREABLE(getAlt_1) OR FIREABLE(getAlt_2) OR FIREABLE(getAlt_3) OR FIREABLE(getAlt_4) OR FIREABLE(getAlt_5) OR FIREABLE(getAlt_6) OR FIREABLE(getAlt_7) OR FIREABLE(getAlt_8) OR FIREABLE(getAlt_9) OR FIREABLE(getAlt_10) OR FIREABLE(getAlt_11) OR FIREABLE(getAlt_12) OR FIREABLE(getAlt_13) OR FIREABLE(getAlt_14) OR FIREABLE(getAlt_15) OR FIREABLE(getAlt_16) OR FIREABLE(getAl... (shortened)
lola: processed formula length: 7433
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 16 markings, 21 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (((NOT FIREABLE(t4_2_1) AND NOT FIREABLE(t4_2_2) AND NOT FIREABLE(t4_2_3) AND NOT FIREABLE(t4_2_4) AND NOT FIREABLE(t4_2_5) AND NOT FIREABLE(t4_2_6) AND NOT FIREABLE(t4_2_7) AND NOT FIREABLE(t4_2_8) AND NOT FIREABLE(t4_2_9) AND NOT FIREABLE(t4_2_10) AND NOT FIREABLE(t4_2_11) AND NOT FIREABLE(t4_2_12) AND NOT FIREABLE(t4_2_13) AND NOT FIREABLE(t4_2_14) AND NOT FIREABLE(t4_2_15) AND NOT FIREABL... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((NOT FIREABLE(t4_2_1) AND NOT FIREABLE(t4_2_2) AND NOT FIREABLE(t4_2_3) AND NOT FIREABLE(t4_2_4) AND NOT FIREABLE(t4_2_5) AND NOT FIREABLE(t4_2_6) AND NOT FIREABLE(t4_2_7) AND NOT FIREABLE(t4_2_8) AND NOT FIREABLE(t4_2_9) AND NOT FIREABLE(t4_2_10) AND NOT FIREABLE(t4_2_11) AND NOT FIREABLE(t4_2_12) AND NOT FIREABLE(t4_2_13) AND NOT FIREABLE(t4_2_14) AND NOT FIREABLE(t4_2_15) AND NOT FIREABL... (shortened)
lola: processed formula length: 1446
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 489711 markings, 880541 edges, 97942 markings/sec, 0 secs
lola: 954000 markings, 1728061 edges, 92858 markings/sec, 5 secs
lola: 1405852 markings, 2545746 edges, 90370 markings/sec, 10 secs
lola: 1836473 markings, 3347802 edges, 86124 markings/sec, 15 secs
lola: 2264803 markings, 4123218 edges, 85666 markings/sec, 20 secs
lola: 2680584 markings, 4872880 edges, 83156 markings/sec, 25 secs
lola: 3084951 markings, 5613858 edges, 80873 markings/sec, 30 secs
lola: 3481202 markings, 6331372 edges, 79250 markings/sec, 35 secs
lola: 3859407 markings, 7035613 edges, 75641 markings/sec, 40 secs
lola: 4240218 markings, 7720368 edges, 76162 markings/sec, 45 secs
lola: 4607786 markings, 8390345 edges, 73514 markings/sec, 50 secs
lola: 4966890 markings, 9051453 edges, 71821 markings/sec, 55 secs
lola: 5325045 markings, 9700479 edges, 71631 markings/sec, 60 secs
lola: 5642074 markings, 10336118 edges, 63406 markings/sec, 65 secs
lola: 5929095 markings, 10967090 edges, 57404 markings/sec, 70 secs
lola: 6213106 markings, 11592123 edges, 56802 markings/sec, 75 secs
lola: 6480456 markings, 12114180 edges, 53470 markings/sec, 80 secs
lola: 6751049 markings, 12650119 edges, 54119 markings/sec, 85 secs
lola: 7032104 markings, 13188561 edges, 56211 markings/sec, 90 secs
lola: 7317820 markings, 13742304 edges, 57143 markings/sec, 95 secs
lola: 7604676 markings, 14307985 edges, 57371 markings/sec, 100 secs
lola: 7902588 markings, 14882271 edges, 59582 markings/sec, 105 secs
lola: 8079414 markings, 15498725 edges, 35365 markings/sec, 110 secs
lola: 8170498 markings, 16053604 edges, 18217 markings/sec, 115 secs
lola: 8272548 markings, 16647862 edges, 20410 markings/sec, 120 secs
lola: 8487356 markings, 17163514 edges, 42962 markings/sec, 125 secs
lola: 8704276 markings, 17682415 edges, 43384 markings/sec, 130 secs
lola: 8911151 markings, 18209553 edges, 41375 markings/sec, 135 secs
lola: 9126888 markings, 18739358 edges, 43147 markings/sec, 140 secs
lola: 9351290 markings, 19269825 edges, 44880 markings/sec, 145 secs
lola: 9564919 markings, 19809441 edges, 42726 markings/sec, 150 secs
lola: 9789150 markings, 20350460 edges, 44846 markings/sec, 155 secs
lola: 10013109 markings, 20894203 edges, 44792 markings/sec, 160 secs
lola: 10236201 markings, 21445207 edges, 44618 markings/sec, 165 secs
lola: 10462677 markings, 21995053 edges, 45295 markings/sec, 170 secs
lola: 10692891 markings, 22555011 edges, 46043 markings/sec, 175 secs
lola: 10915405 markings, 23119062 edges, 44503 markings/sec, 180 secs
lola: 11156233 markings, 23683544 edges, 48166 markings/sec, 185 secs
lola: 11390560 markings, 24257483 edges, 46865 markings/sec, 190 secs
lola: 11623500 markings, 24837660 edges, 46588 markings/sec, 195 secs
lola: 11860277 markings, 25423881 edges, 47355 markings/sec, 200 secs
lola: 11978673 markings, 26063875 edges, 23679 markings/sec, 205 secs
lola: 12069639 markings, 26658153 edges, 18193 markings/sec, 210 secs
lola: 12153465 markings, 27211932 edges, 16765 markings/sec, 215 secs
lola: 12233467 markings, 27732365 edges, 16000 markings/sec, 220 secs
lola: 12299156 markings, 28335190 edges, 13138 markings/sec, 225 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 12302810 markings, 28553609 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (G (((NOT FIREABLE(t3_1_1) AND NOT FIREABLE(t3_1_2) AND NOT FIREABLE(t3_1_3) AND NOT FIREABLE(t3_1_4) AND NOT FIREABLE(t3_1_5) AND NOT FIREABLE(t3_1_6) AND NOT FIREABLE(t3_1_7) AND NOT FIREABLE(t3_1_8) AND NOT FIREABLE(t3_1_9) AND NOT FIREABLE(t3_1_10) AND NOT FIREABLE(t3_1_11) AND NOT FIREABLE(t3_1_12) AND NOT FIREABLE(t3_1_13) AND NOT FIREABLE(t3_1_14) AND NOT FIREABLE(t3_1_15) AND NOT FIRE... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((NOT FIREABLE(t3_1_1) AND NOT FIREABLE(t3_1_2) AND NOT FIREABLE(t3_1_3) AND NOT FIREABLE(t3_1_4) AND NOT FIREABLE(t3_1_5) AND NOT FIREABLE(t3_1_6) AND NOT FIREABLE(t3_1_7) AND NOT FIREABLE(t3_1_8) AND NOT FIREABLE(t3_1_9) AND NOT FIREABLE(t3_1_10) AND NOT FIREABLE(t3_1_11) AND NOT FIREABLE(t3_1_12) AND NOT FIREABLE(t3_1_13) AND NOT FIREABLE(t3_1_14) AND NOT FIREABLE(t3_1_15) AND NOT FIRE... (shortened)
lola: processed formula length: 2605
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 224106 markings, 918005 edges, 44821 markings/sec, 0 secs
lola: 455279 markings, 1822089 edges, 46235 markings/sec, 5 secs
lola: 680659 markings, 2723002 edges, 45076 markings/sec, 10 secs
lola: 892338 markings, 3629474 edges, 42336 markings/sec, 15 secs
lola: 1120921 markings, 4525977 edges, 45717 markings/sec, 20 secs
lola: 1343596 markings, 5413694 edges, 44535 markings/sec, 25 secs
lola: 1568846 markings, 6296007 edges, 45050 markings/sec, 30 secs
lola: 1780497 markings, 7185134 edges, 42330 markings/sec, 35 secs
lola: 2003560 markings, 8055516 edges, 44613 markings/sec, 40 secs
lola: 2224631 markings, 8927253 edges, 44214 markings/sec, 45 secs
lola: 2426310 markings, 9808212 edges, 40336 markings/sec, 50 secs
lola: 2643363 markings, 10670516 edges, 43411 markings/sec, 55 secs
lola: 2861036 markings, 11534900 edges, 43535 markings/sec, 60 secs
lola: 3075897 markings, 12395167 edges, 42972 markings/sec, 65 secs
lola: 3290770 markings, 13243813 edges, 42975 markings/sec, 70 secs
lola: 3506661 markings, 14095631 edges, 43178 markings/sec, 75 secs
lola: 3709291 markings, 14956039 edges, 40526 markings/sec, 80 secs
lola: 3926915 markings, 15802634 edges, 43525 markings/sec, 85 secs
lola: 4137007 markings, 16640515 edges, 42018 markings/sec, 90 secs
lola: 4349538 markings, 17478662 edges, 42506 markings/sec, 95 secs
lola: 4554080 markings, 18318337 edges, 40908 markings/sec, 100 secs
lola: 4749668 markings, 19156571 edges, 39118 markings/sec, 105 secs
lola: 4955317 markings, 19985219 edges, 41130 markings/sec, 110 secs
lola: 5162348 markings, 20809087 edges, 41406 markings/sec, 115 secs
lola: 5365674 markings, 21635680 edges, 40665 markings/sec, 120 secs
lola: 5576203 markings, 22457862 edges, 42106 markings/sec, 125 secs
lola: 5783655 markings, 23272291 edges, 41490 markings/sec, 130 secs
lola: 5982332 markings, 24093646 edges, 39735 markings/sec, 135 secs
lola: 6184176 markings, 24899841 edges, 40369 markings/sec, 140 secs
lola: 6385247 markings, 25703702 edges, 40214 markings/sec, 145 secs
lola: 6586877 markings, 26509016 edges, 40326 markings/sec, 150 secs
lola: 6787782 markings, 27312210 edges, 40181 markings/sec, 155 secs
lola: 6987907 markings, 28112756 edges, 40025 markings/sec, 160 secs
lola: 7188414 markings, 28914793 edges, 40101 markings/sec, 165 secs
lola: 7385863 markings, 29707283 edges, 39490 markings/sec, 170 secs
lola: 7581190 markings, 30499030 edges, 39065 markings/sec, 175 secs
lola: 7774920 markings, 31289944 edges, 38746 markings/sec, 180 secs
lola: 7968631 markings, 32079066 edges, 38742 markings/sec, 185 secs
lola: 8162293 markings, 32863118 edges, 38732 markings/sec, 190 secs
lola: 8355923 markings, 33643871 edges, 38726 markings/sec, 195 secs
lola: 8549606 markings, 34430153 edges, 38737 markings/sec, 200 secs
lola: 8743257 markings, 35213176 edges, 38730 markings/sec, 205 secs
lola: 8936867 markings, 35991844 edges, 38722 markings/sec, 210 secs
lola: 9130365 markings, 36758924 edges, 38700 markings/sec, 215 secs
lola: 9323930 markings, 37532952 edges, 38713 markings/sec, 220 secs
lola: 9517461 markings, 38303569 edges, 38706 markings/sec, 225 secs
lola: 9710979 markings, 39072881 edges, 38704 markings/sec, 230 secs
lola: 9902858 markings, 39839704 edges, 38376 markings/sec, 235 secs
lola: 10092464 markings, 40605352 edges, 37921 markings/sec, 240 secs
lola: 10281459 markings, 41369747 edges, 37799 markings/sec, 245 secs
lola: 10469493 markings, 42131083 edges, 37607 markings/sec, 250 secs
lola: 10655764 markings, 42886665 edges, 37254 markings/sec, 255 secs
lola: 10841996 markings, 43641924 edges, 37246 markings/sec, 260 secs
lola: 11027813 markings, 44395971 edges, 37163 markings/sec, 265 secs
lola: 11213409 markings, 45149405 edges, 37119 markings/sec, 270 secs
lola: 11398791 markings, 45900477 edges, 37076 markings/sec, 275 secs
lola: 11588680 markings, 46645137 edges, 37978 markings/sec, 280 secs
lola: 11768669 markings, 47391624 edges, 35998 markings/sec, 285 secs
lola: 11947247 markings, 48132049 edges, 35716 markings/sec, 290 secs
lola: 12133339 markings, 48870906 edges, 37218 markings/sec, 295 secs
lola: 12314948 markings, 49613157 edges, 36322 markings/sec, 300 secs
lola: 12494494 markings, 50348615 edges, 35909 markings/sec, 305 secs
lola: 12687822 markings, 51079487 edges, 38666 markings/sec, 310 secs
lola: 12875004 markings, 51804759 edges, 37436 markings/sec, 315 secs
lola: 13054899 markings, 52529637 edges, 35979 markings/sec, 320 secs
lola: 13231041 markings, 53255115 edges, 35228 markings/sec, 325 secs
lola: 13408297 markings, 53982277 edges, 35451 markings/sec, 330 secs
lola: 13583692 markings, 54699814 edges, 35079 markings/sec, 335 secs
lola: 13770516 markings, 55412269 edges, 37365 markings/sec, 340 secs
lola: 13945061 markings, 56129817 edges, 34909 markings/sec, 345 secs
lola: 14119926 markings, 56848260 edges, 34973 markings/sec, 350 secs
lola: 14301181 markings, 57561940 edges, 36251 markings/sec, 355 secs
lola: 14467705 markings, 58274612 edges, 33305 markings/sec, 360 secs
lola: 14643745 markings, 58983025 edges, 35208 markings/sec, 365 secs
lola: 14817865 markings, 59698349 edges, 34824 markings/sec, 370 secs
lola: 15007537 markings, 60395710 edges, 37934 markings/sec, 375 secs
lola: 15181267 markings, 61092862 edges, 34746 markings/sec, 380 secs
lola: 15351878 markings, 61793279 edges, 34122 markings/sec, 385 secs
lola: 15519776 markings, 62485167 edges, 33580 markings/sec, 390 secs
lola: 15697455 markings, 63176545 edges, 35536 markings/sec, 395 secs
lola: 15865753 markings, 63873691 edges, 33660 markings/sec, 400 secs
lola: 16038826 markings, 64564593 edges, 34615 markings/sec, 405 secs
lola: 16203356 markings, 65252039 edges, 32906 markings/sec, 410 secs
lola: 16370074 markings, 65947219 edges, 33344 markings/sec, 415 secs
lola: 16555406 markings, 66624411 edges, 37066 markings/sec, 420 secs
lola: 16722058 markings, 67303083 edges, 33330 markings/sec, 425 secs
lola: 16881528 markings, 67977426 edges, 31894 markings/sec, 430 secs
lola: 17056824 markings, 68645843 edges, 35059 markings/sec, 435 secs
lola: 17220106 markings, 69326540 edges, 32656 markings/sec, 440 secs
lola: 17386859 markings, 70002968 edges, 33351 markings/sec, 445 secs
lola: 17545958 markings, 70656513 edges, 31820 markings/sec, 450 secs
lola: 17697305 markings, 71319433 edges, 30269 markings/sec, 455 secs
lola: 17865422 markings, 71994661 edges, 33623 markings/sec, 460 secs
lola: 18034263 markings, 72672007 edges, 33768 markings/sec, 465 secs
lola: 18199744 markings, 73351549 edges, 33096 markings/sec, 470 secs
lola: 18372087 markings, 74020598 edges, 34469 markings/sec, 475 secs
lola: 18552880 markings, 74707370 edges, 36159 markings/sec, 480 secs
lola: 18735020 markings, 75415049 edges, 36428 markings/sec, 485 secs
lola: 18921910 markings, 76145474 edges, 37378 markings/sec, 490 secs
lola: 19090065 markings, 76919184 edges, 33631 markings/sec, 495 secs
lola: 19156510 markings, 77717118 edges, 13289 markings/sec, 500 secs
lola: 19246173 markings, 78404055 edges, 17933 markings/sec, 505 secs
lola: 19381688 markings, 78944208 edges, 27103 markings/sec, 510 secs
lola: 19524587 markings, 79497977 edges, 28580 markings/sec, 515 secs
lola: 19673154 markings, 80067943 edges, 29713 markings/sec, 520 secs
lola: 19822883 markings, 80656356 edges, 29946 markings/sec, 525 secs
lola: 19981521 markings, 81263568 edges, 31728 markings/sec, 530 secs
lola: 20112124 markings, 81906961 edges, 26121 markings/sec, 535 secs
lola: 20162177 markings, 82512889 edges, 10011 markings/sec, 540 secs
lola: 20198566 markings, 83131698 edges, 7278 markings/sec, 545 secs
lola: 20327518 markings, 83683537 edges, 25790 markings/sec, 550 secs
lola: 20458087 markings, 84228732 edges, 26114 markings/sec, 555 secs
lola: 20590141 markings, 84777515 edges, 26411 markings/sec, 560 secs
lola: 20723212 markings, 85328837 edges, 26614 markings/sec, 565 secs
lola: 20857607 markings, 85883436 edges, 26879 markings/sec, 570 secs
lola: 20985629 markings, 86444556 edges, 25604 markings/sec, 575 secs
lola: 21113164 markings, 87008657 edges, 25507 markings/sec, 580 secs
lola: 21249167 markings, 87575389 edges, 27201 markings/sec, 585 secs
lola: 21388796 markings, 88142654 edges, 27926 markings/sec, 590 secs
lola: 21521875 markings, 88714765 edges, 26616 markings/sec, 595 secs
lola: 21651630 markings, 89293953 edges, 25951 markings/sec, 600 secs
lola: 21796107 markings, 89873027 edges, 28895 markings/sec, 605 secs
lola: 21932239 markings, 90457091 edges, 27226 markings/sec, 610 secs
lola: 22068543 markings, 91047713 edges, 27261 markings/sec, 615 secs
lola: 22214433 markings, 91635833 edges, 29178 markings/sec, 620 secs
lola: 22347344 markings, 92237977 edges, 26582 markings/sec, 625 secs
lola: 22498125 markings, 92833277 edges, 30156 markings/sec, 630 secs
lola: 22633070 markings, 93444986 edges, 26989 markings/sec, 635 secs
lola: 22782737 markings, 94050911 edges, 29933 markings/sec, 640 secs
lola: 22926861 markings, 94671702 edges, 28825 markings/sec, 645 secs
lola: 23050357 markings, 95312845 edges, 24699 markings/sec, 650 secs
lola: 23102356 markings, 95970969 edges, 10400 markings/sec, 655 secs
lola: 23153959 markings, 96589120 edges, 10321 markings/sec, 660 secs
lola: 23200477 markings, 97176479 edges, 9304 markings/sec, 665 secs
lola: 23244317 markings, 97735958 edges, 8768 markings/sec, 670 secs
lola: 23287945 markings, 98273679 edges, 8726 markings/sec, 675 secs
lola: 23328309 markings, 98840973 edges, 8073 markings/sec, 680 secs
lola: 23371162 markings, 99602459 edges, 8571 markings/sec, 685 secs
lola: 23444130 markings, 100437182 edges, 14594 markings/sec, 690 secs
lola: 23571931 markings, 101025516 edges, 25560 markings/sec, 695 secs
lola: 23704445 markings, 101618136 edges, 26503 markings/sec, 700 secs
lola: 23832165 markings, 102144586 edges, 25544 markings/sec, 705 secs
lola: 23958331 markings, 102641462 edges, 25233 markings/sec, 710 secs
lola: 24090497 markings, 103145170 edges, 26433 markings/sec, 715 secs
lola: 24223332 markings, 103663087 edges, 26567 markings/sec, 720 secs
lola: 24358019 markings, 104198753 edges, 26937 markings/sec, 725 secs
lola: 24499687 markings, 104748747 edges, 28334 markings/sec, 730 secs
lola: 24648669 markings, 105320665 edges, 29796 markings/sec, 735 secs
lola: 24708880 markings, 105938445 edges, 12042 markings/sec, 740 secs
lola: 24753461 markings, 106477030 edges, 8916 markings/sec, 745 secs
lola: 24823079 markings, 107057997 edges, 13924 markings/sec, 750 secs
lola: 24918509 markings, 107536511 edges, 19086 markings/sec, 755 secs
lola: 25015174 markings, 108018828 edges, 19333 markings/sec, 760 secs
lola: 25113360 markings, 108505830 edges, 19637 markings/sec, 765 secs
lola: 25214510 markings, 108998336 edges, 20230 markings/sec, 770 secs
lola: 25316559 markings, 109495963 edges, 20410 markings/sec, 775 secs
lola: 25418877 markings, 109999816 edges, 20464 markings/sec, 780 secs
lola: 25524206 markings, 110510154 edges, 21066 markings/sec, 785 secs
lola: 25631437 markings, 111025248 edges, 21446 markings/sec, 790 secs
lola: 25740151 markings, 111544963 edges, 21743 markings/sec, 795 secs
lola: 25846847 markings, 112074333 edges, 21339 markings/sec, 800 secs
lola: 25955347 markings, 112613902 edges, 21700 markings/sec, 805 secs
lola: 26070054 markings, 113152249 edges, 22941 markings/sec, 810 secs
lola: 26178953 markings, 113708988 edges, 21780 markings/sec, 815 secs
lola: 26295789 markings, 114262975 edges, 23367 markings/sec, 820 secs
lola: 26411819 markings, 114832801 edges, 23206 markings/sec, 825 secs
lola: 26527212 markings, 115409648 edges, 23079 markings/sec, 830 secs
lola: 26621951 markings, 116023276 edges, 18948 markings/sec, 835 secs
lola: 26669319 markings, 116648022 edges, 9474 markings/sec, 840 secs
lola: 26713060 markings, 117226537 edges, 8748 markings/sec, 845 secs
lola: 26754832 markings, 117765750 edges, 8354 markings/sec, 850 secs
lola: 26792159 markings, 118290313 edges, 7465 markings/sec, 855 secs
lola: 26848960 markings, 119000931 edges, 11360 markings/sec, 860 secs
lola: 26981553 markings, 119599741 edges, 26519 markings/sec, 865 secs
lola: 27107022 markings, 120223047 edges, 25094 markings/sec, 870 secs
lola: 27243899 markings, 120855449 edges, 27375 markings/sec, 875 secs
lola: 27377197 markings, 121456756 edges, 26660 markings/sec, 880 secs
lola: 27506185 markings, 122087945 edges, 25798 markings/sec, 885 secs
lola: 27644038 markings, 122730181 edges, 27571 markings/sec, 890 secs
lola: 27775533 markings, 123323182 edges, 26299 markings/sec, 895 secs
lola: 27912716 markings, 123875305 edges, 27437 markings/sec, 900 secs
lola: 28042375 markings, 124434312 edges, 25932 markings/sec, 905 secs
lola: 28171574 markings, 124996630 edges, 25840 markings/sec, 910 secs
lola: 28313643 markings, 125560714 edges, 28414 markings/sec, 915 secs
lola: 28441582 markings, 126134190 edges, 25588 markings/sec, 920 secs
lola: 28582831 markings, 126707134 edges, 28250 markings/sec, 925 secs
lola: 28716817 markings, 127284984 edges, 26797 markings/sec, 930 secs
lola: 28857328 markings, 127866486 edges, 28102 markings/sec, 935 secs
lola: 28992790 markings, 128453403 edges, 27092 markings/sec, 940 secs
lola: 29138393 markings, 129041778 edges, 29121 markings/sec, 945 secs
lola: 29272059 markings, 129640107 edges, 26733 markings/sec, 950 secs
lola: 29420665 markings, 130238916 edges, 29721 markings/sec, 955 secs
lola: 29564436 markings, 130842934 edges, 28754 markings/sec, 960 secs
lola: 29703955 markings, 131455412 edges, 27904 markings/sec, 965 secs
lola: 29850588 markings, 132069392 edges, 29327 markings/sec, 970 secs
lola: 30002519 markings, 132687060 edges, 30386 markings/sec, 975 secs
lola: 30151946 markings, 133309883 edges, 29885 markings/sec, 980 secs
lola: 30300648 markings, 133944712 edges, 29740 markings/sec, 985 secs
lola: 30451210 markings, 134584095 edges, 30112 markings/sec, 990 secs
lola: 30514318 markings, 135289923 edges, 12622 markings/sec, 995 secs
lola: 30568363 markings, 135960929 edges, 10809 markings/sec, 1000 secs
lola: 30620172 markings, 136597599 edges, 10362 markings/sec, 1005 secs
lola: 30669282 markings, 137203722 edges, 9822 markings/sec, 1010 secs
lola: 30715761 markings, 137786064 edges, 9296 markings/sec, 1015 secs
lola: 30755861 markings, 138415445 edges, 8020 markings/sec, 1020 secs
lola: 30809528 markings, 139142594 edges, 10733 markings/sec, 1025 secs
lola: 30905142 markings, 139673955 edges, 19123 markings/sec, 1030 secs
lola: 31012786 markings, 140187384 edges, 21529 markings/sec, 1035 secs
lola: 31120188 markings, 140704466 edges, 21480 markings/sec, 1040 secs
lola: 31213077 markings, 141226841 edges, 18578 markings/sec, 1045 secs
lola: 31319247 markings, 141737590 edges, 21234 markings/sec, 1050 secs
lola: 31428472 markings, 142258499 edges, 21845 markings/sec, 1055 secs
lola: 31523916 markings, 142789214 edges, 19089 markings/sec, 1060 secs
lola: 31626646 markings, 143309330 edges, 20546 markings/sec, 1065 secs
lola: 31741900 markings, 143829332 edges, 23051 markings/sec, 1070 secs
lola: 31839307 markings, 144366339 edges, 19481 markings/sec, 1075 secs
lola: 31935567 markings, 144899622 edges, 19252 markings/sec, 1080 secs
lola: 32053590 markings, 145430868 edges, 23605 markings/sec, 1085 secs
lola: 32162507 markings, 145969113 edges, 21783 markings/sec, 1090 secs
lola: 32240065 markings, 146421789 edges, 15512 markings/sec, 1095 secs
lola: 32358947 markings, 146956350 edges, 23776 markings/sec, 1100 secs
lola: 32463859 markings, 147500540 edges, 20982 markings/sec, 1105 secs
lola: 32564288 markings, 148047505 edges, 20086 markings/sec, 1110 secs
lola: 32668999 markings, 148589457 edges, 20942 markings/sec, 1115 secs
lola: 32788235 markings, 149131596 edges, 23847 markings/sec, 1120 secs
lola: 32896797 markings, 149680610 edges, 21712 markings/sec, 1125 secs
lola: 33000207 markings, 150237219 edges, 20682 markings/sec, 1130 secs
lola: 33102006 markings, 150788589 edges, 20360 markings/sec, 1135 secs
lola: 33219009 markings, 151341202 edges, 23401 markings/sec, 1140 secs
lola: 33338424 markings, 151890526 edges, 23883 markings/sec, 1145 secs
lola: 33444608 markings, 152454886 edges, 21237 markings/sec, 1150 secs
lola: 33550994 markings, 153021056 edges, 21277 markings/sec, 1155 secs
lola: 33656047 markings, 153583040 edges, 21011 markings/sec, 1160 secs
lola: 33771146 markings, 154143288 edges, 23020 markings/sec, 1165 secs
lola: 33891201 markings, 154705157 edges, 24011 markings/sec, 1170 secs
lola: 34006181 markings, 155273756 edges, 22996 markings/sec, 1175 secs
lola: 34115783 markings, 155850762 edges, 21920 markings/sec, 1180 secs
lola: 34224714 markings, 156425511 edges, 21786 markings/sec, 1185 secs
lola: 34332829 markings, 156997258 edges, 21623 markings/sec, 1190 secs
lola: 34446127 markings, 157572235 edges, 22660 markings/sec, 1195 secs
lola: 34566813 markings, 158147468 edges, 24137 markings/sec, 1200 secs
lola: 34687487 markings, 158724099 edges, 24135 markings/sec, 1205 secs
lola: 34804763 markings, 159304670 edges, 23455 markings/sec, 1210 secs
lola: 34918262 markings, 159894281 edges, 22700 markings/sec, 1215 secs
lola: 35032164 markings, 160485330 edges, 22780 markings/sec, 1220 secs
lola: 35146369 markings, 161077009 edges, 22841 markings/sec, 1225 secs
lola: 35260835 markings, 161669872 edges, 22893 markings/sec, 1230 secs
lola: 35375765 markings, 162264170 edges, 22986 markings/sec, 1235 secs
lola: 35491611 markings, 162861222 edges, 23169 markings/sec, 1240 secs
lola: 35610475 markings, 163458087 edges, 23773 markings/sec, 1245 secs
lola: 35732280 markings, 164059095 edges, 24361 markings/sec, 1250 secs
lola: 35854155 markings, 164661968 edges, 24375 markings/sec, 1255 secs
lola: 35976236 markings, 165270810 edges, 24416 markings/sec, 1260 secs
lola: 36098342 markings, 165879247 edges, 24421 markings/sec, 1265 secs
lola: 36220636 markings, 166492851 edges, 24459 markings/sec, 1270 secs
lola: 36307632 markings, 167151847 edges, 17399 markings/sec, 1275 secs
lola: 36357060 markings, 167832657 edges, 9886 markings/sec, 1280 secs
lola: 36409126 markings, 168495746 edges, 10413 markings/sec, 1285 secs
lola: 36455350 markings, 169135717 edges, 9245 markings/sec, 1290 secs
lola: 36504239 markings, 169760529 edges, 9778 markings/sec, 1295 secs
lola: 36548184 markings, 170366842 edges, 8789 markings/sec, 1300 secs
lola: 36595864 markings, 170958580 edges, 9536 markings/sec, 1305 secs
lola: 36639442 markings, 171537023 edges, 8716 markings/sec, 1310 secs
lola: 36679608 markings, 172104041 edges, 8033 markings/sec, 1315 secs
lola: 36722707 markings, 172660838 edges, 8620 markings/sec, 1320 secs
lola: 36765978 markings, 173203704 edges, 8654 markings/sec, 1325 secs
lola: 36804538 markings, 173738717 edges, 7712 markings/sec, 1330 secs
lola: 36842929 markings, 174262681 edges, 7678 markings/sec, 1335 secs
lola: 36873057 markings, 174968953 edges, 6026 markings/sec, 1340 secs
lola: 36894729 markings, 175727612 edges, 4334 markings/sec, 1345 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 36897624 markings, 176087025 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X ((G ((FIREABLE(t5_2_4) OR G (NOT FIREABLE(t3_2_132)))) OR X ((NOT FIREABLE(t3_2_132) AND (F (NOT FIREABLE(SampleRW_on)) OR G (NOT FIREABLE(t3_2_132))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((G ((FIREABLE(t5_2_4) OR G (NOT FIREABLE(t3_2_132)))) OR X ((NOT FIREABLE(t3_2_132) AND (F (NOT FIREABLE(SampleRW_on)) OR G (NOT FIREABLE(t3_2_132))))))))
lola: processed formula length: 160
lola: 68 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 399183 markings, 888261 edges, 79837 markings/sec, 0 secs
lola: 778125 markings, 1824150 edges, 75788 markings/sec, 5 secs
lola: 1178287 markings, 2746863 edges, 80032 markings/sec, 10 secs
lola: 1546344 markings, 3675397 edges, 73611 markings/sec, 15 secs
lola: 1939375 markings, 4585403 edges, 78606 markings/sec, 20 secs
lola: 2318190 markings, 5498103 edges, 75763 markings/sec, 25 secs
lola: 2707878 markings, 6400175 edges, 77938 markings/sec, 30 secs
lola: 3064118 markings, 7306419 edges, 71248 markings/sec, 35 secs
lola: 3456437 markings, 8189837 edges, 78464 markings/sec, 40 secs
lola: 3813835 markings, 9081871 edges, 71480 markings/sec, 45 secs
lola: 4192889 markings, 9961645 edges, 75811 markings/sec, 50 secs
lola: 4570307 markings, 10838488 edges, 75484 markings/sec, 55 secs
lola: 4910136 markings, 11716275 edges, 67966 markings/sec, 60 secs
lola: 5292799 markings, 12575056 edges, 76533 markings/sec, 65 secs
lola: 5639978 markings, 13438962 edges, 69436 markings/sec, 70 secs
lola: 6004227 markings, 14296326 edges, 72850 markings/sec, 75 secs
lola: 6370979 markings, 15150720 edges, 73350 markings/sec, 80 secs
lola: 6734652 markings, 16000389 edges, 72735 markings/sec, 85 secs
lola: 7064131 markings, 16847028 edges, 65896 markings/sec, 90 secs
lola: 7429013 markings, 17678318 edges, 72976 markings/sec, 95 secs
lola: 7770886 markings, 18511861 edges, 68375 markings/sec, 100 secs
lola: 8115818 markings, 19349096 edges, 68986 markings/sec, 105 secs
lola: 8468432 markings, 20174947 edges, 70523 markings/sec, 110 secs
lola: 8819930 markings, 20998875 edges, 70300 markings/sec, 115 secs
lola: 9169567 markings, 21818918 edges, 69927 markings/sec, 120 secs
lola: 9498671 markings, 22641709 edges, 65821 markings/sec, 125 secs
lola: 9839139 markings, 23452565 edges, 68094 markings/sec, 130 secs
lola: 10184977 markings, 24259077 edges, 69168 markings/sec, 135 secs
lola: 10517195 markings, 25064931 edges, 66444 markings/sec, 140 secs
lola: 10848377 markings, 25864361 edges, 66236 markings/sec, 145 secs
lola: 11181764 markings, 26668734 edges, 66677 markings/sec, 150 secs
lola: 11518851 markings, 27463054 edges, 67417 markings/sec, 155 secs
lola: 11852968 markings, 28251540 edges, 66823 markings/sec, 160 secs
lola: 12185429 markings, 29035946 edges, 66492 markings/sec, 165 secs
lola: 12516320 markings, 29817573 edges, 66178 markings/sec, 170 secs
lola: 12846405 markings, 30597531 edges, 66017 markings/sec, 175 secs
lola: 13174102 markings, 31373482 edges, 65539 markings/sec, 180 secs
lola: 13482367 markings, 32154185 edges, 61653 markings/sec, 185 secs
lola: 13791681 markings, 32927153 edges, 61863 markings/sec, 190 secs
lola: 14127334 markings, 33690650 edges, 67131 markings/sec, 195 secs
lola: 14451070 markings, 34454144 edges, 64747 markings/sec, 200 secs
lola: 14772532 markings, 35212714 edges, 64292 markings/sec, 205 secs
lola: 15089229 markings, 35968039 edges, 63339 markings/sec, 210 secs
lola: 15405686 markings, 36720375 edges, 63291 markings/sec, 215 secs
lola: 15721303 markings, 37471171 edges, 63123 markings/sec, 220 secs
lola: 16028654 markings, 38222170 edges, 61470 markings/sec, 225 secs
lola: 16340445 markings, 38968804 edges, 62358 markings/sec, 230 secs
lola: 16649823 markings, 39708493 edges, 61876 markings/sec, 235 secs
lola: 16957424 markings, 40443313 edges, 61520 markings/sec, 240 secs
lola: 17264734 markings, 41177345 edges, 61462 markings/sec, 245 secs
lola: 17571310 markings, 41909379 edges, 61315 markings/sec, 250 secs
lola: 17876134 markings, 42636617 edges, 60965 markings/sec, 255 secs
lola: 18180909 markings, 43363722 edges, 60955 markings/sec, 260 secs
lola: 18485244 markings, 44089621 edges, 60867 markings/sec, 265 secs
lola: 18788042 markings, 44811395 edges, 60560 markings/sec, 270 secs
lola: 19092896 markings, 45529899 edges, 60971 markings/sec, 275 secs
lola: 19395830 markings, 46245124 edges, 60587 markings/sec, 280 secs
lola: 19692464 markings, 46956537 edges, 59327 markings/sec, 285 secs
lola: 19988806 markings, 47667326 edges, 59268 markings/sec, 290 secs
lola: 20286965 markings, 48374097 edges, 59632 markings/sec, 295 secs
lola: 20574844 markings, 49080301 edges, 57576 markings/sec, 300 secs
lola: 20864382 markings, 49782071 edges, 57908 markings/sec, 305 secs
lola: 21144093 markings, 50481137 edges, 55942 markings/sec, 310 secs
lola: 21449696 markings, 51174710 edges, 61121 markings/sec, 315 secs
lola: 21754722 markings, 51860444 edges, 61005 markings/sec, 320 secs
lola: 22040472 markings, 52549063 edges, 57150 markings/sec, 325 secs
lola: 22325040 markings, 53236315 edges, 56914 markings/sec, 330 secs
lola: 22608744 markings, 53921101 edges, 56741 markings/sec, 335 secs
lola: 22891113 markings, 54603668 edges, 56474 markings/sec, 340 secs
lola: 23172966 markings, 55285434 edges, 56371 markings/sec, 345 secs
lola: 23453476 markings, 55963634 edges, 56102 markings/sec, 350 secs
lola: 23732082 markings, 56638575 edges, 55721 markings/sec, 355 secs
lola: 24018506 markings, 57306790 edges, 57285 markings/sec, 360 secs
lola: 24304148 markings, 57981683 edges, 57128 markings/sec, 365 secs
lola: 24589210 markings, 58649983 edges, 57012 markings/sec, 370 secs
lola: 24859798 markings, 59316302 edges, 54118 markings/sec, 375 secs
lola: 25127506 markings, 59981980 edges, 53542 markings/sec, 380 secs
lola: 25429546 markings, 60635400 edges, 60408 markings/sec, 385 secs
lola: 25701571 markings, 61295641 edges, 54405 markings/sec, 390 secs
lola: 25973123 markings, 61956006 edges, 54310 markings/sec, 395 secs
lola: 26243251 markings, 62613492 edges, 54026 markings/sec, 400 secs
lola: 26511980 markings, 63268228 edges, 53746 markings/sec, 405 secs
lola: 26784020 markings, 63914775 edges, 54408 markings/sec, 410 secs
lola: 27062044 markings, 64566408 edges, 55605 markings/sec, 415 secs
lola: 27337408 markings, 65214801 edges, 55073 markings/sec, 420 secs
lola: 27593097 markings, 65863827 edges, 51138 markings/sec, 425 secs
lola: 27843748 markings, 66477756 edges, 50130 markings/sec, 430 secs
lola: 28114065 markings, 67100099 edges, 54063 markings/sec, 435 secs
lola: 28458334 markings, 67649038 edges, 68854 markings/sec, 440 secs
lola: 28776544 markings, 68177538 edges, 63642 markings/sec, 445 secs
lola: 29103371 markings, 68709956 edges, 65365 markings/sec, 450 secs
lola: 29438896 markings, 69248132 edges, 67105 markings/sec, 455 secs
lola: 29774426 markings, 69793318 edges, 67106 markings/sec, 460 secs
lola: 30112739 markings, 70345519 edges, 67663 markings/sec, 465 secs
lola: 30451355 markings, 70906593 edges, 67723 markings/sec, 470 secs
lola: 30800259 markings, 71474398 edges, 69781 markings/sec, 475 secs
lola: 31046721 markings, 72077952 edges, 49292 markings/sec, 480 secs
lola: 31175474 markings, 72641770 edges, 25751 markings/sec, 485 secs
lola: 31277805 markings, 73217500 edges, 20466 markings/sec, 490 secs
lola: 31445508 markings, 73809389 edges, 33541 markings/sec, 495 secs
lola: 31632351 markings, 74389281 edges, 37369 markings/sec, 500 secs
lola: 31775041 markings, 74866792 edges, 28538 markings/sec, 505 secs
lola: 31921339 markings, 75351772 edges, 29260 markings/sec, 510 secs
lola: 32071666 markings, 75845102 edges, 30065 markings/sec, 515 secs
lola: 32226061 markings, 76346877 edges, 30879 markings/sec, 520 secs
lola: 32384052 markings, 76856094 edges, 31598 markings/sec, 525 secs
lola: 32547049 markings, 77375698 edges, 32599 markings/sec, 530 secs
lola: 32710530 markings, 77904513 edges, 32696 markings/sec, 535 secs
lola: 32869989 markings, 78444916 edges, 31892 markings/sec, 540 secs
lola: 33044880 markings, 78989168 edges, 34978 markings/sec, 545 secs
lola: 33209202 markings, 79547859 edges, 32864 markings/sec, 550 secs
lola: 33385121 markings, 80109847 edges, 35184 markings/sec, 555 secs
lola: 33563737 markings, 80682568 edges, 35723 markings/sec, 560 secs
lola: 33740561 markings, 81267163 edges, 35365 markings/sec, 565 secs
lola: 33921625 markings, 81860559 edges, 36213 markings/sec, 570 secs
lola: 34108511 markings, 82466039 edges, 37377 markings/sec, 575 secs
lola: 34300216 markings, 83081477 edges, 38341 markings/sec, 580 secs
lola: 34396311 markings, 83740610 edges, 19219 markings/sec, 585 secs
lola: 34465215 markings, 84354059 edges, 13781 markings/sec, 590 secs
lola: 34530724 markings, 84925572 edges, 13102 markings/sec, 595 secs
lola: 34593336 markings, 85461610 edges, 12522 markings/sec, 600 secs
lola: 34640926 markings, 86124186 edges, 9518 markings/sec, 605 secs
lola: 34812722 markings, 86731542 edges, 34359 markings/sec, 610 secs
lola: 35019552 markings, 87333663 edges, 41366 markings/sec, 615 secs
lola: 35227402 markings, 87939046 edges, 41570 markings/sec, 620 secs
lola: 35414598 markings, 88482214 edges, 37439 markings/sec, 625 secs
lola: 35594734 markings, 89013340 edges, 36027 markings/sec, 630 secs
lola: 35775225 markings, 89545451 edges, 36098 markings/sec, 635 secs
lola: 35956805 markings, 90080550 edges, 36316 markings/sec, 640 secs
lola: 36139296 markings, 90618135 edges, 36498 markings/sec, 645 secs
lola: 36322937 markings, 91158890 edges, 36728 markings/sec, 650 secs
lola: 36507369 markings, 91701792 edges, 36886 markings/sec, 655 secs
lola: 36692316 markings, 92246108 edges, 36989 markings/sec, 660 secs
lola: 36877707 markings, 92791647 edges, 37078 markings/sec, 665 secs
lola: 37063906 markings, 93339383 edges, 37240 markings/sec, 670 secs
lola: 37250728 markings, 93888839 edges, 37364 markings/sec, 675 secs
lola: 37438323 markings, 94440417 edges, 37519 markings/sec, 680 secs
lola: 37626410 markings, 94993345 edges, 37617 markings/sec, 685 secs
lola: 37813525 markings, 95551739 edges, 37423 markings/sec, 690 secs
lola: 37998877 markings, 96116502 edges, 37070 markings/sec, 695 secs
lola: 38191501 markings, 96679244 edges, 38525 markings/sec, 700 secs
lola: 38390083 markings, 97240708 edges, 39716 markings/sec, 705 secs
lola: 38581221 markings, 97807270 edges, 38228 markings/sec, 710 secs
lola: 38774921 markings, 98378159 edges, 38740 markings/sec, 715 secs
lola: 38969879 markings, 98949914 edges, 38992 markings/sec, 720 secs
lola: 39161734 markings, 99523637 edges, 38371 markings/sec, 725 secs
lola: 39354203 markings, 100105015 edges, 38494 markings/sec, 730 secs
lola: 39559834 markings, 100680162 edges, 41126 markings/sec, 735 secs
lola: 39755146 markings, 101264330 edges, 39062 markings/sec, 740 secs
lola: 39954031 markings, 101846831 edges, 39777 markings/sec, 745 secs
lola: 40144015 markings, 102439650 edges, 37997 markings/sec, 750 secs
lola: 40356468 markings, 103026136 edges, 42491 markings/sec, 755 secs
lola: 40556438 markings, 103622637 edges, 39994 markings/sec, 760 secs
lola: 40755218 markings, 104219929 edges, 39756 markings/sec, 765 secs
lola: 40846682 markings, 104873698 edges, 18293 markings/sec, 770 secs
lola: 40935229 markings, 105491511 edges, 17709 markings/sec, 775 secs
lola: 41017420 markings, 106077955 edges, 16438 markings/sec, 780 secs
lola: 41096589 markings, 106640619 edges, 15834 markings/sec, 785 secs
lola: 41173033 markings, 107177805 edges, 15289 markings/sec, 790 secs
lola: 41246755 markings, 107692362 edges, 14744 markings/sec, 795 secs
lola: 41316712 markings, 108194942 edges, 13991 markings/sec, 800 secs
lola: 41367138 markings, 108945425 edges, 10085 markings/sec, 805 secs
lola: 41551348 markings, 109553805 edges, 36842 markings/sec, 810 secs
lola: 41760147 markings, 110189188 edges, 41760 markings/sec, 815 secs
lola: 41968103 markings, 110818747 edges, 41591 markings/sec, 820 secs
lola: 42182810 markings, 111461221 edges, 42941 markings/sec, 825 secs
lola: 42405296 markings, 112094303 edges, 44497 markings/sec, 830 secs
lola: 42628987 markings, 112730045 edges, 44738 markings/sec, 835 secs
lola: 42852643 markings, 113366298 edges, 44731 markings/sec, 840 secs
lola: 43076813 markings, 114003700 edges, 44834 markings/sec, 845 secs
lola: 43305832 markings, 114605751 edges, 45804 markings/sec, 850 secs
lola: 43492413 markings, 115152393 edges, 37316 markings/sec, 855 secs
lola: 43676142 markings, 115692793 edges, 36746 markings/sec, 860 secs
lola: 43860632 markings, 116235232 edges, 36898 markings/sec, 865 secs
lola: 44046067 markings, 116778798 edges, 37087 markings/sec, 870 secs
lola: 44230948 markings, 117321889 edges, 36976 markings/sec, 875 secs
lola: 44415510 markings, 117863878 edges, 36912 markings/sec, 880 secs
lola: 44600643 markings, 118407580 edges, 37027 markings/sec, 885 secs
lola: 44786359 markings, 118952001 edges, 37143 markings/sec, 890 secs
lola: 44972270 markings, 119497058 edges, 37182 markings/sec, 895 secs
lola: 45159354 markings, 120044240 edges, 37417 markings/sec, 900 secs
lola: 45345626 markings, 120590191 edges, 37254 markings/sec, 905 secs
lola: 45532763 markings, 121137483 edges, 37427 markings/sec, 910 secs
lola: 45719628 markings, 121684583 edges, 37373 markings/sec, 915 secs
lola: 45906715 markings, 122232366 edges, 37417 markings/sec, 920 secs
lola: 46094211 markings, 122780595 edges, 37499 markings/sec, 925 secs
lola: 46282788 markings, 123330544 edges, 37715 markings/sec, 930 secs
lola: 46470610 markings, 123879665 edges, 37564 markings/sec, 935 secs
lola: 46657438 markings, 124431177 edges, 37366 markings/sec, 940 secs
lola: 46843246 markings, 124984389 edges, 37162 markings/sec, 945 secs
lola: 47028934 markings, 125537851 edges, 37138 markings/sec, 950 secs
lola: 47214593 markings, 126090500 edges, 37132 markings/sec, 955 secs
lola: 47399805 markings, 126646525 edges, 37042 markings/sec, 960 secs
lola: 47585043 markings, 127203000 edges, 37048 markings/sec, 965 secs
lola: 47770163 markings, 127757892 edges, 37024 markings/sec, 970 secs
lola: 47955459 markings, 128317204 edges, 37059 markings/sec, 975 secs
lola: 48140609 markings, 128873399 edges, 37030 markings/sec, 980 secs
lola: 48325822 markings, 129430472 edges, 37043 markings/sec, 985 secs
lola: 48511405 markings, 129987992 edges, 37117 markings/sec, 990 secs
lola: 48696407 markings, 130538740 edges, 37000 markings/sec, 995 secs
lola: 48881456 markings, 131089985 edges, 37010 markings/sec, 1000 secs
lola: 49066697 markings, 131643337 edges, 37048 markings/sec, 1005 secs
lola: 49252032 markings, 132197953 edges, 37067 markings/sec, 1010 secs
lola: 49441345 markings, 132755542 edges, 37863 markings/sec, 1015 secs
lola: 49633941 markings, 133314348 edges, 38519 markings/sec, 1020 secs
lola: 49827703 markings, 133875310 edges, 38752 markings/sec, 1025 secs
lola: 50020003 markings, 134433405 edges, 38460 markings/sec, 1030 secs
lola: 50212413 markings, 134991722 edges, 38482 markings/sec, 1035 secs
lola: 50403378 markings, 135547067 edges, 38193 markings/sec, 1040 secs
lola: 50597225 markings, 136108337 edges, 38769 markings/sec, 1045 secs
lola: 50788930 markings, 136665586 edges, 38341 markings/sec, 1050 secs
lola: 50980787 markings, 137222457 edges, 38371 markings/sec, 1055 secs
lola: 51175096 markings, 137784887 edges, 38862 markings/sec, 1060 secs
lola: 51369279 markings, 138346994 edges, 38837 markings/sec, 1065 secs
lola: 51561878 markings, 138905636 edges, 38520 markings/sec, 1070 secs
lola: 51754676 markings, 139464427 edges, 38560 markings/sec, 1075 secs
lola: 51948611 markings, 140025958 edges, 38787 markings/sec, 1080 secs
lola: 52142735 markings, 140587739 edges, 38825 markings/sec, 1085 secs
lola: 52338339 markings, 141152669 edges, 39121 markings/sec, 1090 secs
lola: 52533199 markings, 141715854 edges, 38972 markings/sec, 1095 secs
lola: 52728649 markings, 142280371 edges, 39090 markings/sec, 1100 secs
lola: 52920854 markings, 142842931 edges, 38441 markings/sec, 1105 secs
lola: 53108191 markings, 143408596 edges, 37467 markings/sec, 1110 secs
lola: 53295162 markings, 143980495 edges, 37394 markings/sec, 1115 secs
lola: 53481339 markings, 144552543 edges, 37235 markings/sec, 1120 secs
lola: 53667389 markings, 145122374 edges, 37210 markings/sec, 1125 secs
lola: 53853943 markings, 145694663 edges, 37311 markings/sec, 1130 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no no yes no yes no yes unknown no no yes no no no no
lola: caught signal User defined signal 1 - aborting LoLAlola:

preliminary result: yes no no yes no yes no yes unknown no no yes no no no no lola:

preliminary result: yes no no yes no yes no yes unknown no no yes no no no no
lola: memory consumption: 8101036 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

BK_STOP 1589265490535

--------------------
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="AirplaneLD-PT-0100"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is AirplaneLD-PT-0100, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r015-smll-158897552700068"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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