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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.180 2603506.00 2582396.00 12180.60 FFFFTFFFT?FFTFF? 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-158902068200052.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-N0020P4, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068200052
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 3.9K 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 3.1K Mar 26 07:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K 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-N0020P4-00
FORMULA_NAME ClientsAndServers-PT-N0020P4-01
FORMULA_NAME ClientsAndServers-PT-N0020P4-02
FORMULA_NAME ClientsAndServers-PT-N0020P4-03
FORMULA_NAME ClientsAndServers-PT-N0020P4-04
FORMULA_NAME ClientsAndServers-PT-N0020P4-05
FORMULA_NAME ClientsAndServers-PT-N0020P4-06
FORMULA_NAME ClientsAndServers-PT-N0020P4-07
FORMULA_NAME ClientsAndServers-PT-N0020P4-08
FORMULA_NAME ClientsAndServers-PT-N0020P4-09
FORMULA_NAME ClientsAndServers-PT-N0020P4-10
FORMULA_NAME ClientsAndServers-PT-N0020P4-11
FORMULA_NAME ClientsAndServers-PT-N0020P4-12
FORMULA_NAME ClientsAndServers-PT-N0020P4-13
FORMULA_NAME ClientsAndServers-PT-N0020P4-14
FORMULA_NAME ClientsAndServers-PT-N0020P4-15

=== Now, execution of the tool begins

BK_START 1589285490819

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

FORMULA ClientsAndServers-PT-N0020P4-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

