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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15797.910 3600000.00 3511883.00 85252.20 T???FF???TFTTFTF 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-158987806400236.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-N0500P0, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806400236
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 15:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 26 07:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 26 07:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.1K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1591244384413

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 04:19:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 04:19:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 04:19:46] [INFO ] Load time of PNML (sax parser for PT used): 33 ms
[2020-06-04 04:19:46] [INFO ] Transformed 25 places.
[2020-06-04 04:19:46] [INFO ] Transformed 18 transitions.
[2020-06-04 04:19:46] [INFO ] Parsed PT model containing 25 places and 18 transitions in 86 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 21 ms.
Incomplete random walk after 100093 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=1163 ) properties seen :[1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1]
// Phase 1: matrix 18 rows 25 cols
[2020-06-04 04:19:46] [INFO ] Computed 8 place invariants in 4 ms
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using 5 positive place invariants in 19 ms returned sat
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 2 ms returned sat
[2020-06-04 04:19:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using state equation in 23 ms returned sat
[2020-06-04 04:19:47] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 18 ms.
[2020-06-04 04:19:47] [INFO ] Added : 7 causal constraints over 2 iterations in 48 ms. Result :sat
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using 5 positive place invariants in 5 ms returned sat
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 2 ms returned sat
[2020-06-04 04:19:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using state equation in 19 ms returned sat
[2020-06-04 04:19:47] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 3 ms.
[2020-06-04 04:19:47] [INFO ] Added : 3 causal constraints over 1 iterations in 11 ms. Result :sat
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using 5 positive place invariants in 10 ms returned sat
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 12 ms returned sat
[2020-06-04 04:19:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using state equation in 25 ms returned sat
[2020-06-04 04:19:47] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 3 ms.
[2020-06-04 04:19:47] [INFO ] Added : 14 causal constraints over 3 iterations in 26 ms. Result :sat
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using 5 positive place invariants in 6 ms returned sat
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 1 ms returned sat
[2020-06-04 04:19:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using state equation in 14 ms returned sat
[2020-06-04 04:19:47] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 3 ms.
[2020-06-04 04:19:47] [INFO ] Added : 6 causal constraints over 2 iterations in 14 ms. Result :sat
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using 5 positive place invariants in 4 ms returned sat
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 1 ms returned sat
[2020-06-04 04:19:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using state equation in 28 ms returned sat
[2020-06-04 04:19:47] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 3 ms.
[2020-06-04 04:19:47] [INFO ] Added : 8 causal constraints over 2 iterations in 18 ms. Result :sat
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using 5 positive place invariants in 7 ms returned sat
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 3 ms returned sat
[2020-06-04 04:19:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 04:19:47] [INFO ] [Real]Absence check using state equation in 25 ms returned sat
[2020-06-04 04:19:47] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 3 ms.
[2020-06-04 04:19:47] [INFO ] Added : 13 causal constraints over 3 iterations in 26 ms. Result :sat
[2020-06-04 04:19:47] [INFO ] Flatten gal took : 33 ms
[2020-06-04 04:19:47] [INFO ] Flatten gal took : 10 ms
[2020-06-04 04:19:47] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 4 ms.
[2020-06-04 04:19:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 2 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ ClientsAndServers-PT-N0500P0 @ 3570 seconds

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

FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for CTLFireability @ ClientsAndServers-PT-N0500P0

{
"exit":
{
"memory": 12012508,
"runtime": 3571.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"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": "E (G ((p9 <= 0)))",
"processed_size": 17,
"rewrites": 33
},
"result":
{
"preliminary_value": "yes unknown unknown unknown no no unknown unknown unknown yes no yes yes no yes no "
},
"task":
{
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "possible_preservation",
"workflow": "stateequation"
}
}
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 CTLFireability.xml
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: E (G ((A (G (((p8 <= 0) OR (p15 <= 0)))) OR E (G ((p20 <= 0)))))) : NOT(E ((E (F ((1 <= p22))) U A (G (((1 <= p4) AND (1 <= p21))))))) : (E ((((1 <= p12) AND (1 <= p7) AND (1 <= p23)) U (((1 <= p5) AND (1 <= p15) AND (1 <= p22)) OR (p16 <= 0)))) AND A (F (((1 <= p4) AND (1 <= p21))))) : E ((E (G (((p7 <= 0) OR (p23 <= 0)))) U (A (F ((1 <= p24))) AND E (G (((1 <= p3))))))) : A (G (A (X (A (F (((1 <= p1) AND (1 <= p19)))))))) : A (F (((1 <= p2)))) : (E (G (((1 <= p8) AND (1 <= p15) AND (1 <= p20)))) OR ((E (G ((p9 <= 0))) AND E (X (E (F (((1 <= p3))))))) AND ((p4 <= 0) OR (p21 <= 0)))) : A (G (E (F (((1 <= p2)))))) : A (F ((((A (F (((1 <= p1) AND (1 <= p19)))) OR ((1 <= p7) AND (1 <= p23))) OR ((p16 <= 0) AND (1 <= p6) AND (1 <= p2))) OR ((1 <= p0) AND (1 <= p13) AND (1 <= p24) AND ((1 <= p16) OR (1 <= p9)))))) : E (F (((1 <= p1) AND (1 <= p19) AND ((1 <= p6) OR ((1 <= p2)))))) : (((p16 <= 0) AND NOT(A (F (((1 <= p3) AND (1 <= p18)))))) AND NOT(A (F ((1 <= p22))))) : E (F ((NOT(E (F (((1 <= p7) AND (1 <= p23))))) AND A (X (((1 <= p12) OR ((1 <= p2)))))))) : NOT(A ((A (F ((1 <= p24))) U E (X ((1 <= p18)))))) : A (F ((((E (F (((1 <= p0) AND (1 <= p13)))) AND (1 <= p9)) OR ((1 <= p6) AND ((p3 <= 0)))) OR ((1 <= p22) AND (1 <= p24))))) : E (F (((1 <= p9) AND (1 <= p12) AND ((p1 <= 0) OR (p19 <= 0)) AND ((p0 <= 0) OR (p13 <= 0))))) : E (X (A (F ((1 <= p10)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G (A (F (((1 <= p1) AND (1 <= p19))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX(AG(AF(((1 <= p1) AND (1 <= p19)))))
lola: processed formula length: 38
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 25000 markings, 25000 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (((1 <= p8) AND (1 <= p15) AND (1 <= p20)))) OR (E (G ((p9 <= 0))) AND (E (X (E (F (((1 <= p3)))))) AND ((p4 <= 0) OR (p21 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p4 <= 0) OR (p21 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p4 <= 0) OR (p21 <= 0))
lola: processed formula length: 26
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((p9 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((p9 <= 0)))
lola: processed formula length: 17
lola: 33 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p9)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-2-0.sara.

lola: state equation 0: solution produced
lola: 4894142 markings, 5834790 edges, 978828 markings/sec, 0 secs || sara is running 0 secs
lola: 9463399 markings, 11308594 edges, 913851 markings/sec, 5 secs || sara is running 5 secs
lola: 13855519 markings, 16574943 edges, 878424 markings/sec, 10 secs || sara is running 10 secs
lola: 18138688 markings, 21713866 edges, 856634 markings/sec, 15 secs || sara is running 15 secs
lola: 22311133 markings, 26722169 edges, 834489 markings/sec, 20 secs || sara is running 20 secs
lola: 26458668 markings, 31701091 edges, 829507 markings/sec, 25 secs || sara is running 25 secs
lola: 30564329 markings, 36631864 edges, 821132 markings/sec, 30 secs || sara is running 30 secs
lola: 34614733 markings, 41496816 edges, 810081 markings/sec, 35 secs || sara is running 35 secs
lola: 38614763 markings, 46303298 edges, 800006 markings/sec, 40 secs || sara is running 40 secs
lola: 42604360 markings, 51097969 edges, 797919 markings/sec, 45 secs || sara is running 45 secs
lola: 46552604 markings, 55842952 edges, 789649 markings/sec, 50 secs || sara is running 50 secs
lola: 50526320 markings, 60618696 edges, 794743 markings/sec, 55 secs || sara is running 55 secs
lola: 54078900 markings, 64890495 edges, 710516 markings/sec, 60 secs || sara is running 60 secs
lola: 58014800 markings, 69621263 edges, 787180 markings/sec, 65 secs || sara is running 65 secs
lola: 61896287 markings, 74289303 edges, 776297 markings/sec, 70 secs || sara is running 70 secs
lola: 65569900 markings, 78707390 edges, 734723 markings/sec, 75 secs || sara is running 75 secs
lola: 69166459 markings, 83032711 edges, 719312 markings/sec, 80 secs || sara is running 80 secs
lola: 72881661 markings, 87501281 edges, 743040 markings/sec, 85 secs || sara is running 85 secs
lola: 76710577 markings, 92107246 edges, 765783 markings/sec, 90 secs || sara is running 90 secs
lola: 80418014 markings, 96567804 edges, 741487 markings/sec, 95 secs || sara is running 95 secs
lola: 84061323 markings, 100952142 edges, 728662 markings/sec, 100 secs || sara is running 100 secs
lola: 87720774 markings, 105354577 edges, 731890 markings/sec, 105 secs || sara is running 105 secs
lola: 91434820 markings, 109825771 edges, 742809 markings/sec, 110 secs || sara is running 110 secs
lola: 95198857 markings, 114354045 edges, 752807 markings/sec, 115 secs || sara is running 115 secs
lola: 98914724 markings, 118828008 edges, 743173 markings/sec, 120 secs || sara is running 120 secs
lola: 102748562 markings, 123441095 edges, 766768 markings/sec, 125 secs || sara is running 125 secs
lola: 106563046 markings, 128033934 edges, 762897 markings/sec, 130 secs || sara is running 130 secs
lola: 110350769 markings, 132593315 edges, 757545 markings/sec, 135 secs || sara is running 135 secs
lola: 114083864 markings, 137087169 edges, 746619 markings/sec, 140 secs || sara is running 140 secs
lola: 117792637 markings, 141553015 edges, 741755 markings/sec, 145 secs || sara is running 145 secs
lola: 121505010 markings, 146023931 edges, 742475 markings/sec, 150 secs || sara is running 150 secs
lola: 125212816 markings, 150489734 edges, 741561 markings/sec, 155 secs || sara is running 155 secs
lola: 128951819 markings, 154991282 edges, 747801 markings/sec, 160 secs || sara is running 160 secs
lola: 132660328 markings, 159457109 edges, 741702 markings/sec, 165 secs || sara is running 165 secs
lola: 136293225 markings, 163832556 edges, 726579 markings/sec, 170 secs || sara is running 170 secs
lola: 139873194 markings, 168144844 edges, 715994 markings/sec, 175 secs || sara is running 175 secs
lola: 143431174 markings, 172432599 edges, 711596 markings/sec, 180 secs || sara is running 180 secs
lola: 147030578 markings, 176767625 edges, 719881 markings/sec, 185 secs || sara is running 185 secs
lola: 150609419 markings, 181078070 edges, 715768 markings/sec, 190 secs || sara is running 190 secs
lola: 154203576 markings, 185407206 edges, 718831 markings/sec, 195 secs || sara is running 195 secs
lola: 157795688 markings, 189734465 edges, 718422 markings/sec, 200 secs || sara is running 200 secs
lola: 161421364 markings, 194102949 edges, 725135 markings/sec, 205 secs || sara is running 205 secs
lola: 164965977 markings, 198375347 edges, 708923 markings/sec, 210 secs || sara is running 210 secs
lola: 168551244 markings, 202695450 edges, 717053 markings/sec, 215 secs || sara is running 215 secs
lola: 172157475 markings, 207039626 edges, 721246 markings/sec, 220 secs || sara is running 220 secs
lola: 175716812 markings, 211328969 edges, 711867 markings/sec, 225 secs || sara is running 225 secs
lola: 179196205 markings, 215524380 edges, 695879 markings/sec, 230 secs || sara is running 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6958228 KB
lola: time consumption: 241 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6958228 KB
lola: time consumption: 241 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (G (((p7 <= 0) OR (p23 <= 0)))) AND A (X (((1 <= p12) OR ((1 <= p2))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((AG(((p7 <= 0) OR (p23 <= 0))) AND AX(((1 <= p12) OR ((1 <= p2))))))
lola: processed formula length: 73
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 25009 markings, 73009 edges
lola: ========================================
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (G ((p24 <= 0))) R A (X ((p18 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: processed formula: E(EG((p24 <= 0)) R AX((p18 <= 0)))
lola: processed formula length: 34
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 25001 markings, 29001 edges
lola: ========================================
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (F ((1 <= p10)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(AF((1 <= p10)))
lola: processed formula length: 18
lola: 34 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 25000 markings, 24999 edges
lola: ========================================
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p1) AND (1 <= p19) AND ((1 <= p6) OR ((1 <= p2))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p1) AND (1 <= p19) AND ((1 <= p6) OR ((1 <= p2))))))
lola: processed formula length: 66
lola: 33 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p1) AND (1 <= p19) AND ((1 <= p6) OR ((1 <= p2))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 27 markings, 26 edges
lola: ========================================
lola: subprocess 6 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p9) AND (1 <= p12) AND ((p1 <= 0) OR (p19 <= 0)) AND ((p0 <= 0) OR (p13 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p9) AND (1 <= p12) AND ((p1 <= 0) OR (p19 <= 0)) AND ((p0 <= 0) OR (p13 <= 0)))))
lola: processed formula length: 96
lola: 33 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p9) AND (1 <= p12) AND ((p1 <= 0) OR (p19 <= 0)) AND ((p0 <= 0) OR (p13 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 16 literals and 4 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 20 markings, 19 edges
lola: ========================================
lola: subprocess 7 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (((1 <= p2))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: ((1 <= p2))
lola: processed formula length: 11
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p2 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p2))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-7-0.sara
lola: state equation: calling and running sara
lola: state equation: write sara problem file to CTLFireability-7-1.sara
sara: try reading problem file CTLFireability-7-0.sara.
lola: state equation: calling and running sara

sara: try reading problem file CTLFireability-7-1.sara.

lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 4506042 markings, 5250186 edges, 901208 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 7822986 markings, 11573347 edges, 663389 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 10817902 markings, 17479905 edges, 598983 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 13854511 markings, 23340233 edges, 607322 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 16852781 markings, 29107111 edges, 599654 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 19835145 markings, 34816686 edges, 596473 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 22798547 markings, 40457565 edges, 592680 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 25720246 markings, 46049159 edges, 584340 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 28687248 markings, 51700972 edges, 593400 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 31647839 markings, 57345967 edges, 592118 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 34561036 markings, 62906151 edges, 582639 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 37482282 markings, 68476792 edges, 584249 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 40313908 markings, 73901850 edges, 566325 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 43163939 markings, 79306755 edges, 570006 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 46052042 markings, 84787864 edges, 577621 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 48887077 markings, 90137005 edges, 567007 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 51710288 markings, 95481632 edges, 564642 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 54471406 markings, 100756359 edges, 552224 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 57245700 markings, 105996605 edges, 554859 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 60074196 markings, 111308581 edges, 565699 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 62907538 markings, 116711847 edges, 566668 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 65760535 markings, 122096742 edges, 570599 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 68579008 markings, 127373764 edges, 563695 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 71319930 markings, 132590211 edges, 548184 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 74098235 markings, 137787050 edges, 555661 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 76694032 markings, 142711224 edges, 519159 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 79394964 markings, 147735252 edges, 540186 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 82036896 markings, 152756973 edges, 528386 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 84775339 markings, 157854483 edges, 547689 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 87462328 markings, 162943738 edges, 537398 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 90179240 markings, 167992537 edges, 543382 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 92835316 markings, 173016004 edges, 531215 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 95559082 markings, 178113162 edges, 544753 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 98284898 markings, 183192121 edges, 545163 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 100925642 markings, 188175681 edges, 528149 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 103602625 markings, 193151385 edges, 535397 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 106254025 markings, 198103342 edges, 530280 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 108803200 markings, 202904503 edges, 509835 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 111338649 markings, 207652059 edges, 507090 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 113955274 markings, 212483560 edges, 523325 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 116530598 markings, 217272153 edges, 515065 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 119065873 markings, 222045664 edges, 507055 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 121560419 markings, 226701099 edges, 498909 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 124083546 markings, 231409300 edges, 504625 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 126553929 markings, 236014422 edges, 494077 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 129038893 markings, 240608101 edges, 496993 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 131565833 markings, 245291429 edges, 505388 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 134164724 markings, 250109740 edges, 519778 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 136707993 markings, 254837858 edges, 508654 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 139262278 markings, 259614309 edges, 510857 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 141851542 markings, 264428781 edges, 517853 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 144427607 markings, 269221425 edges, 515213 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 146990890 markings, 273979093 edges, 512657 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 149562042 markings, 278714307 edges, 514230 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 152170839 markings, 283530436 edges, 521759 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 154644624 markings, 288111567 edges, 494757 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 156954860 markings, 292404777 edges, 462047 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 159240136 markings, 296655782 edges, 457055 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 160817647 markings, 299533427 edges, 315502 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 162301087 markings, 302263420 edges, 296688 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 163679943 markings, 304808489 edges, 275771 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 165740826 markings, 308646296 edges, 412177 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 167525089 markings, 311926383 edges, 356853 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 169448945 markings, 315509627 edges, 384771 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 171034288 markings, 318389566 edges, 317069 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 172837684 markings, 321767621 edges, 360679 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 174319323 markings, 324520569 edges, 296328 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 175845968 markings, 327310951 edges, 305329 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 177887434 markings, 331072234 edges, 408293 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 179664192 markings, 334355848 edges, 355352 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 181589281 markings, 337896764 edges, 385018 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 183107938 markings, 340717454 edges, 303731 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 184730890 markings, 343713991 edges, 324590 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no unknown unknown unknown unknown yes unknown yes yes unknown yes no
lola: memory consumption: 16072240 KB
lola: time consumption: 611 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p2))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p2 <= 0))
lola: processed formula length: 11
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p2))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-8-0.sara.

lola: state equation 0: solution produced
lola: 4942702 markings, 5478346 edges, 988540 markings/sec, 0 secs || sara is running 0 secs
lola: 9943655 markings, 11012514 edges, 1000191 markings/sec, 5 secs || sara is running 5 secs
lola: 14952036 markings, 16640092 edges, 1001676 markings/sec, 10 secs || sara is running 10 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 19000009 markings, 21496509 edges
lola: ========================================
lola: subprocess 9 will run for 419 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((A (G ((p22 <= 0))) R E (F (((p4 <= 0) OR (p21 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: processed formula: A(AG((p22 <= 0)) R EF(((p4 <= 0) OR (p21 <= 0))))
lola: processed formula length: 50
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1312194 markings, 6710686 edges, 262439 markings/sec, 0 secs
lola: 2431503 markings, 13312897 edges, 223862 markings/sec, 5 secs
lola: 3517742 markings, 19596864 edges, 217248 markings/sec, 10 secs
lola: 4486915 markings, 25517792 edges, 193835 markings/sec, 15 secs
lola: 5473552 markings, 31683834 edges, 197327 markings/sec, 20 secs
lola: 6479538 markings, 37884426 edges, 201197 markings/sec, 25 secs
lola: 7461711 markings, 43985763 edges, 196435 markings/sec, 30 secs
lola: 8505564 markings, 50187301 edges, 208771 markings/sec, 35 secs
lola: 9456244 markings, 56232434 edges, 190136 markings/sec, 40 secs
lola: 10430592 markings, 62174307 edges, 194870 markings/sec, 45 secs
lola: 11452306 markings, 68546301 edges, 204343 markings/sec, 50 secs
lola: 12464634 markings, 74651614 edges, 202466 markings/sec, 55 secs
lola: 13501820 markings, 81038940 edges, 207437 markings/sec, 60 secs
lola: 14512177 markings, 87131340 edges, 202071 markings/sec, 65 secs
lola: 15444901 markings, 93229558 edges, 186545 markings/sec, 70 secs
lola: 16377272 markings, 99342671 edges, 186474 markings/sec, 75 secs
lola: 17364672 markings, 105303647 edges, 197480 markings/sec, 80 secs
lola: 18320347 markings, 111109954 edges, 191135 markings/sec, 85 secs
lola: 19237162 markings, 116804872 edges, 183363 markings/sec, 90 secs
lola: 20117719 markings, 122486362 edges, 176111 markings/sec, 95 secs
lola: 21009270 markings, 128196136 edges, 178310 markings/sec, 100 secs
lola: 22014364 markings, 134349414 edges, 201019 markings/sec, 105 secs
lola: 22917601 markings, 140250449 edges, 180647 markings/sec, 110 secs
lola: 23854727 markings, 146121512 edges, 187425 markings/sec, 115 secs
lola: 24830873 markings, 152211449 edges, 195229 markings/sec, 120 secs
lola: 25718496 markings, 157823386 edges, 177525 markings/sec, 125 secs
lola: 26652402 markings, 163774867 edges, 186781 markings/sec, 130 secs
lola: 27594254 markings, 169744790 edges, 188370 markings/sec, 135 secs
lola: 28561095 markings, 175852321 edges, 193368 markings/sec, 140 secs
lola: 29488251 markings, 181577797 edges, 185431 markings/sec, 145 secs
lola: 30353134 markings, 187215014 edges, 172977 markings/sec, 150 secs
lola: 31249169 markings, 193028945 edges, 179207 markings/sec, 155 secs
lola: 32223095 markings, 199000604 edges, 194785 markings/sec, 160 secs
lola: 33129008 markings, 205010733 edges, 181183 markings/sec, 165 secs
lola: 34034804 markings, 210712548 edges, 181159 markings/sec, 170 secs
lola: 34937457 markings, 216420841 edges, 180531 markings/sec, 175 secs
lola: 35780622 markings, 222132813 edges, 168633 markings/sec, 180 secs
lola: 36698011 markings, 228023498 edges, 183478 markings/sec, 185 secs
lola: 37589212 markings, 233731899 edges, 178240 markings/sec, 190 secs
lola: 38469234 markings, 239483484 edges, 176004 markings/sec, 195 secs
lola: 39350866 markings, 245236402 edges, 176326 markings/sec, 200 secs
lola: 40241396 markings, 250958482 edges, 178106 markings/sec, 205 secs
lola: 41110396 markings, 256429787 edges, 173800 markings/sec, 210 secs
lola: 41965865 markings, 261834947 edges, 171094 markings/sec, 215 secs
lola: 42862177 markings, 267481834 edges, 179262 markings/sec, 220 secs
lola: 43772777 markings, 273171977 edges, 182120 markings/sec, 225 secs
lola: 44661168 markings, 278864250 edges, 177678 markings/sec, 230 secs
lola: 45476639 markings, 284423031 edges, 163094 markings/sec, 235 secs
lola: 46372126 markings, 290190720 edges, 179097 markings/sec, 240 secs
lola: 47223512 markings, 295734929 edges, 170277 markings/sec, 245 secs
lola: 48099759 markings, 301321018 edges, 175249 markings/sec, 250 secs
lola: 48983923 markings, 307018905 edges, 176833 markings/sec, 255 secs
lola: 49855373 markings, 312573698 edges, 174290 markings/sec, 260 secs
lola: 50720114 markings, 318235953 edges, 172948 markings/sec, 265 secs
lola: 51541047 markings, 323751790 edges, 164187 markings/sec, 270 secs
lola: 52406236 markings, 329527412 edges, 173038 markings/sec, 275 secs
lola: 53350303 markings, 335580352 edges, 188813 markings/sec, 280 secs
lola: 54129425 markings, 340783141 edges, 155824 markings/sec, 285 secs
lola: 54960603 markings, 346228274 edges, 166236 markings/sec, 290 secs
lola: 55787128 markings, 351660348 edges, 165305 markings/sec, 295 secs
lola: 56585134 markings, 356967613 edges, 159601 markings/sec, 300 secs
lola: 57493225 markings, 362644643 edges, 181618 markings/sec, 305 secs
lola: 58312307 markings, 368095169 edges, 163816 markings/sec, 310 secs
lola: 59181294 markings, 373731950 edges, 173797 markings/sec, 315 secs
lola: 60006799 markings, 379211555 edges, 165101 markings/sec, 320 secs
lola: 60788124 markings, 384493534 edges, 156265 markings/sec, 325 secs
lola: 61690856 markings, 390025671 edges, 180546 markings/sec, 330 secs
lola: 62532610 markings, 395504768 edges, 168351 markings/sec, 335 secs
lola: 63370333 markings, 400979579 edges, 167545 markings/sec, 340 secs
lola: 64167812 markings, 406325390 edges, 159496 markings/sec, 345 secs
lola: 65059147 markings, 411962132 edges, 178267 markings/sec, 350 secs
lola: 65842555 markings, 417272026 edges, 156682 markings/sec, 355 secs
lola: 66642074 markings, 422590302 edges, 159904 markings/sec, 360 secs
lola: 67454929 markings, 427846762 edges, 162571 markings/sec, 365 secs
lola: 68304976 markings, 433321720 edges, 170009 markings/sec, 370 secs
lola: 69108204 markings, 438585832 edges, 160646 markings/sec, 375 secs
lola: 69945187 markings, 443991059 edges, 167397 markings/sec, 380 secs
lola: 70780775 markings, 449532671 edges, 167118 markings/sec, 385 secs
lola: 71525789 markings, 454723242 edges, 149003 markings/sec, 390 secs
lola: 72320023 markings, 460260010 edges, 158847 markings/sec, 395 secs
lola: 73174668 markings, 465739573 edges, 170929 markings/sec, 400 secs
lola: 73947539 markings, 470931908 edges, 154574 markings/sec, 405 secs
lola: 74802020 markings, 476377522 edges, 170896 markings/sec, 410 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no no unknown unknown unknown yes unknown yes yes unknown yes no
lola: memory consumption: 9844820 KB
lola: time consumption: 1050 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 420 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((A (G (((p8 <= 0) OR (p15 <= 0)))) OR E (G ((p20 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG((AG(((p8 <= 0) OR (p15 <= 0))) OR EG((p20 <= 0))))
lola: processed formula length: 54
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 25001 markings, 113001 edges
lola: ========================================
lola: subprocess 11 will run for 504 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((E (F (((1 <= p0) AND (1 <= p13)))) AND (1 <= p9)) OR (((1 <= p6) AND ((p3 <= 0))) OR ((1 <= p22) AND (1 <= p24))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF(((EF(((1 <= p0) AND (1 <= p13))) AND (1 <= p9)) OR (((1 <= p6) AND ((p3 <= 0))) OR ((1 <= p22) AND (1 <= p24)))))
lola: processed formula length: 116
lola: 34 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 25005 markings, 72006 edges
lola: ========================================
lola: subprocess 12 will run for 630 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (G (((p7 <= 0) OR (p23 <= 0)))) U (A (F ((1 <= p24))) AND E (G (((1 <= p3)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(EG(((p7 <= 0) OR (p23 <= 0))) U (AF((1 <= p24)) AND EG(((1 <= p3)))))
lola: processed formula length: 72
lola: 36 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 4 significant temporal operators and needs 17 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2674159 markings, 4834641 edges, 534832 markings/sec, 0 secs
lola: 5190448 markings, 9863858 edges, 503258 markings/sec, 5 secs
lola: 7710831 markings, 14903060 edges, 504077 markings/sec, 10 secs
lola: 10251205 markings, 19980543 edges, 508075 markings/sec, 15 secs
lola: 12807745 markings, 25092046 edges, 511308 markings/sec, 20 secs
lola: 15414865 markings, 30303145 edges, 521424 markings/sec, 25 secs
lola: 18017589 markings, 35505411 edges, 520545 markings/sec, 30 secs
lola: 20622849 markings, 40714425 edges, 521052 markings/sec, 35 secs
lola: 23076939 markings, 45619425 edges, 490818 markings/sec, 40 secs
lola: 25368398 markings, 50200623 edges, 458292 markings/sec, 45 secs
lola: 27700542 markings, 54861666 edges, 466429 markings/sec, 50 secs
lola: 30017119 markings, 59493166 edges, 463315 markings/sec, 55 secs
lola: 32335398 markings, 64126477 edges, 463656 markings/sec, 60 secs
lola: 34660246 markings, 68774564 edges, 464970 markings/sec, 65 secs
lola: 37029359 markings, 73509614 edges, 473823 markings/sec, 70 secs
lola: 39320993 markings, 78091267 edges, 458327 markings/sec, 75 secs
lola: 41610348 markings, 82666774 edges, 457871 markings/sec, 80 secs
lola: 43760798 markings, 86966006 edges, 430090 markings/sec, 85 secs
lola: 45924240 markings, 91289453 edges, 432688 markings/sec, 90 secs
lola: 48162905 markings, 95765370 edges, 447733 markings/sec, 95 secs
lola: 50493436 markings, 100423207 edges, 466106 markings/sec, 100 secs
lola: 52837189 markings, 105109329 edges, 468751 markings/sec, 105 secs
lola: 55143300 markings, 109718441 edges, 461222 markings/sec, 110 secs
lola: 57434720 markings, 114299774 edges, 458284 markings/sec, 115 secs
lola: 59763399 markings, 118954118 edges, 465736 markings/sec, 120 secs
lola: 62100890 markings, 123626023 edges, 467498 markings/sec, 125 secs
lola: 64430994 markings, 128284835 edges, 466021 markings/sec, 130 secs
lola: 66794351 markings, 133008609 edges, 472671 markings/sec, 135 secs
lola: 69141129 markings, 137699191 edges, 469356 markings/sec, 140 secs
lola: 71491866 markings, 142397578 edges, 470147 markings/sec, 145 secs
lola: 73897137 markings, 147206951 edges, 481054 markings/sec, 150 secs
lola: 76348385 markings, 152106642 edges, 490250 markings/sec, 155 secs
lola: 78832316 markings, 157071732 edges, 496786 markings/sec, 160 secs
lola: 81220344 markings, 161844971 edges, 477606 markings/sec, 165 secs
lola: 83594710 markings, 166590884 edges, 474873 markings/sec, 170 secs
lola: 85984438 markings, 171367545 edges, 477946 markings/sec, 175 secs
lola: 88320354 markings, 176036527 edges, 467183 markings/sec, 180 secs
lola: 90685022 markings, 180763032 edges, 472934 markings/sec, 185 secs
lola: 93069818 markings, 185529800 edges, 476959 markings/sec, 190 secs
lola: 95457583 markings, 190304331 edges, 477553 markings/sec, 195 secs
lola: 97838190 markings, 195062860 edges, 476121 markings/sec, 200 secs
lola: 100243110 markings, 199870044 edges, 480984 markings/sec, 205 secs
lola: 102664567 markings, 204708750 edges, 484291 markings/sec, 210 secs
lola: 105109073 markings, 209595282 edges, 488901 markings/sec, 215 secs
lola: 107498588 markings, 214371746 edges, 477903 markings/sec, 220 secs
lola: 109906202 markings, 219184441 edges, 481523 markings/sec, 225 secs
lola: 112324831 markings, 224019181 edges, 483726 markings/sec, 230 secs
lola: 114758511 markings, 228884043 edges, 486736 markings/sec, 235 secs
lola: 117222116 markings, 233808774 edges, 492721 markings/sec, 240 secs
lola: 119664393 markings, 238689442 edges, 488455 markings/sec, 245 secs
lola: 122125366 markings, 243609025 edges, 492195 markings/sec, 250 secs
lola: 124602623 markings, 248561148 edges, 495451 markings/sec, 255 secs
lola: 127129588 markings, 253611360 edges, 505393 markings/sec, 260 secs
lola: 129635850 markings, 258621592 edges, 501252 markings/sec, 265 secs
lola: 132023861 markings, 263393760 edges, 477602 markings/sec, 270 secs
lola: 134421266 markings, 268186332 edges, 479481 markings/sec, 275 secs
lola: 136802123 markings, 272945713 edges, 476171 markings/sec, 280 secs
lola: 139187083 markings, 277711914 edges, 476992 markings/sec, 285 secs
lola: 141554472 markings, 282444457 edges, 473478 markings/sec, 290 secs
lola: 143882343 markings, 287097880 edges, 465574 markings/sec, 295 secs
lola: 146235529 markings, 291800650 edges, 470637 markings/sec, 300 secs
lola: 148594358 markings, 296516087 edges, 471766 markings/sec, 305 secs
lola: 151006090 markings, 301336050 edges, 482346 markings/sec, 310 secs
lola: 153369528 markings, 306060744 edges, 472688 markings/sec, 315 secs
lola: 155751886 markings, 310822016 edges, 476472 markings/sec, 320 secs
lola: 158110246 markings, 315535194 edges, 471672 markings/sec, 325 secs
lola: 160499711 markings, 320312141 edges, 477893 markings/sec, 330 secs
lola: 162942473 markings, 325194353 edges, 488552 markings/sec, 335 secs
lola: 165400497 markings, 330107120 edges, 491605 markings/sec, 340 secs
lola: 167881995 markings, 335066889 edges, 496300 markings/sec, 345 secs
lola: 170374987 markings, 340049697 edges, 498598 markings/sec, 350 secs
lola: 172881379 markings, 345059365 edges, 501278 markings/sec, 355 secs
lola: 175276296 markings, 349845997 edges, 478983 markings/sec, 360 secs
lola: 177667454 markings, 354625140 edges, 478232 markings/sec, 365 secs
lola: 180086793 markings, 359460741 edges, 483868 markings/sec, 370 secs
lola: 182525178 markings, 364334508 edges, 487677 markings/sec, 375 secs
lola: 184946715 markings, 369174595 edges, 484307 markings/sec, 380 secs
lola: 187381072 markings, 374040361 edges, 486871 markings/sec, 385 secs
lola: 189840750 markings, 378956811 edges, 491936 markings/sec, 390 secs
lola: 192326776 markings, 383924716 edges, 497205 markings/sec, 395 secs
lola: 194746628 markings, 388761635 edges, 483970 markings/sec, 400 secs
lola: 197163153 markings, 393591870 edges, 483305 markings/sec, 405 secs
lola: 199607121 markings, 398475789 edges, 488794 markings/sec, 410 secs
lola: 202022554 markings, 403303973 edges, 483087 markings/sec, 415 secs
lola: 204471721 markings, 408198385 edges, 489833 markings/sec, 420 secs
lola: 206952770 markings, 413157938 edges, 496210 markings/sec, 425 secs
lola: 209430773 markings, 418110216 edges, 495601 markings/sec, 430 secs
lola: 211779360 markings, 422803501 edges, 469717 markings/sec, 435 secs
lola: 213978413 markings, 427199702 edges, 439811 markings/sec, 440 secs
lola: 215863631 markings, 430966389 edges, 377044 markings/sec, 445 secs
lola: 216679533 markings, 432597845 edges, 163180 markings/sec, 450 secs
lola: 218842936 markings, 436920754 edges, 432681 markings/sec, 455 secs
lola: 220340448 markings, 439913723 edges, 299502 markings/sec, 460 secs
lola: 221795882 markings, 442822486 edges, 291087 markings/sec, 465 secs
lola: 223345377 markings, 445919549 edges, 309899 markings/sec, 470 secs
lola: 224968686 markings, 449164284 edges, 324662 markings/sec, 475 secs
lola: 226734450 markings, 452692939 edges, 353153 markings/sec, 480 secs
lola: 228569993 markings, 456361249 edges, 367109 markings/sec, 485 secs
lola: 230582949 markings, 460384612 edges, 402591 markings/sec, 490 secs
lola: 232746139 markings, 464707496 edges, 432638 markings/sec, 495 secs
lola: 234684363 markings, 468581401 edges, 387645 markings/sec, 500 secs
lola: 236888258 markings, 472985845 edges, 440779 markings/sec, 505 secs
lola: 239082568 markings, 477371167 edges, 438862 markings/sec, 510 secs
lola: 241240677 markings, 481684109 edges, 431622 markings/sec, 515 secs
lola: 243282105 markings, 485763627 edges, 408286 markings/sec, 520 secs
lola: 245113291 markings, 489423568 edges, 366237 markings/sec, 525 secs
lola: 247093110 markings, 493379917 edges, 395964 markings/sec, 530 secs
lola: 249211387 markings, 497613369 edges, 423655 markings/sec, 535 secs
lola: 251121042 markings, 501429432 edges, 381931 markings/sec, 540 secs
lola: 253399574 markings, 505982640 edges, 455706 markings/sec, 545 secs
lola: 255480782 markings, 510142120 edges, 416242 markings/sec, 550 secs
lola: 257624635 markings, 514425980 edges, 428771 markings/sec, 555 secs
lola: 259556186 markings, 518286117 edges, 386310 markings/sec, 560 secs
lola: 261511302 markings, 522193448 edges, 391023 markings/sec, 565 secs
lola: 261811373 markings, 522792928 edges, 60014 markings/sec, 570 secs
lola: 261822075 markings, 522814342 edges, 2140 markings/sec, 575 secs
lola: 261823777 markings, 522817750 edges, 340 markings/sec, 580 secs
lola: 261837807 markings, 522845823 edges, 2806 markings/sec, 585 secs
lola: 261837851 markings, 522845912 edges, 9 markings/sec, 590 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 640 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A (F (((1 <= p1) AND (1 <= p19)))) OR (((1 <= p7) AND (1 <= p23)) OR (((p16 <= 0) AND (1 <= p6) AND (1 <= p2)) OR ((1 <= p0) AND (1 <= p13) AND (1 <= p24) AND ((1 <= p16) OR (1 <= p9))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF((AF(((1 <= p1) AND (1 <= p19))) OR (((1 <= p7) AND (1 <= p23)) OR (((p16 <= 0) AND (1 <= p6) AND (1 <= p2)) OR ((1 <= p0) AND (1 <= p13) AND (1 <= p24) AND ((1 <= p16) OR (1 <= p9)))))))
lola: processed formula length: 190
lola: 34 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 4568224 markings, 4591848 edges, 913645 markings/sec, 0 secs
lola: 8592509 markings, 8622654 edges, 804857 markings/sec, 5 secs
lola: 11846275 markings, 11882195 edges, 650753 markings/sec, 10 secs
lola: 15290340 markings, 15332485 edges, 688813 markings/sec, 15 secs
lola: 18403018 markings, 18450878 edges, 622536 markings/sec, 20 secs
lola: 21702298 markings, 21756298 edges, 659856 markings/sec, 25 secs
lola: 24956832 markings, 25016967 edges, 650907 markings/sec, 30 secs
lola: 28172339 markings, 28238604 edges, 643101 markings/sec, 35 secs
lola: 31356758 markings, 31429163 edges, 636884 markings/sec, 40 secs
lola: 34539526 markings, 34618126 edges, 636554 markings/sec, 45 secs
lola: 37692392 markings, 37777192 edges, 630573 markings/sec, 50 secs
lola: 40827847 markings, 40918877 edges, 627091 markings/sec, 55 secs
lola: 43944086 markings, 44041356 edges, 623248 markings/sec, 60 secs
lola: 47066784 markings, 47170369 edges, 624540 markings/sec, 65 secs
lola: 50173700 markings, 50283620 edges, 621383 markings/sec, 70 secs
lola: 53252855 markings, 53369105 edges, 615831 markings/sec, 75 secs
lola: 56334999 markings, 56457639 edges, 616429 markings/sec, 80 secs
lola: 59379725 markings, 59508725 edges, 608945 markings/sec, 85 secs
lola: 62426908 markings, 62562328 edges, 609437 markings/sec, 90 secs
lola: 65470610 markings, 65612490 edges, 608740 markings/sec, 95 secs
lola: 68489536 markings, 68637876 edges, 603785 markings/sec, 100 secs
lola: 71499026 markings, 71653851 edges, 601898 markings/sec, 105 secs
lola: 74486753 markings, 74648064 edges, 597545 markings/sec, 110 secs
lola: 77479940 markings, 77647795 edges, 598637 markings/sec, 115 secs
lola: 80451808 markings, 80626208 edges, 594374 markings/sec, 120 secs
lola: 83434736 markings, 83615751 edges, 596586 markings/sec, 125 secs
lola: 86387036 markings, 86574646 edges, 590460 markings/sec, 130 secs
lola: 89223981 markings, 89417971 edges, 567389 markings/sec, 135 secs
lola: 92150209 markings, 92350824 edges, 585246 markings/sec, 140 secs
lola: 95069031 markings, 95276300 edges, 583764 markings/sec, 145 secs
lola: 97964060 markings, 98177975 edges, 579006 markings/sec, 150 secs
lola: 100803565 markings, 101024040 edges, 567901 markings/sec, 155 secs
lola: 103626876 markings, 103853921 edges, 564662 markings/sec, 160 secs
lola: 106434907 markings, 106668522 edges, 561606 markings/sec, 165 secs
lola: 109216950 markings, 109457120 edges, 556409 markings/sec, 170 secs
lola: 112007696 markings, 112254481 edges, 558149 markings/sec, 175 secs
lola: 114769465 markings, 115022840 edges, 552354 markings/sec, 180 secs
lola: 117518392 markings, 117778367 edges, 549785 markings/sec, 185 secs
lola: 120301256 markings, 120567951 edges, 556573 markings/sec, 190 secs
lola: 123094438 markings, 123367923 edges, 558636 markings/sec, 195 secs
lola: 125897057 markings, 126177402 edges, 560524 markings/sec, 200 secs
lola: 128730796 markings, 129018116 edges, 566748 markings/sec, 205 secs
lola: 131549970 markings, 131844275 edges, 563835 markings/sec, 210 secs
lola: 134357067 markings, 134658372 edges, 561419 markings/sec, 215 secs
lola: 137164131 markings, 137472481 edges, 561413 markings/sec, 220 secs
lola: 139976262 markings, 140291712 edges, 562426 markings/sec, 225 secs
lola: 142798230 markings, 143120850 edges, 564394 markings/sec, 230 secs
lola: 145602024 markings, 145931814 edges, 560759 markings/sec, 235 secs
lola: 148401184 markings, 148738179 edges, 559832 markings/sec, 240 secs
lola: 151188827 markings, 151533042 edges, 557529 markings/sec, 245 secs
lola: 153994575 markings, 154346105 edges, 561150 markings/sec, 250 secs
lola: 156794379 markings, 157153254 edges, 559961 markings/sec, 255 secs
lola: 159588583 markings, 159954833 edges, 558841 markings/sec, 260 secs
lola: 162360372 markings, 162733987 edges, 554358 markings/sec, 265 secs
lola: 165138453 markings, 165519498 edges, 555616 markings/sec, 270 secs
lola: 167908309 markings, 168296804 edges, 553971 markings/sec, 275 secs
lola: 170668930 markings, 171064900 edges, 552124 markings/sec, 280 secs
lola: 173393111 markings, 173796501 edges, 544836 markings/sec, 285 secs
lola: 176052041 markings, 176462726 edges, 531786 markings/sec, 290 secs
lola: 178729163 markings, 179147232 edges, 535424 markings/sec, 295 secs
lola: 181398742 markings, 181824222 edges, 533916 markings/sec, 300 secs
lola: 184019162 markings, 184451957 edges, 524084 markings/sec, 305 secs
lola: 186655277 markings, 187095482 edges, 527223 markings/sec, 310 secs
lola: 189297072 markings, 189744742 edges, 528359 markings/sec, 315 secs
lola: 191892239 markings, 192347294 edges, 519033 markings/sec, 320 secs
lola: 194518224 markings, 194980794 edges, 525197 markings/sec, 325 secs
lola: 197126897 markings, 197596982 edges, 521735 markings/sec, 330 secs
lola: 199740312 markings, 200217972 edges, 522683 markings/sec, 335 secs
lola: 202350414 markings, 202835684 edges, 522020 markings/sec, 340 secs
lola: 204943068 markings, 205435943 edges, 518531 markings/sec, 345 secs
lola: 207543459 markings, 208044014 edges, 520078 markings/sec, 350 secs
lola: 210112022 markings, 210620207 edges, 513713 markings/sec, 355 secs
lola: 212588773 markings, 213104622 edges, 495350 markings/sec, 360 secs
lola: 214217728 markings, 214738208 edges, 325791 markings/sec, 365 secs
lola: 216465277 markings, 216992542 edges, 449510 markings/sec, 370 secs
lola: 217930400 markings, 218462110 edges, 293025 markings/sec, 375 secs
lola: 219754858 markings, 220292117 edges, 364892 markings/sec, 380 secs
lola: 221439178 markings, 221981588 edges, 336864 markings/sec, 385 secs
lola: 223684939 markings, 224234248 edges, 449152 markings/sec, 390 secs
lola: 225858493 markings, 226414518 edges, 434711 markings/sec, 395 secs
lola: 227673532 markings, 228235197 edges, 363008 markings/sec, 400 secs
lola: 230016296 markings, 230585271 edges, 468553 markings/sec, 405 secs
lola: 232218112 markings, 232793997 edges, 440363 markings/sec, 410 secs
lola: 234503180 markings, 235086279 edges, 457014 markings/sec, 415 secs
lola: 236764856 markings, 237355136 edges, 452335 markings/sec, 420 secs
lola: 238865696 markings, 239462686 edges, 420168 markings/sec, 425 secs
lola: 241138858 markings, 241743148 edges, 454632 markings/sec, 430 secs
lola: 243415508 markings, 244027148 edges, 455330 markings/sec, 435 secs
lola: 245707941 markings, 246327031 edges, 458487 markings/sec, 440 secs
lola: 248070165 markings, 248696975 edges, 472445 markings/sec, 445 secs
lola: 250292516 markings, 250926636 edges, 444470 markings/sec, 450 secs
lola: 252605209 markings, 253246979 edges, 462539 markings/sec, 455 secs
lola: 254948127 markings, 255597697 edges, 468584 markings/sec, 460 secs
lola: 257199522 markings, 257856632 edges, 450279 markings/sec, 465 secs
lola: 259363360 markings, 260027760 edges, 432768 markings/sec, 470 secs
lola: 261654467 markings, 262326632 edges, 458221 markings/sec, 475 secs
lola: 262248034 markings, 262922223 edges, 118713 markings/sec, 480 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 717 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p16 <= 0) AND (E (G (((p3 <= 0) OR (p18 <= 0)))) AND E (G ((p22 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 717 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p16 <= 0)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p16 <= 0)
lola: processed formula length: 10
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 1435 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((p22 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((p22 <= 0)))
lola: processed formula length: 18
lola: 33 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p22)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-15-0.sara.

lola: state equation 0: solution produced
lola: 4888813 markings, 6033115 edges, 977763 markings/sec, 0 secs || sara is running 0 secs
lola: 10128409 markings, 12145977 edges, 1047919 markings/sec, 5 secs || sara is running 5 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 13002007 markings, 15498507 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 1422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E ((((1 <= p12) AND (1 <= p7) AND (1 <= p23)) U (((1 <= p5) AND (1 <= p15) AND (1 <= p22)) OR (p16 <= 0)))) AND A (F (((1 <= p4) AND (1 <= p21)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p4) AND (1 <= p21))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p4 <= 0) OR (p21 <= 0))
lola: processed formula length: 26
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p4) AND (1 <= p21))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-15-0.sara.

lola: state equation 0: solution produced
lola: 5230092 markings, 6340859 edges, 1046018 markings/sec, 0 secs || sara is running 0 secs
lola: 10305061 markings, 12503598 edges, 1014994 markings/sec, 5 secs || sara is running 5 secs
lola: 15281037 markings, 18546063 edges, 995195 markings/sec, 10 secs || sara is running 10 secs
lola: 20319050 markings, 24663828 edges, 1007603 markings/sec, 15 secs || sara is running 15 secs
lola: 25416971 markings, 30854317 edges, 1019584 markings/sec, 20 secs || sara is running 20 secs
lola: 30460506 markings, 37063601 edges, 1008707 markings/sec, 25 secs || sara is running 25 secs
lola: 35185126 markings, 42967435 edges, 944924 markings/sec, 30 secs || sara is running 30 secs
lola: 39336899 markings, 47884169 edges, 830355 markings/sec, 35 secs || sara is running 35 secs
lola: 42675928 markings, 51779651 edges, 667806 markings/sec, 40 secs || sara is running 40 secs
lola: 45819302 markings, 55446867 edges, 628675 markings/sec, 45 secs || sara is running 45 secs
lola: 48921677 markings, 59066246 edges, 620475 markings/sec, 50 secs || sara is running 50 secs
lola: 52030790 markings, 62693475 edges, 621823 markings/sec, 55 secs || sara is running 55 secs
lola: 55420429 markings, 66647962 edges, 677928 markings/sec, 60 secs || sara is running 60 secs
lola: 59305552 markings, 71180430 edges, 777025 markings/sec, 65 secs || sara is running 65 secs
lola: 63451105 markings, 76207371 edges, 829111 markings/sec, 70 secs || sara is running 70 secs
lola: 67319477 markings, 80936006 edges, 773674 markings/sec, 75 secs || sara is running 75 secs
lola: 70972487 markings, 85401242 edges, 730602 markings/sec, 80 secs || sara is running 80 secs
lola: 74676486 markings, 89928734 edges, 740800 markings/sec, 85 secs || sara is running 85 secs
lola: 78999455 markings, 95239360 edges, 864594 markings/sec, 90 secs || sara is running 90 secs
lola: 83818559 markings, 101261106 edges, 963821 markings/sec, 95 secs || sara is running 95 secs
lola: 88365901 markings, 106756195 edges, 909468 markings/sec, 100 secs || sara is running 100 secs
lola: 91785123 markings, 110745252 edges, 683844 markings/sec, 105 secs || sara is running 105 secs
lola: 94901021 markings, 114380428 edges, 623180 markings/sec, 110 secs || sara is running 110 secs
lola: 97932432 markings, 117917041 edges, 606282 markings/sec, 115 secs || sara is running 115 secs
lola: 100924434 markings, 121407672 edges, 598400 markings/sec, 120 secs || sara is running 120 secs
lola: 103801215 markings, 124763881 edges, 575356 markings/sec, 125 secs || sara is running 125 secs
lola: 106632015 markings, 128066443 edges, 566160 markings/sec, 130 secs || sara is running 130 secs
lola: 109372396 markings, 131263514 edges, 548076 markings/sec, 135 secs || sara is running 135 secs
lola: 111790236 markings, 134084292 edges, 483568 markings/sec, 140 secs || sara is running 140 secs
lola: 114432556 markings, 137166956 edges, 528464 markings/sec, 145 secs || sara is running 145 secs
lola: 117266896 markings, 140473639 edges, 566868 markings/sec, 150 secs || sara is running 150 secs
lola: 119954569 markings, 143609208 edges, 537535 markings/sec, 155 secs || sara is running 155 secs
lola: 122683817 markings, 146793275 edges, 545850 markings/sec, 160 secs || sara is running 160 secs
lola: 125483522 markings, 150059534 edges, 559941 markings/sec, 165 secs || sara is running 165 secs
lola: 128237824 markings, 153272811 edges, 550860 markings/sec, 170 secs || sara is running 170 secs
lola: 131203882 markings, 156733107 edges, 593212 markings/sec, 175 secs || sara is running 175 secs
lola: 134992356 markings, 161206947 edges, 757695 markings/sec, 180 secs || sara is running 180 secs
lola: 138475549 markings, 165465425 edges, 696639 markings/sec, 185 secs || sara is running 185 secs
lola: 141854112 markings, 169595538 edges, 675713 markings/sec, 190 secs || sara is running 190 secs
lola: 145073151 markings, 173530497 edges, 643808 markings/sec, 195 secs || sara is running 195 secs
lola: 148334994 markings, 177517698 edges, 652369 markings/sec, 200 secs || sara is running 200 secs
lola: 152063610 markings, 182074980 edges, 745723 markings/sec, 205 secs || sara is running 205 secs
lola: 156752724 markings, 187934354 edges, 937823 markings/sec, 210 secs || sara is running 210 secs
lola: 161275105 markings, 193493116 edges, 904476 markings/sec, 215 secs || sara is running 215 secs
lola: 164617884 markings, 197392994 edges, 668556 markings/sec, 220 secs || sara is running 220 secs
lola: 167533365 markings, 200794361 edges, 583096 markings/sec, 225 secs || sara is running 225 secs
lola: 170367861 markings, 204101242 edges, 566899 markings/sec, 230 secs || sara is running 230 secs
lola: 173142517 markings, 207338314 edges, 554931 markings/sec, 235 secs || sara is running 235 secs
lola: 175893956 markings, 210548300 edges, 550288 markings/sec, 240 secs || sara is running 240 secs
lola: 178593236 markings, 213697431 edges, 539856 markings/sec, 245 secs || sara is running 245 secs
lola: 181242037 markings, 216787668 edges, 529760 markings/sec, 250 secs || sara is running 250 secs
lola: 183845705 markings, 219825253 edges, 520734 markings/sec, 255 secs || sara is running 255 secs
lola: 186434897 markings, 222845946 edges, 517838 markings/sec, 260 secs || sara is running 260 secs
lola: 188993344 markings, 225830772 edges, 511689 markings/sec, 265 secs || sara is running 265 secs
lola: 191507648 markings, 228764095 edges, 502861 markings/sec, 270 secs || sara is running 270 secs
lola: 194089966 markings, 231776765 edges, 516464 markings/sec, 275 secs || sara is running 275 secs
lola: 196596762 markings, 234701331 edges, 501359 markings/sec, 280 secs || sara is running 280 secs
lola: 199097663 markings, 237619013 edges, 500180 markings/sec, 285 secs || sara is running 285 secs
lola: 201560968 markings, 240492837 edges, 492661 markings/sec, 290 secs || sara is running 290 secs
lola: 204022227 markings, 243364269 edges, 492252 markings/sec, 295 secs || sara is running 295 secs
lola: 206505887 markings, 246261833 edges, 496732 markings/sec, 300 secs || sara is running 300 secs
lola: 208944952 markings, 249107371 edges, 487813 markings/sec, 305 secs || sara is running 305 secs
lola: 211385088 markings, 251954157 edges, 488027 markings/sec, 310 secs || sara is running 310 secs
lola: 213830867 markings, 254807520 edges, 489156 markings/sec, 315 secs || sara is running 315 secs
lola: 216325471 markings, 257717846 edges, 498921 markings/sec, 320 secs || sara is running 320 secs
lola: 218824671 markings, 260633525 edges, 499840 markings/sec, 325 secs || sara is running 325 secs
lola: 221319038 markings, 263543565 edges, 498873 markings/sec, 330 secs || sara is running 330 secs
lola: 223820452 markings, 266461817 edges, 500283 markings/sec, 335 secs || sara is running 335 secs
lola: 226305035 markings, 269360424 edges, 496917 markings/sec, 340 secs || sara is running 340 secs
lola: 228901576 markings, 272389624 edges, 519308 markings/sec, 345 secs || sara is running 345 secs
lola: 231981237 markings, 275982318 edges, 615932 markings/sec, 350 secs || sara is running 350 secs
lola: 235504052 markings, 280287657 edges, 704563 markings/sec, 355 secs || sara is running 355 secs
lola: 238379646 markings, 283803236 edges, 575119 markings/sec, 360 secs || sara is running 360 secs
lola: 241153737 markings, 287194527 edges, 554818 markings/sec, 365 secs || sara is running 365 secs
lola: 243888156 markings, 290537214 edges, 546884 markings/sec, 370 secs || sara is running 370 secs
lola: 246707497 markings, 293983643 edges, 563868 markings/sec, 375 secs || sara is running 375 secs
lola: 249817390 markings, 297785189 edges, 621979 markings/sec, 380 secs || sara is running 380 secs
lola: 254437316 markings, 303549340 edges, 923985 markings/sec, 385 secs || sara is running 385 secs
lola: 259050697 markings, 309245484 edges, 922676 markings/sec, 390 secs || sara is running 390 secs
lola: 262541600 markings, 313318173 edges, 698181 markings/sec, 395 secs || sara is running 395 secs
lola: 265679757 markings, 316979327 edges, 627631 markings/sec, 400 secs || sara is running 400 secs
lola: 268656782 markings, 320452499 edges, 595405 markings/sec, 405 secs || sara is running 405 secs
lola: 271549268 markings, 323827039 edges, 578497 markings/sec, 410 secs || sara is running 410 secs
lola: 274145177 markings, 326855573 edges, 519182 markings/sec, 415 secs || sara is running 415 secs
lola: 276865915 markings, 330029743 edges, 544148 markings/sec, 420 secs || sara is running 420 secs
lola: 279551277 markings, 333162637 edges, 537072 markings/sec, 425 secs || sara is running 425 secs
lola: 282217156 markings, 336272806 edges, 533176 markings/sec, 430 secs || sara is running 430 secs
lola: 284829211 markings, 339320176 edges, 522411 markings/sec, 435 secs || sara is running 435 secs
lola: 287399166 markings, 342318429 edges, 513991 markings/sec, 440 secs || sara is running 440 secs
lola: 289941130 markings, 345284028 edges, 508393 markings/sec, 445 secs || sara is running 445 secs
lola: 292484802 markings, 348251617 edges, 508734 markings/sec, 450 secs || sara is running 450 secs
lola: 295029210 markings, 351220067 edges, 508882 markings/sec, 455 secs || sara is running 455 secs
lola: 297523249 markings, 354129749 edges, 498808 markings/sec, 460 secs || sara is running 460 secs
lola: 300006856 markings, 357027262 edges, 496721 markings/sec, 465 secs || sara is running 465 secs
lola: 302578769 markings, 360027797 edges, 514383 markings/sec, 470 secs || sara is running 470 secs
lola: 305076503 markings, 362941791 edges, 499547 markings/sec, 475 secs || sara is running 475 secs
lola: 307569015 markings, 365849691 edges, 498502 markings/sec, 480 secs || sara is running 480 secs
lola: 310068802 markings, 368766076 edges, 499957 markings/sec, 485 secs || sara is running 485 secs
lola: 312535174 markings, 371643481 edges, 493274 markings/sec, 490 secs || sara is running 490 secs
lola: 314730571 markings, 374204745 edges, 439079 markings/sec, 495 secs || sara is running 495 secs
lola: 317160689 markings, 377039849 edges, 486024 markings/sec, 500 secs || sara is running 500 secs
lola: 319628405 markings, 379918816 edges, 493543 markings/sec, 505 secs || sara is running 505 secs
lola: 322000429 markings, 382686143 edges, 474405 markings/sec, 510 secs || sara is running 510 secs
lola: 324260445 markings, 385322796 edges, 452003 markings/sec, 515 secs || sara is running 515 secs
lola: 326688248 markings, 388155191 edges, 485561 markings/sec, 520 secs || sara is running 520 secs
lola: 329086891 markings, 390953568 edges, 479729 markings/sec, 525 secs || sara is running 525 secs
lola: 331468516 markings, 393732089 edges, 476325 markings/sec, 530 secs || sara is running 530 secs
lola: 333951670 markings, 396629059 edges, 496631 markings/sec, 535 secs || sara is running 535 secs
lola: 336410230 markings, 399497330 edges, 491712 markings/sec, 540 secs || sara is running 540 secs
lola: 338680482 markings, 402145911 edges, 454050 markings/sec, 545 secs || sara is running 545 secs
lola: 340891257 markings, 404725098 edges, 442155 markings/sec, 550 secs || sara is running 550 secs
lola: 343318520 markings, 407556844 edges, 485453 markings/sec, 555 secs || sara is running 555 secs
lola: 345658067 markings, 410286252 edges, 467909 markings/sec, 560 secs || sara is running 560 secs
lola: 348082388 markings, 413114548 edges, 484864 markings/sec, 565 secs || sara is running 565 secs
lola: 350623180 markings, 416078703 edges, 508158 markings/sec, 570 secs || sara is running 570 secs
lola: 353397575 markings, 419315323 edges, 554879 markings/sec, 575 secs || sara is running 575 secs
lola: 356935415 markings, 423606457 edges, 707568 markings/sec, 580 secs || sara is running 580 secs
lola: 359975507 markings, 427323475 edges, 608018 markings/sec, 585 secs || sara is running 585 secs
lola: 362867226 markings, 430858779 edges, 578344 markings/sec, 590 secs || sara is running 590 secs
lola: 365732972 markings, 434362177 edges, 573149 markings/sec, 595 secs || sara is running 595 secs
lola: 368725934 markings, 438021001 edges, 598592 markings/sec, 600 secs || sara is running 600 secs
lola: 372152139 markings, 442208165 edges, 685241 markings/sec, 605 secs || sara is running 605 secs
lola: 376769274 markings, 447977719 edges, 923427 markings/sec, 610 secs || sara is running 610 secs
lola: 381270556 markings, 453520836 edges, 900256 markings/sec, 615 secs || sara is running 615 secs
lola: 384664841 markings, 457480805 edges, 678857 markings/sec, 620 secs || sara is running 620 secs
lola: 387697492 markings, 461018872 edges, 606530 markings/sec, 625 secs || sara is running 625 secs
lola: 390549549 markings, 464346246 edges, 570411 markings/sec, 630 secs || sara is running 630 secs
lola: 393320504 markings, 467579003 edges, 554191 markings/sec, 635 secs || sara is running 635 secs
lola: 396042498 markings, 470754640 edges, 544399 markings/sec, 640 secs || sara is running 640 secs
lola: 398670682 markings, 473820829 edges, 525637 markings/sec, 645 secs || sara is running 645 secs
lola: 401257445 markings, 476838694 edges, 517353 markings/sec, 650 secs || sara is running 650 secs
lola: 403837130 markings, 479848307 edges, 515937 markings/sec, 655 secs || sara is running 655 secs
lola: 406380886 markings, 482815997 edges, 508751 markings/sec, 660 secs || sara is running 660 secs
lola: 408880347 markings, 485732010 edges, 499892 markings/sec, 665 secs || sara is running 665 secs
lola: 411377013 markings, 488644763 edges, 499333 markings/sec, 670 secs || sara is running 670 secs
lola: 413820126 markings, 491495037 edges, 488623 markings/sec, 675 secs || sara is running 675 secs
lola: 416160143 markings, 494225034 edges, 468003 markings/sec, 680 secs || sara is running 680 secs
lola: 418560384 markings, 497025292 edges, 480048 markings/sec, 685 secs || sara is running 685 secs
lola: 420948385 markings, 499811270 edges, 477600 markings/sec, 690 secs || sara is running 690 secs
lola: 423359570 markings, 502624295 edges, 482237 markings/sec, 695 secs || sara is running 695 secs
lola: 425731242 markings, 505391220 edges, 474334 markings/sec, 700 secs || sara is running 700 secs
lola: 428027506 markings, 508070168 edges, 459253 markings/sec, 705 secs || sara is running 705 secs
lola: 430377914 markings, 510812287 edges, 470082 markings/sec, 710 secs || sara is running 710 secs
lola: 432601649 markings, 513406618 edges, 444747 markings/sec, 715 secs || sara is running 715 secs
lola: 434888713 markings, 516074836 edges, 457413 markings/sec, 720 secs || sara is running 720 secs
lola: 437171275 markings, 518737799 edges, 456512 markings/sec, 725 secs || sara is running 725 secs
lola: 437540076 markings, 519168060 edges, 73760 markings/sec, 730 secs || sara is running 730 secs
lola: 439766650 markings, 521765703 edges, 445315 markings/sec, 735 secs || sara is running 735 secs
lola: 441305322 markings, 523560803 edges, 307734 markings/sec, 740 secs || sara is running 740 secs
lola: 442891157 markings, 525410924 edges, 317167 markings/sec, 745 secs || sara is running 745 secs
lola: 445089048 markings, 527975103 edges, 439578 markings/sec, 750 secs || sara is running 750 secs
lola: 447454044 markings, 530734238 edges, 472999 markings/sec, 755 secs || sara is running 755 secs
lola: 449693505 markings, 533346911 edges, 447892 markings/sec, 760 secs || sara is running 760 secs
lola: 451939553 markings, 535967273 edges, 449210 markings/sec, 765 secs || sara is running 765 secs
lola: 454198678 markings, 538602889 edges, 451825 markings/sec, 770 secs || sara is running 770 secs
lola: 456441123 markings, 541219043 edges, 448489 markings/sec, 775 secs || sara is running 775 secs
lola: 458541022 markings, 543668897 edges, 419980 markings/sec, 780 secs || sara is running 780 secs
lola: 460457771 markings, 545905079 edges, 383350 markings/sec, 785 secs || sara is running 785 secs
lola: 462413231 markings, 548186419 edges, 391092 markings/sec, 790 secs || sara is running 790 secs
lola: 464607094 markings, 550745893 edges, 438773 markings/sec, 795 secs || sara is running 795 secs
lola: 466134826 markings, 552528223 edges, 305546 markings/sec, 800 secs || sara is running 800 secs
lola: 468178836 markings, 554912870 edges, 408802 markings/sec, 805 secs || sara is running 805 secs
lola: 470225465 markings, 557300569 edges, 409326 markings/sec, 810 secs || sara is running 810 secs
lola: 471948506 markings, 559310755 edges, 344608 markings/sec, 815 secs || sara is running 815 secs
lola: 473622341 markings, 561263530 edges, 334767 markings/sec, 820 secs || sara is running 820 secs
lola: 475492846 markings, 563445756 edges, 374101 markings/sec, 825 secs || sara is running 825 secs
lola: 477293591 markings, 565546590 edges, 360149 markings/sec, 830 secs || sara is running 830 secs
lola: 479489116 markings, 568107993 edges, 439105 markings/sec, 835 secs || sara is running 835 secs
lola: 481540288 markings, 570500982 edges, 410234 markings/sec, 840 secs || sara is running 840 secs
lola: 483496066 markings, 572782683 edges, 391156 markings/sec, 845 secs || sara is running 845 secs
lola: 485606858 markings, 575245225 edges, 422158 markings/sec, 850 secs || sara is running 850 secs
lola: 487592920 markings, 577562245 edges, 397212 markings/sec, 855 secs || sara is running 855 secs
lola: 489277936 markings, 579528053 edges, 337003 markings/sec, 860 secs || sara is running 860 secs
lola: 490823041 markings, 581330634 edges, 309021 markings/sec, 865 secs || sara is running 865 secs
lola: 492766099 markings, 583597472 edges, 388612 markings/sec, 870 secs || sara is running 870 secs
lola: 494797773 markings, 585967681 edges, 406335 markings/sec, 875 secs || sara is running 875 secs
lola: 496736579 markings, 588229539 edges, 387761 markings/sec, 880 secs || sara is running 880 secs
lola: 498142019 markings, 589869139 edges, 281088 markings/sec, 885 secs || sara is running 885 secs
lola: 499663883 markings, 591644509 edges, 304373 markings/sec, 890 secs || sara is running 890 secs
lola: 502578260 markings, 595187928 edges, 582875 markings/sec, 895 secs || sara is running 895 secs
lola: 504817482 markings, 597926062 edges, 447844 markings/sec, 900 secs || sara is running 900 secs
lola: 507088141 markings, 600702342 edges, 454132 markings/sec, 905 secs || sara is running 905 secs
lola: 509067762 markings, 603122649 edges, 395924 markings/sec, 910 secs || sara is running 910 secs
lola: 510960606 markings, 605436789 edges, 378569 markings/sec, 915 secs || sara is running 915 secs
lola: 513071887 markings, 608017915 edges, 422256 markings/sec, 920 secs || sara is running 920 secs
lola: 514696800 markings, 610004401 edges, 324983 markings/sec, 925 secs || sara is running 925 secs
lola: 517173546 markings, 613032220 edges, 495349 markings/sec, 930 secs || sara is running 930 secs
lola: 520357682 markings, 616981185 edges, 636827 markings/sec, 935 secs || sara is running 935 secs
lola: 524793133 markings, 622523970 edges, 887090 markings/sec, 940 secs || sara is running 940 secs
lola: 526626831 markings, 624786743 edges, 366740 markings/sec, 945 secs || sara is running 945 secs
lola: 529831969 markings, 628532656 edges, 641028 markings/sec, 950 secs || sara is running 950 secs
lola: 532819876 markings, 632018518 edges, 597581 markings/sec, 955 secs || sara is running 955 secs
lola: 535276619 markings, 634884702 edges, 491349 markings/sec, 960 secs || sara is running 960 secs
lola: 536722845 markings, 636571950 edges, 289245 markings/sec, 965 secs || sara is running 965 secs
lola: 536730282 markings, 636580626 edges, 1487 markings/sec, 970 secs || sara is running 970 secs
lola: Child process aborted or communication problem between parent and child process
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (E (G (((1 <= p8) AND (1 <= p15) AND (1 <= p20)))) OR (E (G ((p9 <= 0))) AND (E (X (E (F (((1 <= p3)))))) AND ((p4 <= 0) OR (p21 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: ((p4 <= 0) OR (p21 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p4 <= 0) OR (p21 <= 0))
lola: processed formula length: 26
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (G ((p9 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((p9 <= 0)))
lola: processed formula length: 17
lola: 33 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p9)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-17-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-17-0.sara.

lola: state equation 0: solution produced
lola: 4639490 markings, 5530196 edges, 927898 markings/sec, 0 secs || sara is running 0 secs
lola: 9180315 markings, 10969750 edges, 908165 markings/sec, 5 secs || sara is running 5 secs
lola: 13552388 markings, 16211824 edges, 874415 markings/sec, 10 secs || sara is running 10 secs
lola: 17817498 markings, 21329325 edges, 853022 markings/sec, 15 secs || sara is running 15 secs
lola: 22023859 markings, 26376701 edges, 841272 markings/sec, 20 secs || sara is running 20 secs
lola: 26147502 markings, 31328769 edges, 824729 markings/sec, 25 secs || sara is running 25 secs
lola: 30270850 markings, 36279000 edges, 824670 markings/sec, 30 secs || sara is running 30 secs
lola: 34268114 markings, 41081730 edges, 799453 markings/sec, 35 secs || sara is running 35 secs
lola: 38222255 markings, 45830913 edges, 790828 markings/sec, 40 secs || sara is running 40 secs
lola: 42248055 markings, 50668709 edges, 805160 markings/sec, 45 secs || sara is running 45 secs
lola: 46137096 markings, 55342441 edges, 777808 markings/sec, 50 secs || sara is running 50 secs
lola: 50019669 markings, 60009139 edges, 776515 markings/sec, 55 secs || sara is running 55 secs
lola: 53890424 markings, 64663239 edges, 774151 markings/sec, 60 secs || sara is running 60 secs
lola: 57788399 markings, 69349041 edges, 779595 markings/sec, 65 secs || sara is running 65 secs
lola: 61632033 markings, 73970998 edges, 768727 markings/sec, 70 secs || sara is running 70 secs
lola: 65488178 markings, 78608822 edges, 771229 markings/sec, 75 secs || sara is running 75 secs
lola: 69298097 markings, 83191357 edges, 761984 markings/sec, 80 secs || sara is running 80 secs
lola: 73152567 markings, 87827766 edges, 770894 markings/sec, 85 secs || sara is running 85 secs
lola: 76976700 markings, 92427740 edges, 764827 markings/sec, 90 secs || sara is running 90 secs
lola: 80804886 markings, 97033080 edges, 765637 markings/sec, 95 secs || sara is running 95 secs
lola: 84563398 markings, 101555609 edges, 751702 markings/sec, 100 secs || sara is running 100 secs
lola: 88281953 markings, 106030708 edges, 743711 markings/sec, 105 secs || sara is running 105 secs
lola: 92058306 markings, 110574387 edges, 755271 markings/sec, 110 secs || sara is running 110 secs
lola: 95786991 markings, 115063204 edges, 745737 markings/sec, 115 secs || sara is running 115 secs
lola: 99499979 markings, 119530927 edges, 742598 markings/sec, 120 secs || sara is running 120 secs
lola: 103171348 markings, 123950427 edges, 734274 markings/sec, 125 secs || sara is running 125 secs
lola: 106890413 markings, 128429265 edges, 743813 markings/sec, 130 secs || sara is running 130 secs
lola: 110666868 markings, 132973313 edges, 755291 markings/sec, 135 secs || sara is running 135 secs
lola: 114346380 markings, 137403445 edges, 735902 markings/sec, 140 secs || sara is running 140 secs
lola: 117985646 markings, 141785878 edges, 727853 markings/sec, 145 secs || sara is running 145 secs
lola: 121604702 markings, 146144334 edges, 723811 markings/sec, 150 secs || sara is running 150 secs
lola: 125167195 markings, 150434662 edges, 712499 markings/sec, 155 secs || sara is running 155 secs
lola: 128763888 markings, 154766344 edges, 719339 markings/sec, 160 secs || sara is running 160 secs
lola: 132351757 markings, 159087485 edges, 717574 markings/sec, 165 secs || sara is running 165 secs
lola: 135914953 markings, 163378685 edges, 712639 markings/sec, 170 secs || sara is running 170 secs
lola: 139456438 markings, 167643772 edges, 708297 markings/sec, 175 secs || sara is running 175 secs
lola: 143009711 markings, 171923240 edges, 710655 markings/sec, 180 secs || sara is running 180 secs
lola: 146490725 markings, 176115560 edges, 696203 markings/sec, 185 secs || sara is running 185 secs
lola: 150143804 markings, 180516026 edges, 730616 markings/sec, 190 secs || sara is running 190 secs
lola: 153764060 markings, 184877205 edges, 724051 markings/sec, 195 secs || sara is running 195 secs
lola: 157392109 markings, 189248420 edges, 725610 markings/sec, 200 secs || sara is running 200 secs
lola: 160974845 markings, 193566227 edges, 716547 markings/sec, 205 secs || sara is running 205 secs
lola: 164689844 markings, 198043366 edges, 743000 markings/sec, 210 secs || sara is running 210 secs
lola: 168108963 markings, 202161237 edges, 683824 markings/sec, 215 secs || sara is running 215 secs
lola: 171680311 markings, 206464496 edges, 714270 markings/sec, 220 secs || sara is running 220 secs
lola: 175222243 markings, 210736375 edges, 708386 markings/sec, 225 secs || sara is running 225 secs
lola: 178834907 markings, 215087557 edges, 722533 markings/sec, 230 secs || sara is running 230 secs
lola: 182498301 markings, 219501513 edges, 732679 markings/sec, 235 secs || sara is running 235 secs
lola: 186046759 markings, 223779417 edges, 709692 markings/sec, 240 secs || sara is running 240 secs
lola: 189648839 markings, 228121082 edges, 720416 markings/sec, 245 secs || sara is running 245 secs
lola: 193261838 markings, 232474655 edges, 722600 markings/sec, 250 secs || sara is running 250 secs
lola: 196939570 markings, 236909487 edges, 735546 markings/sec, 255 secs || sara is running 255 secs
lola: 200605087 markings, 241327324 edges, 733103 markings/sec, 260 secs || sara is running 260 secs
lola: 204302678 markings, 245783835 edges, 739518 markings/sec, 265 secs || sara is running 265 secs
lola: 207906366 markings, 250130933 edges, 720738 markings/sec, 270 secs || sara is running 270 secs
lola: 211549281 markings, 254520077 edges, 728583 markings/sec, 275 secs || sara is running 275 secs
lola: 215065392 markings, 258763005 edges, 703222 markings/sec, 280 secs || sara is running 280 secs
lola: 218737422 markings, 263186784 edges, 734406 markings/sec, 285 secs || sara is running 285 secs
lola: 222275188 markings, 267454692 edges, 707553 markings/sec, 290 secs || sara is running 290 secs
lola: 225854826 markings, 271768583 edges, 715928 markings/sec, 295 secs || sara is running 295 secs
lola: 229454524 markings, 276113383 edges, 719940 markings/sec, 300 secs || sara is running 300 secs
lola: 233090929 markings, 280494226 edges, 727281 markings/sec, 305 secs || sara is running 305 secs
lola: 236630797 markings, 284766324 edges, 707974 markings/sec, 310 secs || sara is running 310 secs
lola: 240239590 markings, 289114998 edges, 721759 markings/sec, 315 secs || sara is running 315 secs
lola: 243698853 markings, 293288724 edges, 691853 markings/sec, 320 secs || sara is running 320 secs
lola: 247385763 markings, 297733931 edges, 737382 markings/sec, 325 secs || sara is running 325 secs
lola: 250823380 markings, 301880033 edges, 687523 markings/sec, 330 secs || sara is running 330 secs
lola: 254263256 markings, 306032031 edges, 687975 markings/sec, 335 secs || sara is running 335 secs
lola: 257791386 markings, 310284158 edges, 705626 markings/sec, 340 secs || sara is running 340 secs
lola: 261238825 markings, 314443052 edges, 689488 markings/sec, 345 secs || sara is running 345 secs
lola: 264672403 markings, 318587874 edges, 686716 markings/sec, 350 secs || sara is running 350 secs
lola: 268219920 markings, 322863653 edges, 709503 markings/sec, 355 secs || sara is running 355 secs
lola: 271679646 markings, 327037468 edges, 691945 markings/sec, 360 secs || sara is running 360 secs
lola: 275126295 markings, 331197898 edges, 689330 markings/sec, 365 secs || sara is running 365 secs
lola: 278682523 markings, 335486019 edges, 711246 markings/sec, 370 secs || sara is running 370 secs
lola: 282135879 markings, 339651434 edges, 690671 markings/sec, 375 secs || sara is running 375 secs
lola: 285561676 markings, 343786017 edges, 685159 markings/sec, 380 secs || sara is running 380 secs
lola: 289013599 markings, 347953853 edges, 690385 markings/sec, 385 secs || sara is running 385 secs
lola: 292512400 markings, 352171394 edges, 699760 markings/sec, 390 secs || sara is running 390 secs
lola: 295907141 markings, 356266857 edges, 678948 markings/sec, 395 secs || sara is running 395 secs
lola: 299292111 markings, 360352180 edges, 676994 markings/sec, 400 secs || sara is running 400 secs
lola: 302668930 markings, 364428799 edges, 675364 markings/sec, 405 secs || sara is running 405 secs
lola: 306105793 markings, 368575688 edges, 687373 markings/sec, 410 secs || sara is running 410 secs
lola: 309548850 markings, 372728298 edges, 688611 markings/sec, 415 secs || sara is running 415 secs
lola: time limit reached - aborting
lola:
preliminary result: yes unknown unknown unknown no no unknown unknown unknown yes no yes yes no yes no
lola:
preliminary result: yes unknown unknown unknown no no unknown unknown unknown yes no yes yes no yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes unknown unknown unknown no no unknown unknown unknown yes no yes yes no yes no
lola: memory consumption: 12011908 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 12011908 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes unknown unknown unknown no no unknown unknown unknown yes no yes yes no yes no
lola: memory consumption: 12012508 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.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-N0500P0"
export BK_EXAMINATION="CTLFireability"
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-N0500P0, examination is CTLFireability"
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-158987806400236"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0500P0.tgz
mv ClientsAndServers-PT-N0500P0 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;