fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r168-smll-158987806200074
Last Updated
Jun 28, 2020

About the Execution of ITS-LoLa for CircularTrains-PT-096

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15785.540 3600000.00 3535194.00 49030.90 FFF?FF?TTFTFFT?F normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r168-smll-158987806200074.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is CircularTrains-PT-096, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806200074
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 4.2K Mar 30 01:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 30 01:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 08:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 26 07:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 07:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 73K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1591149069324

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 01:51:12] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 01:51:12] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 01:51:12] [INFO ] Load time of PNML (sax parser for PT used): 120 ms
[2020-06-03 01:51:12] [INFO ] Transformed 192 places.
[2020-06-03 01:51:12] [INFO ] Transformed 96 transitions.
[2020-06-03 01:51:12] [INFO ] Parsed PT model containing 192 places and 96 transitions in 203 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 33 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 561 steps, including 0 resets, run visited all 40 properties in 44 ms. (steps per millisecond=12 )
[2020-06-03 01:51:12] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-03 01:51:12] [INFO ] Flatten gal took : 97 ms
FORMULA CircularTrains-PT-096-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CircularTrains-PT-096-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CircularTrains-PT-096-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-03 01:51:12] [INFO ] Flatten gal took : 32 ms
[2020-06-03 01:51:12] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 7 ms.
[2020-06-03 01:51:12] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 7 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ CircularTrains-PT-096 @ 3570 seconds

