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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15793.030 3600000.00 3411068.00 166109.90 ?FFTFFTFFFTF??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-158987806400210.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-N0050P0, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806400210
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 180K
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K 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 2.9K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 27 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 26 07:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K 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-N0050P0-00
FORMULA_NAME ClientsAndServers-PT-N0050P0-01
FORMULA_NAME ClientsAndServers-PT-N0050P0-02
FORMULA_NAME ClientsAndServers-PT-N0050P0-03
FORMULA_NAME ClientsAndServers-PT-N0050P0-04
FORMULA_NAME ClientsAndServers-PT-N0050P0-05
FORMULA_NAME ClientsAndServers-PT-N0050P0-06
FORMULA_NAME ClientsAndServers-PT-N0050P0-07
FORMULA_NAME ClientsAndServers-PT-N0050P0-08
FORMULA_NAME ClientsAndServers-PT-N0050P0-09
FORMULA_NAME ClientsAndServers-PT-N0050P0-10
FORMULA_NAME ClientsAndServers-PT-N0050P0-11
FORMULA_NAME ClientsAndServers-PT-N0050P0-12
FORMULA_NAME ClientsAndServers-PT-N0050P0-13
FORMULA_NAME ClientsAndServers-PT-N0050P0-14
FORMULA_NAME ClientsAndServers-PT-N0050P0-15

=== Now, execution of the tool begins

