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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15794.730 3600000.00 3483033.00 101575.60 ?FTFFFTTTFFF?TF? 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-158987806400242.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-N1000P0, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806400242
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 188K
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 15:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 15:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 07:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 07:41 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.1K 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-N1000P0-00
FORMULA_NAME ClientsAndServers-PT-N1000P0-01
FORMULA_NAME ClientsAndServers-PT-N1000P0-02
FORMULA_NAME ClientsAndServers-PT-N1000P0-03
FORMULA_NAME ClientsAndServers-PT-N1000P0-04
FORMULA_NAME ClientsAndServers-PT-N1000P0-05
FORMULA_NAME ClientsAndServers-PT-N1000P0-06
FORMULA_NAME ClientsAndServers-PT-N1000P0-07
FORMULA_NAME ClientsAndServers-PT-N1000P0-08
FORMULA_NAME ClientsAndServers-PT-N1000P0-09
FORMULA_NAME ClientsAndServers-PT-N1000P0-10
FORMULA_NAME ClientsAndServers-PT-N1000P0-11
FORMULA_NAME ClientsAndServers-PT-N1000P0-12
FORMULA_NAME ClientsAndServers-PT-N1000P0-13
FORMULA_NAME ClientsAndServers-PT-N1000P0-14
FORMULA_NAME ClientsAndServers-PT-N1000P0-15

=== Now, execution of the tool begins

