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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15791.410 3600000.00 2659810.00 63073.40 ?FFFTTFFTFF?TFFF 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-158987806500250.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-N2000P0, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806500250
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 184K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 15:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K 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.0K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K 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.2K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1591252523337

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 06:35:26] [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 06:35:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 06:35:26] [INFO ] Load time of PNML (sax parser for PT used): 32 ms
[2020-06-04 06:35:26] [INFO ] Transformed 25 places.
[2020-06-04 06:35:26] [INFO ] Transformed 18 transitions.
[2020-06-04 06:35:26] [INFO ] Parsed PT model containing 25 places and 18 transitions in 84 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 20 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100025 steps, including 0 resets, run finished after 93 ms. (steps per millisecond=1075 ) properties seen :[1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1]
// Phase 1: matrix 18 rows 25 cols
[2020-06-04 06:35:26] [INFO ] Computed 8 place invariants in 5 ms
[2020-06-04 06:35:26] [INFO ] [Real]Absence check using 5 positive place invariants in 19 ms returned sat
[2020-06-04 06:35:26] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 2 ms returned sat
[2020-06-04 06:35:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:35:26] [INFO ] [Real]Absence check using state equation in 22 ms returned sat
[2020-06-04 06:35:26] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 5 ms.
[2020-06-04 06:35:27] [INFO ] Added : 16 causal constraints over 4 iterations in 53 ms. Result :sat
[2020-06-04 06:35:27] [INFO ] [Real]Absence check using 5 positive place invariants in 4 ms returned sat
[2020-06-04 06:35:27] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 2 ms returned sat
[2020-06-04 06:35:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:35:27] [INFO ] [Real]Absence check using state equation in 26 ms returned sat
[2020-06-04 06:35:27] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 4 ms.
[2020-06-04 06:35:27] [INFO ] Added : 12 causal constraints over 3 iterations in 35 ms. Result :sat
[2020-06-04 06:35:27] [INFO ] [Real]Absence check using 5 positive place invariants in 7 ms returned sat
[2020-06-04 06:35:27] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 1 ms returned sat
[2020-06-04 06:35:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:35:27] [INFO ] [Real]Absence check using state equation in 19 ms returned sat
[2020-06-04 06:35:27] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 3 ms.
[2020-06-04 06:35:27] [INFO ] Added : 16 causal constraints over 4 iterations in 24 ms. Result :sat
[2020-06-04 06:35:27] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2020-06-04 06:35:27] [INFO ] Flatten gal took : 39 ms
FORMULA ClientsAndServers-PT-N2000P0-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N2000P0-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N2000P0-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N2000P0-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 06:35:27] [INFO ] Flatten gal took : 9 ms
[2020-06-04 06:35:27] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2020-06-04 06:35:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 8 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N2000P0 @ 3570 seconds

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

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

FORMULA ClientsAndServers-PT-N2000P0-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N2000P0-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA ClientsAndServers-PT-N2000P0-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