BK_START 1591226244483

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 23:17:27] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 23:17:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 23:17:27] [INFO ] Load time of PNML (sax parser for PT used): 35 ms
[2020-06-03 23:17:27] [INFO ] Transformed 25 places.
[2020-06-03 23:17:27] [INFO ] Transformed 18 transitions.
[2020-06-03 23:17:27] [INFO ] Parsed PT model containing 25 places and 18 transitions in 88 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 22 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100091 steps, including 16 resets, run finished after 99 ms. (steps per millisecond=1011 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 18 rows 25 cols
[2020-06-03 23:17:27] [INFO ] Computed 8 place invariants in 5 ms
[2020-06-03 23:17:27] [INFO ] [Real]Absence check using 5 positive place invariants in 22 ms returned sat
[2020-06-03 23:17:27] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 3 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2020-06-03 23:17:27] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2020-06-03 23:17:27] [INFO ] Flatten gal took : 41 ms
FORMULA ClientsAndServers-PT-N0050P0-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N0050P0-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N0050P0-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N0050P0-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N0050P0-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-03 23:17:27] [INFO ] Flatten gal took : 18 ms
[2020-06-03 23:17:27] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 6 ms.
[2020-06-03 23:17:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N0050P0 @ 3570 seconds

FORMULA ClientsAndServers-PT-N0050P0-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA ClientsAndServers-PT-N0050P0-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0050P0-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA ClientsAndServers-PT-N0050P0-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

FORMULA ClientsAndServers-PT-N0050P0-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-N0050P0

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "((p10 <= 0) U G (((1 <= p8) AND (1 <= p15))))",
"processed_size": 45,
"rewrites": 79
},
"result":
{
"edges": 2503,
"markings": 2502,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 1,
"aneg": 4,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "G ((G ((((p24 <= 0) R ((1 <= p4) AND (1 <= p21))) AND ((p8 <= 0) OR (p15 <= 0) OR (p4 <= 0) OR (p21 <= 0)))) OR X ((p12 <= 0))))",
"processed_size": 131,
"rewrites": 79
},
"result":
{
"edges": 4301,
"markings": 4301,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 446
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p1 <= 0) OR (p19 <= 0))",
"processed_size": 26,
"rewrites": 79
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

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

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

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1690
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F (G (((p5 <= 0) OR (p15 <= 0))))",
"processed_size": 34,
"rewrites": 79
},
"result":
{
"edges": 3413,
"markings": 2816,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 10,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 9879372,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "G(F(**)) : ((** U G(**)) AND X(F(**))) : G((G(((* R *) AND *)) OR X(*))) : X(F(((* R *) OR X(*)))) : (X((G(*) AND (X(*) AND F(*)))) AND **) : X(F((G(F(*)) OR (G(*) OR (G(**) AND F((G(F(*)) OR G(*)))))))) : X(F((F(**) OR G(F(**))))) : X(F((X(X(**)) AND (F(**) U **)))) : X(((F(**) U **) OR (X((F(**) OR **)) AND F(**)))) : X(F((G((** AND **)) AND (** AND **)))) : (G(F(**)) OR ((G(F(**)) AND F(G(**))) OR F(G(**))))"
},
"net":
{
"arcs": 54,
"conflict_clusters": 16,
"places": 25,
"places_significant": 17,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"interim_value": "unknown no no no no no no unknown unknown no unknown ",
"preliminary_value": "unknown no no no no no no unknown unknown no unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 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: F (G (X (F (X ((NOT(G ((1 <= p22))) U (X (F (X (((1 <= p0) AND (1 <= p13))))) U ((1 <= p0) AND (1 <= p13))))))))) : (((p10 <= 0) U G (((1 <= p8) AND (1 <= p15)))) AND F (X (F (((1 <= p8) AND (1 <= p15)))))) : G ((NOT(F ((((1 <= p24) U ((p4 <= 0) OR (p21 <= 0))) OR ((1 <= p8) AND (1 <= p15) AND (1 <= p4) AND (1 <= p21))))) OR NOT(X ((1 <= p12))))) : NOT(X (G (((((1 <= p8) AND (1 <= p15)) U (1 <= p12)) AND X ((1 <= p24)))))) : (NOT(X (((F ((1 <= p12)) OR X ((1 <= p22))) OR G ((1 <= p10))))) AND ((p1 <= 0) OR (p19 <= 0))) : F (X ((G ((1 <= p24)) U (NOT(G (X (F (G (((1 <= p8) AND (1 <= p15))))))) OR NOT(F ((1 <= p24))))))) : X (F ((F (((1 <= p9) AND (1 <= p11) AND (1 <= p17))) OR G (F ((1 <= p9)))))) : X (F ((X (X (((1 <= p0) AND (1 <= p13)))) AND (F (((1 <= p3))) U (1 <= p6))))) : X (((F (((1 <= p5) AND (1 <= p15))) U ((1 <= p4) AND (1 <= p21))) OR (X ((F ((1 <= p9)) OR ((1 <= p7) AND (1 <= p23)))) AND F (((1 <= p7) AND (1 <= p23)))))) : NOT(G (NOT(X (F ((((G ((1 <= p24)) AND G ((1 <= p9))) AND (1 <= p7)) AND (1 <= p23))))))) : ((F (G (((1 <= p0) AND (1 <= p13)))) U G (F (((1 <= p0) AND (1 <= p13))))) OR F (G (X (((p5 <= 0) OR (p15 <= 0))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k: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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p10 <= 0) U G (((1 <= p8) AND (1 <= p15)))) AND X (F (((1 <= p8) AND (1 <= p15)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p10 <= 0) U G (((1 <= p8) AND (1 <= p15))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((p10 <= 0) U G (((1 <= p8) AND (1 <= p15))))
lola: processed formula length: 45
lola: 79 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: 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: 2502 markings, 2503 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((G ((((p24 <= 0) R ((1 <= p4) AND (1 <= p21))) AND ((p8 <= 0) OR (p15 <= 0) OR (p4 <= 0) OR (p21 <= 0)))) OR X ((p12 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((G ((((p24 <= 0) R ((1 <= p4) AND (1 <= p21))) AND ((p8 <= 0) OR (p15 <= 0) OR (p4 <= 0) OR (p21 <= 0)))) OR X ((p12 <= 0))))
lola: processed formula length: 131
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4301 markings, 4301 edges
lola: ========================================
lola: subprocess 2 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((((p8 <= 0) OR (p15 <= 0)) R (p12 <= 0)) OR X ((p24 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((((p8 <= 0) OR (p15 <= 0)) R (p12 <= 0)) OR X ((p24 <= 0)))))
lola: processed formula length: 69
lola: 79 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: 5339 markings, 5343 edges
lola: ========================================
lola: subprocess 3 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((G ((p12 <= 0)) AND (X ((p22 <= 0)) AND F ((p10 <= 0))))) AND ((p1 <= 0) OR (p19 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p1 <= 0) OR (p19 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p1 <= 0) OR (p19 <= 0))
lola: processed formula length: 26
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G ((p12 <= 0)) AND (X ((p22 <= 0)) AND F ((p10 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G ((p12 <= 0)) AND (X ((p22 <= 0)) AND F ((p10 <= 0)))))
lola: processed formula length: 60
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2501 markings, 2501 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (F (((p8 <= 0) OR (p15 <= 0)))) OR (G ((p24 <= 0)) OR (G ((1 <= p24)) AND F ((G (F (((p8 <= 0) OR (p15 <= 0)))) OR G ((p24 <= 0)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (F (((p8 <= 0) OR (p15 <= 0)))) OR (G ((p24 <= 0)) OR (G ((1 <= p24)) AND F ((G (F (((p8 <= 0) OR (p15 <= 0)))) OR G ((p24 <= 0)))))))))
lola: processed formula length: 147
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 23 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: 3941 markings, 3961 edges
lola: ========================================
lola: subprocess 5 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((F (((1 <= p9) AND (1 <= p11) AND (1 <= p17))) OR G (F ((1 <= p9))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((F (((1 <= p9) AND (1 <= p11) AND (1 <= p17))) OR G (F ((1 <= p9))))))
lola: processed formula length: 76
lola: 79 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: 2501 markings, 2501 edges
lola: ========================================
lola: subprocess 6 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((X (X (((1 <= p0) AND (1 <= p13)))) AND (F (((1 <= p3))) U (1 <= p6)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((X (X (((1 <= p0) AND (1 <= p13)))) AND (F (((1 <= p3))) U (1 <= p6)))))
lola: processed formula length: 78
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 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: 1696045 markings, 6368881 edges, 339209 markings/sec, 0 secs
lola: 3351074 markings, 12668580 edges, 331006 markings/sec, 5 secs
lola: 4959277 markings, 18803464 edges, 321641 markings/sec, 10 secs
lola: 6593657 markings, 25055824 edges, 326876 markings/sec, 15 secs
lola: 8183126 markings, 31131920 edges, 317894 markings/sec, 20 secs
lola: 9733897 markings, 37074188 edges, 310154 markings/sec, 25 secs
lola: 11263336 markings, 43381029 edges, 305888 markings/sec, 30 secs
lola: 12540628 markings, 49453881 edges, 255458 markings/sec, 35 secs
lola: 13765469 markings, 55298001 edges, 244968 markings/sec, 40 secs
lola: 14951664 markings, 60975533 edges, 237239 markings/sec, 45 secs
lola: 16138516 markings, 66652173 edges, 237370 markings/sec, 50 secs
lola: 17263532 markings, 72043500 edges, 225003 markings/sec, 55 secs
lola: 18446457 markings, 77712257 edges, 236585 markings/sec, 60 secs
lola: 19607582 markings, 83283653 edges, 232225 markings/sec, 65 secs
lola: 20806348 markings, 89035617 edges, 239753 markings/sec, 70 secs
lola: 22120565 markings, 95245871 edges, 262843 markings/sec, 75 secs
lola: 23367061 markings, 101185490 edges, 249299 markings/sec, 80 secs
lola: 24572945 markings, 106946768 edges, 241177 markings/sec, 85 secs
lola: 25749857 markings, 112572602 edges, 235382 markings/sec, 90 secs
lola: 26911199 markings, 118132860 edges, 232268 markings/sec, 95 secs
lola: 28037143 markings, 123528284 edges, 225189 markings/sec, 100 secs
lola: 29177357 markings, 128999663 edges, 228043 markings/sec, 105 secs
lola: 30312700 markings, 134445577 edges, 227069 markings/sec, 110 secs
lola: 31461605 markings, 139955976 edges, 229781 markings/sec, 115 secs
lola: 32891359 markings, 146462796 edges, 285951 markings/sec, 120 secs
lola: 34266315 markings, 152787589 edges, 274991 markings/sec, 125 secs
lola: 35576536 markings, 158834906 edges, 262044 markings/sec, 130 secs
lola: 36850593 markings, 164722185 edges, 254811 markings/sec, 135 secs
lola: 38016529 markings, 170129082 edges, 233187 markings/sec, 140 secs
lola: 39267973 markings, 175918278 edges, 250289 markings/sec, 145 secs
lola: 40477525 markings, 181527464 edges, 241910 markings/sec, 150 secs
lola: 41684193 markings, 187121023 edges, 241334 markings/sec, 155 secs
lola: 42906327 markings, 192801299 edges, 244427 markings/sec, 160 secs
lola: 44135517 markings, 198498662 edges, 245838 markings/sec, 165 secs
lola: 45348150 markings, 204134955 edges, 242527 markings/sec, 170 secs
lola: 46551797 markings, 209728912 edges, 240729 markings/sec, 175 secs
lola: 47762499 markings, 215354414 edges, 242140 markings/sec, 180 secs
lola: 49001146 markings, 221111029 edges, 247729 markings/sec, 185 secs
lola: 50238591 markings, 226861768 edges, 247489 markings/sec, 190 secs
lola: 51445532 markings, 232489793 edges, 241388 markings/sec, 195 secs
lola: 52655712 markings, 238112170 edges, 242036 markings/sec, 200 secs
lola: 53856914 markings, 243691027 edges, 240240 markings/sec, 205 secs
lola: 55035121 markings, 249184048 edges, 235641 markings/sec, 210 secs
lola: 56231835 markings, 254742310 edges, 239343 markings/sec, 215 secs
lola: 57358103 markings, 259990804 edges, 225254 markings/sec, 220 secs
lola: 58483983 markings, 265240536 edges, 225176 markings/sec, 225 secs
lola: 59643627 markings, 270623343 edges, 231929 markings/sec, 230 secs
lola: 60788189 markings, 275956406 edges, 228912 markings/sec, 235 secs
lola: 61919632 markings, 281229284 edges, 226289 markings/sec, 240 secs
lola: 63067836 markings, 286583161 edges, 229641 markings/sec, 245 secs
lola: 64247847 markings, 292083361 edges, 236002 markings/sec, 250 secs
lola: 65439289 markings, 297614669 edges, 238288 markings/sec, 255 secs
lola: 66619180 markings, 303288766 edges, 235978 markings/sec, 260 secs
lola: 67753585 markings, 309532644 edges, 226881 markings/sec, 265 secs
lola: 68824984 markings, 315459738 edges, 214280 markings/sec, 270 secs
lola: 69869413 markings, 321257788 edges, 208886 markings/sec, 275 secs
lola: 70886130 markings, 326909544 edges, 203343 markings/sec, 280 secs
lola: 71869909 markings, 332388176 edges, 196756 markings/sec, 285 secs
lola: 72848110 markings, 337831393 edges, 195640 markings/sec, 290 secs
lola: 73814810 markings, 343216181 edges, 193340 markings/sec, 295 secs
lola: 74782994 markings, 348602963 edges, 193637 markings/sec, 300 secs
lola: 75732985 markings, 353903625 edges, 189998 markings/sec, 305 secs
lola: 76676969 markings, 359168736 edges, 188797 markings/sec, 310 secs
lola: 77613463 markings, 364394070 edges, 187299 markings/sec, 315 secs
lola: 78569655 markings, 369726336 edges, 191238 markings/sec, 320 secs
lola: 79534717 markings, 375110696 edges, 193012 markings/sec, 325 secs
lola: 80481508 markings, 380410008 edges, 189358 markings/sec, 330 secs
lola: 81435851 markings, 385730858 edges, 190869 markings/sec, 335 secs
lola: 82389767 markings, 391050457 edges, 190783 markings/sec, 340 secs
lola: 83323684 markings, 396274739 edges, 186783 markings/sec, 345 secs
lola: 84287841 markings, 401652000 edges, 192831 markings/sec, 350 secs
lola: 85250115 markings, 407034899 edges, 192455 markings/sec, 355 secs
lola: 86184434 markings, 412264683 edges, 186864 markings/sec, 360 secs
lola: 87139715 markings, 417588849 edges, 191056 markings/sec, 365 secs
lola: 88073951 markings, 422815872 edges, 186847 markings/sec, 370 secs
lola: 89001028 markings, 428001305 edges, 185415 markings/sec, 375 secs
lola: 89922905 markings, 433160520 edges, 184375 markings/sec, 380 secs
lola: 90844870 markings, 438317273 edges, 184393 markings/sec, 385 secs
lola: 91764474 markings, 443450308 edges, 183921 markings/sec, 390 secs
lola: 92682976 markings, 448579563 edges, 183700 markings/sec, 395 secs
lola: 93602963 markings, 453725331 edges, 183997 markings/sec, 400 secs
lola: 94514114 markings, 458821440 edges, 182230 markings/sec, 405 secs
lola: 95424602 markings, 463914139 edges, 182098 markings/sec, 410 secs
lola: 96334227 markings, 469002172 edges, 181925 markings/sec, 415 secs
lola: 97278470 markings, 474284594 edges, 188849 markings/sec, 420 secs
lola: 98226908 markings, 479589914 edges, 189688 markings/sec, 425 secs
lola: 99163048 markings, 484827901 edges, 187228 markings/sec, 430 secs
lola: 100085120 markings, 490006346 edges, 184414 markings/sec, 435 secs
lola: 101238779 markings, 496297709 edges, 230732 markings/sec, 440 secs
lola: 102305771 markings, 502199418 edges, 213398 markings/sec, 445 secs
lola: 103345160 markings, 507969086 edges, 207878 markings/sec, 450 secs
lola: 104368937 markings, 513651692 edges, 204755 markings/sec, 455 secs
lola: 105354431 markings, 519141019 edges, 197099 markings/sec, 460 secs
lola: 106339486 markings, 524611897 edges, 197011 markings/sec, 465 secs
lola: 107298636 markings, 529964998 edges, 191830 markings/sec, 470 secs
lola: 108260958 markings, 535319697 edges, 192464 markings/sec, 475 secs
lola: 109206936 markings, 540597081 edges, 189196 markings/sec, 480 secs
lola: 110160900 markings, 545920076 edges, 190793 markings/sec, 485 secs
lola: 111099981 markings, 551159167 edges, 187816 markings/sec, 490 secs
lola: 112030606 markings, 556350310 edges, 186125 markings/sec, 495 secs
lola: 112960155 markings, 561534219 edges, 185910 markings/sec, 500 secs
lola: 113894693 markings, 566745439 edges, 186908 markings/sec, 505 secs
lola: 114800223 markings, 571810918 edges, 181106 markings/sec, 510 secs
lola: 115728011 markings, 576983439 edges, 185558 markings/sec, 515 secs
lola: 116634927 markings, 582058997 edges, 181383 markings/sec, 520 secs
lola: 117559269 markings, 587210343 edges, 184868 markings/sec, 525 secs
lola: 118482995 markings, 592380533 edges, 184745 markings/sec, 530 secs
lola: 119397609 markings, 597478349 edges, 182923 markings/sec, 535 secs
lola: 120308665 markings, 602573169 edges, 182211 markings/sec, 540 secs
lola: 121211014 markings, 607620405 edges, 180470 markings/sec, 545 secs
lola: 122048109 markings, 612307206 edges, 167419 markings/sec, 550 secs
lola: 122869668 markings, 616895798 edges, 164312 markings/sec, 555 secs
lola: 123725443 markings, 621681726 edges, 171155 markings/sec, 560 secs
lola: 124643191 markings, 626816666 edges, 183550 markings/sec, 565 secs
lola: 125352575 markings, 630781739 edges, 141877 markings/sec, 570 secs
lola: 126117001 markings, 635052707 edges, 152885 markings/sec, 575 secs
lola: 126819083 markings, 638975463 edges, 140416 markings/sec, 580 secs
lola: 127298861 markings, 641650261 edges, 95956 markings/sec, 585 secs
lola: 128042551 markings, 645827134 edges, 148738 markings/sec, 590 secs
lola: 128639841 markings, 649158111 edges, 119458 markings/sec, 595 secs
lola: 129290635 markings, 652793710 edges, 130159 markings/sec, 600 secs
lola: 130004007 markings, 656786972 edges, 142674 markings/sec, 605 secs
lola: 130455276 markings, 659312676 edges, 90254 markings/sec, 610 secs
lola: 131144658 markings, 663163133 edges, 137876 markings/sec, 615 secs
lola: 131979771 markings, 667834076 edges, 167023 markings/sec, 620 secs
lola: 132475132 markings, 670615048 edges, 99072 markings/sec, 625 secs
lola: 133172863 markings, 674512073 edges, 139546 markings/sec, 630 secs
lola: 133982116 markings, 678975563 edges, 161851 markings/sec, 635 secs
lola: 134604163 markings, 681904062 edges, 124409 markings/sec, 640 secs
lola: 135054756 markings, 684045296 edges, 90119 markings/sec, 645 secs
lola: 135407809 markings, 685723745 edges, 70611 markings/sec, 650 secs
lola: 135786716 markings, 687530067 edges, 75781 markings/sec, 655 secs
lola: 136186023 markings, 689437414 edges, 79861 markings/sec, 660 secs
lola: 136564244 markings, 691240114 edges, 75644 markings/sec, 665 secs
lola: 136761350 markings, 692184098 edges, 39421 markings/sec, 670 secs
lola: 137126261 markings, 693926858 edges, 72982 markings/sec, 675 secs
lola: 137468612 markings, 695566014 edges, 68470 markings/sec, 680 secs
lola: 137767762 markings, 696995768 edges, 59830 markings/sec, 685 secs
lola: 138131148 markings, 698734848 edges, 72677 markings/sec, 690 secs
lola: 138497715 markings, 700491316 edges, 73313 markings/sec, 695 secs
lola: 138825662 markings, 702057693 edges, 65589 markings/sec, 700 secs
lola: 139220287 markings, 703949264 edges, 78925 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no no no no no unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((F (((1 <= p5) AND (1 <= p15))) U ((1 <= p4) AND (1 <= p21))) OR (X ((F ((1 <= p9)) OR ((1 <= p7) AND (1 <= p23)))) AND F (((1 <= p7) AND (1 <= p23))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((F (((1 <= p5) AND (1 <= p15))) U ((1 <= p4) AND (1 <= p21))) OR (X ((F ((1 <= p9)) OR ((1 <= p7) AND (1 <= p23)))) AND F (((1 <= p7) AND (1 <= p23))))))
lola: processed formula length: 157
lola: 79 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: 2317979 markings, 5259829 edges, 463596 markings/sec, 0 secs
lola: 4684171 markings, 10778421 edges, 473238 markings/sec, 5 secs
lola: 7053837 markings, 16305582 edges, 473933 markings/sec, 10 secs
lola: 9165908 markings, 21266792 edges, 422414 markings/sec, 15 secs
lola: 11448766 markings, 26607875 edges, 456572 markings/sec, 20 secs
lola: 13785479 markings, 32098725 edges, 467343 markings/sec, 25 secs
lola: 16063157 markings, 37447286 edges, 455536 markings/sec, 30 secs
lola: 18179958 markings, 42416330 edges, 423360 markings/sec, 35 secs
lola: 20422582 markings, 47686641 edges, 448525 markings/sec, 40 secs
lola: 22733290 markings, 53112486 edges, 462142 markings/sec, 45 secs
lola: 24891197 markings, 58200374 edges, 431581 markings/sec, 50 secs
lola: 27201475 markings, 63627933 edges, 462056 markings/sec, 55 secs
lola: 29248862 markings, 68453155 edges, 409477 markings/sec, 60 secs
lola: 31528419 markings, 73806858 edges, 455911 markings/sec, 65 secs
lola: 33893618 markings, 79387157 edges, 473040 markings/sec, 70 secs
lola: 36089598 markings, 84564074 edges, 439196 markings/sec, 75 secs
lola: 38495399 markings, 90216778 edges, 481160 markings/sec, 80 secs
lola: 40895949 markings, 95877003 edges, 480110 markings/sec, 85 secs
lola: 43258275 markings, 101451485 edges, 472465 markings/sec, 90 secs
lola: 45500326 markings, 106716631 edges, 448410 markings/sec, 95 secs
lola: 47726485 markings, 111964100 edges, 445232 markings/sec, 100 secs
lola: 50073315 markings, 117498490 edges, 469366 markings/sec, 105 secs
lola: 52335703 markings, 122834437 edges, 452478 markings/sec, 110 secs
lola: 54621156 markings, 128222815 edges, 457091 markings/sec, 115 secs
lola: 56813179 markings, 133389565 edges, 438405 markings/sec, 120 secs
lola: 59074809 markings, 138722377 edges, 452326 markings/sec, 125 secs
lola: 61322153 markings, 144020720 edges, 449469 markings/sec, 130 secs
lola: 63428163 markings, 148987138 edges, 421202 markings/sec, 135 secs
lola: 65807626 markings, 154599688 edges, 475893 markings/sec, 140 secs
lola: 68160653 markings, 160146317 edges, 470605 markings/sec, 145 secs
lola: 70457654 markings, 165563392 edges, 459400 markings/sec, 150 secs
lola: 72701750 markings, 170853702 edges, 448819 markings/sec, 155 secs
lola: 75026624 markings, 176335396 edges, 464975 markings/sec, 160 secs
lola: 77221964 markings, 181514122 edges, 439068 markings/sec, 165 secs
lola: 79347356 markings, 186523729 edges, 425078 markings/sec, 170 secs
lola: 81584723 markings, 191797167 edges, 447473 markings/sec, 175 secs
lola: 83898374 markings, 197255852 edges, 462730 markings/sec, 180 secs
lola: 86153866 markings, 202594079 edges, 451098 markings/sec, 185 secs
lola: 88267121 markings, 207574192 edges, 422651 markings/sec, 190 secs
lola: 90479466 markings, 212790402 edges, 442469 markings/sec, 195 secs
lola: 92737502 markings, 218115407 edges, 451607 markings/sec, 200 secs
lola: 95016971 markings, 223488765 edges, 455894 markings/sec, 205 secs
lola: 97251228 markings, 228757941 edges, 446851 markings/sec, 210 secs
lola: 99438061 markings, 233932677 edges, 437367 markings/sec, 215 secs
lola: 101675702 markings, 239209015 edges, 447528 markings/sec, 220 secs
lola: 104013234 markings, 244719817 edges, 467506 markings/sec, 225 secs
lola: 106267201 markings, 250034746 edges, 450793 markings/sec, 230 secs
lola: 108616413 markings, 255581094 edges, 469842 markings/sec, 235 secs
lola: 110921349 markings, 261031677 edges, 460987 markings/sec, 240 secs
lola: 113158637 markings, 266307514 edges, 447458 markings/sec, 245 secs
lola: 115482134 markings, 271785607 edges, 464699 markings/sec, 250 secs
lola: 117804686 markings, 277261316 edges, 464510 markings/sec, 255 secs
lola: 119072314 markings, 280265455 edges, 253526 markings/sec, 260 secs
lola: 120928118 markings, 284636442 edges, 371161 markings/sec, 265 secs
lola: 122493018 markings, 288341056 edges, 312980 markings/sec, 270 secs
lola: 123143978 markings, 289879410 edges, 130192 markings/sec, 275 secs
lola: 124896425 markings, 294008081 edges, 350489 markings/sec, 280 secs
lola: 126340054 markings, 297424656 edges, 288726 markings/sec, 285 secs
lola: 127196488 markings, 299432922 edges, 171287 markings/sec, 290 secs
lola: 128361782 markings, 302191008 edges, 233059 markings/sec, 295 secs
lola: 129678775 markings, 305306991 edges, 263399 markings/sec, 300 secs
lola: 131011013 markings, 308440527 edges, 266448 markings/sec, 305 secs
lola: 132470370 markings, 311893041 edges, 291871 markings/sec, 310 secs
lola: 133978237 markings, 315442322 edges, 301573 markings/sec, 315 secs
lola: 135465270 markings, 318961953 edges, 297407 markings/sec, 320 secs
lola: 136456307 markings, 321305812 edges, 198207 markings/sec, 325 secs
lola: 137803739 markings, 324477318 edges, 269486 markings/sec, 330 secs
lola: 138750393 markings, 326715667 edges, 189331 markings/sec, 335 secs
lola: 139998015 markings, 329668882 edges, 249524 markings/sec, 340 secs
lola: 141893091 markings, 334134598 edges, 379015 markings/sec, 345 secs
lola: 142860654 markings, 336425134 edges, 193513 markings/sec, 350 secs
lola: 144541576 markings, 340382366 edges, 336184 markings/sec, 355 secs
lola: 145743829 markings, 343227474 edges, 240451 markings/sec, 360 secs
lola: 146258403 markings, 344446807 edges, 102915 markings/sec, 365 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 825 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (((1 <= p24) AND (1 <= p9))) AND ((1 <= p7) AND (1 <= p23)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (((1 <= p24) AND (1 <= p9))) AND ((1 <= p7) AND (1 <= p23)))))
lola: processed formula length: 71
lola: 79 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: 2502 markings, 2502 edges
lola: ========================================
lola: subprocess 9 will run for 1238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((1 <= p0) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((1 <= p0) AND (1 <= p13))))
lola: processed formula length: 34
lola: 79 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: 1483275 markings, 5377819 edges, 296655 markings/sec, 0 secs
lola: 2874380 markings, 10721852 edges, 278221 markings/sec, 5 secs
lola: 4178694 markings, 15825197 edges, 260863 markings/sec, 10 secs
lola: 5513708 markings, 20939372 edges, 267003 markings/sec, 15 secs
lola: 6732401 markings, 25926050 edges, 243739 markings/sec, 20 secs
lola: 8011781 markings, 30877514 edges, 255876 markings/sec, 25 secs
lola: 9253892 markings, 35888144 edges, 248422 markings/sec, 30 secs
lola: 10461730 markings, 40679745 edges, 241568 markings/sec, 35 secs
lola: 11664832 markings, 45498824 edges, 240620 markings/sec, 40 secs
lola: 12887189 markings, 50408966 edges, 244471 markings/sec, 45 secs
lola: 14002234 markings, 55062541 edges, 223009 markings/sec, 50 secs
lola: 15187495 markings, 59723532 edges, 237052 markings/sec, 55 secs
lola: 16321204 markings, 64356379 edges, 226742 markings/sec, 60 secs
lola: 17495386 markings, 68945407 edges, 234836 markings/sec, 65 secs
lola: 18665065 markings, 73809698 edges, 233936 markings/sec, 70 secs
lola: 19749855 markings, 78335596 edges, 216958 markings/sec, 75 secs
lola: 20782247 markings, 82729880 edges, 206478 markings/sec, 80 secs
lola: 21974769 markings, 87343248 edges, 238504 markings/sec, 85 secs
lola: 23063725 markings, 91773334 edges, 217791 markings/sec, 90 secs
lola: 24143289 markings, 96164485 edges, 215913 markings/sec, 95 secs
lola: 25290680 markings, 100677333 edges, 229478 markings/sec, 100 secs
lola: 26396989 markings, 105392779 edges, 221262 markings/sec, 105 secs
lola: 27438613 markings, 109841253 edges, 208325 markings/sec, 110 secs
lola: 28454006 markings, 114094698 edges, 203079 markings/sec, 115 secs
lola: 29410500 markings, 118181376 edges, 191299 markings/sec, 120 secs
lola: 30536448 markings, 122513405 edges, 225190 markings/sec, 125 secs
lola: 31564275 markings, 126711461 edges, 205565 markings/sec, 130 secs
lola: 32526303 markings, 130672465 edges, 192406 markings/sec, 135 secs
lola: 33481355 markings, 134655623 edges, 191010 markings/sec, 140 secs
lola: 34458631 markings, 138689473 edges, 195455 markings/sec, 145 secs
lola: 35586749 markings, 143013649 edges, 225624 markings/sec, 150 secs
lola: 36577473 markings, 147322278 edges, 198145 markings/sec, 155 secs
lola: 37617285 markings, 151736674 edges, 207962 markings/sec, 160 secs
lola: 38571213 markings, 155848471 edges, 190786 markings/sec, 165 secs
lola: 39533120 markings, 159828264 edges, 192381 markings/sec, 170 secs
lola: 40442710 markings, 163818403 edges, 181918 markings/sec, 175 secs
lola: 41330138 markings, 167506822 edges, 177486 markings/sec, 180 secs
lola: 42385983 markings, 171553027 edges, 211169 markings/sec, 185 secs
lola: 43391606 markings, 175660137 edges, 201125 markings/sec, 190 secs
lola: 44332779 markings, 179547064 edges, 188235 markings/sec, 195 secs
lola: 45248440 markings, 183386061 edges, 183132 markings/sec, 200 secs
lola: 46161024 markings, 187232161 edges, 182517 markings/sec, 205 secs
lola: 47118230 markings, 191050985 edges, 191441 markings/sec, 210 secs
lola: 48007982 markings, 194806538 edges, 177950 markings/sec, 215 secs
lola: 49100020 markings, 198988151 edges, 218408 markings/sec, 220 secs
lola: 50059190 markings, 203172634 edges, 191834 markings/sec, 225 secs
lola: 51026195 markings, 207357070 edges, 193401 markings/sec, 230 secs
lola: 51999965 markings, 211532106 edges, 194754 markings/sec, 235 secs
lola: 52928514 markings, 215499626 edges, 185710 markings/sec, 240 secs
lola: 53854921 markings, 219407241 edges, 185281 markings/sec, 245 secs
lola: 54748770 markings, 223225331 edges, 178770 markings/sec, 250 secs
lola: 55615279 markings, 227052002 edges, 173302 markings/sec, 255 secs
lola: 56458524 markings, 230669949 edges, 168649 markings/sec, 260 secs
lola: 57331544 markings, 234310191 edges, 174604 markings/sec, 265 secs
lola: 58515833 markings, 238723614 edges, 236858 markings/sec, 270 secs
lola: 59529216 markings, 242901215 edges, 202677 markings/sec, 275 secs
lola: 60481721 markings, 246908983 edges, 190501 markings/sec, 280 secs
lola: 61440646 markings, 250943713 edges, 191785 markings/sec, 285 secs
lola: 62369397 markings, 254810666 edges, 185750 markings/sec, 290 secs
lola: 63292420 markings, 258774564 edges, 184605 markings/sec, 295 secs
lola: 64276500 markings, 262687942 edges, 196816 markings/sec, 300 secs
lola: 65213448 markings, 266773980 edges, 187390 markings/sec, 305 secs
lola: 66227691 markings, 270635724 edges, 202849 markings/sec, 310 secs
lola: 67270799 markings, 274825830 edges, 208622 markings/sec, 315 secs
lola: 68172466 markings, 278804975 edges, 180333 markings/sec, 320 secs
lola: 69080028 markings, 282787093 edges, 181512 markings/sec, 325 secs
lola: 70038430 markings, 286916696 edges, 191680 markings/sec, 330 secs
lola: 70972696 markings, 290940036 edges, 186853 markings/sec, 335 secs
lola: 71868044 markings, 294802800 edges, 179070 markings/sec, 340 secs
lola: 72739166 markings, 298633216 edges, 174224 markings/sec, 345 secs
lola: 73648455 markings, 302388731 edges, 181858 markings/sec, 350 secs
lola: 74524253 markings, 306139364 edges, 175160 markings/sec, 355 secs
lola: 75380377 markings, 309918916 edges, 171225 markings/sec, 360 secs
lola: 76254301 markings, 313826071 edges, 174785 markings/sec, 365 secs
lola: 77138451 markings, 317439282 edges, 176830 markings/sec, 370 secs
lola: 78039488 markings, 321159310 edges, 180207 markings/sec, 375 secs
lola: 79222427 markings, 325648615 edges, 236588 markings/sec, 380 secs
lola: 80251099 markings, 329897287 edges, 205734 markings/sec, 385 secs
lola: 81216528 markings, 333956983 edges, 193086 markings/sec, 390 secs
lola: 82179883 markings, 338010979 edges, 192671 markings/sec, 395 secs
lola: 83139488 markings, 342029116 edges, 191921 markings/sec, 400 secs
lola: 84061571 markings, 345952582 edges, 184417 markings/sec, 405 secs
lola: 84991073 markings, 349945863 edges, 185900 markings/sec, 410 secs
lola: 85899803 markings, 353814117 edges, 181746 markings/sec, 415 secs
lola: 86868619 markings, 357695293 edges, 193763 markings/sec, 420 secs
lola: 87803544 markings, 361665751 edges, 186985 markings/sec, 425 secs
lola: 88679062 markings, 365512574 edges, 175104 markings/sec, 430 secs
lola: 89773849 markings, 369527224 edges, 218957 markings/sec, 435 secs
lola: 90771818 markings, 373549745 edges, 199594 markings/sec, 440 secs
lola: 91640284 markings, 377411179 edges, 173693 markings/sec, 445 secs
lola: 92503859 markings, 381224396 edges, 172715 markings/sec, 450 secs
lola: 93382032 markings, 385097753 edges, 175635 markings/sec, 455 secs
lola: 94307899 markings, 389115726 edges, 185173 markings/sec, 460 secs
lola: 95290958 markings, 393236283 edges, 196612 markings/sec, 465 secs
lola: 96107539 markings, 396923588 edges, 163316 markings/sec, 470 secs
lola: 96973985 markings, 400657056 edges, 173289 markings/sec, 475 secs
lola: 97826211 markings, 404412849 edges, 170445 markings/sec, 480 secs
lola: 98728899 markings, 408143302 edges, 180538 markings/sec, 485 secs
lola: 99589577 markings, 411808714 edges, 172136 markings/sec, 490 secs
lola: 100460391 markings, 415614070 edges, 174163 markings/sec, 495 secs
lola: 101292643 markings, 419332649 edges, 166450 markings/sec, 500 secs
lola: 102198217 markings, 423342786 edges, 181115 markings/sec, 505 secs
lola: 103022019 markings, 426919839 edges, 164760 markings/sec, 510 secs
lola: 103931606 markings, 430654956 edges, 181917 markings/sec, 515 secs
lola: 104808103 markings, 434280794 edges, 175299 markings/sec, 520 secs
lola: 105989664 markings, 438708233 edges, 236312 markings/sec, 525 secs
lola: 107001788 markings, 442883249 edges, 202425 markings/sec, 530 secs
lola: 107948530 markings, 446866551 edges, 189348 markings/sec, 535 secs
lola: 108891563 markings, 450830817 edges, 188607 markings/sec, 540 secs
lola: 109812733 markings, 454666369 edges, 184234 markings/sec, 545 secs
lola: 110714442 markings, 458536212 edges, 180342 markings/sec, 550 secs
lola: 111626305 markings, 462422676 edges, 182373 markings/sec, 555 secs
lola: 112489042 markings, 466156037 edges, 172547 markings/sec, 560 secs
lola: 113358930 markings, 469774962 edges, 173978 markings/sec, 565 secs
lola: 114079708 markings, 472994701 edges, 144156 markings/sec, 570 secs
lola: 114762319 markings, 476001424 edges, 136522 markings/sec, 575 secs
lola: 115559483 markings, 479306763 edges, 159433 markings/sec, 580 secs
lola: 116336180 markings, 482325692 edges, 155339 markings/sec, 585 secs
lola: 117108761 markings, 485527777 edges, 154516 markings/sec, 590 secs
lola: 117785437 markings, 488557763 edges, 135335 markings/sec, 595 secs
lola: 118579517 markings, 492058109 edges, 158816 markings/sec, 600 secs
lola: 119029025 markings, 493676477 edges, 89902 markings/sec, 605 secs
lola: 119412500 markings, 495014890 edges, 76695 markings/sec, 610 secs
lola: 119923847 markings, 497029927 edges, 102269 markings/sec, 615 secs
lola: 120533293 markings, 499481873 edges, 121889 markings/sec, 620 secs
lola: 121233408 markings, 502319373 edges, 140023 markings/sec, 625 secs
lola: 121588914 markings, 503883141 edges, 71101 markings/sec, 630 secs
lola: 122271359 markings, 506943799 edges, 136489 markings/sec, 635 secs
lola: 122880107 markings, 509648353 edges, 121750 markings/sec, 640 secs
lola: 123447421 markings, 512178108 edges, 113463 markings/sec, 645 secs
lola: 124013118 markings, 514674413 edges, 113139 markings/sec, 650 secs
lola: 124651050 markings, 517511698 edges, 127586 markings/sec, 655 secs
lola: 125108503 markings, 519506001 edges, 91491 markings/sec, 660 secs
lola: 125688948 markings, 522050896 edges, 116089 markings/sec, 665 secs
lola: 126199547 markings, 524278194 edges, 102120 markings/sec, 670 secs
lola: 126676621 markings, 526324879 edges, 95415 markings/sec, 675 secs
lola: 127290133 markings, 528855164 edges, 122702 markings/sec, 680 secs
lola: 128065034 markings, 532374570 edges, 154980 markings/sec, 685 secs
lola: 128762037 markings, 535342896 edges, 139401 markings/sec, 690 secs
lola: 129443082 markings, 538382686 edges, 136209 markings/sec, 695 secs
lola: 130133168 markings, 541385405 edges, 138017 markings/sec, 700 secs
lola: 130776732 markings, 544309889 edges, 128713 markings/sec, 705 secs
lola: 131610865 markings, 547713226 edges, 166827 markings/sec, 710 secs
lola: 132336326 markings, 550823255 edges, 145092 markings/sec, 715 secs
lola: 133083717 markings, 553929755 edges, 149478 markings/sec, 720 secs
lola: 133844797 markings, 557346928 edges, 152216 markings/sec, 725 secs
lola: 134577668 markings, 560643432 edges, 146574 markings/sec, 730 secs
lola: 135226433 markings, 563503819 edges, 129753 markings/sec, 735 secs
lola: 135903530 markings, 566546634 edges, 135419 markings/sec, 740 secs
lola: 136617509 markings, 569769665 edges, 142796 markings/sec, 745 secs
lola: 137348741 markings, 572815512 edges, 146246 markings/sec, 750 secs
lola: 137996266 markings, 575445272 edges, 129505 markings/sec, 755 secs
lola: 138746075 markings, 578693302 edges, 149962 markings/sec, 760 secs
lola: 139265901 markings, 580762416 edges, 103965 markings/sec, 765 secs
lola: 139428138 markings, 581223298 edges, 32447 markings/sec, 770 secs
lola: 140329406 markings, 584636419 edges, 180254 markings/sec, 775 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 1690 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (F (((1 <= p0) AND (1 <= p13)))) OR ((G (F (((1 <= p0) AND (1 <= p13)))) AND F (G (((1 <= p0) AND (1 <= p13))))) OR F (G (((p5 <= 0) OR (p15 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 1690 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((p5 <= 0) OR (p15 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((p5 <= 0) OR (p15 <= 0))))
lola: processed formula length: 34
lola: 79 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: 2816 markings, 3413 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((1 <= p0) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((1 <= p0) AND (1 <= p13))))
lola: processed formula length: 34
lola: 79 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: local time limit reached - aborting
lola:
preliminary result: unknown no no no no no no unknown unknown no unknown
lola: memory consumption: 44452 KB
lola: time consumption: 1881 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (F ((X (X (((1 <= p0) AND (1 <= p13)))) AND (F (((1 <= p3))) U (1 <= p6)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((X (X (((1 <= p0) AND (1 <= p13)))) AND (F (((1 <= p3))) U (1 <= p6)))))
lola: processed formula length: 78
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 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: 1625069 markings, 6100669 edges, 325014 markings/sec, 0 secs
lola: 3358774 markings, 12698077 edges, 346741 markings/sec, 5 secs
lola: 4986669 markings, 18908896 edges, 325579 markings/sec, 10 secs
lola: 6564440 markings, 24943283 edges, 315554 markings/sec, 15 secs
lola: 8182401 markings, 31129116 edges, 323592 markings/sec, 20 secs
lola: 9715911 markings, 37004642 edges, 306702 markings/sec, 25 secs
lola: 11281974 markings, 43467335 edges, 313213 markings/sec, 30 secs
lola: 12619218 markings, 49827365 edges, 267449 markings/sec, 35 secs
lola: 13888381 markings, 55884616 edges, 253833 markings/sec, 40 secs
lola: 15136993 markings, 61856145 edges, 249722 markings/sec, 45 secs
lola: 16379500 markings, 67807740 edges, 248501 markings/sec, 50 secs
lola: 17608076 markings, 73690767 edges, 245715 markings/sec, 55 secs
lola: 18820941 markings, 79512626 edges, 242573 markings/sec, 60 secs
lola: 20040551 markings, 85356577 edges, 243922 markings/sec, 65 secs
lola: 21309485 markings, 91410880 edges, 253787 markings/sec, 70 secs
lola: 22596731 markings, 97513384 edges, 257449 markings/sec, 75 secs
lola: 23846905 markings, 103476653 edges, 250035 markings/sec, 80 secs
lola: 25074207 markings, 109340225 edges, 245460 markings/sec, 85 secs
lola: 26264360 markings, 115040601 edges, 238031 markings/sec, 90 secs
lola: 27477623 markings, 120851592 edges, 242653 markings/sec, 95 secs
lola: 28643992 markings, 126440895 edges, 233274 markings/sec, 100 secs
lola: 29804378 markings, 132000828 edges, 232077 markings/sec, 105 secs
lola: 30979515 markings, 137637752 edges, 235027 markings/sec, 110 secs
lola: 32328610 markings, 143888942 edges, 269819 markings/sec, 115 secs
lola: 33735256 markings, 150341912 edges, 281329 markings/sec, 120 secs
lola: 35102994 markings, 156648543 edges, 273548 markings/sec, 125 secs
lola: 36429186 markings, 162780799 edges, 265238 markings/sec, 130 secs
lola: 37729883 markings, 168790187 edges, 260139 markings/sec, 135 secs
lola: 39004308 markings, 174702240 edges, 254885 markings/sec, 140 secs
lola: 40264665 markings, 180548707 edges, 252071 markings/sec, 145 secs
lola: 41522586 markings, 186381015 edges, 251584 markings/sec, 150 secs
lola: 42777472 markings, 192198849 edges, 250977 markings/sec, 155 secs
lola: 44014554 markings, 197951899 edges, 247416 markings/sec, 160 secs
lola: 45256755 markings, 203707215 edges, 248440 markings/sec, 165 secs
lola: 46485015 markings, 209415230 edges, 245652 markings/sec, 170 secs
lola: 47704614 markings, 215083978 edges, 243920 markings/sec, 175 secs
lola: 48925269 markings, 220755771 edges, 244131 markings/sec, 180 secs
lola: 50140024 markings, 226401479 edges, 242951 markings/sec, 185 secs
lola: 51371626 markings, 232143761 edges, 246320 markings/sec, 190 secs
lola: 52599134 markings, 237846436 edges, 245502 markings/sec, 195 secs
lola: 53823221 markings, 243533724 edges, 244817 markings/sec, 200 secs
lola: 54954157 markings, 248805479 edges, 226187 markings/sec, 205 secs
lola: 56131908 markings, 254276914 edges, 235550 markings/sec, 210 secs
lola: 57326060 markings, 259841733 edges, 238830 markings/sec, 215 secs
lola: 58494819 markings, 265290344 edges, 233752 markings/sec, 220 secs
lola: 59684611 markings, 270814921 edges, 237958 markings/sec, 225 secs
lola: 60860615 markings, 276295648 edges, 235201 markings/sec, 230 secs
lola: 62016388 markings, 281683404 edges, 231155 markings/sec, 235 secs
lola: 63199360 markings, 287198677 edges, 236594 markings/sec, 240 secs
lola: 64426405 markings, 292896161 edges, 245409 markings/sec, 245 secs
lola: 65625170 markings, 298482705 edges, 239753 markings/sec, 250 secs
lola: 66832243 markings, 304454784 edges, 241415 markings/sec, 255 secs
lola: 67958319 markings, 310662819 edges, 225215 markings/sec, 260 secs
lola: 69038317 markings, 316643990 edges, 216000 markings/sec, 265 secs
lola: 70100372 markings, 322540493 edges, 212411 markings/sec, 270 secs
lola: 71136297 markings, 328299193 edges, 207185 markings/sec, 275 secs
lola: 72145663 markings, 333921423 edges, 201873 markings/sec, 280 secs
lola: 73154175 markings, 339538858 edges, 201702 markings/sec, 285 secs
lola: 74150134 markings, 345081844 edges, 199192 markings/sec, 290 secs
lola: 75137033 markings, 350575746 edges, 197380 markings/sec, 295 secs
lola: 76134638 markings, 356142228 edges, 199521 markings/sec, 300 secs
lola: 77105515 markings, 361558983 edges, 194175 markings/sec, 305 secs
lola: 78070943 markings, 366944788 edges, 193086 markings/sec, 310 secs
lola: 79029330 markings, 372290229 edges, 191677 markings/sec, 315 secs
lola: 79991397 markings, 377657731 edges, 192413 markings/sec, 320 secs
lola: 80929586 markings, 382906384 edges, 187638 markings/sec, 325 secs
lola: 81882823 markings, 388221637 edges, 190647 markings/sec, 330 secs
lola: 82816207 markings, 393446177 edges, 186677 markings/sec, 335 secs
lola: 83764552 markings, 398732167 edges, 189669 markings/sec, 340 secs
lola: 84715107 markings, 404052163 edges, 190111 markings/sec, 345 secs
lola: 85661226 markings, 409325634 edges, 189224 markings/sec, 350 secs
lola: 86596062 markings, 414554515 edges, 186967 markings/sec, 355 secs
lola: 87518302 markings, 419715860 edges, 184448 markings/sec, 360 secs
lola: 88435003 markings, 424845910 edges, 183340 markings/sec, 365 secs
lola: 89365752 markings, 430031291 edges, 186150 markings/sec, 370 secs
lola: 90296324 markings, 435236549 edges, 186114 markings/sec, 375 secs
lola: 91223029 markings, 440419263 edges, 185341 markings/sec, 380 secs
lola: 92136198 markings, 445529065 edges, 182634 markings/sec, 385 secs
lola: 93042627 markings, 450597358 edges, 181286 markings/sec, 390 secs
lola: 93951284 markings, 455681797 edges, 181731 markings/sec, 395 secs
lola: 94860964 markings, 460768351 edges, 181936 markings/sec, 400 secs
lola: 95768784 markings, 465848128 edges, 181564 markings/sec, 405 secs
lola: 96698751 markings, 471050159 edges, 185993 markings/sec, 410 secs
lola: 97645245 markings, 476344306 edges, 189299 markings/sec, 415 secs
lola: 98585567 markings, 481603895 edges, 188064 markings/sec, 420 secs
lola: 99518986 markings, 486824205 edges, 186684 markings/sec, 425 secs
lola: 100531461 markings, 492406821 edges, 202495 markings/sec, 430 secs
lola: 101620411 markings, 498408213 edges, 217790 markings/sec, 435 secs
lola: 102661648 markings, 504172536 edges, 208247 markings/sec, 440 secs
lola: 103683256 markings, 509843005 edges, 204322 markings/sec, 445 secs
lola: 104682173 markings, 515395974 edges, 199783 markings/sec, 450 secs
lola: 105653966 markings, 520807976 edges, 194359 markings/sec, 455 secs
lola: 106620399 markings, 526188532 edges, 193287 markings/sec, 460 secs
lola: 107576443 markings, 531507731 edges, 191209 markings/sec, 465 secs
lola: 108525554 markings, 536789894 edges, 189822 markings/sec, 470 secs
lola: 109469851 markings, 542057646 edges, 188859 markings/sec, 475 secs
lola: 110408832 markings, 547294916 edges, 187796 markings/sec, 480 secs
lola: 111338210 markings, 552478837 edges, 185876 markings/sec, 485 secs
lola: 112259912 markings, 557619489 edges, 184340 markings/sec, 490 secs
lola: 113166371 markings, 562693218 edges, 181292 markings/sec, 495 secs
lola: 114087123 markings, 567826181 edges, 184150 markings/sec, 500 secs
lola: 115000058 markings, 572915252 edges, 182587 markings/sec, 505 secs
lola: 115899216 markings, 577946275 edges, 179832 markings/sec, 510 secs
lola: 116814042 markings, 583045313 edges, 182965 markings/sec, 515 secs
lola: 117718009 markings, 588103345 edges, 180793 markings/sec, 520 secs
lola: 118632448 markings, 593220765 edges, 182888 markings/sec, 525 secs
lola: 119553710 markings, 598353132 edges, 184252 markings/sec, 530 secs
lola: 120455728 markings, 603398817 edges, 180404 markings/sec, 535 secs
lola: 121348330 markings, 608391816 edges, 178520 markings/sec, 540 secs
lola: 122232266 markings, 613337427 edges, 176787 markings/sec, 545 secs
lola: 122602599 markings, 615396145 edges, 74067 markings/sec, 550 secs
lola: 123426244 markings, 620002388 edges, 164729 markings/sec, 555 secs
lola: 124334394 markings, 625081200 edges, 181630 markings/sec, 560 secs
lola: 125115345 markings, 629447426 edges, 156190 markings/sec, 565 secs
lola: 125959018 markings, 634164489 edges, 168735 markings/sec, 570 secs
lola: 126681664 markings, 638202287 edges, 144529 markings/sec, 575 secs
lola: 127264996 markings, 641471455 edges, 116666 markings/sec, 580 secs
lola: 127874921 markings, 644884736 edges, 121985 markings/sec, 585 secs
lola: 128661201 markings, 649279453 edges, 157256 markings/sec, 590 secs
lola: 129060899 markings, 651520549 edges, 79940 markings/sec, 595 secs
lola: 129925191 markings, 656360940 edges, 172858 markings/sec, 600 secs
lola: 130354768 markings, 658748325 edges, 85915 markings/sec, 605 secs
lola: 130825046 markings, 661391467 edges, 94056 markings/sec, 610 secs
lola: 131566723 markings, 665534377 edges, 148335 markings/sec, 615 secs
lola: 132188702 markings, 669006913 edges, 124396 markings/sec, 620 secs
lola: 132779111 markings, 672323787 edges, 118082 markings/sec, 625 secs
lola: 133515069 markings, 676435466 edges, 147192 markings/sec, 630 secs
lola: 134083896 markings, 679449971 edges, 113765 markings/sec, 635 secs
lola: 134681572 markings, 682272883 edges, 119535 markings/sec, 640 secs
lola: 135100764 markings, 684262716 edges, 83838 markings/sec, 645 secs
lola: 135611624 markings, 686696231 edges, 102172 markings/sec, 650 secs
lola: 135938748 markings, 688257971 edges, 65425 markings/sec, 655 secs
lola: 136313446 markings, 690042223 edges, 74940 markings/sec, 660 secs
lola: 136627499 markings, 691545585 edges, 62811 markings/sec, 665 secs
lola: 136905263 markings, 692872341 edges, 55553 markings/sec, 670 secs
lola: 137283014 markings, 694676265 edges, 75550 markings/sec, 675 secs
lola: 137580574 markings, 696098677 edges, 59512 markings/sec, 680 secs
lola: 137887965 markings, 697568499 edges, 61478 markings/sec, 685 secs
lola: 138197940 markings, 699050375 edges, 61995 markings/sec, 690 secs
lola: 138582262 markings, 700890809 edges, 76864 markings/sec, 695 secs
lola: 139037730 markings, 703074712 edges, 91094 markings/sec, 700 secs
lola: 139297203 markings, 704312405 edges, 51895 markings/sec, 705 secs
lola: 139661764 markings, 706064315 edges, 72912 markings/sec, 710 secs
lola: 140010613 markings, 707733123 edges, 69770 markings/sec, 715 secs
lola: 140379069 markings, 709494891 edges, 73691 markings/sec, 720 secs
lola: 140746732 markings, 711261594 edges, 73533 markings/sec, 725 secs
lola: 141086721 markings, 712886485 edges, 67998 markings/sec, 730 secs
lola: 141401319 markings, 714396636 edges, 62920 markings/sec, 735 secs
lola: 141861450 markings, 716602007 edges, 92026 markings/sec, 740 secs
lola: 142253937 markings, 718487511 edges, 78497 markings/sec, 745 secs
lola: 142788471 markings, 721051107 edges, 106907 markings/sec, 750 secs
lola: 143147508 markings, 722767349 edges, 71807 markings/sec, 755 secs
lola: 143412390 markings, 724047133 edges, 52976 markings/sec, 760 secs
lola: 143909605 markings, 726429085 edges, 99443 markings/sec, 765 secs
lola: 144516887 markings, 729303685 edges, 121456 markings/sec, 770 secs
lola: 144791912 markings, 730599507 edges, 55005 markings/sec, 775 secs
lola: 145028410 markings, 731717877 edges, 47300 markings/sec, 780 secs
lola: 145250205 markings, 732770331 edges, 44359 markings/sec, 785 secs
lola: 145461241 markings, 733773825 edges, 42207 markings/sec, 790 secs
lola: 145619058 markings, 734525485 edges, 31563 markings/sec, 795 secs
lola: 145797048 markings, 735374395 edges, 35598 markings/sec, 800 secs
lola: 145962067 markings, 736159383 edges, 33004 markings/sec, 805 secs
lola: 146161278 markings, 737110551 edges, 39842 markings/sec, 810 secs
lola: 146334969 markings, 737936816 edges, 34738 markings/sec, 815 secs
lola: 146535212 markings, 738891553 edges, 40049 markings/sec, 820 secs
lola: 146725297 markings, 739796826 edges, 38017 markings/sec, 825 secs
lola: 146876530 markings, 740520186 edges, 30247 markings/sec, 830 secs
lola: 147002072 markings, 741119767 edges, 25108 markings/sec, 835 secs
lola: 147194546 markings, 742042314 edges, 38495 markings/sec, 840 secs
lola: 147389009 markings, 742967626 edges, 38893 markings/sec, 845 secs
lola: 147522095 markings, 743603875 edges, 26617 markings/sec, 850 secs
lola: 147669399 markings, 744307705 edges, 29461 markings/sec, 855 secs
lola: 147784924 markings, 744859232 edges, 23105 markings/sec, 860 secs
lola: 147878613 markings, 745310499 edges, 18738 markings/sec, 865 secs
lola: 148013777 markings, 745956884 edges, 27033 markings/sec, 870 secs
lola: 148133912 markings, 746529564 edges, 24027 markings/sec, 875 secs
lola: 148310401 markings, 747374434 edges, 35298 markings/sec, 880 secs
lola: 148393989 markings, 747777880 edges, 16718 markings/sec, 885 secs
lola: 148539729 markings, 748473336 edges, 29148 markings/sec, 890 secs
lola: 148662432 markings, 749059213 edges, 24541 markings/sec, 895 secs
lola: 148760476 markings, 749525757 edges, 19609 markings/sec, 900 secs
lola: 148871890 markings, 750063672 edges, 22283 markings/sec, 905 secs
lola: 148990872 markings, 750630541 edges, 23796 markings/sec, 910 secs
lola: 149196764 markings, 751615899 edges, 41178 markings/sec, 915 secs
lola: 149272366 markings, 751980785 edges, 15120 markings/sec, 920 secs
lola: 149433818 markings, 752752918 edges, 32290 markings/sec, 925 secs
lola: 149597087 markings, 753533950 edges, 32654 markings/sec, 930 secs
lola: 149795302 markings, 754482165 edges, 39643 markings/sec, 935 secs
lola: 150314573 markings, 756966481 edges, 103854 markings/sec, 940 secs
lola: 150622842 markings, 758446134 edges, 61654 markings/sec, 945 secs
lola: 150803749 markings, 759312077 edges, 36181 markings/sec, 950 secs
lola: 151032400 markings, 760407128 edges, 45730 markings/sec, 955 secs
lola: 151456643 markings, 762441247 edges, 84849 markings/sec, 960 secs
lola: 151721788 markings, 763710755 edges, 53029 markings/sec, 965 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (((F (((1 <= p5) AND (1 <= p15))) U ((1 <= p4) AND (1 <= p21))) OR (X ((F ((1 <= p9)) OR ((1 <= p7) AND (1 <= p23)))) AND F (((1 <= p7) AND (1 <= p23))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((F (((1 <= p5) AND (1 <= p15))) U ((1 <= p4) AND (1 <= p21))) OR (X ((F ((1 <= p9)) OR ((1 <= p7) AND (1 <= p23)))) AND F (((1 <= p7) AND (1 <= p23))))))
lola: processed formula length: 157
lola: 79 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: 2399586 markings, 5453153 edges, 479917 markings/sec, 0 secs
lola: 4647150 markings, 10691120 edges, 449513 markings/sec, 5 secs
lola: 6998352 markings, 16176237 edges, 470240 markings/sec, 10 secs
lola: 9112525 markings, 21138715 edges, 422835 markings/sec, 15 secs
lola: 11399569 markings, 26490306 edges, 457409 markings/sec, 20 secs
lola: 13739946 markings, 31990342 edges, 468075 markings/sec, 25 secs
lola: 16021735 markings, 37349053 edges, 456358 markings/sec, 30 secs
lola: 18267471 markings, 42623194 edges, 449147 markings/sec, 35 secs
lola: 20405554 markings, 47644066 edges, 427617 markings/sec, 40 secs
lola: 22697810 markings, 53029048 edges, 458451 markings/sec, 45 secs
lola: 24941999 markings, 58319632 edges, 448838 markings/sec, 50 secs
lola: 27242247 markings, 63724516 edges, 460050 markings/sec, 55 secs
lola: 29479748 markings, 68998312 edges, 447500 markings/sec, 60 secs
lola: 31784455 markings, 74414382 edges, 460941 markings/sec, 65 secs
lola: 34099401 markings, 79872474 edges, 462989 markings/sec, 70 secs
lola: 36484199 markings, 85476623 edges, 476960 markings/sec, 75 secs
lola: 38862531 markings, 91086502 edges, 475666 markings/sec, 80 secs
lola: 41246121 markings, 96709410 edges, 476718 markings/sec, 85 secs
lola: 43613448 markings, 102271294 edges, 473465 markings/sec, 90 secs
lola: 45939861 markings, 107756725 edges, 465283 markings/sec, 95 secs
lola: 48301069 markings, 113323758 edges, 472242 markings/sec, 100 secs
lola: 50652089 markings, 118870523 edges, 470204 markings/sec, 105 secs
lola: 52960623 markings, 124311251 edges, 461707 markings/sec, 110 secs
lola: 55290744 markings, 129805852 edges, 466024 markings/sec, 115 secs
lola: 57594512 markings, 135219514 edges, 460754 markings/sec, 120 secs
lola: 59872627 markings, 140589479 edges, 455623 markings/sec, 125 secs
lola: 62132845 markings, 145919963 edges, 452044 markings/sec, 130 secs
lola: 64532157 markings, 151578080 edges, 479862 markings/sec, 135 secs
lola: 66685281 markings, 156655652 edges, 430625 markings/sec, 140 secs
lola: 69004662 markings, 162123588 edges, 463876 markings/sec, 145 secs
lola: 71254863 markings, 167429086 edges, 450040 markings/sec, 150 secs
lola: 73584560 markings, 172935201 edges, 465939 markings/sec, 155 secs
lola: 75855796 markings, 178301005 edges, 454247 markings/sec, 160 secs
lola: 78097473 markings, 183585249 edges, 448335 markings/sec, 165 secs
lola: 80309964 markings, 188801834 edges, 442498 markings/sec, 170 secs
lola: 82591923 markings, 194181428 edges, 456392 markings/sec, 175 secs
lola: 84876681 markings, 199567902 edges, 456952 markings/sec, 180 secs
lola: 87113820 markings, 204846054 edges, 447428 markings/sec, 185 secs
lola: 89340219 markings, 210092100 edges, 445280 markings/sec, 190 secs
lola: 91534482 markings, 215288791 edges, 438853 markings/sec, 195 secs
lola: 93807441 markings, 220645937 edges, 454592 markings/sec, 200 secs
lola: 96057026 markings, 225949877 edges, 449917 markings/sec, 205 secs
lola: 98278915 markings, 231189890 edges, 444378 markings/sec, 210 secs
lola: 100494549 markings, 236414201 edges, 443127 markings/sec, 215 secs
lola: 102699927 markings, 241633499 edges, 441076 markings/sec, 220 secs
lola: 105084248 markings, 247258203 edges, 476864 markings/sec, 225 secs
lola: 107452084 markings, 252841693 edges, 473567 markings/sec, 230 secs
lola: 109766996 markings, 258298376 edges, 462982 markings/sec, 235 secs
lola: 112066560 markings, 263721853 edges, 459913 markings/sec, 240 secs
lola: 114352871 markings, 269132763 edges, 457262 markings/sec, 245 secs
lola: 116695294 markings, 274657984 edges, 468485 markings/sec, 250 secs
lola: 118991624 markings, 280074966 edges, 459266 markings/sec, 255 secs
lola: 120012299 markings, 282486052 edges, 204135 markings/sec, 260 secs
lola: 121468988 markings, 285919677 edges, 291338 markings/sec, 265 secs
lola: 122814645 markings, 289102323 edges, 269131 markings/sec, 270 secs
lola: 123827736 markings, 291497675 edges, 202618 markings/sec, 275 secs
lola: 125033854 markings, 294332029 edges, 241224 markings/sec, 280 secs
lola: 126003943 markings, 296627189 edges, 194018 markings/sec, 285 secs
lola: 127550838 markings, 300270591 edges, 309379 markings/sec, 290 secs
lola: 128876078 markings, 303407312 edges, 265048 markings/sec, 295 secs
lola: 130059779 markings, 306207244 edges, 236740 markings/sec, 300 secs
lola: 131475115 markings, 309536692 edges, 283067 markings/sec, 305 secs
lola: 133058190 markings, 313285586 edges, 316615 markings/sec, 310 secs
lola: 134339828 markings, 316298149 edges, 256328 markings/sec, 315 secs
lola: 135808062 markings, 319772293 edges, 293647 markings/sec, 320 secs
lola: 136697847 markings, 321877565 edges, 177957 markings/sec, 325 secs
lola: 137919094 markings, 324749738 edges, 244249 markings/sec, 330 secs
lola: 139364288 markings, 328170109 edges, 289039 markings/sec, 335 secs
lola: 140680928 markings, 331264776 edges, 263328 markings/sec, 340 secs
lola: 141939617 markings, 334245613 edges, 251738 markings/sec, 345 secs
lola: 143319681 markings, 337513004 edges, 276013 markings/sec, 350 secs
lola: 144579653 markings, 340472196 edges, 251994 markings/sec, 355 secs
lola: 145676615 markings, 343070114 edges, 219392 markings/sec, 360 secs
lola: 146386382 markings, 344748248 edges, 141953 markings/sec, 365 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: G (F (((1 <= p0) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((1 <= p0) AND (1 <= p13))))
lola: processed formula length: 34
lola: 79 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: 1471481 markings, 5330183 edges, 294296 markings/sec, 0 secs
lola: 2802292 markings, 10475700 edges, 266162 markings/sec, 5 secs
lola: 4046709 markings, 15272896 edges, 248883 markings/sec, 10 secs
lola: 5219544 markings, 19846025 edges, 234567 markings/sec, 15 secs
lola: 6415236 markings, 24646562 edges, 239138 markings/sec, 20 secs
lola: 7602135 markings, 29271498 edges, 237380 markings/sec, 25 secs
lola: 8793190 markings, 33986631 edges, 238211 markings/sec, 30 secs
lola: 9835546 markings, 38321477 edges, 208471 markings/sec, 35 secs
lola: 10969891 markings, 42715800 edges, 226869 markings/sec, 40 secs
lola: 12110831 markings, 47188356 edges, 228188 markings/sec, 45 secs
lola: 13240378 markings, 51885870 edges, 225909 markings/sec, 50 secs
lola: 14263795 markings, 56194212 edges, 204683 markings/sec, 55 secs
lola: 15411498 markings, 60614423 edges, 229541 markings/sec, 60 secs
lola: 16479370 markings, 64980415 edges, 213574 markings/sec, 65 secs
lola: 17612020 markings, 69395286 edges, 226530 markings/sec, 70 secs
lola: 18727165 markings, 74083775 edges, 223029 markings/sec, 75 secs
lola: 19763135 markings, 78388052 edges, 207194 markings/sec, 80 secs
lola: 20735722 markings, 82557732 edges, 194517 markings/sec, 85 secs
lola: 21895964 markings, 87009792 edges, 232048 markings/sec, 90 secs
lola: 22958632 markings, 91358861 edges, 212534 markings/sec, 95 secs
lola: 24015875 markings, 95608821 edges, 211449 markings/sec, 100 secs
lola: 25112833 markings, 99968447 edges, 219392 markings/sec, 105 secs
lola: 26187487 markings, 104532391 edges, 214931 markings/sec, 110 secs
lola: 27242467 markings, 108974588 edges, 210996 markings/sec, 115 secs
lola: 28244205 markings, 113175576 edges, 200348 markings/sec, 120 secs
lola: 29187631 markings, 117258404 edges, 188685 markings/sec, 125 secs
lola: 30249139 markings, 121375910 edges, 212302 markings/sec, 130 secs
lola: 31327291 markings, 125696253 edges, 215630 markings/sec, 135 secs
lola: 32257970 markings, 129595619 edges, 186136 markings/sec, 140 secs
lola: 33189523 markings, 133460917 edges, 186311 markings/sec, 145 secs
lola: 34201485 markings, 137582189 edges, 202392 markings/sec, 150 secs
lola: 35248281 markings, 141637498 edges, 209359 markings/sec, 155 secs
lola: 36247547 markings, 145897727 edges, 199853 markings/sec, 160 secs
lola: 37294221 markings, 150312664 edges, 209335 markings/sec, 165 secs
lola: 38243536 markings, 154398738 edges, 189863 markings/sec, 170 secs
lola: 39194433 markings, 158383635 edges, 190179 markings/sec, 175 secs
lola: 40104046 markings, 162326245 edges, 181923 markings/sec, 180 secs
lola: 40998155 markings, 166182184 edges, 178822 markings/sec, 185 secs
lola: 42027581 markings, 170131920 edges, 205885 markings/sec, 190 secs
lola: 43133113 markings, 174559921 edges, 221106 markings/sec, 195 secs
lola: 44143596 markings, 178756413 edges, 202097 markings/sec, 200 secs
lola: 45126979 markings, 182868690 edges, 196677 markings/sec, 205 secs
lola: 46076021 markings, 186890412 edges, 189808 markings/sec, 210 secs
lola: 47093490 markings, 190940846 edges, 203494 markings/sec, 215 secs
lola: 48042048 markings, 194944478 edges, 189712 markings/sec, 220 secs
lola: 49160798 markings, 199239469 edges, 223750 markings/sec, 225 secs
lola: 50117057 markings, 203427718 edges, 191252 markings/sec, 230 secs
lola: 51108030 markings, 207705615 edges, 198195 markings/sec, 235 secs
lola: 52094257 markings, 211924925 edges, 197245 markings/sec, 240 secs
lola: 53018018 markings, 215904736 edges, 184752 markings/sec, 245 secs
lola: 53963538 markings, 219879220 edges, 189104 markings/sec, 250 secs
lola: 54876263 markings, 223792420 edges, 182545 markings/sec, 255 secs
lola: 55790607 markings, 227824009 edges, 182869 markings/sec, 260 secs
lola: 56682542 markings, 231551144 edges, 178387 markings/sec, 265 secs
lola: 57697660 markings, 235472686 edges, 203024 markings/sec, 270 secs
lola: 58810790 markings, 239935281 edges, 222626 markings/sec, 275 secs
lola: 59795944 markings, 244029884 edges, 197031 markings/sec, 280 secs
lola: 60771698 markings, 248091866 edges, 195151 markings/sec, 285 secs
lola: 61700697 markings, 252072477 edges, 185800 markings/sec, 290 secs
lola: 62652530 markings, 256059835 edges, 190367 markings/sec, 295 secs
lola: 63548996 markings, 259849019 edges, 179293 markings/sec, 300 secs
lola: 64526718 markings, 263713246 edges, 195544 markings/sec, 305 secs
lola: 65399249 markings, 267565616 edges, 174506 markings/sec, 310 secs
lola: 66463116 markings, 271561061 edges, 212773 markings/sec, 315 secs
lola: 67475626 markings, 275724706 edges, 202502 markings/sec, 320 secs
lola: 68377804 markings, 279706683 edges, 180436 markings/sec, 325 secs
lola: 69305277 markings, 283760421 edges, 185495 markings/sec, 330 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no no no no no unknown unknown no unknown
lola:
preliminary result: unknown no no no no no no unknown unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no no no no unknown unknown no unknown
lola: memory consumption: 9879372 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: unknown no no no no no no unknown unknown no unknown
lola: memory consumption: 9879372 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--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-N0050P0"
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-N0050P0, 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-158987806400210"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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