FORMULA CircularTrains-PT-096-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-096-03 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ CircularTrains-PT-096

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 2,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G ((X (X (G (((1 <= p44) AND (1 <= p129))))) OR (((1 <= p44) AND (1 <= p129)) OR ((1 <= p18) AND (1 <= p190)))))",
"processed_size": 112,
"rewrites": 56
},
"result":
{
"edges": 843,
"markings": 843,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (F ((F (G (((1 <= p91) AND (1 <= p138)))) AND ((1 <= p73) AND (1 <= p115)))))",
"processed_size": 79,
"rewrites": 56
},
"result":
{
"edges": 845,
"markings": 844,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 326
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((1 <= p82) AND (1 <= p131))",
"processed_size": 28,
"rewrites": 58
},
"result":
{
"edges": 752,
"markings": 753,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 4,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 420
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 3,
"X": 2,
"aconj": 6,
"adisj": 1,
"aneg": 0,
"comp": 14,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 14,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "X (((((1 <= p141) AND (1 <= p174)) U X (((((1 <= p11) AND (1 <= p144)) U ((1 <= p146) AND (1 <= p171))) OR (((1 <= p141) AND (1 <= p174)) U (((1 <= p146) AND (1 <= p171)) OR ((1 <= p23) AND (1 <= p80))))))) AND ((1 <= p23) AND (1 <= p80))))",
"processed_size": 241,
"rewrites": 56
},
"result":
{
"edges": 872,
"markings": 872,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 490
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G (F (((1 <= p57) AND (1 <= p98))))",
"processed_size": 35,
"rewrites": 56
},
"result":
{
"edges": 1099,
"markings": 1004,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "fairness",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 588
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "((p45 <= 0) OR (p102 <= 0) OR (p1 <= 0) OR (p149 <= 0))",
"processed_size": 58,
"rewrites": 58
},
"result":
{
"edges": 803,
"markings": 803,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 6
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 784
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 3,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G ((G ((F (G (((1 <= p10) AND (1 <= p151)))) OR ((1 <= p10) AND (1 <= p151)))) AND ((1 <= p31) AND (1 <= p90))))",
"processed_size": 112,
"rewrites": 56
},
"result":
{
"edges": 802,
"markings": 801,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1177
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "F (G ((F (((1 <= p57) AND (1 <= p98))) AND ((1 <= p45) AND (1 <= p102)))))",
"processed_size": 74,
"rewrites": 56
},
"result":
{
"edges": 996,
"markings": 995,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2354
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 0,
"aconj": 4,
"adisj": 1,
"aneg": 3,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "G (F (((F (((p91 <= 0) OR (p138 <= 0))) AND G (((p37 <= 0) OR (p167 <= 0)))) OR (((p49 <= 0) OR (p173 <= 0)) AND ((p91 <= 0) OR (p138 <= 0))))))",
"processed_size": 148,
"rewrites": 56
},
"result":
{
"edges": 105092993,
"markings": 22761090,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 8769080,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "G((X(X(G(**))) OR (** OR **))) : F(G((F(**) AND (** AND **)))) : X(G((X((X(G(*)) OR F(**))) AND (F(**) OR **)))) : G(F(((F(*) AND G(*)) OR *))) : X(F((F(G(**)) AND (** AND **)))) : F((G(**) AND X(((** U **) OR F(**))))) : (X(X(G(*))) OR F(**)) : X(X(G(*))) : X(((** U X(((** U **) OR (** U **)))) AND (** AND **))) : G((G((F(G(**)) OR **)) AND (** AND **))) : (G(F(**)) OR (** U X(**))) : X(X(X((G(*) OR F(*))))) : F(**)"
},
"net":
{
"arcs": 384,
"conflict_clusters": 96,
"places": 192,
"places_significant": 95,
"singleton_clusters": 0,
"transitions": 96
},
"result":
{
"interim_value": "no no unknown no no unknown yes no no no yes unknown no ",
"preliminary_value": "no no unknown no no unknown yes no no no yes unknown no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 288/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 6144
lola: finding significant places
lola: 192 places, 96 transitions, 95 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: G (((X (NOT(X (NOT(G (((1 <= p44) AND (1 <= p129))))))) OR ((1 <= p44) AND (1 <= p129))) OR ((1 <= p18) AND (1 <= p190)))) : X (X (F (G (F (G (((F (((1 <= p57) AND (1 <= p98))) AND (1 <= p45)) AND (1 <= p102)))))))) : X (G ((X ((X (NOT(F (((1 <= p61) AND (1 <= p114))))) OR F (((1 <= p61) AND (1 <= p114))))) AND (F (((1 <= p137) AND (1 <= p168))) OR ((1 <= p22) AND (1 <= p88)))))) : NOT(X (X (F (G (X (((G (((1 <= p91) AND (1 <= p138))) OR F (((1 <= p37) AND (1 <= p167)))) AND (((1 <= p49) AND (1 <= p173)) OR ((1 <= p91) AND (1 <= p138)))))))))) : X (F (((F (G (((1 <= p91) AND (1 <= p138)))) AND (1 <= p73)) AND (1 <= p115)))) : F ((F (((1 <= p91) AND (1 <= p138))) U (G (((1 <= p15) AND (1 <= p55))) AND X (((((1 <= p91) AND (1 <= p138)) U ((1 <= p141) AND (1 <= p174))) OR F (((1 <= p101) AND (1 <= p150)))))))) : (X (G (X (NOT(F (((1 <= p125) AND (1 <= p156))))))) OR F (((p82 <= 0) OR (p131 <= 0)))) : X (G (NOT(X (((1 <= p33) AND (1 <= p165)))))) : X ((((((1 <= p141) AND (1 <= p174)) U X (((((1 <= p11) AND (1 <= p144)) U ((1 <= p146) AND (1 <= p171))) OR (((1 <= p141) AND (1 <= p174)) U (((1 <= p146) AND (1 <= p171)) OR ((1 <= p23) AND (1 <= p80))))))) AND (1 <= p23)) AND (1 <= p80))) : G (((G ((G (NOT(G (NOT(G (((1 <= p10) AND (1 <= p151))))))) OR ((1 <= p10) AND (1 <= p151)))) AND (1 <= p31)) AND (1 <= p90))) : (X (G (F (((1 <= p57) AND (1 <= p98))))) OR (((1 <= p86) AND (1 <= p148)) U X (((1 <= p53) AND (1 <= p109))))) : X (X ((NOT(X (F (((1 <= p25) AND (1 <= p132))))) OR NOT(X (G (((1 <= p31) AND (1 <= p90)))))))) : (F ((X (((1 <= p45) AND (1 <= p102))) OR F (G (X (((1 <= p14) AND (1 <= p17))))))) U F (((1 <= p45) AND (1 <= p102) AND (1 <= p1) AND (1 <= p149))))
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X (X (G (((1 <= p44) AND (1 <= p129))))) OR (((1 <= p44) AND (1 <= p129)) OR ((1 <= p18) AND (1 <= p190)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (X (G (((1 <= p44) AND (1 <= p129))))) OR (((1 <= p44) AND (1 <= p129)) OR ((1 <= p18) AND (1 <= p190)))))
lola: processed formula length: 112
lola: 56 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 843 markings, 843 edges
lola: ========================================
lola: subprocess 1 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((X ((X (G (((p61 <= 0) OR (p114 <= 0)))) OR F (((1 <= p61) AND (1 <= p114))))) AND (F (((1 <= p137) AND (1 <= p168))) OR ((1 <= p22) AND (1 <= p88))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((X ((X (G (((p61 <= 0) OR (p114 <= 0)))) OR F (((1 <= p61) AND (1 <= p114))))) AND (F (((1 <= p137) AND (1 <= p168))) OR ((1 <= p22) AND (1 <= p88))))))
lola: processed formula length: 159
lola: 56 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 868884 markings, 2486791 edges, 173777 markings/sec, 0 secs
lola: 1767781 markings, 5321367 edges, 179779 markings/sec, 5 secs
lola: 2685872 markings, 8257549 edges, 183618 markings/sec, 10 secs
lola: 3580720 markings, 11167031 edges, 178970 markings/sec, 15 secs
lola: 4446087 markings, 14003986 edges, 173073 markings/sec, 20 secs
lola: 5208002 markings, 16754569 edges, 152383 markings/sec, 25 secs
lola: 6047828 markings, 19609457 edges, 167965 markings/sec, 30 secs
lola: 6882886 markings, 22486775 edges, 167012 markings/sec, 35 secs
lola: 7687087 markings, 25361719 edges, 160840 markings/sec, 40 secs
lola: 8571356 markings, 28258382 edges, 176854 markings/sec, 45 secs
lola: 9483804 markings, 31098364 edges, 182490 markings/sec, 50 secs
lola: 10307300 markings, 33897195 edges, 164699 markings/sec, 55 secs
lola: 11028268 markings, 36599258 edges, 144194 markings/sec, 60 secs
lola: 11796778 markings, 39419585 edges, 153702 markings/sec, 65 secs
lola: 12637913 markings, 42202960 edges, 168227 markings/sec, 70 secs
lola: 13494591 markings, 45029066 edges, 171336 markings/sec, 75 secs
lola: 14373014 markings, 47843713 edges, 175685 markings/sec, 80 secs
lola: 15226952 markings, 50725742 edges, 170788 markings/sec, 85 secs
lola: 15996590 markings, 53546258 edges, 153928 markings/sec, 90 secs
lola: 16757906 markings, 56375968 edges, 152263 markings/sec, 95 secs
lola: 17467573 markings, 59189230 edges, 141933 markings/sec, 100 secs
lola: 18152559 markings, 61957883 edges, 136997 markings/sec, 105 secs
lola: 18878631 markings, 64774626 edges, 145214 markings/sec, 110 secs
lola: 19633764 markings, 67548390 edges, 151027 markings/sec, 115 secs
lola: 20372956 markings, 70302431 edges, 147838 markings/sec, 120 secs
lola: 21020927 markings, 73027604 edges, 129594 markings/sec, 125 secs
lola: 21726891 markings, 75756104 edges, 141193 markings/sec, 130 secs
lola: 22449615 markings, 78519505 edges, 144545 markings/sec, 135 secs
lola: 23234918 markings, 81330421 edges, 157061 markings/sec, 140 secs
lola: 24067682 markings, 84173458 edges, 166553 markings/sec, 145 secs
lola: 24829598 markings, 86980511 edges, 152383 markings/sec, 150 secs
lola: 25562496 markings, 89791450 edges, 146580 markings/sec, 155 secs
lola: 26267547 markings, 92560726 edges, 141010 markings/sec, 160 secs
lola: 26934444 markings, 95269758 edges, 133379 markings/sec, 165 secs
lola: 27651791 markings, 98005676 edges, 143469 markings/sec, 170 secs
lola: 28380481 markings, 100682659 edges, 145738 markings/sec, 175 secs
lola: 29111255 markings, 103422724 edges, 146155 markings/sec, 180 secs
lola: 29741451 markings, 106073699 edges, 126039 markings/sec, 185 secs
lola: 30432225 markings, 108740457 edges, 138155 markings/sec, 190 secs
lola: 31138533 markings, 111433704 edges, 141262 markings/sec, 195 secs
lola: 31855931 markings, 114062704 edges, 143480 markings/sec, 200 secs
lola: 32626046 markings, 116706138 edges, 154023 markings/sec, 205 secs
lola: 33343944 markings, 119355383 edges, 143580 markings/sec, 210 secs
lola: 34051717 markings, 122001221 edges, 141555 markings/sec, 215 secs
lola: 34756997 markings, 124584195 edges, 141056 markings/sec, 220 secs
lola: 35428643 markings, 127175506 edges, 134329 markings/sec, 225 secs
lola: 36192780 markings, 129853022 edges, 152827 markings/sec, 230 secs
lola: 36974444 markings, 132614510 edges, 156333 markings/sec, 235 secs
lola: 37705638 markings, 135290932 edges, 146239 markings/sec, 240 secs
lola: 38422494 markings, 137950952 edges, 143371 markings/sec, 245 secs
lola: 39241467 markings, 140742273 edges, 163795 markings/sec, 250 secs
lola: 39996364 markings, 143454409 edges, 150979 markings/sec, 255 secs
lola: 40709885 markings, 146146066 edges, 142704 markings/sec, 260 secs
lola: 41525593 markings, 148897040 edges, 163142 markings/sec, 265 secs
lola: 42316481 markings, 151601897 edges, 158178 markings/sec, 270 secs
lola: 43130932 markings, 154276807 edges, 162890 markings/sec, 275 secs
lola: 44015724 markings, 157097093 edges, 176958 markings/sec, 280 secs
lola: 44772631 markings, 159757435 edges, 151381 markings/sec, 285 secs
lola: 45523691 markings, 162548469 edges, 150212 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6607872 KB
lola: time consumption: 300 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((F (G (((1 <= p91) AND (1 <= p138)))) AND ((1 <= p73) AND (1 <= p115)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((F (G (((1 <= p91) AND (1 <= p138)))) AND ((1 <= p73) AND (1 <= p115)))))
lola: processed formula length: 79
lola: 56 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 844 markings, 845 edges
lola: ========================================
lola: subprocess 3 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G (((1 <= p15) AND (1 <= p55))) AND X (((((1 <= p91) AND (1 <= p138)) U ((1 <= p141) AND (1 <= p174))) OR F (((1 <= p101) AND (1 <= p150)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G (((1 <= p15) AND (1 <= p55))) AND X (((((1 <= p91) AND (1 <= p138)) U ((1 <= p141) AND (1 <= p174))) OR F (((1 <= p101) AND (1 <= p150)))))))
lola: processed formula length: 147
lola: 56 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 467582 markings, 3456815 edges, 93516 markings/sec, 0 secs
lola: 855928 markings, 6938785 edges, 77669 markings/sec, 5 secs
lola: 1243812 markings, 10426379 edges, 77577 markings/sec, 10 secs
lola: 1633031 markings, 13915493 edges, 77844 markings/sec, 15 secs
lola: 2019430 markings, 17333365 edges, 77280 markings/sec, 20 secs
lola: 2402669 markings, 20767005 edges, 76648 markings/sec, 25 secs
lola: 2792279 markings, 24215445 edges, 77922 markings/sec, 30 secs
lola: 3184108 markings, 27646898 edges, 78366 markings/sec, 35 secs
lola: 3578648 markings, 31016887 edges, 78908 markings/sec, 40 secs
lola: 3951936 markings, 34331160 edges, 74658 markings/sec, 45 secs
lola: 4337087 markings, 37796431 edges, 77030 markings/sec, 50 secs
lola: 4723944 markings, 41267028 edges, 77371 markings/sec, 55 secs
lola: 5120168 markings, 44767464 edges, 79245 markings/sec, 60 secs
lola: 5508430 markings, 48255456 edges, 77652 markings/sec, 65 secs
lola: 5880696 markings, 51738267 edges, 74453 markings/sec, 70 secs
lola: 6204402 markings, 55166180 edges, 64741 markings/sec, 75 secs
lola: 6526617 markings, 58574935 edges, 64443 markings/sec, 80 secs
lola: 6846734 markings, 61960330 edges, 64023 markings/sec, 85 secs
lola: 7171289 markings, 65344365 edges, 64911 markings/sec, 90 secs
lola: 7496172 markings, 68737426 edges, 64977 markings/sec, 95 secs
lola: 7817568 markings, 72059444 edges, 64279 markings/sec, 100 secs
lola: 8150340 markings, 75381258 edges, 66554 markings/sec, 105 secs
lola: 8461809 markings, 78739883 edges, 62294 markings/sec, 110 secs
lola: 8782840 markings, 82142463 edges, 64206 markings/sec, 115 secs
lola: 9122185 markings, 85566861 edges, 67869 markings/sec, 120 secs
lola: 9437043 markings, 88976432 edges, 62972 markings/sec, 125 secs
lola: 9807758 markings, 92425588 edges, 74143 markings/sec, 130 secs
lola: 10133902 markings, 95802591 edges, 65229 markings/sec, 135 secs
lola: 10460113 markings, 99208498 edges, 65242 markings/sec, 140 secs
lola: 10776048 markings, 102553369 edges, 63187 markings/sec, 145 secs
lola: 11097573 markings, 105906322 edges, 64305 markings/sec, 150 secs
lola: 11416153 markings, 109204174 edges, 63716 markings/sec, 155 secs
lola: 11734892 markings, 112455748 edges, 63748 markings/sec, 160 secs
lola: 12055621 markings, 115779011 edges, 64146 markings/sec, 165 secs
lola: 12370814 markings, 119122177 edges, 63039 markings/sec, 170 secs
lola: 12705947 markings, 122516161 edges, 67027 markings/sec, 175 secs
lola: 13020184 markings, 125912645 edges, 62847 markings/sec, 180 secs
lola: 13390716 markings, 129329007 edges, 74106 markings/sec, 185 secs
lola: 13713824 markings, 132678673 edges, 64622 markings/sec, 190 secs
lola: 14034602 markings, 136058381 edges, 64156 markings/sec, 195 secs
lola: 14349216 markings, 139384656 edges, 62923 markings/sec, 200 secs
lola: 14671556 markings, 142748276 edges, 64468 markings/sec, 205 secs
lola: 14990890 markings, 146047078 edges, 63867 markings/sec, 210 secs
lola: 15310604 markings, 149312772 edges, 63943 markings/sec, 215 secs
lola: 15630475 markings, 152631784 edges, 63974 markings/sec, 220 secs
lola: 15943555 markings, 155951802 edges, 62616 markings/sec, 225 secs
lola: 16248762 markings, 159040288 edges, 61041 markings/sec, 230 secs
lola: 16563008 markings, 162428043 edges, 62849 markings/sec, 235 secs
lola: 16934728 markings, 165867619 edges, 74344 markings/sec, 240 secs
lola: 17254683 markings, 169232542 edges, 63991 markings/sec, 245 secs
lola: 17579262 markings, 172616380 edges, 64916 markings/sec, 250 secs
lola: 17900019 markings, 175960454 edges, 64151 markings/sec, 255 secs
lola: 18223014 markings, 179251818 edges, 64599 markings/sec, 260 secs
lola: 18545722 markings, 182575600 edges, 64542 markings/sec, 265 secs
lola: 18858935 markings, 185893178 edges, 62643 markings/sec, 270 secs
lola: 19190546 markings, 189278920 edges, 66322 markings/sec, 275 secs
lola: 19540562 markings, 192599557 edges, 70003 markings/sec, 280 secs
lola: 19855653 markings, 195899503 edges, 63018 markings/sec, 285 secs
lola: 20171210 markings, 199185105 edges, 63111 markings/sec, 290 secs
lola: 20488574 markings, 202441085 edges, 63473 markings/sec, 295 secs
lola: 20810225 markings, 205681341 edges, 64330 markings/sec, 300 secs
lola: 21115262 markings, 208921334 edges, 61007 markings/sec, 305 secs
lola: 21437297 markings, 212211285 edges, 64407 markings/sec, 310 secs
lola: 21782477 markings, 215544306 edges, 69036 markings/sec, 315 secs
lola: 22107769 markings, 218893262 edges, 65058 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3072852 KB
lola: time consumption: 627 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X (G (((p125 <= 0) OR (p156 <= 0))))) OR F (((p82 <= 0) OR (p131 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((p82 <= 0) OR (p131 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((1 <= p82) AND (1 <= p131))
lola: processed formula length: 28
lola: 58 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 753 markings, 752 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 5 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (G (((p33 <= 0) OR (p165 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G (((p33 <= 0) OR (p165 <= 0)))))
lola: processed formula length: 40
lola: 56 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 843 markings, 843 edges
lola: ========================================
lola: subprocess 6 will run for 420 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((((1 <= p141) AND (1 <= p174)) U X (((((1 <= p11) AND (1 <= p144)) U ((1 <= p146) AND (1 <= p171))) OR (((1 <= p141) AND (1 <= p174)) U (((1 <= p146) AND (1 <= p171)) OR ((1 <= p23) AND (1 <= p80))))))) AND ((1 <= p23) AND (1 <= p80))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((((1 <= p141) AND (1 <= p174)) U X (((((1 <= p11) AND (1 <= p144)) U ((1 <= p146) AND (1 <= p171))) OR (((1 <= p141) AND (1 <= p174)) U (((1 <= p146) AND (1 <= p171)) OR ((1 <= p23) AND (1 <= p80))))))) AND ((1 <= p23) AND (1 <= p80))))
lola: processed formula length: 241
lola: 56 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 872 markings, 872 edges
lola: ========================================
lola: subprocess 7 will run for 490 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (F (((1 <= p57) AND (1 <= p98)))) OR (((1 <= p86) AND (1 <= p148)) U X (((1 <= p53) AND (1 <= p109)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 490 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((1 <= p57) AND (1 <= p98))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((1 <= p57) AND (1 <= p98))))
lola: processed formula length: 35
lola: 56 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1004 markings, 1099 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 8 will run for 588 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X ((G (((p25 <= 0) OR (p132 <= 0))) OR F (((p31 <= 0) OR (p90 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X ((G (((p25 <= 0) OR (p132 <= 0))) OR F (((p31 <= 0) OR (p90 <= 0)))))))
lola: processed formula length: 81
lola: 56 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1007837 markings, 2880019 edges, 201567 markings/sec, 0 secs
lola: 1985839 markings, 5884100 edges, 195600 markings/sec, 5 secs
lola: 2981939 markings, 8877220 edges, 199220 markings/sec, 10 secs
lola: 3839695 markings, 11641646 edges, 171551 markings/sec, 15 secs
lola: 4640234 markings, 14503092 edges, 160108 markings/sec, 20 secs
lola: 5461157 markings, 17372832 edges, 164185 markings/sec, 25 secs
lola: 6324039 markings, 20240787 edges, 172576 markings/sec, 30 secs
lola: 7129306 markings, 23104845 edges, 161053 markings/sec, 35 secs
lola: 7950593 markings, 25973634 edges, 164257 markings/sec, 40 secs
lola: 8805316 markings, 28827494 edges, 170945 markings/sec, 45 secs
lola: 9602595 markings, 31590986 edges, 159456 markings/sec, 50 secs
lola: 10452256 markings, 34467836 edges, 169932 markings/sec, 55 secs
lola: 11279113 markings, 37334277 edges, 165371 markings/sec, 60 secs
lola: 12094453 markings, 40086442 edges, 163068 markings/sec, 65 secs
lola: 12913769 markings, 42822898 edges, 163863 markings/sec, 70 secs
lola: 13730763 markings, 45577875 edges, 163399 markings/sec, 75 secs
lola: 14525634 markings, 48240362 edges, 158974 markings/sec, 80 secs
lola: 15348437 markings, 50991390 edges, 164561 markings/sec, 85 secs
lola: 16192030 markings, 53729400 edges, 168719 markings/sec, 90 secs
lola: 17101341 markings, 56545725 edges, 181862 markings/sec, 95 secs
lola: 17935149 markings, 59412665 edges, 166762 markings/sec, 100 secs
lola: 18701738 markings, 62181688 edges, 153318 markings/sec, 105 secs
lola: 19486072 markings, 64997826 edges, 156867 markings/sec, 110 secs
lola: 20277511 markings, 67787638 edges, 158288 markings/sec, 115 secs
lola: 21189230 markings, 70734819 edges, 182344 markings/sec, 120 secs
lola: 21980806 markings, 73615670 edges, 158315 markings/sec, 125 secs
lola: 22774144 markings, 76462536 edges, 158668 markings/sec, 130 secs
lola: 23558232 markings, 79264626 edges, 156818 markings/sec, 135 secs
lola: 24419935 markings, 82118729 edges, 172341 markings/sec, 140 secs
lola: 25350778 markings, 84994955 edges, 186169 markings/sec, 145 secs
lola: 26136968 markings, 87809393 edges, 157238 markings/sec, 150 secs
lola: 26945388 markings, 90608887 edges, 161684 markings/sec, 155 secs
lola: 27728859 markings, 93385469 edges, 156694 markings/sec, 160 secs
lola: 28392049 markings, 96065255 edges, 132638 markings/sec, 165 secs
lola: 29061580 markings, 98723386 edges, 133906 markings/sec, 170 secs
lola: 29790406 markings, 101528856 edges, 145765 markings/sec, 175 secs
lola: 30500805 markings, 104333487 edges, 142080 markings/sec, 180 secs
lola: 31182069 markings, 106965889 edges, 136253 markings/sec, 185 secs
lola: 31842120 markings, 109578508 edges, 132010 markings/sec, 190 secs
lola: 32549667 markings, 112290309 edges, 141509 markings/sec, 195 secs
lola: 33250577 markings, 114983147 edges, 140182 markings/sec, 200 secs
lola: 33952132 markings, 117676217 edges, 140311 markings/sec, 205 secs
lola: 34645473 markings, 120322897 edges, 138668 markings/sec, 210 secs
lola: 35353992 markings, 122972032 edges, 141704 markings/sec, 215 secs
lola: 36087427 markings, 125598815 edges, 146687 markings/sec, 220 secs
lola: 36821118 markings, 128392211 edges, 146738 markings/sec, 225 secs
lola: 37485005 markings, 131118013 edges, 132777 markings/sec, 230 secs
lola: 38165418 markings, 133868803 edges, 136083 markings/sec, 235 secs
lola: 38892748 markings, 136623394 edges, 145466 markings/sec, 240 secs
lola: 39592255 markings, 139397171 edges, 139901 markings/sec, 245 secs
lola: 40235204 markings, 142024514 edges, 128590 markings/sec, 250 secs
lola: 40913406 markings, 144749133 edges, 135640 markings/sec, 255 secs
lola: 41697721 markings, 147583838 edges, 156863 markings/sec, 260 secs
lola: 42485793 markings, 150228597 edges, 157614 markings/sec, 265 secs
lola: 43236368 markings, 152830128 edges, 150115 markings/sec, 270 secs
lola: 43969107 markings, 155542733 edges, 146548 markings/sec, 275 secs
lola: 44654486 markings, 158257085 edges, 137076 markings/sec, 280 secs
lola: 45330720 markings, 160857274 edges, 135247 markings/sec, 285 secs
lola: 45972623 markings, 163385108 edges, 128381 markings/sec, 290 secs
lola: 46649097 markings, 166003160 edges, 135295 markings/sec, 295 secs
lola: 47337129 markings, 168643020 edges, 137606 markings/sec, 300 secs
lola: 48018656 markings, 171252406 edges, 136305 markings/sec, 305 secs
lola: 48701147 markings, 173878456 edges, 136498 markings/sec, 310 secs
lola: 49385491 markings, 176453022 edges, 136869 markings/sec, 315 secs
lola: 50070348 markings, 179004494 edges, 136971 markings/sec, 320 secs
lola: 50797091 markings, 181616232 edges, 145349 markings/sec, 325 secs
lola: 51447413 markings, 184278358 edges, 130064 markings/sec, 330 secs
lola: 52114495 markings, 186966603 edges, 133416 markings/sec, 335 secs
lola: 52819108 markings, 189600125 edges, 140923 markings/sec, 340 secs
lola: 53468253 markings, 192259169 edges, 129829 markings/sec, 345 secs
lola: 54135942 markings, 194949843 edges, 133538 markings/sec, 350 secs
lola: 54871212 markings, 197663590 edges, 147054 markings/sec, 355 secs
lola: 55649103 markings, 200255030 edges, 155578 markings/sec, 360 secs
lola: 56383190 markings, 202790914 edges, 146817 markings/sec, 365 secs
lola: 57095825 markings, 205393605 edges, 142527 markings/sec, 370 secs
lola: 57772351 markings, 208074636 edges, 135305 markings/sec, 375 secs
lola: 58449166 markings, 210679927 edges, 135363 markings/sec, 380 secs
lola: 59094925 markings, 213251727 edges, 129152 markings/sec, 385 secs
lola: 59776375 markings, 215864882 edges, 136290 markings/sec, 390 secs
lola: 60467530 markings, 218522336 edges, 138231 markings/sec, 395 secs
lola: 61138990 markings, 221107485 edges, 134292 markings/sec, 400 secs
lola: 61842935 markings, 223810653 edges, 140789 markings/sec, 405 secs
lola: 62517731 markings, 226379325 edges, 134959 markings/sec, 410 secs
lola: 63224095 markings, 228989490 edges, 141273 markings/sec, 415 secs
lola: 63937616 markings, 231537536 edges, 142704 markings/sec, 420 secs
lola: 64582085 markings, 234158172 edges, 128894 markings/sec, 425 secs
lola: 65241797 markings, 236828311 edges, 131942 markings/sec, 430 secs
lola: 65928380 markings, 239415501 edges, 137317 markings/sec, 435 secs
lola: 66565365 markings, 241997716 edges, 127397 markings/sec, 440 secs
lola: 67222671 markings, 244651783 edges, 131461 markings/sec, 445 secs
lola: 67923315 markings, 247317262 edges, 140129 markings/sec, 450 secs
lola: 68697098 markings, 249916255 edges, 154757 markings/sec, 455 secs
lola: 69412156 markings, 252393824 edges, 143012 markings/sec, 460 secs
lola: 70088257 markings, 254918280 edges, 135220 markings/sec, 465 secs
lola: 70742345 markings, 257426367 edges, 130818 markings/sec, 470 secs
lola: 71395091 markings, 259922158 edges, 130549 markings/sec, 475 secs
lola: 72046995 markings, 262424699 edges, 130381 markings/sec, 480 secs
lola: 72694113 markings, 264854395 edges, 129424 markings/sec, 485 secs
lola: 73348869 markings, 267293424 edges, 130951 markings/sec, 490 secs
lola: 74036912 markings, 269762275 edges, 137609 markings/sec, 495 secs
lola: 74671710 markings, 272329722 edges, 126960 markings/sec, 500 secs
lola: 75336082 markings, 274841185 edges, 132874 markings/sec, 505 secs
lola: 75976599 markings, 277417608 edges, 128103 markings/sec, 510 secs
lola: 76647454 markings, 279978954 edges, 134171 markings/sec, 515 secs
lola: 77449393 markings, 282656922 edges, 160388 markings/sec, 520 secs
lola: 78173284 markings, 285307260 edges, 144778 markings/sec, 525 secs
lola: 78868215 markings, 287974875 edges, 138986 markings/sec, 530 secs
lola: 79558420 markings, 290601109 edges, 138041 markings/sec, 535 secs
lola: 80261578 markings, 293226845 edges, 140632 markings/sec, 540 secs
lola: 80999697 markings, 295875672 edges, 147624 markings/sec, 545 secs
lola: 81690009 markings, 298593643 edges, 138062 markings/sec, 550 secs
lola: 82390345 markings, 301274796 edges, 140067 markings/sec, 555 secs
lola: 83066990 markings, 303964047 edges, 135329 markings/sec, 560 secs
lola: 83845090 markings, 306595027 edges, 155620 markings/sec, 565 secs
lola: 84553971 markings, 309079743 edges, 141776 markings/sec, 570 secs
lola: 85197826 markings, 311542802 edges, 128771 markings/sec, 575 secs
lola: 85852689 markings, 314059396 edges, 130973 markings/sec, 580 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown yes no no unknown yes unknown unknown
lola: memory consumption: 12328520 KB
lola: time consumption: 1216 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 588 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p45) AND (1 <= p102) AND (1 <= p1) AND (1 <= p149)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p45 <= 0) OR (p102 <= 0) OR (p1 <= 0) OR (p149 <= 0))
lola: processed formula length: 58
lola: 58 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 803 markings, 803 edges
lola: ========================================
lola: subprocess 10 will run for 784 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((G ((F (G (((1 <= p10) AND (1 <= p151)))) OR ((1 <= p10) AND (1 <= p151)))) AND ((1 <= p31) AND (1 <= p90))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((G ((F (G (((1 <= p10) AND (1 <= p151)))) OR ((1 <= p10) AND (1 <= p151)))) AND ((1 <= p31) AND (1 <= p90))))
lola: processed formula length: 112
lola: 56 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 801 markings, 802 edges
lola: ========================================
lola: subprocess 11 will run for 1177 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F (((1 <= p57) AND (1 <= p98))) AND ((1 <= p45) AND (1 <= p102)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F (((1 <= p57) AND (1 <= p98))) AND ((1 <= p45) AND (1 <= p102)))))
lola: processed formula length: 74
lola: 56 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 995 markings, 996 edges
lola: ========================================
lola: subprocess 12 will run for 2354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((F (((p91 <= 0) OR (p138 <= 0))) AND G (((p37 <= 0) OR (p167 <= 0)))) OR (((p49 <= 0) OR (p173 <= 0)) AND ((p91 <= 0) OR (p138 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((F (((p91 <= 0) OR (p138 <= 0))) AND G (((p37 <= 0) OR (p167 <= 0)))) OR (((p49 <= 0) OR (p173 <= 0)) AND ((p91 <= 0) OR (p138 <= 0))))))
lola: processed formula length: 148
lola: 56 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 980022 markings, 2507575 edges, 196004 markings/sec, 0 secs
lola: 1786790 markings, 5039410 edges, 161354 markings/sec, 5 secs
lola: 2588593 markings, 7615495 edges, 160361 markings/sec, 10 secs
lola: 3393695 markings, 10254661 edges, 161020 markings/sec, 15 secs
lola: 4255691 markings, 12859528 edges, 172399 markings/sec, 20 secs
lola: 5074172 markings, 15405229 edges, 163696 markings/sec, 25 secs
lola: 5869567 markings, 17879340 edges, 159079 markings/sec, 30 secs
lola: 6703641 markings, 20411893 edges, 166815 markings/sec, 35 secs
lola: 7547814 markings, 23045254 edges, 168835 markings/sec, 40 secs
lola: 8382636 markings, 25577124 edges, 166964 markings/sec, 45 secs
lola: 9217916 markings, 28103081 edges, 167056 markings/sec, 50 secs
lola: 10055447 markings, 30644729 edges, 167506 markings/sec, 55 secs
lola: 10849457 markings, 33256906 edges, 158802 markings/sec, 60 secs
lola: 11558278 markings, 35907107 edges, 141764 markings/sec, 65 secs
lola: 12082655 markings, 38573626 edges, 104875 markings/sec, 70 secs
lola: 12565306 markings, 41350541 edges, 96530 markings/sec, 75 secs
lola: 13009521 markings, 44120628 edges, 88843 markings/sec, 80 secs
lola: 13463270 markings, 47000801 edges, 90750 markings/sec, 85 secs
lola: 13919721 markings, 49940856 edges, 91290 markings/sec, 90 secs
lola: 14364076 markings, 52898859 edges, 88871 markings/sec, 95 secs
lola: 14836729 markings, 55927075 edges, 94531 markings/sec, 100 secs
lola: 15326294 markings, 58886479 edges, 97913 markings/sec, 105 secs
lola: 15803373 markings, 61817210 edges, 95416 markings/sec, 110 secs
lola: 16288046 markings, 64778118 edges, 96935 markings/sec, 115 secs
lola: 16739531 markings, 67681159 edges, 90297 markings/sec, 120 secs
lola: 17198419 markings, 70466036 edges, 91778 markings/sec, 125 secs
lola: 17657279 markings, 73321770 edges, 91772 markings/sec, 130 secs
lola: 18146105 markings, 76230826 edges, 97765 markings/sec, 135 secs
lola: 18610490 markings, 79209861 edges, 92877 markings/sec, 140 secs
lola: 19111858 markings, 82191756 edges, 100274 markings/sec, 145 secs
lola: 19585861 markings, 85069787 edges, 94801 markings/sec, 150 secs
lola: 20031632 markings, 87869612 edges, 89154 markings/sec, 155 secs
lola: 20524217 markings, 90805042 edges, 98517 markings/sec, 160 secs
lola: 21001862 markings, 93680881 edges, 95529 markings/sec, 165 secs
lola: 21489429 markings, 96650407 edges, 97513 markings/sec, 170 secs
lola: 21953477 markings, 99668049 edges, 92810 markings/sec, 175 secs
lola: 22374330 markings, 102537640 edges, 84171 markings/sec, 180 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 22761090 markings, 105092993 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (G ((X ((X (G (((p61 <= 0) OR (p114 <= 0)))) OR F (((1 <= p61) AND (1 <= p114))))) AND (F (((1 <= p137) AND (1 <= p168))) OR ((1 <= p22) AND (1 <= p88))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((X ((X (G (((p61 <= 0) OR (p114 <= 0)))) OR F (((1 <= p61) AND (1 <= p114))))) AND (F (((1 <= p137) AND (1 <= p168))) OR ((1 <= p22) AND (1 <= p88))))))
lola: processed formula length: 159
lola: 56 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 991355 markings, 2893507 edges, 198271 markings/sec, 0 secs
lola: 1934953 markings, 5805200 edges, 188720 markings/sec, 5 secs
lola: 2842683 markings, 8728735 edges, 181546 markings/sec, 10 secs
lola: 3696943 markings, 11482304 edges, 170852 markings/sec, 15 secs
lola: 4522906 markings, 14273557 edges, 165193 markings/sec, 20 secs
lola: 5271915 markings, 17003800 edges, 149802 markings/sec, 25 secs
lola: 6120484 markings, 19844043 edges, 169714 markings/sec, 30 secs
lola: 6944779 markings, 22707269 edges, 164859 markings/sec, 35 secs
lola: 7742962 markings, 25550381 edges, 159637 markings/sec, 40 secs
lola: 8617406 markings, 28418352 edges, 174889 markings/sec, 45 secs
lola: 9519240 markings, 31228760 edges, 180367 markings/sec, 50 secs
lola: 10333558 markings, 33993772 edges, 162864 markings/sec, 55 secs
lola: 11049055 markings, 36682834 edges, 143099 markings/sec, 60 secs
lola: 11806428 markings, 39453913 edges, 151475 markings/sec, 65 secs
lola: 12634337 markings, 42189356 edges, 165582 markings/sec, 70 secs
lola: 13487100 markings, 45001454 edges, 170553 markings/sec, 75 secs
lola: 14352612 markings, 47790203 edges, 173102 markings/sec, 80 secs
lola: 15200880 markings, 50641206 edges, 169654 markings/sec, 85 secs
lola: 15962060 markings, 53431626 edges, 152236 markings/sec, 90 secs
lola: 16717701 markings, 56212994 edges, 151128 markings/sec, 95 secs
lola: 17413981 markings, 58996633 edges, 139256 markings/sec, 100 secs
lola: 18106686 markings, 61756112 edges, 138541 markings/sec, 105 secs
lola: 18815108 markings, 64529834 edges, 141684 markings/sec, 110 secs
lola: 19561614 markings, 67298984 edges, 149301 markings/sec, 115 secs
lola: 20312968 markings, 70045779 edges, 150271 markings/sec, 120 secs
lola: 20948008 markings, 72738419 edges, 127008 markings/sec, 125 secs
lola: 21634391 markings, 75406309 edges, 137277 markings/sec, 130 secs
lola: 22357811 markings, 78146680 edges, 144684 markings/sec, 135 secs
lola: 23093885 markings, 80894646 edges, 147215 markings/sec, 140 secs
lola: 23936207 markings, 83740741 edges, 168464 markings/sec, 145 secs
lola: 24696335 markings, 86530288 edges, 152026 markings/sec, 150 secs
lola: 25455982 markings, 89332561 edges, 151929 markings/sec, 155 secs
lola: 26120700 markings, 91989342 edges, 132944 markings/sec, 160 secs
lola: 26801452 markings, 94698830 edges, 136150 markings/sec, 165 secs
lola: 27496587 markings, 97412929 edges, 139027 markings/sec, 170 secs
lola: 28212723 markings, 100100775 edges, 143227 markings/sec, 175 secs
lola: 28955321 markings, 102797285 edges, 148520 markings/sec, 180 secs
lola: 29596862 markings, 105467912 edges, 128308 markings/sec, 185 secs
lola: 30258793 markings, 108113616 edges, 132386 markings/sec, 190 secs
lola: 30959376 markings, 110769590 edges, 140117 markings/sec, 195 secs
lola: 31655032 markings, 113409412 edges, 139131 markings/sec, 200 secs
lola: 32448139 markings, 116054459 edges, 158621 markings/sec, 205 secs
lola: 33174452 markings, 118674674 edges, 145263 markings/sec, 210 secs
lola: 33835635 markings, 121185690 edges, 132237 markings/sec, 215 secs
lola: 34514903 markings, 123637589 edges, 135854 markings/sec, 220 secs
lola: 35181585 markings, 126250579 edges, 133336 markings/sec, 225 secs
lola: 35892594 markings, 128889507 edges, 142202 markings/sec, 230 secs
lola: 36712766 markings, 131639965 edges, 164034 markings/sec, 235 secs
lola: 37448515 markings, 134307086 edges, 147150 markings/sec, 240 secs
lola: 38149140 markings, 136956642 edges, 140125 markings/sec, 245 secs
lola: 38960840 markings, 139730217 edges, 162340 markings/sec, 250 secs
lola: 39704553 markings, 142448133 edges, 148743 markings/sec, 255 secs
lola: 40442050 markings, 145155375 edges, 147499 markings/sec, 260 secs
lola: 41234236 markings, 147904344 edges, 158437 markings/sec, 265 secs
lola: 42024331 markings, 150633078 edges, 158019 markings/sec, 270 secs
lola: 42835812 markings, 153318148 edges, 162296 markings/sec, 275 secs
lola: 43717314 markings, 156068274 edges, 176300 markings/sec, 280 secs
lola: 44555880 markings, 158923249 edges, 167713 markings/sec, 285 secs
lola: 45291924 markings, 161698356 edges, 147209 markings/sec, 290 secs
lola: 46073581 markings, 164536143 edges, 156331 markings/sec, 295 secs
lola: 46830716 markings, 167307724 edges, 151427 markings/sec, 300 secs
lola: 47575434 markings, 170104648 edges, 148944 markings/sec, 305 secs
lola: 48287367 markings, 172866104 edges, 142387 markings/sec, 310 secs
lola: 49058984 markings, 175666817 edges, 154323 markings/sec, 315 secs
lola: 49728593 markings, 178438725 edges, 133922 markings/sec, 320 secs
lola: 50421155 markings, 181223957 edges, 138512 markings/sec, 325 secs
lola: 51055506 markings, 183960090 edges, 126870 markings/sec, 330 secs
lola: 51698820 markings, 186738232 edges, 128663 markings/sec, 335 secs
lola: 52432049 markings, 189527914 edges, 146646 markings/sec, 340 secs
lola: 53095468 markings, 192271318 edges, 132684 markings/sec, 345 secs
lola: 53769763 markings, 194983732 edges, 134859 markings/sec, 350 secs
lola: 54392723 markings, 197687441 edges, 124592 markings/sec, 355 secs
lola: 55018725 markings, 200387559 edges, 125200 markings/sec, 360 secs
lola: 55719985 markings, 203053456 edges, 140252 markings/sec, 365 secs
lola: 56373830 markings, 205668442 edges, 130769 markings/sec, 370 secs
lola: 56962304 markings, 208157948 edges, 117695 markings/sec, 375 secs
lola: 57674734 markings, 210872228 edges, 142486 markings/sec, 380 secs
lola: 58349398 markings, 213572089 edges, 134933 markings/sec, 385 secs
lola: 59029160 markings, 216274609 edges, 135952 markings/sec, 390 secs
lola: 59727149 markings, 218999022 edges, 139598 markings/sec, 395 secs
lola: 60439409 markings, 221681097 edges, 142452 markings/sec, 400 secs
lola: 61277576 markings, 224472466 edges, 167633 markings/sec, 405 secs
lola: 62059947 markings, 227217864 edges, 156474 markings/sec, 410 secs
lola: 62803740 markings, 229982844 edges, 148759 markings/sec, 415 secs
lola: 63589972 markings, 232753177 edges, 157246 markings/sec, 420 secs
lola: 64300496 markings, 235498104 edges, 142105 markings/sec, 425 secs
lola: 65026087 markings, 238225713 edges, 145118 markings/sec, 430 secs
lola: 65746686 markings, 240947571 edges, 144120 markings/sec, 435 secs
lola: 66504651 markings, 243745050 edges, 151593 markings/sec, 440 secs
lola: 67156352 markings, 246491686 edges, 130340 markings/sec, 445 secs
lola: 67839303 markings, 249220943 edges, 136590 markings/sec, 450 secs
lola: 68464209 markings, 251917767 edges, 124981 markings/sec, 455 secs
lola: 69087354 markings, 254611801 edges, 124629 markings/sec, 460 secs
lola: 69828695 markings, 257398260 edges, 148268 markings/sec, 465 secs
lola: 70466450 markings, 260101250 edges, 127551 markings/sec, 470 secs
lola: 71140538 markings, 262781723 edges, 134818 markings/sec, 475 secs
lola: 71755134 markings, 265442276 edges, 122919 markings/sec, 480 secs
lola: 72365767 markings, 268085212 edges, 122127 markings/sec, 485 secs
lola: 73062221 markings, 270740838 edges, 139291 markings/sec, 490 secs
lola: 73702694 markings, 273319719 edges, 128095 markings/sec, 495 secs
lola: 74311876 markings, 275870656 edges, 121836 markings/sec, 500 secs
lola: 75014825 markings, 278551077 edges, 140590 markings/sec, 505 secs
lola: 75683842 markings, 281210775 edges, 133803 markings/sec, 510 secs
lola: 76353246 markings, 283885056 edges, 133881 markings/sec, 515 secs
lola: 77041473 markings, 286575183 edges, 137645 markings/sec, 520 secs
lola: 77751525 markings, 289222025 edges, 142010 markings/sec, 525 secs
lola: 78551883 markings, 291867583 edges, 160072 markings/sec, 530 secs
lola: 79348190 markings, 294566495 edges, 159261 markings/sec, 535 secs
lola: 80048038 markings, 297253071 edges, 139970 markings/sec, 540 secs
lola: 80743467 markings, 299920113 edges, 139086 markings/sec, 545 secs
lola: 81430996 markings, 302525131 edges, 137506 markings/sec, 550 secs
lola: 82132944 markings, 305129582 edges, 140390 markings/sec, 555 secs
lola: 82863976 markings, 307786714 edges, 146206 markings/sec, 560 secs
lola: 83680491 markings, 310471416 edges, 163303 markings/sec, 565 secs
lola: 84435732 markings, 313125760 edges, 151048 markings/sec, 570 secs
lola: 85256394 markings, 315826099 edges, 164132 markings/sec, 575 secs
lola: 86015761 markings, 318494469 edges, 151873 markings/sec, 580 secs
lola: 86909134 markings, 321231154 edges, 178675 markings/sec, 585 secs
lola: 87692313 markings, 323974355 edges, 156636 markings/sec, 590 secs
lola: 88448276 markings, 326699869 edges, 151193 markings/sec, 595 secs
lola: 89086602 markings, 329241494 edges, 127665 markings/sec, 600 secs
lola: 89751418 markings, 331850513 edges, 132963 markings/sec, 605 secs
lola: 90374667 markings, 334381178 edges, 124650 markings/sec, 610 secs
lola: 91058426 markings, 336942897 edges, 136752 markings/sec, 615 secs
lola: 91748730 markings, 339439958 edges, 138061 markings/sec, 620 secs
lola: 92418613 markings, 342055087 edges, 133977 markings/sec, 625 secs
lola: 93022138 markings, 344584883 edges, 120705 markings/sec, 630 secs
lola: 93683503 markings, 347119205 edges, 132273 markings/sec, 635 secs
lola: 94364295 markings, 349719418 edges, 136158 markings/sec, 640 secs
lola: 95085027 markings, 352328301 edges, 144146 markings/sec, 645 secs
lola: 95687237 markings, 354753397 edges, 120442 markings/sec, 650 secs
lola: 96278843 markings, 357219296 edges, 118321 markings/sec, 655 secs
lola: 96855525 markings, 359674925 edges, 115336 markings/sec, 660 secs
lola: 97444124 markings, 362081976 edges, 117720 markings/sec, 665 secs
lola: 97980449 markings, 364485360 edges, 107265 markings/sec, 670 secs
lola: 98566627 markings, 366931319 edges, 117236 markings/sec, 675 secs
lola: 99213422 markings, 369449648 edges, 129359 markings/sec, 680 secs
lola: 99797330 markings, 371858986 edges, 116782 markings/sec, 685 secs
lola: 100375676 markings, 374227387 edges, 115669 markings/sec, 690 secs
lola: 100938429 markings, 376617536 edges, 112551 markings/sec, 695 secs
lola: 101589105 markings, 379156928 edges, 130135 markings/sec, 700 secs
lola: 102190475 markings, 381661534 edges, 120274 markings/sec, 705 secs
lola: 102791379 markings, 384142695 edges, 120181 markings/sec, 710 secs
lola: 103384015 markings, 386632322 edges, 118527 markings/sec, 715 secs
lola: 104043757 markings, 389149799 edges, 131948 markings/sec, 720 secs
lola: 104677897 markings, 391637663 edges, 126828 markings/sec, 725 secs
lola: 105312122 markings, 394062671 edges, 126845 markings/sec, 730 secs
lola: 106006980 markings, 396558778 edges, 138972 markings/sec, 735 secs
lola: 106671534 markings, 399217745 edges, 132911 markings/sec, 740 secs
lola: 107295671 markings, 401800134 edges, 124827 markings/sec, 745 secs
lola: 107913303 markings, 404366415 edges, 123526 markings/sec, 750 secs
lola: 108516369 markings, 406961144 edges, 120613 markings/sec, 755 secs
lola: 109147286 markings, 409547803 edges, 126183 markings/sec, 760 secs
lola: 109706109 markings, 412033037 edges, 111765 markings/sec, 765 secs
lola: 110225718 markings, 414406108 edges, 103922 markings/sec, 770 secs
lola: 110783121 markings, 416915305 edges, 111481 markings/sec, 775 secs
lola: 111318475 markings, 419287392 edges, 107071 markings/sec, 780 secs
lola: 111778062 markings, 421361487 edges, 91917 markings/sec, 785 secs
lola: 112166002 markings, 423057562 edges, 77588 markings/sec, 790 secs
lola: 112706441 markings, 425531104 edges, 108088 markings/sec, 795 secs
lola: 113296136 markings, 428063314 edges, 117939 markings/sec, 800 secs
lola: 113877534 markings, 430508656 edges, 116280 markings/sec, 805 secs
lola: 114531340 markings, 432982225 edges, 130761 markings/sec, 810 secs
lola: 115145043 markings, 435531931 edges, 122741 markings/sec, 815 secs
lola: 115763525 markings, 438018207 edges, 123696 markings/sec, 820 secs
lola: 116339210 markings, 440517252 edges, 115137 markings/sec, 825 secs
lola: 116926135 markings, 443045994 edges, 117385 markings/sec, 830 secs
lola: 117535435 markings, 445524092 edges, 121860 markings/sec, 835 secs
lola: 118080383 markings, 447949070 edges, 108990 markings/sec, 840 secs
lola: 118589766 markings, 450319346 edges, 101877 markings/sec, 845 secs
lola: 119143548 markings, 452761204 edges, 110756 markings/sec, 850 secs
lola: 119661385 markings, 455100898 edges, 103567 markings/sec, 855 secs
lola: 120221169 markings, 457559509 edges, 111957 markings/sec, 860 secs
lola: 120761147 markings, 459998836 edges, 107996 markings/sec, 865 secs
lola: 121322531 markings, 462462204 edges, 112277 markings/sec, 870 secs
lola: 121890179 markings, 464886767 edges, 113530 markings/sec, 875 secs
lola: 122508263 markings, 467304451 edges, 123617 markings/sec, 880 secs
lola: 123156639 markings, 469839638 edges, 129675 markings/sec, 885 secs
lola: 123745835 markings, 472298617 edges, 117839 markings/sec, 890 secs
lola: 124326017 markings, 474758829 edges, 116036 markings/sec, 895 secs
lola: 124958620 markings, 477237031 edges, 126521 markings/sec, 900 secs
lola: 125602282 markings, 479737438 edges, 128732 markings/sec, 905 secs
lola: 126271162 markings, 482267544 edges, 133776 markings/sec, 910 secs
lola: 126967211 markings, 484813620 edges, 139210 markings/sec, 915 secs
lola: 127201421 markings, 485557757 edges, 46842 markings/sec, 920 secs
lola: 127371465 markings, 486157129 edges, 34009 markings/sec, 925 secs
lola: 127588134 markings, 486905131 edges, 43334 markings/sec, 930 secs
lola: 127818859 markings, 487750692 edges, 46145 markings/sec, 935 secs
lola: 128056814 markings, 488573539 edges, 47591 markings/sec, 940 secs
lola: 128256607 markings, 489309231 edges, 39959 markings/sec, 945 secs
lola: 128472077 markings, 490176366 edges, 43094 markings/sec, 950 secs
lola: 128664601 markings, 490878382 edges, 38505 markings/sec, 955 secs
lola: 128873379 markings, 491650849 edges, 41756 markings/sec, 960 secs
lola: 129068884 markings, 492387248 edges, 39101 markings/sec, 965 secs
lola: 129267179 markings, 493069319 edges, 39659 markings/sec, 970 secs
lola: 129446872 markings, 493718175 edges, 35939 markings/sec, 975 secs
lola: 129683534 markings, 494617099 edges, 47332 markings/sec, 980 secs
lola: 129983975 markings, 495839746 edges, 60088 markings/sec, 985 secs
lola: 130252520 markings, 496818480 edges, 53709 markings/sec, 990 secs
lola: 130443810 markings, 497556485 edges, 38258 markings/sec, 995 secs
lola: 130755031 markings, 498709879 edges, 62244 markings/sec, 1000 secs
lola: 131022353 markings, 499613678 edges, 53464 markings/sec, 1005 secs
lola: 131222378 markings, 500364421 edges, 40005 markings/sec, 1010 secs
lola: 131428030 markings, 501186116 edges, 41130 markings/sec, 1015 secs
lola: 131619366 markings, 501969414 edges, 38267 markings/sec, 1020 secs
lola: 131801740 markings, 502732602 edges, 36475 markings/sec, 1025 secs
lola: 131978727 markings, 503501106 edges, 35397 markings/sec, 1030 secs
lola: 132144939 markings, 504161139 edges, 33242 markings/sec, 1035 secs
lola: 132329476 markings, 504881673 edges, 36907 markings/sec, 1040 secs
lola: 132497829 markings, 505622077 edges, 33671 markings/sec, 1045 secs
lola: 132652024 markings, 506310755 edges, 30839 markings/sec, 1050 secs
lola: 132791830 markings, 506875211 edges, 27961 markings/sec, 1055 secs
lola: 132942697 markings, 507512860 edges, 30173 markings/sec, 1060 secs
lola: 133129778 markings, 508302122 edges, 37416 markings/sec, 1065 secs
lola: 133319319 markings, 509009290 edges, 37908 markings/sec, 1070 secs
lola: 133533509 markings, 509806866 edges, 42838 markings/sec, 1075 secs
lola: 133780852 markings, 510780392 edges, 49469 markings/sec, 1080 secs
lola: 134007982 markings, 511753625 edges, 45426 markings/sec, 1085 secs
lola: 134265866 markings, 512841593 edges, 51577 markings/sec, 1090 secs
lola: 134488752 markings, 513731781 edges, 44577 markings/sec, 1095 secs
lola: 134774590 markings, 514907593 edges, 57168 markings/sec, 1100 secs
lola: 135022466 markings, 515997567 edges, 49575 markings/sec, 1105 secs
lola: 135299189 markings, 517134955 edges, 55345 markings/sec, 1110 secs
lola: 135601581 markings, 518347661 edges, 60478 markings/sec, 1115 secs
lola: 135812244 markings, 519144506 edges, 42133 markings/sec, 1120 secs
lola: 136057523 markings, 520099779 edges, 49056 markings/sec, 1125 secs
lola: 136288922 markings, 521040364 edges, 46280 markings/sec, 1130 secs
lola: 136531872 markings, 522011232 edges, 48590 markings/sec, 1135 secs
lola: 136796330 markings, 522975839 edges, 52892 markings/sec, 1140 secs
lola: 137007221 markings, 523820218 edges, 42178 markings/sec, 1145 secs
lola: 137231186 markings, 524637518 edges, 44793 markings/sec, 1150 secs
lola: 137487073 markings, 525642591 edges, 51177 markings/sec, 1155 secs
lola: 137707774 markings, 526444676 edges, 44140 markings/sec, 1160 secs
lola: 138244729 markings, 528358708 edges, 107391 markings/sec, 1165 secs
lola: 138803923 markings, 530579724 edges, 111839 markings/sec, 1170 secs
lola: 138837459 markings, 530718242 edges, 6707 markings/sec, 1175 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: F ((G (((1 <= p15) AND (1 <= p55))) AND X (((((1 <= p91) AND (1 <= p138)) U ((1 <= p141) AND (1 <= p174))) OR F (((1 <= p101) AND (1 <= p150)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G (((1 <= p15) AND (1 <= p55))) AND X (((((1 <= p91) AND (1 <= p138)) U ((1 <= p141) AND (1 <= p174))) OR F (((1 <= p101) AND (1 <= p150)))))))
lola: processed formula length: 147
lola: 56 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 400315 markings, 2955349 edges, 80063 markings/sec, 0 secs
lola: 801887 markings, 6448928 edges, 80314 markings/sec, 5 secs
lola: 1190356 markings, 9943892 edges, 77694 markings/sec, 10 secs
lola: 1576798 markings, 13406925 edges, 77288 markings/sec, 15 secs
lola: 1965229 markings, 16831595 edges, 77686 markings/sec, 20 secs
lola: 2347997 markings, 20276991 edges, 76554 markings/sec, 25 secs
lola: 2736900 markings, 23719115 edges, 77781 markings/sec, 30 secs
lola: 3130694 markings, 27165964 edges, 78759 markings/sec, 35 secs
lola: 3521220 markings, 30538135 edges, 78105 markings/sec, 40 secs
lola: 3913386 markings, 33977327 edges, 78433 markings/sec, 45 secs
lola: 4298033 markings, 37433249 edges, 76929 markings/sec, 50 secs
lola: 4677191 markings, 40904194 edges, 75832 markings/sec, 55 secs
lola: 5081996 markings, 44415900 edges, 80961 markings/sec, 60 secs
lola: 5469339 markings, 47891794 edges, 77469 markings/sec, 65 secs
lola: 5848420 markings, 51386621 edges, 75816 markings/sec, 70 secs
lola: 6174572 markings, 54842097 edges, 65230 markings/sec, 75 secs
lola: 6483844 markings, 58111764 edges, 61854 markings/sec, 80 secs
lola: 6805958 markings, 61524108 edges, 64423 markings/sec, 85 secs
lola: 7129917 markings, 64906851 edges, 64792 markings/sec, 90 secs
lola: 7457062 markings, 68325975 edges, 65429 markings/sec, 95 secs
lola: 7779993 markings, 71667353 edges, 64586 markings/sec, 100 secs
lola: 8108235 markings, 74984986 edges, 65648 markings/sec, 105 secs
lola: 8427170 markings, 78366288 edges, 63787 markings/sec, 110 secs
lola: 8748048 markings, 81763563 edges, 64176 markings/sec, 115 secs
lola: 9087606 markings, 85195115 edges, 67912 markings/sec, 120 secs
lola: 9403151 markings, 88616593 edges, 63109 markings/sec, 125 secs
lola: 9767895 markings, 92066816 edges, 72949 markings/sec, 130 secs
lola: 10100057 markings, 95449413 edges, 66432 markings/sec, 135 secs
lola: 10423289 markings, 98854195 edges, 64646 markings/sec, 140 secs
lola: 10744957 markings, 102221517 edges, 64334 markings/sec, 145 secs
lola: 11067209 markings, 105580027 edges, 64450 markings/sec, 150 secs
lola: 11384388 markings, 108888487 edges, 63436 markings/sec, 155 secs
lola: 11703893 markings, 112147203 edges, 63901 markings/sec, 160 secs
lola: 12027780 markings, 115476291 edges, 64777 markings/sec, 165 secs
lola: 12343021 markings, 118819934 edges, 63048 markings/sec, 170 secs
lola: 12674728 markings, 122215308 edges, 66341 markings/sec, 175 secs
lola: 12992139 markings, 125620137 edges, 63482 markings/sec, 180 secs
lola: 13359847 markings, 129043672 edges, 73542 markings/sec, 185 secs
lola: 13684880 markings, 132407336 edges, 65007 markings/sec, 190 secs
lola: 14010460 markings, 135799869 edges, 65116 markings/sec, 195 secs
lola: 14326301 markings, 139143004 edges, 63168 markings/sec, 200 secs
lola: 14650005 markings, 142517407 edges, 64741 markings/sec, 205 secs
lola: 14970271 markings, 145842412 edges, 64053 markings/sec, 210 secs
lola: 15291314 markings, 149110980 edges, 64209 markings/sec, 215 secs
lola: 15607010 markings, 152378371 edges, 63139 markings/sec, 220 secs
lola: 15922140 markings, 155720417 edges, 63026 markings/sec, 225 secs
lola: 16253761 markings, 159087550 edges, 66324 markings/sec, 230 secs
lola: 16566926 markings, 162468837 edges, 62633 markings/sec, 235 secs
lola: 16939418 markings, 165911931 edges, 74498 markings/sec, 240 secs
lola: 17258675 markings, 169275811 edges, 63851 markings/sec, 245 secs
lola: 17583368 markings, 172661332 edges, 64939 markings/sec, 250 secs
lola: 17903720 markings, 175998166 edges, 64070 markings/sec, 255 secs
lola: 18227024 markings, 179287538 edges, 64661 markings/sec, 260 secs
lola: 18549110 markings, 182612843 edges, 64417 markings/sec, 265 secs
lola: 18862748 markings, 185934302 edges, 62728 markings/sec, 270 secs
lola: 19193964 markings, 189313577 edges, 66243 markings/sec, 275 secs
lola: 19544695 markings, 192636154 edges, 70146 markings/sec, 280 secs
lola: 19859800 markings, 195944640 edges, 63021 markings/sec, 285 secs
lola: 20176131 markings, 199235944 edges, 63266 markings/sec, 290 secs
lola: 20493441 markings, 202492681 edges, 63462 markings/sec, 295 secs
lola: 20815503 markings, 205739480 edges, 64412 markings/sec, 300 secs
lola: 21120521 markings, 208978706 edges, 61004 markings/sec, 305 secs
lola: 21442422 markings, 212267653 edges, 64380 markings/sec, 310 secs
lola: 21787478 markings, 215591219 edges, 69011 markings/sec, 315 secs
lola: 22110926 markings, 218928051 edges, 64690 markings/sec, 320 secs
lola: 22428731 markings, 222237680 edges, 63561 markings/sec, 325 secs
lola: 22744889 markings, 225480090 edges, 63232 markings/sec, 330 secs
lola: 23064716 markings, 228698409 edges, 63965 markings/sec, 335 secs
lola: 23374703 markings, 231992741 edges, 61997 markings/sec, 340 secs
lola: 23701868 markings, 235339271 edges, 65433 markings/sec, 345 secs
lola: 24047436 markings, 238683376 edges, 69114 markings/sec, 350 secs
lola: 24366430 markings, 241975575 edges, 63799 markings/sec, 355 secs
lola: 24680283 markings, 245196122 edges, 62771 markings/sec, 360 secs
lola: 24997398 markings, 248425952 edges, 63423 markings/sec, 365 secs
lola: 25322589 markings, 251725247 edges, 65038 markings/sec, 370 secs
lola: 25659064 markings, 255052743 edges, 67295 markings/sec, 375 secs
lola: 25977431 markings, 258324245 edges, 63673 markings/sec, 380 secs
lola: 26293888 markings, 261525912 edges, 63291 markings/sec, 385 secs
lola: 26607697 markings, 264780809 edges, 62762 markings/sec, 390 secs
lola: 26939994 markings, 268106181 edges, 66459 markings/sec, 395 secs
lola: 27274105 markings, 271409827 edges, 66822 markings/sec, 400 secs
lola: 27594926 markings, 274680386 edges, 64164 markings/sec, 405 secs
lola: 27916802 markings, 277956436 edges, 64375 markings/sec, 410 secs
lola: 28243312 markings, 281312737 edges, 65302 markings/sec, 415 secs
lola: 28586277 markings, 284644698 edges, 68593 markings/sec, 420 secs
lola: 28909949 markings, 287914342 edges, 64734 markings/sec, 425 secs
lola: 29237719 markings, 291252313 edges, 65554 markings/sec, 430 secs
lola: 29568336 markings, 294488036 edges, 66123 markings/sec, 435 secs
lola: 29885455 markings, 297718738 edges, 63424 markings/sec, 440 secs
lola: 30221178 markings, 300972900 edges, 67145 markings/sec, 445 secs
lola: 30540151 markings, 304169971 edges, 63795 markings/sec, 450 secs
lola: 30857091 markings, 307403196 edges, 63388 markings/sec, 455 secs
lola: 31186772 markings, 310601572 edges, 65936 markings/sec, 460 secs
lola: 31516793 markings, 313842657 edges, 66004 markings/sec, 465 secs
lola: 31839342 markings, 317048411 edges, 64510 markings/sec, 470 secs
lola: 32158465 markings, 320177059 edges, 63825 markings/sec, 475 secs
lola: 32486631 markings, 323352503 edges, 65633 markings/sec, 480 secs
lola: 32824898 markings, 326581037 edges, 67653 markings/sec, 485 secs
lola: 33163173 markings, 329797448 edges, 67655 markings/sec, 490 secs
lola: 33534407 markings, 333149185 edges, 74247 markings/sec, 495 secs
lola: 33895204 markings, 336486582 edges, 72159 markings/sec, 500 secs
lola: 34277234 markings, 339925545 edges, 76406 markings/sec, 505 secs
lola: 34661494 markings, 343326799 edges, 76852 markings/sec, 510 secs
lola: 35038185 markings, 346653628 edges, 75338 markings/sec, 515 secs
lola: 35394700 markings, 349953878 edges, 71303 markings/sec, 520 secs
lola: 35692974 markings, 353191883 edges, 59655 markings/sec, 525 secs
lola: 36001166 markings, 356449784 edges, 61638 markings/sec, 530 secs
lola: 36306202 markings, 359658597 edges, 61007 markings/sec, 535 secs
lola: 36602888 markings, 362867800 edges, 59337 markings/sec, 540 secs
lola: 36909174 markings, 366097631 edges, 61257 markings/sec, 545 secs
lola: 37211344 markings, 369285779 edges, 60434 markings/sec, 550 secs
lola: 37511349 markings, 372458963 edges, 60001 markings/sec, 555 secs
lola: 37814471 markings, 375610441 edges, 60624 markings/sec, 560 secs
lola: 38114050 markings, 378770142 edges, 59916 markings/sec, 565 secs
lola: 38421833 markings, 381944674 edges, 61557 markings/sec, 570 secs
lola: 38721915 markings, 385046557 edges, 60016 markings/sec, 575 secs
lola: 39038082 markings, 388179740 edges, 63233 markings/sec, 580 secs
lola: 39329179 markings, 391366966 edges, 58219 markings/sec, 585 secs
lola: 39633047 markings, 394550321 edges, 60774 markings/sec, 590 secs
lola: 39929117 markings, 397787266 edges, 59214 markings/sec, 595 secs
lola: 40249367 markings, 400984897 edges, 64050 markings/sec, 600 secs
lola: 40967863 markings, 403264173 edges, 143699 markings/sec, 605 secs
lola: 41646276 markings, 405520700 edges, 135683 markings/sec, 610 secs
lola: 42048138 markings, 408508337 edges, 80372 markings/sec, 615 secs
lola: 42406095 markings, 411421415 edges, 71591 markings/sec, 620 secs
lola: 42762221 markings, 414327483 edges, 71225 markings/sec, 625 secs
lola: 43116243 markings, 417210091 edges, 70804 markings/sec, 630 secs
lola: 43473513 markings, 420071309 edges, 71454 markings/sec, 635 secs
lola: 43832023 markings, 422898027 edges, 71702 markings/sec, 640 secs
lola: 44177279 markings, 425747688 edges, 69051 markings/sec, 645 secs
lola: 44532204 markings, 428739615 edges, 70985 markings/sec, 650 secs
lola: 44850077 markings, 431842948 edges, 63575 markings/sec, 655 secs
lola: 45190431 markings, 434983976 edges, 68071 markings/sec, 660 secs
lola: 45570127 markings, 438459122 edges, 75939 markings/sec, 665 secs
lola: 45893345 markings, 441882192 edges, 64644 markings/sec, 670 secs
lola: 46212683 markings, 445251005 edges, 63868 markings/sec, 675 secs
lola: 46533370 markings, 448648042 edges, 64137 markings/sec, 680 secs
lola: 46854565 markings, 452032004 edges, 64239 markings/sec, 685 secs
lola: 47181905 markings, 455448560 edges, 65468 markings/sec, 690 secs
lola: 47505132 markings, 458788322 edges, 64645 markings/sec, 695 secs
lola: 47831009 markings, 462082443 edges, 65175 markings/sec, 700 secs
lola: 48153994 markings, 465483045 edges, 64597 markings/sec, 705 secs
lola: 48474896 markings, 468876201 edges, 64180 markings/sec, 710 secs
lola: 48810545 markings, 472300449 edges, 67130 markings/sec, 715 secs
lola: 49127930 markings, 475712685 edges, 63477 markings/sec, 720 secs
lola: 49451724 markings, 479133078 edges, 64759 markings/sec, 725 secs
lola: 49745568 markings, 482487243 edges, 58769 markings/sec, 730 secs
lola: 50022674 markings, 485861206 edges, 55421 markings/sec, 735 secs
lola: 50299526 markings, 489229865 edges, 55370 markings/sec, 740 secs
lola: 50575383 markings, 492575344 edges, 55171 markings/sec, 745 secs
lola: 50853724 markings, 495926121 edges, 55668 markings/sec, 750 secs
lola: 51127497 markings, 499214834 edges, 54755 markings/sec, 755 secs
lola: 51401530 markings, 502459554 edges, 54807 markings/sec, 760 secs
lola: 51684426 markings, 505767303 edges, 56579 markings/sec, 765 secs
lola: 51952558 markings, 509077174 edges, 53626 markings/sec, 770 secs
lola: 52229342 markings, 512486783 edges, 55357 markings/sec, 775 secs
lola: 52521700 markings, 515902054 edges, 58472 markings/sec, 780 secs
lola: 52795435 markings, 519306505 edges, 54747 markings/sec, 785 secs
lola: 53114279 markings, 522708201 edges, 63769 markings/sec, 790 secs
lola: 53393155 markings, 526039545 edges, 55775 markings/sec, 795 secs
lola: 53670365 markings, 529419195 edges, 55442 markings/sec, 800 secs
lola: 53948964 markings, 532794728 edges, 55720 markings/sec, 805 secs
lola: 54226267 markings, 536139660 edges, 55461 markings/sec, 810 secs
lola: 54505495 markings, 539495222 edges, 55846 markings/sec, 815 secs
lola: 54778893 markings, 542782020 edges, 54680 markings/sec, 820 secs
lola: 55054605 markings, 546030822 edges, 55142 markings/sec, 825 secs
lola: 55333047 markings, 549353901 edges, 55688 markings/sec, 830 secs
lola: 55604336 markings, 552658602 edges, 54258 markings/sec, 835 secs
lola: 55876388 markings, 556009280 edges, 54410 markings/sec, 840 secs
lola: 56163499 markings, 559405858 edges, 57422 markings/sec, 845 secs
lola: 56449872 markings, 562777852 edges, 57275 markings/sec, 850 secs
lola: 56758050 markings, 566186947 edges, 61636 markings/sec, 855 secs
lola: 57031459 markings, 569511464 edges, 54682 markings/sec, 860 secs
lola: 57310974 markings, 572869160 edges, 55903 markings/sec, 865 secs
lola: 57585137 markings, 576168875 edges, 54833 markings/sec, 870 secs
lola: 57858572 markings, 579427703 edges, 54687 markings/sec, 875 secs
lola: 58141579 markings, 582705736 edges, 56601 markings/sec, 880 secs
lola: 58413719 markings, 586023058 edges, 54428 markings/sec, 885 secs
lola: 58686919 markings, 589342994 edges, 54640 markings/sec, 890 secs
lola: 58966886 markings, 592700280 edges, 55993 markings/sec, 895 secs
lola: 59265712 markings, 596004345 edges, 59765 markings/sec, 900 secs
lola: 59540191 markings, 599268819 edges, 54896 markings/sec, 905 secs
lola: 59810655 markings, 602537570 edges, 54093 markings/sec, 910 secs
lola: 60080152 markings, 605762150 edges, 53899 markings/sec, 915 secs
lola: 60349673 markings, 608955305 edges, 53904 markings/sec, 920 secs
lola: 60623232 markings, 612195831 edges, 54712 markings/sec, 925 secs
lola: 60888818 markings, 615437707 edges, 53117 markings/sec, 930 secs
lola: 61168228 markings, 618723641 edges, 55882 markings/sec, 935 secs
lola: 61457361 markings, 622043111 edges, 57827 markings/sec, 940 secs
lola: 61745660 markings, 625379567 edges, 57660 markings/sec, 945 secs
lola: 62022022 markings, 628710754 edges, 55272 markings/sec, 950 secs
lola: 62293373 markings, 631969299 edges, 54270 markings/sec, 955 secs
lola: 62564072 markings, 635173307 edges, 54140 markings/sec, 960 secs
lola: 62843263 markings, 638445504 edges, 55838 markings/sec, 965 secs
lola: 63114744 markings, 641765244 edges, 54296 markings/sec, 970 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown no no unknown yes no no no yes unknown no
lola:
preliminary result: no no unknown no no unknown yes no no no yes unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown no no unknown yes no no no yes unknown no
lola: memory consumption: 8769080 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown no no unknown yes no no no yes unknown no
lola: memory consumption: 8769516 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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