{
"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 12:11:30 2020
",
"timelimit": 3570
},
"child":
[

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"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 (G ((NOT FIREABLE(csF) AND G (F (NOT FIREABLE(csF)))))))",
"processed_size": 61,
"rewrites": 123
},
"result":
{
"edges": 10942088,
"markings": 1741852,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"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": 273
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((X ((NOT FIREABLE(msA) AND X (F (NOT FIREABLE(msA))))) OR G ((FIREABLE(ssF) OR X (FIREABLE(srF))))))",
"processed_size": 103,
"rewrites": 123
},
"result":
{
"edges": 10,
"markings": 11,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 11
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"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": 3,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (G (((FIREABLE(srR) OR X (NOT FIREABLE(msG))) AND FIREABLE(msG)))))",
"processed_size": 72,
"rewrites": 123
},
"result":
{
"edges": 1289,
"markings": 1289,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 322
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (F ((FIREABLE(mrR) AND (X (NOT FIREABLE(csR)) AND F (NOT FIREABLE(ssR))))))",
"processed_size": 77,
"rewrites": 123
},
"result":
{
"edges": 1667,
"markings": 1666,
"produced_by": "LTL model checker",
"value": false
},
"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": 355
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"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": 3
},
"processed": "A ((X (FIREABLE(mrF)) OR F (G ((NOT FIREABLE(srF) AND NOT FIREABLE(csR))))))",
"processed_size": 76,
"rewrites": 123
},
"result":
{
"edges": 13426177,
"markings": 1722488,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 6,
"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": 393
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((X (FIREABLE(msG)) OR (G (FIREABLE(mrF)) AND X (F (FIREABLE(msG))))) U X (FIREABLE(mrR))))",
"processed_size": 94,
"rewrites": 123
},
"result":
{
"edges": 1289,
"markings": 1289,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"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": 442
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X (G ((FIREABLE(srG) OR X (F ((NOT FIREABLE(msA) AND NOT FIREABLE(msG))))))))",
"processed_size": 80,
"rewrites": 123
},
"result":
{
"edges": 5413146,
"markings": 2122600,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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": 505
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 0,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 4,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (F ((F ((FIREABLE(csF) AND X (F (FIREABLE(csF))))) OR X ((NOT FIREABLE(ssF) OR FIREABLE(ssF)))))))",
"processed_size": 103,
"rewrites": 123
},
"result":
{
"edges": 5,
"markings": 6,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"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": 589
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 4,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 6,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 2,
"tneg": 0,
"transition_references": 6,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((F (G (FIREABLE(msA))) OR (G (F ((G (NOT FIREABLE(csF)) OR ((FIREABLE(msA) U FIREABLE(crG)) AND X (NOT FIREABLE(csF)))))) AND F (G (FIREABLE(msA))))))",
"processed_size": 153,
"rewrites": 123
},
"result":
{
"edges": 1293,
"markings": 1291,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 14
},
"compoundnumber": 10,
"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": 707
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((F (FIREABLE(msG)) OR (FIREABLE(msG) AND G (FIREABLE(mfU)))))",
"processed_size": 64,
"rewrites": 123
},
"result":
{
"edges": 217732,
"markings": 66518,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 11,
"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": 887
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (F ((G (NOT FIREABLE(srR)) AND F ((NOT FIREABLE(mfU) OR F (FIREABLE(msA)))))))",
"processed_size": 80,
"rewrites": 123
},
"result":
{
"edges": 19,
"markings": 19,
"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": 2237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 5,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((((FIREABLE(crG) OR FIREABLE(srF)) OR (FIREABLE(crG) AND FIREABLE(srF))) U FIREABLE(crA)))",
"processed_size": 94,
"rewrites": 133
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space /ER",
"value": false
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl",
"visible": 7
},
"threads": 1,
"type": "dfs"
},
"type": "universal_until"
}
}
],
"exit":
{
"error": null,
"memory": 13324,
"runtime": 2604.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X(G(((* R *) OR (G(F(*)) OR F((* AND F(*)))))))) : A(F((G(*) AND F((* OR F(*)))))) : (A(X(X(G(*)))) AND A(X(G((* OR X(*)))))) : A(X(G((* AND G(F(*)))))) : A((X((* AND X(F(*)))) OR G((** OR X(**))))) : A(X(G(((* OR X(*)) AND *)))) : A(F((* AND (X(*) AND F(*))))) : A((X(**) OR F(G(*)))) : A((F(**) OR (** AND G(**)))) : A(F(G((** OR (G(**) AND F(**)))))) : A(((X(**) OR (G(**) AND X(F(**)))) U X(*))) : A(X(G((** OR X(F(**)))))) : A(X(F((F((** AND X(F(**)))) OR X((** OR **)))))) : A(((** OR (** AND **)) U **)) : A((F(G(**)) OR (G(F((G(*) OR ((** U **) AND X(*))))) AND F(G(**))))) : A(F((** OR G((** AND F(**))))))"
},
"net":
{
"arcs": 54,
"conflict_clusters": 16,
"places": 25,
"places_significant": 17,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"preliminary_value": "no no no no yes no no no yes unknown no no yes no no unknown ",
"value": "no no no no yes no no no yes unknown no no yes no 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 (G (X (NOT(((FIREABLE(maU) U FIREABLE(ssG)) AND G ((NOT FIREABLE(maU) U G (FIREABLE(maU))))))))) : A (F (NOT((F (FIREABLE(srR)) OR G ((FIREABLE(mfU) AND G (NOT FIREABLE(msA)))))))) : A ((NOT(X (X (F (FIREABLE(srF))))) AND NOT(F (X ((FIREABLE(ssG) AND X (FIREABLE(srF)))))))) : A (X (NOT(F ((FIREABLE(csF) OR (FIREABLE(ssF) U X (F (X (G (FIREABLE(csF))))))))))) : A (NOT((X ((FIREABLE(msA) OR G (X (FIREABLE(msA))))) AND F (NOT((FIREABLE(ssF) OR X (FIREABLE(srF)))))))) : A (NOT(X ((F ((NOT FIREABLE(srR) AND X (FIREABLE(msG)))) OR (FIREABLE(msG) U NOT FIREABLE(msG)))))) : A (((FIREABLE(ssR) OR F (FIREABLE(csR))) U F (NOT(((NOT FIREABLE(mrR) OR X (FIREABLE(csR))) OR G (FIREABLE(ssR))))))) : A ((X (FIREABLE(mrF)) OR NOT(F (G (F ((FIREABLE(srF) OR FIREABLE(csR)))))))) : A ((F (FIREABLE(msG)) OR (FIREABLE(msG) AND G (FIREABLE(mfU))))) : A (F (G (X ((G (FIREABLE(msG)) U FIREABLE(ssA)))))) : A (((G (FIREABLE(mrF)) U X (FIREABLE(msG))) U NOT(X (NOT FIREABLE(mrR))))) : A (X (G ((FIREABLE(srG) OR X (F ((NOT FIREABLE(msA) AND NOT FIREABLE(msG)))))))) : A (F (X (((F ((FIREABLE(csF) AND F (X (FIREABLE(csF))))) OR X (NOT FIREABLE(ssF))) OR X (FIREABLE(ssF)))))) : A ((((FIREABLE(crG) OR FIREABLE(srF)) OR (FIREABLE(crG) AND (FIREABLE(srF) OR G (FIREABLE(srF))))) U FIREABLE(crA))) : A ((G (NOT(G ((NOT((FIREABLE(msA) U FIREABLE(crG))) U X (FIREABLE(csF)))))) U F (G (X (FIREABLE(msA)))))) : A (F ((FIREABLE(csF) OR G ((FIREABLE(crA) AND F (FIREABLE(srF)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:422
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:419
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:371
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:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:494
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
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 (G (((NOT FIREABLE(maU) R NOT FIREABLE(ssG)) OR (G (F (NOT FIREABLE(maU))) OR F ((FIREABLE(maU) AND F (NOT FIREABLE(maU)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((NOT FIREABLE(maU) R NOT FIREABLE(ssG)) OR (G (F (NOT FIREABLE(maU))) OR F ((FIREABLE(maU) AND F (NOT FIREABLE(maU)))))))))
lola: processed formula length: 133
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2025760 markings, 5313892 edges, 405152 markings/sec, 0 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: 2091437 markings, 5503276 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (X (G (NOT FIREABLE(srF))))) AND A (X (G ((NOT FIREABLE(ssG) OR X (NOT FIREABLE(srF)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G (NOT FIREABLE(srF)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G (NOT FIREABLE(srF)))))
lola: processed formula length: 33
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 175196 markings, 613534 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((NOT FIREABLE(csF) AND G (F (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(csF) AND G (F (NOT FIREABLE(csF)))))))
lola: processed formula length: 61
lola: 123 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: 1153360 markings, 7012380 edges, 230672 markings/sec, 0 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: 1741852 markings, 10942088 edges
lola: ========================================
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((NOT FIREABLE(msA) AND X (F (NOT FIREABLE(msA))))) OR G ((FIREABLE(ssF) OR X (FIREABLE(srF))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((NOT FIREABLE(msA) AND X (F (NOT FIREABLE(msA))))) OR G ((FIREABLE(ssF) OR X (FIREABLE(srF))))))
lola: processed formula length: 103
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 11 markings, 10 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (((FIREABLE(srR) OR X (NOT FIREABLE(msG))) AND FIREABLE(msG)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((FIREABLE(srR) OR X (NOT FIREABLE(msG))) AND FIREABLE(msG)))))
lola: processed formula length: 72
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1289 markings, 1289 edges
lola: ========================================
lola: subprocess 5 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(mrR) AND (X (NOT FIREABLE(csR)) AND F (NOT FIREABLE(ssR))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(mrR) AND (X (NOT FIREABLE(csR)) AND F (NOT FIREABLE(ssR))))))
lola: processed formula length: 77
lola: 123 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: 1666 markings, 1667 edges
lola: ========================================
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (FIREABLE(mrF)) OR F (G ((NOT FIREABLE(srF) AND NOT FIREABLE(csR))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (FIREABLE(mrF)) OR F (G ((NOT FIREABLE(srF) AND NOT FIREABLE(csR))))))
lola: processed formula length: 76
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1034666 markings, 7536814 edges, 206933 markings/sec, 0 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: 1722488 markings, 13426177 edges
lola: ========================================
lola: subprocess 7 will run for 393 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((X (FIREABLE(msG)) OR (G (FIREABLE(mrF)) AND X (F (FIREABLE(msG))))) U X (FIREABLE(mrR))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((X (FIREABLE(msG)) OR (G (FIREABLE(mrF)) AND X (F (FIREABLE(msG))))) U X (FIREABLE(mrR))))
lola: processed formula length: 94
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1289 markings, 1289 edges
lola: subprocess 8 will run for 442 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((FIREABLE(srG) OR X (F ((NOT FIREABLE(msA) AND NOT FIREABLE(msG))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((FIREABLE(srG) OR X (F ((NOT FIREABLE(msA) AND NOT FIREABLE(msG))))))))
lola: processed formula length: 80
lola: 123 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: ========================================
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: 2122600 markings, 5413146 edges
lola: ========================================
lola: subprocess 9 will run for 505 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((F ((FIREABLE(csF) AND X (F (FIREABLE(csF))))) OR X ((NOT FIREABLE(ssF) OR FIREABLE(ssF)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((F ((FIREABLE(csF) AND X (F (FIREABLE(csF))))) OR X ((NOT FIREABLE(ssF) OR FIREABLE(ssF)))))))
lola: processed formula length: 103
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 10 will run for 589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (G (FIREABLE(msA))) OR (G (F ((G (NOT FIREABLE(csF)) OR ((FIREABLE(msA) U FIREABLE(crG)) AND X (NOT FIREABLE(csF)))))) AND F (G (FIREABLE(msA))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (G (FIREABLE(msA))) OR (G (F ((G (NOT FIREABLE(csF)) OR ((FIREABLE(msA) U FIREABLE(crG)) AND X (NOT FIREABLE(csF)))))) AND F (G (FIREABLE(msA))))))
lola: processed formula length: 153
lola: 123 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: 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: 1291 markings, 1293 edges
lola: ========================================
lola: subprocess 11 will run for 707 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(msG)) OR (FIREABLE(msG) AND G (FIREABLE(mfU)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(msG)) OR (FIREABLE(msG) AND G (FIREABLE(mfU)))))
lola: processed formula length: 64
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 66518 markings, 217732 edges
lola: ========================================
lola: subprocess 12 will run for 884 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(ssA) OR (G (FIREABLE(msG)) AND F (FIREABLE(ssA)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(ssA) OR (G (FIREABLE(msG)) AND F (FIREABLE(ssA)))))))
lola: processed formula length: 72
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 928701 markings, 6459036 edges, 185740 markings/sec, 0 secs
lola: 1818897 markings, 12770631 edges, 178039 markings/sec, 5 secs
lola: 2696490 markings, 19001883 edges, 175519 markings/sec, 10 secs
lola: 3599553 markings, 25423568 edges, 180613 markings/sec, 15 secs
lola: 4507182 markings, 31887134 edges, 181526 markings/sec, 20 secs
lola: 5355460 markings, 37933868 edges, 169656 markings/sec, 25 secs
lola: 6179686 markings, 43815743 edges, 164845 markings/sec, 30 secs
lola: 7077421 markings, 50229176 edges, 179547 markings/sec, 35 secs
lola: 7974229 markings, 56636441 edges, 179362 markings/sec, 40 secs
lola: 8877841 markings, 63087663 edges, 180722 markings/sec, 45 secs
lola: 9780039 markings, 69534143 edges, 180440 markings/sec, 50 secs
lola: 10678945 markings, 75951240 edges, 179781 markings/sec, 55 secs
lola: 11582249 markings, 82414421 edges, 180661 markings/sec, 60 secs
lola: 12512921 markings, 89076368 edges, 186134 markings/sec, 65 secs
lola: 13462973 markings, 95861115 edges, 190010 markings/sec, 70 secs
lola: 14414343 markings, 102669307 edges, 190274 markings/sec, 75 secs
lola: 15371673 markings, 109524946 edges, 191466 markings/sec, 80 secs
lola: 16340151 markings, 116453847 edges, 193696 markings/sec, 85 secs
lola: 17327345 markings, 123522754 edges, 197439 markings/sec, 90 secs
lola: 18319796 markings, 130627952 edges, 198490 markings/sec, 95 secs
lola: 19322595 markings, 137804921 edges, 200560 markings/sec, 100 secs
lola: 20322901 markings, 144965620 edges, 200061 markings/sec, 105 secs
lola: 21346277 markings, 152314437 edges, 204675 markings/sec, 110 secs
lola: 22363112 markings, 159587260 edges, 203367 markings/sec, 115 secs
lola: 23262964 markings, 166353364 edges, 179970 markings/sec, 120 secs
lola: 23976515 markings, 172392723 edges, 142710 markings/sec, 125 secs
lola: 24730793 markings, 178795864 edges, 150856 markings/sec, 130 secs
lola: 25462934 markings, 185029996 edges, 146428 markings/sec, 135 secs
lola: 26184821 markings, 191181984 edges, 144377 markings/sec, 140 secs
lola: 26908791 markings, 197359872 edges, 144794 markings/sec, 145 secs
lola: 27637428 markings, 203580348 edges, 145727 markings/sec, 150 secs
lola: 28352304 markings, 209691160 edges, 142975 markings/sec, 155 secs
lola: 29022809 markings, 215418147 edges, 134101 markings/sec, 160 secs
lola: 29654631 markings, 220829023 edges, 126364 markings/sec, 165 secs
lola: 30384307 markings, 227062105 edges, 145935 markings/sec, 170 secs
lola: 31118511 markings, 233336854 edges, 146841 markings/sec, 175 secs
lola: 31847346 markings, 239574856 edges, 145767 markings/sec, 180 secs
lola: 32573987 markings, 245800091 edges, 145328 markings/sec, 185 secs
lola: 33298729 markings, 252004390 edges, 144948 markings/sec, 190 secs
lola: 34044008 markings, 258392717 edges, 149056 markings/sec, 195 secs
lola: 34740502 markings, 264350000 edges, 139299 markings/sec, 200 secs
lola: 35495125 markings, 270812650 edges, 150925 markings/sec, 205 secs
lola: 36256603 markings, 277335196 edges, 152296 markings/sec, 210 secs
lola: 37024689 markings, 283907614 edges, 153617 markings/sec, 215 secs
lola: 37795936 markings, 290512554 edges, 154249 markings/sec, 220 secs
lola: 38574856 markings, 297206371 edges, 155784 markings/sec, 225 secs
lola: 39372081 markings, 304026950 edges, 159445 markings/sec, 230 secs
lola: 40171168 markings, 310866658 edges, 159817 markings/sec, 235 secs
lola: 40962932 markings, 317671697 edges, 158353 markings/sec, 240 secs
lola: 41770426 markings, 324577222 edges, 161499 markings/sec, 245 secs
lola: 42583498 markings, 331542555 edges, 162614 markings/sec, 250 secs
lola: 43394240 markings, 338501704 edges, 162148 markings/sec, 255 secs
lola: 44176907 markings, 345081168 edges, 156533 markings/sec, 260 secs
lola: 44895938 markings, 351140870 edges, 143806 markings/sec, 265 secs
lola: 45616647 markings, 357241049 edges, 144142 markings/sec, 270 secs
lola: 46311515 markings, 363140518 edges, 138974 markings/sec, 275 secs
lola: 46951012 markings, 368571236 edges, 127899 markings/sec, 280 secs
lola: 47651889 markings, 374535829 edges, 140175 markings/sec, 285 secs
lola: 48346653 markings, 380449497 edges, 138953 markings/sec, 290 secs
lola: 49037417 markings, 386323538 edges, 138153 markings/sec, 295 secs
lola: 49733621 markings, 392256408 edges, 139241 markings/sec, 300 secs
lola: 50428370 markings, 398176635 edges, 138950 markings/sec, 305 secs
lola: 51124857 markings, 404120082 edges, 139297 markings/sec, 310 secs
lola: 51769278 markings, 409609171 edges, 128884 markings/sec, 315 secs
lola: 52456378 markings, 415478755 edges, 137420 markings/sec, 320 secs
lola: 53146746 markings, 421355567 edges, 138074 markings/sec, 325 secs
lola: 53859202 markings, 427437963 edges, 142491 markings/sec, 330 secs
lola: 54579094 markings, 433584432 edges, 143978 markings/sec, 335 secs
lola: 55303558 markings, 439768398 edges, 144893 markings/sec, 340 secs
lola: 56033721 markings, 446002774 edges, 146033 markings/sec, 345 secs
lola: 56767487 markings, 452263949 edges, 146753 markings/sec, 350 secs
lola: 57514380 markings, 458639071 edges, 149379 markings/sec, 355 secs
lola: 58268109 markings, 465076601 edges, 150746 markings/sec, 360 secs
lola: 58970967 markings, 471089158 edges, 140572 markings/sec, 365 secs
lola: 59734770 markings, 477608000 edges, 152761 markings/sec, 370 secs
lola: 60489870 markings, 484053978 edges, 151020 markings/sec, 375 secs
lola: 61257062 markings, 490624492 edges, 153438 markings/sec, 380 secs
lola: 62030492 markings, 497226405 edges, 154686 markings/sec, 385 secs
lola: 62792589 markings, 503615737 edges, 152419 markings/sec, 390 secs
lola: 63526436 markings, 509772905 edges, 146769 markings/sec, 395 secs
lola: 64257951 markings, 515945775 edges, 146303 markings/sec, 400 secs
lola: 64965775 markings, 521934674 edges, 141565 markings/sec, 405 secs
lola: 65622553 markings, 527495211 edges, 131356 markings/sec, 410 secs
lola: 66333458 markings, 533515706 edges, 142181 markings/sec, 415 secs
lola: 67031193 markings, 539432206 edges, 139547 markings/sec, 420 secs
lola: 67735043 markings, 545401442 edges, 140770 markings/sec, 425 secs
lola: 68441341 markings, 551399224 edges, 141260 markings/sec, 430 secs
lola: 69151874 markings, 557435705 edges, 142107 markings/sec, 435 secs
lola: 69856375 markings, 563414086 edges, 140900 markings/sec, 440 secs
lola: 70522536 markings, 569084571 edges, 133232 markings/sec, 445 secs
lola: 71243195 markings, 575196585 edges, 144132 markings/sec, 450 secs
lola: 71976010 markings, 581432759 edges, 146563 markings/sec, 455 secs
lola: 72659647 markings, 587234791 edges, 136727 markings/sec, 460 secs
lola: 73405571 markings, 593577915 edges, 149185 markings/sec, 465 secs
lola: 74105039 markings, 599528792 edges, 139894 markings/sec, 470 secs
lola: 74862940 markings, 605974594 edges, 151580 markings/sec, 475 secs
lola: 75630796 markings, 612509986 edges, 153571 markings/sec, 480 secs
lola: 76406772 markings, 619116301 edges, 155195 markings/sec, 485 secs
lola: 77185248 markings, 625737348 edges, 155695 markings/sec, 490 secs
lola: 77917882 markings, 631968060 edges, 146527 markings/sec, 495 secs
lola: 78707843 markings, 638687039 edges, 157992 markings/sec, 500 secs
lola: 79480038 markings, 645191398 edges, 154439 markings/sec, 505 secs
lola: 80148356 markings, 650762111 edges, 133664 markings/sec, 510 secs
lola: 80854241 markings, 656682265 edges, 141177 markings/sec, 515 secs
lola: 81537283 markings, 662429575 edges, 136608 markings/sec, 520 secs
lola: 82217236 markings, 668164468 edges, 135991 markings/sec, 525 secs
lola: 82898977 markings, 673911875 edges, 136348 markings/sec, 530 secs
lola: 83572577 markings, 679600495 edges, 134720 markings/sec, 535 secs
lola: 84252043 markings, 685331750 edges, 135893 markings/sec, 540 secs
lola: 84935459 markings, 691098224 edges, 136683 markings/sec, 545 secs
lola: 85616691 markings, 696857841 edges, 136246 markings/sec, 550 secs
lola: 86245322 markings, 702166311 edges, 125726 markings/sec, 555 secs
lola: 86918385 markings, 707864162 edges, 134613 markings/sec, 560 secs
lola: 87622427 markings, 713817510 edges, 140808 markings/sec, 565 secs
lola: 88292578 markings, 719487432 edges, 134030 markings/sec, 570 secs
lola: 89005776 markings, 725518039 edges, 142640 markings/sec, 575 secs
lola: 89719436 markings, 731557441 edges, 142732 markings/sec, 580 secs
lola: 90451415 markings, 737745447 edges, 146396 markings/sec, 585 secs
lola: 91192071 markings, 744014653 edges, 148131 markings/sec, 590 secs
lola: 91909278 markings, 750087383 edges, 143441 markings/sec, 595 secs
lola: 92597365 markings, 755913227 edges, 137617 markings/sec, 600 secs
lola: 93352242 markings, 762304385 edges, 150975 markings/sec, 605 secs
lola: 94099542 markings, 768627598 edges, 149460 markings/sec, 610 secs
lola: 94861607 markings, 774765841 edges, 152413 markings/sec, 615 secs
lola: 95585887 markings, 780587829 edges, 144856 markings/sec, 620 secs
lola: 96274055 markings, 786139271 edges, 137634 markings/sec, 625 secs
lola: 96992508 markings, 791957277 edges, 143691 markings/sec, 630 secs
lola: 97717875 markings, 797848626 edges, 145073 markings/sec, 635 secs
lola: 98443617 markings, 803742583 edges, 145148 markings/sec, 640 secs
lola: 99176689 markings, 809696818 edges, 146614 markings/sec, 645 secs
lola: 99883382 markings, 815451677 edges, 141339 markings/sec, 650 secs
lola: 100587793 markings, 821191743 edges, 140882 markings/sec, 655 secs
lola: 101286088 markings, 826874664 edges, 139659 markings/sec, 660 secs
lola: 101989980 markings, 832609717 edges, 140778 markings/sec, 665 secs
lola: 102691400 markings, 838316314 edges, 140284 markings/sec, 670 secs
lola: 103387716 markings, 843983201 edges, 139263 markings/sec, 675 secs
lola: 104090018 markings, 849725802 edges, 140460 markings/sec, 680 secs
lola: 104797226 markings, 855480526 edges, 141442 markings/sec, 685 secs
lola: 105507257 markings, 861287338 edges, 142006 markings/sec, 690 secs
lola: 106162482 markings, 866618185 edges, 131045 markings/sec, 695 secs
lola: 106822940 markings, 872010565 edges, 132092 markings/sec, 700 secs
lola: 107513747 markings, 877658705 edges, 138161 markings/sec, 705 secs
lola: 108203110 markings, 883297484 edges, 137873 markings/sec, 710 secs
lola: 108865161 markings, 888709815 edges, 132410 markings/sec, 715 secs
lola: 109528638 markings, 894130505 edges, 132695 markings/sec, 720 secs
lola: 110236746 markings, 899887581 edges, 141622 markings/sec, 725 secs
lola: 110930486 markings, 905556689 edges, 138748 markings/sec, 730 secs
lola: 111621629 markings, 911206256 edges, 138229 markings/sec, 735 secs
lola: 112317034 markings, 916892196 edges, 139081 markings/sec, 740 secs
lola: 113014467 markings, 922590971 edges, 139487 markings/sec, 745 secs
lola: 113707923 markings, 928259094 edges, 138691 markings/sec, 750 secs
lola: 114407309 markings, 933976699 edges, 139877 markings/sec, 755 secs
lola: 115109661 markings, 939716758 edges, 140470 markings/sec, 760 secs
lola: 115811551 markings, 945456029 edges, 140378 markings/sec, 765 secs
lola: 116447853 markings, 950689050 edges, 127260 markings/sec, 770 secs
lola: 117151046 markings, 956428942 edges, 140639 markings/sec, 775 secs
lola: 117852809 markings, 962166965 edges, 140353 markings/sec, 780 secs
lola: 118552053 markings, 967880842 edges, 139849 markings/sec, 785 secs
lola: 119200293 markings, 973174922 edges, 129648 markings/sec, 790 secs
lola: 119879964 markings, 978761705 edges, 135934 markings/sec, 795 secs
lola: 120579131 markings, 984477866 edges, 139833 markings/sec, 800 secs
lola: 121298096 markings, 990354028 edges, 143793 markings/sec, 805 secs
lola: 122033543 markings, 996365992 edges, 147089 markings/sec, 810 secs
lola: 122729098 markings, 1002049062 edges, 139111 markings/sec, 815 secs
lola: 123441920 markings, 1007910234 edges, 142564 markings/sec, 820 secs
lola: 124172179 markings, 1013880405 edges, 146052 markings/sec, 825 secs
lola: 124904179 markings, 1019860732 edges, 146400 markings/sec, 830 secs
lola: 125629050 markings, 1025786025 edges, 144974 markings/sec, 835 secs
lola: 126160470 markings, 1030154474 edges, 106284 markings/sec, 840 secs
lola: 126177359 markings, 1030293215 edges, 3378 markings/sec, 845 secs
lola: 126183346 markings, 1030345297 edges, 1197 markings/sec, 850 secs
lola: 126293121 markings, 1031248844 edges, 21955 markings/sec, 855 secs
lola: 126293148 markings, 1031249062 edges, 5 markings/sec, 860 secs
lola: 126302695 markings, 1031323097 edges, 1909 markings/sec, 865 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 887 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((G (NOT FIREABLE(srR)) AND F ((NOT FIREABLE(mfU) OR F (FIREABLE(msA)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((G (NOT FIREABLE(srR)) AND F ((NOT FIREABLE(mfU) OR F (FIREABLE(msA)))))))
lola: processed formula length: 80
lola: 123 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: 19 markings, 19 edges
lola: ========================================
lola: subprocess 14 will run for 1330 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(csF) OR G ((FIREABLE(crA) AND F (FIREABLE(srF)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(csF) OR G ((FIREABLE(crA) AND F (FIREABLE(srF)))))))
lola: processed formula length: 68
lola: 123 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: 1602053 markings, 5146210 edges, 320411 markings/sec, 0 secs
lola: 3160543 markings, 10283862 edges, 311698 markings/sec, 5 secs
lola: 4680023 markings, 15289606 edges, 303896 markings/sec, 10 secs
lola: 6203890 markings, 20254085 edges, 304773 markings/sec, 15 secs
lola: 7683447 markings, 25117183 edges, 295911 markings/sec, 20 secs
lola: 9169786 markings, 29972551 edges, 297268 markings/sec, 25 secs
lola: 10653104 markings, 34767632 edges, 296664 markings/sec, 30 secs
lola: 12131995 markings, 39527661 edges, 295778 markings/sec, 35 secs
lola: 13622147 markings, 44277386 edges, 298030 markings/sec, 40 secs
lola: 15123555 markings, 49038094 edges, 300282 markings/sec, 45 secs
lola: 16640185 markings, 53807979 edges, 303326 markings/sec, 50 secs
lola: 18085880 markings, 58427816 edges, 289139 markings/sec, 55 secs
lola: 19575553 markings, 63063617 edges, 297935 markings/sec, 60 secs
lola: 21109671 markings, 67787199 edges, 306824 markings/sec, 65 secs
lola: 22543026 markings, 72308878 edges, 286671 markings/sec, 70 secs
lola: 24080075 markings, 76951971 edges, 307410 markings/sec, 75 secs
lola: 25622024 markings, 81598138 edges, 308390 markings/sec, 80 secs
lola: 27071630 markings, 86054633 edges, 289921 markings/sec, 85 secs
lola: 28644919 markings, 90708120 edges, 314658 markings/sec, 90 secs
lola: 30088450 markings, 95078915 edges, 288706 markings/sec, 95 secs
lola: 31679954 markings, 99699177 edges, 318301 markings/sec, 100 secs
lola: 33127892 markings, 104013405 edges, 289588 markings/sec, 105 secs
lola: 34734050 markings, 108588967 edges, 321232 markings/sec, 110 secs
lola: 36198793 markings, 112860535 edges, 292949 markings/sec, 115 secs
lola: 37812889 markings, 117404470 edges, 322819 markings/sec, 120 secs
lola: 39278324 markings, 121596872 edges, 293087 markings/sec, 125 secs
lola: 40871677 markings, 126028466 edges, 318671 markings/sec, 130 secs
lola: 42326945 markings, 130154385 edges, 291054 markings/sec, 135 secs
lola: 43796921 markings, 134331725 edges, 293995 markings/sec, 140 secs
lola: 45329549 markings, 138531133 edges, 306526 markings/sec, 145 secs
lola: 46731652 markings, 142525470 edges, 280421 markings/sec, 150 secs
lola: 48295800 markings, 146803268 edges, 312830 markings/sec, 155 secs
lola: 49672778 markings, 150729631 edges, 275396 markings/sec, 160 secs
lola: 51252479 markings, 155052871 edges, 315940 markings/sec, 165 secs
lola: 52631600 markings, 158972533 edges, 275824 markings/sec, 170 secs
lola: 54156762 markings, 163237006 edges, 305032 markings/sec, 175 secs
lola: 55585045 markings, 167208530 edges, 285657 markings/sec, 180 secs
lola: 56992605 markings, 171226266 edges, 281512 markings/sec, 185 secs
lola: 58509461 markings, 175358692 edges, 303371 markings/sec, 190 secs
lola: 59877231 markings, 179256147 edges, 273554 markings/sec, 195 secs
lola: 61431252 markings, 183507957 edges, 310804 markings/sec, 200 secs
lola: 62785013 markings, 187363249 edges, 270752 markings/sec, 205 secs
lola: 64373075 markings, 191718641 edges, 317612 markings/sec, 210 secs
lola: 65726181 markings, 195556833 edges, 270621 markings/sec, 215 secs
lola: 67166627 markings, 199668486 edges, 288089 markings/sec, 220 secs
lola: 68662459 markings, 203747611 edges, 299166 markings/sec, 225 secs
lola: 70041285 markings, 207677532 edges, 275765 markings/sec, 230 secs
lola: 71587620 markings, 211902155 edges, 309267 markings/sec, 235 secs
lola: 72942372 markings, 215755484 edges, 270950 markings/sec, 240 secs
lola: 74527960 markings, 220105211 edges, 317118 markings/sec, 245 secs
lola: 75869325 markings, 223916012 edges, 268273 markings/sec, 250 secs
lola: 77354635 markings, 228124690 edges, 297062 markings/sec, 255 secs
lola: 78819474 markings, 232141058 edges, 292968 markings/sec, 260 secs
lola: 80231829 markings, 236165262 edges, 282471 markings/sec, 265 secs
lola: 81780204 markings, 240400517 edges, 309675 markings/sec, 270 secs
lola: 83166664 markings, 244350779 edges, 277292 markings/sec, 275 secs
lola: 84749039 markings, 248681958 edges, 316475 markings/sec, 280 secs
lola: 86124992 markings, 252592638 edges, 275191 markings/sec, 285 secs
lola: 87669200 markings, 256905890 edges, 308842 markings/sec, 290 secs
lola: 89078732 markings, 260829518 edges, 281906 markings/sec, 295 secs
lola: 90517921 markings, 264938646 edges, 287838 markings/sec, 300 secs
lola: 92034561 markings, 269069845 edges, 303328 markings/sec, 305 secs
lola: 93432658 markings, 273055036 edges, 279619 markings/sec, 310 secs
lola: 94992942 markings, 277320887 edges, 312057 markings/sec, 315 secs
lola: 96387980 markings, 281290334 edges, 279008 markings/sec, 320 secs
lola: 97978872 markings, 285655301 edges, 318178 markings/sec, 325 secs
lola: 99366852 markings, 289600993 edges, 277596 markings/sec, 330 secs
lola: 100881789 markings, 293878005 edges, 302987 markings/sec, 335 secs
lola: 102348262 markings, 297916757 edges, 293295 markings/sec, 340 secs
lola: 103799198 markings, 302049777 edges, 290187 markings/sec, 345 secs
lola: 105332076 markings, 306236157 edges, 306576 markings/sec, 350 secs
lola: 106728888 markings, 310212124 edges, 279362 markings/sec, 355 secs
lola: 108281466 markings, 314463621 edges, 310516 markings/sec, 360 secs
lola: 109655042 markings, 318371068 edges, 274715 markings/sec, 365 secs
lola: 111218262 markings, 322662544 edges, 312644 markings/sec, 370 secs
lola: 112586910 markings, 326545214 edges, 273730 markings/sec, 375 secs
lola: 114014533 markings, 330621172 edges, 285525 markings/sec, 380 secs
lola: 115541472 markings, 334781574 edges, 305388 markings/sec, 385 secs
lola: 116929198 markings, 338737356 edges, 277545 markings/sec, 390 secs
lola: 118493960 markings, 343015506 edges, 312952 markings/sec, 395 secs
lola: 118642407 markings, 343438851 edges, 29689 markings/sec, 400 secs
lola: 118642911 markings, 343440116 edges, 101 markings/sec, 405 secs
lola: 118647775 markings, 343452692 edges, 973 markings/sec, 410 secs
lola: 118660194 markings, 343484961 edges, 2484 markings/sec, 415 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 2237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((FIREABLE(crG) OR FIREABLE(srF)) OR (FIREABLE(crG) AND FIREABLE(srF))) U FIREABLE(crA)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:735
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: rewrite Frontend/Parser/formula_rewrite.k:767
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:764
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: rewrite Frontend/Parser/formula_rewrite.k:793
lola: processed formula: A ((((FIREABLE(crG) OR FIREABLE(srF)) OR (FIREABLE(crG) AND FIREABLE(srF))) U FIREABLE(crA)))
lola: processed formula length: 94
lola: 133 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 /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 1
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(ssA) OR (G (FIREABLE(msG)) AND F (FIREABLE(ssA)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(ssA) OR (G (FIREABLE(msG)) AND F (FIREABLE(ssA)))))))
lola: processed formula length: 72
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 910911 markings, 6339608 edges, 182182 markings/sec, 0 secs
lola: 1851980 markings, 12997938 edges, 188214 markings/sec, 5 secs
lola: 2771590 markings, 19532372 edges, 183922 markings/sec, 10 secs
lola: 3670998 markings, 25936207 edges, 179882 markings/sec, 15 secs
lola: 4581852 markings, 32424279 edges, 182171 markings/sec, 20 secs
lola: 5480121 markings, 38827874 edges, 179654 markings/sec, 25 secs
lola: 6373349 markings, 45196120 edges, 178646 markings/sec, 30 secs
lola: 7270986 markings, 51606843 edges, 179527 markings/sec, 35 secs
lola: 8168154 markings, 58016299 edges, 179434 markings/sec, 40 secs
lola: 9077215 markings, 64509248 edges, 181812 markings/sec, 45 secs
lola: 9977275 markings, 70935074 edges, 180012 markings/sec, 50 secs
lola: 10877776 markings, 77381841 edges, 180100 markings/sec, 55 secs
lola: 11715463 markings, 83375448 edges, 167537 markings/sec, 60 secs
lola: 12659896 markings, 90117910 edges, 188887 markings/sec, 65 secs
lola: 13606230 markings, 96891310 edges, 189267 markings/sec, 70 secs
lola: 14552363 markings, 103662307 edges, 189227 markings/sec, 75 secs
lola: 15508232 markings, 110503803 edges, 191174 markings/sec, 80 secs
lola: 16477087 markings, 117443134 edges, 193771 markings/sec, 85 secs
lola: 17464865 markings, 124515095 edges, 197556 markings/sec, 90 secs
lola: 18456648 markings, 131613560 edges, 198357 markings/sec, 95 secs
lola: 19459849 markings, 138795115 edges, 200640 markings/sec, 100 secs
lola: 20458907 markings, 145942474 edges, 199812 markings/sec, 105 secs
lola: 21474999 markings, 153217175 edges, 203218 markings/sec, 110 secs
lola: 22483541 markings, 160457138 edges, 201708 markings/sec, 115 secs
lola: 23356982 markings, 167143194 edges, 174688 markings/sec, 120 secs
lola: 24108499 markings, 173510323 edges, 150303 markings/sec, 125 secs
lola: 24859363 markings, 179892398 edges, 150173 markings/sec, 130 secs
lola: 25583312 markings, 186053452 edges, 144790 markings/sec, 135 secs
lola: 26300086 markings, 192172807 edges, 143355 markings/sec, 140 secs
lola: 27022919 markings, 198342361 edges, 144567 markings/sec, 145 secs
lola: 27747010 markings, 204523035 edges, 144818 markings/sec, 150 secs
lola: 28457341 markings, 210591485 edges, 142066 markings/sec, 155 secs
lola: 29175310 markings, 216732330 edges, 143594 markings/sec, 160 secs
lola: 29890099 markings, 222840608 edges, 142958 markings/sec, 165 secs
lola: 30611391 markings, 229001274 edges, 144258 markings/sec, 170 secs
lola: 31335722 markings, 235204710 edges, 144866 markings/sec, 175 secs
lola: 32055872 markings, 241356779 edges, 144030 markings/sec, 180 secs
lola: 32776555 markings, 247528714 edges, 144137 markings/sec, 185 secs
lola: 33498247 markings, 253707673 edges, 144338 markings/sec, 190 secs
lola: 34243189 markings, 260088539 edges, 148988 markings/sec, 195 secs
lola: 34996408 markings, 266535029 edges, 150644 markings/sec, 200 secs
lola: 35749257 markings, 272983791 edges, 150570 markings/sec, 205 secs
lola: 36506969 markings, 279468530 edges, 151542 markings/sec, 210 secs
lola: 37265501 markings, 285964572 edges, 151706 markings/sec, 215 secs
lola: 38037731 markings, 292595720 edges, 154446 markings/sec, 220 secs
lola: 38825251 markings, 299335294 edges, 157504 markings/sec, 225 secs
lola: 39612080 markings, 306074407 edges, 157366 markings/sec, 230 secs
lola: 40402524 markings, 312862725 edges, 158089 markings/sec, 235 secs
lola: 41200468 markings, 319692933 edges, 159589 markings/sec, 240 secs
lola: 41985926 markings, 326440225 edges, 157092 markings/sec, 245 secs
lola: 42807665 markings, 333470313 edges, 164348 markings/sec, 250 secs
lola: 43598905 markings, 340264919 edges, 158248 markings/sec, 255 secs
lola: 44368757 markings, 346692233 edges, 153970 markings/sec, 260 secs
lola: 45087051 markings, 352752860 edges, 143659 markings/sec, 265 secs
lola: 45800197 markings, 358795487 edges, 142629 markings/sec, 270 secs
lola: 46489456 markings, 364649431 edges, 137852 markings/sec, 275 secs
lola: 47177492 markings, 370502669 edges, 137607 markings/sec, 280 secs
lola: 47875285 markings, 376429748 edges, 139559 markings/sec, 285 secs
lola: 48555715 markings, 382226825 edges, 136086 markings/sec, 290 secs
lola: 49240928 markings, 388056455 edges, 137043 markings/sec, 295 secs
lola: 49927235 markings, 393903593 edges, 137261 markings/sec, 300 secs
lola: 50610657 markings, 399736719 edges, 136684 markings/sec, 305 secs
lola: 51306814 markings, 405672008 edges, 139231 markings/sec, 310 secs
lola: 51996308 markings, 411542655 edges, 137899 markings/sec, 315 secs
lola: 52682431 markings, 417401940 edges, 137225 markings/sec, 320 secs
lola: 53371593 markings, 423284691 edges, 137832 markings/sec, 325 secs
lola: 54083732 markings, 429360906 edges, 142428 markings/sec, 330 secs
lola: 54804584 markings, 435501276 edges, 144170 markings/sec, 335 secs
lola: 55519916 markings, 441609450 edges, 143066 markings/sec, 340 secs
lola: 56240511 markings, 447759297 edges, 144119 markings/sec, 345 secs
lola: 56961050 markings, 453923863 edges, 144108 markings/sec, 350 secs
lola: 57706191 markings, 460284479 edges, 149028 markings/sec, 355 secs
lola: 58454653 markings, 466677564 edges, 149692 markings/sec, 360 secs
lola: 59208538 markings, 473114077 edges, 150777 markings/sec, 365 secs
lola: 59961948 markings, 479542444 edges, 150682 markings/sec, 370 secs
lola: 60714990 markings, 485985297 edges, 150608 markings/sec, 375 secs
lola: 61490746 markings, 492608648 edges, 155151 markings/sec, 380 secs
lola: 62246566 markings, 499080846 edges, 151164 markings/sec, 385 secs
lola: 63012021 markings, 505452852 edges, 153091 markings/sec, 390 secs
lola: 63743423 markings, 511601872 edges, 146280 markings/sec, 395 secs
lola: 64465731 markings, 517701591 edges, 144462 markings/sec, 400 secs
lola: 65165979 markings, 523626078 edges, 140050 markings/sec, 405 secs
lola: 65871737 markings, 529604547 edges, 141152 markings/sec, 410 secs
lola: 66572337 markings, 535549888 edges, 140120 markings/sec, 415 secs
lola: 67270389 markings, 541467238 edges, 139610 markings/sec, 420 secs
lola: 67974596 markings, 547434695 edges, 140841 markings/sec, 425 secs
lola: 68677596 markings, 553405261 edges, 140600 markings/sec, 430 secs
lola: 69386974 markings, 559431412 edges, 141876 markings/sec, 435 secs
lola: 70091023 markings, 565405227 edges, 140810 markings/sec, 440 secs
lola: 70790330 markings, 571357070 edges, 139861 markings/sec, 445 secs
lola: 71517844 markings, 577534506 edges, 145503 markings/sec, 450 secs
lola: 72246695 markings, 583731476 edges, 145770 markings/sec, 455 secs
lola: 72981878 markings, 589972897 edges, 147037 markings/sec, 460 secs
lola: 73723859 markings, 596284172 edges, 148396 markings/sec, 465 secs
lola: 74469925 markings, 602636513 edges, 149213 markings/sec, 470 secs
lola: 75229401 markings, 609098251 edges, 151895 markings/sec, 475 secs
lola: 75996083 markings, 615616302 edges, 153336 markings/sec, 480 secs
lola: 76768456 markings, 622190044 edges, 154475 markings/sec, 485 secs
lola: 77537800 markings, 628735702 edges, 153869 markings/sec, 490 secs
lola: 78321690 markings, 635402799 edges, 156778 markings/sec, 495 secs
lola: 79102182 markings, 642037549 edges, 156098 markings/sec, 500 secs
lola: 79842086 markings, 648196948 edges, 147981 markings/sec, 505 secs
lola: 80541317 markings, 654054170 edges, 139846 markings/sec, 510 secs
lola: 81223150 markings, 659785789 edges, 136367 markings/sec, 515 secs
lola: 81891806 markings, 665416258 edges, 133731 markings/sec, 520 secs
lola: 82570415 markings, 671137398 edges, 135722 markings/sec, 525 secs
lola: 83235278 markings, 676750766 edges, 132973 markings/sec, 530 secs
lola: 83903879 markings, 682392936 edges, 133720 markings/sec, 535 secs
lola: 84576147 markings, 688065980 edges, 134454 markings/sec, 540 secs
lola: 85252645 markings, 693786072 edges, 135300 markings/sec, 545 secs
lola: 85924674 markings, 699461983 edges, 134406 markings/sec, 550 secs
lola: 86596202 markings, 705137190 edges, 134306 markings/sec, 555 secs
lola: 87288253 markings, 710987663 edges, 138410 markings/sec, 560 secs
lola: 87986425 markings, 716899318 edges, 139634 markings/sec, 565 secs
lola: 88693927 markings, 722876564 edges, 141500 markings/sec, 570 secs
lola: 89404807 markings, 728894166 edges, 142176 markings/sec, 575 secs
lola: 90119685 markings, 734936309 edges, 142976 markings/sec, 580 secs
lola: 90850193 markings, 741121366 edges, 146102 markings/sec, 585 secs
lola: 91581583 markings, 747314599 edges, 146278 markings/sec, 590 secs
lola: 92318472 markings, 753554618 edges, 147378 markings/sec, 595 secs
lola: 93057308 markings, 759809007 edges, 147767 markings/sec, 600 secs
lola: 93806149 markings, 766152416 edges, 149768 markings/sec, 605 secs
lola: 94561797 markings, 772376518 edges, 151130 markings/sec, 610 secs
lola: 95294637 markings, 778236562 edges, 146568 markings/sec, 615 secs
lola: 96020836 markings, 784095839 edges, 145240 markings/sec, 620 secs
lola: 96736039 markings, 789892135 edges, 143041 markings/sec, 625 secs
lola: 97459931 markings, 795752931 edges, 144778 markings/sec, 630 secs
lola: 98177590 markings, 801582078 edges, 143532 markings/sec, 635 secs
lola: 98900589 markings, 807452343 edges, 144600 markings/sec, 640 secs
lola: 99611106 markings, 813241623 edges, 142103 markings/sec, 645 secs
lola: 100313787 markings, 818939920 edges, 140536 markings/sec, 650 secs
lola: 101006995 markings, 824585309 edges, 138642 markings/sec, 655 secs
lola: 101697202 markings, 830204405 edges, 138041 markings/sec, 660 secs
lola: 102391201 markings, 835876172 edges, 138800 markings/sec, 665 secs
lola: 103079866 markings, 841479370 edges, 137733 markings/sec, 670 secs
lola: 103774011 markings, 847132611 edges, 138829 markings/sec, 675 secs
lola: 104469403 markings, 852817037 edges, 139078 markings/sec, 680 secs
lola: 105170881 markings, 858526848 edges, 140296 markings/sec, 685 secs
lola: 105875923 markings, 864286732 edges, 141008 markings/sec, 690 secs
lola: 106557613 markings, 869862024 edges, 136338 markings/sec, 695 secs
lola: 107245827 markings, 875460959 edges, 137643 markings/sec, 700 secs
lola: 107936651 markings, 881105561 edges, 138165 markings/sec, 705 secs
lola: 108620060 markings, 886693652 edges, 136682 markings/sec, 710 secs
lola: 109303604 markings, 892281141 edges, 136709 markings/sec, 715 secs
lola: 109996721 markings, 897944093 edges, 138623 markings/sec, 720 secs
lola: 110687224 markings, 903593030 edges, 138101 markings/sec, 725 secs
lola: 111375734 markings, 909222117 edges, 137702 markings/sec, 730 secs
lola: 112067162 markings, 914867216 edges, 138286 markings/sec, 735 secs
lola: 112763548 markings, 920561989 edges, 139277 markings/sec, 740 secs
lola: 113454741 markings, 926210737 edges, 138239 markings/sec, 745 secs
lola: 114151530 markings, 931907247 edges, 139358 markings/sec, 750 secs
lola: 114852600 markings, 937639773 edges, 140214 markings/sec, 755 secs
lola: 115559267 markings, 943411596 edges, 141333 markings/sec, 760 secs
lola: 116251727 markings, 949071221 edges, 138492 markings/sec, 765 secs
lola: 116945537 markings, 954743500 edges, 138762 markings/sec, 770 secs
lola: 117645827 markings, 960463164 edges, 140058 markings/sec, 775 secs
lola: 118337060 markings, 966113391 edges, 138247 markings/sec, 780 secs
lola: 119016544 markings, 971706490 edges, 135897 markings/sec, 785 secs
lola: 119712534 markings, 977389049 edges, 139198 markings/sec, 790 secs
lola: 120407387 markings, 983067672 edges, 138971 markings/sec, 795 secs
lola: 121115068 markings, 988846376 edges, 141536 markings/sec, 800 secs
lola: 121836751 markings, 994744854 edges, 144337 markings/sec, 805 secs
lola: 122562787 markings, 1000718508 edges, 145207 markings/sec, 810 secs
lola: 123287564 markings, 1006645136 edges, 144955 markings/sec, 815 secs
lola: 124016451 markings, 1012599382 edges, 145777 markings/sec, 820 secs
lola: 124740159 markings, 1018513065 edges, 144742 markings/sec, 825 secs
lola: 125448277 markings, 1024338938 edges, 141624 markings/sec, 830 secs
lola: 126179411 markings, 1030311032 edges, 146227 markings/sec, 835 secs
lola: 126292394 markings, 1031242460 edges, 22597 markings/sec, 840 secs
lola: 126292724 markings, 1031245373 edges, 66 markings/sec, 845 secs
lola: 126296323 markings, 1031276721 edges, 720 markings/sec, 850 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(csF) OR G ((FIREABLE(crA) AND F (FIREABLE(srF)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(csF) OR G ((FIREABLE(crA) AND F (FIREABLE(srF)))))))
lola: processed formula length: 68
lola: 123 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: 1601617 markings, 5144851 edges, 320323 markings/sec, 0 secs
lola: 3051773 markings, 9915051 edges, 290031 markings/sec, 5 secs
lola: 4508189 markings, 14705136 edges, 291283 markings/sec, 10 secs
lola: 6040436 markings, 19706220 edges, 306449 markings/sec, 15 secs
lola: 7520738 markings, 24568643 edges, 296060 markings/sec, 20 secs
lola: 8911201 markings, 29103373 edges, 278093 markings/sec, 25 secs
lola: 10362095 markings, 33807947 edges, 290179 markings/sec, 30 secs
lola: 11811691 markings, 38472937 edges, 289919 markings/sec, 35 secs
lola: 13266960 markings, 43121120 edges, 291054 markings/sec, 40 secs
lola: 14733604 markings, 47771937 edges, 293329 markings/sec, 45 secs
lola: 16165658 markings, 52325789 edges, 286411 markings/sec, 50 secs
lola: 17559677 markings, 56761073 edges, 278804 markings/sec, 55 secs
lola: 19025884 markings, 61317303 edges, 293241 markings/sec, 60 secs
lola: 20372288 markings, 65565227 edges, 269281 markings/sec, 65 secs
lola: 21862771 markings, 70163628 edges, 298097 markings/sec, 70 secs
lola: 23327801 markings, 74610419 edges, 293006 markings/sec, 75 secs
lola: 24673084 markings, 78798123 edges, 269057 markings/sec, 80 secs
lola: 26179212 markings, 83305538 edges, 301226 markings/sec, 85 secs
lola: 27539541 markings, 87494907 edges, 272066 markings/sec, 90 secs
lola: 28998034 markings, 91770913 edges, 291699 markings/sec, 95 secs
lola: 30441914 markings, 96155950 edges, 288776 markings/sec, 100 secs
lola: 32032286 markings, 100746400 edges, 318074 markings/sec, 105 secs
lola: 33482546 markings, 105077842 edges, 290052 markings/sec, 110 secs
lola: 35095238 markings, 109633615 edges, 322538 markings/sec, 115 secs
lola: 36556980 markings, 113916495 edges, 292348 markings/sec, 120 secs
lola: 38183331 markings, 118455451 edges, 325270 markings/sec, 125 secs
lola: 39646506 markings, 122663835 edges, 292635 markings/sec, 130 secs
lola: 41126588 markings, 126745185 edges, 296016 markings/sec, 135 secs
lola: 42508789 markings, 130672016 edges, 276440 markings/sec, 140 secs
lola: 44019481 markings, 134922844 edges, 302138 markings/sec, 145 secs
lola: 45486048 markings, 138975308 edges, 293313 markings/sec, 150 secs
lola: 46924572 markings, 143081710 edges, 287705 markings/sec, 155 secs
lola: 48470486 markings, 147298637 edges, 309183 markings/sec, 160 secs
lola: 49875114 markings, 151302312 edges, 280926 markings/sec, 165 secs
lola: 51401260 markings, 155474230 edges, 305229 markings/sec, 170 secs
lola: 52759327 markings, 159342114 edges, 271613 markings/sec, 175 secs
lola: 54325586 markings, 163634074 edges, 313252 markings/sec, 180 secs
lola: 55695299 markings, 167519250 edges, 273943 markings/sec, 185 secs
lola: 57116595 markings, 171576118 edges, 284259 markings/sec, 190 secs
lola: 58618684 markings, 175674148 edges, 300418 markings/sec, 195 secs
lola: 59991046 markings, 179585187 edges, 274472 markings/sec, 200 secs
lola: 61535095 markings, 183803357 edges, 308810 markings/sec, 205 secs
lola: 62887160 markings, 187648909 edges, 270413 markings/sec, 210 secs
lola: 64454545 markings, 191948299 edges, 313477 markings/sec, 215 secs
lola: 65805794 markings, 195785149 edges, 270250 markings/sec, 220 secs
lola: 67261457 markings, 199918207 edges, 291133 markings/sec, 225 secs
lola: 68675055 markings, 203784534 edges, 282720 markings/sec, 230 secs
lola: 70077315 markings, 207782009 edges, 280452 markings/sec, 235 secs
lola: 71609623 markings, 211965848 edges, 306462 markings/sec, 240 secs
lola: 72889988 markings, 215611773 edges, 256073 markings/sec, 245 secs
lola: 74475487 markings, 219958277 edges, 317100 markings/sec, 250 secs
lola: 75814302 markings, 223757171 edges, 267763 markings/sec, 255 secs
lola: 77279336 markings, 227925050 edges, 293007 markings/sec, 260 secs
lola: 78753076 markings, 231950373 edges, 294748 markings/sec, 265 secs
lola: 80154368 markings, 235952384 edges, 280258 markings/sec, 270 secs
lola: 81705804 markings, 240185758 edges, 310287 markings/sec, 275 secs
lola: 83087665 markings, 244121746 edges, 276372 markings/sec, 280 secs
lola: 84671279 markings, 248460695 edges, 316723 markings/sec, 285 secs
lola: 85939896 markings, 252066960 edges, 253723 markings/sec, 290 secs
lola: 87406349 markings, 256221271 edges, 293291 markings/sec, 295 secs
lola: 88867262 markings, 260226333 edges, 292183 markings/sec, 300 secs
lola: 90269720 markings, 264223019 edges, 280492 markings/sec, 305 secs
lola: 91809418 markings, 268432143 edges, 307940 markings/sec, 310 secs
lola: 93182451 markings, 272343335 edges, 274607 markings/sec, 315 secs
lola: 94689345 markings, 276463373 edges, 301379 markings/sec, 320 secs
lola: 96060855 markings, 280364370 edges, 274302 markings/sec, 325 secs
lola: 97590528 markings, 284669646 edges, 305935 markings/sec, 330 secs
lola: 98954018 markings, 288424712 edges, 272698 markings/sec, 335 secs
lola: 100343696 markings, 292382612 edges, 277936 markings/sec, 340 secs
lola: 101870881 markings, 296556972 edges, 305437 markings/sec, 345 secs
lola: 103237940 markings, 300451131 edges, 273412 markings/sec, 350 secs
lola: 104740655 markings, 304558886 edges, 300543 markings/sec, 355 secs
lola: 106057316 markings, 308300798 edges, 263332 markings/sec, 360 secs
lola: 107538443 markings, 312490756 edges, 296225 markings/sec, 365 secs
lola: 109004390 markings, 316517496 edges, 293189 markings/sec, 370 secs
lola: 110402080 markings, 320498183 edges, 279538 markings/sec, 375 secs
lola: 111933480 markings, 324685169 edges, 306280 markings/sec, 380 secs
lola: 113229255 markings, 328372647 edges, 259155 markings/sec, 385 secs
lola: 114802555 markings, 332682207 edges, 314660 markings/sec, 390 secs
lola: 116172891 markings, 336582945 edges, 274067 markings/sec, 395 secs
lola: 117674556 markings, 340811361 edges, 300333 markings/sec, 400 secs
lola: 118660755 markings, 343486555 edges, 197240 markings/sec, 405 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: no no no no yes no no no yes unknown no no yes no no unknown
lola:
preliminary result: no no no no yes no no no yes unknown no no yes no no unknown
lola: memory consumption: 13324 KB
lola: time consumption: 2604 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

BK_STOP 1589288094325

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

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