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

About the Execution of 2019-Gold for CloudOpsManagement-PT-00160by00080

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.060 1772676.00 1776895.00 6215.60 ?TFFFTFFTFFFFFFT 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-158902068300103.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 CloudOpsManagement-PT-00160by00080, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068300103
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 4.5K Mar 30 01:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Mar 27 08:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 27 08:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Mar 26 08:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 26 08:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K 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 13 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 17K 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 CloudOpsManagement-PT-00160by00080-00
FORMULA_NAME CloudOpsManagement-PT-00160by00080-01
FORMULA_NAME CloudOpsManagement-PT-00160by00080-02
FORMULA_NAME CloudOpsManagement-PT-00160by00080-03
FORMULA_NAME CloudOpsManagement-PT-00160by00080-04
FORMULA_NAME CloudOpsManagement-PT-00160by00080-05
FORMULA_NAME CloudOpsManagement-PT-00160by00080-06
FORMULA_NAME CloudOpsManagement-PT-00160by00080-07
FORMULA_NAME CloudOpsManagement-PT-00160by00080-08
FORMULA_NAME CloudOpsManagement-PT-00160by00080-09
FORMULA_NAME CloudOpsManagement-PT-00160by00080-10
FORMULA_NAME CloudOpsManagement-PT-00160by00080-11
FORMULA_NAME CloudOpsManagement-PT-00160by00080-12
FORMULA_NAME CloudOpsManagement-PT-00160by00080-13
FORMULA_NAME CloudOpsManagement-PT-00160by00080-14
FORMULA_NAME CloudOpsManagement-PT-00160by00080-15

=== Now, execution of the tool begins

BK_START 1590073376558

info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ CloudOpsManagement-PT-00160by00080 @ 3570 seconds

