fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r170-oct2-155297750700437
Last Updated
Apr 15, 2019

About the Execution of LoLA for TriangularGrid-PT-5046

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
5967.120 3594238.00 3741087.00 339.90 T?FTTFTTFTFTF?FT normal

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r170-oct2-155297750700437.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is TriangularGrid-PT-5046, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-oct2-155297750700437
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 364K
-rw-r--r-- 1 mcc users 3.7K Feb 12 21:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 12 21:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 9 05:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 9 05:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:06 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:06 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 01:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 01:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Feb 4 22:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 4 22:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 4 22:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 1 23:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 1 23:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:31 UpperBounds.xml

-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rwxr-xr-x 1 mcc users 185K Mar 10 17:31 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 TriangularGrid-PT-5046-CTLFireability-00
FORMULA_NAME TriangularGrid-PT-5046-CTLFireability-01
FORMULA_NAME TriangularGrid-PT-5046-CTLFireability-02
FORMULA_NAME TriangularGrid-PT-5046-CTLFireability-03
FORMULA_NAME TriangularGrid-PT-5046-CTLFireability-04
FORMULA_NAME TriangularGrid-PT-5046-CTLFireability-05
FORMULA_NAME TriangularGrid-PT-5046-CTLFireability-06
FORMULA_NAME TriangularGrid-PT-5046-CTLFireability-07
FORMULA_NAME TriangularGrid-PT-5046-CTLFireability-08
FORMULA_NAME TriangularGrid-PT-5046-CTLFireability-09
FORMULA_NAME TriangularGrid-PT-5046-CTLFireability-10
FORMULA_NAME TriangularGrid-PT-5046-CTLFireability-11
FORMULA_NAME TriangularGrid-PT-5046-CTLFireability-12
FORMULA_NAME TriangularGrid-PT-5046-CTLFireability-13
FORMULA_NAME TriangularGrid-PT-5046-CTLFireability-14
FORMULA_NAME TriangularGrid-PT-5046-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1554421310476

info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ TriangularGrid-PT-5046 @ 3570 seconds

FORMULA TriangularGrid-PT-5046-CTLFireability-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA TriangularGrid-PT-5046-CTLFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA TriangularGrid-PT-5046-CTLFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA TriangularGrid-PT-5046-CTLFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA TriangularGrid-PT-5046-CTLFireability-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA TriangularGrid-PT-5046-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA TriangularGrid-PT-5046-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA TriangularGrid-PT-5046-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA TriangularGrid-PT-5046-CTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA TriangularGrid-PT-5046-CTLFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA TriangularGrid-PT-5046-CTLFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA TriangularGrid-PT-5046-CTLFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA TriangularGrid-PT-5046-CTLFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA TriangularGrid-PT-5046-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -24
rslt: Output for CTLFireability @ TriangularGrid-PT-5046

