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

About the Execution of 2019-Gold for CloudDeployment-PT-7b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4886.540 3570115.00 3631794.00 8694.90 FTFF??FFTFFTTFFT 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-158902068300089.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 CloudDeployment-PT-7b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068300089
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users 4.0K Mar 30 01:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 30 01:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 27 08:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 27 08:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 26 08:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 20M 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 CloudDeployment-PT-7b-00
FORMULA_NAME CloudDeployment-PT-7b-01
FORMULA_NAME CloudDeployment-PT-7b-02
FORMULA_NAME CloudDeployment-PT-7b-03
FORMULA_NAME CloudDeployment-PT-7b-04
FORMULA_NAME CloudDeployment-PT-7b-05
FORMULA_NAME CloudDeployment-PT-7b-06
FORMULA_NAME CloudDeployment-PT-7b-07
FORMULA_NAME CloudDeployment-PT-7b-08
FORMULA_NAME CloudDeployment-PT-7b-09
FORMULA_NAME CloudDeployment-PT-7b-10
FORMULA_NAME CloudDeployment-PT-7b-11
FORMULA_NAME CloudDeployment-PT-7b-12
FORMULA_NAME CloudDeployment-PT-7b-13
FORMULA_NAME CloudDeployment-PT-7b-14
FORMULA_NAME CloudDeployment-PT-7b-15

=== Now, execution of the tool begins

BK_START 1590066217772

info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ CloudDeployment-PT-7b @ 3570 seconds

FORMULA CloudDeployment-PT-7b-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ CloudDeployment-PT-7b

