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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.320 3570373.00 3368814.00 24693.40 ?FFFFFTFT?T?FTF? 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-158902068200050.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-N0020P3, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068200050
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.7K Mar 30 01:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 15:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 15:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 27 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 07:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 07:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.2K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589280963040

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

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

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

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

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

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

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

FORMULA ClientsAndServers-PT-N0020P3-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA ClientsAndServers-PT-N0020P3-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

FORMULA ClientsAndServers-PT-N0020P3-09 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P3-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ClientsAndServers-PT-N0020P3

{
"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 10:56:03 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 3,
"U": 0,
"X": 8,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"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": 1
},
"processed": "A (X (X (F ((X (X (X (G (NOT FIREABLE(mfU))))) AND (X (X (X (G (NOT FIREABLE(mfU))))) OR G (F (NOT FIREABLE(mfU)))))))))",
"processed_size": 120,
"rewrites": 92
},
"result":
{
"edges": 112564933,
"markings": 12774398,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 51
},
"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": 232
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A ((X (G (NOT FIREABLE(srF))) OR (G (FIREABLE(srF)) R NOT FIREABLE(srF))))",
"processed_size": 74,
"rewrites": 92
},
"result":
{
"edges": 4054257,
"markings": 568847,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 12
},
"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": 248
},
"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(mrF))))",
"processed_size": 25,
"rewrites": 92
},
"result":
{
"edges": 1217,
"markings": 1217,
"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": 268
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 268
},
"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(ssF)))",
"processed_size": 25,
"rewrites": 94
},
"result":
{
"edges": 11,
"markings": 12,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 3,
"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": 3,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 290
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"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 (FIREABLE(msG)))",
"processed_size": 21,
"rewrites": 92
},
"result":
{
"edges": 1217,
"markings": 1217,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "boolean"
}
},

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 448
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 2,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 5,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((FIREABLE(ssR) OR (FIREABLE(msA) AND G (FIREABLE(crG)))) U (NOT FIREABLE(crG) U X (F (FIREABLE(ssR))))))",
"processed_size": 108,
"rewrites": 92
},
"result":
{
"edges": 1917,
"markings": 961,
"produced_by": "LTL model checker",
"value": true
},
"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": 522
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"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": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "(FIREABLE(csR) AND NOT FIREABLE(ssF))",
"processed_size": 37,
"rewrites": 94
},
"result":
{
"edges": 3700145,
"markings": 2944170,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 668
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"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 (F (G (NOT FIREABLE(csR))))",
"processed_size": 29,
"rewrites": 92
},
"result":
{
"edges": 2725,
"markings": 2722,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"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": 891
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 2,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (F (G (((NOT FIREABLE(srF) AND NOT FIREABLE(mrF)) AND G ((NOT FIREABLE(srR) AND NOT FIREABLE(mrF)))))))",
"processed_size": 105,
"rewrites": 92
},
"result":
{
"edges": 69958,
"markings": 18467,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 13,
"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": 1957
},
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 10476,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(G(F(**))) : A(X(X(F((X(X(X(G(*)))) AND (X(X(X(G(*)))) OR G(F(*)))))))) : A((X(G(*)) OR (G(**) R *))) : A(X(G(**))) : (A(X(F(**))) AND A(G(*))) : (A(X(**)) AND A(X((** OR G(**))))) : A(F(**)) : A(F(G((* AND G(*))))) : A((X(G(*)) OR F((** OR X(**))))) : A(G((** OR (F(G(**)) OR X(F((** AND F(**)))))))) : A((* OR ((* AND X(F(*))) R X(**)))) : (A(G(F((F(**) OR (** U **))))) AND A(G((** OR (F(**) OR (** U **)))))) : A(X(F((** AND X(X(**)))))) : A(((** OR (** AND G(**))) U (** U X(F(**))))) : A(F(G(*))) : A(((** OR G(F(**))) U (G(*) OR G(**))))"
},
"net":
{
"arcs": 54,
"conflict_clusters": 16,
"places": 25,
"places_significant": 17,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"interim_value": "unknown no no no no no yes no yes unknown yes unknown no yes no unknown ",
"preliminary_value": "unknown no no no no no yes no yes unknown yes unknown no yes no unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 43/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (((FIREABLE(maU) OR G (X (FIREABLE(ssG)))) U G (F (FIREABLE(ssG))))) : A (F (X (NOT(X ((X (F (G (FIREABLE(mfU)))) U F (X (F (X (X (FIREABLE(mfU)))))))))))) : A ((X (NOT(F (FIREABLE(srF)))) OR NOT((NOT(G (FIREABLE(srF))) U FIREABLE(srF))))) : A (G (X (FIREABLE(mrF)))) : A ((X (F (FIREABLE(srF))) AND G (NOT((FIREABLE(ssF) OR F (FIREABLE(ssF))))))) : A (X ((FIREABLE(msG) AND (FIREABLE(crA) OR G (FIREABLE(ssR)))))) : A (F ((NOT FIREABLE(csR) OR FIREABLE(ssF)))) : A (((FIREABLE(mrF) U FIREABLE(srF)) U NOT(G (F (((FIREABLE(srF) OR FIREABLE(mrF)) OR F ((FIREABLE(srR) OR FIREABLE(mrF))))))))) : A ((NOT(X (F (FIREABLE(msG)))) OR F ((FIREABLE(mfU) U (FIREABLE(msG) OR X (NOT FIREABLE(csF))))))) : A (G (((NOT FIREABLE(csR) OR F (G (NOT FIREABLE(msG)))) OR F (X ((FIREABLE(ssA) AND F (FIREABLE(msG)))))))) : A (NOT((FIREABLE(msG) AND ((NOT FIREABLE(mrF) OR G (X (NOT FIREABLE(mrR)))) U NOT(X (NOT FIREABLE(msG))))))) : A (G ((FIREABLE(srG) U (F (FIREABLE(msA)) OR (FIREABLE(srG) U FIREABLE(srF)))))) : A ((X ((NOT FIREABLE(mrR) OR G (FIREABLE(ssF)))) U X (F ((FIREABLE(ssF) AND X (X (FIREABLE(ssF)))))))) : A (((FIREABLE(ssR) OR (FIREABLE(msA) AND G (FIREABLE(crG)))) U (NOT FIREABLE(crG) U X (F (FIREABLE(ssR)))))) : A (((FIREABLE(crG) AND FIREABLE(csF)) U X (NOT(G (X (F (FIREABLE(csR)))))))) : A (((NOT FIREABLE(maU) OR G (F (FIREABLE(msG)))) U NOT((F (FIREABLE(msG)) AND NOT(G (FIREABLE(csF)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:428
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:500
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:551
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((X (X (X (G (NOT FIREABLE(mfU))))) AND (X (X (X (G (NOT FIREABLE(mfU))))) OR G (F (NOT FIREABLE(mfU)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((X (X (X (G (NOT FIREABLE(mfU))))) AND (X (X (X (G (NOT FIREABLE(mfU))))) OR G (F (NOT FIREABLE(mfU)))))))))
lola: processed formula length: 120
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 51 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: 1001836 markings, 6819064 edges, 200367 markings/sec, 0 secs
lola: 1932106 markings, 14349339 edges, 186054 markings/sec, 5 secs
lola: 2780524 markings, 21710012 edges, 169684 markings/sec, 10 secs
lola: 3599659 markings, 29077683 edges, 163827 markings/sec, 15 secs
lola: 4390698 markings, 36282533 edges, 158208 markings/sec, 20 secs
lola: 5189000 markings, 43498367 edges, 159660 markings/sec, 25 secs
lola: 5979033 markings, 50652548 edges, 158007 markings/sec, 30 secs
lola: 6790179 markings, 57938711 edges, 162229 markings/sec, 35 secs
lola: 7611521 markings, 65282971 edges, 164268 markings/sec, 40 secs
lola: 8417779 markings, 72430960 edges, 161252 markings/sec, 45 secs
lola: 9179028 markings, 79545559 edges, 152250 markings/sec, 50 secs
lola: 9951175 markings, 86643988 edges, 154429 markings/sec, 55 secs
lola: 10762844 markings, 93753908 edges, 162334 markings/sec, 60 secs
lola: 11495137 markings, 100807826 edges, 146459 markings/sec, 65 secs
lola: 12309876 markings, 108025148 edges, 162948 markings/sec, 70 secs
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: 12774398 markings, 112564933 edges
lola: ========================================
lola: subprocess 1 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (G (NOT FIREABLE(srF))) OR (G (FIREABLE(srF)) R NOT FIREABLE(srF))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (G (NOT FIREABLE(srF))) OR (G (FIREABLE(srF)) R NOT FIREABLE(srF))))
lola: processed formula length: 74
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 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: 568847 markings, 4054257 edges
lola: ========================================
lola: subprocess 2 will run for 248 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (FIREABLE(mrF))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (FIREABLE(mrF))))
lola: processed formula length: 25
lola: 92 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: 1217 markings, 1217 edges
lola: ========================================
lola: subprocess 3 will run for 268 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (F (FIREABLE(srF)))) AND A (G (NOT FIREABLE(ssF))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 268 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(ssF)))
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(ssF)))
lola: processed formula length: 25
lola: 94 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: 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(ssF)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 12 markings, 11 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (FIREABLE(msG))) AND A (X ((FIREABLE(crA) OR G (FIREABLE(ssR))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (FIREABLE(msG)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (FIREABLE(msG)))
lola: processed formula length: 21
lola: 92 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: 1217 markings, 1217 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (G (NOT FIREABLE(msG))) OR F ((FIREABLE(msG) OR X (NOT FIREABLE(csF))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (G (NOT FIREABLE(msG))) OR F ((FIREABLE(msG) OR X (NOT FIREABLE(csF))))))
lola: processed formula length: 79
lola: 92 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 6 will run for 348 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(csR) OR (F (G (NOT FIREABLE(msG))) OR X (F ((FIREABLE(ssA) AND F (FIREABLE(msG)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((NOT FIREABLE(csR) OR (F (G (NOT FIREABLE(msG))) OR X (F ((FIREABLE(ssA) AND F (FIREABLE(msG)))))))))
lola: processed formula length: 107
lola: 92 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: 2272165 markings, 5399990 edges, 454433 markings/sec, 0 secs
lola: 4306670 markings, 10817444 edges, 406901 markings/sec, 5 secs
lola: 6118904 markings, 15919899 edges, 362447 markings/sec, 10 secs
lola: 7887388 markings, 20933627 edges, 353697 markings/sec, 15 secs
lola: 9584893 markings, 25806313 edges, 339501 markings/sec, 20 secs
lola: 11256080 markings, 30608532 edges, 334237 markings/sec, 25 secs
lola: 12913631 markings, 35377396 edges, 331510 markings/sec, 30 secs
lola: 14532777 markings, 40071447 edges, 323829 markings/sec, 35 secs
lola: 16142845 markings, 44754856 edges, 322014 markings/sec, 40 secs
lola: 17772774 markings, 49431621 edges, 325986 markings/sec, 45 secs
lola: 19360732 markings, 54039173 edges, 317592 markings/sec, 50 secs
lola: 20937964 markings, 58617998 edges, 315446 markings/sec, 55 secs
lola: 22512281 markings, 63191908 edges, 314863 markings/sec, 60 secs
lola: 24109498 markings, 67835204 edges, 319443 markings/sec, 65 secs
lola: 25724113 markings, 72539005 edges, 322923 markings/sec, 70 secs
lola: 27275946 markings, 77104631 edges, 310367 markings/sec, 75 secs
lola: 28847440 markings, 81662452 edges, 314299 markings/sec, 80 secs
lola: 30323497 markings, 85944234 edges, 295211 markings/sec, 85 secs
lola: 31762574 markings, 90201287 edges, 287815 markings/sec, 90 secs
lola: 32750671 markings, 95039505 edges, 197619 markings/sec, 95 secs
lola: 34028846 markings, 98822985 edges, 255635 markings/sec, 100 secs
lola: 35143431 markings, 102063903 edges, 222917 markings/sec, 105 secs
lola: 36531269 markings, 106229830 edges, 277568 markings/sec, 110 secs
lola: 38134864 markings, 111137702 edges, 320719 markings/sec, 115 secs
lola: 39664152 markings, 115906475 edges, 305858 markings/sec, 120 secs
lola: 41129915 markings, 120577278 edges, 293153 markings/sec, 125 secs
lola: 42581110 markings, 125205452 edges, 290239 markings/sec, 130 secs
lola: 44016595 markings, 129787759 edges, 287097 markings/sec, 135 secs
lola: 45448212 markings, 134349137 edges, 286323 markings/sec, 140 secs
lola: 46879010 markings, 138925041 edges, 286160 markings/sec, 145 secs
lola: 48224096 markings, 143370183 edges, 269017 markings/sec, 150 secs
lola: 49632439 markings, 147840275 edges, 281669 markings/sec, 155 secs
lola: 51052999 markings, 152397322 edges, 284112 markings/sec, 160 secs
lola: 52352496 markings, 156667787 edges, 259899 markings/sec, 165 secs
lola: 53758413 markings, 161164796 edges, 281183 markings/sec, 170 secs
lola: 55052643 markings, 165437941 edges, 258846 markings/sec, 175 secs
lola: 56458853 markings, 169947204 edges, 281242 markings/sec, 180 secs
lola: 57759557 markings, 174217792 edges, 260141 markings/sec, 185 secs
lola: 59061765 markings, 178561050 edges, 260442 markings/sec, 190 secs
lola: 60451023 markings, 182947385 edges, 277852 markings/sec, 195 secs
lola: 61718230 markings, 187166903 edges, 253441 markings/sec, 200 secs
lola: 63105262 markings, 191609737 edges, 277406 markings/sec, 205 secs
lola: 64379728 markings, 195796731 edges, 254893 markings/sec, 210 secs
lola: 65643315 markings, 200003324 edges, 252717 markings/sec, 215 secs
lola: 66975563 markings, 204252617 edges, 266450 markings/sec, 220 secs
lola: 68252024 markings, 208445828 edges, 255292 markings/sec, 225 secs
lola: 69502017 markings, 212621560 edges, 249999 markings/sec, 230 secs
lola: 70843941 markings, 217011790 edges, 268385 markings/sec, 235 secs
lola: 72163989 markings, 221249179 edges, 264010 markings/sec, 240 secs
lola: 73397579 markings, 225356743 edges, 246718 markings/sec, 245 secs
lola: 74667124 markings, 229613177 edges, 253909 markings/sec, 250 secs
lola: 76055194 markings, 233989285 edges, 277614 markings/sec, 255 secs
lola: 77294757 markings, 238102424 edges, 247913 markings/sec, 260 secs
lola: 78524358 markings, 242210103 edges, 245920 markings/sec, 265 secs
lola: 79810659 markings, 246523332 edges, 257260 markings/sec, 270 secs
lola: 81180645 markings, 250819313 edges, 273997 markings/sec, 275 secs
lola: 82403769 markings, 254889190 edges, 244625 markings/sec, 280 secs
lola: 83623908 markings, 258962592 edges, 244028 markings/sec, 285 secs
lola: 84893366 markings, 263219700 edges, 253892 markings/sec, 290 secs
lola: 86275837 markings, 267563705 edges, 276494 markings/sec, 295 secs
lola: 87504705 markings, 271638201 edges, 245774 markings/sec, 300 secs
lola: 88708531 markings, 275671552 edges, 240765 markings/sec, 305 secs
lola: 89959295 markings, 279864056 edges, 250153 markings/sec, 310 secs
lola: 91316547 markings, 284238167 edges, 271450 markings/sec, 315 secs
lola: 92594830 markings, 288371864 edges, 255657 markings/sec, 320 secs
lola: 93806390 markings, 292416962 edges, 242312 markings/sec, 325 secs
lola: 95010416 markings, 296450679 edges, 240805 markings/sec, 330 secs
lola: 96269369 markings, 300670574 edges, 251791 markings/sec, 335 secs
lola: 97649959 markings, 305038218 edges, 276118 markings/sec, 340 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no no no no unknown unknown yes unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 348 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(msG) OR ((FIREABLE(mrF) AND X (F (FIREABLE(mrR)))) R X (NOT FIREABLE(msG)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((NOT FIREABLE(msG) OR ((FIREABLE(mrF) AND X (F (FIREABLE(mrR)))) R X (NOT FIREABLE(msG)))))
lola: processed formula length: 94
lola: 92 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: 1 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((FIREABLE(ssF) AND X (X (FIREABLE(ssF)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((FIREABLE(ssF) AND X (X (FIREABLE(ssF)))))))
lola: processed formula length: 53
lola: 92 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: 1217 markings, 1217 edges
lola: ========================================
lola: subprocess 9 will run for 448 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(ssR) OR (FIREABLE(msA) AND G (FIREABLE(crG)))) U (NOT FIREABLE(crG) U X (F (FIREABLE(ssR))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(ssR) OR (FIREABLE(msA) AND G (FIREABLE(crG)))) U (NOT FIREABLE(crG) U X (F (FIREABLE(ssR))))))
lola: processed formula length: 108
lola: 92 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 961 markings, 1917 edges
lola: ========================================
lola: subprocess 10 will run for 522 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((NOT FIREABLE(csR) OR 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: (FIREABLE(csR) AND NOT FIREABLE(ssF))
lola: processed formula length: 37
lola: 94 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: 2944170 markings, 3700145 edges
lola: ========================================
lola: subprocess 11 will run for 626 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(ssG))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(ssG))))
lola: processed formula length: 25
lola: 92 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: 1809148 markings, 5574933 edges, 361830 markings/sec, 0 secs
lola: 3476935 markings, 11393970 edges, 333557 markings/sec, 5 secs
lola: 5116156 markings, 17183432 edges, 327844 markings/sec, 10 secs
lola: 6625426 markings, 22688887 edges, 301854 markings/sec, 15 secs
lola: 8195022 markings, 28392354 edges, 313919 markings/sec, 20 secs
lola: 9805870 markings, 34230154 edges, 322170 markings/sec, 25 secs
lola: 11305027 markings, 39781863 edges, 299831 markings/sec, 30 secs
lola: 12832260 markings, 45398934 edges, 305447 markings/sec, 35 secs
lola: 14448529 markings, 51260563 edges, 323254 markings/sec, 40 secs
lola: 15937113 markings, 56838964 edges, 297717 markings/sec, 45 secs
lola: 17353537 markings, 62128121 edges, 283285 markings/sec, 50 secs
lola: 18827538 markings, 67657785 edges, 294800 markings/sec, 55 secs
lola: 20461613 markings, 73536121 edges, 326815 markings/sec, 60 secs
lola: 21936357 markings, 79140595 edges, 294949 markings/sec, 65 secs
lola: 23414168 markings, 84682389 edges, 295562 markings/sec, 70 secs
lola: 24784619 markings, 89813225 edges, 274090 markings/sec, 75 secs
lola: 26167612 markings, 95246208 edges, 276599 markings/sec, 80 secs
lola: 27834606 markings, 101043017 edges, 333399 markings/sec, 85 secs
lola: 29316834 markings, 106707312 edges, 296446 markings/sec, 90 secs
lola: 30760647 markings, 112200837 edges, 288763 markings/sec, 95 secs
lola: 32219647 markings, 117677455 edges, 291800 markings/sec, 100 secs
lola: 33560482 markings, 122726784 edges, 268167 markings/sec, 105 secs
lola: 34745542 markings, 127795748 edges, 237012 markings/sec, 110 secs
lola: 36314783 markings, 133247722 edges, 313848 markings/sec, 115 secs
lola: 37958400 markings, 139130772 edges, 328723 markings/sec, 120 secs
lola: 39428735 markings, 144766324 edges, 294067 markings/sec, 125 secs
lola: 40869321 markings, 150274037 edges, 288117 markings/sec, 130 secs
lola: 42308166 markings, 155718054 edges, 287769 markings/sec, 135 secs
lola: 43713175 markings, 161012452 edges, 281002 markings/sec, 140 secs
lola: 45042305 markings, 166048872 edges, 265826 markings/sec, 145 secs
lola: 46204521 markings, 171045214 edges, 232443 markings/sec, 150 secs
lola: 47546037 markings, 175920553 edges, 268303 markings/sec, 155 secs
lola: 49183326 markings, 181523850 edges, 327458 markings/sec, 160 secs
lola: 50550645 markings, 186786674 edges, 273464 markings/sec, 165 secs
lola: 51989784 markings, 192309553 edges, 287828 markings/sec, 170 secs
lola: 53412402 markings, 197756990 edges, 284524 markings/sec, 175 secs
lola: 54823939 markings, 203129663 edges, 282307 markings/sec, 180 secs
lola: 56251703 markings, 208507219 edges, 285553 markings/sec, 185 secs
lola: 57560803 markings, 213469815 edges, 261820 markings/sec, 190 secs
lola: 58813716 markings, 218243099 edges, 250583 markings/sec, 195 secs
lola: 59961214 markings, 223293954 edges, 229500 markings/sec, 200 secs
lola: 61377922 markings, 228546463 edges, 283342 markings/sec, 205 secs
lola: 63031484 markings, 234212407 edges, 330712 markings/sec, 210 secs
lola: 64583603 markings, 240073200 edges, 310424 markings/sec, 215 secs
lola: 66053402 markings, 245737226 edges, 293960 markings/sec, 220 secs
lola: 67488697 markings, 251251861 edges, 287059 markings/sec, 225 secs
lola: 68918288 markings, 256722646 edges, 285918 markings/sec, 230 secs
lola: 70339498 markings, 262126143 edges, 284242 markings/sec, 235 secs
lola: 71775014 markings, 267544622 edges, 287103 markings/sec, 240 secs
lola: 73062395 markings, 272447118 edges, 257476 markings/sec, 245 secs
lola: 74387913 markings, 277489683 edges, 265104 markings/sec, 250 secs
lola: 75642600 markings, 282270349 edges, 250937 markings/sec, 255 secs
lola: 76633879 markings, 287240269 edges, 198256 markings/sec, 260 secs
lola: 78241731 markings, 292696167 edges, 321570 markings/sec, 265 secs
lola: 79917991 markings, 298469563 edges, 335252 markings/sec, 270 secs
lola: 81399184 markings, 304190212 edges, 296239 markings/sec, 275 secs
lola: 82849918 markings, 309776799 edges, 290147 markings/sec, 280 secs
lola: 84259755 markings, 315214821 edges, 281967 markings/sec, 285 secs
lola: 85661957 markings, 320604381 edges, 280440 markings/sec, 290 secs
lola: 87060614 markings, 325952539 edges, 279731 markings/sec, 295 secs
lola: 88453379 markings, 331235759 edges, 278553 markings/sec, 300 secs
lola: 89860227 markings, 336562874 edges, 281370 markings/sec, 305 secs
lola: 91140597 markings, 341461127 edges, 256074 markings/sec, 310 secs
lola: 92390480 markings, 346230631 edges, 249977 markings/sec, 315 secs
lola: 93619440 markings, 350876031 edges, 245792 markings/sec, 320 secs
lola: 94828279 markings, 355728880 edges, 241768 markings/sec, 325 secs
lola: 95891169 markings, 360864201 edges, 212578 markings/sec, 330 secs
lola: 97457963 markings, 366208234 edges, 313359 markings/sec, 335 secs
lola: 99114888 markings, 371921808 edges, 331385 markings/sec, 340 secs
lola: 100598055 markings, 377616231 edges, 296633 markings/sec, 345 secs
lola: 101899112 markings, 382635003 edges, 260211 markings/sec, 350 secs
lola: 103281302 markings, 387965629 edges, 276438 markings/sec, 355 secs
lola: 104555030 markings, 392875591 edges, 254746 markings/sec, 360 secs
lola: 105922775 markings, 398151636 edges, 273549 markings/sec, 365 secs
lola: 107301594 markings, 403431196 edges, 275764 markings/sec, 370 secs
lola: 108667390 markings, 408638373 edges, 273159 markings/sec, 375 secs
lola: 110072810 markings, 413956998 edges, 281084 markings/sec, 380 secs
lola: 111339794 markings, 418801602 edges, 253397 markings/sec, 385 secs
lola: 112585915 markings, 423547586 edges, 249224 markings/sec, 390 secs
lola: 113819725 markings, 428258487 edges, 246762 markings/sec, 395 secs
lola: 115033677 markings, 432898370 edges, 242790 markings/sec, 400 secs
lola: 115729563 markings, 435552055 edges, 139177 markings/sec, 405 secs
lola: 116018106 markings, 436665720 edges, 57709 markings/sec, 410 secs
lola: 116131732 markings, 437102998 edges, 22725 markings/sec, 415 secs
lola: 116150125 markings, 437171654 edges, 3679 markings/sec, 420 secs
lola: 116150197 markings, 437171820 edges, 14 markings/sec, 425 secs
lola: 116150231 markings, 437171999 edges, 7 markings/sec, 430 secs
lola: 116150251 markings, 437172186 edges, 4 markings/sec, 435 secs
lola: 116154759 markings, 437187249 edges, 902 markings/sec, 440 secs
lola: 116154809 markings, 437187441 edges, 10 markings/sec, 445 secs
lola: 116160341 markings, 437208898 edges, 1106 markings/sec, 450 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 668 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (NOT FIREABLE(csR))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (NOT FIREABLE(csR))))
lola: processed formula length: 29
lola: 92 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: add low 17
lola: add low 7
lola: add low 4
lola: add low 9
lola: add low 12
lola: add low 16
lola: add low 1
lola: add low 2
lola: add low 0
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: 2722 markings, 2725 edges
lola: ========================================
lola: subprocess 13 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (((NOT FIREABLE(srF) AND NOT FIREABLE(mrF)) AND G ((NOT FIREABLE(srR) AND NOT FIREABLE(mrF)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((NOT FIREABLE(srF) AND NOT FIREABLE(mrF)) AND G ((NOT FIREABLE(srR) AND NOT FIREABLE(mrF)))))))
lola: processed formula length: 105
lola: 92 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: 18467 markings, 69958 edges
lola: ========================================
lola: subprocess 14 will run for 1336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(maU) OR G (F (FIREABLE(msG)))) U (G (NOT FIREABLE(msG)) OR G (FIREABLE(csF)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((NOT FIREABLE(maU) OR G (F (FIREABLE(msG)))) U (G (NOT FIREABLE(msG)) OR G (FIREABLE(csF)))))
lola: processed formula length: 97
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 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: 1409971 markings, 5080618 edges, 281994 markings/sec, 0 secs
lola: 2710525 markings, 10099078 edges, 260111 markings/sec, 5 secs
lola: 3888848 markings, 14843742 edges, 235665 markings/sec, 10 secs
lola: 5088972 markings, 19604200 edges, 240025 markings/sec, 15 secs
lola: 6180345 markings, 24233668 edges, 218275 markings/sec, 20 secs
lola: 7365796 markings, 29032382 edges, 237090 markings/sec, 25 secs
lola: 8569809 markings, 33817456 edges, 240803 markings/sec, 30 secs
lola: 9730406 markings, 38535208 edges, 232119 markings/sec, 35 secs
lola: 10762122 markings, 43052636 edges, 206343 markings/sec, 40 secs
lola: 11816919 markings, 47470920 edges, 210959 markings/sec, 45 secs
lola: 12899367 markings, 51955264 edges, 216490 markings/sec, 50 secs
lola: 14006371 markings, 56464910 edges, 221401 markings/sec, 55 secs
lola: 15087348 markings, 61043216 edges, 216195 markings/sec, 60 secs
lola: 16085142 markings, 65451444 edges, 199559 markings/sec, 65 secs
lola: 17075507 markings, 69841637 edges, 198073 markings/sec, 70 secs
lola: 18079397 markings, 74251083 edges, 200778 markings/sec, 75 secs
lola: 19046178 markings, 78591438 edges, 193356 markings/sec, 80 secs
lola: 20113472 markings, 83088635 edges, 213459 markings/sec, 85 secs
lola: 21160660 markings, 87641362 edges, 209438 markings/sec, 90 secs
lola: 22269771 markings, 92245369 edges, 221822 markings/sec, 95 secs
lola: 23294931 markings, 96735882 edges, 205032 markings/sec, 100 secs
lola: 24515064 markings, 101489245 edges, 244027 markings/sec, 105 secs
lola: 25555419 markings, 106077048 edges, 208071 markings/sec, 110 secs
lola: 26654443 markings, 110803319 edges, 219805 markings/sec, 115 secs
lola: 27854149 markings, 115459941 edges, 239941 markings/sec, 120 secs
lola: 28948688 markings, 120030067 edges, 218908 markings/sec, 125 secs
lola: 29917075 markings, 124382852 edges, 193677 markings/sec, 130 secs
lola: 31018689 markings, 128915037 edges, 220323 markings/sec, 135 secs
lola: 32011797 markings, 133250788 edges, 198622 markings/sec, 140 secs
lola: 32915323 markings, 137493487 edges, 180705 markings/sec, 145 secs
lola: 33908765 markings, 141872331 edges, 198688 markings/sec, 150 secs
lola: 34803709 markings, 146134372 edges, 178989 markings/sec, 155 secs
lola: 35817327 markings, 150304206 edges, 202724 markings/sec, 160 secs
lola: 36766704 markings, 154430360 edges, 189875 markings/sec, 165 secs
lola: 37709230 markings, 158633531 edges, 188505 markings/sec, 170 secs
lola: 38704900 markings, 162899126 edges, 199134 markings/sec, 175 secs
lola: 39768226 markings, 167308218 edges, 212665 markings/sec, 180 secs
lola: 40734828 markings, 171522690 edges, 193320 markings/sec, 185 secs
lola: 41737537 markings, 175769475 edges, 200542 markings/sec, 190 secs
lola: 42808617 markings, 180260880 edges, 214216 markings/sec, 195 secs
lola: 43775982 markings, 184576856 edges, 193473 markings/sec, 200 secs
lola: 44703759 markings, 188792671 edges, 185555 markings/sec, 205 secs
lola: 45656155 markings, 193051001 edges, 190479 markings/sec, 210 secs
lola: 46547851 markings, 197200314 edges, 178339 markings/sec, 215 secs
lola: 47505740 markings, 201455797 edges, 191578 markings/sec, 220 secs
lola: 48377030 markings, 205550628 edges, 174258 markings/sec, 225 secs
lola: 49288737 markings, 209717770 edges, 182341 markings/sec, 230 secs
lola: 50232510 markings, 213935944 edges, 188755 markings/sec, 235 secs
lola: 51060378 markings, 217929320 edges, 165574 markings/sec, 240 secs
lola: 51976228 markings, 222135517 edges, 183170 markings/sec, 245 secs
lola: 52931507 markings, 226379192 edges, 191056 markings/sec, 250 secs
lola: 53777532 markings, 230399569 edges, 169205 markings/sec, 255 secs
lola: 54612695 markings, 234461057 edges, 167033 markings/sec, 260 secs
lola: 55565225 markings, 238681779 edges, 190506 markings/sec, 265 secs
lola: 56644962 markings, 243123696 edges, 215947 markings/sec, 270 secs
lola: 57597323 markings, 247386738 edges, 190472 markings/sec, 275 secs
lola: 58444915 markings, 251454718 edges, 169518 markings/sec, 280 secs
lola: 59277588 markings, 255531553 edges, 166535 markings/sec, 285 secs
lola: 60369103 markings, 260102680 edges, 218303 markings/sec, 290 secs
lola: 61446563 markings, 264627870 edges, 215492 markings/sec, 295 secs
lola: 62430612 markings, 269021091 edges, 196810 markings/sec, 300 secs
lola: 63448360 markings, 273356816 edges, 203550 markings/sec, 305 secs
lola: 64442257 markings, 277725853 edges, 198779 markings/sec, 310 secs
lola: 65330643 markings, 281921105 edges, 177677 markings/sec, 315 secs
lola: 66265474 markings, 286145796 edges, 186966 markings/sec, 320 secs
lola: 67192849 markings, 290275557 edges, 185475 markings/sec, 325 secs
lola: 68567002 markings, 295085775 edges, 274831 markings/sec, 330 secs
lola: 69945741 markings, 299926541 edges, 275748 markings/sec, 335 secs
lola: 70994165 markings, 304060140 edges, 209685 markings/sec, 340 secs
lola: 72156147 markings, 308726807 edges, 232396 markings/sec, 345 secs
lola: 73216011 markings, 313178971 edges, 211973 markings/sec, 350 secs
lola: 74175590 markings, 317480335 edges, 191916 markings/sec, 355 secs
lola: 75175239 markings, 321787154 edges, 199930 markings/sec, 360 secs
lola: 76115385 markings, 326016391 edges, 188029 markings/sec, 365 secs
lola: 76993213 markings, 330194872 edges, 175566 markings/sec, 370 secs
lola: 77889107 markings, 334285340 edges, 179179 markings/sec, 375 secs
lola: 78920425 markings, 338580737 edges, 206264 markings/sec, 380 secs
lola: 79965225 markings, 342989032 edges, 208960 markings/sec, 385 secs
lola: 80911594 markings, 347193777 edges, 189274 markings/sec, 390 secs
lola: 81844048 markings, 351349449 edges, 186491 markings/sec, 395 secs
lola: 82667459 markings, 355293759 edges, 164682 markings/sec, 400 secs
lola: 83513244 markings, 359308201 edges, 169157 markings/sec, 405 secs
lola: 84337390 markings, 363355193 edges, 164829 markings/sec, 410 secs
lola: 85254270 markings, 367557796 edges, 183376 markings/sec, 415 secs
lola: 86178487 markings, 371722953 edges, 184843 markings/sec, 420 secs
lola: 87019037 markings, 375735094 edges, 168110 markings/sec, 425 secs
lola: 87838190 markings, 379747075 edges, 163831 markings/sec, 430 secs
lola: 88662759 markings, 383814895 edges, 164914 markings/sec, 435 secs
lola: 89613275 markings, 387949872 edges, 190103 markings/sec, 440 secs
lola: 90553483 markings, 391939215 edges, 188042 markings/sec, 445 secs
lola: 91453759 markings, 395851470 edges, 180055 markings/sec, 450 secs
lola: 92331248 markings, 399795403 edges, 175498 markings/sec, 455 secs
lola: 93200538 markings, 403667782 edges, 173858 markings/sec, 460 secs
lola: 94094582 markings, 407678071 edges, 178809 markings/sec, 465 secs
lola: 94977368 markings, 411766411 edges, 176557 markings/sec, 470 secs
lola: 95830308 markings, 415766338 edges, 170588 markings/sec, 475 secs
lola: 96705367 markings, 419691303 edges, 175012 markings/sec, 480 secs
lola: 97518501 markings, 423547189 edges, 162627 markings/sec, 485 secs
lola: 98558565 markings, 427860345 edges, 208013 markings/sec, 490 secs
lola: 99552892 markings, 432089119 edges, 198865 markings/sec, 495 secs
lola: 100522955 markings, 436234791 edges, 194013 markings/sec, 500 secs
lola: 101470053 markings, 440316063 edges, 189420 markings/sec, 505 secs
lola: 102378236 markings, 444327076 edges, 181637 markings/sec, 510 secs
lola: 103226316 markings, 448271842 edges, 169616 markings/sec, 515 secs
lola: 104124949 markings, 452278684 edges, 179727 markings/sec, 520 secs
lola: 105056870 markings, 456309883 edges, 186384 markings/sec, 525 secs
lola: 106065245 markings, 460582809 edges, 201675 markings/sec, 530 secs
lola: 107026022 markings, 464839788 edges, 192155 markings/sec, 535 secs
lola: 107930554 markings, 468967029 edges, 180906 markings/sec, 540 secs
lola: 108831466 markings, 473113061 edges, 180182 markings/sec, 545 secs
lola: 109732743 markings, 477224320 edges, 180255 markings/sec, 550 secs
lola: 110627111 markings, 481326671 edges, 178874 markings/sec, 555 secs
lola: 111455567 markings, 485298768 edges, 165691 markings/sec, 560 secs
lola: 112350712 markings, 489396796 edges, 179029 markings/sec, 565 secs
lola: 112433363 markings, 489795773 edges, 16530 markings/sec, 570 secs
lola: 112434154 markings, 489799677 edges, 158 markings/sec, 575 secs
lola: 112437406 markings, 489814089 edges, 650 markings/sec, 580 secs
lola: 112441503 markings, 489830926 edges, 819 markings/sec, 585 secs
lola: 112442609 markings, 489835948 edges, 221 markings/sec, 590 secs
lola: 112443519 markings, 489840076 edges, 182 markings/sec, 595 secs
lola: 112443563 markings, 489840245 edges, 9 markings/sec, 600 secs
lola: 112443607 markings, 489840445 edges, 9 markings/sec, 605 secs
lola: 112445801 markings, 489849969 edges, 439 markings/sec, 610 secs
lola: 112449578 markings, 489866806 edges, 755 markings/sec, 615 secs
lola: 112449615 markings, 489866986 edges, 7 markings/sec, 620 secs
lola: 112449672 markings, 489867296 edges, 11 markings/sec, 625 secs
lola: 112453201 markings, 489883396 edges, 706 markings/sec, 630 secs
lola: 112456806 markings, 489900854 edges, 721 markings/sec, 635 secs
lola: 112457000 markings, 489902196 edges, 39 markings/sec, 640 secs
lola: 112457144 markings, 489902604 edges, 29 markings/sec, 645 secs
lola: 112457980 markings, 489906655 edges, 167 markings/sec, 650 secs
lola: 112458885 markings, 489910794 edges, 181 markings/sec, 655 secs
lola: 112524830 markings, 490214079 edges, 13189 markings/sec, 660 secs
lola: 112527127 markings, 490223804 edges, 459 markings/sec, 665 secs
lola: 112527165 markings, 490223960 edges, 8 markings/sec, 670 secs
lola: 112527888 markings, 490227026 edges, 145 markings/sec, 675 secs
lola: 112527919 markings, 490227184 edges, 6 markings/sec, 680 secs
lola: 112527936 markings, 490227273 edges, 3 markings/sec, 685 secs
lola: 112529879 markings, 490236405 edges, 389 markings/sec, 690 secs
lola: 112533577 markings, 490253252 edges, 740 markings/sec, 695 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1957 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F ((F (FIREABLE(msA)) OR (FIREABLE(srG) U FIREABLE(srF)))))) AND A (G ((FIREABLE(srG) OR (F (FIREABLE(msA)) OR (FIREABLE(srG) U FIREABLE(srF)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1957 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(srG) OR (F (FIREABLE(msA)) OR (FIREABLE(srG) U FIREABLE(srF))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((FIREABLE(srG) OR (F (FIREABLE(msA)) OR (FIREABLE(srG) U FIREABLE(srF))))))
lola: processed formula length: 81
lola: 92 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: 1829175 markings, 5153930 edges, 365835 markings/sec, 0 secs
lola: 3715720 markings, 10547407 edges, 377309 markings/sec, 5 secs
lola: 5637935 markings, 16130262 edges, 384443 markings/sec, 10 secs
lola: 7170984 markings, 21227411 edges, 306610 markings/sec, 15 secs
lola: 8703311 markings, 26354263 edges, 306465 markings/sec, 20 secs
lola: 10263212 markings, 31549167 edges, 311980 markings/sec, 25 secs
lola: 11649871 markings, 36155430 edges, 277332 markings/sec, 30 secs
lola: 13055886 markings, 40848182 edges, 281203 markings/sec, 35 secs
lola: 14554071 markings, 45804082 edges, 299637 markings/sec, 40 secs
lola: 16028510 markings, 50732462 edges, 294888 markings/sec, 45 secs
lola: 17538585 markings, 55796344 edges, 302015 markings/sec, 50 secs
lola: 18792289 markings, 60432564 edges, 250741 markings/sec, 55 secs
lola: 19963817 markings, 64916743 edges, 234306 markings/sec, 60 secs
lola: 21165210 markings, 69528884 edges, 240279 markings/sec, 65 secs
lola: 22637696 markings, 74328476 edges, 294497 markings/sec, 70 secs
lola: 24075711 markings, 79033382 edges, 287603 markings/sec, 75 secs
lola: 25514517 markings, 83755143 edges, 287761 markings/sec, 80 secs
lola: 26963463 markings, 88512435 edges, 289789 markings/sec, 85 secs
lola: 28425161 markings, 93327128 edges, 292340 markings/sec, 90 secs
lola: 29972376 markings, 98366309 edges, 309443 markings/sec, 95 secs
lola: 31261069 markings, 103129774 edges, 257739 markings/sec, 100 secs
lola: 32495047 markings, 107776652 edges, 246796 markings/sec, 105 secs
lola: 33729042 markings, 112432333 edges, 246799 markings/sec, 110 secs
lola: 34963692 markings, 117102768 edges, 246930 markings/sec, 115 secs
lola: 36208088 markings, 121816696 edges, 248879 markings/sec, 120 secs
lola: 37472603 markings, 126607757 edges, 252903 markings/sec, 125 secs
lola: 38797025 markings, 131566630 edges, 264884 markings/sec, 130 secs
lola: 40047673 markings, 136008263 edges, 250130 markings/sec, 135 secs
lola: 41247955 markings, 140349926 edges, 240056 markings/sec, 140 secs
lola: 42433041 markings, 144649373 edges, 237017 markings/sec, 145 secs
lola: 43614636 markings, 148950925 edges, 236319 markings/sec, 150 secs
lola: 44797816 markings, 153258198 edges, 236636 markings/sec, 155 secs
lola: 45976525 markings, 157559151 edges, 235742 markings/sec, 160 secs
lola: 47165638 markings, 161897926 edges, 237823 markings/sec, 165 secs
lola: 48354452 markings, 166235708 edges, 237763 markings/sec, 170 secs
lola: 49555199 markings, 170628860 edges, 240149 markings/sec, 175 secs
lola: 50805559 markings, 175138732 edges, 250072 markings/sec, 180 secs
lola: 52269530 markings, 179999055 edges, 292794 markings/sec, 185 secs
lola: 53725014 markings, 184870922 edges, 291097 markings/sec, 190 secs
lola: 55203355 markings, 189850400 edges, 295668 markings/sec, 195 secs
lola: 56339566 markings, 194168380 edges, 227242 markings/sec, 200 secs
lola: 57464727 markings, 198479570 edges, 225032 markings/sec, 205 secs
lola: 58622792 markings, 202910918 edges, 231613 markings/sec, 210 secs
lola: 59852235 markings, 207490405 edges, 245889 markings/sec, 215 secs
lola: 61047387 markings, 211993983 edges, 239030 markings/sec, 220 secs
lola: 62243381 markings, 216505257 edges, 239199 markings/sec, 225 secs
lola: 63440162 markings, 221030691 edges, 239356 markings/sec, 230 secs
lola: 64648687 markings, 225607747 edges, 241705 markings/sec, 235 secs
lola: 65865718 markings, 230217392 edges, 243406 markings/sec, 240 secs
lola: 67113787 markings, 234928347 edges, 249614 markings/sec, 245 secs
lola: 68236294 markings, 239354361 edges, 224501 markings/sec, 250 secs
lola: 69266194 markings, 243583196 edges, 205980 markings/sec, 255 secs
lola: 70278045 markings, 247751911 edges, 202370 markings/sec, 260 secs
lola: 71288341 markings, 251925244 edges, 202059 markings/sec, 265 secs
lola: 72286294 markings, 256054673 edges, 199591 markings/sec, 270 secs
lola: 73292941 markings, 260218753 edges, 201329 markings/sec, 275 secs
lola: 74292352 markings, 264363003 edges, 199882 markings/sec, 280 secs
lola: 75303244 markings, 268554226 edges, 202178 markings/sec, 285 secs
lola: 76306288 markings, 272720282 edges, 200609 markings/sec, 290 secs
lola: 77326625 markings, 276946054 edges, 204067 markings/sec, 295 secs
lola: 78360117 markings, 281238803 edges, 206698 markings/sec, 300 secs
lola: 79459680 markings, 285625483 edges, 219913 markings/sec, 305 secs
lola: 80759609 markings, 290155188 edges, 259986 markings/sec, 310 secs
lola: 82037101 markings, 294643017 edges, 255498 markings/sec, 315 secs
lola: 83302602 markings, 299113202 edges, 253100 markings/sec, 320 secs
lola: 84555397 markings, 303539545 edges, 250559 markings/sec, 325 secs
lola: 85802417 markings, 307955913 edges, 249404 markings/sec, 330 secs
lola: 87042672 markings, 312363156 edges, 248051 markings/sec, 335 secs
lola: 88295022 markings, 316796592 edges, 250470 markings/sec, 340 secs
lola: 89539869 markings, 321219568 edges, 248969 markings/sec, 345 secs
lola: 90780435 markings, 325626731 edges, 248113 markings/sec, 350 secs
lola: 92030968 markings, 330069512 edges, 250107 markings/sec, 355 secs
lola: 93288182 markings, 334535426 edges, 251443 markings/sec, 360 secs
lola: 94533058 markings, 338960071 edges, 248975 markings/sec, 365 secs
lola: 95789519 markings, 343438552 edges, 251292 markings/sec, 370 secs
lola: 97046557 markings, 347903560 edges, 251408 markings/sec, 375 secs
lola: 98316815 markings, 352433085 edges, 254052 markings/sec, 380 secs
lola: 99595407 markings, 356977278 edges, 255718 markings/sec, 385 secs
lola: 100884975 markings, 361587569 edges, 257914 markings/sec, 390 secs
lola: 102221130 markings, 366318531 edges, 267231 markings/sec, 395 secs
lola: 103333666 markings, 370759039 edges, 222507 markings/sec, 400 secs
lola: 104435797 markings, 375177485 edges, 220426 markings/sec, 405 secs
lola: 105526929 markings, 379570361 edges, 218226 markings/sec, 410 secs
lola: 106607193 markings, 383930362 edges, 216053 markings/sec, 415 secs
lola: 107684219 markings, 388277004 edges, 215405 markings/sec, 420 secs
lola: 108767152 markings, 392647142 edges, 216587 markings/sec, 425 secs
lola: 109842199 markings, 396997623 edges, 215009 markings/sec, 430 secs
lola: 110919214 markings, 401356024 edges, 215403 markings/sec, 435 secs
lola: 111997192 markings, 405719209 edges, 215596 markings/sec, 440 secs
lola: 113072481 markings, 410071180 edges, 215058 markings/sec, 445 secs
lola: 114139505 markings, 414406169 edges, 213405 markings/sec, 450 secs
lola: 115233794 markings, 418833738 edges, 218858 markings/sec, 455 secs
lola: 116313694 markings, 423213558 edges, 215980 markings/sec, 460 secs
lola: 116645760 markings, 424558070 edges, 66413 markings/sec, 465 secs
lola: 116646503 markings, 424561138 edges, 149 markings/sec, 470 secs
lola: 116648543 markings, 424569596 edges, 408 markings/sec, 475 secs
lola: 116648568 markings, 424569691 edges, 5 markings/sec, 480 secs
lola: 116724741 markings, 424879847 edges, 15235 markings/sec, 485 secs
lola: 116724777 markings, 424880002 edges, 7 markings/sec, 490 secs
lola: 116724832 markings, 424880235 edges, 11 markings/sec, 495 secs
lola: 116724890 markings, 424880464 edges, 12 markings/sec, 500 secs
lola: 116728536 markings, 424895574 edges, 729 markings/sec, 505 secs
lola: 116728901 markings, 424897073 edges, 73 markings/sec, 510 secs
lola: 116732837 markings, 424913351 edges, 787 markings/sec, 515 secs
lola: 116736126 markings, 424926963 edges, 658 markings/sec, 520 secs
lola: 116745896 markings, 424966350 edges, 1954 markings/sec, 525 secs
lola: 116745937 markings, 424966505 edges, 8 markings/sec, 530 secs
lola: 116748997 markings, 424979182 edges, 612 markings/sec, 535 secs
lola: 116750096 markings, 424983701 edges, 220 markings/sec, 540 secs
lola: Child process aborted or communication problem between parent and child process
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(csR) OR (F (G (NOT FIREABLE(msG))) OR X (F ((FIREABLE(ssA) AND F (FIREABLE(msG)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((NOT FIREABLE(csR) OR (F (G (NOT FIREABLE(msG))) OR X (F ((FIREABLE(ssA) AND F (FIREABLE(msG)))))))))
lola: processed formula length: 107
lola: 92 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: 2275625 markings, 5408339 edges, 455125 markings/sec, 0 secs
lola: 4400163 markings, 11061085 edges, 424908 markings/sec, 5 secs
lola: 6254039 markings, 16282289 edges, 370775 markings/sec, 10 secs
lola: 8041980 markings, 21380440 edges, 357588 markings/sec, 15 secs
lola: 9767320 markings, 26343439 edges, 345068 markings/sec, 20 secs
lola: 11467011 markings, 31228903 edges, 339938 markings/sec, 25 secs
lola: 13162456 markings, 36100944 edges, 339089 markings/sec, 30 secs
lola: 14815349 markings, 40905997 edges, 330579 markings/sec, 35 secs
lola: 16491192 markings, 45719754 edges, 335169 markings/sec, 40 secs
lola: 18116750 markings, 50436901 edges, 325112 markings/sec, 45 secs
lola: 19736464 markings, 55142392 edges, 323943 markings/sec, 50 secs
lola: 21348231 markings, 59826814 edges, 322353 markings/sec, 55 secs
lola: 22965632 markings, 64526906 edges, 323480 markings/sec, 60 secs
lola: 24605386 markings, 69292251 edges, 327951 markings/sec, 65 secs
lola: 26255455 markings, 74086751 edges, 330014 markings/sec, 70 secs
lola: 27892125 markings, 78847502 edges, 327334 markings/sec, 75 secs
lola: 29473312 markings, 83518453 edges, 316237 markings/sec, 80 secs
lola: 31076835 markings, 88170708 edges, 320705 markings/sec, 85 secs
lola: 32335828 markings, 92996956 edges, 251799 markings/sec, 90 secs
lola: 33550505 markings, 97443273 edges, 242935 markings/sec, 95 secs
lola: 34706440 markings, 100788980 edges, 231187 markings/sec, 100 secs
lola: 35789439 markings, 104122742 edges, 216600 markings/sec, 105 secs
lola: 37521514 markings, 109253207 edges, 346415 markings/sec, 110 secs
lola: 39065931 markings, 114061306 edges, 308883 markings/sec, 115 secs
lola: 40588700 markings, 118824083 edges, 304554 markings/sec, 120 secs
lola: 42056731 markings, 123483595 edges, 293606 markings/sec, 125 secs
lola: 43501149 markings, 128093792 edges, 288884 markings/sec, 130 secs
lola: 44940772 markings, 132696891 edges, 287925 markings/sec, 135 secs
lola: 46314648 markings, 137217335 edges, 274775 markings/sec, 140 secs
lola: 47722588 markings, 141707762 edges, 281588 markings/sec, 145 secs
lola: 49149632 markings, 146254528 edges, 285409 markings/sec, 150 secs
lola: 50488615 markings, 150688844 edges, 267797 markings/sec, 155 secs
lola: 51881230 markings, 155110117 edges, 278523 markings/sec, 160 secs
lola: 53195935 markings, 159491274 edges, 262941 markings/sec, 165 secs
lola: 54594738 markings, 163910477 edges, 279761 markings/sec, 170 secs
lola: 55910657 markings, 168295413 edges, 263184 markings/sec, 175 secs
lola: 57310170 markings, 172724409 edges, 279903 markings/sec, 180 secs
lola: 58600335 markings, 177022213 edges, 258033 markings/sec, 185 secs
lola: 60015371 markings, 181510674 edges, 283007 markings/sec, 190 secs
lola: 61285584 markings, 185725699 edges, 254043 markings/sec, 195 secs
lola: 62597465 markings, 190111655 edges, 262376 markings/sec, 200 secs
lola: 63985329 markings, 194485335 edges, 277573 markings/sec, 205 secs
lola: 65239678 markings, 198661112 edges, 250870 markings/sec, 210 secs
lola: 66566553 markings, 203056041 edges, 265375 markings/sec, 215 secs
lola: 67922834 markings, 207356254 edges, 271256 markings/sec, 220 secs
lola: 69168476 markings, 211502226 edges, 249128 markings/sec, 225 secs
lola: 70461633 markings, 215839165 edges, 258631 markings/sec, 230 secs
lola: 71843368 markings, 220178877 edges, 276347 markings/sec, 235 secs
lola: 73082223 markings, 224299202 edges, 247771 markings/sec, 240 secs
lola: 74337292 markings, 228506723 edges, 251014 markings/sec, 245 secs
lola: 75730814 markings, 232933204 edges, 278704 markings/sec, 250 secs
lola: 76984343 markings, 237063489 edges, 250706 markings/sec, 255 secs
lola: 78208870 markings, 241152637 edges, 244905 markings/sec, 260 secs
lola: 79480467 markings, 245415797 edges, 254319 markings/sec, 265 secs
lola: 80872359 markings, 249800449 edges, 278378 markings/sec, 270 secs
lola: 82102463 markings, 253879684 edges, 246021 markings/sec, 275 secs
lola: 83318723 markings, 257940138 edges, 243252 markings/sec, 280 secs
lola: 84577877 markings, 262161043 edges, 251831 markings/sec, 285 secs
lola: 85967595 markings, 266559478 edges, 277944 markings/sec, 290 secs
lola: 87200037 markings, 270632237 edges, 246488 markings/sec, 295 secs
lola: 88414223 markings, 274685950 edges, 242837 markings/sec, 300 secs
lola: 89648136 markings, 278821059 edges, 246783 markings/sec, 305 secs
lola: 90942528 markings, 283153959 edges, 258878 markings/sec, 310 secs
lola: 92300220 markings, 287399930 edges, 271538 markings/sec, 315 secs
lola: 93519112 markings, 291455290 edges, 243778 markings/sec, 320 secs
lola: 94720479 markings, 295480192 edges, 240273 markings/sec, 325 secs
lola: 95968687 markings, 299663307 edges, 249642 markings/sec, 330 secs
lola: 97299119 markings, 304003595 edges, 266086 markings/sec, 335 secs
lola: 98594722 markings, 308145999 edges, 259121 markings/sec, 340 secs
lola: 99804989 markings, 312171364 edges, 242053 markings/sec, 345 secs
lola: 101002474 markings, 316183055 edges, 239497 markings/sec, 350 secs
lola: 102216162 markings, 320264421 edges, 242738 markings/sec, 355 secs
lola: 103474158 markings, 324496398 edges, 251599 markings/sec, 360 secs
lola: 104816557 markings, 328665524 edges, 268480 markings/sec, 365 secs
lola: 105987688 markings, 332558693 edges, 234226 markings/sec, 370 secs
lola: 107173324 markings, 336519522 edges, 237127 markings/sec, 375 secs
lola: 108351936 markings, 340477080 edges, 235722 markings/sec, 380 secs
lola: 109574673 markings, 344589244 edges, 244547 markings/sec, 385 secs
lola: 110895539 markings, 348865782 edges, 264173 markings/sec, 390 secs
lola: 112149357 markings, 352880296 edges, 250764 markings/sec, 395 secs
lola: 113309700 markings, 356751246 edges, 232069 markings/sec, 400 secs
lola: 114503160 markings, 360736804 edges, 238692 markings/sec, 405 secs
lola: 115688450 markings, 364718744 edges, 237058 markings/sec, 410 secs
lola: 116548141 markings, 367611301 edges, 171938 markings/sec, 415 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(ssG))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(ssG))))
lola: processed formula length: 25
lola: 92 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: 1677672 markings, 5108664 edges, 335534 markings/sec, 0 secs
lola: 3355615 markings, 10947313 edges, 335589 markings/sec, 5 secs
lola: 4993458 markings, 16730675 edges, 327569 markings/sec, 10 secs
lola: 6577460 markings, 22518891 edges, 316800 markings/sec, 15 secs
lola: 8136975 markings, 28195626 edges, 311903 markings/sec, 20 secs
lola: 9752169 markings, 34025289 edges, 323039 markings/sec, 25 secs
lola: 11243643 markings, 39562711 edges, 298295 markings/sec, 30 secs
lola: 12759944 markings, 45153336 edges, 303260 markings/sec, 35 secs
lola: 14376809 markings, 50995636 edges, 323373 markings/sec, 40 secs
lola: 15852951 markings, 56545300 edges, 295228 markings/sec, 45 secs
lola: 17266711 markings, 61808835 edges, 282752 markings/sec, 50 secs
lola: 18729203 markings, 67330983 edges, 292498 markings/sec, 55 secs
lola: 20370891 markings, 73193673 edges, 328338 markings/sec, 60 secs
lola: 21847765 markings, 78805269 edges, 295375 markings/sec, 65 secs
lola: 23327069 markings, 84350554 edges, 295861 markings/sec, 70 secs
lola: 24684131 markings, 89444152 edges, 271412 markings/sec, 75 secs
lola: 26053521 markings, 94856751 edges, 273878 markings/sec, 80 secs
lola: 27725322 markings, 100622206 edges, 334360 markings/sec, 85 secs
lola: 29211199 markings, 106300727 edges, 297175 markings/sec, 90 secs
lola: 30653415 markings, 111794927 edges, 288443 markings/sec, 95 secs
lola: 32104937 markings, 117235912 edges, 290304 markings/sec, 100 secs
lola: 33445499 markings, 122302022 edges, 268112 markings/sec, 105 secs
lola: 34680713 markings, 127375187 edges, 247043 markings/sec, 110 secs
lola: 36186089 markings, 132801672 edges, 301075 markings/sec, 115 secs
lola: 37833722 markings, 138650568 edges, 329527 markings/sec, 120 secs
lola: 39308380 markings, 144305315 edges, 294932 markings/sec, 125 secs
lola: 40750467 markings, 149816959 edges, 288417 markings/sec, 130 secs
lola: 42186503 markings, 155263977 edges, 287207 markings/sec, 135 secs
lola: 43592171 markings, 160546301 edges, 281134 markings/sec, 140 secs
lola: 44931811 markings, 165624479 edges, 267928 markings/sec, 145 secs
lola: 46133805 markings, 170578550 edges, 240399 markings/sec, 150 secs
lola: 47556553 markings, 175957119 edges, 284550 markings/sec, 155 secs
lola: 49242910 markings, 181753660 edges, 337271 markings/sec, 160 secs
lola: 50728783 markings, 187466872 edges, 297175 markings/sec, 165 secs
lola: 52171764 markings, 193007653 edges, 288596 markings/sec, 170 secs
lola: 53594514 markings, 198451952 edges, 284550 markings/sec, 175 secs
lola: 55010862 markings, 203834861 edges, 283270 markings/sec, 180 secs
lola: 56428412 markings, 209186437 edges, 283510 markings/sec, 185 secs
lola: 57751351 markings, 214203659 edges, 264588 markings/sec, 190 secs
lola: 59011089 markings, 218964608 edges, 251948 markings/sec, 195 secs
lola: 60066517 markings, 223978679 edges, 211086 markings/sec, 200 secs
lola: 61621985 markings, 229376048 edges, 311094 markings/sec, 205 secs
lola: 63311814 markings, 235172327 edges, 337966 markings/sec, 210 secs
lola: 64829467 markings, 241020775 edges, 303531 markings/sec, 215 secs
lola: 66296494 markings, 246662648 edges, 293405 markings/sec, 220 secs
lola: 67736681 markings, 252201362 edges, 288037 markings/sec, 225 secs
lola: 69166487 markings, 257669993 edges, 285961 markings/sec, 230 secs
lola: 70593618 markings, 263075349 edges, 285426 markings/sec, 235 secs
lola: 72009051 markings, 268446984 edges, 283087 markings/sec, 240 secs
lola: 73329355 markings, 273452038 edges, 264061 markings/sec, 245 secs
lola: 74625012 markings, 278400241 edges, 259131 markings/sec, 250 secs
lola: 75860400 markings, 283083021 edges, 247078 markings/sec, 255 secs
lola: 76981626 markings, 288405996 edges, 224245 markings/sec, 260 secs
lola: 78586475 markings, 293826361 edges, 320970 markings/sec, 265 secs
lola: 80245675 markings, 299737309 edges, 331840 markings/sec, 270 secs
lola: 81725417 markings, 305443556 edges, 295948 markings/sec, 275 secs
lola: 83165115 markings, 311000759 edges, 287940 markings/sec, 280 secs
lola: 84580539 markings, 316442796 edges, 283085 markings/sec, 285 secs
lola: 85984667 markings, 321839662 edges, 280826 markings/sec, 290 secs
lola: 87382007 markings, 327180867 edges, 279468 markings/sec, 295 secs
lola: 88809783 markings, 332536117 edges, 285555 markings/sec, 300 secs
lola: 90162138 markings, 337730176 edges, 270471 markings/sec, 305 secs
lola: 91423624 markings, 342530076 edges, 252297 markings/sec, 310 secs
lola: 92721871 markings, 347465990 edges, 259649 markings/sec, 315 secs
lola: 93975551 markings, 352250785 edges, 250736 markings/sec, 320 secs
lola: 95047608 markings, 357199568 edges, 214411 markings/sec, 325 secs
lola: 96307811 markings, 362292087 edges, 252041 markings/sec, 330 secs
lola: 97887511 markings, 367624669 edges, 315940 markings/sec, 335 secs
lola: 99548411 markings, 373553052 edges, 332180 markings/sec, 340 secs
lola: 101006040 markings, 379183124 edges, 291526 markings/sec, 345 secs
lola: 102428480 markings, 384694915 edges, 284488 markings/sec, 350 secs
lola: 103821744 markings, 390053855 edges, 278653 markings/sec, 355 secs
lola: 105198466 markings, 395356619 edges, 275344 markings/sec, 360 secs
lola: 106572793 markings, 400636833 edges, 274865 markings/sec, 365 secs
lola: 107946912 markings, 405900922 edges, 274824 markings/sec, 370 secs
lola: 109334320 markings, 411136074 edges, 277482 markings/sec, 375 secs
lola: 110719769 markings, 416407746 edges, 277090 markings/sec, 380 secs
lola: 112000841 markings, 421310931 edges, 256214 markings/sec, 385 secs
lola: 113274314 markings, 426181584 edges, 254695 markings/sec, 390 secs
lola: 114518435 markings, 430936005 edges, 248824 markings/sec, 395 secs
lola: 115595189 markings, 435033683 edges, 215351 markings/sec, 400 secs
lola: 115906423 markings, 436237360 edges, 62247 markings/sec, 405 secs
lola: 116058323 markings, 436821604 edges, 30380 markings/sec, 410 secs
lola: 116058358 markings, 436821716 edges, 7 markings/sec, 415 secs
lola: 116150313 markings, 437172329 edges, 18391 markings/sec, 420 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(maU) OR G (F (FIREABLE(msG)))) U (G (NOT FIREABLE(msG)) OR G (FIREABLE(csF)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((NOT FIREABLE(maU) OR G (F (FIREABLE(msG)))) U (G (NOT FIREABLE(msG)) OR G (FIREABLE(csF)))))
lola: processed formula length: 97
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 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: 1460522 markings, 5274452 edges, 292104 markings/sec, 0 secs
lola: 2757593 markings, 10282107 edges, 259414 markings/sec, 5 secs
lola: 3936968 markings, 15026743 edges, 235875 markings/sec, 10 secs
lola: 5130488 markings, 19786380 edges, 238704 markings/sec, 15 secs
lola: 6224335 markings, 24407897 edges, 218769 markings/sec, 20 secs
lola: 7416042 markings, 29222433 edges, 238341 markings/sec, 25 secs
lola: 8614163 markings, 33986110 edges, 239624 markings/sec, 30 secs
lola: 9765330 markings, 38680244 edges, 230233 markings/sec, 35 secs
lola: 10790084 markings, 43186182 edges, 204951 markings/sec, 40 secs
lola: 11846304 markings, 47597812 edges, 211244 markings/sec, 45 secs
lola: 12931726 markings, 52079247 edges, 217084 markings/sec, 50 secs
lola: 13978070 markings, 56358728 edges, 209269 markings/sec, 55 secs
lola: 15051636 markings, 60896240 edges, 214713 markings/sec, 60 secs
lola: 16049954 markings, 65292598 edges, 199664 markings/sec, 65 secs
lola: 17032308 markings, 69638086 edges, 196471 markings/sec, 70 secs
lola: 18021660 markings, 73993513 edges, 197870 markings/sec, 75 secs
lola: 18974028 markings, 78276454 edges, 190474 markings/sec, 80 secs
lola: 20038698 markings, 82749560 edges, 212934 markings/sec, 85 secs
lola: 21056773 markings, 87219503 edges, 203615 markings/sec, 90 secs
lola: 22166843 markings, 91804643 edges, 222014 markings/sec, 95 secs
lola: 23177321 markings, 96256118 edges, 202096 markings/sec, 100 secs
lola: 24295698 markings, 100848143 edges, 223675 markings/sec, 105 secs
lola: 25436900 markings, 105534646 edges, 228240 markings/sec, 110 secs
lola: 26517531 markings, 110206221 edges, 216126 markings/sec, 115 secs
lola: 27683530 markings, 114781583 edges, 233200 markings/sec, 120 secs
lola: 28778317 markings, 119333276 edges, 218957 markings/sec, 125 secs
lola: 29768020 markings, 123709639 edges, 197941 markings/sec, 130 secs
lola: 30855825 markings, 128181992 edges, 217561 markings/sec, 135 secs
lola: 31843618 markings, 132485782 edges, 197559 markings/sec, 140 secs
lola: 32748052 markings, 136694578 edges, 180887 markings/sec, 145 secs
lola: 33720522 markings, 141022828 edges, 194494 markings/sec, 150 secs
lola: 34612078 markings, 145235109 edges, 178311 markings/sec, 155 secs
lola: 35603244 markings, 149387186 edges, 198233 markings/sec, 160 secs
lola: 36535866 markings, 153420157 edges, 186524 markings/sec, 165 secs
lola: 37468564 markings, 157620279 edges, 186540 markings/sec, 170 secs
lola: 38420986 markings, 161755138 edges, 190484 markings/sec, 175 secs
lola: 39492062 markings, 166160710 edges, 214215 markings/sec, 180 secs
lola: 40485698 markings, 170401627 edges, 198727 markings/sec, 185 secs
lola: 41430274 markings, 174527280 edges, 188915 markings/sec, 190 secs
lola: 42509412 markings, 178973726 edges, 215828 markings/sec, 195 secs
lola: 43475879 markings, 183263390 edges, 193293 markings/sec, 200 secs
lola: 44432720 markings, 187513533 edges, 191368 markings/sec, 205 secs
lola: 45347767 markings, 191678337 edges, 183009 markings/sec, 210 secs
lola: 46262660 markings, 195850914 edges, 182979 markings/sec, 215 secs
lola: 47164404 markings, 199972565 edges, 180349 markings/sec, 220 secs
lola: 48092472 markings, 204153544 edges, 185614 markings/sec, 225 secs
lola: 48954814 markings, 208236790 edges, 172468 markings/sec, 230 secs
lola: 49905874 markings, 212428143 edges, 190212 markings/sec, 235 secs
lola: 50755710 markings, 216429488 edges, 169967 markings/sec, 240 secs
lola: 51608582 markings, 220511779 edges, 170574 markings/sec, 245 secs
lola: 52563033 markings, 224701414 edges, 190890 markings/sec, 250 secs
lola: 53433783 markings, 228742554 edges, 174150 markings/sec, 255 secs
lola: 54247550 markings, 232692271 edges, 162753 markings/sec, 260 secs
lola: 55150881 markings, 236849498 edges, 180666 markings/sec, 265 secs
lola: 56159591 markings, 241139724 edges, 201742 markings/sec, 270 secs
lola: 57187871 markings, 245499066 edges, 205656 markings/sec, 275 secs
lola: 58052101 markings, 249551507 edges, 172846 markings/sec, 280 secs
lola: 58856732 markings, 253527112 edges, 160926 markings/sec, 285 secs
lola: 59776780 markings, 257757482 edges, 184010 markings/sec, 290 secs
lola: 60910240 markings, 262391001 edges, 226692 markings/sec, 295 secs
lola: 61955178 markings, 266811550 edges, 208988 markings/sec, 300 secs
lola: 62906645 markings, 271089127 edges, 190293 markings/sec, 305 secs
lola: 63942059 markings, 275468027 edges, 207083 markings/sec, 310 secs
lola: 64861551 markings, 279660309 edges, 183898 markings/sec, 315 secs
lola: 65744756 markings, 283825316 edges, 176641 markings/sec, 320 secs
lola: 66651828 markings, 287922227 edges, 181414 markings/sec, 325 secs
lola: 67728990 markings, 292271283 edges, 215432 markings/sec, 330 secs
lola: 69161457 markings, 297100197 edges, 286493 markings/sec, 335 secs
lola: 70379568 markings, 301543201 edges, 243622 markings/sec, 340 secs
lola: 71484214 markings, 305944597 edges, 220929 markings/sec, 345 secs
lola: 72558367 markings, 310435898 edges, 214831 markings/sec, 350 secs
lola: 73569196 markings, 314794303 edges, 202166 markings/sec, 355 secs
lola: 74530884 markings, 319033582 edges, 192338 markings/sec, 360 secs
lola: 75533366 markings, 323334192 edges, 200496 markings/sec, 365 secs
lola: 76412301 markings, 327428039 edges, 175787 markings/sec, 370 secs
lola: 77295237 markings, 331564398 edges, 176587 markings/sec, 375 secs
lola: 78198981 markings, 335620270 edges, 180749 markings/sec, 380 secs
lola: 79252038 markings, 339948290 edges, 210611 markings/sec, 385 secs
lola: 80229448 markings, 344226530 edges, 195482 markings/sec, 390 secs
lola: 81204401 markings, 348432145 edges, 194991 markings/sec, 395 secs
lola: 82076782 markings, 352434946 edges, 174476 markings/sec, 400 secs
lola: 82891788 markings, 356349009 edges, 163001 markings/sec, 405 secs
lola: 83708155 markings, 360294204 edges, 163273 markings/sec, 410 secs
lola: 84538059 markings, 364331659 edges, 165981 markings/sec, 415 secs
lola: 85483771 markings, 368547074 edges, 189142 markings/sec, 420 secs
lola: 86365578 markings, 372596596 edges, 176361 markings/sec, 425 secs
lola: 87189111 markings, 376549287 edges, 164707 markings/sec, 430 secs
lola: 87985987 markings, 380514272 edges, 159375 markings/sec, 435 secs
lola: 88826241 markings, 384569820 edges, 168051 markings/sec, 440 secs
lola: 89777899 markings, 388641568 edges, 190332 markings/sec, 445 secs
lola: 90695529 markings, 392565351 edges, 183526 markings/sec, 450 secs
lola: 91591167 markings, 396453652 edges, 179128 markings/sec, 455 secs
lola: 92452080 markings, 400332821 edges, 172183 markings/sec, 460 secs
lola: 93308440 markings, 404151446 edges, 171272 markings/sec, 465 secs
lola: 94197165 markings, 408150935 edges, 177745 markings/sec, 470 secs
lola: 95073140 markings, 412192591 edges, 175195 markings/sec, 475 secs
lola: 95905633 markings, 416128317 edges, 166499 markings/sec, 480 secs
lola: 96769556 markings, 419993851 edges, 172785 markings/sec, 485 secs
lola: 97574441 markings, 423817230 edges, 160977 markings/sec, 490 secs
lola: 98621334 markings, 428129218 edges, 209379 markings/sec, 495 secs
lola: 99604018 markings, 432304308 edges, 196537 markings/sec, 500 secs
lola: 100566815 markings, 436424700 edges, 192559 markings/sec, 505 secs
lola: 101502020 markings, 440453471 edges, 187041 markings/sec, 510 secs
lola: 102399468 markings, 444423654 edges, 179490 markings/sec, 515 secs
lola: 103233482 markings, 448304254 edges, 166803 markings/sec, 520 secs
lola: 104122805 markings, 452269421 edges, 177865 markings/sec, 525 secs
lola: 105043187 markings, 456249195 edges, 184076 markings/sec, 530 secs
lola: 106045097 markings, 460491553 edges, 200382 markings/sec, 535 secs
lola: 106995766 markings, 464702661 edges, 190134 markings/sec, 540 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no no no no yes no yes unknown yes unknown no yes no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: unknown no no no no no yes no yes unknown yes unknown no yes no unknown

preliminary result: unknown no no no no no yes no yes unknown yes unknown no yes no unknown
lola: memory consumption: 10476 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

BK_STOP 1589284533413

--------------------
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-N0020P3"
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-N0020P3, 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-158902068200050"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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