FORMULA CloudOpsManagement-PT-00160by00080-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00160by00080-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 1797
rslt: Output for LTLCardinality @ CloudOpsManagement-PT-00160by00080

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(Container <= 1)",
"processed_size": 16,
"rewrites": 109
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 109
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 109
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 4,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A ((G ((F ((ContainerUp <= Wsr2Deployed)) AND (F ((Wsr3Started <= Wsr2Deployed)) OR X (F ((ContainerUp <= Wsr2Deployed)))))) OR X (F ((WsRuntime3 <= 2)))))",
"processed_size": 155,
"rewrites": 109
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 458
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(ContainerUp <= SwContainer)",
"processed_size": 28,
"rewrites": 111
},
"result":
{
"edges": 3,
"markings": 3,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 6
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 9,
"type": "boolean"
}
},

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

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 802
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G ((ScUnavailable <= ContainerUp)))",
"processed_size": 38,
"rewrites": 111
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1069
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (F (G ((OsNotInstalled <= ContainerDown))))",
"processed_size": 45,
"rewrites": 109
},
"result":
{
"edges": 5,
"markings": 4,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1604
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G (F ((Wsr2Started <= ScUnavailable))))",
"processed_size": 42,
"rewrites": 109
},
"result":
{
"edges": 2250053,
"markings": 791911,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "A (((OsRunning + 1 <= WebAppRuntime) OR ((F ((OsRunning + 1 <= WebAppRuntime)) AND F ((Wsr2Deployed <= Wsr3Started))) OR X (X (G ((WsRuntime3 <= 0)))))))",
"processed_size": 153,
"rewrites": 109
},
"result":
{
"edges": 299629096,
"markings": 87407403,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 21388,
"runtime": 1773.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(F(G(**))) : A((G((F(**) AND (F(**) OR X(F(**))))) OR X(F(*)))) : A(F(G((* OR X(*))))) : A((X(**) U (G(**) OR (G((F(**) OR G(F(**)))) AND F(G(**)))))) : A(X(X(G(*)))) : * : FALSE : A((* OR ((F(*) AND F(**)) OR X(X(G(*)))))) : TRUE : A(G(**)) : A(X(X((X(F(*)) R F(*))))) : (A(F(*)) AND A(X(G(**)))) : A(F(G(**))) : A(G(F(**))) : A(X(G(**))) : (A(X(*)) AND A(X((F(*) OR G(*)))))"
},
"net":
{
"arcs": 94,
"conflict_clusters": 11,
"places": 27,
"places_significant": 16,
"singleton_clusters": 0,
"transitions": 29
},
"result":
{
"preliminary_value": "unknown yes no no no yes no no yes no no no no no no yes ",
"value": "unknown yes no no no yes no no yes no no no no no no yes "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 56/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 27 places, 29 transitions, 16 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 true: (ScStopped <= Wsr2NotDeployed)
lola: LP says that atomic proposition is always true: (ScWorking <= Wsr1NotDeployed)
lola: LP says that atomic proposition is always true: (ScWorking <= Wsr1NotDeployed)
lola: LP says that atomic proposition is always true: (OsNotInstalled <= Wsr2NotDeployed)
lola: LP says that atomic proposition is always true: (1 <= Wsr2NotDeployed)
lola: LP says that atomic proposition is always true: (2 <= Wsr3NotDeployed)
lola: A (F (G (((Wsr2Started <= ContainerUp) OR (2 <= OsNotInstalled))))) : A ((G ((F ((Wsr3Started <= Wsr2Deployed)) U X (F ((ContainerUp <= Wsr2Deployed))))) OR X (NOT(G ((3 <= WsRuntime3)))))) : A (X (F (NOT((F (NOT(G ((Bounder2 + 1 <= 0)))) U ((1 <= ServerContainer) AND X ((1 <= ServerContainer)))))))) : A ((X ((3 <= Bounder2)) U (G ((F ((ScUnavailable <= OsRunning)) OR G (X (G (F ((ScUnavailable <= OsRunning))))))) U G ((2 <= OsAvailable))))) : A (X (NOT((G (F ((0 <= OsContainer))) U ((3 <= Bounder1) U X (((Bounder1 <= 2) OR ((WebAppRuntime <= Wsr3Started))))))))) : A (NOT(((2 <= Container) AND ((Bounder1 + 1 <= 0) U (0 <= Bounder1))))) : A (((ScStopped <= Wsr2NotDeployed) AND X (F ((Container + 1 <= 0))))) : A (NOT((((WebAppRuntime <= OsRunning) AND (G ((WebAppRuntime <= OsRunning)) OR NOT(((0 <= OsNotInstalled) U (Wsr2Deployed <= Wsr3Started))))) AND F (X (X ((1 <= WsRuntime3))))))) : A (F ((G ((ScWorking <= Wsr1NotDeployed)) OR X (F ((ScWorking <= Wsr1NotDeployed)))))) : A (G ((ScUnavailable <= ContainerUp))) : A (NOT(X (X ((((OsNotInstalled <= Wsr2NotDeployed) AND G (X ((1 <= OsRunning)))) U G (((1 <= OsRunning) OR (Wsr3Deployed <= Wsr1Deployed)))))))) : A ((((Wsr1Started <= Wsr3Started) U NOT(G ((ContainerUp <= SwContainer)))) AND X (G ((Wsr1Deployed <= Bounder2))))) : A (G (F (G (X (G ((X ((OsNotInstalled <= ContainerDown)) AND (((2 <= ScUnavailable) AND (OsRunning <= SwContainer)) U (1 <= Wsr2NotDeployed))))))))) : A (G ((X (X (((1 <= ServerContainer)))) U G (F ((Wsr2Started <= ScUnavailable)))))) : A (X (G (((ScUnavailable <= ServerContainer) AND ((ServerContainer <= 0) OR (ServerContainer + 1 <= ScUnavailable)))))) : A (X (NOT((((0 <= Wsr1Deployed) AND G ((3 <= Wsr3Deployed))) U (3 <= Container)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
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:169
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:116
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: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:251
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:115
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: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:374
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (Container <= 1)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (Container <= 1)
lola: processed formula length: 16
lola: 109 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 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: 109 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 2 will run for 254 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: 109 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 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G (((3 <= Bounder1) AND ((Wsr3Started + 1 <= WebAppRuntime)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G (((3 <= Bounder1) AND ((Wsr3Started + 1 <= WebAppRuntime)))))))
lola: processed formula length: 74
lola: 109 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5 markings, 5 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G ((F ((ContainerUp <= Wsr2Deployed)) AND (F ((Wsr3Started <= Wsr2Deployed)) OR X (F ((ContainerUp <= Wsr2Deployed)))))) OR X (F ((WsRuntime3 <= 2)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((F ((ContainerUp <= Wsr2Deployed)) AND (F ((Wsr3Started <= Wsr2Deployed)) OR X (F ((ContainerUp <= Wsr2Deployed)))))) OR X (F ((WsRuntime3 <= 2)))))
lola: processed formula length: 155
lola: 109 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: 4 markings, 3 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (((ServerContainer <= 0) OR X ((ServerContainer <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((ServerContainer <= 0) OR X ((ServerContainer <= 0))))))
lola: processed formula length: 66
lola: 109 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: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: add low 24
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: 30334 markings, 45542 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((OsRunning + 1 <= WebAppRuntime) OR ((F ((OsRunning + 1 <= WebAppRuntime)) AND F ((Wsr2Deployed <= Wsr3Started))) OR X (X (G ((WsRuntime3 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((OsRunning + 1 <= WebAppRuntime) OR ((F ((OsRunning + 1 <= WebAppRuntime)) AND F ((Wsr2Deployed <= Wsr3Started))) OR X (X (G ((WsRuntime3 <= 0)))))))
lola: processed formula length: 153
lola: 109 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2390581 markings, 4199622 edges, 478116 markings/sec, 0 secs
lola: 3633235 markings, 8670435 edges, 248531 markings/sec, 5 secs
lola: 4870592 markings, 12952779 edges, 247471 markings/sec, 10 secs
lola: 5992849 markings, 17019776 edges, 224451 markings/sec, 15 secs
lola: 7122389 markings, 20996136 edges, 225908 markings/sec, 20 secs
lola: 8208316 markings, 24879889 edges, 217185 markings/sec, 25 secs
lola: 9325750 markings, 28669285 edges, 223487 markings/sec, 30 secs
lola: 10320701 markings, 32391194 edges, 198990 markings/sec, 35 secs
lola: 11372102 markings, 36003123 edges, 210280 markings/sec, 40 secs
lola: 12372832 markings, 39598462 edges, 200146 markings/sec, 45 secs
lola: 13382291 markings, 43171048 edges, 201892 markings/sec, 50 secs
lola: 14414097 markings, 46540796 edges, 206361 markings/sec, 55 secs
lola: 15154083 markings, 49382546 edges, 147997 markings/sec, 60 secs
lola: 16240108 markings, 52820033 edges, 217205 markings/sec, 65 secs
lola: 17110809 markings, 56251041 edges, 174140 markings/sec, 70 secs
lola: 18140600 markings, 59598668 edges, 205958 markings/sec, 75 secs
lola: 19130295 markings, 63092250 edges, 197939 markings/sec, 80 secs
lola: 20018377 markings, 66451322 edges, 177616 markings/sec, 85 secs
lola: 20974577 markings, 69815968 edges, 191240 markings/sec, 90 secs
lola: 21952139 markings, 73097431 edges, 195512 markings/sec, 95 secs
lola: 23003562 markings, 76379687 edges, 210285 markings/sec, 100 secs
lola: 23938695 markings, 79759501 edges, 187027 markings/sec, 105 secs
lola: 24872662 markings, 83092912 edges, 186793 markings/sec, 110 secs
lola: 25803308 markings, 86361951 edges, 186129 markings/sec, 115 secs
lola: 26737148 markings, 89600447 edges, 186768 markings/sec, 120 secs
lola: 27676329 markings, 92819996 edges, 187836 markings/sec, 125 secs
lola: 28611493 markings, 95973638 edges, 187033 markings/sec, 130 secs
lola: 29423262 markings, 99197065 edges, 162354 markings/sec, 135 secs
lola: 30338762 markings, 102363795 edges, 183100 markings/sec, 140 secs
lola: 31251677 markings, 105542094 edges, 182583 markings/sec, 145 secs
lola: 32175318 markings, 108733252 edges, 184728 markings/sec, 150 secs
lola: 33087362 markings, 111917648 edges, 182409 markings/sec, 155 secs
lola: 34036224 markings, 115021277 edges, 189772 markings/sec, 160 secs
lola: 34856950 markings, 118078936 edges, 164145 markings/sec, 165 secs
lola: 35759100 markings, 121202350 edges, 180430 markings/sec, 170 secs
lola: 36663721 markings, 124346907 edges, 180924 markings/sec, 175 secs
lola: 37542293 markings, 127262238 edges, 175714 markings/sec, 180 secs
lola: 38222832 markings, 129766953 edges, 136108 markings/sec, 185 secs
lola: 38986385 markings, 132420592 edges, 152711 markings/sec, 190 secs
lola: 39782672 markings, 135231705 edges, 159257 markings/sec, 195 secs
lola: 40659959 markings, 138252162 edges, 175457 markings/sec, 200 secs
lola: 41541122 markings, 141315242 edges, 176233 markings/sec, 205 secs
lola: 42420465 markings, 144222774 edges, 175869 markings/sec, 210 secs
lola: 43244656 markings, 147243351 edges, 164838 markings/sec, 215 secs
lola: 44122712 markings, 150299781 edges, 175611 markings/sec, 220 secs
lola: 44947954 markings, 153196431 edges, 165048 markings/sec, 225 secs
lola: 45819248 markings, 156195160 edges, 174259 markings/sec, 230 secs
lola: 46688540 markings, 159216974 edges, 173858 markings/sec, 235 secs
lola: 47506925 markings, 162074318 edges, 163677 markings/sec, 240 secs
lola: 48370890 markings, 165073133 edges, 172793 markings/sec, 245 secs
lola: 49223977 markings, 168048112 edges, 170617 markings/sec, 250 secs
lola: 50045970 markings, 170894027 edges, 164399 markings/sec, 255 secs
lola: 50903498 markings, 173878278 edges, 171506 markings/sec, 260 secs
lola: 51711634 markings, 176699931 edges, 161627 markings/sec, 265 secs
lola: 52566202 markings, 179651460 edges, 170914 markings/sec, 270 secs
lola: 53404972 markings, 182605570 edges, 167754 markings/sec, 275 secs
lola: 54218497 markings, 185437829 edges, 162705 markings/sec, 280 secs
lola: 55069275 markings, 188391705 edges, 170156 markings/sec, 285 secs
lola: 55870902 markings, 191172848 edges, 160325 markings/sec, 290 secs
lola: 56716479 markings, 194117161 edges, 169115 markings/sec, 295 secs
lola: 57502335 markings, 196914892 edges, 157171 markings/sec, 300 secs
lola: 58350990 markings, 199817443 edges, 169731 markings/sec, 305 secs
lola: 59180011 markings, 202692547 edges, 165804 markings/sec, 310 secs
lola: 59984437 markings, 205501466 edges, 160885 markings/sec, 315 secs
lola: 60815250 markings, 208387178 edges, 166163 markings/sec, 320 secs
lola: 61604073 markings, 211143483 edges, 157765 markings/sec, 325 secs
lola: 62438606 markings, 214037049 edges, 166907 markings/sec, 330 secs
lola: 63206964 markings, 216756919 edges, 153672 markings/sec, 335 secs
lola: 64050252 markings, 219648075 edges, 168658 markings/sec, 340 secs
lola: 64814958 markings, 222371401 edges, 152941 markings/sec, 345 secs
lola: 65658482 markings, 225245129 edges, 168705 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no unknown no yes no unknown yes unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9565812 KB
lola: time consumption: 361 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 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((3 <= Bounder2)) U (G ((2 <= OsAvailable)) OR (G ((F ((ScUnavailable <= OsRunning)) OR G (F ((ScUnavailable <= OsRunning))))) AND F (G ((2 <= OsAvailable)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((3 <= Bounder2)) U (G ((2 <= OsAvailable)) OR (G ((F ((ScUnavailable <= OsRunning)) OR G (F ((ScUnavailable <= OsRunning))))) AND F (G ((2 <= OsAvailable)))))))
lola: processed formula length: 167
lola: 109 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 57 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: 13 markings, 16 edges
lola: ========================================
lola: subprocess 8 will run for 401 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((X (F ((OsRunning <= 0))) R F (((OsRunning <= 0) AND (Wsr1Deployed + 1 <= Wsr3Deployed)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((X (F ((OsRunning <= 0))) R F (((OsRunning <= 0) AND (Wsr1Deployed + 1 <= Wsr3Deployed)))))))
lola: processed formula length: 102
lola: 109 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5 markings, 5 edges
lola: ========================================
lola: subprocess 9 will run for 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((SwContainer + 1 <= ContainerUp))) AND A (X (G ((Wsr1Deployed <= Bounder2)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((SwContainer + 1 <= ContainerUp)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (ContainerUp <= SwContainer)
lola: processed formula length: 28
lola: 111 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: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 3 markings, 3 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 10 will run for 534 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (((ScUnavailable <= ServerContainer) AND ((ServerContainer <= 0) OR (ServerContainer + 1 <= ScUnavailable))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((ScUnavailable <= ServerContainer) AND ((ServerContainer <= 0) OR (ServerContainer + 1 <= ScUnavailable))))))
lola: processed formula length: 120
lola: 109 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: 4 markings, 4 edges
lola: ========================================
lola: subprocess 11 will run for 641 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X ((Container <= 2))) AND A (X ((F ((Wsr3Deployed <= 2)) OR G ((Container <= 2))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 641 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((Container <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((Container <= 2)))
lola: processed formula length: 24
lola: 109 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: 4 markings, 3 edges
lola: ========================================
lola: subprocess 12 will run for 802 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((F ((Wsr3Deployed <= 2)) OR G ((Container <= 2)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F ((Wsr3Deployed <= 2)) OR G ((Container <= 2)))))
lola: processed formula length: 57
lola: 109 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: 4 markings, 3 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 12 will run for 802 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((ScUnavailable <= ContainerUp)))
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 ((ScUnavailable <= ContainerUp)))
lola: processed formula length: 38
lola: 111 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: SUBRESULT
lola: result: no
lola: produced by: state space
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: (ContainerUp + 1 <= ScUnavailable)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 1069 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((OsNotInstalled <= ContainerDown))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((OsNotInstalled <= ContainerDown))))
lola: processed formula length: 45
lola: 109 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: add low 24
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: 4 markings, 5 edges
lola: ========================================
lola: subprocess 14 will run for 1604 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((Wsr2Started <= ScUnavailable))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((Wsr2Started <= ScUnavailable))))
lola: processed formula length: 42
lola: 109 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: 791911 markings, 2250053 edges
lola: ========================================
lola: subprocess 15 will run for 3207 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (((Wsr2Started <= ContainerUp) OR (2 <= OsNotInstalled)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((Wsr2Started <= ContainerUp) OR (2 <= OsNotInstalled)))))
lola: processed formula length: 68
lola: 109 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: 2040824 markings, 5756431 edges, 408165 markings/sec, 0 secs
lola: 3966966 markings, 11418677 edges, 385228 markings/sec, 5 secs
lola: 5750077 markings, 16630222 edges, 356622 markings/sec, 10 secs
lola: 7678167 markings, 22249814 edges, 385618 markings/sec, 15 secs
lola: 9517671 markings, 27712688 edges, 367901 markings/sec, 20 secs
lola: 11338394 markings, 33118516 edges, 364145 markings/sec, 25 secs
lola: 12990516 markings, 38435617 edges, 330424 markings/sec, 30 secs
lola: 14467555 markings, 43451785 edges, 295408 markings/sec, 35 secs
lola: 15953710 markings, 48353807 edges, 297231 markings/sec, 40 secs
lola: 17398430 markings, 53107769 edges, 288944 markings/sec, 45 secs
lola: 18844956 markings, 57867939 edges, 289305 markings/sec, 50 secs
lola: 20312984 markings, 62538117 edges, 293606 markings/sec, 55 secs
lola: 21789201 markings, 67130164 edges, 295243 markings/sec, 60 secs
lola: 23209800 markings, 71722707 edges, 284120 markings/sec, 65 secs
lola: 24535807 markings, 76229599 edges, 265201 markings/sec, 70 secs
lola: 25877970 markings, 80834607 edges, 268433 markings/sec, 75 secs
lola: 27227930 markings, 85495739 edges, 269992 markings/sec, 80 secs
lola: 28726686 markings, 90062746 edges, 299751 markings/sec, 85 secs
lola: 30045076 markings, 94702532 edges, 263678 markings/sec, 90 secs
lola: 31474182 markings, 99165377 edges, 285821 markings/sec, 95 secs
lola: 32840488 markings, 103733285 edges, 273261 markings/sec, 100 secs
lola: 34123022 markings, 108131371 edges, 256507 markings/sec, 105 secs
lola: 35486229 markings, 112605379 edges, 272641 markings/sec, 110 secs
lola: 36914408 markings, 117182664 edges, 285636 markings/sec, 115 secs
lola: 38289032 markings, 121751265 edges, 274925 markings/sec, 120 secs
lola: 39675786 markings, 126300126 edges, 277351 markings/sec, 125 secs
lola: 41125038 markings, 130999622 edges, 289850 markings/sec, 130 secs
lola: 42521989 markings, 135707985 edges, 279390 markings/sec, 135 secs
lola: 43965128 markings, 140375750 edges, 288628 markings/sec, 140 secs
lola: 45624909 markings, 145398260 edges, 331956 markings/sec, 145 secs
lola: 47254616 markings, 150215853 edges, 325941 markings/sec, 150 secs
lola: 48440851 markings, 155177772 edges, 237247 markings/sec, 155 secs
lola: 50156474 markings, 159898654 edges, 343125 markings/sec, 160 secs
lola: 51221434 markings, 164508012 edges, 212992 markings/sec, 165 secs
lola: 52881550 markings, 169087419 edges, 332023 markings/sec, 170 secs
lola: 53931756 markings, 173641174 edges, 210041 markings/sec, 175 secs
lola: 55383818 markings, 178195037 edges, 290412 markings/sec, 180 secs
lola: 56584723 markings, 182619167 edges, 240181 markings/sec, 185 secs
lola: 57703331 markings, 187144737 edges, 223722 markings/sec, 190 secs
lola: 59186984 markings, 191469623 edges, 296731 markings/sec, 195 secs
lola: 60223934 markings, 195937369 edges, 207390 markings/sec, 200 secs
lola: 61748312 markings, 200234056 edges, 304876 markings/sec, 205 secs
lola: 62742730 markings, 204530470 edges, 198884 markings/sec, 210 secs
lola: 64246416 markings, 208814739 edges, 300737 markings/sec, 215 secs
lola: 65237351 markings, 213098861 edges, 198187 markings/sec, 220 secs
lola: 66702664 markings, 217297138 edges, 293063 markings/sec, 225 secs
lola: 67670586 markings, 221487569 edges, 193584 markings/sec, 230 secs
lola: 69114004 markings, 225674345 edges, 288684 markings/sec, 235 secs
lola: 70085234 markings, 229873200 edges, 194246 markings/sec, 240 secs
lola: 71493346 markings, 233993864 edges, 281622 markings/sec, 245 secs
lola: 72444494 markings, 238105034 edges, 190230 markings/sec, 250 secs
lola: 73841783 markings, 242257555 edges, 279458 markings/sec, 255 secs
lola: 74840700 markings, 246542840 edges, 199783 markings/sec, 260 secs
lola: 76178678 markings, 250552604 edges, 267596 markings/sec, 265 secs
lola: 77407257 markings, 254722924 edges, 245716 markings/sec, 270 secs
lola: 78497798 markings, 258840332 edges, 218108 markings/sec, 275 secs
lola: 79828694 markings, 262929836 edges, 266179 markings/sec, 280 secs
lola: 80774076 markings, 266999945 edges, 189076 markings/sec, 285 secs
lola: 82069908 markings, 271025142 edges, 259166 markings/sec, 290 secs
lola: 83357442 markings, 275066953 edges, 257507 markings/sec, 295 secs
lola: 84293597 markings, 279107759 edges, 187231 markings/sec, 300 secs
lola: 85554082 markings, 283107737 edges, 252097 markings/sec, 305 secs
lola: 86807864 markings, 287133653 edges, 250756 markings/sec, 310 secs
lola: 87784947 markings, 291183629 edges, 195417 markings/sec, 315 secs
lola: 88963484 markings, 295120937 edges, 235707 markings/sec, 320 secs
lola: 90169780 markings, 299069394 edges, 241259 markings/sec, 325 secs
lola: 91370332 markings, 303048817 edges, 240110 markings/sec, 330 secs
lola: 92552960 markings, 307009418 edges, 236526 markings/sec, 335 secs
lola: 93590280 markings, 311002368 edges, 207464 markings/sec, 340 secs
lola: 94720347 markings, 315094443 edges, 226013 markings/sec, 345 secs
lola: 95861090 markings, 319103722 edges, 228149 markings/sec, 350 secs
lola: 97051770 markings, 323111510 edges, 238136 markings/sec, 355 secs
lola: 98249718 markings, 327036261 edges, 239590 markings/sec, 360 secs
lola: 99456500 markings, 331035647 edges, 241356 markings/sec, 365 secs
lola: 100565837 markings, 335027021 edges, 221867 markings/sec, 370 secs
lola: 101661707 markings, 339001536 edges, 219174 markings/sec, 375 secs
lola: 102937538 markings, 343129074 edges, 255166 markings/sec, 380 secs
lola: 104044947 markings, 347259796 edges, 221482 markings/sec, 385 secs
lola: 105248784 markings, 351309979 edges, 240767 markings/sec, 390 secs
lola: 106428591 markings, 355381105 edges, 235961 markings/sec, 395 secs
lola: 107633534 markings, 359512697 edges, 240989 markings/sec, 400 secs
lola: 108822941 markings, 363672110 edges, 237881 markings/sec, 405 secs
lola: 110065000 markings, 367876360 edges, 248412 markings/sec, 410 secs
lola: 111356965 markings, 372285728 edges, 258393 markings/sec, 415 secs
lola: 112799122 markings, 376924923 edges, 288431 markings/sec, 420 secs
lola: 114771667 markings, 381305572 edges, 394509 markings/sec, 425 secs
lola: 115944822 markings, 385933104 edges, 234631 markings/sec, 430 secs
lola: 117002706 markings, 390514286 edges, 211577 markings/sec, 435 secs
lola: 118117704 markings, 395296333 edges, 223000 markings/sec, 440 secs
lola: 119954005 markings, 399401022 edges, 367260 markings/sec, 445 secs
lola: 120071324 markings, 399921922 edges, 23464 markings/sec, 450 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (((OsRunning + 1 <= WebAppRuntime) OR ((F ((OsRunning + 1 <= WebAppRuntime)) AND F ((Wsr2Deployed <= Wsr3Started))) OR X (X (G ((WsRuntime3 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((OsRunning + 1 <= WebAppRuntime) OR ((F ((OsRunning + 1 <= WebAppRuntime)) AND F ((Wsr2Deployed <= Wsr3Started))) OR X (X (G ((WsRuntime3 <= 0)))))))
lola: processed formula length: 153
lola: 109 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2382859 markings, 4160353 edges, 476572 markings/sec, 0 secs
lola: 3677905 markings, 8778785 edges, 259009 markings/sec, 5 secs
lola: 4868541 markings, 12941893 edges, 238127 markings/sec, 10 secs
lola: 5943329 markings, 16886924 edges, 214958 markings/sec, 15 secs
lola: 7065388 markings, 20689337 edges, 224412 markings/sec, 20 secs
lola: 8119767 markings, 24402313 edges, 210876 markings/sec, 25 secs
lola: 9124813 markings, 28015373 edges, 201009 markings/sec, 30 secs
lola: 10178882 markings, 31625011 edges, 210814 markings/sec, 35 secs
lola: 11163395 markings, 35159266 edges, 196903 markings/sec, 40 secs
lola: 12165034 markings, 38651969 edges, 200328 markings/sec, 45 secs
lola: 13182315 markings, 42091175 edges, 203456 markings/sec, 50 secs
lola: 14047055 markings, 45532923 edges, 172948 markings/sec, 55 secs
lola: 15072180 markings, 48938702 edges, 205025 markings/sec, 60 secs
lola: 16016255 markings, 52264362 edges, 188815 markings/sec, 65 secs
lola: 17003319 markings, 55668644 edges, 197413 markings/sec, 70 secs
lola: 17863245 markings, 59003893 edges, 171985 markings/sec, 75 secs
lola: 18910839 markings, 62222334 edges, 209519 markings/sec, 80 secs
lola: 19861386 markings, 65601128 edges, 190109 markings/sec, 85 secs
lola: 20743577 markings, 68883553 edges, 176438 markings/sec, 90 secs
lola: 21641627 markings, 72133491 edges, 179610 markings/sec, 95 secs
lola: 22566556 markings, 75363999 edges, 184986 markings/sec, 100 secs
lola: 23497629 markings, 78581242 edges, 186215 markings/sec, 105 secs
lola: 24419805 markings, 81792563 edges, 184435 markings/sec, 110 secs
lola: 25339752 markings, 84993372 edges, 183989 markings/sec, 115 secs
lola: 26261950 markings, 88182409 edges, 184440 markings/sec, 120 secs
lola: 27175723 markings, 91365721 edges, 182755 markings/sec, 125 secs
lola: 28089318 markings, 94538692 edges, 182719 markings/sec, 130 secs
lola: 29007410 markings, 97722954 edges, 183618 markings/sec, 135 secs
lola: 29918501 markings, 100902045 edges, 182218 markings/sec, 140 secs
lola: 30840325 markings, 104051161 edges, 184365 markings/sec, 145 secs
lola: 31786826 markings, 107114933 edges, 189300 markings/sec, 150 secs
lola: 32592404 markings, 110197028 edges, 161116 markings/sec, 155 secs
lola: 33485516 markings, 113304386 edges, 178622 markings/sec, 160 secs
lola: 34392236 markings, 116444906 edges, 181344 markings/sec, 165 secs
lola: 35289244 markings, 119571254 edges, 179402 markings/sec, 170 secs
lola: 36144260 markings, 122532487 edges, 171003 markings/sec, 175 secs
lola: 37024804 markings, 125598069 edges, 176109 markings/sec, 180 secs
lola: 37917743 markings, 128707532 edges, 178588 markings/sec, 185 secs
lola: 38808377 markings, 131783952 edges, 178127 markings/sec, 190 secs
lola: 39641810 markings, 134704150 edges, 166687 markings/sec, 195 secs
lola: 40522142 markings, 137770801 edges, 176066 markings/sec, 200 secs
lola: 41403577 markings, 140830868 edges, 176287 markings/sec, 205 secs
lola: 42234264 markings, 143719875 edges, 166137 markings/sec, 210 secs
lola: 43105036 markings, 146759609 edges, 174154 markings/sec, 215 secs
lola: 43979737 markings, 149796031 edges, 174940 markings/sec, 220 secs
lola: 44795516 markings, 152650856 edges, 163156 markings/sec, 225 secs
lola: 45661356 markings, 155642636 edges, 173168 markings/sec, 230 secs
lola: 46506471 markings, 158598994 edges, 169023 markings/sec, 235 secs
lola: 47317037 markings, 161418496 edges, 162113 markings/sec, 240 secs
lola: 48178965 markings, 164404084 edges, 172386 markings/sec, 245 secs
lola: 48985306 markings, 167215572 edges, 161268 markings/sec, 250 secs
lola: 49830705 markings, 170160026 edges, 169080 markings/sec, 255 secs
lola: 50680435 markings, 173097542 edges, 169946 markings/sec, 260 secs
lola: 51480121 markings, 175891228 edges, 159937 markings/sec, 265 secs
lola: 52338120 markings, 178844250 edges, 171600 markings/sec, 270 secs
lola: 53130198 markings, 181634419 edges, 158416 markings/sec, 275 secs
lola: 53972020 markings, 184575888 edges, 168364 markings/sec, 280 secs
lola: 54801290 markings, 187460580 edges, 165854 markings/sec, 285 secs
lola: 55611296 markings, 190276196 edges, 162001 markings/sec, 290 secs
lola: 56448620 markings, 193182347 edges, 167465 markings/sec, 295 secs
lola: 57239319 markings, 195935309 edges, 158140 markings/sec, 300 secs
lola: 58079305 markings, 198853953 edges, 167997 markings/sec, 305 secs
lola: 58848265 markings, 201593000 edges, 153792 markings/sec, 310 secs
lola: 59697022 markings, 204500780 edges, 169751 markings/sec, 315 secs
lola: 60472294 markings, 207244266 edges, 155054 markings/sec, 320 secs
lola: 61308673 markings, 210107698 edges, 167276 markings/sec, 325 secs
lola: 62117299 markings, 212918173 edges, 161725 markings/sec, 330 secs
lola: 62912065 markings, 215692853 edges, 158953 markings/sec, 335 secs
lola: 63726324 markings, 218523928 edges, 162852 markings/sec, 340 secs
lola: 64517972 markings, 221263496 edges, 158330 markings/sec, 345 secs
lola: 65286696 markings, 223949054 edges, 153745 markings/sec, 350 secs
lola: 66042321 markings, 226570254 edges, 151125 markings/sec, 355 secs
lola: 66740456 markings, 229008106 edges, 139627 markings/sec, 360 secs
lola: 67453309 markings, 231481826 edges, 142571 markings/sec, 365 secs
lola: 68249043 markings, 234263202 edges, 159147 markings/sec, 370 secs
lola: 69024099 markings, 236960309 edges, 155011 markings/sec, 375 secs
lola: 69836292 markings, 239789310 edges, 162439 markings/sec, 380 secs
lola: 70603994 markings, 242510420 edges, 153540 markings/sec, 385 secs
lola: 71418133 markings, 245298068 edges, 162828 markings/sec, 390 secs
lola: 72182128 markings, 248001089 edges, 152799 markings/sec, 395 secs
lola: 72999889 markings, 250789590 edges, 163552 markings/sec, 400 secs
lola: 73755213 markings, 253488283 edges, 151065 markings/sec, 405 secs
lola: 74576652 markings, 256275908 edges, 164288 markings/sec, 410 secs
lola: 75333875 markings, 258973609 edges, 151445 markings/sec, 415 secs
lola: 76286460 markings, 261632400 edges, 190517 markings/sec, 420 secs
lola: 76888728 markings, 264394165 edges, 120454 markings/sec, 425 secs
lola: 77833915 markings, 267067143 edges, 189037 markings/sec, 430 secs
lola: 78454338 markings, 269849037 edges, 124085 markings/sec, 435 secs
lola: 79379336 markings, 272485491 edges, 185000 markings/sec, 440 secs
lola: 80003646 markings, 275237875 edges, 124862 markings/sec, 445 secs
lola: 80921939 markings, 277883015 edges, 183659 markings/sec, 450 secs
lola: 81558554 markings, 280652345 edges, 127323 markings/sec, 455 secs
lola: 82469404 markings, 283302630 edges, 182170 markings/sec, 460 secs
lola: 83107789 markings, 286031657 edges, 127677 markings/sec, 465 secs
lola: 83999597 markings, 288628716 edges, 178362 markings/sec, 470 secs
lola: 84638346 markings, 291352744 edges, 127750 markings/sec, 475 secs
lola: 85528936 markings, 293974625 edges, 178118 markings/sec, 480 secs
lola: 86167980 markings, 296675778 edges, 127809 markings/sec, 485 secs
lola: 87407403 markings, 299629096 edges, 247885 markings/sec, 490 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: 87407403 markings, 299629096 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (G (((Wsr2Started <= ContainerUp) OR (2 <= OsNotInstalled)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((Wsr2Started <= ContainerUp) OR (2 <= OsNotInstalled)))))
lola: processed formula length: 68
lola: 109 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: 1961916 markings, 5494948 edges, 392383 markings/sec, 0 secs
lola: 3893966 markings, 11158571 edges, 386410 markings/sec, 5 secs
lola: 5714370 markings, 16565568 edges, 364081 markings/sec, 10 secs
lola: 7653321 markings, 22161534 edges, 387790 markings/sec, 15 secs
lola: 9491234 markings, 27618008 edges, 367583 markings/sec, 20 secs
lola: 11342528 markings, 33125897 edges, 370259 markings/sec, 25 secs
lola: 13008726 markings, 38468608 edges, 333240 markings/sec, 30 secs
lola: 14503778 markings, 43518632 edges, 299010 markings/sec, 35 secs
lola: 15975864 markings, 48424505 edges, 294417 markings/sec, 40 secs
lola: 17426726 markings, 53215455 edges, 290172 markings/sec, 45 secs
lola: 18905230 markings, 57978322 edges, 295701 markings/sec, 50 secs
lola: 20376434 markings, 62652871 edges, 294241 markings/sec, 55 secs
lola: 21875196 markings, 67290590 edges, 299752 markings/sec, 60 secs
lola: 23261275 markings, 71932260 edges, 277216 markings/sec, 65 secs
lola: 24606661 markings, 76518568 edges, 269077 markings/sec, 70 secs
lola: 25956835 markings, 81155454 edges, 270035 markings/sec, 75 secs
lola: 27369130 markings, 85761897 edges, 282459 markings/sec, 80 secs
lola: 28791428 markings, 90326700 edges, 284460 markings/sec, 85 secs
lola: 30098808 markings, 94918808 edges, 261476 markings/sec, 90 secs
lola: 31532278 markings, 99402026 edges, 286694 markings/sec, 95 secs
lola: 32922486 markings, 103886089 edges, 278042 markings/sec, 100 secs
lola: 34190991 markings, 108396911 edges, 253701 markings/sec, 105 secs
lola: 35547422 markings, 112849879 edges, 271286 markings/sec, 110 secs
lola: 37004558 markings, 117361647 edges, 291427 markings/sec, 115 secs
lola: 38322238 markings, 121886042 edges, 263536 markings/sec, 120 secs
lola: 39701126 markings, 126402773 edges, 275778 markings/sec, 125 secs
lola: 41136182 markings, 131044664 edges, 287011 markings/sec, 130 secs
lola: 42523975 markings, 135711831 edges, 277559 markings/sec, 135 secs
lola: 43983226 markings, 140431861 edges, 291850 markings/sec, 140 secs
lola: 45651533 markings, 145446384 edges, 333661 markings/sec, 145 secs
lola: 47264112 markings, 150254832 edges, 322516 markings/sec, 150 secs
lola: 48439240 markings, 155171639 edges, 235026 markings/sec, 155 secs
lola: 50145684 markings, 159851151 edges, 341289 markings/sec, 160 secs
lola: 51216250 markings, 164486057 edges, 214113 markings/sec, 165 secs
lola: 52874910 markings, 169058996 edges, 331732 markings/sec, 170 secs
lola: 53918800 markings, 173586285 edges, 208778 markings/sec, 175 secs
lola: 55290472 markings, 178025370 edges, 274334 markings/sec, 180 secs
lola: 56525586 markings, 182362171 edges, 247023 markings/sec, 185 secs
lola: 57553100 markings, 186763583 edges, 205503 markings/sec, 190 secs
lola: 59091140 markings, 191053082 edges, 307608 markings/sec, 195 secs
lola: 60109396 markings, 195453232 edges, 203651 markings/sec, 200 secs
lola: 61639268 markings, 199760710 edges, 305974 markings/sec, 205 secs
lola: 62631800 markings, 204055745 edges, 198506 markings/sec, 210 secs
lola: 64140516 markings, 208354961 edges, 301743 markings/sec, 215 secs
lola: 65132170 markings, 212646149 edges, 198331 markings/sec, 220 secs
lola: 66603128 markings, 216867441 edges, 294192 markings/sec, 225 secs
lola: 67573526 markings, 221068829 edges, 194080 markings/sec, 230 secs
lola: 69021078 markings, 225272550 edges, 289510 markings/sec, 235 secs
lola: 69993800 markings, 229481475 edges, 194544 markings/sec, 240 secs
lola: 71413714 markings, 233647675 edges, 283983 markings/sec, 245 secs
lola: 72371538 markings, 237791553 edges, 191565 markings/sec, 250 secs
lola: 73783696 markings, 242005735 edges, 282432 markings/sec, 255 secs
lola: 74781018 markings, 246295922 edges, 199464 markings/sec, 260 secs
lola: 76145536 markings, 250408060 edges, 272904 markings/sec, 265 secs
lola: 77361065 markings, 254638474 edges, 243106 markings/sec, 270 secs
lola: 78488568 markings, 258801531 edges, 225501 markings/sec, 275 secs
lola: 79834316 markings, 262953651 edges, 269150 markings/sec, 280 secs
lola: 80796944 markings, 267090131 edges, 192526 markings/sec, 285 secs
lola: 82098276 markings, 271150379 edges, 260266 markings/sec, 290 secs
lola: 83401510 markings, 275258218 edges, 260647 markings/sec, 295 secs
lola: 84354486 markings, 279362644 edges, 190595 markings/sec, 300 secs
lola: 85621802 markings, 283398895 edges, 253463 markings/sec, 305 secs
lola: 86884887 markings, 287466737 edges, 252617 markings/sec, 310 secs
lola: 87976688 markings, 291536529 edges, 218360 markings/sec, 315 secs
lola: 89067738 markings, 295567622 edges, 218210 markings/sec, 320 secs
lola: 90284400 markings, 299564304 edges, 243332 markings/sec, 325 secs
lola: 91499243 markings, 303604980 edges, 242969 markings/sec, 330 secs
lola: 92697272 markings, 307632075 edges, 239606 markings/sec, 335 secs
lola: 93882321 markings, 311657734 edges, 237010 markings/sec, 340 secs
lola: 95074529 markings, 315769036 edges, 238442 markings/sec, 345 secs
lola: 96246750 markings, 319844464 edges, 234444 markings/sec, 350 secs
lola: 97406636 markings, 323915454 edges, 231977 markings/sec, 355 secs
lola: 98548018 markings, 327954733 edges, 228276 markings/sec, 360 secs
lola: 99678538 markings, 331995233 edges, 226104 markings/sec, 365 secs
lola: 100808122 markings, 336069382 edges, 225917 markings/sec, 370 secs
lola: 102088598 markings, 340136316 edges, 256095 markings/sec, 375 secs
lola: 103214087 markings, 344318161 edges, 225098 markings/sec, 380 secs
lola: 104468676 markings, 348506310 edges, 250918 markings/sec, 385 secs
lola: 105690744 markings, 352694256 edges, 244414 markings/sec, 390 secs
lola: 106878290 markings, 356861295 edges, 237509 markings/sec, 395 secs
lola: 108115208 markings, 361121657 edges, 247384 markings/sec, 400 secs
lola: 109361220 markings, 365381224 edges, 249202 markings/sec, 405 secs
lola: 110607334 markings, 369755578 edges, 249223 markings/sec, 410 secs
lola: 111943648 markings, 374327382 edges, 267263 markings/sec, 415 secs
lola: 113866811 markings, 378912688 edges, 384633 markings/sec, 420 secs
lola: 115291612 markings, 383527915 edges, 284960 markings/sec, 425 secs
lola: 116472608 markings, 388212165 edges, 236199 markings/sec, 430 secs
lola: 117561780 markings, 392928924 edges, 217834 markings/sec, 435 secs
lola: 119240822 markings, 397382092 edges, 335808 markings/sec, 440 secs
lola: 120092584 markings, 400017407 edges, 170352 markings/sec, 445 secs
lola: 120092626 markings, 400017615 edges, 8 markings/sec, 450 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown yes no no no yes no no yes no no no no no no yes
lola:
preliminary result: unknown yes no no no yes no no yes no no no no no no yes
lola: memory consumption: 21388 KB
lola: time consumption: 1773 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished

BK_STOP 1590075149234

--------------------
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="CloudOpsManagement-PT-00160by00080"
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 CloudOpsManagement-PT-00160by00080, 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-158902068300103"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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