{
"exit":
{
"memory": 2864964,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"result":
{
"preliminary_value": "no yes no no unknown unknown no no yes no no yes yes no no yes "
},
"task":
{
"compoundnumber": 16,
"type": "boolean"
}
}
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: 22023/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2271
lola: finding significant places
lola: 2271 places, 19752 transitions, 2242 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 LTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p739)
lola: LP says that atomic proposition is always false: (3 <= p1712)
lola: LP says that atomic proposition is always false: (2 <= p1787)
lola: LP says that atomic proposition is always false: (2 <= p1787)
lola: LP says that atomic proposition is always false: (2 <= p2037)
lola: LP says that atomic proposition is always false: (3 <= p1633)
lola: LP says that atomic proposition is always false: (3 <= p1051)
lola: LP says that atomic proposition is always false: (2 <= p723)
lola: LP says that atomic proposition is always false: (2 <= p356)
lola: LP says that atomic proposition is always false: (3 <= p928)
lola: LP says that atomic proposition is always false: (2 <= p2103)
lola: LP says that atomic proposition is always false: (3 <= p1994)
lola: LP says that atomic proposition is always false: (3 <= p1582)
lola: A (G (((p1626 + 1 <= p1407) AND X (G (NOT(X (X ((p2256 <= p532))))))))) : A (X (X ((((p1774 <= p2211) OR NOT(X (NOT(F ((3 <= p739)))))) OR G ((p2211 + 1 <= p1774)))))) : A (G ((G (F (G (NOT(((p684 <= p462) AND F ((p866 <= p1792))))))) AND NOT(G (NOT(F ((p866 <= p1792)))))))) : A (X (X (F (G (NOT(G (NOT(G (F ((F ((p542 <= p414)) U (2 <= p2094)))))))))))) : A ((F ((p1093 <= p529)) AND G (F (X (G (X (X (F (((p1093 <= p529) OR G ((3 <= p1172)))))))))))) : A (X (((G ((p1523 <= p2053)) U G (X ((p38 <= p1759)))) AND G (F (X (((3 <= p1712) OR G ((p38 <= p1759))))))))) : A (F ((((0 <= p1545) OR G ((p1588 <= p395))) AND F (X ((G ((p1588 <= p395)) AND (F ((2 <= p1787)) U (2 <= p1787)))))))) : A (NOT((G (((2 <= p2037) AND G ((p306 <= p2137)))) U (X ((p1633 <= 2)) AND ((p1199 + 1 <= p1628) U (p306 <= p2137)))))) : A (NOT((NOT(G (X (X ((p1800 + 1 <= 0))))) U (3 <= p1051)))) : A (X (G (NOT(F ((F ((0 <= p2198)) U F ((p635 <= p1280)))))))) : A ((F (NOT(X (F (X (F ((p1243 <= p379))))))) U F (X ((2 <= p723))))) : A (X (((p2224 <= p723) U F (((p2076 <= p436) OR G (((2 <= p356) U F ((p2076 <= p436))))))))) : A ((((p304 <= p121) AND F (NOT(G (((p304 <= p121) U (3 <= p928)))))) U NOT(X ((2 <= p2103))))) : A (G (NOT(G (NOT((((0 <= p881) U (p8 <= p1119)) U NOT(G ((p1587 <= p1264))))))))) : A (NOT((((3 <= p1994) U (p2117 <= p1937)) AND (G ((p647 <= p692)) OR (G ((3 <= p1582)) U (p647 <= p692)))))) : A (((1 <= p494) U X ((p749 <= p45))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
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:122
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 200 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 156 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 156 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 229 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 156 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 247 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 156 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 267 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (((p1774 <= p2211) OR G ((p2211 + 1 <= p1774))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (((p1774 <= p2211) OR G ((p2211 + 1 <= p1774))))))
lola: processed formula length: 58
lola: 156 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 5 will run for 292 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((p1280 + 1 <= p635))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((p1280 + 1 <= p635))))
lola: processed formula length: 31
lola: 156 rewrites
lola: closed formula file LTLCardinality.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: 266 markings, 266 edges
lola: ========================================
lola: subprocess 6 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X ((X (G ((p38 <= p1759))) OR (G ((p1523 <= p2053)) AND F (G ((p38 <= p1759))))))) AND A (F (G ((p38 <= p1759)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p38 <= p1759))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p38 <= p1759))))
lola: processed formula length: 26
lola: 156 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 51837 markings, 140109 edges, 10367 markings/sec, 0 secs
lola: 97867 markings, 308485 edges, 9206 markings/sec, 5 secs
lola: 141537 markings, 481009 edges, 8734 markings/sec, 10 secs
lola: 185496 markings, 653138 edges, 8792 markings/sec, 15 secs
lola: 224875 markings, 831569 edges, 7876 markings/sec, 20 secs
lola: 262869 markings, 1011901 edges, 7599 markings/sec, 25 secs
lola: 299405 markings, 1192774 edges, 7307 markings/sec, 30 secs
lola: 339632 markings, 1368686 edges, 8045 markings/sec, 35 secs
lola: 382426 markings, 1541944 edges, 8559 markings/sec, 40 secs
lola: 422983 markings, 1715878 edges, 8111 markings/sec, 45 secs
lola: 465204 markings, 1886095 edges, 8444 markings/sec, 50 secs
lola: 504734 markings, 2064346 edges, 7906 markings/sec, 55 secs
lola: 541661 markings, 2242965 edges, 7385 markings/sec, 60 secs
lola: 585082 markings, 2411377 edges, 8684 markings/sec, 65 secs
lola: 622747 markings, 2584321 edges, 7533 markings/sec, 70 secs
lola: 664481 markings, 2751128 edges, 8347 markings/sec, 75 secs
lola: 699569 markings, 2926542 edges, 7018 markings/sec, 80 secs
lola: 739698 markings, 3091147 edges, 8026 markings/sec, 85 secs
lola: 779922 markings, 3254252 edges, 8045 markings/sec, 90 secs
lola: 818006 markings, 3420026 edges, 7617 markings/sec, 95 secs
lola: 854474 markings, 3585937 edges, 7294 markings/sec, 100 secs
lola: 893224 markings, 3752424 edges, 7750 markings/sec, 105 secs
lola: 939821 markings, 3909023 edges, 9319 markings/sec, 110 secs
lola: 988779 markings, 4062212 edges, 9792 markings/sec, 115 secs
lola: 1031312 markings, 4225527 edges, 8507 markings/sec, 120 secs
lola: 1072199 markings, 4391392 edges, 8177 markings/sec, 125 secs
lola: 1113505 markings, 4555622 edges, 8261 markings/sec, 130 secs
lola: 1150980 markings, 4726423 edges, 7495 markings/sec, 135 secs
lola: 1187112 markings, 4897242 edges, 7226 markings/sec, 140 secs
lola: 1222457 markings, 5070275 edges, 7069 markings/sec, 145 secs
lola: 1262814 markings, 5236266 edges, 8071 markings/sec, 150 secs
lola: 1300032 markings, 5403571 edges, 7444 markings/sec, 155 secs
lola: 1338911 markings, 5570914 edges, 7776 markings/sec, 160 secs
lola: 1377933 markings, 5731762 edges, 7804 markings/sec, 165 secs
lola: 1418224 markings, 5896298 edges, 8058 markings/sec, 170 secs
lola: 1456224 markings, 6057649 edges, 7600 markings/sec, 175 secs
lola: 1496380 markings, 6213197 edges, 8031 markings/sec, 180 secs
lola: 1533792 markings, 6379805 edges, 7482 markings/sec, 185 secs
lola: 1569488 markings, 6540853 edges, 7139 markings/sec, 190 secs
lola: 1605057 markings, 6699144 edges, 7114 markings/sec, 195 secs
lola: 1640875 markings, 6857438 edges, 7164 markings/sec, 200 secs
lola: 1676869 markings, 7015991 edges, 7199 markings/sec, 205 secs
lola: 1713515 markings, 7170218 edges, 7329 markings/sec, 210 secs
lola: 1751041 markings, 7336507 edges, 7505 markings/sec, 215 secs
lola: 1784723 markings, 7507994 edges, 6736 markings/sec, 220 secs
lola: 1816926 markings, 7675062 edges, 6441 markings/sec, 225 secs
lola: 1853397 markings, 7831080 edges, 7294 markings/sec, 230 secs
lola: 1902705 markings, 7983065 edges, 9862 markings/sec, 235 secs
lola: 1947906 markings, 8146722 edges, 9040 markings/sec, 240 secs
lola: 1991416 markings, 8313178 edges, 8702 markings/sec, 245 secs
lola: 2033143 markings, 8484642 edges, 8345 markings/sec, 250 secs
lola: 2074116 markings, 8653646 edges, 8195 markings/sec, 255 secs
lola: 2110733 markings, 8827227 edges, 7323 markings/sec, 260 secs
lola: 2146404 markings, 9001611 edges, 7134 markings/sec, 265 secs
lola: 2180680 markings, 9182196 edges, 6855 markings/sec, 270 secs
lola: 2221437 markings, 9354574 edges, 8151 markings/sec, 275 secs
lola: 2263521 markings, 9523866 edges, 8417 markings/sec, 280 secs
lola: 2304932 markings, 9693024 edges, 8282 markings/sec, 285 secs
lola: 2346712 markings, 9862412 edges, 8356 markings/sec, 290 secs
lola: 2383725 markings, 10037700 edges, 7403 markings/sec, 295 secs
lola: 2427118 markings, 10205165 edges, 8679 markings/sec, 300 secs
lola: 2464410 markings, 10380208 edges, 7458 markings/sec, 305 secs
lola: 2502195 markings, 10556252 edges, 7557 markings/sec, 310 secs
lola: 2539591 markings, 10730571 edges, 7479 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown no unknown yes no no unknown yes unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes unknown unknown unknown unknown no unknown yes no no unknown yes unknown unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown no unknown yes no no unknown yes unknown unknown unknown
lola: memory consumption: 1147048 KB
lola: time consumption: 678 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: memory consumption: 1147048 KB
lola: time consumption: 678 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (((p2076 <= p436) OR G (F ((p2076 <= p436)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (((p2076 <= p436) OR G (F ((p2076 <= p436)))))))
lola: processed formula length: 56
lola: 156 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 8 will run for 361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((p1626 + 1 <= p1407))) AND A (X (X (X (G ((p532 + 1 <= p2256)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p1626 + 1 <= p1407)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((p1626 + 1 <= p1407)))
lola: processed formula length: 28
lola: 158 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p1407 <= p1626)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 413 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((1 <= p494) U X ((p749 <= p45))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((1 <= p494) U X ((p749 <= p45))))
lola: processed formula length: 37
lola: 156 rewrites
lola: closed formula file LTLCardinality.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: 3 markings, 2 edges
lola: ========================================
lola: subprocess 10 will run for 482 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((2 <= p2094))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((2 <= p2094))))
lola: processed formula length: 24
lola: 156 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 115 markings, 115 edges
lola: ========================================
lola: subprocess 11 will run for 578 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p1264 + 1 <= p1587))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p1264 + 1 <= p1587))))
lola: processed formula length: 32
lola: 156 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 115 markings, 115 edges
lola: ========================================
lola: subprocess 12 will run for 723 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p1937 + 1 <= p2117) OR (F ((p692 + 1 <= p647)) AND (p692 + 1 <= p647))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p1937 + 1 <= p2117) OR (F ((p692 + 1 <= p647)) AND (p692 + 1 <= p647))))
lola: processed formula length: 77
lola: 156 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 115 markings, 115 edges
lola: ========================================
lola: subprocess 13 will run for 964 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p1628 <= p1199) R (p2137 + 1 <= p306)))
lola: ========================================
lola: SUBTASK
lola: checking universal release
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:693
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (((p1628 <= p1199) R (p2137 + 1 <= p306)))
lola: processed formula length: 44
lola: 160 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EU
lola: Predicate Phi does not release Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((p1093 <= p529))) AND A (G (F (((p1093 <= p529) OR G ((3 <= p1172)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p1093 <= p529)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p529 + 1 <= p1093)
lola: processed formula length: 19
lola: 158 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (((p1093 <= p529) OR G ((3 <= p1172))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((p1093 <= p529) OR G ((3 <= p1172))))))
lola: processed formula length: 49
lola: 156 rewrites
lola: closed formula file LTLCardinality.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: 51903 markings, 146092 edges, 10381 markings/sec, 0 secs
lola: 97199 markings, 313402 edges, 9059 markings/sec, 5 secs
lola: 145302 markings, 475915 edges, 9621 markings/sec, 10 secs
lola: 186872 markings, 648066 edges, 8314 markings/sec, 15 secs
lola: 226796 markings, 823103 edges, 7985 markings/sec, 20 secs
lola: 265512 markings, 999943 edges, 7743 markings/sec, 25 secs
lola: 302877 markings, 1177867 edges, 7473 markings/sec, 30 secs
lola: 337529 markings, 1355577 edges, 6930 markings/sec, 35 secs
lola: 380712 markings, 1523134 edges, 8637 markings/sec, 40 secs
lola: 422692 markings, 1693643 edges, 8396 markings/sec, 45 secs
lola: 461587 markings, 1867820 edges, 7779 markings/sec, 50 secs
lola: 498687 markings, 2043212 edges, 7420 markings/sec, 55 secs
lola: 537756 markings, 2218443 edges, 7814 markings/sec, 60 secs
lola: 580074 markings, 2383357 edges, 8464 markings/sec, 65 secs
lola: 616100 markings, 2553768 edges, 7205 markings/sec, 70 secs
lola: 657154 markings, 2716376 edges, 8211 markings/sec, 75 secs
lola: 692281 markings, 2888089 edges, 7025 markings/sec, 80 secs
lola: 730069 markings, 3049250 edges, 7558 markings/sec, 85 secs
lola: 767277 markings, 3210903 edges, 7442 markings/sec, 90 secs
lola: 805474 markings, 3371950 edges, 7639 markings/sec, 95 secs
lola: 842949 markings, 3530225 edges, 7495 markings/sec, 100 secs
lola: 880127 markings, 3689670 edges, 7436 markings/sec, 105 secs
lola: 924162 markings, 3849050 edges, 8807 markings/sec, 110 secs
lola: 970764 markings, 4004854 edges, 9320 markings/sec, 115 secs
lola: 1014703 markings, 4164849 edges, 8788 markings/sec, 120 secs
lola: 1056294 markings, 4327241 edges, 8318 markings/sec, 125 secs
lola: 1098280 markings, 4489384 edges, 8397 markings/sec, 130 secs
lola: 1135936 markings, 4655257 edges, 7531 markings/sec, 135 secs
lola: 1172193 markings, 4824402 edges, 7251 markings/sec, 140 secs
lola: 1207850 markings, 4993537 edges, 7131 markings/sec, 145 secs
lola: 1244224 markings, 5162346 edges, 7275 markings/sec, 150 secs
lola: 1282012 markings, 5327544 edges, 7558 markings/sec, 155 secs
lola: 1320259 markings, 5491457 edges, 7649 markings/sec, 160 secs
lola: 1359822 markings, 5653365 edges, 7913 markings/sec, 165 secs
lola: 1396463 markings, 5817234 edges, 7328 markings/sec, 170 secs
lola: 1437536 markings, 5975031 edges, 8215 markings/sec, 175 secs
lola: 1475974 markings, 6132848 edges, 7688 markings/sec, 180 secs
lola: 1514080 markings, 6290638 edges, 7621 markings/sec, 185 secs
lola: 1549787 markings, 6454726 edges, 7141 markings/sec, 190 secs
lola: 1585487 markings, 6610765 edges, 7140 markings/sec, 195 secs
lola: 1622178 markings, 6763096 edges, 7338 markings/sec, 200 secs
lola: 1654816 markings, 6924055 edges, 6528 markings/sec, 205 secs
lola: 1691684 markings, 7074386 edges, 7374 markings/sec, 210 secs
lola: 1727741 markings, 7228231 edges, 7211 markings/sec, 215 secs
lola: 1763518 markings, 7398756 edges, 7155 markings/sec, 220 secs
lola: 1796345 markings, 7567554 edges, 6565 markings/sec, 225 secs
lola: 1828640 markings, 7726354 edges, 6459 markings/sec, 230 secs
lola: 1864659 markings, 7884732 edges, 7204 markings/sec, 235 secs
lola: 1915418 markings, 8035927 edges, 10152 markings/sec, 240 secs
lola: 1961842 markings, 8196358 edges, 9285 markings/sec, 245 secs
lola: 2004267 markings, 8364730 edges, 8485 markings/sec, 250 secs
lola: 2046792 markings, 8532971 edges, 8505 markings/sec, 255 secs
lola: 2085322 markings, 8704677 edges, 7706 markings/sec, 260 secs
lola: 2121900 markings, 8877914 edges, 7316 markings/sec, 265 secs
lola: 2157638 markings, 9053089 edges, 7148 markings/sec, 270 secs
lola: 2192452 markings, 9232194 edges, 6963 markings/sec, 275 secs
lola: 2234203 markings, 9401539 edges, 8350 markings/sec, 280 secs
lola: 2275135 markings, 9570150 edges, 8186 markings/sec, 285 secs
lola: 2315769 markings, 9740868 edges, 8127 markings/sec, 290 secs
lola: 2356896 markings, 9908327 edges, 8225 markings/sec, 295 secs
lola: 2395230 markings, 10078074 edges, 7667 markings/sec, 300 secs
lola: 2434303 markings, 10235701 edges, 7815 markings/sec, 305 secs
lola: 2471118 markings, 10409941 edges, 7363 markings/sec, 310 secs
lola: 2507393 markings, 10581104 edges, 7255 markings/sec, 315 secs
lola: 2544130 markings, 10751916 edges, 7347 markings/sec, 320 secs
lola: 2585063 markings, 10918367 edges, 8187 markings/sec, 325 secs
lola: 2620865 markings, 11092142 edges, 7160 markings/sec, 330 secs
lola: 2663162 markings, 11255669 edges, 8459 markings/sec, 335 secs
lola: 2701541 markings, 11424709 edges, 7676 markings/sec, 340 secs
lola: 2740592 markings, 11591589 edges, 7810 markings/sec, 345 secs
lola: 2779623 markings, 11759546 edges, 7806 markings/sec, 350 secs
lola: 2820889 markings, 11921892 edges, 8253 markings/sec, 355 secs
lola: 2872489 markings, 12075421 edges, 10320 markings/sec, 360 secs
lola: 2918223 markings, 12239166 edges, 9147 markings/sec, 365 secs
lola: 2956174 markings, 12408479 edges, 7590 markings/sec, 370 secs
lola: 2995971 markings, 12577320 edges, 7959 markings/sec, 375 secs
lola: 3038219 markings, 12738001 edges, 8450 markings/sec, 380 secs
lola: 3074495 markings, 12910863 edges, 7255 markings/sec, 385 secs
lola: 3111655 markings, 13070580 edges, 7432 markings/sec, 390 secs
lola: 3150488 markings, 13227771 edges, 7767 markings/sec, 395 secs
lola: 3204330 markings, 13373996 edges, 10768 markings/sec, 400 secs
lola: 3251282 markings, 13535245 edges, 9390 markings/sec, 405 secs
lola: 3292432 markings, 13700862 edges, 8230 markings/sec, 410 secs
lola: 3333748 markings, 13871149 edges, 8263 markings/sec, 415 secs
lola: 3376914 markings, 14037126 edges, 8633 markings/sec, 420 secs
lola: 3416161 markings, 14206496 edges, 7849 markings/sec, 425 secs
lola: 3452328 markings, 14379660 edges, 7233 markings/sec, 430 secs
lola: 3493776 markings, 14541595 edges, 8290 markings/sec, 435 secs
lola: 3542414 markings, 14696955 edges, 9728 markings/sec, 440 secs
lola: 3588705 markings, 14861505 edges, 9258 markings/sec, 445 secs
lola: 3634913 markings, 15026715 edges, 9242 markings/sec, 450 secs
lola: 3676817 markings, 15197088 edges, 8381 markings/sec, 455 secs
lola: 3715685 markings, 15370902 edges, 7774 markings/sec, 460 secs
lola: 3756125 markings, 15546868 edges, 8088 markings/sec, 465 secs
lola: 3793344 markings, 15726408 edges, 7444 markings/sec, 470 secs
lola: 3828574 markings, 15904963 edges, 7046 markings/sec, 475 secs
lola: 3869722 markings, 16075438 edges, 8230 markings/sec, 480 secs
lola: 3911328 markings, 16246122 edges, 8321 markings/sec, 485 secs
lola: 3950976 markings, 16420320 edges, 7930 markings/sec, 490 secs
lola: 3988043 markings, 16597210 edges, 7413 markings/sec, 495 secs
lola: 4027217 markings, 16773955 edges, 7835 markings/sec, 500 secs
lola: 4069175 markings, 16939942 edges, 8392 markings/sec, 505 secs
lola: 4105440 markings, 17111755 edges, 7253 markings/sec, 510 secs
lola: 4146921 markings, 17276593 edges, 8296 markings/sec, 515 secs
lola: 4182403 markings, 17450271 edges, 7096 markings/sec, 520 secs
lola: 4220038 markings, 17615608 edges, 7527 markings/sec, 525 secs
lola: 4260875 markings, 17775799 edges, 8167 markings/sec, 530 secs
lola: 4298321 markings, 17939181 edges, 7489 markings/sec, 535 secs
lola: 4336714 markings, 18099297 edges, 7679 markings/sec, 540 secs
lola: 4380523 markings, 18260449 edges, 8762 markings/sec, 545 secs
lola: 4426422 markings, 18419486 edges, 9180 markings/sec, 550 secs
lola: 4471532 markings, 18583865 edges, 9022 markings/sec, 555 secs
lola: 4512863 markings, 18753650 edges, 8266 markings/sec, 560 secs
lola: 4554067 markings, 18922774 edges, 8241 markings/sec, 565 secs
lola: 4591331 markings, 19096602 edges, 7453 markings/sec, 570 secs
lola: 4627995 markings, 19267830 edges, 7333 markings/sec, 575 secs
lola: 4662085 markings, 19446926 edges, 6818 markings/sec, 580 secs
lola: 4700848 markings, 19620170 edges, 7753 markings/sec, 585 secs
lola: 4741835 markings, 19791374 edges, 8197 markings/sec, 590 secs
lola: 4782794 markings, 19961651 edges, 8192 markings/sec, 595 secs
lola: 4824583 markings, 20131866 edges, 8358 markings/sec, 600 secs
lola: 4861460 markings, 20307072 edges, 7375 markings/sec, 605 secs
lola: 4904802 markings, 20475344 edges, 8668 markings/sec, 610 secs
lola: 4943062 markings, 20650544 edges, 7652 markings/sec, 615 secs
lola: 4979331 markings, 20827720 edges, 7254 markings/sec, 620 secs
lola: 5016153 markings, 21001561 edges, 7364 markings/sec, 625 secs
lola: 5058317 markings, 21168782 edges, 8433 markings/sec, 630 secs
lola: 5093783 markings, 21346782 edges, 7093 markings/sec, 635 secs
lola: 5134823 markings, 21511968 edges, 8208 markings/sec, 640 secs
lola: 5175180 markings, 21675748 edges, 8071 markings/sec, 645 secs
lola: 5214019 markings, 21842263 edges, 7768 markings/sec, 650 secs
lola: 5251572 markings, 22009677 edges, 7511 markings/sec, 655 secs
lola: 5301347 markings, 22165068 edges, 9955 markings/sec, 660 secs
lola: 5347191 markings, 22327486 edges, 9169 markings/sec, 665 secs
lola: 5392939 markings, 22489593 edges, 9150 markings/sec, 670 secs
lola: 5433675 markings, 22660104 edges, 8147 markings/sec, 675 secs
lola: 5473039 markings, 22832522 edges, 7873 markings/sec, 680 secs
lola: 5511275 markings, 23008501 edges, 7647 markings/sec, 685 secs
lola: 5548110 markings, 23184674 edges, 7367 markings/sec, 690 secs
lola: 5582896 markings, 23360424 edges, 6957 markings/sec, 695 secs
lola: 5626102 markings, 23527978 edges, 8641 markings/sec, 700 secs
lola: 5665565 markings, 23698195 edges, 7893 markings/sec, 705 secs
lola: 5704167 markings, 23871689 edges, 7720 markings/sec, 710 secs
lola: 5742056 markings, 24046009 edges, 7578 markings/sec, 715 secs
lola: 5781019 markings, 24218491 edges, 7793 markings/sec, 720 secs
lola: 5821537 markings, 24384005 edges, 8104 markings/sec, 725 secs
lola: 5857154 markings, 24555157 edges, 7123 markings/sec, 730 secs
lola: 5898557 markings, 24716595 edges, 8281 markings/sec, 735 secs
lola: 5932892 markings, 24888383 edges, 6867 markings/sec, 740 secs
lola: 5970692 markings, 25049657 edges, 7560 markings/sec, 745 secs
lola: 6010330 markings, 25208219 edges, 7928 markings/sec, 750 secs
lola: 6047769 markings, 25367843 edges, 7488 markings/sec, 755 secs
lola: 6085470 markings, 25525529 edges, 7540 markings/sec, 760 secs
lola: 6129639 markings, 25684256 edges, 8834 markings/sec, 765 secs
lola: 6175058 markings, 25843110 edges, 9084 markings/sec, 770 secs
lola: 6219493 markings, 26007114 edges, 8887 markings/sec, 775 secs
lola: 6260760 markings, 26176031 edges, 8253 markings/sec, 780 secs
lola: 6301332 markings, 26343799 edges, 8114 markings/sec, 785 secs
lola: 6338091 markings, 26516189 edges, 7352 markings/sec, 790 secs
lola: 6374469 markings, 26686345 edges, 7276 markings/sec, 795 secs
lola: 6408355 markings, 26864106 edges, 6777 markings/sec, 800 secs
lola: 6446967 markings, 27035947 edges, 7722 markings/sec, 805 secs
lola: 6487670 markings, 27205974 edges, 8141 markings/sec, 810 secs
lola: 6528458 markings, 27375240 edges, 8158 markings/sec, 815 secs
lola: 6569969 markings, 27544440 edges, 8302 markings/sec, 820 secs
lola: 6606591 markings, 27718484 edges, 7324 markings/sec, 825 secs
lola: 6649749 markings, 27885649 edges, 8632 markings/sec, 830 secs
lola: 6687753 markings, 28060091 edges, 7601 markings/sec, 835 secs
lola: 6723879 markings, 28235798 edges, 7225 markings/sec, 840 secs
lola: 6760565 markings, 28408560 edges, 7337 markings/sec, 845 secs
lola: 6802416 markings, 28575174 edges, 8370 markings/sec, 850 secs
lola: 6837702 markings, 28752291 edges, 7057 markings/sec, 855 secs
lola: 6878137 markings, 28917325 edges, 8087 markings/sec, 860 secs
lola: 6918537 markings, 29080991 edges, 8080 markings/sec, 865 secs
lola: 6957036 markings, 29247842 edges, 7700 markings/sec, 870 secs
lola: 6995397 markings, 29414265 edges, 7672 markings/sec, 875 secs
lola: 7045882 markings, 29568546 edges, 10097 markings/sec, 880 secs
lola: 7091314 markings, 29733180 edges, 9086 markings/sec, 885 secs
lola: 7128993 markings, 29905711 edges, 7536 markings/sec, 890 secs
lola: 7170248 markings, 30074655 edges, 8251 markings/sec, 895 secs
lola: 7210501 markings, 30239072 edges, 8051 markings/sec, 900 secs
lola: 7244839 markings, 30411457 edges, 6868 markings/sec, 905 secs
lola: 7283759 markings, 30571112 edges, 7784 markings/sec, 910 secs
lola: 7328130 markings, 30723963 edges, 8874 markings/sec, 915 secs
lola: 7378503 markings, 30883376 edges, 10075 markings/sec, 920 secs
lola: 7418992 markings, 31048350 edges, 8098 markings/sec, 925 secs
lola: 7459772 markings, 31218902 edges, 8156 markings/sec, 930 secs
lola: 7502144 markings, 31387375 edges, 8474 markings/sec, 935 secs
lola: 7539738 markings, 31557844 edges, 7519 markings/sec, 940 secs
lola: 7576190 markings, 31728073 edges, 7290 markings/sec, 945 secs
lola: 7615655 markings, 31892489 edges, 7893 markings/sec, 950 secs
lola: 7665694 markings, 32046863 edges, 10008 markings/sec, 955 secs
lola: 7712040 markings, 32210634 edges, 9269 markings/sec, 960 secs
lola: 7750031 markings, 32382133 edges, 7598 markings/sec, 965 secs
lola: 7790722 markings, 32551893 edges, 8138 markings/sec, 970 secs
lola: 7831443 markings, 32715619 edges, 8144 markings/sec, 975 secs
lola: 7865987 markings, 32888055 edges, 6909 markings/sec, 980 secs
lola: 7904771 markings, 33048430 edges, 7757 markings/sec, 985 secs
lola: 7946955 markings, 33202809 edges, 8437 markings/sec, 990 secs
lola: 7998941 markings, 33359553 edges, 10397 markings/sec, 995 secs
lola: 8039247 markings, 33523722 edges, 8061 markings/sec, 1000 secs
lola: 8079933 markings, 33694097 edges, 8137 markings/sec, 1005 secs
lola: 8122752 markings, 33863392 edges, 8564 markings/sec, 1010 secs
lola: 8161190 markings, 34032755 edges, 7688 markings/sec, 1015 secs
lola: 8197012 markings, 34204776 edges, 7164 markings/sec, 1020 secs
lola: 8236733 markings, 34368918 edges, 7944 markings/sec, 1025 secs
lola: 8276849 markings, 34522221 edges, 8023 markings/sec, 1030 secs
lola: 8312764 markings, 34676368 edges, 7183 markings/sec, 1035 secs
lola: 8357060 markings, 34844442 edges, 8859 markings/sec, 1040 secs
lola: 8397853 markings, 35017534 edges, 8159 markings/sec, 1045 secs
lola: 8443924 markings, 35180932 edges, 9214 markings/sec, 1050 secs
lola: 8485243 markings, 35352508 edges, 8264 markings/sec, 1055 secs
lola: 8522560 markings, 35528876 edges, 7463 markings/sec, 1060 secs
lola: 8560247 markings, 35701302 edges, 7537 markings/sec, 1065 secs
lola: 8603310 markings, 35871940 edges, 8613 markings/sec, 1070 secs
lola: 8645001 markings, 36043104 edges, 8338 markings/sec, 1075 secs
lola: 8687949 markings, 36209633 edges, 8590 markings/sec, 1080 secs
lola: 8728833 markings, 36379797 edges, 8177 markings/sec, 1085 secs
lola: 8775715 markings, 36545509 edges, 9376 markings/sec, 1090 secs
lola: 8815184 markings, 36719083 edges, 7894 markings/sec, 1095 secs
lola: 8851065 markings, 36894390 edges, 7176 markings/sec, 1100 secs
lola: 8885129 markings, 37074973 edges, 6813 markings/sec, 1105 secs
lola: 8919495 markings, 37257411 edges, 6873 markings/sec, 1110 secs
lola: 8954096 markings, 37440135 edges, 6920 markings/sec, 1115 secs
lola: 8988694 markings, 37621979 edges, 6920 markings/sec, 1120 secs
lola: 9026261 markings, 37799152 edges, 7513 markings/sec, 1125 secs
lola: 9064368 markings, 37976697 edges, 7621 markings/sec, 1130 secs
lola: 9098546 markings, 38157847 edges, 6836 markings/sec, 1135 secs
lola: 9131196 markings, 38340952 edges, 6530 markings/sec, 1140 secs
lola: 9162346 markings, 38523322 edges, 6230 markings/sec, 1145 secs
lola: 9192857 markings, 38709834 edges, 6102 markings/sec, 1150 secs
lola: 9224112 markings, 38897159 edges, 6251 markings/sec, 1155 secs
lola: 9254722 markings, 39087801 edges, 6122 markings/sec, 1160 secs
lola: 9285592 markings, 39277958 edges, 6174 markings/sec, 1165 secs
lola: 9311945 markings, 39471431 edges, 5271 markings/sec, 1170 secs
lola: 9340718 markings, 39655995 edges, 5755 markings/sec, 1175 secs
lola: 9371617 markings, 39834222 edges, 6180 markings/sec, 1180 secs
lola: 9400272 markings, 40018275 edges, 5731 markings/sec, 1185 secs
lola: 9443204 markings, 40185069 edges, 8586 markings/sec, 1190 secs
lola: 9487548 markings, 40353702 edges, 8869 markings/sec, 1195 secs
lola: 9530746 markings, 40522517 edges, 8640 markings/sec, 1200 secs
lola: 9565211 markings, 40681409 edges, 6893 markings/sec, 1205 secs
lola: 9598823 markings, 40854073 edges, 6722 markings/sec, 1210 secs
lola: 9643350 markings, 41016666 edges, 8905 markings/sec, 1215 secs
lola: 9685246 markings, 41185392 edges, 8379 markings/sec, 1220 secs
lola: 9723138 markings, 41358681 edges, 7578 markings/sec, 1225 secs
lola: 9759055 markings, 41531679 edges, 7183 markings/sec, 1230 secs
lola: 9805694 markings, 41699112 edges, 9328 markings/sec, 1235 secs
lola: 9842610 markings, 41873247 edges, 7383 markings/sec, 1240 secs
lola: 9878641 markings, 42047213 edges, 7206 markings/sec, 1245 secs
lola: 9912915 markings, 42228181 edges, 6855 markings/sec, 1250 secs
lola: 9947355 markings, 42406066 edges, 6888 markings/sec, 1255 secs
lola: 9978832 markings, 42586588 edges, 6295 markings/sec, 1260 secs
lola: 10010494 markings, 42769173 edges, 6332 markings/sec, 1265 secs
lola: 10040992 markings, 42951529 edges, 6100 markings/sec, 1270 secs
lola: 10076834 markings, 43129955 edges, 7168 markings/sec, 1275 secs
lola: 10124626 markings, 43291935 edges, 9558 markings/sec, 1280 secs
lola: 10168217 markings, 43455468 edges, 8718 markings/sec, 1285 secs
lola: 10217341 markings, 43614588 edges, 9825 markings/sec, 1290 secs
lola: 10264226 markings, 43775200 edges, 9377 markings/sec, 1295 secs
lola: 10307287 markings, 43939855 edges, 8612 markings/sec, 1300 secs
lola: 10343132 markings, 44109331 edges, 7169 markings/sec, 1305 secs
lola: 10377642 markings, 44285770 edges, 6902 markings/sec, 1310 secs
lola: 10411538 markings, 44464074 edges, 6779 markings/sec, 1315 secs
lola: 10447238 markings, 44644196 edges, 7140 markings/sec, 1320 secs
lola: 10482624 markings, 44818439 edges, 7077 markings/sec, 1325 secs
lola: 10520080 markings, 44992767 edges, 7491 markings/sec, 1330 secs
lola: 10554599 markings, 45170994 edges, 6904 markings/sec, 1335 secs
lola: 10586034 markings, 45354285 edges, 6287 markings/sec, 1340 secs
lola: 10616802 markings, 45533654 edges, 6154 markings/sec, 1345 secs
lola: 10647004 markings, 45719752 edges, 6040 markings/sec, 1350 secs
lola: 10678347 markings, 45906432 edges, 6269 markings/sec, 1355 secs
lola: 10707673 markings, 46090051 edges, 5865 markings/sec, 1360 secs
lola: 10737946 markings, 46274891 edges, 6055 markings/sec, 1365 secs
lola: 10762615 markings, 46469487 edges, 4934 markings/sec, 1370 secs
lola: 10806371 markings, 46634129 edges, 8751 markings/sec, 1375 secs
lola: 10846298 markings, 46807644 edges, 7985 markings/sec, 1380 secs
lola: 10885042 markings, 46973738 edges, 7749 markings/sec, 1385 secs
lola: 10917440 markings, 47140567 edges, 6480 markings/sec, 1390 secs
lola: 10948254 markings, 47309831 edges, 6163 markings/sec, 1395 secs
lola: 10980485 markings, 47484862 edges, 6446 markings/sec, 1400 secs
lola: 11011190 markings, 47665790 edges, 6141 markings/sec, 1405 secs
lola: 11040699 markings, 47844185 edges, 5902 markings/sec, 1410 secs
lola: 11086290 markings, 48012357 edges, 9118 markings/sec, 1415 secs
lola: 11124882 markings, 48188048 edges, 7718 markings/sec, 1420 secs
lola: 11162520 markings, 48363132 edges, 7528 markings/sec, 1425 secs
lola: 11204813 markings, 48532711 edges, 8459 markings/sec, 1430 secs
lola: 11249350 markings, 48701371 edges, 8907 markings/sec, 1435 secs
lola: 11291056 markings, 48873470 edges, 8341 markings/sec, 1440 secs
lola: local time limit reached - aborting
lola: lola:
preliminary result: no yes unknown no unknown unknown no no yes no no yes yes no no yes caught signal User defined signal 1 - aborting LoLA

lola:
preliminary result: no yes unknown no unknown unknown no no yes no no yes yes no no yes
lola: memory consumption: 3132612 KB
lola: time consumption: 2124 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes unknown no unknown unknown no no yes no no yes yes no no yes
lola: memory consumption: 3132612 KB
lola: time consumption: 2124 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (G (((p462 + 1 <= p684) OR G ((p1792 + 1 <= p866)))))) AND A (G (F ((p866 <= p1792)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p866 <= p1792))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p866 <= p1792))))
lola: processed formula length: 27
lola: 156 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 54308 markings, 150963 edges, 10862 markings/sec, 0 secs
lola: 100060 markings, 316557 edges, 9150 markings/sec, 5 secs
lola: 142851 markings, 487053 edges, 8558 markings/sec, 10 secs
lola: 186328 markings, 656805 edges, 8695 markings/sec, 15 secs
lola: 225339 markings, 833052 edges, 7802 markings/sec, 20 secs
lola: 262785 markings, 1011603 edges, 7489 markings/sec, 25 secs
lola: 298957 markings, 1190735 edges, 7234 markings/sec, 30 secs
lola: 338925 markings, 1365692 edges, 7994 markings/sec, 35 secs
lola: 381344 markings, 1537098 edges, 8484 markings/sec, 40 secs
lola: 421597 markings, 1709518 edges, 8051 markings/sec, 45 secs
lola: 463206 markings, 1877579 edges, 8322 markings/sec, 50 secs
lola: 502630 markings, 2053411 edges, 7885 markings/sec, 55 secs
lola: 539010 markings, 2230060 edges, 7276 markings/sec, 60 secs
lola: 580916 markings, 2397586 edges, 8381 markings/sec, 65 secs
lola: 618480 markings, 2568152 edges, 7513 markings/sec, 70 secs
lola: 659960 markings, 2730760 edges, 8296 markings/sec, 75 secs
lola: 695152 markings, 2903484 edges, 7038 markings/sec, 80 secs
lola: 733439 markings, 3066496 edges, 7657 markings/sec, 85 secs
lola: 772033 markings, 3228748 edges, 7719 markings/sec, 90 secs
lola: 810745 markings, 3391771 edges, 7742 markings/sec, 95 secs
lola: 847341 markings, 3553832 edges, 7319 markings/sec, 100 secs
lola: 885880 markings, 3717161 edges, 7708 markings/sec, 105 secs
lola: 932590 markings, 3873245 edges, 9342 markings/sec, 110 secs
lola: 978252 markings, 4028421 edges, 9132 markings/sec, 115 secs
lola: 1021873 markings, 4187932 edges, 8724 markings/sec, 120 secs
lola: 1061836 markings, 4351480 edges, 7993 markings/sec, 125 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: 1090865 markings, 4463161 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A (X ((X (G ((p38 <= p1759))) OR (G ((p1523 <= p2053)) AND F (G ((p38 <= p1759))))))) AND A (F (G ((p38 <= p1759)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (F (G ((p38 <= p1759))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p38 <= p1759))))
lola: processed formula length: 26
lola: 156 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 51688 markings, 139455 edges, 10338 markings/sec, 0 secs
lola: 96930 markings, 305707 edges, 9048 markings/sec, 5 secs
lola: 140243 markings, 475369 edges, 8663 markings/sec, 10 secs
lola: 183307 markings, 645373 edges, 8613 markings/sec, 15 secs
lola: 222281 markings, 820671 edges, 7795 markings/sec, 20 secs
lola: 259989 markings, 998120 edges, 7542 markings/sec, 25 secs
lola: 295699 markings, 1177068 edges, 7142 markings/sec, 30 secs
lola: 333600 markings, 1351941 edges, 7580 markings/sec, 35 secs
lola: 377485 markings, 1519946 edges, 8777 markings/sec, 40 secs
lola: 417159 markings, 1691445 edges, 7935 markings/sec, 45 secs
lola: 458890 markings, 1858608 edges, 8346 markings/sec, 50 secs
lola: 498258 markings, 2032809 edges, 7874 markings/sec, 55 secs
lola: 534698 markings, 2209138 edges, 7288 markings/sec, 60 secs
lola: 575747 markings, 2376111 edges, 8210 markings/sec, 65 secs
lola: 613655 markings, 2545800 edges, 7582 markings/sec, 70 secs
lola: 654724 markings, 2707049 edges, 8214 markings/sec, 75 secs
lola: 690018 markings, 2878232 edges, 7059 markings/sec, 80 secs
lola: 727377 markings, 3041094 edges, 7472 markings/sec, 85 secs
lola: 764909 markings, 3200614 edges, 7506 markings/sec, 90 secs
lola: 802888 markings, 3360786 edges, 7596 markings/sec, 95 secs
lola: 840123 markings, 3517878 edges, 7447 markings/sec, 100 secs
lola: 877213 markings, 3677217 edges, 7418 markings/sec, 105 secs
lola: 920313 markings, 3836537 edges, 8620 markings/sec, 110 secs
lola: 966651 markings, 3992016 edges, 9268 markings/sec, 115 secs
lola: 1010953 markings, 4151338 edges, 8860 markings/sec, 120 secs
lola: 1053079 markings, 4314026 edges, 8425 markings/sec, 125 secs
lola: 1095280 markings, 4477387 edges, 8440 markings/sec, 130 secs
lola: 1133255 markings, 4644283 edges, 7595 markings/sec, 135 secs
lola: 1169935 markings, 4814820 edges, 7336 markings/sec, 140 secs
lola: 1205781 markings, 4985144 edges, 7169 markings/sec, 145 secs
lola: 1242456 markings, 5155234 edges, 7335 markings/sec, 150 secs
lola: 1280233 markings, 5320235 edges, 7555 markings/sec, 155 secs
lola: 1318556 markings, 5484598 edges, 7665 markings/sec, 160 secs
lola: 1358076 markings, 5646346 edges, 7904 markings/sec, 165 secs
lola: 1394671 markings, 5810023 edges, 7319 markings/sec, 170 secs
lola: 1435607 markings, 5967677 edges, 8187 markings/sec, 175 secs
lola: 1474100 markings, 6125161 edges, 7699 markings/sec, 180 secs
lola: 1512410 markings, 6283934 edges, 7662 markings/sec, 185 secs
lola: 1548394 markings, 6449321 edges, 7197 markings/sec, 190 secs
lola: 1584556 markings, 6607465 edges, 7232 markings/sec, 195 secs
lola: 1621734 markings, 6761324 edges, 7436 markings/sec, 200 secs
lola: 1655002 markings, 6923304 edges, 6654 markings/sec, 205 secs
lola: 1692026 markings, 7075886 edges, 7405 markings/sec, 210 secs
lola: 1728528 markings, 7232290 edges, 7300 markings/sec, 215 secs
lola: 1764324 markings, 7404417 edges, 7159 markings/sec, 220 secs
lola: 1796839 markings, 7573646 edges, 6503 markings/sec, 225 secs
lola: 1830886 markings, 7730675 edges, 6809 markings/sec, 230 secs
lola: 1867821 markings, 7890127 edges, 7387 markings/sec, 235 secs
lola: 1917645 markings, 8046968 edges, 9965 markings/sec, 240 secs
lola: 1965453 markings, 8207377 edges, 9562 markings/sec, 245 secs
lola: 2007377 markings, 8377315 edges, 8385 markings/sec, 250 secs
lola: 2049782 markings, 8546936 edges, 8481 markings/sec, 255 secs
lola: 2088019 markings, 8720740 edges, 7647 markings/sec, 260 secs
lola: 2125144 markings, 8894879 edges, 7425 markings/sec, 265 secs
lola: 2160492 markings, 9073186 edges, 7070 markings/sec, 270 secs
lola: 2196061 markings, 9253004 edges, 7114 markings/sec, 275 secs
lola: 2240164 markings, 9421882 edges, 8821 markings/sec, 280 secs
lola: 2280630 markings, 9591946 edges, 8093 markings/sec, 285 secs
lola: 2320891 markings, 9765741 edges, 8052 markings/sec, 290 secs
lola: 2362775 markings, 9935912 edges, 8377 markings/sec, 295 secs
lola: 2403661 markings, 10108102 edges, 8177 markings/sec, 300 secs
lola: 2444352 markings, 10280373 edges, 8138 markings/sec, 305 secs
lola: 2481919 markings, 10456648 edges, 7513 markings/sec, 310 secs
lola: 2517886 markings, 10634023 edges, 7193 markings/sec, 315 secs
lola: 2557313 markings, 10807151 edges, 7885 markings/sec, 320 secs
lola: 2596849 markings, 10978189 edges, 7907 markings/sec, 325 secs
lola: 2635371 markings, 11149837 edges, 7704 markings/sec, 330 secs
lola: 2676695 markings, 11315067 edges, 8265 markings/sec, 335 secs
lola: 2714011 markings, 11485175 edges, 7463 markings/sec, 340 secs
lola: 2752974 markings, 11653168 edges, 7793 markings/sec, 345 secs
lola: 2791136 markings, 11811723 edges, 7632 markings/sec, 350 secs
lola: 2837055 markings, 11969304 edges, 9184 markings/sec, 355 secs
lola: 2890326 markings, 12126244 edges, 10654 markings/sec, 360 secs
lola: 2930966 markings, 12294027 edges, 8128 markings/sec, 365 secs
lola: 2968351 markings, 12468108 edges, 7477 markings/sec, 370 secs
lola: 3004306 markings, 12646524 edges, 7191 markings/sec, 375 secs
lola: 3047630 markings, 12810347 edges, 8665 markings/sec, 380 secs
lola: 3084836 markings, 12978009 edges, 7441 markings/sec, 385 secs
lola: 3121432 markings, 13146878 edges, 7319 markings/sec, 390 secs
lola: 3161135 markings, 13302502 edges, 7941 markings/sec, 395 secs
lola: 3203096 markings, 13454667 edges, 8392 markings/sec, 400 secs
lola: 3257599 markings, 13607730 edges, 10901 markings/sec, 405 secs
lola: 3301117 markings, 13771274 edges, 8704 markings/sec, 410 secs
lola: 3341388 markings, 13938013 edges, 8054 markings/sec, 415 secs
lola: 3385888 markings, 14104864 edges, 8900 markings/sec, 420 secs
lola: 3425428 markings, 14274307 edges, 7908 markings/sec, 425 secs
lola: 3463052 markings, 14442292 edges, 7525 markings/sec, 430 secs
lola: 3499343 markings, 14611428 edges, 7258 markings/sec, 435 secs
lola: 3539964 markings, 14772872 edges, 8124 markings/sec, 440 secs
lola: 3590255 markings, 14922192 edges, 10058 markings/sec, 445 secs
lola: 3635247 markings, 15085402 edges, 8998 markings/sec, 450 secs
lola: 3677710 markings, 15253249 edges, 8493 markings/sec, 455 secs
lola: 3720190 markings, 15421704 edges, 8496 markings/sec, 460 secs
lola: 3758435 markings, 15595544 edges, 7649 markings/sec, 465 secs
lola: 3795870 markings, 15771965 edges, 7487 markings/sec, 470 secs
lola: 3831423 markings, 15950133 edges, 7111 markings/sec, 475 secs
lola: 3869029 markings, 16124137 edges, 7521 markings/sec, 480 secs
lola: 3911106 markings, 16293418 edges, 8415 markings/sec, 485 secs
lola: 3952172 markings, 16464748 edges, 8213 markings/sec, 490 secs
lola: 3993638 markings, 16633816 edges, 8293 markings/sec, 495 secs
lola: 4031473 markings, 16804695 edges, 7567 markings/sec, 500 secs
lola: 4066980 markings, 16980480 edges, 7101 markings/sec, 505 secs
lola: 4104556 markings, 17156679 edges, 7515 markings/sec, 510 secs
lola: 4145628 markings, 17321791 edges, 8214 markings/sec, 515 secs
lola: 4184690 markings, 17488278 edges, 7812 markings/sec, 520 secs
lola: 4223810 markings, 17652678 edges, 7824 markings/sec, 525 secs
lola: 4259165 markings, 17823720 edges, 7071 markings/sec, 530 secs
lola: 4296597 markings, 17985794 edges, 7486 markings/sec, 535 secs
lola: 4336350 markings, 18143583 edges, 7951 markings/sec, 540 secs
lola: 4373163 markings, 18303296 edges, 7363 markings/sec, 545 secs
lola: 4410885 markings, 18460523 edges, 7544 markings/sec, 550 secs
lola: 4453583 markings, 18620712 edges, 8540 markings/sec, 555 secs
lola: 4499909 markings, 18777301 edges, 9265 markings/sec, 560 secs
lola: 4544515 markings, 18940190 edges, 8921 markings/sec, 565 secs
lola: 4585588 markings, 19108446 edges, 8215 markings/sec, 570 secs
lola: 4626201 markings, 19276381 edges, 8123 markings/sec, 575 secs
lola: 4663678 markings, 19448605 edges, 7495 markings/sec, 580 secs
lola: 4699891 markings, 19618863 edges, 7243 markings/sec, 585 secs
lola: 4733842 markings, 19795695 edges, 6790 markings/sec, 590 secs
lola: 4772060 markings, 19967829 edges, 7644 markings/sec, 595 secs
lola: 4812567 markings, 20137647 edges, 8101 markings/sec, 600 secs
lola: 4853201 markings, 20307508 edges, 8127 markings/sec, 605 secs
lola: 4894668 markings, 20475667 edges, 8293 markings/sec, 610 secs
lola: 4931720 markings, 20648755 edges, 7410 markings/sec, 615 secs
lola: 4973980 markings, 20816497 edges, 8452 markings/sec, 620 secs
lola: 5012997 markings, 20989193 edges, 7803 markings/sec, 625 secs
lola: 5049144 markings, 21165913 edges, 7229 markings/sec, 630 secs
lola: 5086262 markings, 21338977 edges, 7424 markings/sec, 635 secs
lola: 5127227 markings, 21508355 edges, 8193 markings/sec, 640 secs
lola: 5163199 markings, 21685424 edges, 7194 markings/sec, 645 secs
lola: 5202349 markings, 21853056 edges, 7830 markings/sec, 650 secs
lola: 5243478 markings, 22016601 edges, 8226 markings/sec, 655 secs
lola: 5282979 markings, 22183089 edges, 7900 markings/sec, 660 secs
lola: 5321641 markings, 22349447 edges, 7732 markings/sec, 665 secs
lola: 5370802 markings, 22502226 edges, 9832 markings/sec, 670 secs
lola: 5415951 markings, 22666579 edges, 9030 markings/sec, 675 secs
lola: 5458695 markings, 22835306 edges, 8549 markings/sec, 680 secs
lola: 5501487 markings, 23004926 edges, 8558 markings/sec, 685 secs
lola: 5539873 markings, 23179399 edges, 7677 markings/sec, 690 secs
lola: 5577495 markings, 23356666 edges, 7524 markings/sec, 695 secs
lola: 5613288 markings, 23535804 edges, 7159 markings/sec, 700 secs
lola: 5651293 markings, 23710197 edges, 7601 markings/sec, 705 secs
lola: 5693418 markings, 23880398 edges, 8425 markings/sec, 710 secs
lola: 5734545 markings, 24052357 edges, 8225 markings/sec, 715 secs
lola: 5776294 markings, 24222144 edges, 8350 markings/sec, 720 secs
lola: 5814353 markings, 24393892 edges, 7612 markings/sec, 725 secs
lola: 5849838 markings, 24569798 edges, 7097 markings/sec, 730 secs
lola: 5887603 markings, 24746628 edges, 7553 markings/sec, 735 secs
lola: 5928845 markings, 24913045 edges, 8248 markings/sec, 740 secs
lola: 5968379 markings, 25080081 edges, 7907 markings/sec, 745 secs
lola: 6007608 markings, 25246281 edges, 7846 markings/sec, 750 secs
lola: 6042944 markings, 25418351 edges, 7067 markings/sec, 755 secs
lola: 6080920 markings, 25581343 edges, 7595 markings/sec, 760 secs
lola: 6120816 markings, 25741089 edges, 7979 markings/sec, 765 secs
lola: 6158453 markings, 25902011 edges, 7527 markings/sec, 770 secs
lola: 6196497 markings, 26060972 edges, 7609 markings/sec, 775 secs
lola: 6240988 markings, 26221044 edges, 8898 markings/sec, 780 secs
lola: 6286640 markings, 26380339 edges, 9130 markings/sec, 785 secs
lola: 6331138 markings, 26545198 edges, 8900 markings/sec, 790 secs
lola: 6372565 markings, 26714904 edges, 8285 markings/sec, 795 secs
lola: 6413315 markings, 26883362 edges, 8150 markings/sec, 800 secs
lola: 6450121 markings, 27056413 edges, 7361 markings/sec, 805 secs
lola: 6486624 markings, 27227138 edges, 7301 markings/sec, 810 secs
lola: 6520696 markings, 27406011 edges, 6814 markings/sec, 815 secs
lola: 6559321 markings, 27578341 edges, 7725 markings/sec, 820 secs
lola: 6600550 markings, 27748741 edges, 8246 markings/sec, 825 secs
lola: 6641227 markings, 27918515 edges, 8135 markings/sec, 830 secs
lola: 6682896 markings, 28088349 edges, 8334 markings/sec, 835 secs
lola: 6719645 markings, 28262465 edges, 7350 markings/sec, 840 secs
lola: 6762781 markings, 28430450 edges, 8627 markings/sec, 845 secs
lola: 6800898 markings, 28605021 edges, 7623 markings/sec, 850 secs
lola: 6836946 markings, 28781808 edges, 7210 markings/sec, 855 secs
lola: 6873706 markings, 28955263 edges, 7352 markings/sec, 860 secs
lola: 6915865 markings, 29122490 edges, 8432 markings/sec, 865 secs
lola: 6951319 markings, 29299657 edges, 7091 markings/sec, 870 secs
lola: 6992366 markings, 29464656 edges, 8209 markings/sec, 875 secs
lola: 7032975 markings, 29628064 edges, 8122 markings/sec, 880 secs
lola: 7071661 markings, 29793966 edges, 7737 markings/sec, 885 secs
lola: 7108732 markings, 29961185 edges, 7414 markings/sec, 890 secs
lola: 7162442 markings, 30114626 edges, 10742 markings/sec, 895 secs
lola: 7204867 markings, 30280431 edges, 8485 markings/sec, 900 secs
lola: 7243235 markings, 30451845 edges, 7674 markings/sec, 905 secs
lola: 7278763 markings, 30629473 edges, 7106 markings/sec, 910 secs
lola: 7319587 markings, 30798163 edges, 8165 markings/sec, 915 secs
lola: 7357159 markings, 30965670 edges, 7514 markings/sec, 920 secs
lola: 7393246 markings, 31135423 edges, 7217 markings/sec, 925 secs
lola: 7431917 markings, 31293223 edges, 7734 markings/sec, 930 secs
lola: 7475766 markings, 31444888 edges, 8770 markings/sec, 935 secs
lola: 7526265 markings, 31603595 edges, 10100 markings/sec, 940 secs
lola: 7566460 markings, 31767939 edges, 8039 markings/sec, 945 secs
lola: 7607239 markings, 31937745 edges, 8156 markings/sec, 950 secs
lola: 7649435 markings, 32105700 edges, 8439 markings/sec, 955 secs
lola: 7687155 markings, 32275046 edges, 7544 markings/sec, 960 secs
lola: 7723171 markings, 32444909 edges, 7203 markings/sec, 965 secs
lola: 7762603 markings, 32608579 edges, 7886 markings/sec, 970 secs
lola: 7813004 markings, 32762201 edges, 10080 markings/sec, 975 secs
lola: 7858475 markings, 32925189 edges, 9094 markings/sec, 980 secs
lola: 7897325 markings, 33094894 edges, 7770 markings/sec, 985 secs
lola: 7932894 markings, 33271574 edges, 7114 markings/sec, 990 secs
lola: 7969822 markings, 33443478 edges, 7386 markings/sec, 995 secs
lola: 8010585 markings, 33607747 edges, 8153 markings/sec, 1000 secs
lola: 8045914 markings, 33778637 edges, 7066 markings/sec, 1005 secs
lola: 8085358 markings, 33935170 edges, 7889 markings/sec, 1010 secs
lola: 8124706 markings, 34090173 edges, 7870 markings/sec, 1015 secs
lola: 8177622 markings, 34244354 edges, 10583 markings/sec, 1020 secs
lola: 8218645 markings, 34407214 edges, 8205 markings/sec, 1025 secs
lola: 8257731 markings, 34577489 edges, 7817 markings/sec, 1030 secs
lola: 8301960 markings, 34743607 edges, 8846 markings/sec, 1035 secs
lola: 8340203 markings, 34912303 edges, 7649 markings/sec, 1040 secs
lola: 8374336 markings, 35085394 edges, 6827 markings/sec, 1045 secs
lola: 8415312 markings, 35246835 edges, 8195 markings/sec, 1050 secs
lola: 8453946 markings, 35402941 edges, 7727 markings/sec, 1055 secs
lola: 8490926 markings, 35552685 edges, 7396 markings/sec, 1060 secs
lola: 8533850 markings, 35717490 edges, 8585 markings/sec, 1065 secs
lola: 8570675 markings, 35893980 edges, 7365 markings/sec, 1070 secs
lola: 8608939 markings, 36052185 edges, 7653 markings/sec, 1075 secs
lola: 8640577 markings, 36210124 edges, 6328 markings/sec, 1080 secs
lola: 8674041 markings, 36367225 edges, 6693 markings/sec, 1085 secs
lola: 8707953 markings, 36522584 edges, 6782 markings/sec, 1090 secs
lola: 8747233 markings, 36692012 edges, 7856 markings/sec, 1095 secs
lola: 8782746 markings, 36870403 edges, 7103 markings/sec, 1100 secs
lola: 8818179 markings, 37048096 edges, 7087 markings/sec, 1105 secs
lola: 8852159 markings, 37220085 edges, 6796 markings/sec, 1110 secs
lola: 8882410 markings, 37394469 edges, 6050 markings/sec, 1115 secs
lola: 8911263 markings, 37574970 edges, 5771 markings/sec, 1120 secs
lola: 8940645 markings, 37750619 edges, 5876 markings/sec, 1125 secs
lola: 8972627 markings, 37916781 edges, 6396 markings/sec, 1130 secs
lola: 9009707 markings, 38093341 edges, 7416 markings/sec, 1135 secs
lola: 9049884 markings, 38268756 edges, 8035 markings/sec, 1140 secs
lola: 9081078 markings, 38438889 edges, 6239 markings/sec, 1145 secs
lola: 9111678 markings, 38617342 edges, 6120 markings/sec, 1150 secs
lola: 9141970 markings, 38795614 edges, 6058 markings/sec, 1155 secs
lola: 9172284 markings, 38971845 edges, 6063 markings/sec, 1160 secs
lola: 9209119 markings, 39151180 edges, 7367 markings/sec, 1165 secs
lola: 9251325 markings, 39324122 edges, 8441 markings/sec, 1170 secs
lola: 9296382 markings, 39489055 edges, 9011 markings/sec, 1175 secs
lola: 9335062 markings, 39663775 edges, 7736 markings/sec, 1180 secs
lola: 9371131 markings, 39840963 edges, 7214 markings/sec, 1185 secs
lola: 9410146 markings, 40017051 edges, 7803 markings/sec, 1190 secs
lola: 9456782 markings, 40186332 edges, 9327 markings/sec, 1195 secs
lola: 9494966 markings, 40361708 edges, 7637 markings/sec, 1200 secs
lola: 9531684 markings, 40537804 edges, 7344 markings/sec, 1205 secs
lola: 9566003 markings, 40719907 edges, 6864 markings/sec, 1210 secs
lola: 9598609 markings, 40900834 edges, 6521 markings/sec, 1215 secs
lola: 9631113 markings, 41081425 edges, 6501 markings/sec, 1220 secs
lola: 9662008 markings, 41265405 edges, 6179 markings/sec, 1225 secs
lola: 9692301 markings, 41450991 edges, 6059 markings/sec, 1230 secs
lola: 9745047 markings, 41606661 edges, 10549 markings/sec, 1235 secs
lola: 9789279 markings, 41775469 edges, 8846 markings/sec, 1240 secs
lola: 9833436 markings, 41945809 edges, 8831 markings/sec, 1245 secs
lola: 9881025 markings, 42111444 edges, 9518 markings/sec, 1250 secs
lola: 9923103 markings, 42277996 edges, 8416 markings/sec, 1255 secs
lola: 9960568 markings, 42451356 edges, 7493 markings/sec, 1260 secs
lola: 9995442 markings, 42629980 edges, 6975 markings/sec, 1265 secs
lola: 10031019 markings, 42809073 edges, 7115 markings/sec, 1270 secs
lola: 10066785 markings, 42987932 edges, 7153 markings/sec, 1275 secs
lola: 10105575 markings, 43163970 edges, 7758 markings/sec, 1280 secs
lola: 10139170 markings, 43343271 edges, 6719 markings/sec, 1285 secs
lola: 10173528 markings, 43525468 edges, 6872 markings/sec, 1290 secs
lola: 10205599 markings, 43708188 edges, 6414 markings/sec, 1295 secs
lola: 10235399 markings, 43894196 edges, 5960 markings/sec, 1300 secs
lola: 10266374 markings, 44074887 edges, 6195 markings/sec, 1305 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes no no unknown unknown no no yes no no yes yes no no yes
lola:
preliminary result: no yes no no unknown unknown no no yes no no yes yes no no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no unknown unknown no no yes no no yes yes no no yes
lola: memory consumption: 2864964 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no unknown unknown no no yes no no yes yes no no yes
lola: memory consumption: 2864964 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no unknown unknown no no yes no no yes yes no no yes
rslt: finished

BK_STOP 1590069787887

--------------------
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="CloudDeployment-PT-7b"
export BK_EXAMINATION="LTLCardinality"
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 CloudDeployment-PT-7b, examination is LTLCardinality"
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-158902068300089"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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