FORMULA ClientsAndServers-PT-N2000P0-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N2000P0-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N2000P0-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 854
rslt: Output for LTLFireability @ ClientsAndServers-PT-N2000P0

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

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

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

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

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

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 544
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 2,
"aconj": 2,
"adisj": 1,
"aneg": 2,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "((1 <= p6) U (X ((X ((((p0 <= 0) OR (p13 <= 0)) AND ((p3 <= 0)))) AND (p6 <= 0))) OR (1 <= p6)))",
"processed_size": 97,
"rewrites": 59
},
"result":
{
"edges": 14,
"markings": 15,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 11
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 681
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "F (G ((p24 <= 0)))",
"processed_size": 18,
"rewrites": 59
},
"result":
{
"edges": 272000,
"markings": 271998,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 908
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F (G (((1 <= p7) AND (1 <= p23))))",
"processed_size": 34,
"rewrites": 59
},
"result":
{
"edges": 16025,
"markings": 16024,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2724
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 4,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 0,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "G (F ((F (G (((p5 <= 0) OR (p15 <= 0)))) OR ((((p4 <= 0) OR (p21 <= 0)) AND (p22 <= 0)) OR ((p4 <= 0) OR (p21 <= 0))))))",
"processed_size": 122,
"rewrites": 59
},
"result":
{
"edges": 216153,
"markings": 192117,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"child":
[

{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (((p11 <= 0) OR (p17 <= 0)))",
"processed_size": 31,
"rewrites": 59
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3144,
"runtime": 2716.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(G(F(**)) AND X(*)) : F(((** U G(**)) AND (X(F(**)) OR F(G(**))))) : (G(**) AND (X(*) OR **)) : X((X((X(G(**)) OR *)) OR F(*))) : (* R X(*)) : F((F(*) AND *)) : F(G(*)) : F((G((X((** U **)) OR (F(**) AND (** AND **)))) AND X(**))) : X(F((G(F(**)) OR (G(F(**)) AND F(G((X(**) AND **))))))) : (** U (X((X(*) AND *)) OR **)) : F(G(**)) : G(F((F(G(*)) OR (* OR (* OR *)))))"
},
"net":
{
"arcs": 54,
"conflict_clusters": 16,
"places": 25,
"places_significant": 17,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"preliminary_value": "unknown no no yes yes no no no unknown yes no no ",
"value": "unknown no no yes yes no no no unknown yes no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 43/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: (G (F ((1 <= p22))) AND NOT(X (((1 <= p11) AND (1 <= p17))))) : F ((((1 <= p10) U G ((1 <= p9))) AND (X (F ((p9 <= 0))) OR F (G ((1 <= p10)))))) : (G ((p6 <= 0)) AND (NOT(X (((1 <= p3)))) OR (1 <= p6))) : X ((NOT(X ((NOT(X (G ((1 <= p6)))) AND (p6 <= 0)))) OR NOT(G ((1 <= p9))))) : NOT(((p24 <= 0) U X ((1 <= p16)))) : F (NOT(G ((G ((p6 <= 0)) OR ((1 <= p10) AND (1 <= p16)))))) : F (NOT(X (F ((1 <= p24))))) : F ((G ((X ((((1 <= p8) AND (1 <= p15)) U (1 <= p24))) OR ((F ((1 <= p12)) AND (1 <= p8)) AND (1 <= p15)))) AND X ((1 <= p12)))) : X (F ((F (G ((X (((1 <= p9) U (1 <= p9))) AND (1 <= p9)))) U G (F (((1 <= p11) AND (1 <= p17))))))) : ((1 <= p6) U (NOT(X ((X ((((1 <= p0) AND (1 <= p13)) OR ((1 <= p3)))) OR (1 <= p6)))) OR (1 <= p6))) : X (X (G (F (G (((1 <= p7) AND (1 <= p23))))))) : G (NOT(G (F (G ((((X (G (F (((1 <= p5) AND (1 <= p15))))) AND (((1 <= p4) AND (1 <= p21)) OR (1 <= p22))) AND (1 <= p4)) AND (1 <= p21)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:416
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (F ((1 <= p22))) AND X (((p11 <= 0) OR (p17 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((1 <= p22)))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((1 <= p22)))
lola: processed formula length: 18
lola: 59 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: 1779731 markings, 4601609 edges, 355946 markings/sec, 0 secs
lola: 3069181 markings, 8376209 edges, 257890 markings/sec, 5 secs
lola: 4270132 markings, 11921216 edges, 240190 markings/sec, 10 secs
lola: 5499392 markings, 15510999 edges, 245852 markings/sec, 15 secs
lola: 6590448 markings, 18906157 edges, 218211 markings/sec, 20 secs
lola: 7715278 markings, 22210441 edges, 224966 markings/sec, 25 secs
lola: 8659076 markings, 25215775 edges, 188760 markings/sec, 30 secs
lola: 9818617 markings, 28544665 edges, 231908 markings/sec, 35 secs
lola: 10755322 markings, 31517842 edges, 187341 markings/sec, 40 secs
lola: 11848254 markings, 35004735 edges, 218586 markings/sec, 45 secs
lola: 13041737 markings, 38460187 edges, 238697 markings/sec, 50 secs
lola: 13982406 markings, 41455204 edges, 188134 markings/sec, 55 secs
lola: 14883580 markings, 44363460 edges, 180235 markings/sec, 60 secs
lola: 15849326 markings, 47394707 edges, 193149 markings/sec, 65 secs
lola: 16972091 markings, 50632374 edges, 224553 markings/sec, 70 secs
lola: 17880001 markings, 53533701 edges, 181582 markings/sec, 75 secs
lola: 18754812 markings, 56357771 edges, 174962 markings/sec, 80 secs
lola: 19619299 markings, 59205451 edges, 172897 markings/sec, 85 secs
lola: 20643674 markings, 62357553 edges, 204875 markings/sec, 90 secs
lola: 21797637 markings, 65689347 edges, 230793 markings/sec, 95 secs
lola: 22612456 markings, 68312026 edges, 162964 markings/sec, 100 secs
lola: 23442920 markings, 70981014 edges, 166093 markings/sec, 105 secs
lola: 24234777 markings, 73582712 edges, 158371 markings/sec, 110 secs
lola: 25221511 markings, 76853636 edges, 197347 markings/sec, 115 secs
lola: 26485682 markings, 80655487 edges, 252834 markings/sec, 120 secs
lola: 27564488 markings, 83825251 edges, 215761 markings/sec, 125 secs
lola: 28454380 markings, 86680639 edges, 177978 markings/sec, 130 secs
lola: 29406854 markings, 89790325 edges, 190495 markings/sec, 135 secs
lola: 30391898 markings, 92991183 edges, 197009 markings/sec, 140 secs
lola: 31408545 markings, 96345819 edges, 203329 markings/sec, 145 secs
lola: 32319894 markings, 99312709 edges, 182270 markings/sec, 150 secs
lola: 33604054 markings, 102972980 edges, 256832 markings/sec, 155 secs
lola: 34512887 markings, 105781884 edges, 181767 markings/sec, 160 secs
lola: 35421684 markings, 108712724 edges, 181759 markings/sec, 165 secs
lola: 36218165 markings, 111334709 edges, 159296 markings/sec, 170 secs
lola: 37028779 markings, 114009813 edges, 162123 markings/sec, 175 secs
lola: 37937059 markings, 116979675 edges, 181656 markings/sec, 180 secs
lola: 38928020 markings, 120248880 edges, 198192 markings/sec, 185 secs
lola: 39881634 markings, 123458357 edges, 190723 markings/sec, 190 secs
lola: 41073879 markings, 127023497 edges, 238449 markings/sec, 195 secs
lola: 42264670 markings, 130429719 edges, 238158 markings/sec, 200 secs
lola: 43141969 markings, 133257967 edges, 175460 markings/sec, 205 secs
lola: 44086051 markings, 136313749 edges, 188816 markings/sec, 210 secs
lola: 45003258 markings, 139345729 edges, 183441 markings/sec, 215 secs
lola: 45784198 markings, 141919981 edges, 156188 markings/sec, 220 secs
lola: 46632233 markings, 144713008 edges, 169607 markings/sec, 225 secs
lola: 47521982 markings, 147650347 edges, 177950 markings/sec, 230 secs
lola: 48445795 markings, 150704730 edges, 184763 markings/sec, 235 secs
lola: 49364586 markings, 153736914 edges, 183758 markings/sec, 240 secs
lola: 50483393 markings, 157092407 edges, 223761 markings/sec, 245 secs
lola: 51673413 markings, 160488599 edges, 238004 markings/sec, 250 secs
lola: 52541023 markings, 163287351 edges, 173522 markings/sec, 255 secs
lola: 53368830 markings, 165948091 edges, 165561 markings/sec, 260 secs
lola: 54162323 markings, 168555628 edges, 158699 markings/sec, 265 secs
lola: 54967415 markings, 171207465 edges, 161018 markings/sec, 270 secs
lola: 55789254 markings, 173913670 edges, 164368 markings/sec, 275 secs
lola: 56605472 markings, 176603956 edges, 163244 markings/sec, 280 secs
lola: 57443639 markings, 179413407 edges, 167633 markings/sec, 285 secs
lola: 58295177 markings, 182268723 edges, 170308 markings/sec, 290 secs
lola: local time limit reached - aborting
lola: lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown caught signal User defined signal 1 - aborting LoLA

lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7790980 KB
lola: time consumption: 300 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7791312 KB
lola: time consumption: 300 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((((1 <= p10) U G ((1 <= p9))) AND (X (F ((p9 <= 0))) OR F (G ((1 <= p10))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((((1 <= p10) U G ((1 <= p9))) AND (X (F ((p9 <= 0))) OR F (G ((1 <= p10))))))
lola: processed formula length: 80
lola: 59 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 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: 100002 markings, 100002 edges
lola: ========================================
lola: subprocess 2 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((p6 <= 0)) AND (X (((p3 <= 0))) OR (1 <= p6)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p6)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p6)
lola: processed formula length: 9
lola: 59 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 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 3 will run for 363 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((p6 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((p6 <= 0))
lola: processed formula length: 13
lola: 59 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: 239996 markings, 251992 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 3 will run for 363 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X ((X (G ((1 <= p6))) OR (1 <= p6))) OR F ((p9 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X ((X (G ((1 <= p6))) OR (1 <= p6))) OR F ((p9 <= 0))))
lola: processed formula length: 59
lola: 59 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 4 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p24) R X ((p16 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((1 <= p24) R X ((p16 <= 0)))
lola: processed formula length: 29
lola: 59 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 5 will run for 467 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G ((X ((((1 <= p8) AND (1 <= p15)) U (1 <= p24))) OR (F ((1 <= p12)) AND ((1 <= p8) AND (1 <= p15))))) AND X ((1 <= p12))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G ((X ((((1 <= p8) AND (1 <= p15)) U (1 <= p24))) OR (F ((1 <= p12)) AND ((1 <= p8) AND (1 <= p15))))) AND X ((1 <= p12))))
lola: processed formula length: 127
lola: 59 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 124000 markings, 124000 edges
lola: ========================================
lola: subprocess 6 will run for 544 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (F (((1 <= p11) AND (1 <= p17)))) OR (G (F (((1 <= p11) AND (1 <= p17)))) AND F (G ((X ((1 <= p9)) AND (1 <= p9))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (F (((1 <= p11) AND (1 <= p17)))) OR (G (F (((1 <= p11) AND (1 <= p17)))) AND F (G ((X ((1 <= p9)) AND (1 <= p9))))))))
lola: processed formula length: 128
lola: 59 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: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1598972 markings, 6460988 edges, 319794 markings/sec, 0 secs
lola: 3177183 markings, 12972255 edges, 315642 markings/sec, 5 secs
lola: 4716901 markings, 19321775 edges, 307944 markings/sec, 10 secs
lola: 6121855 markings, 25116496 edges, 280991 markings/sec, 15 secs
lola: 7583974 markings, 31149280 edges, 292424 markings/sec, 20 secs
lola: 8956037 markings, 36808600 edges, 274413 markings/sec, 25 secs
lola: 10356433 markings, 42587361 edges, 280079 markings/sec, 30 secs
lola: 11720404 markings, 48212857 edges, 272794 markings/sec, 35 secs
lola: 13094760 markings, 53881115 edges, 274871 markings/sec, 40 secs
lola: 14391264 markings, 59227736 edges, 259301 markings/sec, 45 secs
lola: 15750633 markings, 64837554 edges, 271874 markings/sec, 50 secs
lola: 17119826 markings, 70483640 edges, 273839 markings/sec, 55 secs
lola: 18476934 markings, 76081131 edges, 271422 markings/sec, 60 secs
lola: 19716408 markings, 81194804 edges, 247895 markings/sec, 65 secs
lola: 21056290 markings, 86720434 edges, 267976 markings/sec, 70 secs
lola: 22318894 markings, 91930667 edges, 252521 markings/sec, 75 secs
lola: 23675886 markings, 97527933 edges, 271398 markings/sec, 80 secs
lola: 24953354 markings, 102796045 edges, 255494 markings/sec, 85 secs
lola: 26269385 markings, 108224845 edges, 263206 markings/sec, 90 secs
lola: 27582581 markings, 113641230 edges, 262639 markings/sec, 95 secs
lola: 28906477 markings, 119103408 edges, 264779 markings/sec, 100 secs
lola: 30283003 markings, 124780066 edges, 275305 markings/sec, 105 secs
lola: 31626503 markings, 130323339 edges, 268700 markings/sec, 110 secs
lola: 32973766 markings, 135879877 edges, 269453 markings/sec, 115 secs
lola: 34297700 markings, 141341055 edges, 264787 markings/sec, 120 secs
lola: 35644650 markings, 146898656 edges, 269390 markings/sec, 125 secs
lola: 36953474 markings, 152297801 edges, 261765 markings/sec, 130 secs
lola: 38270215 markings, 157729265 edges, 263348 markings/sec, 135 secs
lola: 39570466 markings, 163092164 edges, 260050 markings/sec, 140 secs
lola: 40921122 markings, 168664109 edges, 270131 markings/sec, 145 secs
lola: 42247161 markings, 174133679 edges, 265208 markings/sec, 150 secs
lola: 43569381 markings, 179587358 edges, 264444 markings/sec, 155 secs
lola: 44877764 markings, 184982764 edges, 261677 markings/sec, 160 secs
lola: 46181670 markings, 190363308 edges, 260781 markings/sec, 165 secs
lola: 47477846 markings, 195708818 edges, 259235 markings/sec, 170 secs
lola: 48765734 markings, 201021606 edges, 257578 markings/sec, 175 secs
lola: 50101965 markings, 206532010 edges, 267246 markings/sec, 180 secs
lola: 51400408 markings, 211887903 edges, 259689 markings/sec, 185 secs
lola: 52685507 markings, 217190399 edges, 257020 markings/sec, 190 secs
lola: 53979624 markings, 222528090 edges, 258823 markings/sec, 195 secs
lola: 55261218 markings, 227814029 edges, 256319 markings/sec, 200 secs
lola: 56570700 markings, 233216188 edges, 261896 markings/sec, 205 secs
lola: 57864876 markings, 238554177 edges, 258835 markings/sec, 210 secs
lola: 59149498 markings, 243852339 edges, 256924 markings/sec, 215 secs
lola: 60395501 markings, 248991755 edges, 249201 markings/sec, 220 secs
lola: 61682704 markings, 254301550 edges, 257441 markings/sec, 225 secs
lola: 62915583 markings, 259386968 edges, 246576 markings/sec, 230 secs
lola: 64251422 markings, 265110771 edges, 267168 markings/sec, 235 secs
lola: 65388760 markings, 271365670 edges, 227468 markings/sec, 240 secs
lola: 66523963 markings, 277609408 edges, 227041 markings/sec, 245 secs
lola: 67596394 markings, 283507088 edges, 214486 markings/sec, 250 secs
lola: 68680872 markings, 289471420 edges, 216896 markings/sec, 255 secs
lola: 69648965 markings, 294796942 edges, 193619 markings/sec, 260 secs
lola: 70689524 markings, 300520532 edges, 208112 markings/sec, 265 secs
lola: 71715669 markings, 306164466 edges, 205229 markings/sec, 270 secs
lola: 72730882 markings, 311748150 edges, 203043 markings/sec, 275 secs
lola: 73720963 markings, 317192472 edges, 198016 markings/sec, 280 secs
lola: 74701973 markings, 322589009 edges, 196202 markings/sec, 285 secs
lola: 75679012 markings, 327961988 edges, 195408 markings/sec, 290 secs
lola: 76651773 markings, 333313222 edges, 194552 markings/sec, 295 secs
lola: 77624762 markings, 338663511 edges, 194598 markings/sec, 300 secs
lola: 78595629 markings, 344004065 edges, 194173 markings/sec, 305 secs
lola: 79563943 markings, 349330087 edges, 193663 markings/sec, 310 secs
lola: 80550912 markings, 354758730 edges, 197394 markings/sec, 315 secs
lola: 81516032 markings, 360067343 edges, 193024 markings/sec, 320 secs
lola: 82487552 markings, 365410392 edges, 194304 markings/sec, 325 secs
lola: 83454462 markings, 370728497 edges, 193382 markings/sec, 330 secs
lola: 84414861 markings, 376011060 edges, 192080 markings/sec, 335 secs
lola: 85368594 markings, 381255842 edges, 190747 markings/sec, 340 secs
lola: 86310918 markings, 386438731 edges, 188465 markings/sec, 345 secs
lola: 87276518 markings, 391750706 edges, 193120 markings/sec, 350 secs
lola: 88222520 markings, 396952458 edges, 189200 markings/sec, 355 secs
lola: 89150061 markings, 402053965 edges, 185508 markings/sec, 360 secs
lola: 90085265 markings, 407198956 edges, 187041 markings/sec, 365 secs
lola: 91012210 markings, 412296969 edges, 185389 markings/sec, 370 secs
lola: 91934879 markings, 417371995 edges, 184534 markings/sec, 375 secs
lola: 92862077 markings, 422471373 edges, 185440 markings/sec, 380 secs
lola: 93805620 markings, 427661017 edges, 188709 markings/sec, 385 secs
lola: 94729310 markings, 432740974 edges, 184738 markings/sec, 390 secs
lola: 95638035 markings, 437739641 edges, 181745 markings/sec, 395 secs
lola: 96587777 markings, 442963202 edges, 189948 markings/sec, 400 secs
lola: 97506579 markings, 448016120 edges, 183760 markings/sec, 405 secs
lola: 98422244 markings, 453053192 edges, 183133 markings/sec, 410 secs
lola: 99356994 markings, 458193652 edges, 186950 markings/sec, 415 secs
lola: 100262307 markings, 463173894 edges, 181063 markings/sec, 420 secs
lola: 101117905 markings, 467879616 edges, 171120 markings/sec, 425 secs
lola: 102033254 markings, 472913382 edges, 183070 markings/sec, 430 secs
lola: 102871714 markings, 477525646 edges, 167692 markings/sec, 435 secs
lola: 103780924 markings, 482526014 edges, 181842 markings/sec, 440 secs
lola: 104674380 markings, 487439824 edges, 178691 markings/sec, 445 secs
lola: 105601527 markings, 492539850 edges, 185429 markings/sec, 450 secs
lola: 106465353 markings, 497291036 edges, 172765 markings/sec, 455 secs
lola: 107390934 markings, 502382322 edges, 185116 markings/sec, 460 secs
lola: 108318917 markings, 507485883 edges, 185597 markings/sec, 465 secs
lola: 109242716 markings, 512566432 edges, 184760 markings/sec, 470 secs
lola: 110140215 markings, 517503275 edges, 179500 markings/sec, 475 secs
lola: 110969245 markings, 522063093 edges, 165806 markings/sec, 480 secs
lola: 111866109 markings, 526996217 edges, 179373 markings/sec, 485 secs
lola: 112775288 markings, 531996421 edges, 181836 markings/sec, 490 secs
lola: 113726915 markings, 537230381 edges, 190325 markings/sec, 495 secs
lola: 114627656 markings, 542185100 edges, 180148 markings/sec, 500 secs
lola: 115555828 markings, 547289938 edges, 185634 markings/sec, 505 secs
lola: 116396478 markings, 551913901 edges, 168130 markings/sec, 510 secs
lola: 117293198 markings, 556846024 edges, 179344 markings/sec, 515 secs
lola: 118064149 markings, 561086264 edges, 154190 markings/sec, 520 secs
lola: 118970915 markings, 566074050 edges, 181353 markings/sec, 525 secs
lola: 119855462 markings, 570939184 edges, 176909 markings/sec, 530 secs
lola: 120731013 markings, 575754863 edges, 175110 markings/sec, 535 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no yes yes unknown unknown no unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 544 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p6) U (X ((X ((((p0 <= 0) OR (p13 <= 0)) AND ((p3 <= 0)))) AND (p6 <= 0))) OR (1 <= p6)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((1 <= p6) U (X ((X ((((p0 <= 0) OR (p13 <= 0)) AND ((p3 <= 0)))) AND (p6 <= 0))) OR (1 <= p6)))
lola: processed formula length: 97
lola: 59 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 15 markings, 14 edges
lola: ========================================
lola: subprocess 8 will run for 681 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((p24 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((p24 <= 0)))
lola: processed formula length: 18
lola: 59 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: 271998 markings, 272000 edges
lola: ========================================
lola: subprocess 9 will run for 908 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((1 <= p7) AND (1 <= p23))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((1 <= p7) AND (1 <= p23))))
lola: processed formula length: 34
lola: 59 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: 16024 markings, 16025 edges
lola: ========================================
lola: subprocess 10 will run for 1362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F ((1 <= p6)) AND ((p10 <= 0) OR (p16 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F ((1 <= p6)) AND ((p10 <= 0) OR (p16 <= 0))))
lola: processed formula length: 51
lola: 59 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: 100001 markings, 100001 edges
lola: ========================================
lola: subprocess 11 will run for 2724 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((F (G (((p5 <= 0) OR (p15 <= 0)))) OR ((((p4 <= 0) OR (p21 <= 0)) AND (p22 <= 0)) OR ((p4 <= 0) OR (p21 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F (G (((p5 <= 0) OR (p15 <= 0)))) OR ((((p4 <= 0) OR (p21 <= 0)) AND (p22 <= 0)) OR ((p4 <= 0) OR (p21 <= 0))))))
lola: processed formula length: 122
lola: 59 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 192117 markings, 216153 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (G (F ((1 <= p22))) AND X (((p11 <= 0) OR (p17 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: G (F ((1 <= p22)))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((1 <= p22)))
lola: processed formula length: 18
lola: 59 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: 1716240 markings, 4399197 edges, 343248 markings/sec, 0 secs
lola: 3077418 markings, 8404130 edges, 272236 markings/sec, 5 secs
lola: 4370396 markings, 12241844 edges, 258596 markings/sec, 10 secs
lola: 5691506 markings, 16106162 edges, 264222 markings/sec, 15 secs
lola: 6970167 markings, 19900410 edges, 255732 markings/sec, 20 secs
lola: 8013788 markings, 23158792 edges, 208724 markings/sec, 25 secs
lola: 9195053 markings, 26774773 edges, 236253 markings/sec, 30 secs
lola: 10307520 markings, 30086052 edges, 222493 markings/sec, 35 secs
lola: 11295449 markings, 33271281 edges, 197586 markings/sec, 40 secs
lola: 12518178 markings, 36865452 edges, 244546 markings/sec, 45 secs
lola: 13491890 markings, 39868229 edges, 194742 markings/sec, 50 secs
lola: 14413093 markings, 42841794 edges, 184241 markings/sec, 55 secs
lola: 15305099 markings, 45771121 edges, 178401 markings/sec, 60 secs
lola: 16545022 markings, 49314767 edges, 247985 markings/sec, 65 secs
lola: 17492956 markings, 52293850 edges, 189587 markings/sec, 70 secs
lola: 18416048 markings, 55280789 edges, 184618 markings/sec, 75 secs
lola: 19471234 markings, 58703591 edges, 211037 markings/sec, 80 secs
lola: 20628155 markings, 62311045 edges, 231384 markings/sec, 85 secs
lola: 21846679 markings, 65852931 edges, 243705 markings/sec, 90 secs
lola: 22670881 markings, 68508385 edges, 164840 markings/sec, 95 secs
lola: 23521548 markings, 71248077 edges, 170133 markings/sec, 100 secs
lola: 24338547 markings, 73937654 edges, 163400 markings/sec, 105 secs
lola: 25193748 markings, 76759231 edges, 171040 markings/sec, 110 secs
lola: 26386745 markings, 80382946 edges, 238599 markings/sec, 115 secs
lola: 27569522 markings, 83842870 edges, 236555 markings/sec, 120 secs
lola: 28492541 markings, 86786980 edges, 184604 markings/sec, 125 secs
lola: 29429180 markings, 89868370 edges, 187328 markings/sec, 130 secs
lola: 30411167 markings, 93050793 edges, 196397 markings/sec, 135 secs
lola: 31400944 markings, 96320469 edges, 197955 markings/sec, 140 secs
lola: 32423632 markings, 99627766 edges, 204538 markings/sec, 145 secs
lola: 33707578 markings, 103279130 edges, 256789 markings/sec, 150 secs
lola: 34592128 markings, 106039428 edges, 176910 markings/sec, 155 secs
lola: 35426366 markings, 108727894 edges, 166848 markings/sec, 160 secs
lola: 36201466 markings, 111276331 edges, 155020 markings/sec, 165 secs
lola: 36988583 markings, 113869314 edges, 157423 markings/sec, 170 secs
lola: 37790989 markings, 116511591 edges, 160481 markings/sec, 175 secs
lola: 38629438 markings, 119275846 edges, 167690 markings/sec, 180 secs
lola: 39488422 markings, 122107784 edges, 171797 markings/sec, 185 secs
lola: 40414008 markings, 125045930 edges, 185117 markings/sec, 190 secs
lola: 41544928 markings, 128261805 edges, 226184 markings/sec, 195 secs
lola: 42473442 markings, 131106184 edges, 185703 markings/sec, 200 secs
lola: 43355581 markings, 133922422 edges, 176428 markings/sec, 205 secs
lola: 44167820 markings, 136591732 edges, 162448 markings/sec, 210 secs
lola: 44981679 markings, 139270234 edges, 162772 markings/sec, 215 secs
lola: 45801924 markings, 141974930 edges, 164049 markings/sec, 220 secs
lola: 46660631 markings, 144810110 edges, 171741 markings/sec, 225 secs
lola: 47523065 markings, 147654139 edges, 172487 markings/sec, 230 secs
lola: 48396405 markings, 150539974 edges, 174668 markings/sec, 235 secs
lola: 49271505 markings, 153462140 edges, 175020 markings/sec, 240 secs
lola: 50390819 markings, 156815070 edges, 223863 markings/sec, 245 secs
lola: 51576243 markings, 160199502 edges, 237085 markings/sec, 250 secs
lola: 52458828 markings, 163008692 edges, 176517 markings/sec, 255 secs
lola: 53322374 markings, 165793542 edges, 172709 markings/sec, 260 secs
lola: 54132577 markings, 168457010 edges, 162041 markings/sec, 265 secs
lola: 54953564 markings, 171159015 edges, 164197 markings/sec, 270 secs
lola: 55777071 markings, 173872531 edges, 164701 markings/sec, 275 secs
lola: 56575713 markings, 176507876 edges, 159728 markings/sec, 280 secs
lola: 57353657 markings, 179143830 edges, 155589 markings/sec, 285 secs
lola: 58175767 markings, 181863012 edges, 164422 markings/sec, 290 secs
lola: 59037279 markings, 184700042 edges, 172302 markings/sec, 295 secs
lola: 59879021 markings, 187581922 edges, 168348 markings/sec, 300 secs
lola: 60969455 markings, 190845497 edges, 218087 markings/sec, 305 secs
lola: 62154610 markings, 194180097 edges, 237031 markings/sec, 310 secs
lola: 63052644 markings, 197010341 edges, 179607 markings/sec, 315 secs
lola: 63921479 markings, 199812185 edges, 173767 markings/sec, 320 secs
lola: 64740059 markings, 202489137 edges, 163716 markings/sec, 325 secs
lola: 65570023 markings, 205180221 edges, 165993 markings/sec, 330 secs
lola: 66380286 markings, 207855758 edges, 162053 markings/sec, 335 secs
lola: 67133441 markings, 210399983 edges, 150631 markings/sec, 340 secs
lola: 67930438 markings, 213020286 edges, 159399 markings/sec, 345 secs
lola: 68721134 markings, 215620251 edges, 158139 markings/sec, 350 secs
lola: 69439394 markings, 218075401 edges, 143652 markings/sec, 355 secs
lola: 70283236 markings, 220846357 edges, 168768 markings/sec, 360 secs
lola: 71144454 markings, 223696410 edges, 172244 markings/sec, 365 secs
lola: 72026146 markings, 226699934 edges, 176338 markings/sec, 370 secs
lola: 73096790 markings, 230037726 edges, 214129 markings/sec, 375 secs
lola: 74291174 markings, 233535813 edges, 238877 markings/sec, 380 secs
lola: 75330437 markings, 236571496 edges, 207853 markings/sec, 385 secs
lola: 76160568 markings, 239247972 edges, 166026 markings/sec, 390 secs
lola: 77035461 markings, 242064721 edges, 174979 markings/sec, 395 secs
lola: 77896975 markings, 244910092 edges, 172303 markings/sec, 400 secs
lola: 78768560 markings, 247789438 edges, 174317 markings/sec, 405 secs
lola: 79641079 markings, 250669915 edges, 174504 markings/sec, 410 secs
lola: 80517275 markings, 253562162 edges, 175239 markings/sec, 415 secs
lola: 81386406 markings, 256428490 edges, 173826 markings/sec, 420 secs
lola: 82220696 markings, 259231441 edges, 166858 markings/sec, 425 secs
lola: 83074771 markings, 262092855 edges, 170815 markings/sec, 430 secs
lola: 83961152 markings, 265015986 edges, 177276 markings/sec, 435 secs
lola: 84802513 markings, 267893273 edges, 168272 markings/sec, 440 secs
lola: 85744659 markings, 270999596 edges, 188429 markings/sec, 445 secs
lola: 86628760 markings, 274033563 edges, 176820 markings/sec, 450 secs
lola: 87705415 markings, 277253861 edges, 215331 markings/sec, 455 secs
lola: 88822132 markings, 280502187 edges, 223343 markings/sec, 460 secs
lola: 89827773 markings, 283449365 edges, 201128 markings/sec, 465 secs
lola: 90646510 markings, 286086064 edges, 163747 markings/sec, 470 secs
lola: 91495875 markings, 288821547 edges, 169873 markings/sec, 475 secs
lola: 92337059 markings, 291595883 edges, 168237 markings/sec, 480 secs
lola: 93184107 markings, 294386468 edges, 169410 markings/sec, 485 secs
lola: 94029889 markings, 297176527 edges, 169156 markings/sec, 490 secs
lola: 94867141 markings, 299936717 edges, 167450 markings/sec, 495 secs
lola: 95682876 markings, 302628281 edges, 163147 markings/sec, 500 secs
lola: 96464288 markings, 305292913 edges, 156282 markings/sec, 505 secs
lola: 97326170 markings, 308127239 edges, 172376 markings/sec, 510 secs
lola: 98138281 markings, 310821922 edges, 162422 markings/sec, 515 secs
lola: 98965237 markings, 313617957 edges, 165391 markings/sec, 520 secs
lola: 99830081 markings, 316477294 edges, 172969 markings/sec, 525 secs
lola: 100657781 markings, 319299294 edges, 165540 markings/sec, 530 secs
lola: 101540955 markings, 322210502 edges, 176635 markings/sec, 535 secs
lola: 102341956 markings, 324947075 edges, 160200 markings/sec, 540 secs
lola: 103225722 markings, 327856539 edges, 176753 markings/sec, 545 secs
lola: 104198033 markings, 330774868 edges, 194462 markings/sec, 550 secs
lola: 105276615 markings, 333919456 edges, 215716 markings/sec, 555 secs
lola: 106298420 markings, 336877490 edges, 204361 markings/sec, 560 secs
lola: 107099463 markings, 339452401 edges, 160209 markings/sec, 565 secs
lola: 107931568 markings, 342129882 edges, 166421 markings/sec, 570 secs
lola: 108755620 markings, 344842099 edges, 164810 markings/sec, 575 secs
lola: 109582406 markings, 347569889 edges, 165357 markings/sec, 580 secs
lola: 110401635 markings, 350267127 edges, 163846 markings/sec, 585 secs
lola: 111185331 markings, 352843789 edges, 156739 markings/sec, 590 secs
lola: 111921725 markings, 355347930 edges, 147279 markings/sec, 595 secs
lola: 112698043 markings, 357901709 edges, 155264 markings/sec, 600 secs
lola: 113458783 markings, 360405556 edges, 152148 markings/sec, 605 secs
lola: 114186999 markings, 362887852 edges, 145643 markings/sec, 610 secs
lola: 114980944 markings, 365491853 edges, 158789 markings/sec, 615 secs
lola: 115715050 markings, 367998421 edges, 146821 markings/sec, 620 secs
lola: 116524590 markings, 370656869 edges, 161908 markings/sec, 625 secs
lola: 117285901 markings, 373262388 edges, 152262 markings/sec, 630 secs
lola: 118066730 markings, 375823931 edges, 156166 markings/sec, 635 secs
lola: 118796054 markings, 378309918 edges, 145865 markings/sec, 640 secs
lola: 119564529 markings, 380919215 edges, 153695 markings/sec, 645 secs
lola: 120411549 markings, 383721338 edges, 169404 markings/sec, 650 secs
lola: 121229262 markings, 386544659 edges, 163543 markings/sec, 655 secs
lola: 122049006 markings, 389097256 edges, 163949 markings/sec, 660 secs
lola: 123109415 markings, 392279347 edges, 212082 markings/sec, 665 secs
lola: 124288400 markings, 395582772 edges, 235797 markings/sec, 670 secs
lola: 124539484 markings, 396312982 edges, 50217 markings/sec, 675 secs
lola: 124823279 markings, 397189662 edges, 56759 markings/sec, 680 secs
lola: 125161880 markings, 398270777 edges, 67720 markings/sec, 685 secs
lola: 125440222 markings, 399152691 edges, 55668 markings/sec, 690 secs
lola: 125865391 markings, 400523255 edges, 85034 markings/sec, 695 secs
lola: 126292832 markings, 401899844 edges, 85488 markings/sec, 700 secs
lola: 126778568 markings, 403467756 edges, 97147 markings/sec, 705 secs
lola: 127299583 markings, 405161644 edges, 104203 markings/sec, 710 secs
lola: 127864573 markings, 407045461 edges, 112998 markings/sec, 715 secs
lola: 128591611 markings, 409468529 edges, 145408 markings/sec, 720 secs
lola: 129396624 markings, 412116121 edges, 161003 markings/sec, 725 secs
lola: 130197365 markings, 414752611 edges, 160148 markings/sec, 730 secs
lola: 130973066 markings, 417305072 edges, 155140 markings/sec, 735 secs
lola: 131703757 markings, 419796006 edges, 146138 markings/sec, 740 secs
lola: 132501432 markings, 422413548 edges, 159535 markings/sec, 745 secs
lola: 133214413 markings, 424854874 edges, 142596 markings/sec, 750 secs
lola: 133998593 markings, 427416299 edges, 156836 markings/sec, 755 secs
lola: 134742926 markings, 429960868 edges, 148867 markings/sec, 760 secs
lola: 135510175 markings, 432473130 edges, 153450 markings/sec, 765 secs
lola: 136213299 markings, 434890765 edges, 140625 markings/sec, 770 secs
lola: 137020632 markings, 437529638 edges, 161467 markings/sec, 775 secs
lola: 137768728 markings, 440095162 edges, 149619 markings/sec, 780 secs
lola: 138629072 markings, 442923933 edges, 172069 markings/sec, 785 secs
lola: 139428796 markings, 445656144 edges, 159945 markings/sec, 790 secs
lola: 140249095 markings, 448470555 edges, 164060 markings/sec, 795 secs
lola: 141181157 markings, 451533579 edges, 186412 markings/sec, 800 secs
lola: 142033722 markings, 454465132 edges, 170513 markings/sec, 805 secs
lola: 142989975 markings, 457496020 edges, 191251 markings/sec, 810 secs
lola: 144013993 markings, 460567586 edges, 204804 markings/sec, 815 secs
lola: 145060497 markings, 463629806 edges, 209301 markings/sec, 820 secs
lola: 145720959 markings, 465415693 edges, 132092 markings/sec, 825 secs
lola: 146015851 markings, 466347838 edges, 58978 markings/sec, 830 secs
lola: 146349062 markings, 467394545 edges, 66642 markings/sec, 835 secs
lola: 146627498 markings, 468292372 edges, 55687 markings/sec, 840 secs
lola: 146993093 markings, 469463644 edges, 73119 markings/sec, 845 secs
lola: 147389203 markings, 470735750 edges, 79222 markings/sec, 850 secs
lola: 147814324 markings, 472105616 edges, 85024 markings/sec, 855 secs
lola: 148154761 markings, 473251585 edges, 68087 markings/sec, 860 secs
lola: 148500357 markings, 474348683 edges, 69119 markings/sec, 865 secs
lola: 148867316 markings, 475592059 edges, 73392 markings/sec, 870 secs
lola: 149234741 markings, 476761416 edges, 73485 markings/sec, 875 secs
lola: 149547650 markings, 477823788 edges, 62582 markings/sec, 880 secs
lola: 149939226 markings, 479081164 edges, 78315 markings/sec, 885 secs
lola: 150300803 markings, 480298036 edges, 72315 markings/sec, 890 secs
lola: 150647797 markings, 481479271 edges, 69399 markings/sec, 895 secs
lola: 150971420 markings, 482495180 edges, 64725 markings/sec, 900 secs
lola: 151288015 markings, 483562535 edges, 63319 markings/sec, 905 secs
lola: 151588488 markings, 484589109 edges, 60095 markings/sec, 910 secs
lola: 151984405 markings, 485861407 edges, 79183 markings/sec, 915 secs
lola: 152174179 markings, 486493480 edges, 37955 markings/sec, 920 secs
lola: 152271264 markings, 486825012 edges, 19417 markings/sec, 925 secs
lola: 152328297 markings, 487016426 edges, 11407 markings/sec, 930 secs
lola: 152376619 markings, 487177421 edges, 9664 markings/sec, 935 secs
lola: 152480641 markings, 487533149 edges, 20804 markings/sec, 940 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (((p11 <= 0) OR (p17 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((p11 <= 0) OR (p17 <= 0)))
lola: processed formula length: 31
lola: 59 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (F ((G (F (((1 <= p11) AND (1 <= p17)))) OR (G (F (((1 <= p11) AND (1 <= p17)))) AND F (G ((X ((1 <= p9)) AND (1 <= p9))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (F (((1 <= p11) AND (1 <= p17)))) OR (G (F (((1 <= p11) AND (1 <= p17)))) AND F (G ((X ((1 <= p9)) AND (1 <= p9))))))))
lola: processed formula length: 128
lola: 59 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: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1571660 markings, 6349029 edges, 314332 markings/sec, 0 secs
lola: 3137411 markings, 12806826 edges, 313150 markings/sec, 5 secs
lola: 4622981 markings, 18934127 edges, 297114 markings/sec, 10 secs
lola: 5957892 markings, 24443181 edges, 266982 markings/sec, 15 secs
lola: 7381079 markings, 30313589 edges, 284637 markings/sec, 20 secs
lola: 8758531 markings, 35995590 edges, 275490 markings/sec, 25 secs
lola: 10117490 markings, 41601062 edges, 271792 markings/sec, 30 secs
lola: 11437404 markings, 47046592 edges, 263983 markings/sec, 35 secs
lola: 12758135 markings, 52493616 edges, 264146 markings/sec, 40 secs
lola: 14062049 markings, 57871284 edges, 260783 markings/sec, 45 secs
lola: 15280445 markings, 62898650 edges, 243679 markings/sec, 50 secs
lola: 16628547 markings, 68457671 edges, 269620 markings/sec, 55 secs
lola: 17941582 markings, 73873843 edges, 262607 markings/sec, 60 secs
lola: 19237423 markings, 79219310 edges, 259168 markings/sec, 65 secs
lola: 20513971 markings, 84485039 edges, 255310 markings/sec, 70 secs
lola: 21773927 markings, 89682638 edges, 251991 markings/sec, 75 secs
lola: 23063239 markings, 95000764 edges, 257862 markings/sec, 80 secs
lola: 24340623 markings, 100270979 edges, 255477 markings/sec, 85 secs
lola: 25583792 markings, 105397787 edges, 248634 markings/sec, 90 secs
lola: 26819503 markings, 110495832 edges, 247142 markings/sec, 95 secs
lola: 28048880 markings, 115566098 edges, 245875 markings/sec, 100 secs
lola: 29315933 markings, 120793584 edges, 253411 markings/sec, 105 secs
lola: 30613096 markings, 126142558 edges, 259433 markings/sec, 110 secs
lola: 31893290 markings, 131422841 edges, 256039 markings/sec, 115 secs
lola: 33169646 markings, 136687864 edges, 255271 markings/sec, 120 secs
lola: 34415946 markings, 141830307 edges, 249260 markings/sec, 125 secs
lola: 35699036 markings, 147121455 edges, 256618 markings/sec, 130 secs
lola: 36940173 markings, 152240787 edges, 248227 markings/sec, 135 secs
lola: 38184667 markings, 157375711 edges, 248899 markings/sec, 140 secs
lola: 39409091 markings, 162426058 edges, 244885 markings/sec, 145 secs
lola: 40694990 markings, 167729090 edges, 257180 markings/sec, 150 secs
lola: 41953610 markings, 172920822 edges, 251724 markings/sec, 155 secs
lola: 43208927 markings, 178101041 edges, 251063 markings/sec, 160 secs
lola: 44442470 markings, 183188026 edges, 246709 markings/sec, 165 secs
lola: 45708534 markings, 188409480 edges, 253213 markings/sec, 170 secs
lola: 46933898 markings, 193466020 edges, 245073 markings/sec, 175 secs
lola: 48171928 markings, 198570683 edges, 247606 markings/sec, 180 secs
lola: 49326181 markings, 203333779 edges, 230851 markings/sec, 185 secs
lola: 50585912 markings, 208529720 edges, 251946 markings/sec, 190 secs
lola: 51838247 markings, 213694039 edges, 250467 markings/sec, 195 secs
lola: 53083043 markings, 218829601 edges, 248959 markings/sec, 200 secs
lola: 54316141 markings, 223915619 edges, 246620 markings/sec, 205 secs
lola: 55531700 markings, 228929994 edges, 243112 markings/sec, 210 secs
lola: 56744135 markings, 233931471 edges, 242487 markings/sec, 215 secs
lola: 57985348 markings, 239051351 edges, 248243 markings/sec, 220 secs
lola: 59214503 markings, 244120976 edges, 245831 markings/sec, 225 secs
lola: 60420717 markings, 249096146 edges, 241243 markings/sec, 230 secs
lola: 61665161 markings, 254229350 edges, 248889 markings/sec, 235 secs
lola: 62901720 markings, 259329622 edges, 247312 markings/sec, 240 secs
lola: 64210479 markings, 264884932 edges, 261752 markings/sec, 245 secs
lola: 65398144 markings, 271417258 edges, 237533 markings/sec, 250 secs
lola: 66494962 markings, 277450063 edges, 219364 markings/sec, 255 secs
lola: 67565763 markings, 283338373 edges, 214160 markings/sec, 260 secs
lola: 68604393 markings, 289051675 edges, 207726 markings/sec, 265 secs
lola: 69601849 markings, 294536923 edges, 199491 markings/sec, 270 secs
lola: 70590084 markings, 299972995 edges, 197647 markings/sec, 275 secs
lola: 71575998 markings, 305394880 edges, 197183 markings/sec, 280 secs
lola: 72538399 markings, 310688484 edges, 192480 markings/sec, 285 secs
lola: 73464017 markings, 315779879 edges, 185124 markings/sec, 290 secs
lola: 74374749 markings, 320788876 edges, 182146 markings/sec, 295 secs
lola: 75275420 markings, 325742367 edges, 180134 markings/sec, 300 secs
lola: 76184606 markings, 330743836 edges, 181837 markings/sec, 305 secs
lola: 77101265 markings, 335785474 edges, 183332 markings/sec, 310 secs
lola: 78012879 markings, 340799571 edges, 182323 markings/sec, 315 secs
lola: 78918240 markings, 345779421 edges, 181072 markings/sec, 320 secs
lola: 79833096 markings, 350810788 edges, 182971 markings/sec, 325 secs
lola: 80742505 markings, 355812415 edges, 181882 markings/sec, 330 secs
lola: 81639781 markings, 360747076 edges, 179455 markings/sec, 335 secs
lola: 82547907 markings, 365742789 edges, 181625 markings/sec, 340 secs
lola: 83450933 markings, 370708825 edges, 180605 markings/sec, 345 secs
lola: 84345671 markings, 375629347 edges, 178948 markings/sec, 350 secs
lola: 85245720 markings, 380580109 edges, 180010 markings/sec, 355 secs
lola: 86131769 markings, 385453538 edges, 177210 markings/sec, 360 secs
lola: 87020805 markings, 390344272 edges, 177807 markings/sec, 365 secs
lola: 87904359 markings, 395203302 edges, 176711 markings/sec, 370 secs
lola: 88784168 markings, 400042184 edges, 175962 markings/sec, 375 secs
lola: 89662134 markings, 404871473 edges, 175593 markings/sec, 380 secs
lola: 90527470 markings, 409631124 edges, 173067 markings/sec, 385 secs
lola: 91399856 markings, 414429002 edges, 174477 markings/sec, 390 secs
lola: 92245987 markings, 419083058 edges, 169226 markings/sec, 395 secs
lola: 93134875 markings, 423970984 edges, 177778 markings/sec, 400 secs
lola: 94015604 markings, 428815938 edges, 176146 markings/sec, 405 secs
lola: 94878628 markings, 433563023 edges, 172605 markings/sec, 410 secs
lola: 95745378 markings, 438330039 edges, 173350 markings/sec, 415 secs
lola: 96621386 markings, 443147839 edges, 175202 markings/sec, 420 secs
lola: 97472777 markings, 447830956 edges, 170278 markings/sec, 425 secs
lola: 98331880 markings, 452556304 edges, 171821 markings/sec, 430 secs
lola: 99201970 markings, 457341268 edges, 174018 markings/sec, 435 secs
lola: 100057989 markings, 462049103 edges, 171204 markings/sec, 440 secs
lola: 100885299 markings, 466599985 edges, 165462 markings/sec, 445 secs
lola: 101722899 markings, 471206630 edges, 167520 markings/sec, 450 secs
lola: 102549416 markings, 475752961 edges, 165303 markings/sec, 455 secs
lola: 103359903 markings, 480210077 edges, 162097 markings/sec, 460 secs
lola: 104214252 markings, 484909499 edges, 170870 markings/sec, 465 secs
lola: 105070841 markings, 489621218 edges, 171318 markings/sec, 470 secs
lola: 105943757 markings, 494422336 edges, 174583 markings/sec, 475 secs
lola: 106813033 markings, 499203054 edges, 173855 markings/sec, 480 secs
lola: 107677516 markings, 503958320 edges, 172897 markings/sec, 485 secs
lola: 108553797 markings, 508778077 edges, 175256 markings/sec, 490 secs
lola: 109399592 markings, 513429343 edges, 169159 markings/sec, 495 secs
lola: 110230458 markings, 518000019 edges, 166173 markings/sec, 500 secs
lola: 111069058 markings, 522611704 edges, 167720 markings/sec, 505 secs
lola: 111915247 markings, 527266034 edges, 169238 markings/sec, 510 secs
lola: 112756097 markings, 531890682 edges, 168170 markings/sec, 515 secs
lola: 113649493 markings, 536804843 edges, 178679 markings/sec, 520 secs
lola: 114506607 markings, 541519066 edges, 171423 markings/sec, 525 secs
lola: 115351178 markings, 546164664 edges, 168914 markings/sec, 530 secs
lola: 116174800 markings, 550694479 edges, 164724 markings/sec, 535 secs
lola: 117015206 markings, 555316946 edges, 168081 markings/sec, 540 secs
lola: 117826193 markings, 559777710 edges, 162197 markings/sec, 545 secs
lola: 118655069 markings, 564336853 edges, 165775 markings/sec, 550 secs
lola: 119481899 markings, 568884575 edges, 165366 markings/sec, 555 secs
lola: 120348878 markings, 573653137 edges, 173396 markings/sec, 560 secs
lola: 121228909 markings, 578493277 edges, 176006 markings/sec, 565 secs
lola: 122082677 markings, 583189522 edges, 170754 markings/sec, 570 secs
lola: 122947163 markings, 587944365 edges, 172897 markings/sec, 575 secs
lola: 123787815 markings, 592568303 edges, 168130 markings/sec, 580 secs
lola: 124616733 markings, 597127465 edges, 165784 markings/sec, 585 secs
lola: 125494550 markings, 601958625 edges, 175563 markings/sec, 590 secs
lola: 126344886 markings, 606635337 edges, 170067 markings/sec, 595 secs
lola: 127077184 markings, 610661003 edges, 146460 markings/sec, 600 secs
lola: 127963342 markings, 615535921 edges, 177232 markings/sec, 605 secs
lola: 128832733 markings, 620262270 edges, 173878 markings/sec, 610 secs
lola: 129523488 markings, 624063280 edges, 138151 markings/sec, 615 secs
lola: 130082424 markings, 627136797 edges, 111787 markings/sec, 620 secs
lola: 130674323 markings, 630391927 edges, 118380 markings/sec, 625 secs
lola: 131314100 markings, 633911468 edges, 127955 markings/sec, 630 secs
lola: 131979305 markings, 637569153 edges, 133041 markings/sec, 635 secs
lola: 132493572 markings, 640398360 edges, 102853 markings/sec, 640 secs
lola: 133026497 markings, 643328629 edges, 106585 markings/sec, 645 secs
lola: 133659707 markings, 646812791 edges, 126642 markings/sec, 650 secs
lola: 134238984 markings, 649998888 edges, 115855 markings/sec, 655 secs
lola: 134966640 markings, 654001056 edges, 145531 markings/sec, 660 secs
lola: 135737239 markings, 658238502 edges, 154120 markings/sec, 665 secs
lola: 136255290 markings, 661088450 edges, 103610 markings/sec, 670 secs
lola: 136806771 markings, 664120600 edges, 110296 markings/sec, 675 secs
lola: 137273601 markings, 666687781 edges, 93366 markings/sec, 680 secs
lola: 137866817 markings, 669950596 edges, 118643 markings/sec, 685 secs
lola: 138388816 markings, 672823234 edges, 104400 markings/sec, 690 secs
lola: 139090371 markings, 676681915 edges, 140311 markings/sec, 695 secs
lola: 139700527 markings, 680037531 edges, 122031 markings/sec, 700 secs
lola: 140221140 markings, 682900480 edges, 104123 markings/sec, 705 secs
lola: 140622013 markings, 685106081 edges, 80175 markings/sec, 710 secs
lola: 141178088 markings, 688163367 edges, 111215 markings/sec, 715 secs
lola: 141708394 markings, 691080246 edges, 106061 markings/sec, 720 secs
lola: 142187889 markings, 693718439 edges, 95899 markings/sec, 725 secs
lola: 142657838 markings, 696302641 edges, 93990 markings/sec, 730 secs
lola: 143200573 markings, 699287800 edges, 108547 markings/sec, 735 secs
lola: 143732119 markings, 702210466 edges, 106309 markings/sec, 740 secs
lola: 144328208 markings, 705489699 edges, 119218 markings/sec, 745 secs
lola: 144841435 markings, 708311759 edges, 102645 markings/sec, 750 secs
lola: 145465162 markings, 711743826 edges, 124745 markings/sec, 755 secs
lola: 145982470 markings, 714589070 edges, 103462 markings/sec, 760 secs
lola: 146416011 markings, 716973511 edges, 86708 markings/sec, 765 secs
lola: 146849892 markings, 719358628 edges, 86776 markings/sec, 770 secs
lola: 147225364 markings, 721423896 edges, 75094 markings/sec, 775 secs
lola: 147623831 markings, 723616691 edges, 79693 markings/sec, 780 secs
lola: 148057088 markings, 725998313 edges, 86651 markings/sec, 785 secs
lola: 148723960 markings, 729666609 edges, 133374 markings/sec, 790 secs
lola: 149069117 markings, 731565267 edges, 69031 markings/sec, 795 secs
lola: 149615676 markings, 734571210 edges, 109312 markings/sec, 800 secs
lola: 150057820 markings, 737003086 edges, 88429 markings/sec, 805 secs
lola: 150592351 markings, 739942471 edges, 106906 markings/sec, 810 secs
lola: 151168328 markings, 743111221 edges, 115195 markings/sec, 815 secs
lola: 151798658 markings, 746577625 edges, 126066 markings/sec, 820 secs
lola: 152191556 markings, 748739540 edges, 78580 markings/sec, 825 secs
lola: 152621847 markings, 751105735 edges, 86058 markings/sec, 830 secs
lola: 153097940 markings, 753724156 edges, 95219 markings/sec, 835 secs
lola: 153600618 markings, 756488286 edges, 100536 markings/sec, 840 secs
lola: 154013283 markings, 758759190 edges, 82533 markings/sec, 845 secs
lola: 154693635 markings, 762502425 edges, 136070 markings/sec, 850 secs
lola: 155205824 markings, 765318578 edges, 102438 markings/sec, 855 secs
lola: 155835935 markings, 768783594 edges, 126022 markings/sec, 860 secs
lola: 156202197 markings, 770798506 edges, 73252 markings/sec, 865 secs
lola: 156391771 markings, 771841338 edges, 37915 markings/sec, 870 secs
lola: 156496007 markings, 772413286 edges, 20847 markings/sec, 875 secs
lola: 156496042 markings, 772413487 edges, 7 markings/sec, 880 secs
lola: 156601332 markings, 772993545 edges, 21058 markings/sec, 885 secs
lola: 156864445 markings, 774441033 edges, 52623 markings/sec, 890 secs
lola: 157074611 markings, 775596273 edges, 42033 markings/sec, 895 secs
lola: 157510720 markings, 777994355 edges, 87222 markings/sec, 900 secs
lola: 157615990 markings, 778574134 edges, 21054 markings/sec, 905 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown no no yes yes no no no unknown yes no no
lola:
preliminary result: unknown no no yes yes no no no unknown yes no no
lola: memory consumption: 3144 KB
lola: time consumption: 2716 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

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

Sequence of Actions to be Executed by the VM

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

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

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