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

About the Execution of ITS-LoLa for ClientsAndServers-PT-N0200P0

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15769.740 3600000.00 3429912.00 163963.90 FFFF?FFTFFF???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-158987806400226.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 ClientsAndServers-PT-N0200P0, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806400226
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 3.7K Mar 30 01:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 15:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 15:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 27 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 07:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 07:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K 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 8 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.2K 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 ClientsAndServers-PT-N0200P0-00
FORMULA_NAME ClientsAndServers-PT-N0200P0-01
FORMULA_NAME ClientsAndServers-PT-N0200P0-02
FORMULA_NAME ClientsAndServers-PT-N0200P0-03
FORMULA_NAME ClientsAndServers-PT-N0200P0-04
FORMULA_NAME ClientsAndServers-PT-N0200P0-05
FORMULA_NAME ClientsAndServers-PT-N0200P0-06
FORMULA_NAME ClientsAndServers-PT-N0200P0-07
FORMULA_NAME ClientsAndServers-PT-N0200P0-08
FORMULA_NAME ClientsAndServers-PT-N0200P0-09
FORMULA_NAME ClientsAndServers-PT-N0200P0-10
FORMULA_NAME ClientsAndServers-PT-N0200P0-11
FORMULA_NAME ClientsAndServers-PT-N0200P0-12
FORMULA_NAME ClientsAndServers-PT-N0200P0-13
FORMULA_NAME ClientsAndServers-PT-N0200P0-14
FORMULA_NAME ClientsAndServers-PT-N0200P0-15

=== Now, execution of the tool begins

BK_START 1591236082095

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 02:01:25] [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-04 02:01:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 02:01:25] [INFO ] Load time of PNML (sax parser for PT used): 32 ms
[2020-06-04 02:01:25] [INFO ] Transformed 25 places.
[2020-06-04 02:01:25] [INFO ] Transformed 18 transitions.
[2020-06-04 02:01:25] [INFO ] Parsed PT model containing 25 places and 18 transitions in 84 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 20 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 11626 steps, including 0 resets, run visited all 28 properties in 16 ms. (steps per millisecond=726 )
[2020-06-04 02:01:25] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2020-06-04 02:01:25] [INFO ] Flatten gal took : 33 ms
FORMULA ClientsAndServers-PT-N0200P0-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N0200P0-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N0200P0-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N0200P0-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 02:01:25] [INFO ] Flatten gal took : 8 ms
[2020-06-04 02:01:25] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2020-06-04 02:01:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 0 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N0200P0 @ 3570 seconds

FORMULA ClientsAndServers-PT-N0200P0-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0200P0-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0200P0-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0200P0-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0200P0-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0200P0-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0200P0-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0200P0-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0200P0-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0200P0-13 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 @ ClientsAndServers-PT-N0200P0