BK_START 1591247748300

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 05:15:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 05:15:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 05:15:50] [INFO ] Load time of PNML (sax parser for PT used): 33 ms
[2020-06-04 05:15:50] [INFO ] Transformed 25 places.
[2020-06-04 05:15:50] [INFO ] Transformed 18 transitions.
[2020-06-04 05:15:50] [INFO ] Parsed PT model containing 25 places and 18 transitions in 86 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 21 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100045 steps, including 1 resets, run finished after 79 ms. (steps per millisecond=1266 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1]
// Phase 1: matrix 18 rows 25 cols
[2020-06-04 05:15:51] [INFO ] Computed 8 place invariants in 5 ms
[2020-06-04 05:15:51] [INFO ] [Real]Absence check using 5 positive place invariants in 22 ms returned sat
[2020-06-04 05:15:51] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 3 ms returned sat
[2020-06-04 05:15:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 05:15:51] [INFO ] [Real]Absence check using state equation in 23 ms returned sat
[2020-06-04 05:15:51] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 9 ms.
[2020-06-04 05:15:51] [INFO ] Added : 13 causal constraints over 3 iterations in 46 ms. Result :sat
[2020-06-04 05:15:51] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2020-06-04 05:15:51] [INFO ] Flatten gal took : 36 ms
FORMULA ClientsAndServers-PT-N1000P0-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N1000P0-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N1000P0-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N1000P0-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N1000P0-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 05:15:51] [INFO ] Flatten gal took : 8 ms
[2020-06-04 05:15:51] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 3 ms.
[2020-06-04 05:15:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N1000P0 @ 3570 seconds

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

FORMULA ClientsAndServers-PT-N1000P0-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N1000P0-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

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

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

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

FORMULA ClientsAndServers-PT-N1000P0-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for LTLFireability @ ClientsAndServers-PT-N1000P0

{
"exit":
{
"memory": 1177948,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 3,
"U": 1,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 2,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "G ((F (G ((G ((1 <= p18)) AND ((1 <= p0) AND (1 <= p13))))) OR (F (((1 <= p0) AND (1 <= p13))) U ((1 <= p0) AND (1 <= p13)))))",
"processed_size": 126,
"rewrites": 72
},
"result":
{
"preliminary_value": "unknown no no no no no no no unknown no unknown "
},
"task":
{
"buchi":
{
"states": 10
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 43/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: G ((F (NOT(F (X (((NOT(G ((1 <= p18))) OR (p0 <= 0)) OR (p13 <= 0)))))) OR (F (((1 <= p0) AND (1 <= p13))) U ((1 <= p0) AND (1 <= p13))))) : X (((1 <= p10) U NOT((X (((1 <= p8) AND (1 <= p15))) U F ((F (((1 <= p8) AND (1 <= p15))) U (p10 <= 0))))))) : G (NOT(X ((1 <= p6)))) : X (NOT(X ((G ((((NOT(X (((1 <= p7) AND (1 <= p23)))) OR (p5 <= 0)) OR (p15 <= 0)) OR (p18 <= 0))) U (1 <= p9))))) : NOT(X (((((NOT(F (((1 <= p8) AND (1 <= p15)))) AND (1 <= p16)) U (p24 <= 0)) U (1 <= p12)) U F ((1 <= p16))))) : G (X (NOT(G ((F ((p12 <= 0)) AND X ((1 <= p20))))))) : (G ((G ((G (((1 <= p2))) OR (1 <= p20))) OR X ((p12 <= 0)))) U ((1 <= p0) AND (1 <= p13))) : NOT((F (NOT(X (((1 <= p5) AND (1 <= p15) AND (1 <= p9))))) U F (G (((1 <= p9) OR ((1 <= p11) AND (1 <= p17))))))) : F (X ((1 <= p22))) : (F ((G (F (G (((1 <= p8) AND (1 <= p15))))) U ((G (((1 <= p8) AND (1 <= p15))) AND (1 <= p7)) AND (1 <= p23)))) U ((1 <= p7) AND (1 <= p23))) : G (((X ((F (X (G (((p4 <= 0) OR (p21 <= 0))))) OR ((1 <= p5) AND (1 <= p15)))) U ((1 <= p0) AND (1 <= p13))) U (1 <= p22)))
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:422
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((1 <= p10) U G ((1 <= p10))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((1 <= p10) U G ((1 <= p10))))
lola: processed formula length: 33
lola: 72 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 50001 markings, 50001 edges
lola: ========================================
lola: subprocess 1 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((p6 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((p6 <= 0)))
lola: processed formula length: 17
lola: 72 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: 50022 markings, 50023 edges
lola: ========================================
lola: subprocess 2 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (((p9 <= 0) AND (F ((X (((1 <= p7) AND (1 <= p23))) AND ((1 <= p5) AND ((1 <= p15) AND (1 <= p18))))) OR G ((p9 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (((p9 <= 0) AND (F ((X (((1 <= p7) AND (1 <= p23))) AND ((1 <= p5) AND ((1 <= p15) AND (1 <= p18))))) OR G ((p9 <= 0))))))
lola: processed formula length: 127
lola: 72 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 54027 markings, 54035 edges
lola: ========================================
lola: subprocess 3 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((p16 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((p16 <= 0)))
lola: processed formula length: 18
lola: 72 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: 50001 markings, 50001 edges
lola: ========================================
lola: subprocess 4 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((G ((1 <= p12)) OR X ((p20 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((G ((1 <= p12)) OR X ((p20 <= 0)))))
lola: processed formula length: 42
lola: 72 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: 188111 markings, 280144 edges
lola: ========================================
lola: subprocess 5 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p0) AND (1 <= p13)) OR (G ((G ((G (((1 <= p2))) OR (1 <= p20))) OR X ((p12 <= 0)))) AND F (((1 <= p0) AND (1 <= p13)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p0) AND (1 <= p13))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p0) AND (1 <= p13))
lola: processed formula length: 26
lola: 72 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p0) AND (1 <= p13)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p0 <= 0) OR (p13 <= 0))
lola: processed formula length: 26
lola: 74 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 12001 markings, 12000 edges
lola: ========================================
lola: subprocess 7 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((G ((G (((1 <= p2))) OR (1 <= p20))) OR X ((p12 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((G ((G (((1 <= p2))) OR (1 <= p20))) OR X ((p12 <= 0))))
lola: processed formula length: 59
lola: 72 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: 92001 markings, 92001 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 6 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((1 <= p22)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((1 <= p22)))
lola: processed formula length: 18
lola: 72 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1714084 markings, 4895310 edges, 342817 markings/sec, 0 secs
lola: 3403894 markings, 10028099 edges, 337962 markings/sec, 5 secs
lola: 5032070 markings, 15053164 edges, 325635 markings/sec, 10 secs
lola: 6624355 markings, 19984400 edges, 318457 markings/sec, 15 secs
lola: 8192685 markings, 24880816 edges, 313666 markings/sec, 20 secs
lola: 9758489 markings, 29792049 edges, 313161 markings/sec, 25 secs
lola: 11266193 markings, 34518964 edges, 301541 markings/sec, 30 secs
lola: 12726999 markings, 39097044 edges, 292161 markings/sec, 35 secs
lola: 14085037 markings, 43429465 edges, 271608 markings/sec, 40 secs
lola: 15544643 markings, 48038064 edges, 291921 markings/sec, 45 secs
lola: 16993225 markings, 52567443 edges, 289716 markings/sec, 50 secs
lola: 18359379 markings, 56994261 edges, 273231 markings/sec, 55 secs
lola: 19780721 markings, 61413748 edges, 284268 markings/sec, 60 secs
lola: 21088543 markings, 65667934 edges, 261564 markings/sec, 65 secs
lola: 22497311 markings, 70032200 edges, 281754 markings/sec, 70 secs
lola: 23783741 markings, 74215174 edges, 257286 markings/sec, 75 secs
lola: 25151927 markings, 78462134 edges, 273637 markings/sec, 80 secs
lola: 26529148 markings, 82924401 edges, 275444 markings/sec, 85 secs
lola: 27909983 markings, 87336843 edges, 276167 markings/sec, 90 secs
lola: 29361884 markings, 91908109 edges, 290380 markings/sec, 95 secs
lola: 30686007 markings, 96239012 edges, 264825 markings/sec, 100 secs
lola: 32090883 markings, 100603030 edges, 280975 markings/sec, 105 secs
lola: 33442855 markings, 104960307 edges, 270394 markings/sec, 110 secs
lola: 34752341 markings, 109245202 edges, 261897 markings/sec, 115 secs
lola: 36126623 markings, 113537656 edges, 274856 markings/sec, 120 secs
lola: 37482076 markings, 117875242 edges, 271091 markings/sec, 125 secs
lola: 38759720 markings, 122055153 edges, 255529 markings/sec, 130 secs
lola: 40039725 markings, 126254902 edges, 256001 markings/sec, 135 secs
lola: 41460423 markings, 130607606 edges, 284140 markings/sec, 140 secs
lola: 42796017 markings, 134942351 edges, 267119 markings/sec, 145 secs
lola: 44098619 markings, 139220544 edges, 260520 markings/sec, 150 secs
lola: 45377379 markings, 143438393 edges, 255752 markings/sec, 155 secs
lola: 46817083 markings, 147815943 edges, 287941 markings/sec, 160 secs
lola: 48088697 markings, 151952472 edges, 254323 markings/sec, 165 secs
lola: 49335155 markings, 156043363 edges, 249292 markings/sec, 170 secs
lola: 50588523 markings, 160175612 edges, 250674 markings/sec, 175 secs
lola: 51913641 markings, 164226130 edges, 265024 markings/sec, 180 secs
lola: 53189167 markings, 168331900 edges, 255105 markings/sec, 185 secs
lola: 54432435 markings, 172399618 edges, 248654 markings/sec, 190 secs
lola: 55654689 markings, 176404842 edges, 244451 markings/sec, 195 secs
lola: 56845757 markings, 180351942 edges, 238214 markings/sec, 200 secs
lola: 58148549 markings, 184325540 edges, 260558 markings/sec, 205 secs
lola: 59407441 markings, 188358273 edges, 251778 markings/sec, 210 secs
lola: 60603384 markings, 192263842 edges, 239189 markings/sec, 215 secs
lola: 61794601 markings, 196189821 edges, 238243 markings/sec, 220 secs
lola: 62956673 markings, 200011996 edges, 232414 markings/sec, 225 secs
lola: 64093397 markings, 203775001 edges, 227345 markings/sec, 230 secs
lola: 65475669 markings, 207945932 edges, 276454 markings/sec, 235 secs
lola: 66817161 markings, 212287102 edges, 268298 markings/sec, 240 secs
lola: 68168631 markings, 216710219 edges, 270294 markings/sec, 245 secs
lola: 69492279 markings, 221075503 edges, 264730 markings/sec, 250 secs
lola: 70850315 markings, 225556503 edges, 271607 markings/sec, 255 secs
lola: 72194345 markings, 229897423 edges, 268806 markings/sec, 260 secs
lola: 73682310 markings, 234459870 edges, 297593 markings/sec, 265 secs
lola: 74988859 markings, 238721082 edges, 261310 markings/sec, 270 secs
lola: 76322393 markings, 243101728 edges, 266707 markings/sec, 275 secs
lola: 77646655 markings, 247470041 edges, 264852 markings/sec, 280 secs
lola: 79000025 markings, 251938501 edges, 270674 markings/sec, 285 secs
lola: 80278547 markings, 256186275 edges, 255704 markings/sec, 290 secs
lola: 81769431 markings, 260641732 edges, 298177 markings/sec, 295 secs
lola: 83070276 markings, 264867297 edges, 260169 markings/sec, 300 secs
lola: 84346743 markings, 269058559 edges, 255293 markings/sec, 305 secs
lola: 85636347 markings, 273313241 edges, 257921 markings/sec, 310 secs
lola: 86927017 markings, 277564763 edges, 258134 markings/sec, 315 secs
lola: 88215945 markings, 281838579 edges, 257786 markings/sec, 320 secs
lola: 89484099 markings, 285999405 edges, 253631 markings/sec, 325 secs
lola: 90941679 markings, 290369743 edges, 291516 markings/sec, 330 secs
lola: 92188262 markings, 294418369 edges, 249317 markings/sec, 335 secs
lola: 93423305 markings, 298469026 edges, 247009 markings/sec, 340 secs
lola: 94624715 markings, 302425432 edges, 240282 markings/sec, 345 secs
lola: 95837369 markings, 306447596 edges, 242531 markings/sec, 350 secs
lola: 97044361 markings, 310447939 edges, 241398 markings/sec, 355 secs
lola: 98247057 markings, 314428313 edges, 240539 markings/sec, 360 secs
lola: 99447753 markings, 318356907 edges, 240139 markings/sec, 365 secs
lola: 100863667 markings, 322576938 edges, 283183 markings/sec, 370 secs
lola: 102117372 markings, 326646609 edges, 250741 markings/sec, 375 secs
lola: 103344815 markings, 330664016 edges, 245489 markings/sec, 380 secs
lola: 104589871 markings, 334765555 edges, 249011 markings/sec, 385 secs
lola: 105805264 markings, 338794606 edges, 243079 markings/sec, 390 secs
lola: 107017012 markings, 342811514 edges, 242350 markings/sec, 395 secs
lola: 108255587 markings, 346914458 edges, 247715 markings/sec, 400 secs
lola: 109482613 markings, 350979761 edges, 245405 markings/sec, 405 secs
lola: 110764322 markings, 354983455 edges, 256342 markings/sec, 410 secs
lola: 112130191 markings, 359183770 edges, 273174 markings/sec, 415 secs
lola: 113307963 markings, 363016618 edges, 235554 markings/sec, 420 secs
lola: 114369557 markings, 366502635 edges, 212319 markings/sec, 425 secs
lola: 115461038 markings, 370093868 edges, 218296 markings/sec, 430 secs
lola: 116550727 markings, 373696090 edges, 217938 markings/sec, 435 secs
lola: 117457558 markings, 376694172 edges, 181366 markings/sec, 440 secs
lola: 118289823 markings, 379454208 edges, 166453 markings/sec, 445 secs
lola: 119180600 markings, 382420532 edges, 178155 markings/sec, 450 secs
lola: 120012847 markings, 385190116 edges, 166449 markings/sec, 455 secs
lola: 121098580 markings, 388805738 edges, 217147 markings/sec, 460 secs
lola: 121853441 markings, 391325293 edges, 150972 markings/sec, 465 secs
lola: 122895287 markings, 394375054 edges, 208369 markings/sec, 470 secs
lola: 123808651 markings, 397193485 edges, 182673 markings/sec, 475 secs
lola: 124608885 markings, 399788079 edges, 160047 markings/sec, 480 secs
lola: 125485682 markings, 402648893 edges, 175359 markings/sec, 485 secs
lola: 126311915 markings, 405368645 edges, 165247 markings/sec, 490 secs
lola: 127107955 markings, 407990796 edges, 159208 markings/sec, 495 secs
lola: 128213905 markings, 411636270 edges, 221190 markings/sec, 500 secs
lola: 129076765 markings, 414496133 edges, 172572 markings/sec, 505 secs
lola: 130106167 markings, 417898153 edges, 205880 markings/sec, 510 secs
lola: 130934157 markings, 420650208 edges, 165598 markings/sec, 515 secs
lola: 132001533 markings, 424214362 edges, 213475 markings/sec, 520 secs
lola: 133161905 markings, 428052716 edges, 232074 markings/sec, 525 secs
lola: 134204960 markings, 431530052 edges, 208611 markings/sec, 530 secs
lola: 135197516 markings, 434697249 edges, 198511 markings/sec, 535 secs
lola: 136390977 markings, 438206984 edges, 238692 markings/sec, 540 secs
lola: 137247449 markings, 440972564 edges, 171294 markings/sec, 545 secs
lola: 138068426 markings, 443647811 edges, 164195 markings/sec, 550 secs
lola: 138943045 markings, 446516100 edges, 174924 markings/sec, 555 secs
lola: 139965905 markings, 449874944 edges, 204572 markings/sec, 560 secs
lola: 140844503 markings, 452771940 edges, 175720 markings/sec, 565 secs
lola: 141731587 markings, 455701996 edges, 177417 markings/sec, 570 secs
lola: 142599434 markings, 458584159 edges, 173569 markings/sec, 575 secs
lola: 142613817 markings, 458631869 edges, 2877 markings/sec, 580 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 743 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F ((1 <= p22)) AND ((X ((F (G (((p4 <= 0) OR (p21 <= 0)))) OR ((1 <= p5) AND (1 <= p15)))) U ((1 <= p0) AND (1 <= p13))) OR (1 <= p22))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F ((1 <= p22)) AND ((X ((F (G (((p4 <= 0) OR (p21 <= 0)))) OR ((1 <= p5) AND (1 <= p15)))) U ((1 <= p0) AND (1 <= p13))) OR (1 <= p22))))
lola: processed formula length: 142
lola: 72 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: 1750722 markings, 5010338 edges, 350144 markings/sec, 0 secs
lola: 3404236 markings, 10029130 edges, 330703 markings/sec, 5 secs
lola: 4989671 markings, 14919998 edges, 317087 markings/sec, 10 secs
lola: 6512683 markings, 19675452 edges, 304602 markings/sec, 15 secs
lola: 8039651 markings, 24392032 edges, 305394 markings/sec, 20 secs
lola: 9593201 markings, 29263829 edges, 310710 markings/sec, 25 secs
lola: 11094155 markings, 33968603 edges, 300191 markings/sec, 30 secs
lola: 12556067 markings, 38549996 edges, 292382 markings/sec, 35 secs
lola: 13907017 markings, 42913374 edges, 270190 markings/sec, 40 secs
lola: 15370863 markings, 47474227 edges, 292769 markings/sec, 45 secs
lola: 16757029 markings, 51809613 edges, 277233 markings/sec, 50 secs
lola: 18113577 markings, 56191627 edges, 271310 markings/sec, 55 secs
lola: 19467341 markings, 60398186 edges, 270753 markings/sec, 60 secs
lola: 20783001 markings, 64666073 edges, 263132 markings/sec, 65 secs
lola: 22165797 markings, 68965084 edges, 276559 markings/sec, 70 secs
lola: 23459657 markings, 73161293 edges, 258772 markings/sec, 75 secs
lola: 24764483 markings, 77232120 edges, 260965 markings/sec, 80 secs
lola: 26183547 markings, 81794206 edges, 283813 markings/sec, 85 secs
lola: 27547479 markings, 86260456 edges, 272786 markings/sec, 90 secs
lola: 29057510 markings, 90921608 edges, 302006 markings/sec, 95 secs
lola: 30374063 markings, 95215030 edges, 263311 markings/sec, 100 secs
lola: 31763527 markings, 99631969 edges, 277893 markings/sec, 105 secs
lola: 33191742 markings, 104140894 edges, 285643 markings/sec, 110 secs
lola: 34522943 markings, 108497587 edges, 266240 markings/sec, 115 secs
lola: 35864641 markings, 112803077 edges, 268340 markings/sec, 120 secs
lola: 37276301 markings, 117205246 edges, 282332 markings/sec, 125 secs
lola: 38509499 markings, 121235817 edges, 246640 markings/sec, 130 secs
lola: 39750943 markings, 125310469 edges, 248289 markings/sec, 135 secs
lola: 41052181 markings, 129307425 edges, 260248 markings/sec, 140 secs
lola: 42389685 markings, 133619115 edges, 267501 markings/sec, 145 secs
lola: 43679832 markings, 137838979 edges, 258029 markings/sec, 150 secs
lola: 44971141 markings, 142100247 edges, 258262 markings/sec, 155 secs
lola: 46382279 markings, 146420062 edges, 282228 markings/sec, 160 secs
lola: 47689189 markings, 150640380 edges, 261382 markings/sec, 165 secs
lola: 48964832 markings, 154824612 edges, 255129 markings/sec, 170 secs
lola: 50263225 markings, 159086876 edges, 259679 markings/sec, 175 secs
lola: 51561108 markings, 163198280 edges, 259577 markings/sec, 180 secs
lola: 52947827 markings, 167542546 edges, 277344 markings/sec, 185 secs
lola: 54234830 markings, 171738788 edges, 257401 markings/sec, 190 secs
lola: 55485979 markings, 175863697 edges, 250230 markings/sec, 195 secs
lola: 56749704 markings, 180027976 edges, 252745 markings/sec, 200 secs
lola: 58119919 markings, 184236225 edges, 274043 markings/sec, 205 secs
lola: 59423515 markings, 188411388 edges, 260719 markings/sec, 210 secs
lola: 60665079 markings, 192469827 edges, 248313 markings/sec, 215 secs
lola: 61911348 markings, 196558993 edges, 249254 markings/sec, 220 secs
lola: 63122303 markings, 200569749 edges, 242191 markings/sec, 225 secs
lola: 64309037 markings, 204503333 edges, 237347 markings/sec, 230 secs
lola: 65775033 markings, 208903298 edges, 293199 markings/sec, 235 secs
lola: 67119225 markings, 213278441 edges, 268838 markings/sec, 240 secs
lola: 68489675 markings, 217764937 edges, 274090 markings/sec, 245 secs
lola: 69841143 markings, 222221448 edges, 270294 markings/sec, 250 secs
lola: 71190919 markings, 226701592 edges, 269955 markings/sec, 255 secs
lola: 72677863 markings, 231263506 edges, 297389 markings/sec, 260 secs
lola: 74065613 markings, 235706185 edges, 277550 markings/sec, 265 secs
lola: 75391047 markings, 240033165 edges, 265087 markings/sec, 270 secs
lola: 76720586 markings, 244413569 edges, 265908 markings/sec, 275 secs
lola: 78054019 markings, 248810944 edges, 266687 markings/sec, 280 secs
lola: 79385932 markings, 253231456 edges, 266383 markings/sec, 285 secs
lola: 80758985 markings, 257550321 edges, 274611 markings/sec, 290 secs
lola: 82162077 markings, 261911795 edges, 280618 markings/sec, 295 secs
lola: 83432533 markings, 266060489 edges, 254091 markings/sec, 300 secs
lola: 84709981 markings, 270253487 edges, 255490 markings/sec, 305 secs
lola: 85986383 markings, 274460868 edges, 255280 markings/sec, 310 secs
lola: 87245805 markings, 278638938 edges, 251884 markings/sec, 315 secs
lola: 88504173 markings, 282810730 edges, 251674 markings/sec, 320 secs
lola: 89751077 markings, 286760304 edges, 249381 markings/sec, 325 secs
lola: 91124291 markings, 290961440 edges, 274643 markings/sec, 330 secs
lola: 92287343 markings, 294748922 edges, 232610 markings/sec, 335 secs
lola: 93473239 markings, 298636827 edges, 237179 markings/sec, 340 secs
lola: 94665510 markings, 302563225 edges, 238454 markings/sec, 345 secs
lola: 95834143 markings, 306436594 edges, 233727 markings/sec, 350 secs
lola: 97014117 markings, 310344271 edges, 235995 markings/sec, 355 secs
lola: 98223113 markings, 314347795 edges, 241799 markings/sec, 360 secs
lola: 99290197 markings, 317913675 edges, 213417 markings/sec, 365 secs
lola: 100720255 markings, 322119946 edges, 286012 markings/sec, 370 secs
lola: 101980318 markings, 326197082 edges, 252013 markings/sec, 375 secs
lola: 103191966 markings, 330172506 edges, 242330 markings/sec, 380 secs
lola: 104448649 markings, 334297855 edges, 251337 markings/sec, 385 secs
lola: 105663453 markings, 338316838 edges, 242961 markings/sec, 390 secs
lola: 106882813 markings, 342356921 edges, 243872 markings/sec, 395 secs
lola: 108122119 markings, 346463749 edges, 247861 markings/sec, 400 secs
lola: 109342243 markings, 350527002 edges, 244025 markings/sec, 405 secs
lola: 110607891 markings, 354532961 edges, 253130 markings/sec, 410 secs
lola: 111998872 markings, 358759716 edges, 278196 markings/sec, 415 secs
lola: 113172633 markings, 362578870 edges, 234752 markings/sec, 420 secs
lola: 114334605 markings, 366385761 edges, 232394 markings/sec, 425 secs
lola: 115516151 markings, 370277296 edges, 236309 markings/sec, 430 secs
lola: 115662644 markings, 370767748 edges, 29299 markings/sec, 435 secs
lola: 116621733 markings, 373934486 edges, 191818 markings/sec, 440 secs
lola: 117559159 markings, 377029530 edges, 187485 markings/sec, 445 secs
lola: 118560931 markings, 380368097 edges, 200354 markings/sec, 450 secs
lola: 119223051 markings, 382563028 edges, 132424 markings/sec, 455 secs
lola: 120058542 markings, 385344914 edges, 167098 markings/sec, 460 secs
lola: 120707595 markings, 387494033 edges, 129811 markings/sec, 465 secs
lola: 121422212 markings, 389867124 edges, 142923 markings/sec, 470 secs
lola: 122606547 markings, 393541116 edges, 236867 markings/sec, 475 secs
lola: 123471177 markings, 396113903 edges, 172926 markings/sec, 480 secs
lola: 124310283 markings, 398823067 edges, 167821 markings/sec, 485 secs
lola: 125247641 markings, 401870362 edges, 187472 markings/sec, 490 secs
lola: 126102545 markings, 404672655 edges, 170981 markings/sec, 495 secs
lola: 126867463 markings, 407188464 edges, 152984 markings/sec, 500 secs
lola: 127803899 markings, 410277405 edges, 187287 markings/sec, 505 secs
lola: 128853633 markings, 413747600 edges, 209947 markings/sec, 510 secs
lola: 129815983 markings, 416952787 edges, 192470 markings/sec, 515 secs
lola: 130688359 markings, 419830415 edges, 174475 markings/sec, 520 secs
lola: 131737599 markings, 423322549 edges, 209848 markings/sec, 525 secs
lola: 132827347 markings, 426961693 edges, 217950 markings/sec, 530 secs
lola: 133775916 markings, 430124224 edges, 189714 markings/sec, 535 secs
lola: 134700399 markings, 433204768 edges, 184897 markings/sec, 540 secs
lola: 136068093 markings, 437188247 edges, 273539 markings/sec, 545 secs
lola: 136891611 markings, 439815461 edges, 164704 markings/sec, 550 secs
lola: 137820057 markings, 442836250 edges, 185689 markings/sec, 555 secs
lola: 138931121 markings, 446475330 edges, 222213 markings/sec, 560 secs
lola: 139948171 markings, 449815565 edges, 203410 markings/sec, 565 secs
lola: 140935765 markings, 453078276 edges, 197519 markings/sec, 570 secs
lola: 141902102 markings, 456268860 edges, 193267 markings/sec, 575 secs
lola: 142481041 markings, 458187491 edges, 115788 markings/sec, 580 secs
lola: 142798788 markings, 459256708 edges, 63549 markings/sec, 585 secs
lola: 142802217 markings, 459268375 edges, 686 markings/sec, 590 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 792 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((p9 <= 0) AND ((p11 <= 0) OR (p17 <= 0)))))
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 (((p9 <= 0) AND ((p11 <= 0) OR (p17 <= 0)))))
lola: processed formula length: 51
lola: 72 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: 36017 markings, 36017 edges
lola: ========================================
lola: subprocess 9 will run for 1188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (G ((G ((1 <= p18)) AND ((1 <= p0) AND (1 <= p13))))) OR (F (((1 <= p0) AND (1 <= p13))) U ((1 <= p0) AND (1 <= p13)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (G ((G ((1 <= p18)) AND ((1 <= p0) AND (1 <= p13))))) OR (F (((1 <= p0) AND (1 <= p13))) U ((1 <= p0) AND (1 <= p13)))))
lola: processed formula length: 126
lola: 72 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: 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: 1230739 markings, 5396311 edges, 246148 markings/sec, 0 secs
lola: 2429296 markings, 10698575 edges, 239711 markings/sec, 5 secs
lola: 3642045 markings, 16065599 edges, 242550 markings/sec, 10 secs
lola: 4763677 markings, 21030114 edges, 224326 markings/sec, 15 secs
lola: 6007910 markings, 26535563 edges, 248847 markings/sec, 20 secs
lola: 7199823 markings, 31811789 edges, 238383 markings/sec, 25 secs
lola: 8449008 markings, 37341321 edges, 249837 markings/sec, 30 secs
lola: 9638539 markings, 42607368 edges, 237906 markings/sec, 35 secs
lola: 10908398 markings, 48228707 edges, 253972 markings/sec, 40 secs
lola: 12238865 markings, 54117818 edges, 266093 markings/sec, 45 secs
lola: 13661958 markings, 60416998 edges, 284619 markings/sec, 50 secs
lola: 14716490 markings, 66359180 edges, 210906 markings/sec, 55 secs
lola: 15586607 markings, 71793520 edges, 174023 markings/sec, 60 secs
lola: 16448713 markings, 77179671 edges, 172421 markings/sec, 65 secs
lola: 17317558 markings, 82606098 edges, 173769 markings/sec, 70 secs
lola: 18195165 markings, 88089118 edges, 175521 markings/sec, 75 secs
lola: 19093784 markings, 93704518 edges, 179724 markings/sec, 80 secs
lola: 19997441 markings, 99349903 edges, 180731 markings/sec, 85 secs
lola: 20892020 markings, 104938313 edges, 178916 markings/sec, 90 secs
lola: 21792895 markings, 110569661 edges, 180175 markings/sec, 95 secs
lola: 22706492 markings, 116275698 edges, 182719 markings/sec, 100 secs
lola: 23600863 markings, 121863990 edges, 178874 markings/sec, 105 secs
lola: 24502267 markings, 127499726 edges, 180281 markings/sec, 110 secs
lola: 25401674 markings, 133119691 edges, 179881 markings/sec, 115 secs
lola: 26319833 markings, 138853733 edges, 183632 markings/sec, 120 secs
lola: 27265226 markings, 144764379 edges, 189079 markings/sec, 125 secs
lola: 28243313 markings, 150876365 edges, 195617 markings/sec, 130 secs
lola: 29268453 markings, 157279039 edges, 205028 markings/sec, 135 secs
lola: 30307922 markings, 163773500 edges, 207894 markings/sec, 140 secs
lola: 31166740 markings, 169136493 edges, 171764 markings/sec, 145 secs
lola: 32003443 markings, 174363010 edges, 167341 markings/sec, 150 secs
lola: 32841276 markings, 179596525 edges, 167567 markings/sec, 155 secs
lola: 33683969 markings, 184861226 edges, 168539 markings/sec, 160 secs
lola: 34540087 markings, 190210446 edges, 171224 markings/sec, 165 secs
lola: 35408256 markings, 195635139 edges, 173634 markings/sec, 170 secs
lola: 36276130 markings, 201057516 edges, 173575 markings/sec, 175 secs
lola: 37133162 markings, 206412359 edges, 171406 markings/sec, 180 secs
lola: 38001198 markings, 211835681 edges, 173607 markings/sec, 185 secs
lola: 38882064 markings, 217339712 edges, 176173 markings/sec, 190 secs
lola: 39745276 markings, 222733949 edges, 172642 markings/sec, 195 secs
lola: 40617676 markings, 228183115 edges, 174480 markings/sec, 200 secs
lola: 41491551 markings, 233644275 edges, 174775 markings/sec, 205 secs
lola: 42377576 markings, 239179655 edges, 177205 markings/sec, 210 secs
lola: 43291265 markings, 244889563 edges, 182738 markings/sec, 215 secs
lola: 44238236 markings, 250807333 edges, 189394 markings/sec, 220 secs
lola: 45233414 markings, 257026415 edges, 199036 markings/sec, 225 secs
lola: 46257307 markings, 263429766 edges, 204779 markings/sec, 230 secs
lola: 47106356 markings, 268730513 edges, 169810 markings/sec, 235 secs
lola: 47932232 markings, 273889757 edges, 165175 markings/sec, 240 secs
lola: 48760936 markings, 279065653 edges, 165741 markings/sec, 245 secs
lola: 49591438 markings, 284254446 edges, 166100 markings/sec, 250 secs
lola: 50436227 markings, 289533194 edges, 168958 markings/sec, 255 secs
lola: 51289975 markings, 294867090 edges, 170750 markings/sec, 260 secs
lola: 52149406 markings, 300235768 edges, 171886 markings/sec, 265 secs
lola: 52987889 markings, 305476188 edges, 167697 markings/sec, 270 secs
lola: 53841138 markings, 310806493 edges, 170650 markings/sec, 275 secs
lola: 54702946 markings, 316190631 edges, 172362 markings/sec, 280 secs
lola: 55558740 markings, 321537785 edges, 171159 markings/sec, 285 secs
lola: 56415233 markings, 326889698 edges, 171299 markings/sec, 290 secs
lola: 57274707 markings, 332262568 edges, 171895 markings/sec, 295 secs
lola: 58147862 markings, 337718841 edges, 174631 markings/sec, 300 secs
lola: 59046368 markings, 343331324 edges, 179701 markings/sec, 305 secs
lola: 59970947 markings, 349108610 edges, 184916 markings/sec, 310 secs
lola: 60930616 markings, 355106720 edges, 191934 markings/sec, 315 secs
lola: 61958052 markings, 361526902 edges, 205487 markings/sec, 320 secs
lola: 62836560 markings, 367018018 edges, 175702 markings/sec, 325 secs
lola: 63663262 markings, 372181908 edges, 165340 markings/sec, 330 secs
lola: 64483796 markings, 377307438 edges, 164107 markings/sec, 335 secs
lola: 65307756 markings, 382453921 edges, 164792 markings/sec, 340 secs
lola: 66139216 markings, 387648115 edges, 166292 markings/sec, 345 secs
lola: 66987503 markings, 392950244 edges, 169657 markings/sec, 350 secs
lola: 67832517 markings, 398228416 edges, 169003 markings/sec, 355 secs
lola: 68676248 markings, 403500492 edges, 168746 markings/sec, 360 secs
lola: 69520039 markings, 408774032 edges, 168758 markings/sec, 365 secs
lola: 70369846 markings, 414081249 edges, 169961 markings/sec, 370 secs
lola: 71221350 markings, 419403272 edges, 170301 markings/sec, 375 secs
lola: 72066249 markings, 424683488 edges, 168980 markings/sec, 380 secs
lola: 72919063 markings, 430012135 edges, 170563 markings/sec, 385 secs
lola: 73775302 markings, 435363527 edges, 171248 markings/sec, 390 secs
lola: 74647932 markings, 440813528 edges, 174526 markings/sec, 395 secs
lola: 75553279 markings, 446472080 edges, 181069 markings/sec, 400 secs
lola: 76480095 markings, 452263267 edges, 185363 markings/sec, 405 secs
lola: 77453853 markings, 458347651 edges, 194752 markings/sec, 410 secs
lola: 78420471 markings, 464392213 edges, 193324 markings/sec, 415 secs
lola: 79252987 markings, 469591349 edges, 166503 markings/sec, 420 secs
lola: 80069165 markings, 474689349 edges, 163236 markings/sec, 425 secs
lola: 80883407 markings, 479775500 edges, 162848 markings/sec, 430 secs
lola: 81703707 markings, 484900773 edges, 164060 markings/sec, 435 secs
lola: 82533006 markings, 490080903 edges, 165860 markings/sec, 440 secs
lola: 83375085 markings, 495343455 edges, 168416 markings/sec, 445 secs
lola: 84220215 markings, 500622384 edges, 169026 markings/sec, 450 secs
lola: 85046745 markings, 505787289 edges, 165306 markings/sec, 455 secs
lola: 85887930 markings, 511043895 edges, 168237 markings/sec, 460 secs
lola: 86737944 markings, 516356076 edges, 170003 markings/sec, 465 secs
lola: 87577474 markings, 521599109 edges, 167906 markings/sec, 470 secs
lola: 88420452 markings, 526866579 edges, 168596 markings/sec, 475 secs
lola: 89264499 markings, 532143384 edges, 168809 markings/sec, 480 secs
lola: 90120924 markings, 537494776 edges, 171285 markings/sec, 485 secs
lola: 90997826 markings, 542974707 edges, 175380 markings/sec, 490 secs
lola: 91898703 markings, 548601117 edges, 180175 markings/sec, 495 secs
lola: 92827443 markings, 554407203 edges, 185748 markings/sec, 500 secs
lola: 93809715 markings, 560545632 edges, 196454 markings/sec, 505 secs
lola: 94709627 markings, 566169544 edges, 179982 markings/sec, 510 secs
lola: 95533026 markings, 571312405 edges, 164680 markings/sec, 515 secs
lola: 96342527 markings, 576368345 edges, 161900 markings/sec, 520 secs
lola: 97155128 markings, 581444062 edges, 162520 markings/sec, 525 secs
lola: 97977046 markings, 586579801 edges, 164384 markings/sec, 530 secs
lola: 98806040 markings, 591758539 edges, 165799 markings/sec, 535 secs
lola: 99645282 markings, 597002653 edges, 167848 markings/sec, 540 secs
lola: 100477071 markings, 602198912 edges, 166358 markings/sec, 545 secs
lola: 101302760 markings, 607360409 edges, 165138 markings/sec, 550 secs
lola: 102142063 markings, 612604529 edges, 167861 markings/sec, 555 secs
lola: 102991601 markings, 617912727 edges, 169908 markings/sec, 560 secs
lola: 103816394 markings, 623063969 edges, 164959 markings/sec, 565 secs
lola: 104657845 markings, 628321594 edges, 168290 markings/sec, 570 secs
lola: 105497232 markings, 633569008 edges, 167877 markings/sec, 575 secs
lola: 106352220 markings, 638910754 edges, 170998 markings/sec, 580 secs
lola: 107228229 markings, 644384258 edges, 175202 markings/sec, 585 secs
lola: 108127107 markings, 650001297 edges, 179776 markings/sec, 590 secs
lola: 109055918 markings, 655805783 edges, 185762 markings/sec, 595 secs
lola: 110046705 markings, 661998215 edges, 198157 markings/sec, 600 secs
lola: 110911758 markings, 667403905 edges, 173011 markings/sec, 605 secs
lola: 111733979 markings, 672538745 edges, 164444 markings/sec, 610 secs
lola: 112551472 markings, 677646375 edges, 163499 markings/sec, 615 secs
lola: 113364727 markings, 682727060 edges, 162651 markings/sec, 620 secs
lola: 114181296 markings, 687828743 edges, 163314 markings/sec, 625 secs
lola: 115008628 markings, 692998169 edges, 165466 markings/sec, 630 secs
lola: 115834037 markings, 698153278 edges, 165082 markings/sec, 635 secs
lola: 116659261 markings, 703311270 edges, 165045 markings/sec, 640 secs
lola: 117481675 markings, 708449911 edges, 164483 markings/sec, 645 secs
lola: 118313886 markings, 713647596 edges, 166442 markings/sec, 650 secs
lola: 119148453 markings, 718862961 edges, 166913 markings/sec, 655 secs
lola: 119962197 markings, 723949418 edges, 162749 markings/sec, 660 secs
lola: 120795019 markings, 729153303 edges, 166564 markings/sec, 665 secs
lola: 121627328 markings, 734351989 edges, 166462 markings/sec, 670 secs
lola: 122476695 markings, 739661688 edges, 169873 markings/sec, 675 secs
lola: 123346837 markings, 745099563 edges, 174028 markings/sec, 680 secs
lola: 124242618 markings, 750694622 edges, 179156 markings/sec, 685 secs
lola: 125164903 markings, 756458847 edges, 184457 markings/sec, 690 secs
lola: 126145457 markings, 762593450 edges, 196111 markings/sec, 695 secs
lola: 126990724 markings, 767869515 edges, 169053 markings/sec, 700 secs
lola: 127523019 markings, 771193509 edges, 106459 markings/sec, 705 secs
lola: 127857474 markings, 773282333 edges, 66891 markings/sec, 710 secs
lola: 128301028 markings, 776053649 edges, 88711 markings/sec, 715 secs
lola: 128816503 markings, 779274054 edges, 103095 markings/sec, 720 secs
lola: 129191073 markings, 781613393 edges, 74914 markings/sec, 725 secs
lola: 129552029 markings, 783867982 edges, 72191 markings/sec, 730 secs
lola: 129931616 markings, 786239458 edges, 75917 markings/sec, 735 secs
lola: 130301667 markings, 788553020 edges, 74010 markings/sec, 740 secs
lola: 130671194 markings, 790860944 edges, 73905 markings/sec, 745 secs
lola: 131033002 markings, 793121930 edges, 72362 markings/sec, 750 secs
lola: 131434415 markings, 795629176 edges, 80283 markings/sec, 755 secs
lola: 131769510 markings, 797723343 edges, 67019 markings/sec, 760 secs
lola: 132109371 markings, 799845981 edges, 67972 markings/sec, 765 secs
lola: 132453642 markings, 801997898 edges, 68854 markings/sec, 770 secs
lola: 132801761 markings, 804172498 edges, 69624 markings/sec, 775 secs
lola: 133143473 markings, 806308688 edges, 68342 markings/sec, 780 secs
lola: 133459434 markings, 808281147 edges, 63192 markings/sec, 785 secs
lola: 133859833 markings, 810784746 edges, 80080 markings/sec, 790 secs
lola: 134217078 markings, 813014969 edges, 71449 markings/sec, 795 secs
lola: 134579304 markings, 815279265 edges, 72445 markings/sec, 800 secs
lola: 134971196 markings, 817726691 edges, 78378 markings/sec, 805 secs
lola: 135311574 markings, 819856014 edges, 68076 markings/sec, 810 secs
lola: 135679034 markings, 822151993 edges, 73492 markings/sec, 815 secs
lola: 136024068 markings, 824305243 edges, 69007 markings/sec, 820 secs
lola: 136379396 markings, 826525480 edges, 71066 markings/sec, 825 secs
lola: 136718490 markings, 828647350 edges, 67819 markings/sec, 830 secs
lola: 137076771 markings, 830884836 edges, 71656 markings/sec, 835 secs
lola: 137468507 markings, 833331139 edges, 78347 markings/sec, 840 secs
lola: 137715418 markings, 834876700 edges, 49382 markings/sec, 845 secs
lola: 138159774 markings, 837652457 edges, 88871 markings/sec, 850 secs
lola: 138494974 markings, 839747025 edges, 67040 markings/sec, 855 secs
lola: 139086361 markings, 843440364 edges, 118277 markings/sec, 860 secs
lola: 139575397 markings, 846497239 edges, 97807 markings/sec, 865 secs
lola: 139975948 markings, 848999625 edges, 80110 markings/sec, 870 secs
lola: 140495739 markings, 852249558 edges, 103958 markings/sec, 875 secs
lola: 140925957 markings, 854937061 edges, 86044 markings/sec, 880 secs
lola: 141331698 markings, 857471457 edges, 81148 markings/sec, 885 secs
lola: 141749787 markings, 860085881 edges, 83618 markings/sec, 890 secs
lola: 142152221 markings, 862608585 edges, 80487 markings/sec, 895 secs
lola: 142429697 markings, 864337633 edges, 55495 markings/sec, 900 secs
lola: 142762533 markings, 866416090 edges, 66567 markings/sec, 905 secs
lola: 143049689 markings, 868209272 edges, 57431 markings/sec, 910 secs
lola: 143444370 markings, 870673330 edges, 78936 markings/sec, 915 secs
lola: 143805579 markings, 872930137 edges, 72242 markings/sec, 920 secs
lola: 144149460 markings, 875078748 edges, 68776 markings/sec, 925 secs
lola: 144519165 markings, 877387045 edges, 73941 markings/sec, 930 secs
lola: 144821883 markings, 879278696 edges, 60544 markings/sec, 935 secs
lola: 145246130 markings, 881930157 edges, 84849 markings/sec, 940 secs
lola: 145572398 markings, 883968043 edges, 65254 markings/sec, 945 secs
lola: 145918278 markings, 886127407 edges, 69176 markings/sec, 950 secs
lola: 146252474 markings, 888217399 edges, 66839 markings/sec, 955 secs
lola: 146574685 markings, 890230592 edges, 64442 markings/sec, 960 secs
lola: 146898847 markings, 892253728 edges, 64832 markings/sec, 965 secs
lola: 147228558 markings, 894315818 edges, 65942 markings/sec, 970 secs
lola: 147559091 markings, 896380734 edges, 66107 markings/sec, 975 secs
lola: 147952027 markings, 898834281 edges, 78587 markings/sec, 980 secs
lola: 148291053 markings, 900953507 edges, 67805 markings/sec, 985 secs
lola: 148563124 markings, 902652933 edges, 54414 markings/sec, 990 secs
lola: 148876450 markings, 904612088 edges, 62665 markings/sec, 995 secs
lola: 149094665 markings, 905975593 edges, 43643 markings/sec, 1000 secs
lola: 149408653 markings, 907936310 edges, 62798 markings/sec, 1005 secs
lola: 149704881 markings, 909786470 edges, 59246 markings/sec, 1010 secs
lola: 150010385 markings, 911697094 edges, 61101 markings/sec, 1015 secs
lola: 150305013 markings, 913537913 edges, 58926 markings/sec, 1020 secs
lola: 150587309 markings, 915299948 edges, 56459 markings/sec, 1025 secs
lola: 150998004 markings, 917866379 edges, 82139 markings/sec, 1030 secs
lola: 151535945 markings, 921229423 edges, 107588 markings/sec, 1035 secs
lola: 151888233 markings, 923428770 edges, 70458 markings/sec, 1040 secs
lola: 152273219 markings, 925836202 edges, 76997 markings/sec, 1045 secs
lola: 152656091 markings, 928229401 edges, 76574 markings/sec, 1050 secs
lola: 153047431 markings, 930674017 edges, 78268 markings/sec, 1055 secs
lola: 153418031 markings, 932987312 edges, 74120 markings/sec, 1060 secs
lola: 153794332 markings, 935339521 edges, 75260 markings/sec, 1065 secs
lola: 154178890 markings, 937742737 edges, 76912 markings/sec, 1070 secs
lola: 154545147 markings, 940030427 edges, 73251 markings/sec, 1075 secs
lola: 154924207 markings, 942400321 edges, 75812 markings/sec, 1080 secs
lola: 155291736 markings, 944699106 edges, 73506 markings/sec, 1085 secs
lola: 155668055 markings, 947047015 edges, 75264 markings/sec, 1090 secs
lola: 156034922 markings, 949340506 edges, 73373 markings/sec, 1095 secs
lola: 156410971 markings, 951690025 edges, 75210 markings/sec, 1100 secs
lola: 156786828 markings, 954040030 edges, 75171 markings/sec, 1105 secs
lola: 157226726 markings, 956786213 edges, 87980 markings/sec, 1110 secs
lola: 157657599 markings, 959480906 edges, 86175 markings/sec, 1115 secs
lola: 158079261 markings, 962117892 edges, 84332 markings/sec, 1120 secs
lola: 158357631 markings, 963859739 edges, 55674 markings/sec, 1125 secs
lola: 158735298 markings, 966217407 edges, 75533 markings/sec, 1130 secs
lola: 159137716 markings, 968730020 edges, 80484 markings/sec, 1135 secs
lola: 159466571 markings, 970785158 edges, 65771 markings/sec, 1140 secs
lola: 159709794 markings, 972304243 edges, 48645 markings/sec, 1145 secs
lola: 159850493 markings, 973183125 edges, 28140 markings/sec, 1150 secs
lola: 159887535 markings, 973414353 edges, 7408 markings/sec, 1155 secs
lola: 159887580 markings, 973414614 edges, 9 markings/sec, 1160 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 1204 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((G (((1 <= p8) AND (1 <= p15))) AND ((1 <= p7) AND (1 <= p23))) OR (F ((G (((1 <= p8) AND (1 <= p15))) AND ((1 <= p7) AND (1 <= p23)))) AND F (G (((1 <= p8) AND (1 <= p15))))))) U ((1 <= p7) AND (1 <= p23)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (F (((G (((1 <= p8) AND (1 <= p15))) AND ((1 <= p7) AND (1 <= p23))) OR (F ((G (((1 <= p8) AND (1 <= p15))) AND ((1 <= p7) AND (1 <= p23)))) AND F (G (((1 <= p8) AND (1 <= p15))))))) U ((1 <= p7) AND (1 <= p23)))
lola: processed formula length: 212
lola: 72 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 21 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: 50002 markings, 50002 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (F ((1 <= p22)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((1 <= p22)))
lola: processed formula length: 18
lola: 72 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1764187 markings, 5053873 edges, 352837 markings/sec, 0 secs
lola: 3292059 markings, 9703731 edges, 305574 markings/sec, 5 secs
lola: 4892799 markings, 14613661 edges, 320148 markings/sec, 10 secs
lola: 6408313 markings, 19365873 edges, 303103 markings/sec, 15 secs
lola: 7924909 markings, 24032005 edges, 303319 markings/sec, 20 secs
lola: 9492233 markings, 28939352 edges, 313465 markings/sec, 25 secs
lola: 11010299 markings, 33699680 edges, 303613 markings/sec, 30 secs
lola: 12493999 markings, 38356220 edges, 296740 markings/sec, 35 secs
lola: 13886979 markings, 42846922 edges, 278596 markings/sec, 40 secs
lola: 15380643 markings, 47506119 edges, 298733 markings/sec, 45 secs
lola: 16846695 markings, 52093260 edges, 293210 markings/sec, 50 secs
lola: 18213985 markings, 56525342 edges, 273458 markings/sec, 55 secs
lola: 19643887 markings, 60971199 edges, 285980 markings/sec, 60 secs
lola: 20974659 markings, 65293592 edges, 266154 markings/sec, 65 secs
lola: 22325003 markings, 69473278 edges, 270069 markings/sec, 70 secs
lola: 23611563 markings, 73657231 edges, 257312 markings/sec, 75 secs
lola: 24984619 markings, 77926283 edges, 274611 markings/sec, 80 secs
lola: 26372357 markings, 82408626 edges, 277548 markings/sec, 85 secs
lola: 27722811 markings, 86806671 edges, 270091 markings/sec, 90 secs
lola: 29200896 markings, 91385960 edges, 295617 markings/sec, 95 secs
lola: 30535387 markings, 95737071 edges, 266898 markings/sec, 100 secs
lola: 31905342 markings, 100026318 edges, 273991 markings/sec, 105 secs
lola: 33259929 markings, 104365734 edges, 270917 markings/sec, 110 secs
lola: 34547079 markings, 108578664 edges, 257430 markings/sec, 115 secs
lola: 35857929 markings, 112783853 edges, 262170 markings/sec, 120 secs
lola: 37221813 markings, 117036412 edges, 272777 markings/sec, 125 secs
lola: 38499183 markings, 121204077 edges, 255474 markings/sec, 130 secs
lola: 39761397 markings, 125344925 edges, 252443 markings/sec, 135 secs
lola: 41136303 markings, 129571997 edges, 274981 markings/sec, 140 secs
lola: 42461621 markings, 133859955 edges, 265064 markings/sec, 145 secs
lola: 43767657 markings, 138133932 edges, 261207 markings/sec, 150 secs
lola: 45084043 markings, 142455723 edges, 263277 markings/sec, 155 secs
lola: 46507383 markings, 146819459 edges, 284668 markings/sec, 160 secs
lola: 47800047 markings, 151005623 edges, 258533 markings/sec, 165 secs
lola: 49071740 markings, 155165259 edges, 254339 markings/sec, 170 secs
lola: 50337777 markings, 159334119 edges, 253207 markings/sec, 175 secs
lola: 51655667 markings, 163469604 edges, 263578 markings/sec, 180 secs
lola: 53016897 markings, 167772888 edges, 272246 markings/sec, 185 secs
lola: 54287089 markings, 171912008 edges, 254038 markings/sec, 190 secs
lola: 55543225 markings, 176038061 edges, 251227 markings/sec, 195 secs
lola: 56795175 markings, 180181802 edges, 250390 markings/sec, 200 secs
lola: 58134053 markings, 184279357 edges, 267776 markings/sec, 205 secs
lola: 59429126 markings, 188429601 edges, 259015 markings/sec, 210 secs
lola: 60647297 markings, 192410340 edges, 243634 markings/sec, 215 secs
lola: 61876417 markings, 196444722 edges, 245824 markings/sec, 220 secs
lola: 63084517 markings, 200441962 edges, 241620 markings/sec, 225 secs
lola: 64276921 markings, 204395307 edges, 238481 markings/sec, 230 secs
lola: 65740246 markings, 208796654 edges, 292665 markings/sec, 235 secs
lola: 67066976 markings, 213103761 edges, 265346 markings/sec, 240 secs
lola: 68417091 markings, 217534350 edges, 270023 markings/sec, 245 secs
lola: 69763569 markings, 221963824 edges, 269296 markings/sec, 250 secs
lola: 71105357 markings, 226412077 edges, 268358 markings/sec, 255 secs
lola: 72543118 markings, 230900940 edges, 287552 markings/sec, 260 secs
lola: 73953943 markings, 235344017 edges, 282165 markings/sec, 265 secs
lola: 75243189 markings, 239552332 edges, 257849 markings/sec, 270 secs
lola: 76556330 markings, 243863646 edges, 262628 markings/sec, 275 secs
lola: 77833793 markings, 248086923 edges, 255493 markings/sec, 280 secs
lola: 79159815 markings, 252469744 edges, 265204 markings/sec, 285 secs
lola: 80453375 markings, 256674297 edges, 258712 markings/sec, 290 secs
lola: 81881879 markings, 261005863 edges, 285701 markings/sec, 295 secs
lola: 83122765 markings, 265042930 edges, 248177 markings/sec, 300 secs
lola: 84368957 markings, 269133030 edges, 249238 markings/sec, 305 secs
lola: 85625397 markings, 273275743 edges, 251288 markings/sec, 310 secs
lola: 86895182 markings, 277458448 edges, 253957 markings/sec, 315 secs
lola: 88179379 markings, 281715100 edges, 256839 markings/sec, 320 secs
lola: 89404879 markings, 285778001 edges, 245100 markings/sec, 325 secs
lola: 90861650 markings, 290112991 edges, 291354 markings/sec, 330 secs
lola: 92076783 markings, 294062762 edges, 243027 markings/sec, 335 secs
lola: 93269762 markings, 297959890 edges, 238596 markings/sec, 340 secs
lola: 94486395 markings, 301964409 edges, 243327 markings/sec, 345 secs
lola: 95675744 markings, 305902314 edges, 237870 markings/sec, 350 secs
lola: 96878325 markings, 309886127 edges, 240516 markings/sec, 355 secs
lola: 98104609 markings, 313948451 edges, 245257 markings/sec, 360 secs
lola: 99242073 markings, 317749389 edges, 227493 markings/sec, 365 secs
lola: 100672391 markings, 321964680 edges, 286064 markings/sec, 370 secs
lola: 101922739 markings, 326007433 edges, 250070 markings/sec, 375 secs
lola: 103102059 markings, 329870874 edges, 235864 markings/sec, 380 secs
lola: 104326353 markings, 333907142 edges, 244859 markings/sec, 385 secs
lola: 105565875 markings, 337988891 edges, 247904 markings/sec, 390 secs
lola: 106775339 markings, 341995192 edges, 241893 markings/sec, 395 secs
lola: 108013392 markings, 346099044 edges, 247611 markings/sec, 400 secs
lola: 109202448 markings, 350070998 edges, 237811 markings/sec, 405 secs
lola: 110449837 markings, 354080439 edges, 249478 markings/sec, 410 secs
lola: 111848157 markings, 358279355 edges, 279664 markings/sec, 415 secs
lola: 113030106 markings, 362116381 edges, 236390 markings/sec, 420 secs
lola: 114162211 markings, 365828793 edges, 226421 markings/sec, 425 secs
lola: 115266845 markings, 369465354 edges, 220927 markings/sec, 430 secs
lola: 116316287 markings, 372919504 edges, 209888 markings/sec, 435 secs
lola: 117321173 markings, 376258224 edges, 200977 markings/sec, 440 secs
lola: 118334675 markings, 379604670 edges, 202700 markings/sec, 445 secs
lola: 119132002 markings, 382256174 edges, 159465 markings/sec, 450 secs
lola: 120159937 markings, 385688648 edges, 205587 markings/sec, 455 secs
lola: 121133664 markings, 388906973 edges, 194745 markings/sec, 460 secs
lola: 122132612 markings, 392183767 edges, 199790 markings/sec, 465 secs
lola: 123301819 markings, 395573390 edges, 233841 markings/sec, 470 secs
lola: 124062105 markings, 398011196 edges, 152057 markings/sec, 475 secs
lola: 125021013 markings, 401130996 edges, 191782 markings/sec, 480 secs
lola: 125805121 markings, 403696286 edges, 156822 markings/sec, 485 secs
lola: 126765961 markings, 406869505 edges, 192168 markings/sec, 490 secs
lola: 127714725 markings, 409986303 edges, 189753 markings/sec, 495 secs
lola: 128532713 markings, 412696130 edges, 163598 markings/sec, 500 secs
lola: 129620811 markings, 416294474 edges, 217620 markings/sec, 505 secs
lola: 130757301 markings, 420058442 edges, 227298 markings/sec, 510 secs
lola: 131692197 markings, 423168858 edges, 186979 markings/sec, 515 secs
lola: 132741387 markings, 426670825 edges, 209838 markings/sec, 520 secs
lola: 133543885 markings, 429338448 edges, 160500 markings/sec, 525 secs
lola: 134529213 markings, 432623827 edges, 197066 markings/sec, 530 secs
lola: 135580803 markings, 435801317 edges, 210318 markings/sec, 535 secs
lola: 136723312 markings, 439270442 edges, 228502 markings/sec, 540 secs
lola: 137711465 markings, 442474914 edges, 197631 markings/sec, 545 secs
lola: 138489345 markings, 445018175 edges, 155576 markings/sec, 550 secs
lola: 139308674 markings, 447718806 edges, 163866 markings/sec, 555 secs
lola: 140100323 markings, 450326113 edges, 158330 markings/sec, 560 secs
lola: 141114173 markings, 453681130 edges, 202770 markings/sec, 565 secs
lola: 142190774 markings, 457242767 edges, 215320 markings/sec, 570 secs
lola: 142571657 markings, 458490644 edges, 76177 markings/sec, 575 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: G ((F ((1 <= p22)) AND ((X ((F (G (((p4 <= 0) OR (p21 <= 0)))) OR ((1 <= p5) AND (1 <= p15)))) U ((1 <= p0) AND (1 <= p13))) OR (1 <= p22))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F ((1 <= p22)) AND ((X ((F (G (((p4 <= 0) OR (p21 <= 0)))) OR ((1 <= p5) AND (1 <= p15)))) U ((1 <= p0) AND (1 <= p13))) OR (1 <= p22))))
lola: processed formula length: 142
lola: 72 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: 1695169 markings, 4837816 edges, 339034 markings/sec, 0 secs
lola: 3336620 markings, 9824467 edges, 328290 markings/sec, 5 secs
lola: 4905713 markings, 14655436 edges, 313819 markings/sec, 10 secs
lola: 6356687 markings, 19196952 edges, 290195 markings/sec, 15 secs
lola: 7857700 markings, 23821843 edges, 300203 markings/sec, 20 secs
lola: 9419657 markings, 28707860 edges, 312391 markings/sec, 25 secs
lola: 10934337 markings, 33456911 edges, 302936 markings/sec, 30 secs
lola: 12410331 markings, 38093162 edges, 295199 markings/sec, 35 secs
lola: 13809400 markings, 42589108 edges, 279814 markings/sec, 40 secs
lola: 15278676 markings, 47179537 edges, 293855 markings/sec, 45 secs
lola: 16744595 markings, 51771015 edges, 293184 markings/sec, 50 secs
lola: 18133461 markings, 56257025 edges, 277773 markings/sec, 55 secs
lola: 19566051 markings, 60715344 edges, 286518 markings/sec, 60 secs
lola: 20897093 markings, 65045823 edges, 266208 markings/sec, 65 secs
lola: 22311196 markings, 69428460 edges, 282821 markings/sec, 70 secs
lola: 23606975 markings, 73641558 edges, 259156 markings/sec, 75 secs
lola: 24981393 markings, 77915454 edges, 274884 markings/sec, 80 secs
lola: 26372421 markings, 82408857 edges, 278206 markings/sec, 85 secs
lola: 27726728 markings, 86817376 edges, 270861 markings/sec, 90 secs
lola: 29194961 markings, 91366755 edges, 293647 markings/sec, 95 secs
lola: 30549961 markings, 95785680 edges, 271000 markings/sec, 100 secs
lola: 31931554 markings, 100107448 edges, 276319 markings/sec, 105 secs
lola: 33306333 markings, 104520670 edges, 274956 markings/sec, 110 secs
lola: 34644454 markings, 108886166 edges, 267624 markings/sec, 115 secs
lola: 35934449 markings, 113001978 edges, 257999 markings/sec, 120 secs
lola: 37338179 markings, 117409945 edges, 280746 markings/sec, 125 secs
lola: 38585486 markings, 121473898 edges, 249461 markings/sec, 130 secs
lola: 39843914 markings, 125622619 edges, 251686 markings/sec, 135 secs
lola: 41221951 markings, 129845983 edges, 275607 markings/sec, 140 secs
lola: 42564143 markings, 134185755 edges, 268438 markings/sec, 145 secs
lola: 43882117 markings, 138499059 edges, 263595 markings/sec, 150 secs
lola: 45176635 markings, 142763354 edges, 258904 markings/sec, 155 secs
lola: 46614217 markings, 147163580 edges, 287516 markings/sec, 160 secs
lola: 47945583 markings, 151476066 edges, 266273 markings/sec, 165 secs
lola: 49245969 markings, 155744147 edges, 260077 markings/sec, 170 secs
lola: 50537952 markings, 160005607 edges, 258397 markings/sec, 175 secs
lola: 51913191 markings, 164225045 edges, 275048 markings/sec, 180 secs
lola: 53240627 markings, 168491322 edges, 265487 markings/sec, 185 secs
lola: 54544090 markings, 172753032 edges, 260693 markings/sec, 190 secs
lola: 55821143 markings, 176963077 edges, 255411 markings/sec, 195 secs
lola: 57086045 markings, 181130366 edges, 252980 markings/sec, 200 secs
lola: 58492504 markings, 185410031 edges, 281292 markings/sec, 205 secs
lola: 59768407 markings, 189532154 edges, 255181 markings/sec, 210 secs
lola: 61027373 markings, 193662455 edges, 251793 markings/sec, 215 secs
lola: 62288534 markings, 197804260 edges, 252232 markings/sec, 220 secs
lola: 63509245 markings, 201841045 edges, 244142 markings/sec, 225 secs
lola: 64767129 markings, 205813402 edges, 251577 markings/sec, 230 secs
lola: 66224598 markings, 210358230 edges, 291494 markings/sec, 235 secs
lola: 67559137 markings, 214711742 edges, 266908 markings/sec, 240 secs
lola: 68918248 markings, 219176558 edges, 271822 markings/sec, 245 secs
lola: 70277785 markings, 223662553 edges, 271907 markings/sec, 250 secs
lola: 71602438 markings, 228053085 edges, 264931 markings/sec, 255 secs
lola: 73114595 markings, 232636257 edges, 302431 markings/sec, 260 secs
lola: 74444169 markings, 236937469 edges, 265915 markings/sec, 265 secs
lola: 75748855 markings, 241206224 edges, 260937 markings/sec, 270 secs
lola: 77060223 markings, 245528216 edges, 262274 markings/sec, 275 secs
lola: 78386213 markings, 249908660 edges, 265198 markings/sec, 280 secs
lola: 79708691 markings, 254286809 edges, 264496 markings/sec, 285 secs
lola: 81115892 markings, 258564650 edges, 281440 markings/sec, 290 secs
lola: 82448125 markings, 262840262 edges, 266447 markings/sec, 295 secs
lola: 83681001 markings, 266871840 edges, 246575 markings/sec, 300 secs
lola: 84970192 markings, 271101610 edges, 257838 markings/sec, 305 secs
lola: 86249889 markings, 275323533 edges, 255939 markings/sec, 310 secs
lola: 87534013 markings, 279575710 edges, 256825 markings/sec, 315 secs
lola: 88791815 markings, 283745462 edges, 251560 markings/sec, 320 secs
lola: 90122731 markings, 287833497 edges, 266183 markings/sec, 325 secs
lola: 91475768 markings, 292104566 edges, 270607 markings/sec, 330 secs
lola: 92689267 markings, 296055490 edges, 242700 markings/sec, 335 secs
lola: 93896203 markings, 300031996 edges, 241387 markings/sec, 340 secs
lola: 95127432 markings, 304087097 edges, 246246 markings/sec, 345 secs
lola: 96325399 markings, 308057075 edges, 239593 markings/sec, 350 secs
lola: 97552227 markings, 312122722 edges, 245366 markings/sec, 355 secs
lola: 98745895 markings, 316075074 edges, 238734 markings/sec, 360 secs
lola: 99984849 markings, 319896712 edges, 247791 markings/sec, 365 secs
lola: 101366841 markings, 324200778 edges, 276398 markings/sec, 370 secs
lola: 102592707 markings, 328207046 edges, 245173 markings/sec, 375 secs
lola: 103808901 markings, 332194532 edges, 243239 markings/sec, 380 secs
lola: 105059425 markings, 336315034 edges, 250105 markings/sec, 385 secs
lola: 106275853 markings, 340346196 edges, 243286 markings/sec, 390 secs
lola: 107507959 markings, 344429713 edges, 246421 markings/sec, 395 secs
lola: 108754386 markings, 348559602 edges, 249285 markings/sec, 400 secs
lola: 109909203 markings, 352415500 edges, 230963 markings/sec, 405 secs
lola: 111348701 markings, 356684547 edges, 287900 markings/sec, 410 secs
lola: 112594541 markings, 360698959 edges, 249168 markings/sec, 415 secs
lola: 113763744 markings, 364517315 edges, 233841 markings/sec, 420 secs
lola: 114918900 markings, 368313976 edges, 231031 markings/sec, 425 secs
lola: 115971060 markings, 371777380 edges, 210432 markings/sec, 430 secs
lola: 116942235 markings, 374985763 edges, 194235 markings/sec, 435 secs
lola: 117859399 markings, 378038396 edges, 183433 markings/sec, 440 secs
lola: 118753291 markings, 380997497 edges, 178778 markings/sec, 445 secs
lola: 119540067 markings, 383602686 edges, 157355 markings/sec, 450 secs
lola: 120326662 markings, 386217883 edges, 157319 markings/sec, 455 secs
lola: 121190477 markings, 389091948 edges, 172763 markings/sec, 460 secs
lola: 122041246 markings, 391931000 edges, 170154 markings/sec, 465 secs
lola: 123123109 markings, 395013427 edges, 216373 markings/sec, 470 secs
lola: 123969975 markings, 397716896 edges, 169373 markings/sec, 475 secs
lola: 124788067 markings, 400370710 edges, 163618 markings/sec, 480 secs
lola: 125756927 markings, 403541837 edges, 193772 markings/sec, 485 secs
lola: 126521743 markings, 406051247 edges, 152963 markings/sec, 490 secs
lola: 127336982 markings, 408736008 edges, 163048 markings/sec, 495 secs
lola: 128282492 markings, 411858307 edges, 189102 markings/sec, 500 secs
lola: 129014999 markings, 414287635 edges, 146501 markings/sec, 505 secs
lola: 130145623 markings, 418029866 edges, 226125 markings/sec, 510 secs
lola: 130942064 markings, 420677093 edges, 159288 markings/sec, 515 secs
lola: 132091925 markings, 424520393 edges, 229972 markings/sec, 520 secs
lola: 133097001 markings, 427837246 edges, 201015 markings/sec, 525 secs
lola: 134061307 markings, 431048284 edges, 192861 markings/sec, 530 secs
lola: 135200433 markings, 434705856 edges, 227825 markings/sec, 535 secs
lola: 136322176 markings, 437987768 edges, 224349 markings/sec, 540 secs
lola: 137063927 markings, 440375469 edges, 148350 markings/sec, 545 secs
lola: 138060560 markings, 443622040 edges, 199327 markings/sec, 550 secs
lola: 139026485 markings, 446781903 edges, 193185 markings/sec, 555 secs
lola: 139939289 markings, 449785323 edges, 182561 markings/sec, 560 secs
lola: 140945307 markings, 453110872 edges, 201204 markings/sec, 565 secs
lola: 141981415 markings, 456535620 edges, 207222 markings/sec, 570 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: G ((F (G ((G ((1 <= p18)) AND ((1 <= p0) AND (1 <= p13))))) OR (F (((1 <= p0) AND (1 <= p13))) U ((1 <= p0) AND (1 <= p13)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (G ((G ((1 <= p18)) AND ((1 <= p0) AND (1 <= p13))))) OR (F (((1 <= p0) AND (1 <= p13))) U ((1 <= p0) AND (1 <= p13)))))
lola: processed formula length: 126
lola: 72 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: 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: 1188089 markings, 5207410 edges, 237618 markings/sec, 0 secs
lola: 2404490 markings, 10588638 edges, 243280 markings/sec, 5 secs
lola: 3635737 markings, 16037479 edges, 246249 markings/sec, 10 secs
lola: 4890221 markings, 21589309 edges, 250897 markings/sec, 15 secs
lola: 6139754 markings, 27120767 edges, 249907 markings/sec, 20 secs
lola: 7403696 markings, 32715248 edges, 252788 markings/sec, 25 secs
lola: 8662073 markings, 38284768 edges, 251675 markings/sec, 30 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no no no no no no unknown no unknown
lola:
preliminary result: unknown no no no no no no no unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no no no no no unknown no unknown
lola: memory consumption: 1177948 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 1177948 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: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ClientsAndServers-PT-N1000P0"
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-N1000P0, 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-158987806400242"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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