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

About the Execution of 2019-Gold for ClientsAndServers-PT-N0010P1

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.050 2207357.00 2158614.00 8518.70 TFFFFFTTT?F?FFFF 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.r045-smll-158902068200040.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 win2019
Input is ClientsAndServers-PT-N0010P1, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068200040
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 15:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:21 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.4K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 07:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.2K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589260136571

info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N0010P1 @ 3570 seconds

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

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

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

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

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

FORMULA ClientsAndServers-PT-N0010P1-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

FORMULA ClientsAndServers-PT-N0010P1-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA ClientsAndServers-PT-N0010P1-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

FORMULA ClientsAndServers-PT-N0010P1-09 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 1363
rslt: Output for LTLFireability @ ClientsAndServers-PT-N0010P1

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

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

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

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

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

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

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

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 351
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(ssA)",
"processed_size": 13,
"rewrites": 83
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 390
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((FIREABLE(msA) OR (FIREABLE(msA) AND (F (FIREABLE(srF)) AND G (FIREABLE(crG))))))",
"processed_size": 84,
"rewrites": 83
},
"result":
{
"edges": 100,
"markings": 100,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 8,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (G (F ((NOT FIREABLE(crG) R X (G (FIREABLE(msA)))))))",
"processed_size": 55,
"rewrites": 83
},
"result":
{
"edges": 573,
"markings": 573,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 520
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(mrR)",
"processed_size": 13,
"rewrites": 85
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 5
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 624
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "NOT FIREABLE(ssF)",
"processed_size": 17,
"rewrites": 85
},
"result":
{
"edges": 572,
"markings": 573,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 780
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F (G ((FIREABLE(csF) AND F (NOT FIREABLE(srF))))))",
"processed_size": 53,
"rewrites": 83
},
"result":
{
"edges": 575,
"markings": 574,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1259
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (NOT FIREABLE(ssG)))",
"processed_size": 25,
"rewrites": 85
},
"result":
{
"edges": 7,
"markings": 8,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2519
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "NOT FIREABLE(crG)",
"processed_size": 17,
"rewrites": 85
},
"result":
{
"edges": 90317,
"markings": 65067,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (F (FIREABLE(srF))))",
"processed_size": 25,
"rewrites": 83
},
"result":
{
"edges": 573,
"markings": 573,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 13080,
"runtime": 2207.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(A((G(**) OR (X(*) R F(*)))) AND A(X(*))) : A(X(F(((X(**) U **) AND X(F((** AND G(**)))))))) : (A(G(*)) AND A(G(*))) : A(X(G(**))) : (A(F(**)) AND (A(G(**)) AND A(G(F(**))))) : A(G((** OR (X(**) OR G(**))))) : A(F(*)) : A(X(F((X(**) AND (** OR G(**)))))) : A((X(*) OR (G(**) AND X(F(*))))) : A(G(((F(**) AND (** OR G(**))) OR (G(F(**)) AND F((F(**) AND (** OR G(**)))))))) : (** AND (A(X((** OR G(**)))) AND A(X(F(**))))) : A(X(G((** OR F(**))))) : A(F(**)) : (A((** OR (** AND (F(**) AND G(**))))) AND A((X(**) OR F(**)))) : A(G(F((* R X(G(**)))))) : A(F(G((* AND F(*)))))"
},
"net":
{
"arcs": 54,
"conflict_clusters": 16,
"places": 25,
"places_significant": 17,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"preliminary_value": "yes no no no no no yes yes yes unknown no unknown no no no no ",
"value": "yes no no no no no yes yes yes unknown no unknown no no no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 43/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (((G (FIREABLE(maU)) OR NOT((X (NOT FIREABLE(maU)) U G (NOT FIREABLE(ssG))))) AND NOT(X (FIREABLE(maU))))) : A (F ((X ((X (FIREABLE(msG)) U FIREABLE(mfU))) AND F (X (X (F ((FIREABLE(mfU) AND G (FIREABLE(srR)))))))))) : A (NOT(F ((NOT FIREABLE(srF) OR F (FIREABLE(ssG)))))) : A (G (X (FIREABLE(ssF)))) : A ((F ((F (FIREABLE(msA)) U FIREABLE(crG))) AND G (((FIREABLE(srF) AND FIREABLE(msA)) AND F (FIREABLE(srF)))))) : A (G ((((FIREABLE(crA) AND FIREABLE(csR)) OR X (FIREABLE(srR))) OR G (NOT FIREABLE(csR))))) : A (NOT(G (FIREABLE(mrR)))) : A (X (F ((X (FIREABLE(csR)) AND (FIREABLE(csR) OR G (FIREABLE(srF))))))) : A ((G (FIREABLE(msG)) U X (NOT((FIREABLE(mfU) OR F ((() AND G (FIREABLE(mfU))))))))) : A (G ((F (G (F ((FIREABLE(csR) OR FIREABLE(srR))))) U (F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA))))))) : A ((FIREABLE(ssA) AND NOT(X (NOT(((FIREABLE(maU) OR G ((FIREABLE(maU) OR FIREABLE(mrF)))) AND F (NOT FIREABLE(mrR)))))))) : A (G (X (G ((FIREABLE(srG) OR F (FIREABLE(msG))))))) : A (((G (X (FIREABLE(mrR))) U X (F ((FIREABLE(csF) AND F (FIREABLE(ssF)))))) U F (FIREABLE(ssF)))) : A (((FIREABLE(msA) OR ((FIREABLE(msA) AND F (FIREABLE(srF))) AND G (FIREABLE(crG)))) AND (X (FIREABLE(crA)) OR F (FIREABLE(crA))))) : A (G (F (((FIREABLE(msA) U X (FIREABLE(csF))) U NOT((FIREABLE(crG) U F (NOT(G (X (FIREABLE(msA))))))))))) : A (NOT((FIREABLE(msG) U G (F ((NOT FIREABLE(crA) U (NOT FIREABLE(csF) OR G (FIREABLE(srF)))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((G (FIREABLE(maU)) OR (X (FIREABLE(maU)) R F (FIREABLE(ssG))))) AND A (X (NOT FIREABLE(maU))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (NOT FIREABLE(maU)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (NOT FIREABLE(maU)))
lola: processed formula length: 25
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (FIREABLE(maU)) OR (X (FIREABLE(maU)) R F (FIREABLE(ssG)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (FIREABLE(maU)) OR (X (FIREABLE(maU)) R F (FIREABLE(ssG)))))
lola: processed formula length: 66
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1689843 markings, 4817832 edges, 337969 markings/sec, 0 secs
lola: 3124137 markings, 9130121 edges, 286859 markings/sec, 5 secs
lola: 4527566 markings, 13338894 edges, 280686 markings/sec, 10 secs
lola: 5700659 markings, 17443916 edges, 234619 markings/sec, 15 secs
lola: 6773958 markings, 21931142 edges, 214660 markings/sec, 20 secs
lola: 7883899 markings, 25865178 edges, 221988 markings/sec, 25 secs
lola: 8974396 markings, 29692769 edges, 218099 markings/sec, 30 secs
lola: 9968794 markings, 33223988 edges, 198880 markings/sec, 35 secs
lola: 10950105 markings, 36678035 edges, 196262 markings/sec, 40 secs
lola: 11848058 markings, 40363949 edges, 179591 markings/sec, 45 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 12350279 markings, 43353879 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 1 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (((X (FIREABLE(msG)) U FIREABLE(mfU)) AND X (F ((FIREABLE(mfU) AND G (FIREABLE(srR)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (((X (FIREABLE(msG)) U FIREABLE(mfU)) AND X (F ((FIREABLE(mfU) AND G (FIREABLE(srR)))))))))
lola: processed formula length: 99
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 574 markings, 574 edges
lola: ========================================
lola: subprocess 2 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (FIREABLE(ssF))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (FIREABLE(ssF))))
lola: processed formula length: 25
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 573 markings, 573 edges
lola: ========================================
lola: subprocess 3 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(crA) AND FIREABLE(csR)) OR (X (FIREABLE(srR)) OR G (NOT FIREABLE(csR))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((FIREABLE(crA) AND FIREABLE(csR)) OR (X (FIREABLE(srR)) OR G (NOT FIREABLE(csR))))))
lola: processed formula length: 91
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 575 markings, 575 edges
lola: ========================================
lola: subprocess 4 will run for 292 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((X (FIREABLE(csR)) AND (FIREABLE(csR) OR G (FIREABLE(srF)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((X (FIREABLE(csR)) AND (FIREABLE(csR) OR G (FIREABLE(srF)))))))
lola: processed formula length: 72
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 5 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (NOT FIREABLE(mfU)) OR (G (FIREABLE(msG)) AND X (F (NOT FIREABLE(mfU))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (NOT FIREABLE(mfU)) OR (G (FIREABLE(msG)) AND X (F (NOT FIREABLE(mfU))))))
lola: processed formula length: 80
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 6 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(ssA) AND (A (X ((FIREABLE(maU) OR G ((FIREABLE(maU) OR FIREABLE(mrF)))))) AND A (X (F (NOT FIREABLE(mrR))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(ssA)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(ssA)
lola: processed formula length: 13
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((FIREABLE(srG) OR F (FIREABLE(msG))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((FIREABLE(srG) OR F (FIREABLE(msG))))))
lola: processed formula length: 48
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1955879 markings, 5331833 edges, 391176 markings/sec, 0 secs
lola: 3481352 markings, 10108627 edges, 305095 markings/sec, 5 secs
lola: 4920692 markings, 14627241 edges, 287868 markings/sec, 10 secs
lola: 6323675 markings, 19083232 edges, 280597 markings/sec, 15 secs
lola: 7826633 markings, 23881789 edges, 300592 markings/sec, 20 secs
lola: 9278492 markings, 28567090 edges, 290372 markings/sec, 25 secs
lola: 10721573 markings, 33238348 edges, 288616 markings/sec, 30 secs
lola: 11878660 markings, 38048597 edges, 231417 markings/sec, 35 secs
lola: 13353648 markings, 43247468 edges, 294998 markings/sec, 40 secs
lola: 14802577 markings, 48051415 edges, 289786 markings/sec, 45 secs
lola: 16168292 markings, 52705571 edges, 273143 markings/sec, 50 secs
lola: 17521120 markings, 57326100 edges, 270566 markings/sec, 55 secs
lola: 18850619 markings, 61894513 edges, 265900 markings/sec, 60 secs
lola: 20088980 markings, 66332621 edges, 247672 markings/sec, 65 secs
lola: 21419112 markings, 70857455 edges, 266026 markings/sec, 70 secs
lola: 22653491 markings, 75237467 edges, 246876 markings/sec, 75 secs
lola: 23763456 markings, 79060561 edges, 221993 markings/sec, 80 secs
lola: 24861653 markings, 83036812 edges, 219639 markings/sec, 85 secs
lola: 26118630 markings, 87287069 edges, 251395 markings/sec, 90 secs
lola: 27302013 markings, 91582371 edges, 236677 markings/sec, 95 secs
lola: 28625027 markings, 96125106 edges, 264603 markings/sec, 100 secs
lola: 29840318 markings, 100446755 edges, 243058 markings/sec, 105 secs
lola: 31027323 markings, 104783560 edges, 237401 markings/sec, 110 secs
lola: 32371616 markings, 109355942 edges, 268859 markings/sec, 115 secs
lola: 33555293 markings, 113622950 edges, 236735 markings/sec, 120 secs
lola: 34749096 markings, 117954579 edges, 238761 markings/sec, 125 secs
lola: 36071091 markings, 122512256 edges, 264399 markings/sec, 130 secs
lola: 37275223 markings, 126789742 edges, 240826 markings/sec, 135 secs
lola: 38449381 markings, 131059844 edges, 234832 markings/sec, 140 secs
lola: 39646261 markings, 135433659 edges, 239376 markings/sec, 145 secs
lola: 40992547 markings, 139981125 edges, 269257 markings/sec, 150 secs
lola: 42165197 markings, 144205591 edges, 234530 markings/sec, 155 secs
lola: 43332773 markings, 148470791 edges, 233515 markings/sec, 160 secs
lola: 44526453 markings, 152831851 edges, 238736 markings/sec, 165 secs
lola: 45737081 markings, 157460262 edges, 242126 markings/sec, 170 secs
lola: 46443740 markings, 161850044 edges, 141332 markings/sec, 175 secs
lola: 47152397 markings, 166307288 edges, 141731 markings/sec, 180 secs
lola: 47876660 markings, 170895094 edges, 144853 markings/sec, 185 secs
lola: 49151093 markings, 176004080 edges, 254887 markings/sec, 190 secs
lola: 50578331 markings, 180912198 edges, 285448 markings/sec, 195 secs
lola: 51934863 markings, 185617979 edges, 271306 markings/sec, 200 secs
lola: 53266588 markings, 190261570 edges, 266345 markings/sec, 205 secs
lola: 54475510 markings, 194773896 edges, 241784 markings/sec, 210 secs
lola: 55779443 markings, 199317740 edges, 260787 markings/sec, 215 secs
lola: 56922156 markings, 203690957 edges, 228543 markings/sec, 220 secs
lola: 58237287 markings, 208276301 edges, 263026 markings/sec, 225 secs
lola: 59387182 markings, 212594942 edges, 229979 markings/sec, 230 secs
lola: 60519904 markings, 216950684 edges, 226544 markings/sec, 235 secs
lola: 61834620 markings, 221511424 edges, 262943 markings/sec, 240 secs
lola: 62986962 markings, 225813452 edges, 230468 markings/sec, 245 secs
lola: 64087091 markings, 230037599 edges, 220026 markings/sec, 250 secs
lola: 65185864 markings, 234355484 edges, 219755 markings/sec, 255 secs
lola: 66510464 markings, 238880625 edges, 264920 markings/sec, 260 secs
lola: 67644218 markings, 243134235 edges, 226751 markings/sec, 265 secs
lola: 68735620 markings, 247323111 edges, 218280 markings/sec, 270 secs
lola: 69811885 markings, 251524535 edges, 215253 markings/sec, 275 secs
lola: 70988433 markings, 255947898 edges, 235310 markings/sec, 280 secs
lola: 72273122 markings, 260397815 edges, 256938 markings/sec, 285 secs
lola: 73389750 markings, 264612885 edges, 223326 markings/sec, 290 secs
lola: 74447654 markings, 268733748 edges, 211581 markings/sec, 295 secs
lola: 75537761 markings, 272921779 edges, 218021 markings/sec, 300 secs
lola: 76613671 markings, 277139776 edges, 215182 markings/sec, 305 secs
lola: 77798839 markings, 281527357 edges, 237034 markings/sec, 310 secs
lola: 79062302 markings, 285941574 edges, 252693 markings/sec, 315 secs
lola: 80163375 markings, 290110005 edges, 220215 markings/sec, 320 secs
lola: 81216887 markings, 294208806 edges, 210702 markings/sec, 325 secs
lola: 82289481 markings, 298354159 edges, 214519 markings/sec, 330 secs
lola: 83342432 markings, 302486625 edges, 210590 markings/sec, 335 secs
lola: 84425893 markings, 306741797 edges, 216692 markings/sec, 340 secs
lola: 85634012 markings, 311147125 edges, 241624 markings/sec, 345 secs
lola: 86892182 markings, 315536179 edges, 251634 markings/sec, 350 secs
lola: 87970134 markings, 319636339 edges, 215590 markings/sec, 355 secs
lola: 89015713 markings, 323700742 edges, 209116 markings/sec, 360 secs
lola: 90074502 markings, 327793957 edges, 211758 markings/sec, 365 secs
lola: 91111701 markings, 331862902 edges, 207440 markings/sec, 370 secs
lola: 92159944 markings, 335975711 edges, 209649 markings/sec, 375 secs
lola: 93234120 markings, 340192514 edges, 214835 markings/sec, 380 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown no unknown no unknown yes yes unknown no unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((FIREABLE(msA) OR (FIREABLE(msA) AND (F (FIREABLE(srF)) AND G (FIREABLE(crG)))))) AND A ((X (FIREABLE(crA)) OR F (FIREABLE(crA)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(msA) OR (FIREABLE(msA) AND (F (FIREABLE(srF)) AND G (FIREABLE(crG))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(msA) OR (FIREABLE(msA) AND (F (FIREABLE(srF)) AND G (FIREABLE(crG))))))
lola: processed formula length: 84
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 100 markings, 100 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((NOT FIREABLE(crG) R X (G (FIREABLE(msA)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((NOT FIREABLE(crG) R X (G (FIREABLE(msA)))))))
lola: processed formula length: 55
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 573 markings, 573 edges
lola: ========================================
lola: subprocess 10 will run for 520 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (NOT FIREABLE(mrR)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: FIREABLE(mrR)
lola: processed formula length: 13
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 624 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(ssF)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(ssF)
lola: processed formula length: 17
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 573 markings, 572 edges
lola: ========================================
lola: subprocess 12 will run for 780 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(csF) AND F (NOT FIREABLE(srF))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(csF) AND F (NOT FIREABLE(srF))))))
lola: processed formula length: 53
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 574 markings, 575 edges
lola: ========================================
lola: subprocess 13 will run for 1040 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))) OR (G (F ((FIREABLE(csR) OR FIREABLE(srR)))) AND F ((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))) OR (G (F ((FIREABLE(csR) OR FIREABLE(srR)))) AND F ((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))))))))
lola: processed formula length: 186
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 19 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 1541172 markings, 5026456 edges, 308234 markings/sec, 0 secs
lola: 2816940 markings, 9732537 edges, 255154 markings/sec, 5 secs
lola: 4047438 markings, 14361162 edges, 246100 markings/sec, 10 secs
lola: 5222402 markings, 18926787 edges, 234993 markings/sec, 15 secs
lola: 6291695 markings, 23327249 edges, 213859 markings/sec, 20 secs
lola: 7489659 markings, 27854688 edges, 239593 markings/sec, 25 secs
lola: 8613203 markings, 32370044 edges, 224709 markings/sec, 30 secs
lola: 9736661 markings, 36732908 edges, 224692 markings/sec, 35 secs
lola: 10909830 markings, 41310398 edges, 234634 markings/sec, 40 secs
lola: 12031318 markings, 45731975 edges, 224298 markings/sec, 45 secs
lola: 13042397 markings, 49921623 edges, 202216 markings/sec, 50 secs
lola: 13969681 markings, 53987523 edges, 185457 markings/sec, 55 secs
lola: 14877430 markings, 58048015 edges, 181550 markings/sec, 60 secs
lola: 15841178 markings, 62218984 edges, 192750 markings/sec, 65 secs
lola: 16872779 markings, 66371848 edges, 206320 markings/sec, 70 secs
lola: 17920950 markings, 70685408 edges, 209634 markings/sec, 75 secs
lola: 19045232 markings, 75250450 edges, 224856 markings/sec, 80 secs
lola: 20136625 markings, 79639802 edges, 218279 markings/sec, 85 secs
lola: 21140971 markings, 83886418 edges, 200869 markings/sec, 90 secs
lola: 22230636 markings, 88313507 edges, 217933 markings/sec, 95 secs
lola: 23261062 markings, 92618865 edges, 206085 markings/sec, 100 secs
lola: 24345433 markings, 97017062 edges, 216874 markings/sec, 105 secs
lola: 25290597 markings, 101156749 edges, 189033 markings/sec, 110 secs
lola: 26328176 markings, 105568753 edges, 207516 markings/sec, 115 secs
lola: 27322724 markings, 109768289 edges, 198910 markings/sec, 120 secs
lola: 28303610 markings, 114010991 edges, 196177 markings/sec, 125 secs
lola: 29430563 markings, 118641164 edges, 225391 markings/sec, 130 secs
lola: 30517721 markings, 122969395 edges, 217432 markings/sec, 135 secs
lola: 31367770 markings, 127032849 edges, 170010 markings/sec, 140 secs
lola: 32311681 markings, 131066298 edges, 188782 markings/sec, 145 secs
lola: 33216211 markings, 135144897 edges, 180906 markings/sec, 150 secs
lola: 34163088 markings, 139213641 edges, 189375 markings/sec, 155 secs
lola: 35239311 markings, 143731534 edges, 215245 markings/sec, 160 secs
lola: 36199167 markings, 147914135 edges, 191971 markings/sec, 165 secs
lola: 37247468 markings, 152356011 edges, 209660 markings/sec, 170 secs
lola: 38211154 markings, 156502727 edges, 192737 markings/sec, 175 secs
lola: 39217326 markings, 160816401 edges, 201234 markings/sec, 180 secs
lola: 40243348 markings, 165091505 edges, 205204 markings/sec, 185 secs
lola: 41233018 markings, 169221826 edges, 197934 markings/sec, 190 secs
lola: 42130820 markings, 173258566 edges, 179560 markings/sec, 195 secs
lola: 43068036 markings, 177397935 edges, 187443 markings/sec, 200 secs
lola: 44069976 markings, 181602971 edges, 200388 markings/sec, 205 secs
lola: 44982367 markings, 185588509 edges, 182478 markings/sec, 210 secs
lola: 45834045 markings, 189482240 edges, 170336 markings/sec, 215 secs
lola: 46896728 markings, 193877088 edges, 212537 markings/sec, 220 secs
lola: 47817815 markings, 198033025 edges, 184217 markings/sec, 225 secs
lola: 48811028 markings, 202203864 edges, 198643 markings/sec, 230 secs
lola: 49734670 markings, 206311825 edges, 184728 markings/sec, 235 secs
lola: 50584754 markings, 210181713 edges, 170017 markings/sec, 240 secs
lola: 51492006 markings, 214139936 edges, 181450 markings/sec, 245 secs
lola: 52477233 markings, 218385210 edges, 197045 markings/sec, 250 secs
lola: 53459036 markings, 222703783 edges, 196361 markings/sec, 255 secs
lola: 54330155 markings, 226654360 edges, 174224 markings/sec, 260 secs
lola: 55293364 markings, 230731021 edges, 192642 markings/sec, 265 secs
lola: 56330389 markings, 235016867 edges, 207405 markings/sec, 270 secs
lola: 57227662 markings, 238965506 edges, 179455 markings/sec, 275 secs
lola: 58095168 markings, 242940365 edges, 173501 markings/sec, 280 secs
lola: 58925270 markings, 246919298 edges, 166020 markings/sec, 285 secs
lola: 59847046 markings, 251011709 edges, 184355 markings/sec, 290 secs
lola: 60745233 markings, 255068117 edges, 179637 markings/sec, 295 secs
lola: 61736163 markings, 259222508 edges, 198186 markings/sec, 300 secs
lola: 62785339 markings, 263532364 edges, 209835 markings/sec, 305 secs
lola: 63645160 markings, 267590269 edges, 171964 markings/sec, 310 secs
lola: 64480259 markings, 271492536 edges, 167020 markings/sec, 315 secs
lola: 65351218 markings, 275470203 edges, 174192 markings/sec, 320 secs
lola: 66174630 markings, 279294033 edges, 164682 markings/sec, 325 secs
lola: 66992899 markings, 283133695 edges, 163654 markings/sec, 330 secs
lola: 67999274 markings, 287559303 edges, 201275 markings/sec, 335 secs
lola: 68970603 markings, 291718553 edges, 194266 markings/sec, 340 secs
lola: 69832756 markings, 295631082 edges, 172431 markings/sec, 345 secs
lola: 70852186 markings, 299945482 edges, 203886 markings/sec, 350 secs
lola: 71846447 markings, 304101064 edges, 198852 markings/sec, 355 secs
lola: 72768561 markings, 308141226 edges, 184423 markings/sec, 360 secs
lola: 73705968 markings, 312473944 edges, 187481 markings/sec, 365 secs
lola: 74593983 markings, 316504759 edges, 177603 markings/sec, 370 secs
lola: 75581080 markings, 320600160 edges, 197419 markings/sec, 375 secs
lola: 76815161 markings, 325174829 edges, 246816 markings/sec, 380 secs
lola: 77825639 markings, 329588834 edges, 202096 markings/sec, 385 secs
lola: 78653945 markings, 333403465 edges, 165661 markings/sec, 390 secs
lola: 79400345 markings, 337108630 edges, 149280 markings/sec, 395 secs
lola: 80188583 markings, 340855175 edges, 157648 markings/sec, 400 secs
lola: 80938879 markings, 344543456 edges, 150059 markings/sec, 405 secs
lola: 81880324 markings, 348659702 edges, 188289 markings/sec, 410 secs
lola: 82898128 markings, 352829488 edges, 203561 markings/sec, 415 secs
lola: 83743223 markings, 356814401 edges, 169019 markings/sec, 420 secs
lola: 84806778 markings, 361091279 edges, 212711 markings/sec, 425 secs
lola: 85766996 markings, 365392644 edges, 192044 markings/sec, 430 secs
lola: 86623282 markings, 369357981 edges, 171257 markings/sec, 435 secs
lola: 87404278 markings, 373113990 edges, 156199 markings/sec, 440 secs
lola: 88343185 markings, 377099834 edges, 187781 markings/sec, 445 secs
lola: 89298871 markings, 381265709 edges, 191137 markings/sec, 450 secs
lola: 90336056 markings, 385618812 edges, 207437 markings/sec, 455 secs
lola: 91243085 markings, 389649931 edges, 181406 markings/sec, 460 secs
lola: 92078830 markings, 393482378 edges, 167149 markings/sec, 465 secs
lola: 92919084 markings, 397346298 edges, 168051 markings/sec, 470 secs
lola: 93820930 markings, 401287402 edges, 180369 markings/sec, 475 secs
lola: 94716290 markings, 405178871 edges, 179072 markings/sec, 480 secs
lola: 95533105 markings, 409062535 edges, 163363 markings/sec, 485 secs
lola: 96319816 markings, 412802593 edges, 157342 markings/sec, 490 secs
lola: 97175107 markings, 416660871 edges, 171058 markings/sec, 495 secs
lola: 97969518 markings, 420461133 edges, 158882 markings/sec, 500 secs
lola: 98890283 markings, 424471920 edges, 184153 markings/sec, 505 secs
lola: 99699159 markings, 428297997 edges, 161775 markings/sec, 510 secs
lola: 100548165 markings, 432197487 edges, 169801 markings/sec, 515 secs
lola: 101364706 markings, 435967160 edges, 163308 markings/sec, 520 secs
lola: 102195117 markings, 439768649 edges, 166082 markings/sec, 525 secs
lola: 103088159 markings, 443833971 edges, 178608 markings/sec, 530 secs
lola: 104102712 markings, 448209044 edges, 202911 markings/sec, 535 secs
lola: 105078265 markings, 452348299 edges, 195111 markings/sec, 540 secs
lola: 105975862 markings, 456430903 edges, 179519 markings/sec, 545 secs
lola: 106928327 markings, 460716728 edges, 190493 markings/sec, 550 secs
lola: 107913098 markings, 464913022 edges, 196954 markings/sec, 555 secs
lola: 108700064 markings, 468677671 edges, 157393 markings/sec, 560 secs
lola: 109502214 markings, 472579319 edges, 160430 markings/sec, 565 secs
lola: 110491144 markings, 476731076 edges, 197786 markings/sec, 570 secs
lola: 111431393 markings, 480741369 edges, 188050 markings/sec, 575 secs
lola: 112048635 markings, 483463715 edges, 123448 markings/sec, 580 secs
lola: 112053138 markings, 483488221 edges, 901 markings/sec, 585 secs
lola: 112053202 markings, 483488552 edges, 13 markings/sec, 590 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1259 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(srF))) AND A (G (NOT FIREABLE(ssG))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1259 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(ssG)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (NOT FIREABLE(ssG)))
lola: processed formula length: 25
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
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:721
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 8 markings, 7 edges
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: FIREABLE(ssG)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 2519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (FIREABLE(crG))) AND (A (G ((FIREABLE(srF) AND FIREABLE(msA)))) AND A (G (F (FIREABLE(srF))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(crG)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(crG)
lola: processed formula length: 17
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 65067 markings, 90317 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(srF))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(srF))))
lola: processed formula length: 25
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 573 markings, 573 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (G ((FIREABLE(srG) OR F (FIREABLE(msG))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((FIREABLE(srG) OR F (FIREABLE(msG))))))
lola: processed formula length: 48
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1952583 markings, 5321955 edges, 390517 markings/sec, 0 secs
lola: 3649209 markings, 10628860 edges, 339325 markings/sec, 5 secs
lola: 5160926 markings, 15416492 edges, 302343 markings/sec, 10 secs
lola: 6621764 markings, 20064035 edges, 292168 markings/sec, 15 secs
lola: 8081900 markings, 24704712 edges, 292027 markings/sec, 20 secs
lola: 9480964 markings, 29231319 edges, 279813 markings/sec, 25 secs
lola: 10871662 markings, 33739823 edges, 278140 markings/sec, 30 secs
lola: 11938404 markings, 38386520 edges, 213348 markings/sec, 35 secs
lola: 13391597 markings, 43368135 edges, 290639 markings/sec, 40 secs
lola: 14720298 markings, 47792296 edges, 265740 markings/sec, 45 secs
lola: 15997257 markings, 52104454 edges, 255392 markings/sec, 50 secs
lola: 17245284 markings, 56361085 edges, 249605 markings/sec, 55 secs
lola: 18406212 markings, 60471497 edges, 232186 markings/sec, 60 secs
lola: 19602814 markings, 64579188 edges, 239320 markings/sec, 65 secs
lola: 20835502 markings, 68787389 edges, 246538 markings/sec, 70 secs
lola: 21942780 markings, 72751131 edges, 221456 markings/sec, 75 secs
lola: 23168441 markings, 76930129 edges, 245132 markings/sec, 80 secs
lola: 24260556 markings, 80855062 edges, 218423 markings/sec, 85 secs
lola: 25462087 markings, 85017901 edges, 240306 markings/sec, 90 secs
lola: 26575184 markings, 88930338 edges, 222619 markings/sec, 95 secs
lola: 27648659 markings, 92845353 edges, 214695 markings/sec, 100 secs
lola: 28878425 markings, 97007029 edges, 245953 markings/sec, 105 secs
lola: 29951249 markings, 100859503 edges, 214565 markings/sec, 110 secs
lola: 31029349 markings, 104791155 edges, 215620 markings/sec, 115 secs
lola: 32262917 markings, 108980211 edges, 246714 markings/sec, 120 secs
lola: 33336993 markings, 112809721 edges, 214815 markings/sec, 125 secs
lola: 34399049 markings, 116679103 edges, 212411 markings/sec, 130 secs
lola: 35494732 markings, 120694827 edges, 219137 markings/sec, 135 secs
lola: 36710583 markings, 124753623 edges, 243170 markings/sec, 140 secs
lola: 37759587 markings, 128547230 edges, 209801 markings/sec, 145 secs
lola: 38826716 markings, 132437005 edges, 213426 markings/sec, 150 secs
lola: 39917569 markings, 136447113 edges, 218171 markings/sec, 155 secs
lola: 41152651 markings, 140548722 edges, 247016 markings/sec, 160 secs
lola: 42195682 markings, 144319487 edges, 208606 markings/sec, 165 secs
lola: 43251045 markings, 148165656 edges, 211073 markings/sec, 170 secs
lola: 44314518 markings, 152072994 edges, 212695 markings/sec, 175 secs
lola: 45533357 markings, 156273484 edges, 243768 markings/sec, 180 secs
lola: 46194523 markings, 160271575 edges, 132233 markings/sec, 185 secs
lola: 46812614 markings, 164173246 edges, 123618 markings/sec, 190 secs
lola: 47451902 markings, 168212784 edges, 127858 markings/sec, 195 secs
lola: 48142549 markings, 172488838 edges, 138129 markings/sec, 200 secs
lola: 49527231 markings, 177301491 edges, 276936 markings/sec, 205 secs
lola: 50843981 markings, 181797342 edges, 263350 markings/sec, 210 secs
lola: 52035984 markings, 186014024 edges, 238401 markings/sec, 215 secs
lola: 53314694 markings, 190446660 edges, 255742 markings/sec, 220 secs
lola: 54533964 markings, 194970855 edges, 243854 markings/sec, 225 secs
lola: 55830090 markings, 199510403 edges, 259225 markings/sec, 230 secs
lola: 56972673 markings, 203893504 edges, 228517 markings/sec, 235 secs
lola: 58297843 markings, 208487241 edges, 265034 markings/sec, 240 secs
lola: 59440422 markings, 212809975 edges, 228516 markings/sec, 245 secs
lola: 60576006 markings, 217175780 edges, 227117 markings/sec, 250 secs
lola: 61897076 markings, 221743382 edges, 264214 markings/sec, 255 secs
lola: 63039373 markings, 226025256 edges, 228459 markings/sec, 260 secs
lola: 64142223 markings, 230258722 edges, 220570 markings/sec, 265 secs
lola: 65257160 markings, 234607293 edges, 222987 markings/sec, 270 secs
lola: 66579253 markings, 239119638 edges, 264419 markings/sec, 275 secs
lola: 67700320 markings, 243360969 edges, 224213 markings/sec, 280 secs
lola: 68792835 markings, 247554318 edges, 218503 markings/sec, 285 secs
lola: 69889234 markings, 251792091 edges, 219280 markings/sec, 290 secs
lola: 71061811 markings, 256206081 edges, 234515 markings/sec, 295 secs
lola: 72337515 markings, 260649774 edges, 255141 markings/sec, 300 secs
lola: 73458091 markings, 264868849 edges, 224115 markings/sec, 305 secs
lola: 74512245 markings, 268994754 edges, 210831 markings/sec, 310 secs
lola: 75606525 markings, 273193550 edges, 218856 markings/sec, 315 secs
lola: 76685200 markings, 277427174 edges, 215735 markings/sec, 320 secs
lola: 77883798 markings, 281826571 edges, 239720 markings/sec, 325 secs
lola: 79150297 markings, 286251412 edges, 253300 markings/sec, 330 secs
lola: 80236303 markings, 290400240 edges, 217201 markings/sec, 335 secs
lola: 81310947 markings, 294539768 edges, 214929 markings/sec, 340 secs
lola: 82367298 markings, 298666873 edges, 211270 markings/sec, 345 secs
lola: 83422188 markings, 302807335 edges, 210978 markings/sec, 350 secs
lola: 84510850 markings, 307083435 edges, 217732 markings/sec, 355 secs
lola: 85735830 markings, 311505967 edges, 244996 markings/sec, 360 secs
lola: 86986043 markings, 315887583 edges, 250043 markings/sec, 365 secs
lola: 88056152 markings, 319980840 edges, 214022 markings/sec, 370 secs
lola: 89121042 markings, 324077335 edges, 212978 markings/sec, 375 secs
lola: 90164396 markings, 328155525 edges, 208671 markings/sec, 380 secs
lola: 91205390 markings, 332239774 edges, 208199 markings/sec, 385 secs
lola: 92256579 markings, 336364526 edges, 210238 markings/sec, 390 secs
lola: 93337087 markings, 340606929 edges, 216102 markings/sec, 395 secs
lola: 94528806 markings, 344982183 edges, 238344 markings/sec, 400 secs
lola: 95790804 markings, 349365247 edges, 252400 markings/sec, 405 secs
lola: 96880243 markings, 353471470 edges, 217888 markings/sec, 410 secs
lola: 97911180 markings, 357490129 edges, 206187 markings/sec, 415 secs
lola: 98972285 markings, 361568542 edges, 212221 markings/sec, 420 secs
lola: 100014895 markings, 365644346 edges, 208522 markings/sec, 425 secs
lola: 101059211 markings, 369741349 edges, 208863 markings/sec, 430 secs
lola: 102109545 markings, 373861758 edges, 210067 markings/sec, 435 secs
lola: 103171422 markings, 378031509 edges, 212375 markings/sec, 440 secs
lola: 104256395 markings, 382328795 edges, 216995 markings/sec, 445 secs
lola: 105513011 markings, 386711409 edges, 251323 markings/sec, 450 secs
lola: 106701721 markings, 390959114 edges, 237742 markings/sec, 455 secs
lola: 107752155 markings, 394986455 edges, 210087 markings/sec, 460 secs
lola: 108799069 markings, 398994116 edges, 209383 markings/sec, 465 secs
lola: 109807995 markings, 402951087 edges, 201785 markings/sec, 470 secs
lola: 110826972 markings, 406946454 edges, 203795 markings/sec, 475 secs
lola: 111855445 markings, 410979320 edges, 205695 markings/sec, 480 secs
lola: 112881930 markings, 415005098 edges, 205297 markings/sec, 485 secs
lola: 113916746 markings, 419063921 edges, 206963 markings/sec, 490 secs
lola: 113975529 markings, 419299698 edges, 11757 markings/sec, 495 secs
lola: 113979392 markings, 419315311 edges, 773 markings/sec, 500 secs
lola: 113979442 markings, 419315524 edges, 10 markings/sec, 505 secs
lola: 113981705 markings, 419324578 edges, 453 markings/sec, 510 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))) OR (G (F ((FIREABLE(csR) OR FIREABLE(srR)))) AND F ((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))) OR (G (F ((FIREABLE(csR) OR FIREABLE(srR)))) AND F ((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))))))))
lola: processed formula length: 186
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 19 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 1448202 markings, 4688769 edges, 289640 markings/sec, 0 secs
lola: 2735759 markings, 9416150 edges, 257511 markings/sec, 5 secs
lola: 3940625 markings, 13939077 edges, 240973 markings/sec, 10 secs
lola: 5055595 markings, 18273624 edges, 222994 markings/sec, 15 secs
lola: 6106495 markings, 22557178 edges, 210180 markings/sec, 20 secs
lola: 7251038 markings, 26911404 edges, 228909 markings/sec, 25 secs
lola: 8313049 markings, 31221013 edges, 212402 markings/sec, 30 secs
lola: 9325018 markings, 35286737 edges, 202394 markings/sec, 35 secs
lola: 10570571 markings, 39918030 edges, 249111 markings/sec, 40 secs
lola: 11707754 markings, 44374835 edges, 227437 markings/sec, 45 secs
lola: 12728718 markings, 48599207 edges, 204193 markings/sec, 50 secs
lola: 13682467 markings, 52665095 edges, 190750 markings/sec, 55 secs
lola: 14568397 markings, 56741099 edges, 177186 markings/sec, 60 secs
lola: 15545328 markings, 60912792 edges, 195386 markings/sec, 65 secs
lola: 16448782 markings, 64735423 edges, 180691 markings/sec, 70 secs
lola: 17399537 markings, 68664073 edges, 190151 markings/sec, 75 secs
lola: 18489046 markings, 72955577 edges, 217902 markings/sec, 80 secs
lola: 19551760 markings, 77317272 edges, 212543 markings/sec, 85 secs
lola: 20539784 markings, 81372782 edges, 197605 markings/sec, 90 secs
lola: 21551400 markings, 85515027 edges, 202323 markings/sec, 95 secs
lola: 22562639 markings, 89765201 edges, 202248 markings/sec, 100 secs
lola: 23570022 markings, 93885658 edges, 201477 markings/sec, 105 secs
lola: 24575585 markings, 98009430 edges, 201113 markings/sec, 110 secs
lola: 25483255 markings, 101981269 edges, 181534 markings/sec, 115 secs
lola: 26421910 markings, 105962188 edges, 187731 markings/sec, 120 secs
lola: 27411833 markings, 110160069 edges, 197985 markings/sec, 125 secs
lola: 28396994 markings, 114431939 edges, 197032 markings/sec, 130 secs
lola: 29544833 markings, 119088673 edges, 229568 markings/sec, 135 secs
lola: 30602988 markings, 123359236 edges, 211631 markings/sec, 140 secs
lola: 31456478 markings, 127392482 edges, 170698 markings/sec, 145 secs
lola: 32400903 markings, 131440946 edges, 188885 markings/sec, 150 secs
lola: 33287006 markings, 135487634 edges, 177221 markings/sec, 155 secs
lola: 34234024 markings, 139549722 edges, 189404 markings/sec, 160 secs
lola: 35317811 markings, 144056207 edges, 216757 markings/sec, 165 secs
lola: 36276426 markings, 148259417 edges, 191723 markings/sec, 170 secs
lola: 37335707 markings, 152682458 edges, 211856 markings/sec, 175 secs
lola: 38292568 markings, 156826729 edges, 191372 markings/sec, 180 secs
lola: 39301486 markings, 161171674 edges, 201784 markings/sec, 185 secs
lola: 40323179 markings, 165409596 edges, 204339 markings/sec, 190 secs
lola: 41310418 markings, 169535133 edges, 197448 markings/sec, 195 secs
lola: 42190773 markings, 173553658 edges, 176071 markings/sec, 200 secs
lola: 43142037 markings, 177721283 edges, 190253 markings/sec, 205 secs
lola: 44154255 markings, 181929818 edges, 202444 markings/sec, 210 secs
lola: 45049940 markings, 185886103 edges, 179137 markings/sec, 215 secs
lola: 45899496 markings, 189773129 edges, 169911 markings/sec, 220 secs
lola: 46971465 markings, 194198009 edges, 214394 markings/sec, 225 secs
lola: 47874740 markings, 198320162 edges, 180655 markings/sec, 230 secs
lola: 48879104 markings, 202481770 edges, 200873 markings/sec, 235 secs
lola: 49790331 markings, 206578276 edges, 182245 markings/sec, 240 secs
lola: 50642588 markings, 210439494 edges, 170451 markings/sec, 245 secs
lola: 51558836 markings, 214413381 edges, 183250 markings/sec, 250 secs
lola: 52537825 markings, 218656160 edges, 195798 markings/sec, 255 secs
lola: 53512347 markings, 222948759 edges, 194904 markings/sec, 260 secs
lola: 54382041 markings, 226904134 edges, 173939 markings/sec, 265 secs
lola: 55372277 markings, 231028054 edges, 198047 markings/sec, 270 secs
lola: 56395630 markings, 235294101 edges, 204671 markings/sec, 275 secs
lola: 57284321 markings, 239208038 edges, 177738 markings/sec, 280 secs
lola: 58152953 markings, 243218982 edges, 173726 markings/sec, 285 secs
lola: 58988153 markings, 247187174 edges, 167040 markings/sec, 290 secs
lola: 59907770 markings, 251284400 edges, 183923 markings/sec, 295 secs
lola: 60808023 markings, 255326560 edges, 180051 markings/sec, 300 secs
lola: 61799764 markings, 259508519 edges, 198348 markings/sec, 305 secs
lola: 62857400 markings, 263854289 edges, 211527 markings/sec, 310 secs
lola: 63698869 markings, 267853004 edges, 168294 markings/sec, 315 secs
lola: 64544021 markings, 271769969 edges, 169030 markings/sec, 320 secs
lola: 65411740 markings, 275733541 edges, 173544 markings/sec, 325 secs
lola: 66228071 markings, 279535334 edges, 163266 markings/sec, 330 secs
lola: 67056914 markings, 283416619 edges, 165769 markings/sec, 335 secs
lola: 68070403 markings, 287842303 edges, 202698 markings/sec, 340 secs
lola: 69042841 markings, 292030513 edges, 194488 markings/sec, 345 secs
lola: 69887057 markings, 295901352 edges, 168843 markings/sec, 350 secs
lola: 70910956 markings, 300234068 edges, 204780 markings/sec, 355 secs
lola: 71899091 markings, 304371964 edges, 197627 markings/sec, 360 secs
lola: 72827745 markings, 308431851 edges, 185731 markings/sec, 365 secs
lola: 73786635 markings, 312766834 edges, 191778 markings/sec, 370 secs
lola: 74652664 markings, 316761842 edges, 173206 markings/sec, 375 secs
lola: 75668549 markings, 320925134 edges, 203177 markings/sec, 380 secs
lola: 76887191 markings, 325485604 edges, 243728 markings/sec, 385 secs
lola: 77906411 markings, 329915075 edges, 203844 markings/sec, 390 secs
lola: 78704580 markings, 333666177 edges, 159634 markings/sec, 395 secs
lola: 79460509 markings, 337395091 edges, 151186 markings/sec, 400 secs
lola: 80239367 markings, 341121145 edges, 155772 markings/sec, 405 secs
lola: 81005527 markings, 344850124 edges, 153232 markings/sec, 410 secs
lola: 81959311 markings, 348962784 edges, 190757 markings/sec, 415 secs
lola: 82964835 markings, 353130213 edges, 201105 markings/sec, 420 secs
lola: 83824068 markings, 357121767 edges, 171847 markings/sec, 425 secs
lola: 84872307 markings, 361392331 edges, 209648 markings/sec, 430 secs
lola: 85839523 markings, 365714474 edges, 193443 markings/sec, 435 secs
lola: 86676094 markings, 369627644 edges, 167314 markings/sec, 440 secs
lola: 87478001 markings, 373431399 edges, 160381 markings/sec, 445 secs
lola: 88420099 markings, 377409345 edges, 188420 markings/sec, 450 secs
lola: 89364971 markings, 381586819 edges, 188974 markings/sec, 455 secs
lola: 90420094 markings, 385948843 edges, 211025 markings/sec, 460 secs
lola: 91300805 markings, 389950261 edges, 176142 markings/sec, 465 secs
lola: 92146595 markings, 393781225 edges, 169158 markings/sec, 470 secs
lola: 92988758 markings, 397655237 edges, 168433 markings/sec, 475 secs
lola: 93888965 markings, 401619253 edges, 180041 markings/sec, 480 secs
lola: 94794810 markings, 405534511 edges, 181169 markings/sec, 485 secs
lola: 95615005 markings, 409399257 edges, 164039 markings/sec, 490 secs
lola: 96396336 markings, 413168762 edges, 156266 markings/sec, 495 secs
lola: 97272282 markings, 417069310 edges, 175189 markings/sec, 500 secs
lola: 98053535 markings, 420871496 edges, 156251 markings/sec, 505 secs
lola: 98975680 markings, 424909350 edges, 184429 markings/sec, 510 secs
lola: 99786110 markings, 428740370 edges, 162086 markings/sec, 515 secs
lola: 100638364 markings, 432655466 edges, 170451 markings/sec, 520 secs
lola: 101486279 markings, 436450466 edges, 169583 markings/sec, 525 secs
lola: 102306284 markings, 440307961 edges, 164001 markings/sec, 530 secs
lola: 103213558 markings, 444413078 edges, 181455 markings/sec, 535 secs
lola: 104243641 markings, 448825670 edges, 206017 markings/sec, 540 secs
lola: 105211014 markings, 452978539 edges, 193475 markings/sec, 545 secs
lola: 106112192 markings, 457098627 edges, 180236 markings/sec, 550 secs
lola: 107130398 markings, 461455288 edges, 203641 markings/sec, 555 secs
lola: 108056717 markings, 465579928 edges, 185264 markings/sec, 560 secs
lola: 108833475 markings, 469363616 edges, 155352 markings/sec, 565 secs
lola: 109680014 markings, 473331698 edges, 169308 markings/sec, 570 secs
lola: 110672317 markings, 477466193 edges, 198461 markings/sec, 575 secs
lola: 111644845 markings, 481595194 edges, 194506 markings/sec, 580 secs
lola: 112099483 markings, 483726497 edges, 90928 markings/sec, 585 secs
lola: 112111855 markings, 483784413 edges, 2474 markings/sec, 590 secs
lola: 112111911 markings, 483784694 edges, 11 markings/sec, 595 secs
lola: 112111945 markings, 483784889 edges, 7 markings/sec, 600 secs
lola: 112126177 markings, 483855080 edges, 2846 markings/sec, 605 secs
lola: 112126234 markings, 483855387 edges, 11 markings/sec, 610 secs
lola: 112135645 markings, 483896058 edges, 1882 markings/sec, 615 secs
lola: 112135709 markings, 483896232 edges, 13 markings/sec, 620 secs
lola: 112135756 markings, 483896400 edges, 9 markings/sec, 625 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes no no no no no yes yes yes unknown no unknown no no no no
lola:
preliminary result: yes no no no no no yes yes yes unknown no unknown no no no no
lola: memory consumption: 13080 KB
lola: time consumption: 2207 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

BK_STOP 1589262343928

--------------------
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-N0010P1"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
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 win2019"
echo " Input is ClientsAndServers-PT-N0010P1, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r045-smll-158902068200040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0010P1.tgz
mv ClientsAndServers-PT-N0010P1 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;