{
"exit":
{
"memory": 2701500,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 2,
"aneg": 0,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "F ((X (X (G ((F (((p5 <= 0) OR (p15 <= 0))) AND ((p22 <= 0) OR ((p5 <= 0) OR (p15 <= 0))))))) OR ((1 <= p0) AND (1 <= p13))))",
"processed_size": 127,
"rewrites": 36
},
"result":
{
"preliminary_value": "no unknown no no yes no no unknown unknown unknown no unknown "
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
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: 43/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 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: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: G (((F ((p22 <= 0)) OR ((1 <= p0) AND (1 <= p13))) OR ((G ((1 <= p18)) AND X ((1 <= p22))) AND ((p11 <= 0) OR (p17 <= 0))))) : (G ((1 <= p18)) OR F ((F ((G (F ((p18 <= 0))) U (1 <= p9))) AND (1 <= p6)))) : NOT(((G ((1 <= p24)) OR (1 <= p24)) U (((X ((((1 <= p8) AND (1 <= p15)) U ((1 <= p4) AND (1 <= p21)))) AND X ((1 <= p16))) AND (1 <= p8)) AND (1 <= p15)))) : (X ((1 <= p6)) AND ((1 <= p16) U X (((p10 <= 0) AND ((p3 <= 0)))))) : X ((F (G (((1 <= p5) AND (1 <= p15)))) OR F ((1 <= p24)))) : G (X (F ((F (((p12 <= 0) AND (p24 <= 0))) AND G ((1 <= p12)))))) : ((X ((((1 <= p3)) U (1 <= p12))) OR G (((1 <= p2)))) OR ((1 <= p0) AND (1 <= p13))) : G (F ((F (((1 <= p11) AND (1 <= p17))) U (F ((p9 <= 0)) OR X ((1 <= p9)))))) : X (F ((F ((G ((X ((1 <= p22)) AND F (((1 <= p0) AND (1 <= p13))))) OR (p6 <= 0))) U F (((1 <= p0) AND (1 <= p13)))))) : (G (((1 <= p5) AND (1 <= p15))) U F (X ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15)))))) : G (F (G ((G ((1 <= p24)) U (p24 <= 0))))) : F ((X (G (X (((p22 <= 0) U ((p5 <= 0) OR (p15 <= 0)))))) OR ((1 <= p0) AND (1 <= p13))))
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:338
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F ((p22 <= 0)) OR (((1 <= p0) AND (1 <= p13)) OR (G ((1 <= p18)) AND (X ((1 <= p22)) AND ((p11 <= 0) OR (p17 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F ((p22 <= 0)) OR (((1 <= p0) AND (1 <= p13)) OR (G ((1 <= p18)) AND (X ((1 <= p22)) AND ((p11 <= 0) OR (p17 <= 0)))))))
lola: processed formula length: 125
lola: 36 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: 12471 markings, 12488 edges
lola: ========================================
lola: subprocess 1 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((F ((p24 <= 0)) AND (p24 <= 0)) R (X (((((p8 <= 0) OR (p15 <= 0)) R ((p4 <= 0) OR (p21 <= 0))) OR (p16 <= 0))) OR ((p8 <= 0) OR (p15 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((F ((p24 <= 0)) AND (p24 <= 0)) R (X (((((p8 <= 0) OR (p15 <= 0)) R ((p4 <= 0) OR (p21 <= 0))) OR (p16 <= 0))) OR ((p8 <= 0) OR (p15 <= 0))))
lola: processed formula length: 144
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 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: 22890 markings, 22893 edges
lola: ========================================
lola: subprocess 2 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((1 <= p6)) AND ((1 <= p16) U X (((p10 <= 0) AND ((p3 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((1 <= p6))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((1 <= p6))
lola: processed formula length: 13
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 10001 markings, 10001 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: subprocess 3 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (((1 <= p5) AND (1 <= p15))) OR (1 <= p24))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (((1 <= p5) AND (1 <= p15))) OR (1 <= p24))))
lola: processed formula length: 54
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 4 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((((1 <= p3)) U (1 <= p12))) OR (G (((1 <= p2))) OR ((1 <= p0) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p0) AND (1 <= p13))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p0) AND (1 <= p13))
lola: processed formula length: 26
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p2)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p2)))
lola: processed formula length: 15
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1620 markings, 1620 edges
lola: ========================================
lola: subprocess 6 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((((1 <= p3)) U (1 <= p12)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((((1 <= p3)) U (1 <= p12)))
lola: processed formula length: 30
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 10001 markings, 10001 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((F ((p9 <= 0)) OR X ((1 <= p9)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F ((p9 <= 0)) OR X ((1 <= p9)))))
lola: processed formula length: 40
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1864908 markings, 5295625 edges, 372982 markings/sec, 0 secs
lola: 3477270 markings, 10473605 edges, 322472 markings/sec, 5 secs
lola: 5006468 markings, 15623641 edges, 305840 markings/sec, 10 secs
lola: 6478305 markings, 20590855 edges, 294367 markings/sec, 15 secs
lola: 7834910 markings, 25383021 edges, 271321 markings/sec, 20 secs
lola: 9136216 markings, 30023668 edges, 260261 markings/sec, 25 secs
lola: 10640373 markings, 35254593 edges, 300831 markings/sec, 30 secs
lola: 12066704 markings, 40408829 edges, 285266 markings/sec, 35 secs
lola: 13550694 markings, 45700485 edges, 296798 markings/sec, 40 secs
lola: 15024484 markings, 50969802 edges, 294758 markings/sec, 45 secs
lola: 16483180 markings, 56394754 edges, 291739 markings/sec, 50 secs
lola: 17864587 markings, 61513915 edges, 276281 markings/sec, 55 secs
lola: 19284594 markings, 66745215 edges, 284001 markings/sec, 60 secs
lola: 20641515 markings, 71776042 edges, 271384 markings/sec, 65 secs
lola: 22038533 markings, 76863521 edges, 279404 markings/sec, 70 secs
lola: 23366125 markings, 81900934 edges, 265518 markings/sec, 75 secs
lola: 24676262 markings, 86680827 edges, 262027 markings/sec, 80 secs
lola: 26025885 markings, 91687675 edges, 269925 markings/sec, 85 secs
lola: 27373747 markings, 96704131 edges, 269572 markings/sec, 90 secs
lola: 28724144 markings, 101702763 edges, 270079 markings/sec, 95 secs
lola: 30006838 markings, 106627279 edges, 256539 markings/sec, 100 secs
lola: 31301371 markings, 111560079 edges, 258907 markings/sec, 105 secs
lola: 32561642 markings, 116307890 edges, 252054 markings/sec, 110 secs
lola: 33819713 markings, 121196408 edges, 251614 markings/sec, 115 secs
lola: 35106378 markings, 126096383 edges, 257333 markings/sec, 120 secs
lola: 36416316 markings, 130934117 edges, 261988 markings/sec, 125 secs
lola: 37683666 markings, 135754236 edges, 253470 markings/sec, 130 secs
lola: 38905544 markings, 140438889 edges, 244376 markings/sec, 135 secs
lola: 40179396 markings, 145163286 edges, 254770 markings/sec, 140 secs
lola: 41442889 markings, 149936926 edges, 252699 markings/sec, 145 secs
lola: 42662545 markings, 154722447 edges, 243931 markings/sec, 150 secs
lola: 43866622 markings, 159344995 edges, 240815 markings/sec, 155 secs
lola: 45148971 markings, 164145747 edges, 256470 markings/sec, 160 secs
lola: 46394312 markings, 168764095 edges, 249068 markings/sec, 165 secs
lola: 47610618 markings, 173555167 edges, 243261 markings/sec, 170 secs
lola: 48752301 markings, 178123296 edges, 228337 markings/sec, 175 secs
lola: 50040456 markings, 182898989 edges, 257631 markings/sec, 180 secs
lola: 51192702 markings, 187493454 edges, 230449 markings/sec, 185 secs
lola: 52422585 markings, 192215747 edges, 245977 markings/sec, 190 secs
lola: 53595208 markings, 196789327 edges, 234525 markings/sec, 195 secs
lola: 54736117 markings, 201291463 edges, 228182 markings/sec, 200 secs
lola: 55896931 markings, 205868330 edges, 232163 markings/sec, 205 secs
lola: 57052131 markings, 210389045 edges, 231040 markings/sec, 210 secs
lola: 58265296 markings, 215095204 edges, 242633 markings/sec, 215 secs
lola: 59404418 markings, 219565914 edges, 227824 markings/sec, 220 secs
lola: 60496039 markings, 223909014 edges, 218324 markings/sec, 225 secs
lola: 61697076 markings, 228630443 edges, 240207 markings/sec, 230 secs
lola: 62833433 markings, 232925581 edges, 227271 markings/sec, 235 secs
lola: 64029386 markings, 237396631 edges, 239191 markings/sec, 240 secs
lola: 65177411 markings, 241923743 edges, 229605 markings/sec, 245 secs
lola: 66314120 markings, 246330765 edges, 227342 markings/sec, 250 secs
lola: 67475669 markings, 250763325 edges, 232310 markings/sec, 255 secs
lola: 68568357 markings, 255211065 edges, 218538 markings/sec, 260 secs
lola: 69653316 markings, 259549729 edges, 216992 markings/sec, 265 secs
lola: 70754410 markings, 263850142 edges, 220219 markings/sec, 270 secs
lola: 71873172 markings, 268103715 edges, 223752 markings/sec, 275 secs
lola: 72966965 markings, 272527735 edges, 218759 markings/sec, 280 secs
lola: 74101051 markings, 276974739 edges, 226817 markings/sec, 285 secs
lola: 75254562 markings, 281498887 edges, 230702 markings/sec, 290 secs
lola: 76355261 markings, 285775265 edges, 220140 markings/sec, 295 secs
lola: 77414382 markings, 289902407 edges, 211824 markings/sec, 300 secs
lola: 78531726 markings, 294207972 edges, 223469 markings/sec, 305 secs
lola: 79596130 markings, 298468711 edges, 212881 markings/sec, 310 secs
lola: 80623530 markings, 302615344 edges, 205480 markings/sec, 315 secs
lola: 81645922 markings, 306685115 edges, 204478 markings/sec, 320 secs
lola: 82701529 markings, 310900195 edges, 211121 markings/sec, 325 secs
lola: 83721790 markings, 315159268 edges, 204052 markings/sec, 330 secs
lola: 84754052 markings, 319282725 edges, 206452 markings/sec, 335 secs
lola: 85831184 markings, 323387709 edges, 215426 markings/sec, 340 secs
lola: 86873492 markings, 327599809 edges, 208462 markings/sec, 345 secs
lola: 87890801 markings, 331690834 edges, 203462 markings/sec, 350 secs
lola: 88981890 markings, 335958363 edges, 218218 markings/sec, 355 secs
lola: 90064706 markings, 340197546 edges, 216563 markings/sec, 360 secs
lola: 91071755 markings, 344074298 edges, 201410 markings/sec, 365 secs
lola: 92196700 markings, 348348902 edges, 224989 markings/sec, 370 secs
lola: 93256631 markings, 352429388 edges, 211986 markings/sec, 375 secs
lola: 94243686 markings, 356499534 edges, 197411 markings/sec, 380 secs
lola: 95234261 markings, 360542048 edges, 198115 markings/sec, 385 secs
lola: 96259998 markings, 364581976 edges, 205147 markings/sec, 390 secs
lola: 97218475 markings, 368442772 edges, 191695 markings/sec, 395 secs
lola: 98219524 markings, 372570106 edges, 200210 markings/sec, 400 secs
lola: 99165322 markings, 376436010 edges, 189160 markings/sec, 405 secs
lola: 100195501 markings, 380474715 edges, 206036 markings/sec, 410 secs
lola: 101139692 markings, 384344994 edges, 188838 markings/sec, 415 secs
lola: 102028855 markings, 388073648 edges, 177833 markings/sec, 420 secs
lola: 102845668 markings, 391198899 edges, 163363 markings/sec, 425 secs
lola: 103770450 markings, 394942146 edges, 184956 markings/sec, 430 secs
lola: 104501390 markings, 397860498 edges, 146188 markings/sec, 435 secs
lola: 105383898 markings, 401532555 edges, 176502 markings/sec, 440 secs
lola: 106184387 markings, 404793890 edges, 160098 markings/sec, 445 secs
lola: 106997907 markings, 407966936 edges, 162704 markings/sec, 450 secs
lola: 107626080 markings, 410492827 edges, 125635 markings/sec, 455 secs
lola: 108383105 markings, 413575899 edges, 151405 markings/sec, 460 secs
lola: 109200796 markings, 416879966 edges, 163538 markings/sec, 465 secs
lola: 110037712 markings, 420229999 edges, 167383 markings/sec, 470 secs
lola: 110869807 markings, 423668096 edges, 166419 markings/sec, 475 secs
lola: 111712381 markings, 427103806 edges, 168515 markings/sec, 480 secs
lola: 112447229 markings, 430020541 edges, 146970 markings/sec, 485 secs
lola: 113357471 markings, 433664665 edges, 182048 markings/sec, 490 secs
lola: 114179223 markings, 436886914 edges, 164350 markings/sec, 495 secs
lola: 115081581 markings, 440558384 edges, 180472 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no no yes unknown no unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p0) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p0) AND (1 <= p13))))
lola: processed formula length: 34
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2826740 markings, 5564041 edges, 565348 markings/sec, 0 secs
lola: 5319985 markings, 10544411 edges, 498649 markings/sec, 5 secs
lola: 7517709 markings, 14934303 edges, 439545 markings/sec, 10 secs
lola: 9617001 markings, 19127796 edges, 419858 markings/sec, 15 secs
lola: 11822435 markings, 23533023 edges, 441087 markings/sec, 20 secs
lola: 14016503 markings, 27915701 edges, 438814 markings/sec, 25 secs
lola: 16156094 markings, 32189464 edges, 427918 markings/sec, 30 secs
lola: 18252943 markings, 36378149 edges, 419370 markings/sec, 35 secs
lola: 20306665 markings, 40480323 edges, 410744 markings/sec, 40 secs
lola: 22315075 markings, 44492174 edges, 401682 markings/sec, 45 secs
lola: 24286875 markings, 48431044 edges, 394360 markings/sec, 50 secs
lola: 26231763 markings, 52315905 edges, 388978 markings/sec, 55 secs
lola: 28093712 markings, 56035174 edges, 372390 markings/sec, 60 secs
lola: 29999301 markings, 59841595 edges, 381118 markings/sec, 65 secs
lola: 31888279 markings, 63614893 edges, 377796 markings/sec, 70 secs
lola: 33762883 markings, 67359191 edges, 374921 markings/sec, 75 secs
lola: 35619846 markings, 71068799 edges, 371393 markings/sec, 80 secs
lola: 37470089 markings, 74764733 edges, 370049 markings/sec, 85 secs
lola: 39305577 markings, 78430946 edges, 367098 markings/sec, 90 secs
lola: 41128282 markings, 82071934 edges, 364541 markings/sec, 95 secs
lola: 42943694 markings, 85698248 edges, 363082 markings/sec, 100 secs
lola: 44748379 markings, 89303047 edges, 360937 markings/sec, 105 secs
lola: 46540861 markings, 92883483 edges, 358496 markings/sec, 110 secs
lola: 48324491 markings, 96446216 edges, 356726 markings/sec, 115 secs
lola: 50103530 markings, 100000070 edges, 355808 markings/sec, 120 secs
lola: 51876559 markings, 103541642 edges, 354606 markings/sec, 125 secs
lola: 53646657 markings, 107077488 edges, 354020 markings/sec, 130 secs
lola: 55407649 markings, 110595150 edges, 352198 markings/sec, 135 secs
lola: 57165397 markings, 114106278 edges, 351550 markings/sec, 140 secs
lola: 58919663 markings, 117610417 edges, 350853 markings/sec, 145 secs
lola: 60667220 markings, 121101184 edges, 349511 markings/sec, 150 secs
lola: 62414604 markings, 124591561 edges, 349477 markings/sec, 155 secs
lola: 64159151 markings, 128076448 edges, 348909 markings/sec, 160 secs
lola: 65900155 markings, 131553916 edges, 348201 markings/sec, 165 secs
lola: 67636869 markings, 135023097 edges, 347343 markings/sec, 170 secs
lola: 69371261 markings, 138487618 edges, 346878 markings/sec, 175 secs
lola: 71103845 markings, 141948479 edges, 346517 markings/sec, 180 secs
lola: 72838215 markings, 145412801 edges, 346874 markings/sec, 185 secs
lola: 74575038 markings, 148882061 edges, 347365 markings/sec, 190 secs
lola: 76315737 markings, 152359253 edges, 348140 markings/sec, 195 secs
lola: 78056865 markings, 155837173 edges, 348226 markings/sec, 200 secs
lola: 79743393 markings, 159206036 edges, 337306 markings/sec, 205 secs
lola: 81487293 markings, 162689321 edges, 348780 markings/sec, 210 secs
lola: 83231799 markings, 166173987 edges, 348901 markings/sec, 215 secs
lola: 84960765 markings, 169627687 edges, 345793 markings/sec, 220 secs
lola: 86618220 markings, 172938508 edges, 331491 markings/sec, 225 secs
lola: 88343780 markings, 176385333 edges, 345112 markings/sec, 230 secs
lola: 90016819 markings, 179727250 edges, 334608 markings/sec, 235 secs
lola: 91742998 markings, 183175422 edges, 345236 markings/sec, 240 secs
lola: 93471058 markings, 186627131 edges, 345612 markings/sec, 245 secs
lola: 95225208 markings, 190131210 edges, 350830 markings/sec, 250 secs
lola: 96964156 markings, 193604911 edges, 347790 markings/sec, 255 secs
lola: 98715585 markings, 197103292 edges, 350286 markings/sec, 260 secs
lola: 100455923 markings, 200579630 edges, 348068 markings/sec, 265 secs
lola: 102184886 markings, 204033254 edges, 345793 markings/sec, 270 secs
lola: 103847677 markings, 207354471 edges, 332558 markings/sec, 275 secs
lola: 105485878 markings, 210626880 edges, 327640 markings/sec, 280 secs
lola: 107128075 markings, 213907256 edges, 328439 markings/sec, 285 secs
lola: 108749140 markings, 217145322 edges, 324213 markings/sec, 290 secs
lola: 110357955 markings, 220358995 edges, 321763 markings/sec, 295 secs
lola: 111966555 markings, 223572123 edges, 321720 markings/sec, 300 secs
lola: 113562733 markings, 226760489 edges, 319236 markings/sec, 305 secs
lola: 115149570 markings, 229930388 edges, 317367 markings/sec, 310 secs
lola: 116736795 markings, 233100942 edges, 317445 markings/sec, 315 secs
lola: 118322757 markings, 236268809 edges, 317192 markings/sec, 320 secs
lola: 119900643 markings, 239420607 edges, 315577 markings/sec, 325 secs
lola: 121481312 markings, 242577982 edges, 316134 markings/sec, 330 secs
lola: 123061054 markings, 245733688 edges, 315948 markings/sec, 335 secs
lola: 124629562 markings, 248866773 edges, 313702 markings/sec, 340 secs
lola: 126421207 markings, 252445562 edges, 358329 markings/sec, 345 secs
lola: 127929912 markings, 255459021 edges, 301741 markings/sec, 350 secs
lola: 128809230 markings, 257215726 edges, 175864 markings/sec, 355 secs
lola: 129969301 markings, 259532900 edges, 232014 markings/sec, 360 secs
lola: 130868701 markings, 261329370 edges, 179880 markings/sec, 365 secs
lola: 132115732 markings, 263820359 edges, 249406 markings/sec, 370 secs
lola: 132892179 markings, 265371301 edges, 155289 markings/sec, 375 secs
lola: 134132366 markings, 267848744 edges, 248037 markings/sec, 380 secs
lola: 135227282 markings, 270035969 edges, 218983 markings/sec, 385 secs
lola: 136361938 markings, 272302419 edges, 226931 markings/sec, 390 secs
lola: 137854225 markings, 275283230 edges, 298457 markings/sec, 395 secs
lola: 139110416 markings, 277792387 edges, 251238 markings/sec, 400 secs
lola: 140511028 markings, 280590199 edges, 280122 markings/sec, 405 secs
lola: 141540458 markings, 282646365 edges, 205886 markings/sec, 410 secs
lola: 142757770 markings, 285077931 edges, 243462 markings/sec, 415 secs
lola: 144017775 markings, 287594885 edges, 252001 markings/sec, 420 secs
lola: 145414093 markings, 290384074 edges, 279264 markings/sec, 425 secs
lola: 146256525 markings, 292066850 edges, 168486 markings/sec, 430 secs
lola: 147491289 markings, 294533335 edges, 246953 markings/sec, 435 secs
lola: 148989260 markings, 297525415 edges, 299594 markings/sec, 440 secs
lola: 150080255 markings, 299704807 edges, 218199 markings/sec, 445 secs
lola: 151153601 markings, 301849000 edges, 214669 markings/sec, 450 secs
lola: 152522226 markings, 304582566 edges, 273725 markings/sec, 455 secs
lola: 153826574 markings, 307188084 edges, 260870 markings/sec, 460 secs
lola: 154958281 markings, 309448697 edges, 226341 markings/sec, 465 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 515 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15))))) OR (G (((1 <= p5) AND (1 <= p15))) AND X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 515 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p5) AND (1 <= p15)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p5) AND (1 <= p15)))
lola: processed formula length: 30
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1620 markings, 1620 edges
lola: ========================================
lola: subprocess 8 will run for 644 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15)))))
lola: processed formula length: 70
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2035900 markings, 4087243 edges, 407180 markings/sec, 0 secs
lola: 3967312 markings, 8341360 edges, 386282 markings/sec, 5 secs
lola: 5920847 markings, 12703865 edges, 390707 markings/sec, 10 secs
lola: 7898501 markings, 17076797 edges, 395531 markings/sec, 15 secs
lola: 9682704 markings, 21306642 edges, 356841 markings/sec, 20 secs
lola: 11613319 markings, 25597390 edges, 386123 markings/sec, 25 secs
lola: 13316674 markings, 29649327 edges, 340671 markings/sec, 30 secs
lola: 15261437 markings, 33945887 edges, 388953 markings/sec, 35 secs
lola: 17020098 markings, 38098526 edges, 351732 markings/sec, 40 secs
lola: 18936027 markings, 42322912 edges, 383186 markings/sec, 45 secs
lola: 20714879 markings, 46526085 edges, 355770 markings/sec, 50 secs
lola: 22450416 markings, 50692162 edges, 347107 markings/sec, 55 secs
lola: 24378309 markings, 54943734 edges, 385579 markings/sec, 60 secs
lola: 26145869 markings, 59130699 edges, 353512 markings/sec, 65 secs
lola: 27869504 markings, 63196203 edges, 344727 markings/sec, 70 secs
lola: 29766149 markings, 67372359 edges, 379329 markings/sec, 75 secs
lola: 31508442 markings, 71511787 edges, 348459 markings/sec, 80 secs
lola: 33232765 markings, 75631404 edges, 344865 markings/sec, 85 secs
lola: 34971706 markings, 79734706 edges, 347788 markings/sec, 90 secs
lola: 36891777 markings, 83969452 edges, 384014 markings/sec, 95 secs
lola: 38634349 markings, 88081823 edges, 348514 markings/sec, 100 secs
lola: 40318390 markings, 92128905 edges, 336808 markings/sec, 105 secs
lola: 42049825 markings, 96213440 edges, 346287 markings/sec, 110 secs
lola: 44012131 markings, 100553845 edges, 392461 markings/sec, 115 secs
lola: 45802084 markings, 104784765 edges, 357991 markings/sec, 120 secs
lola: 47571306 markings, 108970084 edges, 353844 markings/sec, 125 secs
lola: 49318506 markings, 113168411 edges, 349440 markings/sec, 130 secs
lola: 51260424 markings, 117457804 edges, 388384 markings/sec, 135 secs
lola: 53059533 markings, 121711155 edges, 359822 markings/sec, 140 secs
lola: 54822005 markings, 125873334 edges, 352494 markings/sec, 145 secs
lola: 56574788 markings, 130011258 edges, 350557 markings/sec, 150 secs
lola: 58272497 markings, 134092536 edges, 339542 markings/sec, 155 secs
lola: 60177859 markings, 138290484 edges, 381072 markings/sec, 160 secs
lola: 61905048 markings, 142364394 edges, 345438 markings/sec, 165 secs
lola: 63593302 markings, 146346639 edges, 337651 markings/sec, 170 secs
lola: 65281705 markings, 150398863 edges, 337681 markings/sec, 175 secs
lola: 67014366 markings, 154486451 edges, 346532 markings/sec, 180 secs
lola: 68869832 markings, 158560046 edges, 371093 markings/sec, 185 secs
lola: 70498790 markings, 162465397 edges, 325792 markings/sec, 190 secs
lola: 72160737 markings, 166379992 edges, 332389 markings/sec, 195 secs
lola: 73760962 markings, 170184742 edges, 320045 markings/sec, 200 secs
lola: 75386338 markings, 174037033 edges, 325075 markings/sec, 205 secs
lola: 77158014 markings, 178092734 edges, 354335 markings/sec, 210 secs
lola: 79002277 markings, 182267287 edges, 368853 markings/sec, 215 secs
lola: 80706000 markings, 186363607 edges, 340745 markings/sec, 220 secs
lola: 82431577 markings, 190433492 edges, 345115 markings/sec, 225 secs
lola: 84133046 markings, 194443027 edges, 340294 markings/sec, 230 secs
lola: 85846740 markings, 198564279 edges, 342739 markings/sec, 235 secs
lola: 87712220 markings, 202703097 edges, 373096 markings/sec, 240 secs
lola: 89471429 markings, 206816473 edges, 351842 markings/sec, 245 secs
lola: 91180302 markings, 210844525 edges, 341775 markings/sec, 250 secs
lola: 92840568 markings, 214832129 edges, 332053 markings/sec, 255 secs
lola: 94531007 markings, 218814031 edges, 338088 markings/sec, 260 secs
lola: 96213664 markings, 222812704 edges, 336531 markings/sec, 265 secs
lola: 97875889 markings, 226769535 edges, 332445 markings/sec, 270 secs
lola: 99733868 markings, 230848951 edges, 371596 markings/sec, 275 secs
lola: 101383899 markings, 234743953 edges, 330006 markings/sec, 280 secs
lola: 103033722 markings, 238691238 edges, 329965 markings/sec, 285 secs
lola: 104695493 markings, 242602004 edges, 332354 markings/sec, 290 secs
lola: 106294379 markings, 246436016 edges, 319777 markings/sec, 295 secs
lola: 107969235 markings, 250379465 edges, 334971 markings/sec, 300 secs
lola: 109597583 markings, 254269684 edges, 325670 markings/sec, 305 secs
lola: 111482784 markings, 258434687 edges, 377040 markings/sec, 310 secs
lola: 113186773 markings, 262450570 edges, 340798 markings/sec, 315 secs
lola: 114871285 markings, 266417612 edges, 336902 markings/sec, 320 secs
lola: 116504147 markings, 270336705 edges, 326572 markings/sec, 325 secs
lola: 118143569 markings, 274191541 edges, 327884 markings/sec, 330 secs
lola: 119629695 markings, 277745633 edges, 297225 markings/sec, 335 secs
lola: 121032888 markings, 281088853 edges, 280639 markings/sec, 340 secs
lola: 122668787 markings, 284613616 edges, 327180 markings/sec, 345 secs
lola: 123181742 markings, 285823190 edges, 102591 markings/sec, 350 secs
lola: 124372036 markings, 288681778 edges, 238059 markings/sec, 355 secs
lola: 125192959 markings, 290598380 edges, 164185 markings/sec, 360 secs
lola: 126338158 markings, 293331024 edges, 229040 markings/sec, 365 secs
lola: 127311775 markings, 295651083 edges, 194723 markings/sec, 370 secs
lola: 128173632 markings, 297718971 edges, 172371 markings/sec, 375 secs
lola: 129427050 markings, 300694917 edges, 250684 markings/sec, 380 secs
lola: 130594491 markings, 303450507 edges, 233488 markings/sec, 385 secs
lola: 132019455 markings, 306844618 edges, 284993 markings/sec, 390 secs
lola: 133387594 markings, 310058894 edges, 273628 markings/sec, 395 secs
lola: 134699032 markings, 313096038 edges, 262288 markings/sec, 400 secs
lola: 135652928 markings, 315124540 edges, 190779 markings/sec, 405 secs
lola: 136874550 markings, 318015692 edges, 244324 markings/sec, 410 secs
lola: 137976832 markings, 320608754 edges, 220456 markings/sec, 415 secs
lola: 138938037 markings, 322929967 edges, 192241 markings/sec, 420 secs
lola: 140156624 markings, 325814006 edges, 243717 markings/sec, 425 secs
lola: 141594137 markings, 329244783 edges, 287503 markings/sec, 430 secs
lola: 142651739 markings, 331726086 edges, 211520 markings/sec, 435 secs
lola: 143778566 markings, 334380562 edges, 225365 markings/sec, 440 secs
lola: 144876271 markings, 337017025 edges, 219541 markings/sec, 445 secs
lola: 146081525 markings, 339893455 edges, 241051 markings/sec, 450 secs
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 8 will run for 528 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((X (X (G ((F (((p5 <= 0) OR (p15 <= 0))) AND ((p22 <= 0) OR ((p5 <= 0) OR (p15 <= 0))))))) OR ((1 <= p0) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((X (X (G ((F (((p5 <= 0) OR (p15 <= 0))) AND ((p22 <= 0) OR ((p5 <= 0) OR (p15 <= 0))))))) OR ((1 <= p0) AND (1 <= p13))))
lola: processed formula length: 127
lola: 36 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: 2470518 markings, 4852545 edges, 494104 markings/sec, 0 secs
lola: 4674184 markings, 9254408 edges, 440733 markings/sec, 5 secs
lola: 6850535 markings, 13601477 edges, 435270 markings/sec, 10 secs
lola: 8968759 markings, 17832824 edges, 423645 markings/sec, 15 secs
lola: 11026072 markings, 21942311 edges, 411463 markings/sec, 20 secs
lola: 13042682 markings, 25970534 edges, 403322 markings/sec, 25 secs
lola: 14944071 markings, 29768599 edges, 380278 markings/sec, 30 secs
lola: 16886282 markings, 33648363 edges, 388442 markings/sec, 35 secs
lola: 18791789 markings, 37454295 edges, 381101 markings/sec, 40 secs
lola: 20672899 markings, 41211988 edges, 376222 markings/sec, 45 secs
lola: 22532753 markings, 44927043 edges, 371971 markings/sec, 50 secs
lola: 24360763 markings, 48578369 edges, 365602 markings/sec, 55 secs
lola: 26175754 markings, 52204001 edges, 362998 markings/sec, 60 secs
lola: 27971152 markings, 55790321 edges, 359080 markings/sec, 65 secs
lola: 29747796 markings, 59339184 edges, 355329 markings/sec, 70 secs
lola: 31513429 markings, 62866054 edges, 353127 markings/sec, 75 secs
lola: 33266472 markings, 66367828 edges, 350609 markings/sec, 80 secs
lola: 35006072 markings, 69842657 edges, 347920 markings/sec, 85 secs
lola: 36736466 markings, 73299103 edges, 346079 markings/sec, 90 secs
lola: 38447090 markings, 76716230 edges, 342125 markings/sec, 95 secs
lola: 40140160 markings, 80098167 edges, 338614 markings/sec, 100 secs
lola: 41821322 markings, 83456234 edges, 336232 markings/sec, 105 secs
lola: 43502670 markings, 86814680 edges, 336270 markings/sec, 110 secs
lola: 45181673 markings, 90168715 edges, 335801 markings/sec, 115 secs
lola: 46850095 markings, 93501217 edges, 333684 markings/sec, 120 secs
lola: 48514309 markings, 96825465 edges, 332843 markings/sec, 125 secs
lola: 50176193 markings, 100145286 edges, 332377 markings/sec, 130 secs
lola: 51833690 markings, 103456011 edges, 331499 markings/sec, 135 secs
lola: 53483860 markings, 106752167 edges, 330034 markings/sec, 140 secs
lola: 55125296 markings, 110030925 edges, 328287 markings/sec, 145 secs
lola: 56759595 markings, 113295437 edges, 326860 markings/sec, 150 secs
lola: 58396595 markings, 116565557 edges, 327400 markings/sec, 155 secs
lola: 60022700 markings, 119813667 edges, 325221 markings/sec, 160 secs
lola: 61651137 markings, 123066458 edges, 325687 markings/sec, 165 secs
lola: 63280948 markings, 126322158 edges, 325962 markings/sec, 170 secs
lola: 64910097 markings, 129576149 edges, 325830 markings/sec, 175 secs
lola: 66537363 markings, 132826925 edges, 325453 markings/sec, 180 secs
lola: 68163175 markings, 136074327 edges, 325162 markings/sec, 185 secs
lola: 69781418 markings, 139306780 edges, 323649 markings/sec, 190 secs
lola: 71393185 markings, 142526215 edges, 322353 markings/sec, 195 secs
lola: 73020674 markings, 145777368 edges, 325498 markings/sec, 200 secs
lola: 74649170 markings, 149030197 edges, 325699 markings/sec, 205 secs
lola: 76279976 markings, 152287720 edges, 326161 markings/sec, 210 secs
lola: 77909216 markings, 155542258 edges, 325848 markings/sec, 215 secs
lola: 79540335 markings, 158800241 edges, 326224 markings/sec, 220 secs
lola: 81172370 markings, 162060550 edges, 326407 markings/sec, 225 secs
lola: 82807136 markings, 165325949 edges, 326953 markings/sec, 230 secs
lola: 84443542 markings, 168594622 edges, 327281 markings/sec, 235 secs
lola: 86072684 markings, 171848807 edges, 325828 markings/sec, 240 secs
lola: 87700846 markings, 175101186 edges, 325632 markings/sec, 245 secs
lola: 89330444 markings, 178356340 edges, 325920 markings/sec, 250 secs
lola: 90957068 markings, 181605348 edges, 325325 markings/sec, 255 secs
lola: 92585261 markings, 184857629 edges, 325639 markings/sec, 260 secs
lola: 94216435 markings, 188116177 edges, 326235 markings/sec, 265 secs
lola: 95848761 markings, 191376777 edges, 326465 markings/sec, 270 secs
lola: 97476716 markings, 194628590 edges, 325591 markings/sec, 275 secs
lola: 99107804 markings, 197886616 edges, 326218 markings/sec, 280 secs
lola: 100680053 markings, 201027327 edges, 314450 markings/sec, 285 secs
lola: 102296552 markings, 204256273 edges, 323300 markings/sec, 290 secs
lola: 103854383 markings, 207368017 edges, 311566 markings/sec, 295 secs
lola: 105397601 markings, 210450644 edges, 308644 markings/sec, 300 secs
lola: 106880320 markings, 213412300 edges, 296544 markings/sec, 305 secs
lola: 108401577 markings, 216451117 edges, 304251 markings/sec, 310 secs
lola: 109913355 markings, 219470890 edges, 302356 markings/sec, 315 secs
lola: 111419304 markings, 222478888 edges, 301190 markings/sec, 320 secs
lola: 112917057 markings, 225470862 edges, 299551 markings/sec, 325 secs
lola: 114410784 markings, 228454626 edges, 298745 markings/sec, 330 secs
lola: 115897097 markings, 231423319 edges, 297263 markings/sec, 335 secs
lola: 117375697 markings, 234376879 edges, 295720 markings/sec, 340 secs
lola: 118854543 markings, 237331057 edges, 295769 markings/sec, 345 secs
lola: 120331396 markings, 240281136 edges, 295371 markings/sec, 350 secs
lola: 121805257 markings, 243225206 edges, 294772 markings/sec, 355 secs
lola: 123277084 markings, 246165126 edges, 294365 markings/sec, 360 secs
lola: 124748998 markings, 249105299 edges, 294383 markings/sec, 365 secs
lola: 125991100 markings, 251586990 edges, 248420 markings/sec, 370 secs
lola: 127139751 markings, 253881543 edges, 229730 markings/sec, 375 secs
lola: 128328347 markings, 256255183 edges, 237719 markings/sec, 380 secs
lola: 129362508 markings, 258320760 edges, 206832 markings/sec, 385 secs
lola: 130412389 markings, 260418111 edges, 209976 markings/sec, 390 secs
lola: 131771930 markings, 263133583 edges, 271908 markings/sec, 395 secs
lola: 133067040 markings, 265720696 edges, 259022 markings/sec, 400 secs
lola: 133960095 markings, 267504625 edges, 178611 markings/sec, 405 secs
lola: 134973144 markings, 269528236 edges, 202610 markings/sec, 410 secs
lola: 136220558 markings, 272019864 edges, 249483 markings/sec, 415 secs
lola: 137427891 markings, 274431551 edges, 241467 markings/sec, 420 secs
lola: 138556999 markings, 276686899 edges, 225822 markings/sec, 425 secs
lola: 139735156 markings, 279040463 edges, 235631 markings/sec, 430 secs
lola: 140893326 markings, 281353726 edges, 231634 markings/sec, 435 secs
lola: 141992915 markings, 283550347 edges, 219918 markings/sec, 440 secs
lola: 143271371 markings, 286103991 edges, 255691 markings/sec, 445 secs
lola: 144320385 markings, 288199213 edges, 209803 markings/sec, 450 secs
lola: 145542641 markings, 290640843 edges, 244451 markings/sec, 455 secs
lola: 146717604 markings, 292987884 edges, 234993 markings/sec, 460 secs
lola: 147857147 markings, 295264189 edges, 227909 markings/sec, 465 secs
lola: 148941748 markings, 297430568 edges, 216920 markings/sec, 470 secs
lola: 149960642 markings, 299465754 edges, 203779 markings/sec, 475 secs
lola: 150570211 markings, 300683539 edges, 121914 markings/sec, 480 secs
lola: 151323069 markings, 302187395 edges, 150572 markings/sec, 485 secs
lola: 152129616 markings, 303798517 edges, 161309 markings/sec, 490 secs
lola: 152242765 markings, 304024237 edges, 22630 markings/sec, 495 secs
lola: 153524816 markings, 306585296 edges, 256410 markings/sec, 500 secs
lola: 154272635 markings, 308079185 edges, 149564 markings/sec, 505 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 532 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((p24 <= 0) OR (G ((1 <= p24)) AND F ((p24 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((p24 <= 0) OR (G ((1 <= p24)) AND F ((p24 <= 0))))))
lola: processed formula length: 59
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 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: 27199 markings, 27201 edges
lola: ========================================
lola: subprocess 10 will run for 798 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((F (((p12 <= 0) AND (p24 <= 0))) AND G ((1 <= p12)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F (((p12 <= 0) AND (p24 <= 0))) AND G ((1 <= p12)))))
lola: processed formula length: 60
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 11583 markings, 11583 edges
lola: ========================================
lola: subprocess 11 will run for 1596 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((1 <= p18)) OR F ((F (((1 <= p9) OR (G (F ((p18 <= 0))) AND F ((1 <= p9))))) AND (1 <= p6))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 1596 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((1 <= p18))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((1 <= p18))
lola: processed formula length: 14
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1620 markings, 1620 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G (F ((F ((p9 <= 0)) OR X ((1 <= p9)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F ((p9 <= 0)) OR X ((1 <= p9)))))
lola: processed formula length: 40
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1873594 markings, 5326498 edges, 374719 markings/sec, 0 secs
lola: 3545697 markings, 10730860 edges, 334421 markings/sec, 5 secs
lola: 5183029 markings, 16245377 edges, 327466 markings/sec, 10 secs
lola: 6767219 markings, 21695745 edges, 316838 markings/sec, 15 secs
lola: 8400943 markings, 27267852 edges, 326745 markings/sec, 20 secs
lola: 9881979 markings, 32637686 edges, 296207 markings/sec, 25 secs
lola: 11363456 markings, 37817744 edges, 296295 markings/sec, 30 secs
lola: 12807953 markings, 43061789 edges, 288899 markings/sec, 35 secs
lola: 14292962 markings, 48299019 edges, 297002 markings/sec, 40 secs
lola: 15716497 markings, 53459734 edges, 284707 markings/sec, 45 secs
lola: 17125988 markings, 58740478 edges, 281898 markings/sec, 50 secs
lola: 18514401 markings, 63877796 edges, 277683 markings/sec, 55 secs
lola: 19910036 markings, 69018806 edges, 279127 markings/sec, 60 secs
lola: 21265706 markings, 74147845 edges, 271134 markings/sec, 65 secs
lola: 22623250 markings, 79134446 edges, 271509 markings/sec, 70 secs
lola: 23970506 markings, 84110710 edges, 269451 markings/sec, 75 secs
lola: 25330965 markings, 89001655 edges, 272092 markings/sec, 80 secs
lola: 26638947 markings, 94005831 edges, 261596 markings/sec, 85 secs
lola: 27958308 markings, 98872706 edges, 263872 markings/sec, 90 secs
lola: 29294209 markings, 103843380 edges, 267180 markings/sec, 95 secs
lola: 30605767 markings, 108809641 edges, 262312 markings/sec, 100 secs
lola: 31873351 markings, 113698713 edges, 253517 markings/sec, 105 secs
lola: 33134062 markings, 118484224 edges, 252142 markings/sec, 110 secs
lola: 34397934 markings, 123377328 edges, 252774 markings/sec, 115 secs
lola: 35691956 markings, 128136103 edges, 258804 markings/sec, 120 secs
lola: 36951659 markings, 133013123 edges, 251941 markings/sec, 125 secs
lola: 38206809 markings, 137782525 edges, 251030 markings/sec, 130 secs
lola: 39427964 markings, 142377452 edges, 244231 markings/sec, 135 secs
lola: 40704997 markings, 147105225 edges, 255407 markings/sec, 140 secs
lola: 41916334 markings, 151843371 edges, 242267 markings/sec, 145 secs
lola: 43114416 markings, 156521451 edges, 239616 markings/sec, 150 secs
lola: 44363584 markings, 161209554 edges, 249834 markings/sec, 155 secs
lola: 45604116 markings, 165907635 edges, 248106 markings/sec, 160 secs
lola: 46852606 markings, 170540417 edges, 249698 markings/sec, 165 secs
lola: 48039971 markings, 175284511 edges, 237473 markings/sec, 170 secs
lola: 49204551 markings, 179759914 edges, 232916 markings/sec, 175 secs
lola: 50455347 markings, 184605293 edges, 250159 markings/sec, 180 secs
lola: 51582552 markings, 189061168 edges, 225441 markings/sec, 185 secs
lola: 52821617 markings, 193782430 edges, 247813 markings/sec, 190 secs
lola: 53961714 markings, 198276442 edges, 228019 markings/sec, 195 secs
lola: 55114456 markings, 202846133 edges, 230548 markings/sec, 200 secs
lola: 56208965 markings, 207029784 edges, 218902 markings/sec, 205 secs
lola: 57231065 markings, 211096935 edges, 204420 markings/sec, 210 secs
lola: 58269794 markings, 215111998 edges, 207746 markings/sec, 215 secs
lola: 59404553 markings, 219566440 edges, 226952 markings/sec, 220 secs
lola: 60489821 markings, 223883730 edges, 217054 markings/sec, 225 secs
lola: 61684106 markings, 228575878 edges, 238857 markings/sec, 230 secs
lola: 62818197 markings, 232855690 edges, 226818 markings/sec, 235 secs
lola: 64000728 markings, 237306545 edges, 236506 markings/sec, 240 secs
lola: 65142098 markings, 241791099 edges, 228274 markings/sec, 245 secs
lola: 66282861 markings, 246216209 edges, 228153 markings/sec, 250 secs
lola: 67422829 markings, 250569225 edges, 227994 markings/sec, 255 secs
lola: 68525169 markings, 255038213 edges, 220468 markings/sec, 260 secs
lola: 69609647 markings, 259349916 edges, 216896 markings/sec, 265 secs
lola: 70697840 markings, 263622648 edges, 217639 markings/sec, 270 secs
lola: 71803549 markings, 267864742 edges, 221142 markings/sec, 275 secs
lola: 72906749 markings, 272281206 edges, 220640 markings/sec, 280 secs
lola: 74025644 markings, 276681102 edges, 223779 markings/sec, 285 secs
lola: 75188452 markings, 281211747 edges, 232562 markings/sec, 290 secs
lola: 76273796 markings, 285444764 edges, 217069 markings/sec, 295 secs
lola: 77346834 markings, 289641981 edges, 214608 markings/sec, 300 secs
lola: 78476619 markings, 293997300 edges, 225957 markings/sec, 305 secs
lola: 79555005 markings, 298293453 edges, 215677 markings/sec, 310 secs
lola: 80590099 markings, 302471804 edges, 207019 markings/sec, 315 secs
lola: 81617348 markings, 306565977 edges, 205450 markings/sec, 320 secs
lola: 82667273 markings, 310741968 edges, 209985 markings/sec, 325 secs
lola: 83683493 markings, 315016459 edges, 203244 markings/sec, 330 secs
lola: 84714927 markings, 319125543 edges, 206287 markings/sec, 335 secs
lola: 85797010 markings, 323241416 edges, 216417 markings/sec, 340 secs
lola: 86827697 markings, 327430241 edges, 206137 markings/sec, 345 secs
lola: 87852980 markings, 331534397 edges, 205057 markings/sec, 350 secs
lola: 88937661 markings, 335811379 edges, 216936 markings/sec, 355 secs
lola: 90013154 markings, 340011318 edges, 215099 markings/sec, 360 secs
lola: 91031635 markings, 343915250 edges, 203696 markings/sec, 365 secs
lola: 92152620 markings, 348172241 edges, 224197 markings/sec, 370 secs
lola: 93215182 markings, 352253863 edges, 212512 markings/sec, 375 secs
lola: 94211240 markings, 356344044 edges, 199212 markings/sec, 380 secs
lola: 95195628 markings, 360379758 edges, 196878 markings/sec, 385 secs
lola: 96216780 markings, 364413452 edges, 204230 markings/sec, 390 secs
lola: 97182997 markings, 368287006 edges, 193243 markings/sec, 395 secs
lola: 98167311 markings, 372368113 edges, 196863 markings/sec, 400 secs
lola: 99121951 markings, 376266942 edges, 190928 markings/sec, 405 secs
lola: 100163827 markings, 380333219 edges, 208375 markings/sec, 410 secs
lola: 100691056 markings, 382543859 edges, 105446 markings/sec, 415 secs
lola: 101236908 markings, 384716899 edges, 109170 markings/sec, 420 secs
lola: 101959341 markings, 387805561 edges, 144487 markings/sec, 425 secs
lola: 102485135 markings, 389756750 edges, 105159 markings/sec, 430 secs
lola: 103201933 markings, 392698112 edges, 143360 markings/sec, 435 secs
lola: 103719304 markings, 394761891 edges, 103474 markings/sec, 440 secs
lola: 104598445 markings, 398245046 edges, 175828 markings/sec, 445 secs
lola: 105266080 markings, 400986353 edges, 133527 markings/sec, 450 secs
lola: 105937907 markings, 403742097 edges, 134365 markings/sec, 455 secs
lola: 106629061 markings, 406549803 edges, 138231 markings/sec, 460 secs
lola: 107298349 markings, 409153115 edges, 133858 markings/sec, 465 secs
lola: 107890879 markings, 411545061 edges, 118506 markings/sec, 470 secs
lola: 108484883 markings, 413974429 edges, 118801 markings/sec, 475 secs
lola: 109412934 markings, 417665657 edges, 185610 markings/sec, 480 secs
lola: 110211127 markings, 420964766 edges, 159639 markings/sec, 485 secs
lola: 110754919 markings, 423163870 edges, 108758 markings/sec, 490 secs
lola: 111611519 markings, 426734113 edges, 171320 markings/sec, 495 secs
lola: 112311719 markings, 429523369 edges, 140040 markings/sec, 500 secs
lola: 113044825 markings, 432421692 edges, 146621 markings/sec, 505 secs
lola: 113823259 markings, 435490097 edges, 155687 markings/sec, 510 secs
lola: 114479705 markings, 438136103 edges, 131289 markings/sec, 515 secs
lola: 115256017 markings, 441282684 edges, 155262 markings/sec, 520 secs
lola: 115839790 markings, 443616626 edges, 116755 markings/sec, 525 secs
lola: 116470210 markings, 446146616 edges, 126084 markings/sec, 530 secs
lola: 117246936 markings, 449359821 edges, 155345 markings/sec, 535 secs
lola: 117841701 markings, 451782586 edges, 118953 markings/sec, 540 secs
lola: 118574063 markings, 454757929 edges, 146472 markings/sec, 545 secs
lola: 119344537 markings, 457852318 edges, 154095 markings/sec, 550 secs
lola: 119875869 markings, 459981947 edges, 106266 markings/sec, 555 secs
lola: 120676915 markings, 463235288 edges, 160209 markings/sec, 560 secs
lola: 121451998 markings, 466340683 edges, 155017 markings/sec, 565 secs
lola: 122236720 markings, 469528572 edges, 156944 markings/sec, 570 secs
lola: 122930162 markings, 472208396 edges, 138688 markings/sec, 575 secs
lola: 123690931 markings, 475202687 edges, 152154 markings/sec, 580 secs
lola: 124520020 markings, 478468871 edges, 165818 markings/sec, 585 secs
lola: 125149579 markings, 481016345 edges, 125912 markings/sec, 590 secs
lola: 125396630 markings, 481940601 edges, 49410 markings/sec, 595 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p0) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p0) AND (1 <= p13))))
lola: processed formula length: 34
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2682557 markings, 5275956 edges, 536511 markings/sec, 0 secs
lola: 5164351 markings, 10233540 edges, 496359 markings/sec, 5 secs
lola: 7494673 markings, 14888427 edges, 466064 markings/sec, 10 secs
lola: 9555530 markings, 19004884 edges, 412171 markings/sec, 15 secs
lola: 11543457 markings, 22975611 edges, 397585 markings/sec, 20 secs
lola: 13480554 markings, 26845331 edges, 387419 markings/sec, 25 secs
lola: 15350096 markings, 30579593 edges, 373908 markings/sec, 30 secs
lola: 17334576 markings, 34543634 edges, 396896 markings/sec, 35 secs
lola: 19384912 markings, 38639255 edges, 410067 markings/sec, 40 secs
lola: 21400411 markings, 42665261 edges, 403100 markings/sec, 45 secs
lola: 23384526 markings, 46628520 edges, 396823 markings/sec, 50 secs
lola: 25345894 markings, 50546398 edges, 392274 markings/sec, 55 secs
lola: 27282306 markings, 54414214 edges, 387282 markings/sec, 60 secs
lola: 29191789 markings, 58228594 edges, 381897 markings/sec, 65 secs
lola: 31084220 markings, 62008718 edges, 378486 markings/sec, 70 secs
lola: 32962266 markings, 65760186 edges, 375609 markings/sec, 75 secs
lola: 34821257 markings, 69473414 edges, 371798 markings/sec, 80 secs
lola: 36671879 markings, 73170252 edges, 370124 markings/sec, 85 secs
lola: 38507033 markings, 76835983 edges, 367031 markings/sec, 90 secs
lola: 40335853 markings, 80488914 edges, 365764 markings/sec, 95 secs
lola: 42156527 markings, 84125773 edges, 364135 markings/sec, 100 secs
lola: 43965443 markings, 87739105 edges, 361783 markings/sec, 105 secs
lola: 45765853 markings, 91335444 edges, 360082 markings/sec, 110 secs
lola: 47502402 markings, 94804345 edges, 347310 markings/sec, 115 secs
lola: 49286662 markings, 98368377 edges, 356852 markings/sec, 120 secs
lola: 51065884 markings, 101922352 edges, 355844 markings/sec, 125 secs
lola: 52842357 markings, 105470790 edges, 355295 markings/sec, 130 secs
lola: 54613826 markings, 109009272 edges, 354294 markings/sec, 135 secs
lola: 56381350 markings, 112539910 edges, 353505 markings/sec, 140 secs
lola: 58087706 markings, 115948597 edges, 341271 markings/sec, 145 secs
lola: 59847646 markings, 119464037 edges, 351988 markings/sec, 150 secs
lola: 61612733 markings, 122989817 edges, 353017 markings/sec, 155 secs
lola: 63381821 markings, 126523569 edges, 353818 markings/sec, 160 secs
lola: 65147394 markings, 130050413 edges, 353115 markings/sec, 165 secs
lola: 66907506 markings, 133566284 edges, 352022 markings/sec, 170 secs
lola: 68661347 markings, 137069437 edges, 350768 markings/sec, 175 secs
lola: 70411928 markings, 140566431 edges, 350116 markings/sec, 180 secs
lola: 72160563 markings, 144059333 edges, 349727 markings/sec, 185 secs
lola: 73907236 markings, 147548069 edges, 349335 markings/sec, 190 secs
lola: 75652781 markings, 151034941 edges, 349109 markings/sec, 195 secs
lola: 77399469 markings, 154523935 edges, 349338 markings/sec, 200 secs
lola: 79146730 markings, 158014181 edges, 349452 markings/sec, 205 secs
lola: 80893987 markings, 161504447 edges, 349451 markings/sec, 210 secs
lola: 82642482 markings, 164997088 edges, 349699 markings/sec, 215 secs
lola: 84392992 markings, 168493476 edges, 350102 markings/sec, 220 secs
lola: 86141235 markings, 171985881 edges, 349649 markings/sec, 225 secs
lola: 87880570 markings, 175460111 edges, 347867 markings/sec, 230 secs
lola: 89620206 markings, 178934963 edges, 347927 markings/sec, 235 secs
lola: 91358357 markings, 182407113 edges, 347630 markings/sec, 240 secs
lola: 93098724 markings, 185883396 edges, 348073 markings/sec, 245 secs
lola: 94845800 markings, 189373141 edges, 349415 markings/sec, 250 secs
lola: 96593214 markings, 192863818 edges, 349483 markings/sec, 255 secs
lola: 98338565 markings, 196349981 edges, 349070 markings/sec, 260 secs
lola: 100085222 markings, 199838993 edges, 349331 markings/sec, 265 secs
lola: 101826357 markings, 203317039 edges, 348227 markings/sec, 270 secs
lola: 103510979 markings, 206682153 edges, 336924 markings/sec, 275 secs
lola: 105104882 markings, 209865823 edges, 318781 markings/sec, 280 secs
lola: 106740866 markings, 213133876 edges, 327197 markings/sec, 285 secs
lola: 108361877 markings, 216371680 edges, 324202 markings/sec, 290 secs
lola: 109973637 markings, 219591167 edges, 322352 markings/sec, 295 secs
lola: 111576703 markings, 222793606 edges, 320613 markings/sec, 300 secs
lola: 113171553 markings, 225979332 edges, 318970 markings/sec, 305 secs
lola: 114761455 markings, 229154934 edges, 317980 markings/sec, 310 secs
lola: 116350393 markings, 232328897 edges, 317788 markings/sec, 315 secs
lola: 117934624 markings, 235493364 edges, 316846 markings/sec, 320 secs
lola: 119515974 markings, 238652321 edges, 316270 markings/sec, 325 secs
lola: 121093543 markings, 241803499 edges, 315514 markings/sec, 330 secs
lola: 122669250 markings, 244950780 edges, 315141 markings/sec, 335 secs
lola: 124244693 markings, 248097778 edges, 315089 markings/sec, 340 secs
lola: 125709536 markings, 251024689 edges, 292969 markings/sec, 345 secs
lola: 126766810 markings, 253135801 edges, 211455 markings/sec, 350 secs
lola: 128138259 markings, 255875474 edges, 274290 markings/sec, 355 secs
lola: 129732238 markings, 259059244 edges, 318796 markings/sec, 360 secs
lola: 130797189 markings, 261186594 edges, 212990 markings/sec, 365 secs
lola: 131790405 markings, 263170483 edges, 198643 markings/sec, 370 secs
lola: 133017688 markings, 265622022 edges, 245457 markings/sec, 375 secs
lola: 134417878 markings, 268419149 edges, 280038 markings/sec, 380 secs
lola: 135681061 markings, 270942020 edges, 252637 markings/sec, 385 secs
lola: 136902873 markings, 273382765 edges, 244362 markings/sec, 390 secs
lola: 138437994 markings, 276449267 edges, 307024 markings/sec, 395 secs
lola: 139656288 markings, 278882856 edges, 243659 markings/sec, 400 secs
lola: 140887191 markings, 281341591 edges, 246181 markings/sec, 405 secs
lola: 142058277 markings, 283680669 edges, 234217 markings/sec, 410 secs
lola: 143180375 markings, 285922217 edges, 224420 markings/sec, 415 secs
lola: 144324979 markings, 288208379 edges, 228921 markings/sec, 420 secs
lola: 145499514 markings, 290554815 edges, 234907 markings/sec, 425 secs
lola: 146628479 markings, 292809620 edges, 225793 markings/sec, 430 secs
lola: 148078992 markings, 295707371 edges, 290103 markings/sec, 435 secs
lola: 149169648 markings, 297885947 edges, 218131 markings/sec, 440 secs
lola: 150776747 markings, 301095939 edges, 321420 markings/sec, 445 secs
lola: 151809945 markings, 303159956 edges, 206640 markings/sec, 450 secs
lola: 153015952 markings, 305568724 edges, 241201 markings/sec, 455 secs
lola: 154183062 markings, 307900052 edges, 233422 markings/sec, 460 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: (X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15))))) OR (G (((1 <= p5) AND (1 <= p15))) AND X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: G (((1 <= p5) AND (1 <= p15)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p5) AND (1 <= p15)))
lola: processed formula length: 30
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1620 markings, 1620 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15)))))
lola: processed formula length: 70
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2027086 markings, 4074022 edges, 405417 markings/sec, 0 secs
lola: 3880916 markings, 8211768 edges, 370766 markings/sec, 5 secs
lola: 5882580 markings, 12627332 edges, 400333 markings/sec, 10 secs
lola: 7850377 markings, 16958719 edges, 393559 markings/sec, 15 secs
lola: 9598160 markings, 21162916 edges, 349557 markings/sec, 20 secs
lola: 11547278 markings, 25465307 edges, 389824 markings/sec, 25 secs
lola: 13326544 markings, 29674037 edges, 355853 markings/sec, 30 secs
lola: 15244704 markings, 33904007 edges, 383632 markings/sec, 35 secs
lola: 16986760 markings, 38015019 edges, 348411 markings/sec, 40 secs
lola: 18886762 markings, 42200153 edges, 380000 markings/sec, 45 secs
lola: 20637570 markings, 46349471 edges, 350162 markings/sec, 50 secs
lola: 22369951 markings, 50500670 edges, 346476 markings/sec, 55 secs
lola: 24281014 markings, 54712887 edges, 382213 markings/sec, 60 secs
lola: 26042188 markings, 58871821 edges, 352235 markings/sec, 65 secs
lola: 27749310 markings, 62895504 edges, 341424 markings/sec, 70 secs
lola: 29614864 markings, 67007630 edges, 373111 markings/sec, 75 secs
lola: 31347777 markings, 71163201 edges, 346583 markings/sec, 80 secs
lola: 33088443 markings, 75270828 edges, 348133 markings/sec, 85 secs
lola: 34811242 markings, 79333744 edges, 344560 markings/sec, 90 secs
lola: 36723482 markings, 83548895 edges, 382448 markings/sec, 95 secs
lola: 38424596 markings, 87638663 edges, 340223 markings/sec, 100 secs
lola: 40152402 markings, 91714127 edges, 345561 markings/sec, 105 secs
lola: 41801868 markings, 95601426 edges, 329893 markings/sec, 110 secs
lola: 43741376 markings, 99876860 edges, 387902 markings/sec, 115 secs
lola: 45434974 markings, 103947922 edges, 338720 markings/sec, 120 secs
lola: 47209439 markings, 108140104 edges, 354893 markings/sec, 125 secs
lola: 48981600 markings, 112326520 edges, 354432 markings/sec, 130 secs
lola: 50911681 markings, 116586307 edges, 386016 markings/sec, 135 secs
lola: 52686235 markings, 120790725 edges, 354911 markings/sec, 140 secs
lola: 54423137 markings, 124957531 edges, 347380 markings/sec, 145 secs
lola: 56139144 markings, 129003468 edges, 343201 markings/sec, 150 secs
lola: 57873512 markings, 133095322 edges, 346874 markings/sec, 155 secs
lola: 59781798 markings, 137300567 edges, 381657 markings/sec, 160 secs
lola: 61483040 markings, 141390673 edges, 340248 markings/sec, 165 secs
lola: 63206256 markings, 145454652 edges, 344643 markings/sec, 170 secs
lola: 64907097 markings, 149462611 edges, 340168 markings/sec, 175 secs
lola: 66602733 markings, 153538697 edges, 339127 markings/sec, 180 secs
lola: 68501639 markings, 157720495 edges, 379781 markings/sec, 185 secs
lola: 70250762 markings, 161849279 edges, 349825 markings/sec, 190 secs
lola: 71965374 markings, 165891702 edges, 342922 markings/sec, 195 secs
lola: 73619155 markings, 169863070 edges, 330756 markings/sec, 200 secs
lola: 75348295 markings, 173941854 edges, 345828 markings/sec, 205 secs
lola: 77110600 markings, 177997822 edges, 352461 markings/sec, 210 secs
lola: 78959263 markings, 182172124 edges, 369733 markings/sec, 215 secs
lola: 80674770 markings, 186285486 edges, 343101 markings/sec, 220 secs
lola: 82397112 markings, 190347263 edges, 344468 markings/sec, 225 secs
lola: 84084238 markings, 194334075 edges, 337425 markings/sec, 230 secs
lola: 85808761 markings, 198469276 edges, 344905 markings/sec, 235 secs
lola: 87655895 markings, 202590315 edges, 369427 markings/sec, 240 secs
lola: 89426437 markings, 206703892 edges, 354108 markings/sec, 245 secs
lola: 91106643 markings, 210686665 edges, 336041 markings/sec, 250 secs
lola: 92770498 markings, 214656771 edges, 332771 markings/sec, 255 secs
lola: 94379224 markings, 218434812 edges, 321745 markings/sec, 260 secs
lola: 96016115 markings, 222363942 edges, 327378 markings/sec, 265 secs
lola: 97683962 markings, 226289875 edges, 333569 markings/sec, 270 secs
lola: 99411127 markings, 230081409 edges, 345433 markings/sec, 275 secs
lola: 100862763 markings, 233508602 edges, 290327 markings/sec, 280 secs
lola: 102476855 markings, 237380652 edges, 322818 markings/sec, 285 secs
lola: 104144498 markings, 241305533 edges, 333529 markings/sec, 290 secs
lola: 105756966 markings, 245163085 edges, 322494 markings/sec, 295 secs
lola: 107417328 markings, 249080794 edges, 332072 markings/sec, 300 secs
lola: 109082030 markings, 253008216 edges, 332940 markings/sec, 305 secs
lola: 110947081 markings, 257134093 edges, 373010 markings/sec, 310 secs
lola: 112646676 markings, 261181388 edges, 339919 markings/sec, 315 secs
lola: 114321430 markings, 265124635 edges, 334951 markings/sec, 320 secs
lola: 115924879 markings, 268970063 edges, 320690 markings/sec, 325 secs
lola: 117574345 markings, 272849992 edges, 329893 markings/sec, 330 secs
lola: 119079489 markings, 276452295 edges, 301029 markings/sec, 335 secs
lola: 120679551 markings, 280205838 edges, 320012 markings/sec, 340 secs
lola: 122107611 markings, 283436504 edges, 285612 markings/sec, 345 secs
lola: 122863994 markings, 285101481 edges, 151277 markings/sec, 350 secs
lola: 123994769 markings, 287765832 edges, 226155 markings/sec, 355 secs
lola: 125160295 markings, 290516650 edges, 233105 markings/sec, 360 secs
lola: 126232666 markings, 293115967 edges, 214474 markings/sec, 365 secs
lola: 127475892 markings, 296061179 edges, 248645 markings/sec, 370 secs
lola: 128575817 markings, 298648357 edges, 219985 markings/sec, 375 secs
lola: 130036562 markings, 302137252 edges, 292149 markings/sec, 380 secs
lola: 131065872 markings, 304547726 edges, 205862 markings/sec, 385 secs
lola: 132290379 markings, 307446609 edges, 244901 markings/sec, 390 secs
lola: 133446170 markings, 310176046 edges, 231158 markings/sec, 395 secs
lola: 135065406 markings, 313810403 edges, 323847 markings/sec, 400 secs
lola: 136201020 markings, 316413185 edges, 227123 markings/sec, 405 secs
lola: 137349449 markings, 319121726 edges, 229686 markings/sec, 410 secs
lola: 138578565 markings, 322031675 edges, 245823 markings/sec, 415 secs
lola: 140127651 markings, 325741532 edges, 309817 markings/sec, 420 secs
lola: 141058224 markings, 327946931 edges, 186115 markings/sec, 425 secs
lola: 142470605 markings, 331273404 edges, 282476 markings/sec, 430 secs
lola: 144018262 markings, 334979721 edges, 309531 markings/sec, 435 secs
lola: 145531603 markings, 338566687 edges, 302668 markings/sec, 440 secs
lola: 146126444 markings, 339995369 edges, 118968 markings/sec, 445 secs
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: F ((X (X (G ((F (((p5 <= 0) OR (p15 <= 0))) AND ((p22 <= 0) OR ((p5 <= 0) OR (p15 <= 0))))))) OR ((1 <= p0) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((X (X (G ((F (((p5 <= 0) OR (p15 <= 0))) AND ((p22 <= 0) OR ((p5 <= 0) OR (p15 <= 0))))))) OR ((1 <= p0) AND (1 <= p13))))
lola: processed formula length: 127
lola: 36 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: 2490392 markings, 4892120 edges, 498078 markings/sec, 0 secs
lola: 4401860 markings, 8710255 edges, 382294 markings/sec, 5 secs
lola: 6436577 markings, 12774872 edges, 406943 markings/sec, 10 secs
lola: 8517283 markings, 16930791 edges, 416141 markings/sec, 15 secs
lola: 10554211 markings, 20999858 edges, 407386 markings/sec, 20 secs
lola: 12557332 markings, 25001137 edges, 400624 markings/sec, 25 secs
lola: 14515117 markings, 28911740 edges, 391557 markings/sec, 30 secs
lola: 16439380 markings, 32755536 edges, 384853 markings/sec, 35 secs
lola: 18356812 markings, 36585564 edges, 383486 markings/sec, 40 secs
lola: 20253493 markings, 40374166 edges, 379336 markings/sec, 45 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown no no yes no no unknown unknown unknown no unknown
lola:
preliminary result: no unknown no no yes no no unknown unknown unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no no yes no no unknown unknown unknown no unknown
lola: memory consumption: 2701500 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 unknown no no yes no no unknown unknown unknown no unknown
lola: memory consumption: 2701500 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="ClientsAndServers-PT-N0200P0"
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 ClientsAndServers-PT-N0200P0, 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-158987806400226"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0200P0.tgz
mv ClientsAndServers-PT-N0200P0 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 ;