{
"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=CTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Apr 4 23:41:50 2019
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 3,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "E(EG(NOT FIREABLE(to3_5_2)) R EX(NOT FIREABLE(to3_5_6)))",
"processed_size": 56,
"rewrites": 43
},
"net":
{
"conflict_clusters": 115,
"singleton_clusters": 0
},
"result":
{
"edges": 3253,
"markings": 3244,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 2,
"F": 1,
"G": 1,
"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": "EG(EF(AX(FIREABLE(ti2_3_3_4))))",
"processed_size": 31,
"rewrites": 43
},
"net":
{
"conflict_clusters": 115,
"singleton_clusters": 0
},
"result":
{
"edges": 9307,
"markings": 4331,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 3,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "EX((EG(NOT FIREABLE(ti3_2_4_4)) AND EF(NOT FIREABLE(to3_4_4))))",
"processed_size": 63,
"rewrites": 43
},
"net":
{
"conflict_clusters": 115,
"singleton_clusters": 0
},
"result":
{
"edges": 3818,
"markings": 3805,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"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": "NOT FIREABLE(ti2_1_4_3)",
"processed_size": 23,
"rewrites": 43
},
"result":
{
"edges": 250,
"markings": 250,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 10
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "eventual_occurrence",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 6,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 6,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 6
},
"processed": "(FIREABLE(t_4_0) OR FIREABLE(ti2_1_5_9) OR FIREABLE(ti1_3_5_8) OR (FIREABLE(ti3_1_4_6) AND FIREABLE(ti1_2_3_2) AND FIREABLE(ti1_2_2_2)))",
"processed_size": 139,
"rewrites": 40
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 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": "FIREABLE(ti3_1_3_3)",
"processed_size": 19,
"rewrites": 40
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 2,
"F": 0,
"G": 2,
"U": 0,
"X": 0,
"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": 3,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "EG(((NOT FIREABLE(ti1_2_5_1) AND NOT FIREABLE(ti1_3_4_5)) OR EG(FIREABLE(ti2_1_4_7))))",
"processed_size": 86,
"rewrites": 42
},
"net":
{
"conflict_clusters": 115,
"singleton_clusters": 0
},
"result":
{
"edges": 2721,
"markings": 2547,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 4,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 2,
"E": 1,
"F": 0,
"G": 1,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A(EX((FIREABLE(to3_3_1) OR FIREABLE(ti3_1_4_6))) U AG(NOT FIREABLE(ti3_2_2_1)))",
"processed_size": 80,
"rewrites": 43
},
"net":
{
"conflict_clusters": 115,
"singleton_clusters": 0
},
"result":
{
"edges": 223,
"markings": 102,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 2,
"F": 0,
"G": 1,
"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": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "EX((EG(NOT FIREABLE(ti1_2_5_5)) AND FIREABLE(t_2_6)))",
"processed_size": 53,
"rewrites": 42
},
"net":
{
"conflict_clusters": 115,
"singleton_clusters": 0
},
"result":
{
"edges": 8874,
"markings": 8828,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 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": "FIREABLE(to2_5_7)",
"processed_size": 17,
"rewrites": 40
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 7,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "(NOT FIREABLE(ti3_1_5_8) OR NOT FIREABLE(ti2_1_1_1))",
"processed_size": 53,
"rewrites": 44
},
"result":
{
"edges": 2132,
"markings": 2132,
"produced_by": "state space /EGEF",
"value": false
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving",
"visible": 8
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 4,
"problems": 4
},
"type": "eventual_invariance",
"workflow": "stateequation"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "EX((FIREABLE(ti2_1_5_6) OR FIREABLE(ti2_3_3_3)))",
"processed_size": 49,
"rewrites": 41
},
"net":
{
"conflict_clusters": 115,
"singleton_clusters": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 594
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "AX((FIREABLE(t_2_0) OR FIREABLE(t_6_1)))",
"processed_size": 41,
"rewrites": 41
},
"net":
{
"conflict_clusters": 115,
"singleton_clusters": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"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": "E (F (FIREABLE(ti1_2_2_2)))",
"processed_size": 27,
"rewrites": 41
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"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": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "(FIREABLE(ti3_1_4_1) OR NOT FIREABLE(ti1_3_5_9))",
"processed_size": 49,
"rewrites": 40
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 9,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"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": "E (G (FIREABLE(to1_5_1)))",
"processed_size": 25,
"rewrites": 41
},
"result":
{
"edges": 239,
"markings": 239,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "possible_preservation",
"workflow": "stateequation"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 594
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "E (G ((FIREABLE(to3_5_5) OR FIREABLE(ti1_2_4_1) OR NOT FIREABLE(to3_5_7))))",
"processed_size": 77,
"rewrites": 41
},
"result":
{
"edges": 215,
"markings": 215,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 18
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 16,
"problems": 4
},
"type": "possible_preservation",
"workflow": "stateequation"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 713
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 0,
"G": 1,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 2,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "AG(E((FIREABLE(ti3_2_3_5) OR FIREABLE(ti3_2_5_4)) U (FIREABLE(to3_4_3) OR FIREABLE(ti2_1_5_4))))",
"processed_size": 98,
"rewrites": 42
},
"net":
{
"conflict_clusters": 115,
"singleton_clusters": 0
},
"result":
{
"edges": 470,
"markings": 267,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 891
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 2,
"E": 1,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 6,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 8,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 8
},
"processed": "AF(((AF(FIREABLE(ti3_1_3_3)) OR (FIREABLE(ti2_3_5_3) OR FIREABLE(ti3_2_5_7) OR (FIREABLE(ti1_2_2_3) AND FIREABLE(ti2_3_5_8)))) AND ((NOT FIREABLE(ti2_3_4_4) AND NOT FIREABLE(to1_3_3)) AND EG(FIREABLE(to1_5_4)))))",
"processed_size": 214,
"rewrites": 43
},
"net":
{
"conflict_clusters": 115,
"singleton_clusters": 0
},
"result":
{
"edges": 62380,
"markings": 58112,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1176
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 3,
"adisj": 1,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 7,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 7,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 7
},
"processed": "(NOT FIREABLE(to2_3_1) AND (NOT FIREABLE(to2_4_3) OR NOT FIREABLE(to1_4_4)) AND (NOT FIREABLE(to2_4_2) OR NOT FIREABLE(ti3_2_5_3)) AND (NOT FIREABLE(ti1_2_4_2) OR NOT FIREABLE(ti1_3_2_3)))",
"processed_size": 191,
"rewrites": 40
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2353
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "(NOT FIREABLE(ti1_3_4_5) OR NOT FIREABLE(t_2_0))",
"processed_size": 49,
"rewrites": 40
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 15,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2353
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"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": "NOT FIREABLE(to3_2_2)",
"processed_size": 21,
"rewrites": 44
},
"result":
{
"edges": 2132,
"markings": 2132,
"produced_by": "state space /EGEF",
"value": false
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "eventual_invariance",
"workflow": "stateequation"
}
}
],
"exit":
{
"error": null,
"memory": 16520,
"runtime": 3575.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "CTLFireability.json",
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "E((E(G(*)) R E(X(*)))) : E((** U **)) : A(F(((A(F(**)) OR **) AND (** AND E(G(**)))))) : E(G(*)) : E(G(E(F(A(X(**)))))) : A(G(E((** U **)))) : E(X((E(G(*)) AND E(F(*))))) : E(G(**)) : (E(X((** AND E(X(**))))) AND A(F(**))) : (E(G((** OR E(G(**))))) OR ((** OR E(X(*))) AND **)) : A((E(X(**)) U A(G(**)))) : E(X((E(G(**)) AND **))) : A(F(A(G(**)))) : ((A(F(*)) OR *) AND *) : ((A(X(**)) AND (E(X(**)) AND **)) OR A(F(A(G(**))))) : ((A(G(**)) OR **) AND ((E(F(**)) OR E(X(**))) AND E(G(**))))"
},
"net":
{
"arcs": 960,
"conflict_clusters": 115,
"places": 280,
"places_significant": 164,
"singleton_clusters": 0,
"transitions": 240
},
"result":
{
"interim_value": "yes unknown no yes yes no yes yes no yes no yes no unknown no yes ",
"preliminary_value": "yes unknown no yes yes no yes yes no yes no yes no unknown no yes "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 520/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 8960
lola: finding significant places
lola: 280 places, 240 transitions, 164 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLFireability.xml
lola: NOT(A ((A (F (FIREABLE(to3_5_2))) U A (X (FIREABLE(to3_5_6)))))) : NOT(NOT(E ((NOT FIREABLE(ti2_1_3_5) U (FIREABLE(ti3_2_5_2) AND FIREABLE(ti1_3_5_7)))))) : A (F (((A (F (FIREABLE(ti3_1_3_3))) OR (FIREABLE(ti2_3_5_3) OR FIREABLE(ti3_2_5_7) OR (FIREABLE(ti1_2_2_3) AND FIREABLE(ti2_3_5_8)))) AND ((NOT FIREABLE(ti2_3_4_4) AND NOT FIREABLE(to1_3_3)) AND E (G (FIREABLE(to1_5_4))))))) : NOT(A (F ((NOT FIREABLE(to3_5_5) AND NOT FIREABLE(ti1_2_4_1) AND FIREABLE(to3_5_7))))) : E (G (E (F (A (X (FIREABLE(ti2_3_3_4))))))) : A (G (E (((FIREABLE(ti3_2_3_5) OR FIREABLE(ti3_2_5_4)) U (FIREABLE(to3_4_3) OR FIREABLE(ti2_1_5_4)))))) : NOT(A (X ((A (F (FIREABLE(ti3_2_4_4))) OR A (G (FIREABLE(to3_4_4))))))) : E (G (FIREABLE(to1_5_1))) : (E (X (((FIREABLE(ti1_3_5_2) OR FIREABLE(ti3_1_5_2)) AND E (X (FIREABLE(to3_5_1)))))) AND A (F (FIREABLE(ti2_1_4_3)))) : (E (G (((NOT FIREABLE(ti1_2_5_1) AND NOT FIREABLE(ti1_3_4_5)) OR E (G (FIREABLE(ti2_1_4_7)))))) OR (((FIREABLE(t_4_0) OR FIREABLE(ti2_1_5_9) OR FIREABLE(ti1_3_5_8) OR (FIREABLE(ti3_1_4_6) AND FIREABLE(ti1_2_3_2) AND FIREABLE(ti1_2_2_2))) OR NOT(A (X (FIREABLE(ti1_3_3_2))))) AND FIREABLE(ti3_1_3_3))) : A ((E (X ((FIREABLE(to3_3_1) OR FIREABLE(ti3_1_4_6)))) U A (G (NOT FIREABLE(ti3_2_2_1))))) : E (X ((E (G (NOT FIREABLE(ti1_2_5_5))) AND FIREABLE(t_2_6)))) : A (F (A (G (FIREABLE(to3_2_2))))) : NOT(((E (G (NOT FIREABLE(ti3_2_3_1))) AND (FIREABLE(to2_3_1) OR (FIREABLE(to2_4_3) AND FIREABLE(to1_4_4)) OR (FIREABLE(to2_4_2) AND FIREABLE(ti3_2_5_3)) OR (FIREABLE(ti1_2_4_2) AND FIREABLE(ti1_3_2_3)))) OR (FIREABLE(ti1_3_4_5) AND FIREABLE(t_2_0)))) : (((A (X ((FIREABLE(t_2_0) OR FIREABLE(t_6_1)))) AND E (X ((FIREABLE(ti2_1_5_6) OR FIREABLE(ti2_3_3_3))))) AND FIREABLE(to2_5_7)) OR A (F (A (G ((FIREABLE(ti3_1_5_8) AND FIREABLE(ti2_1_1_1))))))) : (((A (G (NOT FIREABLE(to1_5_9))) OR (FIREABLE(ti3_1_4_1) OR NOT FIREABLE(ti1_3_5_9))) AND (E (F (FIREABLE(ti1_2_2_2))) OR E (X (NOT FIREABLE(ti2_3_4_5))))) AND E (G (NOT FIREABLE(ti2_1_4_2))))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (G (NOT FIREABLE(to3_5_2))) R E (X (NOT FIREABLE(to3_5_6)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: processed formula: E(EG(NOT FIREABLE(to3_5_2)) R EX(NOT FIREABLE(to3_5_6)))
lola: processed formula length: 56
lola: 43 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 3244 markings, 3253 edges
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: lola: ...considering subproblem: E (G (E (F (A (X (FIREABLE(ti2_3_3_4)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
========================================
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(EF(AX(FIREABLE(ti2_3_3_4))))
lola: processed formula length: 31
lola: 43 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 4331 markings, 9307 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((E (G (NOT FIREABLE(ti3_2_4_4))) AND E (F (NOT FIREABLE(to3_4_4))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX((EG(NOT FIREABLE(ti3_2_4_4)) AND EF(NOT FIREABLE(to3_4_4))))
lola: processed formula length: 63
lola: 43 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 3805 markings, 3818 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (((FIREABLE(ti1_3_5_2) OR FIREABLE(ti3_1_5_2)) AND E (X (FIREABLE(to3_5_1)))))) AND A (F (FIREABLE(ti2_1_4_3))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(ti2_1_4_3)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(ti2_1_4_3)
lola: processed formula length: 23
lola: 43 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(ti2_1_4_3)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 250 markings, 250 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (((NOT FIREABLE(ti1_2_5_1) AND NOT FIREABLE(ti1_3_4_5)) OR E (G (FIREABLE(ti2_1_4_7)))))) OR (((FIREABLE(t_4_0) OR FIREABLE(ti2_1_5_9) OR FIREABLE(ti1_3_5_8) OR (FIREABLE(ti3_1_4_6) AND FIREABLE(ti1_2_3_2) AND FIREABLE(ti1_2_2_2))) OR E (X (NOT FIREABLE(ti1_3_3_2)))) AND FIREABLE(ti3_1_3_3)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t_4_0) OR FIREABLE(ti2_1_5_9) OR FIREABLE(ti1_3_5_8) OR (FIREABLE(ti3_1_4_6) AND FIREABLE(ti1_2_3_2) AND FIREABLE(ti1_2_2_2)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t_4_0) OR FIREABLE(ti2_1_5_9) OR FIREABLE(ti1_3_5_8) OR (FIREABLE(ti3_1_4_6) AND FIREABLE(ti1_2_3_2) AND FIREABLE(ti1_2_2_2)))
lola: processed formula length: 139
lola: 40 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(ti3_1_3_3)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(ti3_1_3_3)
lola: processed formula length: 19
lola: 40 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((NOT FIREABLE(ti1_2_5_1) AND NOT FIREABLE(ti1_3_4_5)) OR E (G (FIREABLE(ti2_1_4_7))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(((NOT FIREABLE(ti1_2_5_1) AND NOT FIREABLE(ti1_3_4_5)) OR EG(FIREABLE(ti2_1_4_7))))
lola: processed formula length: 86
lola: 42 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 2547 markings, 2721 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((E (X ((FIREABLE(to3_3_1) OR FIREABLE(ti3_1_4_6)))) U A (G (NOT FIREABLE(ti3_2_2_1)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: processed formula: A(EX((FIREABLE(to3_3_1) OR FIREABLE(ti3_1_4_6))) U AG(NOT FIREABLE(ti3_2_2_1)))
lola: processed formula length: 80
lola: 43 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 102 markings, 223 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((E (G (NOT FIREABLE(ti1_2_5_5))) AND FIREABLE(t_2_6))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX((EG(NOT FIREABLE(ti1_2_5_5)) AND FIREABLE(t_2_6)))
lola: processed formula length: 53
lola: 42 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 8828 markings, 8874 edges
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (X ((FIREABLE(t_2_0) OR FIREABLE(t_6_1)))) AND (E (X ((FIREABLE(ti2_1_5_6) OR FIREABLE(ti2_3_3_3)))) AND FIREABLE(to2_5_7))) OR A (F (A (G ((FIREABLE(ti3_1_5_8) AND FIREABLE(ti2_1_1_1)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(to2_5_7)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(to2_5_7)
lola: processed formula length: 17
lola: 40 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((FIREABLE(ti3_1_5_8) AND FIREABLE(ti2_1_1_1))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:594
lola: rewrite Frontend/Parser/formula_rewrite.k:629
lola: rewrite Frontend/Parser/formula_rewrite.k:758
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (NOT FIREABLE(ti3_1_5_8) OR NOT FIREABLE(ti2_1_1_1))
lola: processed formula length: 53
lola: 44 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (NOT FIREABLE(ti3_1_5_8) OR NOT FIREABLE(ti2_1_1_1))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 4 literals and 4 conjunctive subformulas
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (FIREABLE(ti3_1_5_8) AND FIREABLE(ti2_1_1_1))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-8-1.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 2132 markings, 2132 edges
lola: ========================================
lola: lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((FIREABLE(ti2_1_5_6) OR FIREABLE(ti2_3_3_3))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX((FIREABLE(ti2_1_5_6) OR FIREABLE(ti2_3_3_3)))
lola: processed formula length: 49
lola: 41 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
state equation: calling and running sara
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((FIREABLE(t_2_0) OR FIREABLE(t_6_1))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX((FIREABLE(t_2_0) OR FIREABLE(t_6_1)))
lola: processed formula length: 41
lola: 41 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
sara: try reading problem file CTLFireability-8-1.sara.
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (G (NOT FIREABLE(to1_5_9))) OR (FIREABLE(ti3_1_4_1) OR NOT FIREABLE(ti1_3_5_9))) AND ((E (F (FIREABLE(ti1_2_2_2))) OR E (X (NOT FIREABLE(ti2_3_4_5)))) AND E (G (NOT FIREABLE(ti2_1_4_2)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(ti1_2_2_2)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (FIREABLE(ti1_2_2_2)))
lola: processed formula length: 27
lola: 41 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(ti1_2_2_2)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 2 markings, 1 edges
sara: place or transition ordering is non-deterministic
lola: state equation: write sara problem file to CTLFireability-8-0.sara

lola: ========================================lola:
state equation: calling and running sara
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(ti3_1_4_1) OR NOT FIREABLE(ti1_3_5_9))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(ti3_1_4_1) OR NOT FIREABLE(ti1_3_5_9))
lola: processed formula length: 49
lola: 40 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(ti2_1_4_2)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G (NOT FIREABLE(ti2_1_4_2)))
lola: processed formula length: 31
lola: 41 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
sara: try reading problem file CTLFireability-8-0.sara.
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
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: The predicate is possibly preserved.
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(ti2_1_4_2)
lola: 201 markings, 201 edges
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(to1_5_1)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G (FIREABLE(to1_5_1)))
lola: processed formula length: 25
lola: 41 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
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: The predicate is possibly preserved.
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(to1_5_1)
lola: 239 markings, 239 edges
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((FIREABLE(to3_5_5) OR FIREABLE(ti1_2_4_1) OR NOT FIREABLE(to3_5_7))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((FIREABLE(to3_5_5) OR FIREABLE(ti1_2_4_1) OR NOT FIREABLE(to3_5_7))))
lola: processed formula length: 77
lola: 41 rewrites
lola: closed formula file CTLFireability.xml
sara: place or transition ordering is non-deterministic
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
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(to3_5_5) AND NOT FIREABLE(ti1_2_4_1) AND FIREABLE(to3_5_7))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 16 literals and 4 conjunctive subformulas

lola: state equation: write sara problem file to CTLFireability-10-0.sara
lola: SUBRESULT
lola: lola: result: yes
========================================lola:
produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 215 markings, 215 edges
lola: ========================================
lola: subprocess 11 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (((FIREABLE(ti3_2_3_5) OR FIREABLE(ti3_2_5_4)) U (FIREABLE(to3_4_3) OR FIREABLE(ti2_1_5_4))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(E((FIREABLE(ti3_2_3_5) OR FIREABLE(ti3_2_5_4)) U (FIREABLE(to3_4_3) OR FIREABLE(ti2_1_5_4))))
lola: processed formula length: 98
lola: 42 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 267 markings, 470 edges
lola: ========================================
lola: subprocess 12 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((A (F (FIREABLE(ti3_1_3_3))) OR (FIREABLE(ti2_3_5_3) OR FIREABLE(ti3_2_5_7) OR (FIREABLE(ti1_2_2_3) AND FIREABLE(ti2_3_5_8)))) AND ((NOT FIREABLE(ti2_3_4_4) AND NOT FIREABLE(to1_3_3)) AND E (G (FIREABLE(to1_5_4)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF(((AF(FIREABLE(ti3_1_3_3)) OR (FIREABLE(ti2_3_5_3) OR FIREABLE(ti3_2_5_7) OR (FIREABLE(ti1_2_2_3) AND FIREABLE(ti2_3_5_8)))) AND ((NOT FIREABLE(ti2_3_4_4) AND NOT FIREABLE(to1_3_3)) AND EG(FIREABLE(to1_5_4)))))
lola: processed formula length: 214
lola: 43 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 58112 markings, 62380 edges
lola: ========================================
lola: subprocess 13 will run for 1188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((NOT FIREABLE(ti2_1_3_5) U (FIREABLE(ti3_2_5_2) AND FIREABLE(ti1_3_5_7))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:618
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:738
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: E ((NOT FIREABLE(ti2_1_3_5) U (FIREABLE(ti3_2_5_2) AND FIREABLE(ti1_3_5_7))))
lola: processed formula length: 77
lola: 43 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (FIREABLE(ti3_2_5_2) AND FIREABLE(ti1_3_5_7))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-13-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: sara is running 0 secs || 534699 markings, 2785350 edges, 106940 markings/sec, 0 secs
lola: sara is running 5 secs || 1018803 markings, 5340814 edges, 96821 markings/sec, 5 secs
lola: sara is running 10 secs || 1369704 markings, 7681115 edges, 70180 markings/sec, 10 secs
lola: sara is running 15 secs || 1662304 markings, 10216918 edges, 58520 markings/sec, 15 secs
lola: sara is running 20 secs || 2159357 markings, 12265197 edges, 99411 markings/sec, 20 secs
lola: sara is running 25 secs || 2248305 markings, 14127648 edges, 17790 markings/sec, 25 secs
lola: sara is running 30 secs || 2573535 markings, 16403742 edges, 65046 markings/sec, 30 secs
lola: sara is running 35 secs || 2997706 markings, 18449437 edges, 84834 markings/sec, 35 secs
lola: sara is running 40 secs || 3101648 markings, 20493340 edges, 20788 markings/sec, 40 secs
lola: sara is running 45 secs || 3466281 markings, 23024541 edges, 72927 markings/sec, 45 secs
lola: sara is running 50 secs || 4010394 markings, 25299909 edges, 108823 markings/sec, 50 secs
lola: sara is running 55 secs || 4519681 markings, 27421147 edges, 101857 markings/sec, 55 secs
lola: sara is running 60 secs || 4979582 markings, 29520709 edges, 91980 markings/sec, 60 secs
lola: sara is running 65 secs || 5406458 markings, 31748559 edges, 85375 markings/sec, 65 secs
lola: sara is running 70 secs || 5703529 markings, 34279680 edges, 59414 markings/sec, 70 secs
lola: sara is running 75 secs || 5725454 markings, 36358211 edges, 4385 markings/sec, 75 secs
lola: sara is running 80 secs || 5728227 markings, 38335094 edges, 555 markings/sec, 80 secs
lola: sara is running 85 secs || 5729508 markings, 40408055 edges, 256 markings/sec, 85 secs
lola: sara is running 90 secs || 6166515 markings, 43272863 edges, 87401 markings/sec, 90 secs
lola: sara is running 95 secs || 6667064 markings, 45890761 edges, 100110 markings/sec, 95 secs
lola: sara is running 100 secs || 6915798 markings, 48561558 edges, 49747 markings/sec, 100 secs
lola: sara is running 105 secs || 7493342 markings, 51199419 edges, 115509 markings/sec, 105 secs
lola: sara is running 110 secs || 8037864 markings, 53445530 edges, 108904 markings/sec, 110 secs
lola: sara is running 115 secs || 8516910 markings, 55609103 edges, 95809 markings/sec, 115 secs
lola: sara is running 120 secs || 8960864 markings, 57910840 edges, 88791 markings/sec, 120 secs
lola: sara is running 125 secs || 9271109 markings, 60487536 edges, 62049 markings/sec, 125 secs
lola: sara is running 130 secs || 9292993 markings, 62568174 edges, 4377 markings/sec, 130 secs
lola: sara is running 135 secs || 9295819 markings, 64500993 edges, 565 markings/sec, 135 secs
lola: sara is running 140 secs || 9297133 markings, 66586923 edges, 263 markings/sec, 140 secs
lola: sara is running 145 secs || 9626209 markings, 69336196 edges, 65815 markings/sec, 145 secs
lola: sara is running 150 secs || 10114144 markings, 71732464 edges, 97587 markings/sec, 150 secs
lola: sara is running 155 secs || 10214090 markings, 74142678 edges, 19989 markings/sec, 155 secs
lola: sara is running 160 secs || 10622448 markings, 76924020 edges, 81672 markings/sec, 160 secs
lola: sara is running 165 secs || 11103825 markings, 79174388 edges, 96275 markings/sec, 165 secs
lola: sara is running 170 secs || 11525266 markings, 81231343 edges, 84288 markings/sec, 170 secs
lola: sara is running 175 secs || 11915595 markings, 83257522 edges, 78066 markings/sec, 175 secs
lola: sara is running 180 secs || 12280051 markings, 85341464 edges, 72891 markings/sec, 180 secs
lola: sara is running 185 secs || 12626864 markings, 87599020 edges, 69363 markings/sec, 185 secs
lola: sara is running 190 secs || 12796098 markings, 89991822 edges, 33847 markings/sec, 190 secs
lola: sara is running 195 secs || 12802592 markings, 91877810 edges, 1299 markings/sec, 195 secs
lola: sara is running 200 secs || 12804888 markings, 93739610 edges, 459 markings/sec, 200 secs
lola: sara is running 205 secs || 12806065 markings, 95679585 edges, 235 markings/sec, 205 secs
lola: sara is running 210 secs || 13062302 markings, 98321921 edges, 51247 markings/sec, 210 secs
lola: sara is running 215 secs || 13477627 markings, 101149205 edges, 83065 markings/sec, 215 secs
lola: sara is running 220 secs || 13877586 markings, 103877261 edges, 79992 markings/sec, 220 secs
lola: sara is running 225 secs || 14302220 markings, 106553932 edges, 84927 markings/sec, 225 secs
lola: sara is running 230 secs || 14763084 markings, 109018450 edges, 92173 markings/sec, 230 secs
lola: sara is running 235 secs || 15283341 markings, 111160759 edges, 104051 markings/sec, 235 secs
lola: sara is running 240 secs || 15770058 markings, 113221484 edges, 97343 markings/sec, 240 secs
lola: sara is running 245 secs || 16231534 markings, 115226055 edges, 92295 markings/sec, 245 secs
lola: sara is running 250 secs || 16676238 markings, 117194929 edges, 88941 markings/sec, 250 secs
lola: sara is running 255 secs || 17107157 markings, 119143351 edges, 86184 markings/sec, 255 secs
lola: sara is running 260 secs || 17525749 markings, 121072810 edges, 83718 markings/sec, 260 secs
lola: sara is running 265 secs || 17935972 markings, 122995735 edges, 82045 markings/sec, 265 secs
lola: sara is running 270 secs || 18339244 markings, 124916788 edges, 80654 markings/sec, 270 secs
lola: sara is running 275 secs || 18736684 markings, 126853840 edges, 79488 markings/sec, 275 secs
lola: sara is running 280 secs || 19125308 markings, 128810696 edges, 77725 markings/sec, 280 secs
lola: sara is running 285 secs || 19505779 markings, 130790439 edges, 76094 markings/sec, 285 secs
lola: sara is running 290 secs || 19877938 markings, 132795910 edges, 74432 markings/sec, 290 secs
lola: sara is running 295 secs || 20245419 markings, 134821318 edges, 73496 markings/sec, 295 secs
lola: sara is running 300 secs || 20617625 markings, 136916454 edges, 74441 markings/sec, 300 secs
lola: sara is running 305 secs || 20974134 markings, 139062318 edges, 71302 markings/sec, 305 secs
lola: sara is running 310 secs || 21326740 markings, 141365613 edges, 70521 markings/sec, 310 secs
lola: sara is running 315 secs || 21634437 markings, 144012273 edges, 61539 markings/sec, 315 secs
lola: sara is running 320 secs || 21823748 markings, 146394526 edges, 37862 markings/sec, 320 secs
lola: sara is running 325 secs || 21882752 markings, 148478066 edges, 11801 markings/sec, 325 secs
lola: sara is running 330 secs || 21886466 markings, 150365872 edges, 743 markings/sec, 330 secs
lola: sara is running 335 secs || 21890836 markings, 152208933 edges, 874 markings/sec, 335 secs
lola: sara is running 340 secs || 21894918 markings, 154035044 edges, 816 markings/sec, 340 secs
lola: sara is running 345 secs || 21898472 markings, 155840735 edges, 711 markings/sec, 345 secs
lola: sara is running 350 secs || 21901266 markings, 157641021 edges, 559 markings/sec, 350 secs
lola: sara is running 355 secs || 21903223 markings, 159438696 edges, 391 markings/sec, 355 secs
lola: sara is running 360 secs || 21904363 markings, 161242672 edges, 228 markings/sec, 360 secs
lola: sara is running 365 secs || 21905346 markings, 163057326 edges, 197 markings/sec, 365 secs
lola: sara is running 370 secs || 21906169 markings, 164884765 edges, 165 markings/sec, 370 secs
lola: sara is running 375 secs || 21906878 markings, 166731735 edges, 142 markings/sec, 375 secs
lola: sara is running 380 secs || 21907594 markings, 168605925 edges, 143 markings/sec, 380 secs
lola: sara is running 385 secs || 21908157 markings, 170539599 edges, 113 markings/sec, 385 secs
lola: sara is running 390 secs || 21908751 markings, 172614025 edges, 119 markings/sec, 390 secs
lola: sara is running 395 secs || 22389542 markings, 175513157 edges, 96158 markings/sec, 395 secs
lola: sara is running 400 secs || 22864682 markings, 178120979 edges, 95028 markings/sec, 400 secs
lola: sara is running 405 secs || 23142457 markings, 180876802 edges, 55555 markings/sec, 405 secs
lola: sara is running 410 secs || 23725947 markings, 183491465 edges, 116698 markings/sec, 410 secs
lola: sara is running 415 secs || 24276148 markings, 185772823 edges, 110040 markings/sec, 415 secs
lola: sara is running 420 secs || 24768007 markings, 188024278 edges, 98372 markings/sec, 420 secs
lola: sara is running 425 secs || 25216926 markings, 190398651 edges, 89784 markings/sec, 425 secs
lola: sara is running 430 secs || 25483400 markings, 192977519 edges, 53295 markings/sec, 430 secs
lola: sara is running 435 secs || 25490917 markings, 195059317 edges, 1503 markings/sec, 435 secs
lola: sara is running 440 secs || 25493317 markings, 197113902 edges, 480 markings/sec, 440 secs
lola: sara is running 445 secs || 25494514 markings, 199337374 edges, 239 markings/sec, 445 secs
lola: sara is running 450 secs || 25960165 markings, 202339806 edges, 93130 markings/sec, 450 secs
lola: sara is running 455 secs || 26366023 markings, 205168932 edges, 81172 markings/sec, 455 secs
lola: sara is running 460 secs || 26757801 markings, 207929027 edges, 78356 markings/sec, 460 secs
lola: sara is running 465 secs || 27175399 markings, 210631473 edges, 83520 markings/sec, 465 secs
lola: sara is running 470 secs || 27737551 markings, 212967883 edges, 112430 markings/sec, 470 secs
lola: sara is running 475 secs || 28261399 markings, 215143415 edges, 104770 markings/sec, 475 secs
lola: sara is running 480 secs || 28751573 markings, 217251762 edges, 98035 markings/sec, 480 secs
lola: sara is running 485 secs || 29222164 markings, 219319686 edges, 94118 markings/sec, 485 secs
lola: sara is running 490 secs || 29677525 markings, 221359507 edges, 91072 markings/sec, 490 secs
lola: sara is running 495 secs || 30119241 markings, 223380570 edges, 88343 markings/sec, 495 secs
lola: sara is running 500 secs || 30550459 markings, 225387488 edges, 86244 markings/sec, 500 secs
lola: sara is running 505 secs || 30971674 markings, 227388730 edges, 84243 markings/sec, 505 secs
lola: sara is running 510 secs || 31385736 markings, 229393983 edges, 82812 markings/sec, 510 secs
lola: sara is running 515 secs || 31791568 markings, 231411817 edges, 81166 markings/sec, 515 secs
lola: sara is running 520 secs || 32187739 markings, 233461416 edges, 79234 markings/sec, 520 secs
lola: sara is running 525 secs || 32575938 markings, 235542389 edges, 77640 markings/sec, 525 secs
lola: sara is running 530 secs || 32959001 markings, 237644512 edges, 76613 markings/sec, 530 secs
lola: sara is running 535 secs || 33338998 markings, 239809981 edges, 75999 markings/sec, 535 secs
lola: sara is running 540 secs || 33708163 markings, 242013924 edges, 73833 markings/sec, 540 secs
lola: sara is running 545 secs || 34065741 markings, 244367302 edges, 71516 markings/sec, 545 secs
lola: sara is running 550 secs || 34350174 markings, 247000454 edges, 56887 markings/sec, 550 secs
lola: sara is running 555 secs || 34562021 markings, 249427021 edges, 42369 markings/sec, 555 secs
lola: sara is running 560 secs || 34567440 markings, 251387342 edges, 1084 markings/sec, 560 secs
lola: sara is running 565 secs || 34571732 markings, 253279981 edges, 858 markings/sec, 565 secs
lola: sara is running 570 secs || 34609942 markings, 255223089 edges, 7642 markings/sec, 570 secs
lola: sara is running 575 secs || 34614151 markings, 257051645 edges, 842 markings/sec, 575 secs
lola: sara is running 580 secs || 34617628 markings, 258857013 edges, 695 markings/sec, 580 secs
lola: sara is running 585 secs || 34620171 markings, 260642603 edges, 509 markings/sec, 585 secs
lola: sara is running 590 secs || 34621905 markings, 262466221 edges, 347 markings/sec, 590 secs
lola: sara is running 595 secs || 34623158 markings, 264216761 edges, 251 markings/sec, 595 secs
lola: sara is running 600 secs || 34624162 markings, 265945273 edges, 201 markings/sec, 600 secs
lola: sara is running 605 secs || 34624990 markings, 267811239 edges, 166 markings/sec, 605 secs
lola: sara is running 610 secs || 34625740 markings, 269696523 edges, 150 markings/sec, 610 secs
lola: sara is running 615 secs || 34626422 markings, 271617035 edges, 136 markings/sec, 615 secs
lola: sara is running 620 secs || 34627051 markings, 273602250 edges, 126 markings/sec, 620 secs
lola: sara is running 625 secs || 34627970 markings, 275770080 edges, 184 markings/sec, 625 secs
lola: sara is running 630 secs || 35087596 markings, 278621012 edges, 91925 markings/sec, 630 secs
lola: sara is running 635 secs || 35520973 markings, 281146814 edges, 86675 markings/sec, 635 secs
lola: sara is running 640 secs || 35671410 markings, 283703160 edges, 30087 markings/sec, 640 secs
lola: sara is running 645 secs || 36105337 markings, 286370996 edges, 86785 markings/sec, 645 secs
lola: sara is running 650 secs || 36580481 markings, 288587798 edges, 95029 markings/sec, 650 secs
lola: sara is running 655 secs || 37005444 markings, 290699716 edges, 84993 markings/sec, 655 secs
lola: sara is running 660 secs || 37398775 markings, 292803068 edges, 78666 markings/sec, 660 secs
lola: sara is running 665 secs || 37766823 markings, 295000636 edges, 73610 markings/sec, 665 secs
lola: sara is running 670 secs || 38092628 markings, 297477445 edges, 65161 markings/sec, 670 secs
lola: sara is running 675 secs || 38145727 markings, 299639436 edges, 10620 markings/sec, 675 secs
lola: sara is running 680 secs || 38150373 markings, 301603444 edges, 929 markings/sec, 680 secs
lola: sara is running 685 secs || 38151921 markings, 303589030 edges, 310 markings/sec, 685 secs
lola: sara is running 690 secs || 38214715 markings, 305897719 edges, 12559 markings/sec, 690 secs
lola: sara is running 695 secs || 38602343 markings, 308768931 edges, 77526 markings/sec, 695 secs
lola: sara is running 700 secs || 38939646 markings, 311492666 edges, 67461 markings/sec, 700 secs
lola: sara is running 705 secs || 39279628 markings, 314148276 edges, 67996 markings/sec, 705 secs
lola: sara is running 710 secs || 39618246 markings, 316764477 edges, 67724 markings/sec, 710 secs
lola: sara is running 715 secs || 40017326 markings, 319248561 edges, 79816 markings/sec, 715 secs
lola: sara is running 720 secs || 40469198 markings, 321403822 edges, 90374 markings/sec, 720 secs
lola: sara is running 725 secs || 40890833 markings, 323460809 edges, 84327 markings/sec, 725 secs
lola: sara is running 730 secs || 41291873 markings, 325464852 edges, 80208 markings/sec, 730 secs
lola: sara is running 735 secs || 41680168 markings, 327439943 edges, 77659 markings/sec, 735 secs
lola: sara is running 740 secs || 42056938 markings, 329387878 edges, 75354 markings/sec, 740 secs
lola: sara is running 745 secs || 42427650 markings, 331325221 edges, 74142 markings/sec, 745 secs
lola: sara is running 750 secs || 42788349 markings, 333241776 edges, 72140 markings/sec, 750 secs
lola: sara is running 755 secs || 43142050 markings, 335146786 edges, 70740 markings/sec, 755 secs
lola: sara is running 760 secs || 43489196 markings, 337042689 edges, 69429 markings/sec, 760 secs
lola: sara is running 765 secs || 43832518 markings, 338942018 edges, 68664 markings/sec, 765 secs
lola: sara is running 770 secs || 44169110 markings, 340844356 edges, 67318 markings/sec, 770 secs
lola: sara is running 775 secs || 44499786 markings, 342750510 edges, 66135 markings/sec, 775 secs
lola: sara is running 780 secs || 44824530 markings, 344682150 edges, 64949 markings/sec, 780 secs
lola: sara is running 785 secs || 45144644 markings, 346638279 edges, 64023 markings/sec, 785 secs
lola: sara is running 790 secs || 45460698 markings, 348611318 edges, 63211 markings/sec, 790 secs
lola: sara is running 795 secs || 45774111 markings, 350617229 edges, 62683 markings/sec, 795 secs
lola: sara is running 800 secs || 46088217 markings, 352666464 edges, 62821 markings/sec, 800 secs
lola: sara is running 805 secs || 46392122 markings, 354743556 edges, 60781 markings/sec, 805 secs
lola: sara is running 810 secs || 46690476 markings, 356937152 edges, 59671 markings/sec, 810 secs
lola: sara is running 815 secs || 46940555 markings, 359483720 edges, 50016 markings/sec, 815 secs
lola: sara is running 820 secs || 47186935 markings, 361903641 edges, 49276 markings/sec, 820 secs
lola: sara is running 825 secs || 47223381 markings, 363891373 edges, 7289 markings/sec, 825 secs
lola: sara is running 830 secs || 47227589 markings, 365710095 edges, 842 markings/sec, 830 secs
lola: sara is running 835 secs || 47264678 markings, 367579231 edges, 7418 markings/sec, 835 secs
lola: sara is running 840 secs || 47268812 markings, 369325993 edges, 827 markings/sec, 840 secs
lola: sara is running 845 secs || 47272579 markings, 371060745 edges, 753 markings/sec, 845 secs
lola: sara is running 850 secs || 47275741 markings, 372787007 edges, 632 markings/sec, 850 secs
lola: sara is running 855 secs || 47278151 markings, 374508022 edges, 482 markings/sec, 855 secs
lola: sara is running 860 secs || 47279811 markings, 376230674 edges, 332 markings/sec, 860 secs
lola: sara is running 865 secs || 47281040 markings, 377960687 edges, 246 markings/sec, 865 secs
lola: sara is running 870 secs || 47282066 markings, 379711309 edges, 205 markings/sec, 870 secs
lola: sara is running 875 secs || 47282889 markings, 381469996 edges, 165 markings/sec, 875 secs
lola: sara is running 880 secs || 47283582 markings, 383245828 edges, 139 markings/sec, 880 secs
lola: sara is running 885 secs || 47284194 markings, 385045071 edges, 122 markings/sec, 885 secs
lola: sara is running 890 secs || 47284811 markings, 386879065 edges, 123 markings/sec, 890 secs
lola: sara is running 895 secs || 47285394 markings, 388770699 edges, 117 markings/sec, 895 secs
lola: sara is running 900 secs || 47286217 markings, 390823636 edges, 165 markings/sec, 900 secs
lola: sara is running 905 secs || 47676973 markings, 393761649 edges, 78151 markings/sec, 905 secs
lola: sara is running 910 secs || 48080248 markings, 396630057 edges, 80655 markings/sec, 910 secs
lola: sara is running 915 secs || 48445077 markings, 399423076 edges, 72966 markings/sec, 915 secs
lola: sara is running 920 secs || 48804736 markings, 402132507 edges, 71932 markings/sec, 920 secs
lola: sara is running 925 secs || 49164963 markings, 404848237 edges, 72045 markings/sec, 925 secs
lola: sara is running 930 secs || 49524531 markings, 407450092 edges, 71914 markings/sec, 930 secs
lola: sara is running 935 secs || 49825557 markings, 410062475 edges, 60205 markings/sec, 935 secs
lola: sara is running 940 secs || 50165721 markings, 412651356 edges, 68033 markings/sec, 940 secs
lola: sara is running 945 secs || 50499134 markings, 415200470 edges, 66683 markings/sec, 945 secs
lola: sara is running 950 secs || 50883076 markings, 417787309 edges, 76788 markings/sec, 950 secs
lola: sara is running 955 secs || 51227889 markings, 420273913 edges, 68963 markings/sec, 955 secs
lola: sara is running 960 secs || 51485541 markings, 422737474 edges, 51530 markings/sec, 960 secs
lola: sara is running 965 secs || 51795480 markings, 425157087 edges, 61988 markings/sec, 965 secs
lola: sara is running 970 secs || 52182278 markings, 427636139 edges, 77360 markings/sec, 970 secs
lola: sara is running 975 secs || 52525536 markings, 430086433 edges, 68652 markings/sec, 975 secs
lola: sara is running 980 secs || 53004392 markings, 432302315 edges, 95771 markings/sec, 980 secs
lola: sara is running 985 secs || 53465194 markings, 434479503 edges, 92160 markings/sec, 985 secs
lola: sara is running 990 secs || 53937307 markings, 436494316 edges, 94423 markings/sec, 990 secs
lola: sara is running 995 secs || 54390527 markings, 438465649 edges, 90644 markings/sec, 995 secs
lola: sara is running 1000 secs || 54832183 markings, 440412714 edges, 88331 markings/sec, 1000 secs
lola: sara is running 1005 secs || 55263852 markings, 442339181 edges, 86334 markings/sec, 1005 secs
lola: sara is running 1010 secs || 55685117 markings, 444237510 edges, 84253 markings/sec, 1010 secs
lola: sara is running 1015 secs || 56100941 markings, 446130711 edges, 83165 markings/sec, 1015 secs
lola: sara is running 1020 secs || 56508573 markings, 448001677 edges, 81526 markings/sec, 1020 secs
lola: sara is running 1025 secs || 56912176 markings, 449867508 edges, 80721 markings/sec, 1025 secs
lola: sara is running 1030 secs || 57311942 markings, 451722296 edges, 79953 markings/sec, 1030 secs
lola: sara is running 1035 secs || 57703530 markings, 453555931 edges, 78318 markings/sec, 1035 secs
lola: sara is running 1040 secs || 58091701 markings, 455383806 edges, 77634 markings/sec, 1040 secs
lola: sara is running 1045 secs || 58475235 markings, 457198244 edges, 76707 markings/sec, 1045 secs
lola: sara is running 1050 secs || 58855159 markings, 459008051 edges, 75985 markings/sec, 1050 secs
lola: sara is running 1055 secs || 59232771 markings, 460804134 edges, 75522 markings/sec, 1055 secs
lola: sara is running 1060 secs || 59604170 markings, 462592295 edges, 74280 markings/sec, 1060 secs
lola: sara is running 1065 secs || 59975069 markings, 464384778 edges, 74180 markings/sec, 1065 secs
lola: sara is running 1070 secs || 60340800 markings, 466155604 edges, 73146 markings/sec, 1070 secs
lola: sara is running 1075 secs || 60702530 markings, 467919003 edges, 72346 markings/sec, 1075 secs
lola: sara is running 1080 secs || 61063068 markings, 469679133 edges, 72108 markings/sec, 1080 secs
lola: sara is running 1085 secs || 61428200 markings, 471472237 edges, 73026 markings/sec, 1085 secs
lola: sara is running 1090 secs || 61788774 markings, 473251898 edges, 72115 markings/sec, 1090 secs
lola: sara is running 1095 secs || 62144291 markings, 475011277 edges, 71103 markings/sec, 1095 secs
lola: sara is running 1100 secs || 62497689 markings, 476769255 edges, 70680 markings/sec, 1100 secs
lola: sara is running 1105 secs || 62851992 markings, 478540638 edges, 70861 markings/sec, 1105 secs
lola: sara is running 1110 secs || 63203398 markings, 480302139 edges, 70281 markings/sec, 1110 secs
lola: sara is running 1115 secs || 63549013 markings, 482046810 edges, 69123 markings/sec, 1115 secs
lola: sara is running 1120 secs || 63892822 markings, 483785150 edges, 68762 markings/sec, 1120 secs
lola: sara is running 1125 secs || 64238753 markings, 485548481 edges, 69186 markings/sec, 1125 secs
lola: sara is running 1130 secs || 64571632 markings, 487252820 edges, 66576 markings/sec, 1130 secs
lola: sara is running 1135 secs || 64900517 markings, 488941000 edges, 65777 markings/sec, 1135 secs
lola: sara is running 1140 secs || 65231900 markings, 490653937 edges, 66277 markings/sec, 1140 secs
lola: sara is running 1145 secs || 65559562 markings, 492365735 edges, 65532 markings/sec, 1145 secs
lola: sara is running 1150 secs || 65885320 markings, 494076502 edges, 65152 markings/sec, 1150 secs
lola: sara is running 1155 secs || 66209353 markings, 495799717 edges, 64807 markings/sec, 1155 secs
lola: sara is running 1160 secs || 66534265 markings, 497529859 edges, 64982 markings/sec, 1160 secs
lola: sara is running 1165 secs || 66854873 markings, 499254929 edges, 64122 markings/sec, 1165 secs
lola: sara is running 1170 secs || 67174883 markings, 500995819 edges, 64002 markings/sec, 1170 secs
lola: sara is running 1175 secs || 67499919 markings, 502781167 edges, 65007 markings/sec, 1175 secs
lola: sara is running 1180 secs || 67822675 markings, 504569084 edges, 64551 markings/sec, 1180 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown no yes yes no yes yes no yes no yes unknown unknown no yes
lola: memory consumption: 3735428 KB
lola: time consumption: 1193 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: yes unknown no yes yes no yes yes no yes no yes unknown unknown no yes
lola: memory consumption: 3747704 KB
lola: time consumption: 1195 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1176 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (F (FIREABLE(ti3_2_3_1))) OR (NOT FIREABLE(to2_3_1) AND (NOT FIREABLE(to2_4_3) OR NOT FIREABLE(to1_4_4)) AND (NOT FIREABLE(to2_4_2) OR NOT FIREABLE(ti3_2_5_3)) AND (NOT FIREABLE(ti1_2_4_2) OR NOT FIREABLE(ti1_3_2_3)))) AND (NOT FIREABLE(ti1_3_4_5) OR NOT FIREABLE(t_2_0)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1176 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(to2_3_1) AND (NOT FIREABLE(to2_4_3) OR NOT FIREABLE(to1_4_4)) AND (NOT FIREABLE(to2_4_2) OR NOT FIREABLE(ti3_2_5_3)) AND (NOT FIREABLE(ti1_2_4_2) OR NOT FIREABLE(ti1_3_2_3)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(to2_3_1) AND (NOT FIREABLE(to2_4_3) OR NOT FIREABLE(to1_4_4)) AND (NOT FIREABLE(to2_4_2) OR NOT FIREABLE(ti3_2_5_3)) AND (NOT FIREABLE(ti1_2_4_2) OR NOT FIREABLE(ti1_3_2_3)))
lola: processed formula length: 191
lola: 40 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(ti1_3_4_5) OR NOT FIREABLE(t_2_0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(ti1_3_4_5) OR NOT FIREABLE(t_2_0))
lola: processed formula length: 49
lola: 40 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: subprocess 15 will run for 2353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G (FIREABLE(to3_2_2)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:594
lola: rewrite Frontend/Parser/formula_rewrite.k:629
lola: rewrite Frontend/Parser/formula_rewrite.k:758
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(to3_2_2)
lola: processed formula length: 21
lola: 44 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(to3_2_2)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: ========================================
lola: state equation: write sara problem file to CTLFireability-15-0.sara
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: NOT FIREABLE(to3_2_2)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 2132 markings, 2132 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E ((NOT FIREABLE(ti2_1_3_5) U (FIREABLE(ti3_2_5_2) AND FIREABLE(ti1_3_5_7))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:618
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:738
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: E ((NOT FIREABLE(ti2_1_3_5) U (FIREABLE(ti3_2_5_2) AND FIREABLE(ti1_3_5_7))))
lola: processed formula length: 77
lola: 43 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (FIREABLE(ti3_2_5_2) AND FIREABLE(ti1_3_5_7))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-16-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: sara is running 0 secs || 580450 markings, 3147666 edges, 116090 markings/sec, 0 secs
lola: sara is running 5 secs || 1161699 markings, 5926476 edges, 116250 markings/sec, 5 secs
lola: sara is running 10 secs || 1370896 markings, 8538411 edges, 41839 markings/sec, 10 secs
lola: sara is running 15 secs || 1976335 markings, 11419071 edges, 121088 markings/sec, 15 secs
lola: sara is running 20 secs || 2248228 markings, 14039218 edges, 54379 markings/sec, 20 secs
lola: sara is running 25 secs || 2677161 markings, 16844929 edges, 85787 markings/sec, 25 secs
lola: sara is running 30 secs || 3098502 markings, 19411110 edges, 84268 markings/sec, 30 secs
lola: sara is running 35 secs || 3315072 markings, 22097216 edges, 43314 markings/sec, 35 secs
lola: sara is running 40 secs || 3883712 markings, 24798987 edges, 113728 markings/sec, 40 secs
lola: sara is running 45 secs || 4443974 markings, 27097923 edges, 112052 markings/sec, 45 secs
lola: sara is running 50 secs || 4947297 markings, 29363642 edges, 100665 markings/sec, 50 secs
lola: sara is running 55 secs || 5407865 markings, 31756668 edges, 92114 markings/sec, 55 secs
lola: sara is running 60 secs || 5710033 markings, 34383571 edges, 60434 markings/sec, 60 secs
lola: sara is running 65 secs || 5725805 markings, 36514317 edges, 3154 markings/sec, 65 secs
lola: sara is running 70 secs || 5728419 markings, 38578212 edges, 523 markings/sec, 70 secs
lola: sara is running 75 secs || 5729663 markings, 40760389 edges, 249 markings/sec, 75 secs
lola: sara is running 80 secs || 6282647 markings, 43691762 edges, 110597 markings/sec, 80 secs
lola: sara is running 85 secs || 6668814 markings, 46312293 edges, 77233 markings/sec, 85 secs
lola: sara is running 90 secs || 7022806 markings, 49165395 edges, 70798 markings/sec, 90 secs
lola: sara is running 95 secs || 7630889 markings, 51749080 edges, 121617 markings/sec, 95 secs
lola: sara is running 100 secs || 8184141 markings, 54084580 edges, 110650 markings/sec, 100 secs
lola: sara is running 105 secs || 8681651 markings, 56427157 edges, 99502 markings/sec, 105 secs
lola: sara is running 110 secs || 9131703 markings, 58955447 edges, 90010 markings/sec, 110 secs
lola: sara is running 115 secs || 9289074 markings, 61495712 edges, 31474 markings/sec, 115 secs
lola: sara is running 120 secs || 9294968 markings, 63646404 edges, 1179 markings/sec, 120 secs
lola: sara is running 125 secs || 9296781 markings, 65799858 edges, 363 markings/sec, 125 secs
lola: sara is running 130 secs || 9520007 markings, 68402912 edges, 44645 markings/sec, 130 secs
lola: sara is running 135 secs || 9991419 markings, 71019779 edges, 94282 markings/sec, 135 secs
lola: sara is running 140 secs || 10178340 markings, 73504028 edges, 37384 markings/sec, 140 secs
lola: sara is running 145 secs || 10531974 markings, 76345719 edges, 70727 markings/sec, 145 secs
lola: sara is running 150 secs || 11027701 markings, 78815833 edges, 99145 markings/sec, 150 secs
lola: sara is running 155 secs || 11484299 markings, 81024711 edges, 91320 markings/sec, 155 secs
lola: sara is running 160 secs || 11904300 markings, 83196504 edges, 84000 markings/sec, 160 secs
lola: sara is running 165 secs || 12292124 markings, 85414694 edges, 77565 markings/sec, 165 secs
lola: sara is running 170 secs || 12650952 markings, 87794680 edges, 71766 markings/sec, 170 secs
lola: sara is running 175 secs || 12796827 markings, 90160179 edges, 29175 markings/sec, 175 secs
lola: sara is running 180 secs || 12803058 markings, 92118910 edges, 1246 markings/sec, 180 secs
lola: sara is running 185 secs || 12805123 markings, 94057384 edges, 413 markings/sec, 185 secs
lola: sara is running 190 secs || 12806233 markings, 96089830 edges, 222 markings/sec, 190 secs
lola: sara is running 195 secs || 13159804 markings, 98915894 edges, 70714 markings/sec, 195 secs
lola: sara is running 200 secs || 13560766 markings, 101753591 edges, 80192 markings/sec, 200 secs
lola: sara is running 205 secs || 13963681 markings, 104479086 edges, 80583 markings/sec, 205 secs
lola: sara is running 210 secs || 14364189 markings, 107160783 edges, 80102 markings/sec, 210 secs
lola: sara is running 215 secs || 14895945 markings, 109573267 edges, 106351 markings/sec, 215 secs
lola: sara is running 220 secs || 15419599 markings, 111730446 edges, 104731 markings/sec, 220 secs
lola: sara is running 225 secs || 15901776 markings, 113788330 edges, 96435 markings/sec, 225 secs
lola: sara is running 230 secs || 16364412 markings, 115814262 edges, 92527 markings/sec, 230 secs
lola: sara is running 235 secs || 16812349 markings, 117806420 edges, 89587 markings/sec, 235 secs
lola: sara is running 240 secs || 17247357 markings, 119784313 edges, 87002 markings/sec, 240 secs
lola: sara is running 245 secs || 17670917 markings, 121749710 edges, 84712 markings/sec, 245 secs
lola: sara is running 250 secs || 18086928 markings, 123706480 edges, 83202 markings/sec, 250 secs
lola: sara is running 255 secs || 18494609 markings, 125668686 edges, 81536 markings/sec, 255 secs
lola: sara is running 260 secs || 18894588 markings, 127641677 edges, 79996 markings/sec, 260 secs
lola: sara is running 265 secs || 19284455 markings, 129629761 edges, 77973 markings/sec, 265 secs
lola: sara is running 270 secs || 19664923 markings, 131649489 edges, 76094 markings/sec, 270 secs
lola: sara is running 275 secs || 20047275 markings, 133726496 edges, 76470 markings/sec, 275 secs
lola: sara is running 280 secs || 20424731 markings, 135834029 edges, 75491 markings/sec, 280 secs
lola: sara is running 285 secs || 20801035 markings, 138000883 edges, 75261 markings/sec, 285 secs
lola: sara is running 290 secs || 21155080 markings, 140216101 edges, 70809 markings/sec, 290 secs
lola: sara is running 295 secs || 21496791 markings, 142792218 edges, 68342 markings/sec, 295 secs
lola: sara is running 300 secs || 21736458 markings, 145299220 edges, 47933 markings/sec, 300 secs
lola: sara is running 305 secs || 21880334 markings, 147563335 edges, 28775 markings/sec, 305 secs
lola: sara is running 310 secs || 21884661 markings, 149487808 edges, 865 markings/sec, 310 secs
lola: sara is running 315 secs || 21888713 markings, 151349743 edges, 810 markings/sec, 315 secs
lola: sara is running 320 secs || 21893281 markings, 153184285 edges, 914 markings/sec, 320 secs
lola: sara is running 325 secs || 21896990 markings, 155001879 edges, 742 markings/sec, 325 secs
lola: sara is running 330 secs || 21900214 markings, 156801995 edges, 645 markings/sec, 330 secs
lola: sara is running 335 secs || 21902433 markings, 158602189 edges, 444 markings/sec, 335 secs
lola: sara is running 340 secs || 21903931 markings, 160418866 edges, 300 markings/sec, 340 secs
lola: sara is running 345 secs || 21904910 markings, 162250423 edges, 196 markings/sec, 345 secs
lola: sara is running 350 secs || 21905799 markings, 164093008 edges, 178 markings/sec, 350 secs
lola: sara is running 355 secs || 21906580 markings, 165952147 edges, 156 markings/sec, 355 secs
lola: sara is running 360 secs || 21907327 markings, 167837317 edges, 149 markings/sec, 360 secs
lola: sara is running 365 secs || 21907912 markings, 169769719 edges, 117 markings/sec, 365 secs
lola: sara is running 370 secs || 21908511 markings, 171795741 edges, 120 markings/sec, 370 secs
lola: sara is running 375 secs || 22208878 markings, 174440712 edges, 60073 markings/sec, 375 secs
lola: sara is running 380 secs || 22778007 markings, 177140145 edges, 113826 markings/sec, 380 secs
lola: sara is running 385 secs || 22964898 markings, 179822387 edges, 37378 markings/sec, 385 secs
lola: sara is running 390 secs || 23513054 markings, 182664114 edges, 109631 markings/sec, 390 secs
lola: sara is running 395 secs || 24103829 markings, 185037585 edges, 118155 markings/sec, 395 secs
lola: sara is running 400 secs || 24620823 markings, 187318184 edges, 103399 markings/sec, 400 secs
lola: sara is running 405 secs || 25087106 markings, 189673646 edges, 93257 markings/sec, 405 secs
lola: sara is running 410 secs || 25466622 markings, 192322018 edges, 75903 markings/sec, 410 secs
lola: sara is running 415 secs || 25489384 markings, 194510660 edges, 4552 markings/sec, 415 secs
lola: sara is running 420 secs || 25492888 markings, 196580539 edges, 701 markings/sec, 420 secs
lola: sara is running 425 secs || 25494253 markings, 198747585 edges, 273 markings/sec, 425 secs
lola: sara is running 430 secs || 25843682 markings, 201648190 edges, 69886 markings/sec, 430 secs
lola: sara is running 435 secs || 26256673 markings, 204511070 edges, 82598 markings/sec, 435 secs
lola: sara is running 440 secs || 26658952 markings, 207285105 edges, 80456 markings/sec, 440 secs
lola: sara is running 445 secs || 27059551 markings, 210027090 edges, 80120 markings/sec, 445 secs
lola: sara is running 450 secs || 27619647 markings, 212491372 edges, 112019 markings/sec, 450 secs
lola: sara is running 455 secs || 28157061 markings, 214702585 edges, 107483 markings/sec, 455 secs
lola: sara is running 460 secs || 28657791 markings, 216842868 edges, 100146 markings/sec, 460 secs
lola: sara is running 465 secs || 29136417 markings, 218939177 edges, 95725 markings/sec, 465 secs
lola: sara is running 470 secs || 29598978 markings, 221005473 edges, 92512 markings/sec, 470 secs
lola: sara is running 475 secs || 30047761 markings, 223052250 edges, 89757 markings/sec, 475 secs
lola: sara is running 480 secs || 30485375 markings, 225083067 edges, 87523 markings/sec, 480 secs
lola: sara is running 485 secs || 30912754 markings, 227105788 edges, 85476 markings/sec, 485 secs
lola: sara is running 490 secs || 31332241 markings, 229128417 edges, 83897 markings/sec, 490 secs
lola: sara is running 495 secs || 31741863 markings, 231159600 edges, 81924 markings/sec, 495 secs
lola: sara is running 500 secs || 32141768 markings, 233220705 edges, 79981 markings/sec, 500 secs
lola: sara is running 505 secs || 32533567 markings, 235312918 edges, 78360 markings/sec, 505 secs
lola: sara is running 510 secs || 32918375 markings, 237422303 edges, 76962 markings/sec, 510 secs
lola: sara is running 515 secs || 33302671 markings, 239594621 edges, 76859 markings/sec, 515 secs
lola: sara is running 520 secs || 33674704 markings, 241806149 edges, 74407 markings/sec, 520 secs
lola: sara is running 525 secs || 34033488 markings, 244131732 edges, 71757 markings/sec, 525 secs
lola: sara is running 530 secs || 34325111 markings, 246800282 edges, 58325 markings/sec, 530 secs
lola: sara is running 535 secs || 34561509 markings, 249277229 edges, 47280 markings/sec, 535 secs
lola: sara is running 540 secs || 34567178 markings, 251253875 edges, 1134 markings/sec, 540 secs
lola: sara is running 545 secs || 34571455 markings, 253164649 edges, 855 markings/sec, 545 secs
lola: sara is running 550 secs || 34609620 markings, 255118595 edges, 7633 markings/sec, 550 secs
lola: sara is running 555 secs || 34613890 markings, 256958747 edges, 854 markings/sec, 555 secs
lola: sara is running 560 secs || 34617507 markings, 258777521 edges, 723 markings/sec, 560 secs
lola: sara is running 565 secs || 34620114 markings, 260593964 edges, 521 markings/sec, 565 secs
lola: sara is running 570 secs || 34621858 markings, 262403694 edges, 349 markings/sec, 570 secs
lola: sara is running 575 secs || 34623173 markings, 264225794 edges, 263 markings/sec, 575 secs
lola: sara is running 580 secs || 34624216 markings, 266062917 edges, 209 markings/sec, 580 secs
lola: sara is running 585 secs || 34625023 markings, 267915690 edges, 161 markings/sec, 585 secs
lola: sara is running 590 secs || 34625776 markings, 269790148 edges, 151 markings/sec, 590 secs
lola: sara is running 595 secs || 34626444 markings, 271700623 edges, 134 markings/sec, 595 secs
lola: sara is running 600 secs || 34627098 markings, 273679918 edges, 131 markings/sec, 600 secs
lola: sara is running 605 secs || 34628033 markings, 275858276 edges, 187 markings/sec, 605 secs
lola: sara is running 610 secs || 35107784 markings, 278709215 edges, 95950 markings/sec, 610 secs
lola: sara is running 615 secs || 35521498 markings, 281231218 edges, 82743 markings/sec, 615 secs
lola: sara is running 620 secs || 35686463 markings, 283795930 edges, 32993 markings/sec, 620 secs
lola: sara is running 625 secs || 36123057 markings, 286449929 edges, 87319 markings/sec, 625 secs
lola: sara is running 630 secs || 36595409 markings, 288660340 edges, 94470 markings/sec, 630 secs
lola: sara is running 635 secs || 37018511 markings, 290767447 edges, 84620 markings/sec, 635 secs
lola: sara is running 640 secs || 37411314 markings, 292874635 edges, 78561 markings/sec, 640 secs
lola: sara is running 645 secs || 37780459 markings, 295084492 edges, 73829 markings/sec, 645 secs
lola: sara is running 650 secs || 38102745 markings, 297568561 edges, 64457 markings/sec, 650 secs
lola: sara is running 655 secs || 38145893 markings, 299690075 edges, 8630 markings/sec, 655 secs
lola: sara is running 660 secs || 38150398 markings, 301624483 edges, 901 markings/sec, 660 secs
lola: sara is running 665 secs || 38151921 markings, 303588236 edges, 305 markings/sec, 665 secs
lola: sara is running 670 secs || 38209711 markings, 305861434 edges, 11558 markings/sec, 670 secs
lola: sara is running 675 secs || 38593709 markings, 308731685 edges, 76800 markings/sec, 675 secs
lola: sara is running 680 secs || 38931940 markings, 311441746 edges, 67646 markings/sec, 680 secs
lola: sara is running 685 secs || 39270326 markings, 314086956 edges, 67677 markings/sec, 685 secs
lola: sara is running 690 secs || 39609640 markings, 316691886 edges, 67863 markings/sec, 690 secs
lola: sara is running 695 secs || 40000632 markings, 319171365 edges, 78198 markings/sec, 695 secs
lola: sara is running 700 secs || 40452072 markings, 321321325 edges, 90288 markings/sec, 700 secs
lola: sara is running 705 secs || 40873631 markings, 323375455 edges, 84312 markings/sec, 705 secs
lola: sara is running 710 secs || 41275169 markings, 325380359 edges, 80308 markings/sec, 710 secs
lola: sara is running 715 secs || 41663248 markings, 327353417 edges, 77616 markings/sec, 715 secs
lola: sara is running 720 secs || 42039783 markings, 329299582 edges, 75307 markings/sec, 720 secs
lola: sara is running 725 secs || 42410118 markings, 331231872 edges, 74067 markings/sec, 725 secs
lola: sara is running 730 secs || 42770780 markings, 333148930 edges, 72132 markings/sec, 730 secs
lola: sara is running 735 secs || 43124842 markings, 335053063 edges, 70812 markings/sec, 735 secs
lola: sara is running 740 secs || 43472590 markings, 336951539 edges, 69550 markings/sec, 740 secs
lola: sara is running 745 secs || 43814830 markings, 338843721 edges, 68448 markings/sec, 745 secs
lola: sara is running 750 secs || 44151216 markings, 340742904 edges, 67277 markings/sec, 750 secs
lola: sara is running 755 secs || 44482412 markings, 342649703 edges, 66239 markings/sec, 755 secs
lola: sara is running 760 secs || 44807599 markings, 344579932 edges, 65037 markings/sec, 760 secs
lola: sara is running 765 secs || 45126415 markings, 346527319 edges, 63763 markings/sec, 765 secs
lola: sara is running 770 secs || 45442334 markings, 348497969 edges, 63184 markings/sec, 770 secs
lola: sara is running 775 secs || 45754890 markings, 350493183 edges, 62511 markings/sec, 775 secs
lola: sara is running 780 secs || 46068852 markings, 352538141 edges, 62792 markings/sec, 780 secs
lola: sara is running 785 secs || 46373372 markings, 354610107 edges, 60904 markings/sec, 785 secs
lola: sara is running 790 secs || 46660250 markings, 356710797 edges, 57376 markings/sec, 790 secs
lola: sara is running 795 secs || 46926860 markings, 359151892 edges, 53322 markings/sec, 795 secs
lola: sara is running 800 secs || 47146063 markings, 361521371 edges, 43841 markings/sec, 800 secs
lola: sara is running 805 secs || 47222714 markings, 363586360 edges, 15330 markings/sec, 805 secs
lola: sara is running 810 secs || 47226973 markings, 365406190 edges, 852 markings/sec, 810 secs
lola: sara is running 815 secs || 47230564 markings, 367152148 edges, 718 markings/sec, 815 secs
lola: sara is running 820 secs || 47268172 markings, 368998576 edges, 7522 markings/sec, 820 secs
lola: sara is running 825 secs || 47271793 markings, 370693488 edges, 724 markings/sec, 825 secs
lola: sara is running 830 secs || 47275093 markings, 372415464 edges, 660 markings/sec, 830 secs
lola: sara is running 835 secs || 47277717 markings, 374101676 edges, 525 markings/sec, 835 secs
lola: sara is running 840 secs || 47279461 markings, 375812896 edges, 349 markings/sec, 840 secs
lola: sara is running 845 secs || 47280746 markings, 377548116 edges, 257 markings/sec, 845 secs
lola: sara is running 850 secs || 47281842 markings, 379294234 edges, 219 markings/sec, 850 secs
lola: sara is running 855 secs || 47282694 markings, 381048156 edges, 170 markings/sec, 855 secs
lola: sara is running 860 secs || 47283422 markings, 382809826 edges, 146 markings/sec, 860 secs
lola: sara is running 865 secs || 47284075 markings, 384597692 edges, 131 markings/sec, 865 secs
lola: sara is running 870 secs || 47284671 markings, 386418464 edges, 119 markings/sec, 870 secs
lola: sara is running 875 secs || 47285257 markings, 388288243 edges, 117 markings/sec, 875 secs
lola: sara is running 880 secs || 47286036 markings, 390270001 edges, 156 markings/sec, 880 secs
lola: sara is running 885 secs || 47564893 markings, 392991722 edges, 55771 markings/sec, 885 secs
lola: sara is running 890 secs || 47971838 markings, 395908129 edges, 81389 markings/sec, 890 secs
lola: sara is running 895 secs || 48352239 markings, 398677737 edges, 76080 markings/sec, 895 secs
lola: sara is running 900 secs || 48708585 markings, 401409785 edges, 71269 markings/sec, 900 secs
lola: sara is running 905 secs || 49057461 markings, 404031085 edges, 69775 markings/sec, 905 secs
lola: sara is running 910 secs || 49418619 markings, 406717957 edges, 72232 markings/sec, 910 secs
lola: sara is running 915 secs || 49734609 markings, 409335377 edges, 63198 markings/sec, 915 secs
lola: sara is running 920 secs || 50086758 markings, 411990634 edges, 70430 markings/sec, 920 secs
lola: sara is running 925 secs || 50411250 markings, 414575196 edges, 64898 markings/sec, 925 secs
lola: sara is running 930 secs || 50799932 markings, 417203145 edges, 77736 markings/sec, 930 secs
lola: sara is running 935 secs || 51172175 markings, 419758822 edges, 74449 markings/sec, 935 secs
lola: sara is running 940 secs || 51412072 markings, 422217190 edges, 47979 markings/sec, 940 secs
lola: sara is running 945 secs || 51738207 markings, 424687435 edges, 65227 markings/sec, 945 secs
lola: sara is running 950 secs || 52127320 markings, 427201930 edges, 77823 markings/sec, 950 secs
lola: sara is running 955 secs || 52512149 markings, 429774170 edges, 76966 markings/sec, 955 secs
lola: sara is running 960 secs || 52946293 markings, 432064495 edges, 86829 markings/sec, 960 secs
lola: sara is running 965 secs || 53424239 markings, 434306575 edges, 95589 markings/sec, 965 secs
lola: sara is running 970 secs || 53914992 markings, 436398054 edges, 98151 markings/sec, 970 secs
lola: sara is running 975 secs || 54386006 markings, 438445501 edges, 94203 markings/sec, 975 secs
lola: sara is running 980 secs || 54843245 markings, 440461307 edges, 91448 markings/sec, 980 secs
lola: sara is running 985 secs || 55288573 markings, 442450826 edges, 89066 markings/sec, 985 secs
lola: sara is running 990 secs || 55724757 markings, 444417686 edges, 87237 markings/sec, 990 secs
lola: sara is running 995 secs || 56152641 markings, 446368005 edges, 85577 markings/sec, 995 secs
lola: sara is running 1000 secs || 56574985 markings, 448308085 edges, 84469 markings/sec, 1000 secs
lola: sara is running 1005 secs || 56991451 markings, 450234847 edges, 83293 markings/sec, 1005 secs
lola: sara is running 1010 secs || 57402799 markings, 452148196 edges, 82270 markings/sec, 1010 secs
lola: sara is running 1015 secs || 57808698 markings, 454052259 edges, 81180 markings/sec, 1015 secs
lola: sara is running 1020 secs || 58210260 markings, 455945431 edges, 80312 markings/sec, 1020 secs
lola: sara is running 1025 secs || 58607194 markings, 457823346 edges, 79387 markings/sec, 1025 secs
lola: sara is running 1030 secs || 58998520 markings, 459688453 edges, 78265 markings/sec, 1030 secs
lola: sara is running 1035 secs || 59386572 markings, 461546092 edges, 77610 markings/sec, 1035 secs
lola: sara is running 1040 secs || 59771144 markings, 463397916 edges, 76914 markings/sec, 1040 secs
lola: sara is running 1045 secs || 60152940 markings, 465246486 edges, 76359 markings/sec, 1045 secs
lola: sara is running 1050 secs || 60531146 markings, 467085751 edges, 75641 markings/sec, 1050 secs
lola: sara is running 1055 secs || 60908059 markings, 468925078 edges, 75383 markings/sec, 1055 secs
lola: sara is running 1060 secs || 61282759 markings, 470755630 edges, 74940 markings/sec, 1060 secs
lola: sara is running 1065 secs || 61651969 markings, 472578215 edges, 73842 markings/sec, 1065 secs
lola: sara is running 1070 secs || 62020798 markings, 474402005 edges, 73766 markings/sec, 1070 secs
lola: sara is running 1075 secs || 62388224 markings, 476223921 edges, 73485 markings/sec, 1075 secs
lola: sara is running 1080 secs || 62752772 markings, 478044831 edges, 72910 markings/sec, 1080 secs
lola: sara is running 1085 secs || 63114111 markings, 479854719 edges, 72268 markings/sec, 1085 secs
lola: sara is running 1090 secs || 63473572 markings, 481666259 edges, 71892 markings/sec, 1090 secs
lola: sara is running 1095 secs || 63832545 markings, 483479496 edges, 71795 markings/sec, 1095 secs
lola: sara is running 1100 secs || 64188335 markings, 485290351 edges, 71158 markings/sec, 1100 secs
lola: sara is running 1105 secs || 64541263 markings, 487096269 edges, 70586 markings/sec, 1105 secs
lola: sara is running 1110 secs || 64893596 markings, 488904859 edges, 70467 markings/sec, 1110 secs
lola: sara is running 1115 secs || 65245309 markings, 490723740 edges, 70343 markings/sec, 1115 secs
lola: sara is running 1120 secs || 65592750 markings, 492539167 edges, 69488 markings/sec, 1120 secs
lola: sara is running 1125 secs || 65939079 markings, 494361027 edges, 69266 markings/sec, 1125 secs
lola: sara is running 1130 secs || 66283080 markings, 496189443 edges, 68800 markings/sec, 1130 secs
lola: sara is running 1135 secs || 66625762 markings, 498018194 edges, 68536 markings/sec, 1135 secs
lola: sara is running 1140 secs || 66964060 markings, 499847689 edges, 67660 markings/sec, 1140 secs
lola: sara is running 1145 secs || 67300811 markings, 501691136 edges, 67350 markings/sec, 1145 secs
lola: sara is running 1150 secs || 67636111 markings, 503538128 edges, 67060 markings/sec, 1150 secs
lola: sara is running 1155 secs || 67969237 markings, 505389563 edges, 66625 markings/sec, 1155 secs
lola: sara is running 1160 secs || 68302544 markings, 507255790 edges, 66661 markings/sec, 1160 secs
lola: sara is running 1165 secs || 68635620 markings, 509127941 edges, 66615 markings/sec, 1165 secs
lola: sara is running 1170 secs || 68966835 markings, 511002999 edges, 66243 markings/sec, 1170 secs
lola: sara is running 1175 secs || 69294825 markings, 512886827 edges, 65598 markings/sec, 1175 secs
lola: sara is running 1180 secs || 69620642 markings, 514776196 edges, 65163 markings/sec, 1180 secs
lola: sara is running 1185 secs || 69948120 markings, 516677012 edges, 65496 markings/sec, 1185 secs
lola: sara is running 1190 secs || 70276262 markings, 518594884 edges, 65628 markings/sec, 1190 secs
lola: sara is running 1195 secs || 70596024 markings, 520461226 edges, 63952 markings/sec, 1195 secs
lola: sara is running 1200 secs || 70917726 markings, 522347428 edges, 64340 markings/sec, 1200 secs
lola: sara is running 1205 secs || 71235638 markings, 524267782 edges, 63582 markings/sec, 1205 secs
lola: sara is running 1210 secs || 71553581 markings, 526206827 edges, 63589 markings/sec, 1210 secs
lola: sara is running 1215 secs || 71874084 markings, 528149542 edges, 64101 markings/sec, 1215 secs
lola: sara is running 1220 secs || 72186837 markings, 530112686 edges, 62551 markings/sec, 1220 secs
lola: sara is running 1225 secs || 72498086 markings, 532117056 edges, 62250 markings/sec, 1225 secs
lola: sara is running 1230 secs || 72808062 markings, 534128071 edges, 61995 markings/sec, 1230 secs
lola: sara is running 1235 secs || 73114635 markings, 536165795 edges, 61315 markings/sec, 1235 secs
lola: sara is running 1240 secs || 73428448 markings, 538316022 edges, 62763 markings/sec, 1240 secs
lola: sara is running 1245 secs || 73757009 markings, 540950904 edges, 65712 markings/sec, 1245 secs
lola: sara is running 1250 secs || 74032038 markings, 543470883 edges, 55006 markings/sec, 1250 secs
lola: sara is running 1255 secs || 74313746 markings, 545958879 edges, 56342 markings/sec, 1255 secs
lola: sara is running 1260 secs || 74558581 markings, 548384205 edges, 48967 markings/sec, 1260 secs
lola: sara is running 1265 secs || 74814675 markings, 550784393 edges, 51219 markings/sec, 1265 secs
lola: sara is running 1270 secs || 74975158 markings, 553035905 edges, 32097 markings/sec, 1270 secs
lola: sara is running 1275 secs || 74980609 markings, 554877352 edges, 1090 markings/sec, 1275 secs
lola: sara is running 1280 secs || 75070267 markings, 556717568 edges, 17932 markings/sec, 1280 secs
lola: sara is running 1285 secs || 75233627 markings, 558810525 edges, 32672 markings/sec, 1285 secs
lola: sara is running 1290 secs || 75259467 markings, 560597884 edges, 5168 markings/sec, 1290 secs
lola: sara is running 1295 secs || 75262224 markings, 562322028 edges, 551 markings/sec, 1295 secs
lola: sara is running 1300 secs || 75264875 markings, 564012463 edges, 530 markings/sec, 1300 secs
lola: sara is running 1305 secs || 75267200 markings, 565670468 edges, 465 markings/sec, 1305 secs
lola: sara is running 1310 secs || 75269563 markings, 567316977 edges, 473 markings/sec, 1310 secs
lola: sara is running 1315 secs || 75271903 markings, 568972958 edges, 468 markings/sec, 1315 secs
lola: sara is running 1320 secs || 75308429 markings, 570759706 edges, 7305 markings/sec, 1320 secs
lola: sara is running 1325 secs || 75310874 markings, 572434422 edges, 489 markings/sec, 1325 secs
lola: sara is running 1330 secs || 75353994 markings, 574231130 edges, 8624 markings/sec, 1330 secs
lola: sara is running 1335 secs || 75356529 markings, 575898327 edges, 507 markings/sec, 1335 secs
lola: sara is running 1340 secs || 75359104 markings, 577559762 edges, 515 markings/sec, 1340 secs
lola: sara is running 1345 secs || 75361676 markings, 579214337 edges, 514 markings/sec, 1345 secs
lola: sara is running 1350 secs || 75364340 markings, 580863157 edges, 533 markings/sec, 1350 secs
lola: sara is running 1355 secs || 75366804 markings, 582505898 edges, 493 markings/sec, 1355 secs
lola: sara is running 1360 secs || 75369166 markings, 584143042 edges, 472 markings/sec, 1360 secs
lola: sara is running 1365 secs || 75371507 markings, 585781243 edges, 468 markings/sec, 1365 secs
lola: sara is running 1370 secs || 75373818 markings, 587417728 edges, 462 markings/sec, 1370 secs
lola: sara is running 1375 secs || 75375592 markings, 589046769 edges, 355 markings/sec, 1375 secs
lola: sara is running 1380 secs || 75377363 markings, 590678234 edges, 354 markings/sec, 1380 secs
lola: sara is running 1385 secs || 75379185 markings, 592308947 edges, 364 markings/sec, 1385 secs
lola: sara is running 1390 secs || 75380821 markings, 593938422 edges, 327 markings/sec, 1390 secs
lola: sara is running 1395 secs || 75382418 markings, 595569557 edges, 319 markings/sec, 1395 secs
lola: sara is running 1400 secs || 75383771 markings, 597198530 edges, 271 markings/sec, 1400 secs
lola: sara is running 1405 secs || 75385056 markings, 598834071 edges, 257 markings/sec, 1405 secs
lola: sara is running 1410 secs || 75386240 markings, 600472535 edges, 237 markings/sec, 1410 secs
lola: sara is running 1415 secs || 75387233 markings, 602107839 edges, 199 markings/sec, 1415 secs
lola: sara is running 1420 secs || 75388191 markings, 603748314 edges, 192 markings/sec, 1420 secs
lola: sara is running 1425 secs || 75389014 markings, 605396513 edges, 165 markings/sec, 1425 secs
lola: sara is running 1430 secs || 75389837 markings, 607042409 edges, 165 markings/sec, 1430 secs
lola: sara is running 1435 secs || 75390585 markings, 608693013 edges, 150 markings/sec, 1435 secs
lola: sara is running 1440 secs || 75391304 markings, 610348773 edges, 144 markings/sec, 1440 secs
lola: sara is running 1445 secs || 75391967 markings, 612008779 edges, 133 markings/sec, 1445 secs
lola: sara is running 1450 secs || 75392570 markings, 613672513 edges, 121 markings/sec, 1450 secs
lola: sara is running 1455 secs || 75393212 markings, 615341944 edges, 128 markings/sec, 1455 secs
lola: sara is running 1460 secs || 75393716 markings, 617017799 edges, 101 markings/sec, 1460 secs
lola: sara is running 1465 secs || 75394207 markings, 618701719 edges, 98 markings/sec, 1465 secs
lola: sara is running 1470 secs || 75394749 markings, 620394538 edges, 108 markings/sec, 1470 secs
lola: sara is running 1475 secs || 75395287 markings, 622094934 edges, 108 markings/sec, 1475 secs
lola: sara is running 1480 secs || 75395751 markings, 623803201 edges, 93 markings/sec, 1480 secs
lola: sara is running 1485 secs || 75396252 markings, 625521061 edges, 100 markings/sec, 1485 secs
lola: sara is running 1490 secs || 75396765 markings, 627242221 edges, 103 markings/sec, 1490 secs
lola: sara is running 1495 secs || 75397229 markings, 628981712 edges, 93 markings/sec, 1495 secs
lola: sara is running 1500 secs || 75397669 markings, 630728857 edges, 88 markings/sec, 1500 secs
lola: sara is running 1505 secs || 75398072 markings, 632491876 edges, 81 markings/sec, 1505 secs
lola: sara is running 1510 secs || 75398607 markings, 634265928 edges, 107 markings/sec, 1510 secs
lola: sara is running 1515 secs || 75399019 markings, 636065159 edges, 82 markings/sec, 1515 secs
lola: sara is running 1520 secs || 75399443 markings, 637887061 edges, 85 markings/sec, 1520 secs
lola: sara is running 1525 secs || 75399891 markings, 639749194 edges, 90 markings/sec, 1525 secs
lola: sara is running 1530 secs || 75400315 markings, 641662690 edges, 85 markings/sec, 1530 secs
lola: sara is running 1535 secs || 75400817 markings, 643661139 edges, 100 markings/sec, 1535 secs
lola: sara is running 1540 secs || 75529683 markings, 646146841 edges, 25773 markings/sec, 1540 secs
lola: sara is running 1545 secs || 76162234 markings, 649125964 edges, 126510 markings/sec, 1545 secs
lola: sara is running 1550 secs || 76455862 markings, 651801958 edges, 58726 markings/sec, 1550 secs
lola: sara is running 1555 secs || 76892355 markings, 654746442 edges, 87299 markings/sec, 1555 secs
lola: sara is running 1560 secs || 77514963 markings, 657218543 edges, 124522 markings/sec, 1560 secs
lola: sara is running 1565 secs || 78049735 markings, 659509729 edges, 106954 markings/sec, 1565 secs
lola: sara is running 1570 secs || 78533684 markings, 661835768 edges, 96790 markings/sec, 1570 secs
lola: sara is running 1575 secs || 78962589 markings, 664401489 edges, 85781 markings/sec, 1575 secs
lola: sara is running 1580 secs || 79076560 markings, 666810086 edges, 22794 markings/sec, 1580 secs
lola: sara is running 1585 secs || 79081746 markings, 668899895 edges, 1037 markings/sec, 1585 secs
lola: sara is running 1590 secs || 79083428 markings, 671015027 edges, 336 markings/sec, 1590 secs
lola: sara is running 1595 secs || 79305010 markings, 673713688 edges, 44316 markings/sec, 1595 secs
lola: sara is running 1600 secs || 79732754 markings, 676652217 edges, 85549 markings/sec, 1600 secs
lola: sara is running 1605 secs || 80174992 markings, 679512477 edges, 88448 markings/sec, 1605 secs
lola: sara is running 1610 secs || 80568496 markings, 682281835 edges, 78701 markings/sec, 1610 secs
lola: sara is running 1615 secs || 81073297 markings, 684870530 edges, 100960 markings/sec, 1615 secs
lola: sara is running 1620 secs || 81631631 markings, 687144115 edges, 111667 markings/sec, 1620 secs
lola: sara is running 1625 secs || 82145862 markings, 689325990 edges, 102846 markings/sec, 1625 secs
lola: sara is running 1630 secs || 82635565 markings, 691463104 edges, 97941 markings/sec, 1630 secs
lola: sara is running 1635 secs || 83107286 markings, 693566353 edges, 94344 markings/sec, 1635 secs
lola: sara is running 1640 secs || 83566431 markings, 695649050 edges, 91829 markings/sec, 1640 secs
lola: sara is running 1645 secs || 84012116 markings, 697714026 edges, 89137 markings/sec, 1645 secs
lola: sara is running 1650 secs || 84448278 markings, 699771810 edges, 87232 markings/sec, 1650 secs
lola: sara is running 1655 secs || 84875779 markings, 701828337 edges, 85500 markings/sec, 1655 secs
lola: sara is running 1660 secs || 85292435 markings, 703887856 edges, 83331 markings/sec, 1660 secs
lola: sara is running 1665 secs || 85699053 markings, 705975797 edges, 81324 markings/sec, 1665 secs
lola: sara is running 1670 secs || 86096410 markings, 708093812 edges, 79471 markings/sec, 1670 secs
lola: sara is running 1675 secs || 86487046 markings, 710229433 edges, 78127 markings/sec, 1675 secs
lola: sara is running 1680 secs || 86875274 markings, 712420588 edges, 77646 markings/sec, 1680 secs
lola: sara is running 1685 secs || 87252073 markings, 714653482 edges, 75360 markings/sec, 1685 secs
lola: sara is running 1690 secs || 87611255 markings, 716978150 edges, 71836 markings/sec, 1690 secs
lola: sara is running 1695 secs || 87904470 markings, 719645082 edges, 58643 markings/sec, 1695 secs
lola: sara is running 1700 secs || 88150792 markings, 722146211 edges, 49264 markings/sec, 1700 secs
lola: sara is running 1705 secs || 88156550 markings, 724128124 edges, 1152 markings/sec, 1705 secs
lola: sara is running 1710 secs || 88160800 markings, 726035484 edges, 850 markings/sec, 1710 secs
lola: sara is running 1715 secs || 88198913 markings, 727966438 edges, 7623 markings/sec, 1715 secs
lola: sara is running 1720 secs || 88203146 markings, 729810667 edges, 847 markings/sec, 1720 secs
lola: sara is running 1725 secs || 88206882 markings, 731659047 edges, 747 markings/sec, 1725 secs
lola: sara is running 1730 secs || 88209540 markings, 733478964 edges, 532 markings/sec, 1730 secs
lola: sara is running 1735 secs || 88211318 markings, 735322925 edges, 356 markings/sec, 1735 secs
lola: sara is running 1740 secs || 88212643 markings, 737174827 edges, 265 markings/sec, 1740 secs
lola: sara is running 1745 secs || 88213712 markings, 739037670 edges, 214 markings/sec, 1745 secs
lola: sara is running 1750 secs || 88214517 markings, 740916627 edges, 161 markings/sec, 1750 secs
lola: sara is running 1755 secs || 88215278 markings, 742819992 edges, 152 markings/sec, 1755 secs
lola: sara is running 1760 secs || 88215943 markings, 744757790 edges, 133 markings/sec, 1760 secs
lola: sara is running 1765 secs || 88216615 markings, 746766535 edges, 134 markings/sec, 1765 secs
lola: sara is running 1770 secs || 88250078 markings, 749067120 edges, 6693 markings/sec, 1770 secs
lola: sara is running 1775 secs || 88700445 markings, 752110716 edges, 90073 markings/sec, 1775 secs
lola: sara is running 1780 secs || 89105192 markings, 755014325 edges, 80949 markings/sec, 1780 secs
lola: sara is running 1785 secs || 89468013 markings, 757853065 edges, 72564 markings/sec, 1785 secs
lola: sara is running 1790 secs || 89820294 markings, 760618073 edges, 70456 markings/sec, 1790 secs
lola: sara is running 1795 secs || 90209604 markings, 763425330 edges, 77862 markings/sec, 1795 secs
lola: sara is running 1800 secs || 90567377 markings, 766165208 edges, 71555 markings/sec, 1800 secs
lola: sara is running 1805 secs || 90883571 markings, 768785489 edges, 63239 markings/sec, 1805 secs
lola: sara is running 1810 secs || 91237483 markings, 771465901 edges, 70782 markings/sec, 1810 secs
lola: sara is running 1815 secs || 91589110 markings, 774138281 edges, 70325 markings/sec, 1815 secs
lola: sara is running 1820 secs || 91928317 markings, 776823502 edges, 67841 markings/sec, 1820 secs
lola: sara is running 1825 secs || 92343900 markings, 779416419 edges, 83117 markings/sec, 1825 secs
lola: sara is running 1830 secs || 92597889 markings, 781927148 edges, 50798 markings/sec, 1830 secs
lola: sara is running 1835 secs || 92959016 markings, 784500506 edges, 72225 markings/sec, 1835 secs
lola: sara is running 1840 secs || 93350013 markings, 787045609 edges, 78199 markings/sec, 1840 secs
lola: sara is running 1845 secs || 93797779 markings, 789504608 edges, 89553 markings/sec, 1845 secs
lola: sara is running 1850 secs || 94294460 markings, 791767269 edges, 99336 markings/sec, 1850 secs
lola: sara is running 1855 secs || 94794131 markings, 793892342 edges, 99934 markings/sec, 1855 secs
lola: sara is running 1860 secs || 95274033 markings, 795972071 edges, 95980 markings/sec, 1860 secs
lola: sara is running 1865 secs || 95739700 markings, 798020698 edges, 93133 markings/sec, 1865 secs
lola: sara is running 1870 secs || 96190264 markings, 800035840 edges, 90113 markings/sec, 1870 secs
lola: sara is running 1875 secs || 96633670 markings, 802035790 edges, 88681 markings/sec, 1875 secs
lola: sara is running 1880 secs || 97069381 markings, 804017034 edges, 87142 markings/sec, 1880 secs
lola: sara is running 1885 secs || 97497664 markings, 805984210 edges, 85657 markings/sec, 1885 secs
lola: sara is running 1890 secs || 97922108 markings, 807944466 edges, 84889 markings/sec, 1890 secs
lola: sara is running 1895 secs || 98339808 markings, 809888116 edges, 83540 markings/sec, 1895 secs
lola: sara is running 1900 secs || 98751893 markings, 811820176 edges, 82417 markings/sec, 1900 secs
lola: sara is running 1905 secs || 99158959 markings, 813740929 edges, 81413 markings/sec, 1905 secs
lola: sara is running 1910 secs || 99563666 markings, 815657766 edges, 80941 markings/sec, 1910 secs
lola: sara is running 1915 secs || 99963745 markings, 817566734 edges, 80016 markings/sec, 1915 secs
lola: sara is running 1920 secs || 100362178 markings, 819471851 edges, 79687 markings/sec, 1920 secs
lola: sara is running 1925 secs || 100756413 markings, 821371294 edges, 78847 markings/sec, 1925 secs
lola: sara is running 1930 secs || 101146873 markings, 823263595 edges, 78092 markings/sec, 1930 secs
lola: sara is running 1935 secs || 101532941 markings, 825141837 edges, 77214 markings/sec, 1935 secs
lola: sara is running 1940 secs || 101917214 markings, 827020744 edges, 76855 markings/sec, 1940 secs
lola: sara is running 1945 secs || 102299239 markings, 828895040 edges, 76405 markings/sec, 1945 secs
lola: sara is running 1950 secs || 102679007 markings, 830769464 edges, 75954 markings/sec, 1950 secs
lola: sara is running 1955 secs || 103056620 markings, 832639787 edges, 75523 markings/sec, 1955 secs
lola: sara is running 1960 secs || 103431058 markings, 834504017 edges, 74888 markings/sec, 1960 secs
lola: sara is running 1965 secs || 103804101 markings, 836365937 edges, 74609 markings/sec, 1965 secs
lola: sara is running 1970 secs || 104173061 markings, 838223113 edges, 73792 markings/sec, 1970 secs
lola: sara is running 1975 secs || 104541777 markings, 840079416 edges, 73743 markings/sec, 1975 secs
lola: sara is running 1980 secs || 104908233 markings, 841934879 edges, 73291 markings/sec, 1980 secs
lola: sara is running 1985 secs || 105273140 markings, 843802006 edges, 72981 markings/sec, 1985 secs
lola: sara is running 1990 secs || 105639348 markings, 845677365 edges, 73242 markings/sec, 1990 secs
lola: sara is running 1995 secs || 106003693 markings, 847557036 edges, 72869 markings/sec, 1995 secs
lola: sara is running 2000 secs || 106363723 markings, 849429904 edges, 72006 markings/sec, 2000 secs
lola: sara is running 2005 secs || 106723120 markings, 851315342 edges, 71879 markings/sec, 2005 secs
lola: sara is running 2010 secs || 107080215 markings, 853201739 edges, 71419 markings/sec, 2010 secs
lola: sara is running 2015 secs || 107433724 markings, 855086082 edges, 70702 markings/sec, 2015 secs
lola: sara is running 2020 secs || 107785581 markings, 856985429 edges, 70371 markings/sec, 2020 secs
lola: sara is running 2025 secs || 108134371 markings, 858881426 edges, 69758 markings/sec, 2025 secs
lola: sara is running 2030 secs || 108480340 markings, 860784617 edges, 69194 markings/sec, 2030 secs
lola: sara is running 2035 secs || 108826497 markings, 862698315 edges, 69231 markings/sec, 2035 secs
lola: sara is running 2040 secs || 109170269 markings, 864618997 edges, 68754 markings/sec, 2040 secs
lola: sara is running 2045 secs || 109510750 markings, 866544664 edges, 68096 markings/sec, 2045 secs
lola: sara is running 2050 secs || 109849186 markings, 868470963 edges, 67687 markings/sec, 2050 secs
lola: sara is running 2055 secs || 110190196 markings, 870401471 edges, 68202 markings/sec, 2055 secs
lola: sara is running 2060 secs || 110522068 markings, 872317380 edges, 66374 markings/sec, 2060 secs
lola: sara is running 2065 secs || 110845352 markings, 874195185 edges, 64657 markings/sec, 2065 secs
lola: sara is running 2070 secs || 111179314 markings, 876138264 edges, 66792 markings/sec, 2070 secs
lola: sara is running 2075 secs || 111506530 markings, 878058259 edges, 65443 markings/sec, 2075 secs
lola: sara is running 2080 secs || 111835888 markings, 880003427 edges, 65872 markings/sec, 2080 secs
lola: sara is running 2085 secs || 112165654 markings, 881994167 edges, 65953 markings/sec, 2085 secs
lola: sara is running 2090 secs || 112498338 markings, 884011493 edges, 66537 markings/sec, 2090 secs
lola: sara is running 2095 secs || 112831747 markings, 886023500 edges, 66682 markings/sec, 2095 secs
lola: sara is running 2100 secs || 113152040 markings, 888023816 edges, 64059 markings/sec, 2100 secs
lola: sara is running 2105 secs || 113467375 markings, 890062521 edges, 63067 markings/sec, 2105 secs
lola: sara is running 2110 secs || 113787241 markings, 892141804 edges, 63973 markings/sec, 2110 secs
lola: sara is running 2115 secs || 114103916 markings, 894254401 edges, 63335 markings/sec, 2115 secs
lola: sara is running 2120 secs || 114436570 markings, 896543348 edges, 66531 markings/sec, 2120 secs
lola: sara is running 2125 secs || 114754912 markings, 899195639 edges, 63668 markings/sec, 2125 secs
lola: sara is running 2130 secs || 115033669 markings, 901801249 edges, 55751 markings/sec, 2130 secs
lola: sara is running 2135 secs || 115293442 markings, 904247264 edges, 51955 markings/sec, 2135 secs
lola: sara is running 2140 secs || 115545157 markings, 906670717 edges, 50343 markings/sec, 2140 secs
lola: sara is running 2145 secs || 115802403 markings, 909092674 edges, 51449 markings/sec, 2145 secs
lola: sara is running 2150 secs || 116043814 markings, 911440987 edges, 48282 markings/sec, 2150 secs
lola: sara is running 2155 secs || 116138167 markings, 913612930 edges, 18871 markings/sec, 2155 secs
lola: sara is running 2160 secs || 116142864 markings, 915474850 edges, 939 markings/sec, 2160 secs
lola: sara is running 2165 secs || 116190084 markings, 917409349 edges, 9444 markings/sec, 2165 secs
lola: sara is running 2170 secs || 116193649 markings, 919191882 edges, 713 markings/sec, 2170 secs
lola: sara is running 2175 secs || 116196280 markings, 920949418 edges, 526 markings/sec, 2175 secs
lola: sara is running 2180 secs || 116199156 markings, 922682761 edges, 575 markings/sec, 2180 secs
lola: sara is running 2185 secs || 116201166 markings, 924408786 edges, 402 markings/sec, 2185 secs
lola: sara is running 2190 secs || 116203443 markings, 926126694 edges, 455 markings/sec, 2190 secs
lola: sara is running 2195 secs || 116205755 markings, 927824254 edges, 462 markings/sec, 2195 secs
lola: sara is running 2200 secs || 116269117 markings, 929686386 edges, 12672 markings/sec, 2200 secs
lola: sara is running 2205 secs || 116285038 markings, 931410701 edges, 3184 markings/sec, 2205 secs
lola: sara is running 2210 secs || 116287641 markings, 933091392 edges, 521 markings/sec, 2210 secs
lola: sara is running 2215 secs || 116290117 markings, 934768432 edges, 495 markings/sec, 2215 secs
lola: sara is running 2220 secs || 116292628 markings, 936429574 edges, 502 markings/sec, 2220 secs
lola: sara is running 2225 secs || 116295355 markings, 938092057 edges, 545 markings/sec, 2225 secs
lola: sara is running 2230 secs || 116297812 markings, 939750863 edges, 491 markings/sec, 2230 secs
lola: sara is running 2235 secs || 116300292 markings, 941404732 edges, 496 markings/sec, 2235 secs
lola: sara is running 2240 secs || 116302555 markings, 943053370 edges, 453 markings/sec, 2240 secs
lola: sara is running 2245 secs || 116304938 markings, 944702736 edges, 477 markings/sec, 2245 secs
lola: sara is running 2250 secs || 116307034 markings, 946343721 edges, 419 markings/sec, 2250 secs
lola: sara is running 2255 secs || 116308752 markings, 947982895 edges, 344 markings/sec, 2255 secs
lola: sara is running 2260 secs || 116310476 markings, 949620911 edges, 345 markings/sec, 2260 secs
lola: sara is running 2265 secs || 116311970 markings, 951254254 edges, 299 markings/sec, 2265 secs
lola: sara is running 2270 secs || 116313393 markings, 952884230 edges, 285 markings/sec, 2270 secs
lola: sara is running 2275 secs || 116314815 markings, 954521250 edges, 284 markings/sec, 2275 secs
lola: sara is running 2280 secs || 116316054 markings, 956160869 edges, 248 markings/sec, 2280 secs
lola: sara is running 2285 secs || 116317293 markings, 957802189 edges, 248 markings/sec, 2285 secs
lola: sara is running 2290 secs || 116318236 markings, 959443670 edges, 189 markings/sec, 2290 secs
lola: sara is running 2295 secs || 116319132 markings, 961085662 edges, 179 markings/sec, 2295 secs
lola: sara is running 2300 secs || 116319992 markings, 962730619 edges, 172 markings/sec, 2300 secs
lola: sara is running 2305 secs || 116320832 markings, 964375901 edges, 168 markings/sec, 2305 secs
lola: sara is running 2310 secs || 116321545 markings, 966026867 edges, 143 markings/sec, 2310 secs
lola: sara is running 2315 secs || 116322302 markings, 967683580 edges, 151 markings/sec, 2315 secs
lola: sara is running 2320 secs || 116322994 markings, 969338493 edges, 138 markings/sec, 2320 secs
lola: sara is running 2325 secs || 116323619 markings, 970995391 edges, 125 markings/sec, 2325 secs
lola: sara is running 2330 secs || 116324248 markings, 972657934 edges, 126 markings/sec, 2330 secs
lola: sara is running 2335 secs || 116324767 markings, 974329924 edges, 104 markings/sec, 2335 secs
lola: sara is running 2340 secs || 116325268 markings, 976002249 edges, 100 markings/sec, 2340 secs
lola: sara is running 2345 secs || 116325776 markings, 977681916 edges, 102 markings/sec, 2345 secs
lola: time limit reached - aborting
lola:
preliminary result: yes unknown no yes yes no yes yes no yes no yes no unknown no yes
lola:
preliminary result: yes unknown no yes yes no yes yes no yes no yes no unknown no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes unknown no yes yes no yes yes no yes no yes no unknown no yes
lola: memory consumption: 5887932 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: memory consumption: 5888128 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: yes unknown no yes yes no yes yes no yes no yes no unknown no yes
lola: memory consumption: 5888800 KB
lola: time consumption: 3572 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: yes unknown no yes yes no yes yes no yes no yes no unknown no yes
lola:
preliminary result: yes unknown no yes yes no yes yes no yes no yes no unknown no yes
lola: memory consumption: 16520 KB
lola: time consumption: 3575 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
rslt: finished

BK_STOP 1554424904714

--------------------
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="TriangularGrid-PT-5046"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
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-3954"
echo " Executing tool lola"
echo " Input is TriangularGrid-PT-5046, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-oct2-155297750700437"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TriangularGrid-PT-5046.tgz
mv TriangularGrid-PT-5046 execution
cd execution
if [ "CTLFireability" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "CTLFireability" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;