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

About the Execution of ITS-LoLa for CloudOpsManagement-PT-01280by00640

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15789.900 3600000.00 3002757.00 297610.30 ???T?FFT?TT??TFT 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.r168-smll-158987806700435.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 itslola
Input is CloudOpsManagement-PT-01280by00640, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806700435
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 4.2K Mar 30 01:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 16:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:08 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.1K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 27 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Mar 26 08:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 26 08:12 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-01280by00640-CTLCardinality-00
FORMULA_NAME CloudOpsManagement-PT-01280by00640-CTLCardinality-01
FORMULA_NAME CloudOpsManagement-PT-01280by00640-CTLCardinality-02
FORMULA_NAME CloudOpsManagement-PT-01280by00640-CTLCardinality-03
FORMULA_NAME CloudOpsManagement-PT-01280by00640-CTLCardinality-04
FORMULA_NAME CloudOpsManagement-PT-01280by00640-CTLCardinality-05
FORMULA_NAME CloudOpsManagement-PT-01280by00640-CTLCardinality-06
FORMULA_NAME CloudOpsManagement-PT-01280by00640-CTLCardinality-07
FORMULA_NAME CloudOpsManagement-PT-01280by00640-CTLCardinality-08
FORMULA_NAME CloudOpsManagement-PT-01280by00640-CTLCardinality-09
FORMULA_NAME CloudOpsManagement-PT-01280by00640-CTLCardinality-10
FORMULA_NAME CloudOpsManagement-PT-01280by00640-CTLCardinality-11
FORMULA_NAME CloudOpsManagement-PT-01280by00640-CTLCardinality-12
FORMULA_NAME CloudOpsManagement-PT-01280by00640-CTLCardinality-13
FORMULA_NAME CloudOpsManagement-PT-01280by00640-CTLCardinality-14
FORMULA_NAME CloudOpsManagement-PT-01280by00640-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591358829929

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 12:07:12] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 12:07:12] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 12:07:12] [INFO ] Load time of PNML (sax parser for PT used): 55 ms
[2020-06-05 12:07:12] [INFO ] Transformed 27 places.
[2020-06-05 12:07:12] [INFO ] Transformed 29 transitions.
[2020-06-05 12:07:12] [INFO ] Parsed PT model containing 27 places and 29 transitions in 135 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 30 ms.
Incomplete random walk after 100615 steps, including 0 resets, run finished after 125 ms. (steps per millisecond=804 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1]
// Phase 1: matrix 29 rows 27 cols
[2020-06-05 12:07:12] [INFO ] Computed 11 place invariants in 7 ms
[2020-06-05 12:07:12] [INFO ] [Real]Absence check using 11 positive place invariants in 20 ms returned unsat
[2020-06-05 12:07:12] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned unsat
[2020-06-05 12:07:13] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned unsat
[2020-06-05 12:07:13] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-06-05 12:07:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 12:07:13] [INFO ] [Real]Absence check using state equation in 22 ms returned sat
[2020-06-05 12:07:13] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 12:07:13] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned unsat
Successfully simplified 4 atomic propositions for a total of 4 simplifications.
[2020-06-05 12:07:13] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2020-06-05 12:07:13] [INFO ] Flatten gal took : 51 ms
[2020-06-05 12:07:13] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-05 12:07:13] [INFO ] Flatten gal took : 11 ms
FORMULA CloudOpsManagement-PT-01280by00640-CTLCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CloudOpsManagement-PT-01280by00640-CTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CloudOpsManagement-PT-01280by00640-CTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 12:07:13] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2020-06-05 12:07:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ CloudOpsManagement-PT-01280by00640 @ 3570 seconds

FORMULA CloudOpsManagement-PT-01280by00640-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-CTLCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-CTLCardinality-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-CTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-CTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-CTLCardinality-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-CTLCardinality-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-CTLCardinality-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-CTLCardinality-01 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-CTLCardinality-02 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-01280by00640-CTLCardinality-04 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for CTLCardinality @ CloudOpsManagement-PT-01280by00640

{
"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": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Jun 5 12:07:14 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 282
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"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": "E (F (((2 <= p4) AND (p26 <= 2))))",
"processed_size": 34,
"rewrites": 5
},
"result":
{
"edges": 1278,
"markings": 1279,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 310
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"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": 5,
"visible_transitions": 0
},
"processed": "A (G (((1 <= p0) AND ((p12 <= p17) OR (p5 + 1 <= p25)))))",
"processed_size": 58,
"rewrites": 6
},
"result":
{
"edges": 640,
"markings": 641,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 3,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 375
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 2,
"F": 3,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "EF((AF((p3 <= p8)) AND EF((2 <= p20))))",
"processed_size": 39,
"rewrites": 7
},
"net":
{
"conflict_clusters": 11,
"singleton_clusters": 0
},
"result":
{
"edges": 679,
"markings": 665,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 514
},
"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 ((p4 <= p25)))",
"processed_size": 19,
"rewrites": 6
},
"result":
{
"edges": 1281,
"markings": 1282,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 10,
"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": 771
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 0,
"U": 1,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"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": 4,
"visible_transitions": 0
},
"processed": "E ((((3 <= p3) AND (p12 <= p18)) U ((3 <= p3) AND (2 <= p22))))",
"processed_size": 63,
"rewrites": 7
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space /EU",
"value": false
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "eu preserving",
"visible": 7
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "existential_until",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 10,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 771
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"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": "E (G ((p1 <= p9)))",
"processed_size": 18,
"rewrites": 5
},
"result":
{
"edges": 645,
"markings": 645,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 6
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "possible_preservation",
"workflow": "stateequation"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1542
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "E (F (((1 <= p24) AND (3 <= p8) AND (p10 <= p21) AND (p13 <= p2))))",
"processed_size": 67,
"rewrites": 5
},
"result":
{
"edges": 645,
"markings": 646,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 4,
"problems": 4
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 11,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1542
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"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": "E (F ((p10 <= p24)))",
"processed_size": 20,
"rewrites": 5
},
"result":
{
"edges": 640,
"markings": 641,
"produced_by": "state space",
"value": true
},
"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": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 12240108,
"runtime": 3571.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "E(X((E(G(**)) AND E(F(**))))) : E(G(E((** U **)))) : E((** U A(G(**)))) : E(F(A((** U **)))) : A(G(**)) : E(F((A(F(**)) AND E(F(**))))) : E(F((** AND A(G(**))))) : (E(F(**)) OR (E(F(**)) OR A(G(**)))) : E(F(**)) : E(F(A(X(**)))) : E((** U **)) : (A(G(**)) OR E((** U **))) : (E(F(**)) AND E(G(**)))"
},
"net":
{
"arcs": 94,
"conflict_clusters": 11,
"places": 27,
"places_significant": 16,
"singleton_clusters": 0,
"transitions": 29
},
"result":
{
"interim_value": "unknown unknown unknown unknown no yes unknown yes yes unknown unknown no yes ",
"preliminary_value": "unknown unknown unknown unknown no yes unknown yes yes unknown unknown 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 CTLCardinality.xml
lola: E (X ((E (G ((1 <= p4))) AND E (F ((p6 <= p13)))))) : E (G (E (((p20 <= p1) U (p26 <= p5))))) : E (((p20 <= p14) U A (G ((p26 <= p1))))) : E (F (A (((p13 <= p3) U (p26 <= p22))))) : A (G (((1 <= p0) AND ((p12 <= p17) OR (p5 + 1 <= p25))))) : E (F ((A (F ((p3 <= p8))) AND E (F ((2 <= p20)))))) : E (F ((((p8 <= p13) AND (p10 <= 0)) AND A (G ((p25 <= p12)))))) : ((E (F ((p26 <= p6))) OR E (F ((p10 <= p24)))) OR A (G (((p7 <= p17) AND (2 <= p3) AND (p14 <= p5) AND (p23 <= p1))))) : E (F (((2 <= p4) AND (p26 <= 2)))) : E (((0 <= 0) U A (X ((3 <= p3))))) : E (((p11 <= p6) U (p25 <= p20))) : (A (G ((p4 <= p25))) OR E ((((3 <= p3) AND (p12 <= p18)) U ((3 <= p3) AND (2 <= p22))))) : (E (F (((1 <= p24) AND (3 <= p8) AND (p10 <= p21) AND (p13 <= p2)))) AND E (G (E (G ((p1 <= p9))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:461
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((E (G ((1 <= p4))) AND E (F ((p6 <= p13))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX((EG((1 <= p4)) AND EF((p6 <= p13))))
lola: processed formula length: 39
lola: 7 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3190812 markings, 4815176 edges, 638162 markings/sec, 0 secs
lola: 6557699 markings, 9883082 edges, 673377 markings/sec, 5 secs
lola: 9828629 markings, 14803700 edges, 654186 markings/sec, 10 secs
lola: 13172348 markings, 19832383 edges, 668744 markings/sec, 15 secs
lola: 16480567 markings, 24806504 edges, 661644 markings/sec, 20 secs
lola: 19766773 markings, 29746844 edges, 657241 markings/sec, 25 secs
lola: 22997146 markings, 34602558 edges, 646075 markings/sec, 30 secs
lola: 26192732 markings, 39405403 edges, 639117 markings/sec, 35 secs
lola: 29345670 markings, 44143934 edges, 630588 markings/sec, 40 secs
lola: 32536958 markings, 48939932 edges, 638258 markings/sec, 45 secs
lola: 35632735 markings, 53591844 edges, 619155 markings/sec, 50 secs
lola: 38806226 markings, 58360485 edges, 634698 markings/sec, 55 secs
lola: 41960432 markings, 63099710 edges, 630841 markings/sec, 60 secs
lola: 45054897 markings, 67749196 edges, 618893 markings/sec, 65 secs
lola: 48109684 markings, 72338876 edges, 610957 markings/sec, 70 secs
lola: 51230344 markings, 77027164 edges, 624132 markings/sec, 75 secs
lola: 54290335 markings, 81624393 edges, 611998 markings/sec, 80 secs
lola: 57275502 markings, 86108872 edges, 597033 markings/sec, 85 secs
lola: 60124187 markings, 90388424 edges, 569737 markings/sec, 90 secs
lola: 63200455 markings, 95009533 edges, 615254 markings/sec, 95 secs
lola: 66215291 markings, 99538277 edges, 602967 markings/sec, 100 secs
lola: 69210213 markings, 104037089 edges, 598984 markings/sec, 105 secs
lola: 72067285 markings, 108328938 edges, 571414 markings/sec, 110 secs
lola: 75048901 markings, 112807393 edges, 596323 markings/sec, 115 secs
lola: 77934033 markings, 117141034 edges, 577026 markings/sec, 120 secs
lola: 80911032 markings, 121612538 edges, 595400 markings/sec, 125 secs
lola: 83432031 markings, 125399641 edges, 504200 markings/sec, 130 secs
lola: 85113284 markings, 127924545 edges, 336251 markings/sec, 135 secs
lola: 87515220 markings, 131532767 edges, 480387 markings/sec, 140 secs
lola: 89816744 markings, 134988950 edges, 460305 markings/sec, 145 secs
lola: 89816744 markings, 134988950 edges, 0 markings/sec, 150 secs
lola: 92229455 markings, 138613231 edges, 482542 markings/sec, 155 secs
lola: 92759330 markings, 139408645 edges, 105975 markings/sec, 160 secs
lola: 93832838 markings, 141020895 edges, 214702 markings/sec, 165 secs
lola: 95862179 markings, 144068694 edges, 405868 markings/sec, 170 secs
lola: 96582698 markings, 145150961 edges, 144104 markings/sec, 175 secs
lola: 98767609 markings, 148432540 edges, 436982 markings/sec, 180 secs
lola: 98938533 markings, 148689221 edges, 34185 markings/sec, 185 secs
lola: 100938439 markings, 151692775 edges, 399981 markings/sec, 190 secs
lola: 101692834 markings, 152825860 edges, 150879 markings/sec, 195 secs
lola: 103403978 markings, 155395677 edges, 342229 markings/sec, 200 secs
lola: 103653422 markings, 155770442 edges, 49889 markings/sec, 205 secs
lola: 103672549 markings, 155799048 edges, 3825 markings/sec, 210 secs
lola: 103677824 markings, 155806918 edges, 1055 markings/sec, 215 secs
lola: 103680978 markings, 155811637 edges, 631 markings/sec, 220 secs
lola: 103684223 markings, 155816500 edges, 649 markings/sec, 225 secs
lola: 103684280 markings, 155816614 edges, 11 markings/sec, 230 secs
lola: lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X ((3 <= p3)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX((3 <= p3)))
lola: processed formula length: 17
lola: 6 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3032089 markings, 4575522 edges, 606418 markings/sec, 0 secs
lola: 5819331 markings, 8771275 edges, 557448 markings/sec, 5 secs
lola: 8608223 markings, 12967438 edges, 557778 markings/sec, 10 secs
lola: 11469127 markings, 17270314 edges, 572181 markings/sec, 15 secs
lola: 14289259 markings, 21511108 edges, 564026 markings/sec, 20 secs
lola: 17162829 markings, 25831603 edges, 574714 markings/sec, 25 secs
lola: 20001233 markings, 30098472 edges, 567681 markings/sec, 30 secs
lola: 22840458 markings, 34366226 edges, 567845 markings/sec, 35 secs
lola: 25654417 markings, 38595740 edges, 562792 markings/sec, 40 secs
lola: 28436360 markings, 42776797 edges, 556389 markings/sec, 45 secs
lola: 31250844 markings, 47006602 edges, 562897 markings/sec, 50 secs
lola: 34021418 markings, 51169787 edges, 554115 markings/sec, 55 secs
lola: 36772796 markings, 55304434 edges, 550276 markings/sec, 60 secs
lola: 39583823 markings, 59528036 edges, 562205 markings/sec, 65 secs
lola: 42367713 markings, 63710921 edges, 556778 markings/sec, 70 secs
lola: 45107537 markings, 67827643 edges, 547965 markings/sec, 75 secs
lola: 47815813 markings, 71896750 edges, 541655 markings/sec, 80 secs
lola: 50570984 markings, 76035957 edges, 551034 markings/sec, 85 secs
lola: 53307196 markings, 80146734 edges, 547242 markings/sec, 90 secs
lola: 56002477 markings, 84195792 edges, 539056 markings/sec, 95 secs
lola: 58661425 markings, 88190254 edges, 531790 markings/sec, 100 secs
lola: 61403697 markings, 92309948 edges, 548454 markings/sec, 105 secs
lola: 63883899 markings, 96036024 edges, 496040 markings/sec, 110 secs
lola: 64127280 markings, 96401178 edges, 48676 markings/sec, 115 secs
lola: 65177936 markings, 97980017 edges, 210131 markings/sec, 120 secs
lola: 66854361 markings, 100499198 edges, 335285 markings/sec, 125 secs
lola: 69011246 markings, 103740589 edges, 431377 markings/sec, 130 secs
lola: 71196430 markings, 107020267 edges, 437037 markings/sec, 135 secs
lola: 71281613 markings, 107148122 edges, 17037 markings/sec, 140 secs
lola: 72342878 markings, 108742077 edges, 212253 markings/sec, 145 secs
lola: 73704239 markings, 110786924 edges, 272272 markings/sec, 150 secs
lola: 75975416 markings, 114198584 edges, 454235 markings/sec, 155 secs
lola: 76043765 markings, 114301014 edges, 13670 markings/sec, 160 secs
lola: 76253095 markings, 114615708 edges, 41866 markings/sec, 165 secs
lola: 77496743 markings, 116483862 edges, 248730 markings/sec, 170 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= p4) AND (p26 <= 2))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((2 <= p4) AND (p26 <= 2))))
lola: processed formula length: 34
lola: 5 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((2 <= p4) AND (p26 <= 2))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 1279 markings, 1278 edges
lola: state equation: write sara problem file to CTLCardinality-2-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 3 will run for 310 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p0) AND ((p12 <= p17) OR (p5 + 1 <= p25)))))
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 (((1 <= p0) AND ((p12 <= p17) OR (p5 + 1 <= p25)))))
lola: processed formula length: 58
lola: 6 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p0 <= 0) OR ((p17 + 1 <= p12) AND (p25 <= p5)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-3-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 641 markings, 640 edges
lola: ========================================
lola: subprocess 4 will run for 345 seconds at most (--localtimelimit=0)
lola: ========================================
sara: try reading problem file CTLCardinality-2-0.sara.
sara: place or transition ordering is non-deterministic
lola: ...considering subproblem: E (G (E (((p20 <= p1) U (p26 <= p5)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(E((p20 <= p1) U (p26 <= p5)))
lola: processed formula length: 32
lola: 6 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).

lola: 3933821 markings, 4932937 edges, 786764 markings/sec, 0 secs
lola: 8183423 markings, 10254754 edges, 849920 markings/sec, 5 secs
lola: 12206953 markings, 15291908 edges, 804706 markings/sec, 10 secs
lola: 16017330 markings, 20061507 edges, 762075 markings/sec, 15 secs
lola: 19905775 markings, 24928197 edges, 777689 markings/sec, 20 secs
lola: 23959325 markings, 30001174 edges, 810710 markings/sec, 25 secs
lola: 27882083 markings, 34910109 edges, 784552 markings/sec, 30 secs
lola: 31690756 markings, 39676097 edges, 761735 markings/sec, 35 secs
lola: 35721959 markings, 44720235 edges, 806241 markings/sec, 40 secs
lola: 39677039 markings, 49669058 edges, 791016 markings/sec, 45 secs
lola: 43277493 markings, 54173964 edges, 720091 markings/sec, 50 secs
lola: 47265938 markings, 59164132 edges, 797689 markings/sec, 55 secs
lola: 50987645 markings, 63820490 edges, 744341 markings/sec, 60 secs
lola: 54768019 markings, 68550039 edges, 756075 markings/sec, 65 secs
lola: 58101565 markings, 72720650 edges, 666709 markings/sec, 70 secs
lola: 61698971 markings, 77221171 edges, 719481 markings/sec, 75 secs
lola: 65263138 markings, 81680186 edges, 712833 markings/sec, 80 secs
lola: 69025828 markings, 86387420 edges, 752538 markings/sec, 85 secs
lola: 72726736 markings, 91017155 edges, 740182 markings/sec, 90 secs
lola: 76583971 markings, 95842610 edges, 771447 markings/sec, 95 secs
lola: 80225843 markings, 100398456 edges, 728374 markings/sec, 100 secs
lola: 84060493 markings, 105195409 edges, 766930 markings/sec, 105 secs
lola: 87898121 markings, 109996081 edges, 767526 markings/sec, 110 secs
lola: 91727199 markings, 114786061 edges, 765816 markings/sec, 115 secs
lola: 95505369 markings, 119511903 edges, 755634 markings/sec, 120 secs
lola: 99444017 markings, 124438906 edges, 787730 markings/sec, 125 secs
lola: 103281196 markings, 129238742 edges, 767436 markings/sec, 130 secs
lola: 107085868 markings, 133998098 edges, 760934 markings/sec, 135 secs
lola: 110914257 markings, 138786794 edges, 765678 markings/sec, 140 secs
lola: 114670623 markings, 143485540 edges, 751273 markings/sec, 145 secs
lola: 118368435 markings, 148110888 edges, 739562 markings/sec, 150 secs
lola: 122291070 markings, 153017429 edges, 784527 markings/sec, 155 secs
lola: 125947257 markings, 157591124 edges, 731237 markings/sec, 160 secs
lola: 127775871 markings, 159879166 edges, 365723 markings/sec, 165 secs
lola: 129365798 markings, 161866740 edges, 317985 markings/sec, 170 secs
lola: 131367358 markings, 164370336 edges, 400312 markings/sec, 175 secs
lola: 133202209 markings, 166665502 edges, 366970 markings/sec, 180 secs
lola: 134947771 markings, 168848846 edges, 349112 markings/sec, 185 secs
lola: 136338349 markings, 170588101 edges, 278116 markings/sec, 190 secs
lola: 138390938 markings, 173155551 edges, 410518 markings/sec, 195 secs
lola: 140305455 markings, 175550217 edges, 382903 markings/sec, 200 secs
lola: 142182782 markings, 177898157 edges, 375465 markings/sec, 205 secs
lola: 144500658 markings, 180797550 edges, 463575 markings/sec, 210 secs
lola: 146670474 markings, 183511356 edges, 433963 markings/sec, 215 secs
lola: 148103056 markings, 185303316 edges, 286516 markings/sec, 220 secs
lola: 150309206 markings, 188062809 edges, 441230 markings/sec, 225 secs
lola: 151743103 markings, 189856311 edges, 286779 markings/sec, 230 secs
lola: 153549676 markings, 192115810 edges, 361315 markings/sec, 235 secs
lola: 155020779 markings, 193955931 edges, 294221 markings/sec, 240 secs
lola: 156217759 markings, 195453035 edges, 239396 markings/sec, 245 secs
lola: 156321641 markings, 195582964 edges, 20776 markings/sec, 250 secs
lola: 156321727 markings, 195583051 edges, 17 markings/sec, 255 secs
lola: 156327253 markings, 195590049 edges, 1105 markings/sec, 260 secs
lola: 156327289 markings, 195590086 edges, 7 markings/sec, 265 secs
lola: 156329128 markings, 195592387 edges, 368 markings/sec, 270 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((p20 <= p14) U A (G ((p26 <= p1)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((p20 <= p14) U AG((p26 <= p1)))
lola: processed formula length: 33
lola: 6 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2388598 markings, 6236662 edges, 477720 markings/sec, 0 secs
lola: 4665658 markings, 12311666 edges, 455412 markings/sec, 5 secs
lola: 6986277 markings, 18503082 edges, 464124 markings/sec, 10 secs
lola: 9224319 markings, 24473431 edges, 447608 markings/sec, 15 secs
lola: 11483649 markings, 30500844 edges, 451866 markings/sec, 20 secs
lola: 13675517 markings, 36348857 edges, 438374 markings/sec, 25 secs
lola: 15876809 markings, 42221476 edges, 440258 markings/sec, 30 secs
lola: 18045105 markings, 48006327 edges, 433659 markings/sec, 35 secs
lola: 20231469 markings, 53839379 edges, 437273 markings/sec, 40 secs
lola: 22408567 markings, 59647286 edges, 435420 markings/sec, 45 secs
lola: 24563646 markings, 65397040 edges, 431016 markings/sec, 50 secs
lola: 26718493 markings, 71145872 edges, 430969 markings/sec, 55 secs
lola: 28849039 markings, 76829756 edges, 426109 markings/sec, 60 secs
lola: 30949882 markings, 82434552 edges, 420169 markings/sec, 65 secs
lola: 33080777 markings, 88119807 edges, 426179 markings/sec, 70 secs
lola: 35314160 markings, 94077906 edges, 446677 markings/sec, 75 secs
lola: 37502932 markings, 99917240 edges, 437754 markings/sec, 80 secs
lola: 39678559 markings, 105721753 edges, 435125 markings/sec, 85 secs
lola: 41833485 markings, 111470905 edges, 430985 markings/sec, 90 secs
lola: 43990345 markings, 117224971 edges, 431372 markings/sec, 95 secs
lola: 46098666 markings, 122849961 edges, 421664 markings/sec, 100 secs
lola: 48201865 markings, 128460878 edges, 420640 markings/sec, 105 secs
lola: 50252400 markings, 133931095 edges, 410107 markings/sec, 110 secs
lola: 52431466 markings, 139745113 edges, 435813 markings/sec, 115 secs
lola: 54559029 markings, 145421388 edges, 425513 markings/sec, 120 secs
lola: 56636930 markings, 150964990 edges, 415580 markings/sec, 125 secs
lola: 58714678 markings, 156507940 edges, 415550 markings/sec, 130 secs
lola: 60737529 markings, 161904476 edges, 404570 markings/sec, 135 secs
lola: 62830822 markings, 167489105 edges, 418659 markings/sec, 140 secs
lola: 64869297 markings, 172927681 edges, 407695 markings/sec, 145 secs
lola: 66895717 markings, 178334223 edges, 405284 markings/sec, 150 secs
lola: 68886127 markings, 183644108 edges, 398082 markings/sec, 155 secs
lola: 70888001 markings, 188984534 edges, 400375 markings/sec, 160 secs
lola: 72959922 markings, 194512391 edges, 414384 markings/sec, 165 secs
lola: 75053513 markings, 200098232 edges, 418718 markings/sec, 170 secs
lola: 77142103 markings, 205669688 edges, 417718 markings/sec, 175 secs
lola: 79208488 markings, 211182506 edges, 413277 markings/sec, 180 secs
lola: 81185562 markings, 216457245 edges, 395415 markings/sec, 185 secs
lola: 83096660 markings, 221556020 edges, 382220 markings/sec, 190 secs
lola: 85093982 markings, 226884707 edges, 399464 markings/sec, 195 secs
lola: 87107272 markings, 232255641 edges, 402658 markings/sec, 200 secs
lola: 89082696 markings, 237525597 edges, 395085 markings/sec, 205 secs
lola: 91071404 markings, 242831564 edges, 397742 markings/sec, 210 secs
lola: 93027062 markings, 248048938 edges, 391132 markings/sec, 215 secs
lola: 93816256 markings, 250154869 edges, 157839 markings/sec, 220 secs
lola: 95613554 markings, 254950450 edges, 359460 markings/sec, 225 secs
lola: 97297979 markings, 259443107 edges, 336885 markings/sec, 230 secs
lola: 97713394 markings, 260551394 edges, 83083 markings/sec, 235 secs
lola: 99427619 markings, 265125016 edges, 342845 markings/sec, 240 secs
lola: 99968334 markings, 266567379 edges, 108143 markings/sec, 245 secs
lola: 100907846 markings, 269073999 edges, 187902 markings/sec, 250 secs
lola: 101947215 markings, 271847340 edges, 207874 markings/sec, 255 secs
lola: 102594665 markings, 273574441 edges, 129490 markings/sec, 260 secs
lola: 103767340 markings, 276703183 edges, 234535 markings/sec, 265 secs
lola: 104331434 markings, 278207738 edges, 112819 markings/sec, 270 secs
lola: 106081847 markings, 282877508 edges, 350083 markings/sec, 275 secs
lola: 106081847 markings, 282877508 edges, 0 markings/sec, 280 secs
lola: 106794842 markings, 284779553 edges, 142599 markings/sec, 285 secs
lola: 108041906 markings, 288106625 edges, 249413 markings/sec, 290 secs
lola: 108838566 markings, 290232212 edges, 159332 markings/sec, 295 secs
lola: 110315508 markings, 294172407 edges, 295388 markings/sec, 300 secs
lola: 110929113 markings, 295809569 edges, 122721 markings/sec, 305 secs
lola: 112223251 markings, 299261995 edges, 258828 markings/sec, 310 secs
lola: 113114166 markings, 301639406 edges, 178183 markings/sec, 315 secs
lola: 114250413 markings, 304670644 edges, 227249 markings/sec, 320 secs
lola: 115474118 markings, 307935286 edges, 244741 markings/sec, 325 secs
lola: 116027176 markings, 309410944 edges, 110612 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no unknown unknown unknown yes unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (((p13 <= p3) U (p26 <= p22)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(A((p13 <= p3) U (p26 <= p22)))
lola: processed formula length: 33
lola: 6 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1928058 markings, 5818069 edges, 385612 markings/sec, 0 secs
lola: 3743370 markings, 11277973 edges, 363062 markings/sec, 5 secs
lola: 5472774 markings, 16480446 edges, 345881 markings/sec, 10 secs
lola: 7299046 markings, 21959972 edges, 365254 markings/sec, 15 secs
lola: 9118942 markings, 27435813 edges, 363979 markings/sec, 20 secs
lola: 10900233 markings, 32793553 edges, 356258 markings/sec, 25 secs
lola: 12764737 markings, 38417760 edges, 372901 markings/sec, 30 secs
lola: 14607459 markings, 43933984 edges, 368544 markings/sec, 35 secs
lola: 16273033 markings, 48929040 edges, 333115 markings/sec, 40 secs
lola: 18077611 markings, 54382711 edges, 360916 markings/sec, 45 secs
lola: 19833448 markings, 59634006 edges, 351167 markings/sec, 50 secs
lola: 21601441 markings, 64951389 edges, 353599 markings/sec, 55 secs
lola: 23414250 markings, 70426783 edges, 362562 markings/sec, 60 secs
lola: 25179282 markings, 75733393 edges, 353006 markings/sec, 65 secs
lola: 26957743 markings, 81046478 edges, 355692 markings/sec, 70 secs
lola: 28702014 markings, 86317010 edges, 348854 markings/sec, 75 secs
lola: 30490131 markings, 91679543 edges, 357623 markings/sec, 80 secs
lola: 32240248 markings, 96928717 edges, 350023 markings/sec, 85 secs
lola: 33974003 markings, 102128558 edges, 346751 markings/sec, 90 secs
lola: 35680232 markings, 107239155 edges, 341246 markings/sec, 95 secs
lola: 37409026 markings, 112433179 edges, 345759 markings/sec, 100 secs
lola: 39220167 markings, 117860932 edges, 362228 markings/sec, 105 secs
lola: 40980975 markings, 123190775 edges, 352162 markings/sec, 110 secs
lola: 42715171 markings, 128367831 edges, 346839 markings/sec, 115 secs
lola: 44445127 markings, 133618212 edges, 345991 markings/sec, 120 secs
lola: 46147258 markings, 138721418 edges, 340426 markings/sec, 125 secs
lola: 47804492 markings, 143705063 edges, 331447 markings/sec, 130 secs
lola: 49552972 markings, 148958286 edges, 349696 markings/sec, 135 secs
lola: 51279656 markings, 154114416 edges, 345337 markings/sec, 140 secs
lola: 52985921 markings, 159198059 edges, 341253 markings/sec, 145 secs
lola: 54668213 markings, 164323635 edges, 336458 markings/sec, 150 secs
lola: 56329303 markings, 169265722 edges, 332218 markings/sec, 155 secs
lola: 57995518 markings, 174248135 edges, 333243 markings/sec, 160 secs
lola: 59627959 markings, 179174204 edges, 326488 markings/sec, 165 secs
lola: 61343830 markings, 184377499 edges, 343174 markings/sec, 170 secs
lola: 63055613 markings, 189504832 edges, 342357 markings/sec, 175 secs
lola: 64747336 markings, 194577914 edges, 338345 markings/sec, 180 secs
lola: 66394635 markings, 199554369 edges, 329460 markings/sec, 185 secs
lola: 68080808 markings, 204604247 edges, 337235 markings/sec, 190 secs
lola: 69744392 markings, 209551765 edges, 332717 markings/sec, 195 secs
lola: 71414261 markings, 214541591 edges, 333974 markings/sec, 200 secs
lola: 73026925 markings, 219473014 edges, 322533 markings/sec, 205 secs
lola: 74716860 markings, 224470543 edges, 337987 markings/sec, 210 secs
lola: 76393433 markings, 229542321 edges, 335315 markings/sec, 215 secs
lola: 78053490 markings, 234506955 edges, 332011 markings/sec, 220 secs
lola: 79687549 markings, 239463425 edges, 326812 markings/sec, 225 secs
lola: 81320124 markings, 244282202 edges, 326515 markings/sec, 230 secs
lola: 82983552 markings, 249334675 edges, 332686 markings/sec, 235 secs
lola: 84601847 markings, 254241776 edges, 323659 markings/sec, 240 secs
lola: 86252619 markings, 259135847 edges, 330154 markings/sec, 245 secs
lola: 87899156 markings, 264029161 edges, 329307 markings/sec, 250 secs
lola: 89490391 markings, 268803224 edges, 318247 markings/sec, 255 secs
lola: 90657730 markings, 272365124 edges, 233468 markings/sec, 260 secs
lola: 91602609 markings, 275143312 edges, 188976 markings/sec, 265 secs
lola: 92361586 markings, 277534140 edges, 151795 markings/sec, 270 secs
lola: 93427534 markings, 280731567 edges, 213190 markings/sec, 275 secs
lola: 94421581 markings, 283672556 edges, 198809 markings/sec, 280 secs
lola: 95345825 markings, 286391615 edges, 184849 markings/sec, 285 secs
lola: 96409421 markings, 289602329 edges, 212719 markings/sec, 290 secs
lola: 97476667 markings, 292826397 edges, 213449 markings/sec, 295 secs
lola: 98660364 markings, 296345899 edges, 236739 markings/sec, 300 secs
lola: 99805300 markings, 299772831 edges, 228987 markings/sec, 305 secs
lola: 100843850 markings, 302937885 edges, 207710 markings/sec, 310 secs
lola: 101871618 markings, 306080018 edges, 205554 markings/sec, 315 secs
lola: 102903918 markings, 309189700 edges, 206460 markings/sec, 320 secs
lola: 104218626 markings, 313106397 edges, 262942 markings/sec, 325 secs
lola: 104218626 markings, 313106397 edges, 0 markings/sec, 330 secs
lola: 105583256 markings, 317123981 edges, 272926 markings/sec, 335 secs
lola: 105753132 markings, 317719622 edges, 33975 markings/sec, 340 secs
lola: 106086091 markings, 318655459 edges, 66592 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no unknown unknown unknown yes unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p8 <= p13) AND (p10 <= 0)) AND A (G ((p25 <= p12))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((((p8 <= p13) AND (p10 <= 0)) AND AG((p25 <= p12))))
lola: processed formula length: 55
lola: 6 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3501825 markings, 5282830 edges, 700365 markings/sec, 0 secs
lola: 6852299 markings, 10325743 edges, 670095 markings/sec, 5 secs
lola: 10056294 markings, 15145501 edges, 640799 markings/sec, 10 secs
lola: 13392720 markings, 20163037 edges, 667285 markings/sec, 15 secs
lola: 16485154 markings, 24812729 edges, 618487 markings/sec, 20 secs
lola: 19731778 markings, 29693479 edges, 649325 markings/sec, 25 secs
lola: 23368726 markings, 35160388 edges, 727390 markings/sec, 30 secs
lola: 26558039 markings, 39954030 edges, 637863 markings/sec, 35 secs
lola: 29718622 markings, 44703847 edges, 632117 markings/sec, 40 secs
lola: 32872993 markings, 49444109 edges, 630874 markings/sec, 45 secs
lola: 35979564 markings, 54112393 edges, 621314 markings/sec, 50 secs
lola: 39165521 markings, 58899642 edges, 637191 markings/sec, 55 secs
lola: 42313846 markings, 63630113 edges, 629665 markings/sec, 60 secs
lola: 45404693 markings, 68274197 edges, 618169 markings/sec, 65 secs
lola: 48457685 markings, 72861044 edges, 610598 markings/sec, 70 secs
lola: 51537696 markings, 77488161 edges, 616002 markings/sec, 75 secs
lola: 54570259 markings, 82044190 edges, 606513 markings/sec, 80 secs
lola: 57537754 markings, 86502141 edges, 593499 markings/sec, 85 secs
lola: 60510129 markings, 90967653 edges, 594475 markings/sec, 90 secs
lola: 63576404 markings, 95573681 edges, 613255 markings/sec, 95 secs
lola: 66560103 markings, 100055760 edges, 596740 markings/sec, 100 secs
lola: 69566237 markings, 104571236 edges, 601227 markings/sec, 105 secs
lola: 72541665 markings, 109040825 edges, 595086 markings/sec, 110 secs
lola: 75549123 markings, 113558092 edges, 601492 markings/sec, 115 secs
lola: 78572827 markings, 118100045 edges, 604741 markings/sec, 120 secs
lola: 81548671 markings, 122569921 edges, 595169 markings/sec, 125 secs
lola: 84551281 markings, 127079813 edges, 600522 markings/sec, 130 secs
lola: 87520075 markings, 131538800 edges, 593759 markings/sec, 135 secs
lola: 89481225 markings, 134485313 edges, 392230 markings/sec, 140 secs
lola: 91155145 markings, 137000358 edges, 334784 markings/sec, 145 secs
lola: 92605327 markings, 139176703 edges, 290036 markings/sec, 150 secs
lola: 94094465 markings, 141413212 edges, 297828 markings/sec, 155 secs
lola: 95435404 markings, 143427076 edges, 268188 markings/sec, 160 secs
lola: 96990960 markings, 145763316 edges, 311111 markings/sec, 165 secs
lola: 98553858 markings, 148110824 edges, 312580 markings/sec, 170 secs
lola: 99774618 markings, 149944258 edges, 244152 markings/sec, 175 secs
lola: 101053695 markings, 151865379 edges, 255815 markings/sec, 180 secs
lola: 102624650 markings, 154224596 edges, 314191 markings/sec, 185 secs
lola: 104051129 markings, 156367106 edges, 285296 markings/sec, 190 secs
lola: 105715149 markings, 158866081 edges, 332804 markings/sec, 195 secs
lola: 106758786 markings, 160433480 edges, 208727 markings/sec, 200 secs
lola: 109237165 markings, 164155721 edges, 495676 markings/sec, 205 secs
lola: 109648025 markings, 164772572 edges, 82172 markings/sec, 210 secs
lola: 110168370 markings, 165554042 edges, 104069 markings/sec, 215 secs
lola: 110314115 markings, 165772782 edges, 29149 markings/sec, 220 secs
lola: 110315234 markings, 165774473 edges, 224 markings/sec, 225 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 375 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (F ((p3 <= p8))) AND E (F ((2 <= p20))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((AF((p3 <= p8)) AND EF((2 <= p20))))
lola: processed formula length: 39
lola: 7 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 665 markings, 679 edges
lola: ========================================
lola: subprocess 9 will run for 469 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((p11 <= p6) U (p25 <= p20)))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:618
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:738
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: E (((p11 <= p6) U (p25 <= p20)))
lola: processed formula length: 32
lola: 7 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p25 <= p20)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-9-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: sara is running 0 secs || 3224223 markings, 4864819 edges, 644845 markings/sec, 0 secs
lola: sara is running 5 secs || 6435493 markings, 9698547 edges, 642254 markings/sec, 5 secs
lola: sara is running 10 secs || 9616498 markings, 14484025 edges, 636201 markings/sec, 10 secs
lola: sara is running 15 secs || 12791607 markings, 19259214 edges, 635022 markings/sec, 15 secs
lola: sara is running 20 secs || 15962617 markings, 24027043 edges, 634202 markings/sec, 20 secs
lola: sara is running 25 secs || 19119338 markings, 28772709 edges, 631344 markings/sec, 25 secs
lola: sara is running 30 secs || 22182296 markings, 33377065 edges, 612592 markings/sec, 30 secs
lola: sara is running 35 secs || 25229400 markings, 37956933 edges, 609421 markings/sec, 35 secs
lola: sara is running 40 secs || 28131851 markings, 42319110 edges, 580490 markings/sec, 40 secs
lola: sara is running 45 secs || 31160493 markings, 46870606 edges, 605728 markings/sec, 45 secs
lola: sara is running 50 secs || 34154816 markings, 51370367 edges, 598865 markings/sec, 50 secs
lola: sara is running 55 secs || 37110780 markings, 55812192 edges, 591193 markings/sec, 55 secs
lola: sara is running 60 secs || 40189444 markings, 60438098 edges, 615733 markings/sec, 60 secs
lola: sara is running 65 secs || 43248944 markings, 65035165 edges, 611900 markings/sec, 65 secs
lola: sara is running 70 secs || 46222676 markings, 69503077 edges, 594746 markings/sec, 70 secs
lola: sara is running 75 secs || 49221588 markings, 74008756 edges, 599782 markings/sec, 75 secs
lola: sara is running 80 secs || 52196201 markings, 78477506 edges, 594923 markings/sec, 80 secs
lola: sara is running 85 secs || 55158284 markings, 82927525 edges, 592417 markings/sec, 85 secs
lola: sara is running 90 secs || 58071144 markings, 87303597 edges, 582572 markings/sec, 90 secs
lola: sara is running 95 secs || 61048490 markings, 91776261 edges, 595469 markings/sec, 95 secs
lola: sara is running 100 secs || 64048401 markings, 96282555 edges, 599982 markings/sec, 100 secs
lola: sara is running 105 secs || 66988822 markings, 100699736 edges, 588084 markings/sec, 105 secs
lola: sara is running 110 secs || 69883520 markings, 105047964 edges, 578940 markings/sec, 110 secs
lola: sara is running 115 secs || 72762739 markings, 109372723 edges, 575844 markings/sec, 115 secs
lola: sara is running 120 secs || 75716990 markings, 113810470 edges, 590850 markings/sec, 120 secs
lola: sara is running 125 secs || 78679680 markings, 118260627 edges, 592538 markings/sec, 125 secs
lola: sara is running 130 secs || 81591300 markings, 122634007 edges, 582324 markings/sec, 130 secs
lola: sara is running 135 secs || 84523767 markings, 127038567 edges, 586493 markings/sec, 135 secs
lola: sara is running 140 secs || 87247883 markings, 131129907 edges, 544823 markings/sec, 140 secs
lola: sara is running 145 secs || 90157797 markings, 135500565 edges, 581983 markings/sec, 145 secs
lola: sara is running 150 secs || 93195326 markings, 140062669 edges, 607506 markings/sec, 150 secs
lola: sara is running 155 secs || 96183796 markings, 144551285 edges, 597694 markings/sec, 155 secs
lola: sara is running 160 secs || 99131565 markings, 148978560 edges, 589554 markings/sec, 160 secs
lola: sara is running 165 secs || 102064748 markings, 153383520 edges, 586637 markings/sec, 165 secs
lola: sara is running 170 secs || 104968590 markings, 157744734 edges, 580768 markings/sec, 170 secs
lola: sara is running 175 secs || 107888285 markings, 162129875 edges, 583939 markings/sec, 175 secs
lola: sara is running 180 secs || 110854172 markings, 166583986 edges, 593177 markings/sec, 180 secs
lola: sara is running 185 secs || 113798860 markings, 171006374 edges, 588938 markings/sec, 185 secs
lola: sara is running 190 secs || 116684111 markings, 175339519 edges, 577050 markings/sec, 190 secs
lola: sara is running 195 secs || 119560405 markings, 179658894 edges, 575259 markings/sec, 195 secs
lola: sara is running 200 secs || 122436214 markings, 183977980 edges, 575162 markings/sec, 200 secs
lola: sara is running 205 secs || 125291999 markings, 188266696 edges, 571157 markings/sec, 205 secs
lola: sara is running 210 secs || 127869431 markings, 192137387 edges, 515486 markings/sec, 210 secs
lola: sara is running 215 secs || 129541559 markings, 194648420 edges, 334426 markings/sec, 215 secs
lola: sara is running 220 secs || 131344272 markings, 197355538 edges, 360543 markings/sec, 220 secs
lola: sara is running 225 secs || 132967056 markings, 199792420 edges, 324557 markings/sec, 225 secs
lola: sara is running 230 secs || 135294162 markings, 203287310 edges, 465421 markings/sec, 230 secs
lola: sara is running 235 secs || 136881094 markings, 205670161 edges, 317386 markings/sec, 235 secs
lola: sara is running 240 secs || 138291710 markings, 207788330 edges, 282123 markings/sec, 240 secs
lola: sara is running 245 secs || 139876744 markings, 210168695 edges, 317007 markings/sec, 245 secs
lola: sara is running 250 secs || 141922505 markings, 213240661 edges, 409152 markings/sec, 250 secs
lola: sara is running 255 secs || 143077630 markings, 214975565 edges, 231025 markings/sec, 255 secs
lola: sara is running 260 secs || 144879075 markings, 217680558 edges, 360289 markings/sec, 260 secs
lola: sara is running 265 secs || 147378474 markings, 221434068 edges, 499880 markings/sec, 265 secs
lola: sara is running 270 secs || 147589727 markings, 221751094 edges, 42251 markings/sec, 270 secs
lola: sara is running 275 secs || 147810586 markings, 222082609 edges, 44172 markings/sec, 275 secs
lola: sara is running 280 secs || 149377828 markings, 224436429 edges, 313448 markings/sec, 280 secs
lola: sara is running 285 secs || 150668004 markings, 226373380 edges, 258035 markings/sec, 285 secs
lola: sara is running 290 secs || 152081215 markings, 228495572 edges, 282642 markings/sec, 290 secs
lola: sara is running 295 secs || 153361363 markings, 230417954 edges, 256030 markings/sec, 295 secs
lola: sara is running 300 secs || 155039526 markings, 232937872 edges, 335633 markings/sec, 300 secs
lola: sara is running 305 secs || 156187651 markings, 234662188 edges, 229625 markings/sec, 305 secs
lola: sara is running 310 secs || 157238902 markings, 236240690 edges, 210250 markings/sec, 310 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((p4 <= p25))) OR E ((((3 <= p3) AND (p12 <= p18)) U ((3 <= p3) AND (2 <= p22)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p4 <= p25)))
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 ((p4 <= p25)))
lola: processed formula length: 19
lola: 6 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p25 + 1 <= p4)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 1282 markings, 1281 edges
lola: ========================================
lola: subprocess 11 will run for 771 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((3 <= p3) AND (p12 <= p18)) U ((3 <= p3) AND (2 <= p22))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:618
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:738
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: E ((((3 <= p3) AND (p12 <= p18)) U ((3 <= p3) AND (2 <= p22))))
lola: processed formula length: 63
lola: 7 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EU
lola: There is no path where Predicate Phi holds until Predicate Psi.
lola: 0 markings, 0 edges
lola: formula 0: ((3 <= p3) AND (2 <= p22))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 11 will run for 771 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p24) AND (3 <= p8) AND (p10 <= p21) AND (p13 <= p2)))) AND E (G ((p1 <= p9))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 771 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((p1 <= p9)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((p1 <= p9)))
lola: processed formula length: 18
lola: 5 rewrites
lola: closed formula file CTLCardinality.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: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p9 + 1 <= p1)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 645 markings, 645 edges
lola: ========================================
lola: subprocess 12 will run for 1542 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p24) AND (3 <= p8) AND (p10 <= p21) AND (p13 <= p2))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p24) AND (3 <= p8) AND (p10 <= p21) AND (p13 <= p2))))
lola: processed formula length: 67
lola: 5 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p24) AND (3 <= p8) AND (p10 <= p21) AND (p13 <= p2))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 646 markings, 645 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 12 will run for 1542 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((p26 <= p6))) OR (E (F ((p10 <= p24))) OR A (G (((p7 <= p17) AND (2 <= p3) AND (p14 <= p5) AND (p23 <= p1))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 1542 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p10 <= p24)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((p10 <= p24)))
lola: processed formula length: 20
lola: 5 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p10 <= p24)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-12-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 641 markings, 640 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (X ((E (G ((1 <= p4))) AND E (F ((p6 <= p13))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX((EG((1 <= p4)) AND EF((p6 <= p13))))
lola: processed formula length: 39
lola: 7 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3470608 markings, 5236493 edges, 694122 markings/sec, 0 secs
lola: 6565424 markings, 9894739 edges, 618963 markings/sec, 5 secs
lola: 9826045 markings, 14799794 edges, 652124 markings/sec, 10 secs
lola: 13144548 markings, 19790429 edges, 663701 markings/sec, 15 secs
lola: 16432892 markings, 24734774 edges, 657669 markings/sec, 20 secs
lola: 19709630 markings, 29660747 edges, 655348 markings/sec, 25 secs
lola: 22933434 markings, 34506702 edges, 644761 markings/sec, 30 secs
lola: 26156101 markings, 39350414 edges, 644533 markings/sec, 35 secs
lola: 29300610 markings, 44076252 edges, 628902 markings/sec, 40 secs
lola: 32466956 markings, 48834681 edges, 633269 markings/sec, 45 secs
lola: 35548819 markings, 53465888 edges, 616373 markings/sec, 50 secs
lola: 38707873 markings, 58212635 edges, 631811 markings/sec, 55 secs
lola: 41863178 markings, 62953781 edges, 631061 markings/sec, 60 secs
lola: 44936707 markings, 67571414 edges, 614706 markings/sec, 65 secs
lola: 47975928 markings, 72137818 edges, 607844 markings/sec, 70 secs
lola: 51097407 markings, 76827520 edges, 624296 markings/sec, 75 secs
lola: 54136389 markings, 81393044 edges, 607796 markings/sec, 80 secs
lola: 57124313 markings, 85881764 edges, 597585 markings/sec, 85 secs
lola: 60111173 markings, 90368914 edges, 597372 markings/sec, 90 secs
lola: 63189678 markings, 94993402 edges, 615701 markings/sec, 95 secs
lola: 66210173 markings, 99530711 edges, 604099 markings/sec, 100 secs
lola: 69216984 markings, 104047357 edges, 601362 markings/sec, 105 secs
lola: 72221524 markings, 108560597 edges, 600908 markings/sec, 110 secs
lola: 75228418 markings, 113077081 edges, 601379 markings/sec, 115 secs
lola: 78265832 markings, 117639525 edges, 607483 markings/sec, 120 secs
lola: 81241790 markings, 122109455 edges, 595192 markings/sec, 125 secs
lola: 84151741 markings, 126480954 edges, 581990 markings/sec, 130 secs
lola: 84988935 markings, 127738744 edges, 167439 markings/sec, 135 secs
lola: 86339100 markings, 129765990 edges, 270033 markings/sec, 140 secs
lola: 87665397 markings, 131757859 edges, 265259 markings/sec, 145 secs
lola: 88780883 markings, 133433185 edges, 223097 markings/sec, 150 secs
lola: 90216832 markings, 135590039 edges, 287190 markings/sec, 155 secs
lola: 92245231 markings, 138636517 edges, 405680 markings/sec, 160 secs
lola: 93478094 markings, 140488264 edges, 246573 markings/sec, 165 secs
lola: 94677542 markings, 142289598 edges, 239890 markings/sec, 170 secs
lola: 96136450 markings, 144480870 edges, 291782 markings/sec, 175 secs
lola: 97204079 markings, 146084282 edges, 213526 markings/sec, 180 secs
lola: 98676739 markings, 148295962 edges, 294532 markings/sec, 185 secs
lola: 99616043 markings, 149706768 edges, 187861 markings/sec, 190 secs
lola: 101703744 markings, 152842140 edges, 417540 markings/sec, 195 secs
lola: 103192984 markings, 155078892 edges, 297848 markings/sec, 200 secs
lola: 103775881 markings, 155954256 edges, 116579 markings/sec, 205 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F (A (X ((3 <= p3)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX((3 <= p3)))
lola: processed formula length: 17
lola: 6 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3103016 markings, 4682301 edges, 620603 markings/sec, 0 secs
lola: 6069702 markings, 9148091 edges, 593337 markings/sec, 5 secs
lola: 8972888 markings, 13515882 edges, 580637 markings/sec, 10 secs
lola: 11856150 markings, 17852298 edges, 576652 markings/sec, 15 secs
lola: 14430643 markings, 21723734 edges, 514899 markings/sec, 20 secs
lola: 17317280 markings, 26063660 edges, 577327 markings/sec, 25 secs
lola: 20019645 markings, 30126176 edges, 540473 markings/sec, 30 secs
lola: 22860684 markings, 34396663 edges, 568208 markings/sec, 35 secs
lola: 25554811 markings, 38446028 edges, 538825 markings/sec, 40 secs
lola: 28333114 markings, 42621488 edges, 555661 markings/sec, 45 secs
lola: 31024332 markings, 46666177 edges, 538244 markings/sec, 50 secs
lola: 33775329 markings, 50800125 edges, 550199 markings/sec, 55 secs
lola: 36497643 markings, 54890833 edges, 544463 markings/sec, 60 secs
lola: 39298249 markings, 59098987 edges, 560121 markings/sec, 65 secs
lola: 42082333 markings, 63282339 edges, 556817 markings/sec, 70 secs
lola: 44835735 markings, 67419315 edges, 550680 markings/sec, 75 secs
lola: 47526953 markings, 71462700 edges, 538244 markings/sec, 80 secs
lola: 50279668 markings, 75598437 edges, 550543 markings/sec, 85 secs
lola: 52991578 markings, 79672493 edges, 542382 markings/sec, 90 secs
lola: 55687211 markings, 83722208 edges, 539127 markings/sec, 95 secs
lola: 58337781 markings, 87704024 edges, 530114 markings/sec, 100 secs
lola: 61051614 markings, 91780915 edges, 542767 markings/sec, 105 secs
lola: 63051429 markings, 94785194 edges, 399963 markings/sec, 110 secs
lola: 64233474 markings, 96561302 edges, 236409 markings/sec, 115 secs
lola: 65330041 markings, 98208382 edges, 219313 markings/sec, 120 secs
lola: 66223051 markings, 99549464 edges, 178602 markings/sec, 125 secs
lola: 67331845 markings, 101215136 edges, 221759 markings/sec, 130 secs
lola: 68191792 markings, 102506764 edges, 171989 markings/sec, 135 secs
lola: 69407482 markings, 104332902 edges, 243138 markings/sec, 140 secs
lola: 70684911 markings, 106251712 edges, 255486 markings/sec, 145 secs
lola: 72237297 markings, 108583549 edges, 310477 markings/sec, 150 secs
lola: 72832084 markings, 109477025 edges, 118957 markings/sec, 155 secs
lola: 74576972 markings, 112097938 edges, 348978 markings/sec, 160 secs
lola: 75127414 markings, 112924736 edges, 110088 markings/sec, 165 secs
lola: 76453556 markings, 114916820 edges, 265228 markings/sec, 170 secs
lola: 77303344 markings, 116193248 edges, 169958 markings/sec, 175 secs
lola: 77409375 markings, 116352337 edges, 21206 markings/sec, 180 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (G (E (((p20 <= p1) U (p26 <= p5)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(E((p20 <= p1) U (p26 <= p5)))
lola: processed formula length: 32
lola: 6 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 4522936 markings, 5670823 edges, 904587 markings/sec, 0 secs
lola: 8837546 markings, 11073816 edges, 862922 markings/sec, 5 secs
lola: 13147964 markings, 16469903 edges, 862084 markings/sec, 10 secs
lola: 17349585 markings, 21728936 edges, 840324 markings/sec, 15 secs
lola: 21441951 markings, 26850768 edges, 818473 markings/sec, 20 secs
lola: 25671352 markings, 32143601 edges, 845880 markings/sec, 25 secs
lola: 29862283 markings, 37388083 edges, 838186 markings/sec, 30 secs
lola: 34034496 markings, 42608736 edges, 834443 markings/sec, 35 secs
lola: 38171262 markings, 47784996 edges, 827353 markings/sec, 40 secs
lola: 42204872 markings, 52831812 edges, 806722 markings/sec, 45 secs
lola: 46318938 markings, 57979282 edges, 822813 markings/sec, 50 secs
lola: 50334606 markings, 63003431 edges, 803134 markings/sec, 55 secs
lola: 54357100 markings, 68035932 edges, 804499 markings/sec, 60 secs
lola: 58357809 markings, 73041241 edges, 800142 markings/sec, 65 secs
lola: 62386963 markings, 78081820 edges, 805831 markings/sec, 70 secs
lola: 66322332 markings, 83005410 edges, 787074 markings/sec, 75 secs
lola: 70239594 markings, 87905847 edges, 783452 markings/sec, 80 secs
lola: 74177463 markings, 92832226 edges, 787574 markings/sec, 85 secs
lola: 78266662 markings, 97947544 edges, 817840 markings/sec, 90 secs
lola: 82321436 markings, 103019824 edges, 810955 markings/sec, 95 secs
lola: 86392370 markings, 108112440 edges, 814187 markings/sec, 100 secs
lola: 90342637 markings, 113053984 edges, 790053 markings/sec, 105 secs
lola: 94285433 markings, 117986065 edges, 788559 markings/sec, 110 secs
lola: 98301303 markings, 123009357 edges, 803174 markings/sec, 115 secs
lola: 102305792 markings, 128018839 edges, 800898 markings/sec, 120 secs
lola: 106205787 markings, 132897128 edges, 779999 markings/sec, 125 secs
lola: 110117892 markings, 137790668 edges, 782421 markings/sec, 130 secs
lola: 113929223 markings, 142557995 edges, 762266 markings/sec, 135 secs
lola: 117711380 markings, 147288886 edges, 756431 markings/sec, 140 secs
lola: 121691089 markings, 152266970 edges, 795942 markings/sec, 145 secs
lola: 125710682 markings, 157294811 edges, 803919 markings/sec, 150 secs
lola: 128881479 markings, 161261998 edges, 634159 markings/sec, 155 secs
lola: 129425515 markings, 161941534 edges, 108807 markings/sec, 160 secs
lola: 131434390 markings, 164454233 edges, 401775 markings/sec, 165 secs
lola: 133383728 markings, 166892415 edges, 389868 markings/sec, 170 secs
lola: 133521859 markings, 167065109 edges, 27626 markings/sec, 175 secs
lola: 136870631 markings, 171253837 edges, 669754 markings/sec, 180 secs
lola: 140171033 markings, 175381992 edges, 660080 markings/sec, 185 secs
lola: 140245640 markings, 175475329 edges, 14921 markings/sec, 190 secs
lola: 141897950 markings, 177542184 edges, 330462 markings/sec, 195 secs
lola: 143208576 markings, 179181353 edges, 262125 markings/sec, 200 secs
lola: 144160744 markings, 180372256 edges, 190434 markings/sec, 205 secs
lola: 146310088 markings, 183060804 edges, 429869 markings/sec, 210 secs
lola: 146793094 markings, 183664649 edges, 96601 markings/sec, 215 secs
lola: 149681492 markings, 187277625 edges, 577680 markings/sec, 220 secs
lola: 149712216 markings, 187316094 edges, 6145 markings/sec, 225 secs
lola: 152473765 markings, 190769966 edges, 552310 markings/sec, 230 secs
lola: 153088350 markings, 191538739 edges, 122917 markings/sec, 235 secs
lola: 155477362 markings, 194526914 edges, 477802 markings/sec, 240 secs
lola: 156223940 markings, 195460713 edges, 149316 markings/sec, 245 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (((p20 <= p14) U A (G ((p26 <= p1)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((p20 <= p14) U AG((p26 <= p1)))
lola: processed formula length: 33
lola: 6 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2212626 markings, 5767058 edges, 442525 markings/sec, 0 secs
lola: 4628959 markings, 12213689 edges, 483267 markings/sec, 5 secs
lola: 6869446 markings, 18190952 edges, 448097 markings/sec, 10 secs
lola: 9109723 markings, 24167405 edges, 448055 markings/sec, 15 secs
lola: 11290060 markings, 29984544 edges, 436067 markings/sec, 20 secs
lola: 13970205 markings, 37135177 edges, 536029 markings/sec, 25 secs
lola: 16104867 markings, 42829882 edges, 426932 markings/sec, 30 secs
lola: 18283566 markings, 48642364 edges, 435740 markings/sec, 35 secs
lola: 20486571 markings, 54519849 edges, 440601 markings/sec, 40 secs
lola: 22674164 markings, 60356017 edges, 437519 markings/sec, 45 secs
lola: 24829212 markings, 66105620 edges, 431010 markings/sec, 50 secs
lola: 26996030 markings, 71886554 edges, 433364 markings/sec, 55 secs
lola: 29102163 markings, 77505291 edges, 421227 markings/sec, 60 secs
lola: 31234369 markings, 83193445 edges, 426441 markings/sec, 65 secs
lola: 33355136 markings, 88851565 edges, 424153 markings/sec, 70 secs
lola: 35583195 markings, 94795719 edges, 445612 markings/sec, 75 secs
lola: 37758527 markings, 100599514 edges, 435066 markings/sec, 80 secs
lola: 39907256 markings, 106332011 edges, 429746 markings/sec, 85 secs
lola: 42049143 markings, 112046478 edges, 428377 markings/sec, 90 secs
lola: 44181700 markings, 117735541 edges, 426511 markings/sec, 95 secs
lola: 46266145 markings, 123296426 edges, 416889 markings/sec, 100 secs
lola: 48357710 markings, 128876615 edges, 418313 markings/sec, 105 secs
lola: 50366084 markings, 134234953 edges, 401675 markings/sec, 110 secs
lola: 52549491 markings, 140059525 edges, 436681 markings/sec, 115 secs
lola: 54645859 markings, 145652536 edges, 419274 markings/sec, 120 secs
lola: 56712692 markings, 151166740 edges, 413367 markings/sec, 125 secs
lola: 58780283 markings, 156683200 edges, 413518 markings/sec, 130 secs
lola: 60795158 markings, 162058176 edges, 402975 markings/sec, 135 secs
lola: 62892030 markings, 167652269 edges, 419374 markings/sec, 140 secs
lola: 64926278 markings, 173079599 edges, 406850 markings/sec, 145 secs
lola: 66942981 markings, 178460057 edges, 403341 markings/sec, 150 secs
lola: 68920947 markings, 183737076 edges, 395593 markings/sec, 155 secs
lola: 70924741 markings, 189083075 edges, 400759 markings/sec, 160 secs
lola: 72988007 markings, 194587331 edges, 412653 markings/sec, 165 secs
lola: 75075360 markings, 200156060 edges, 417471 markings/sec, 170 secs
lola: 77155514 markings, 205705857 edges, 416031 markings/sec, 175 secs
lola: 79217993 markings, 211208250 edges, 412496 markings/sec, 180 secs
lola: 81252468 markings, 216636056 edges, 406895 markings/sec, 185 secs
lola: 83263957 markings, 222002264 edges, 402298 markings/sec, 190 secs
lola: 85321266 markings, 227491104 edges, 411462 markings/sec, 195 secs
lola: 87333136 markings, 232858420 edges, 402374 markings/sec, 200 secs
lola: 89366984 markings, 238284248 edges, 406770 markings/sec, 205 secs
lola: 91357575 markings, 243595488 edges, 398118 markings/sec, 210 secs
lola: 93321750 markings, 248835588 edges, 392835 markings/sec, 215 secs
lola: 93727683 markings, 249918541 edges, 81187 markings/sec, 220 secs
lola: 95371791 markings, 254305135 edges, 328822 markings/sec, 225 secs
lola: 95589739 markings, 254885737 edges, 43590 markings/sec, 230 secs
lola: 95862485 markings, 255613443 edges, 54549 markings/sec, 235 secs
lola: 97437085 markings, 259814610 edges, 314920 markings/sec, 240 secs
lola: 99202786 markings, 264524828 edges, 353140 markings/sec, 245 secs
lola: 101070062 markings, 269507077 edges, 373455 markings/sec, 250 secs
lola: 101262268 markings, 270019969 edges, 38441 markings/sec, 255 secs
lola: 101465718 markings, 270562212 edges, 40690 markings/sec, 260 secs
lola: 103201440 markings, 275193266 edges, 347144 markings/sec, 265 secs
lola: 104913307 markings, 279759728 edges, 342373 markings/sec, 270 secs
lola: 105073700 markings, 280187871 edges, 32079 markings/sec, 275 secs
lola: 106199849 markings, 283192504 edges, 225230 markings/sec, 280 secs
lola: 107098027 markings, 285588612 edges, 179636 markings/sec, 285 secs
lola: 108019521 markings, 288047452 edges, 184299 markings/sec, 290 secs
lola: 109142454 markings, 291042730 edges, 224587 markings/sec, 295 secs
lola: 110145848 markings, 293719827 edges, 200679 markings/sec, 300 secs
lola: 111303313 markings, 296807886 edges, 231493 markings/sec, 305 secs
lola: 112359508 markings, 299625696 edges, 211239 markings/sec, 310 secs
lola: 113659351 markings, 303093410 edges, 259969 markings/sec, 315 secs
lola: 114753663 markings, 306013160 edges, 218862 markings/sec, 320 secs
lola: 116032001 markings, 309423669 edges, 255668 markings/sec, 325 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F (A (((p13 <= p3) U (p26 <= p22)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(A((p13 <= p3) U (p26 <= p22)))
lola: processed formula length: 33
lola: 6 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1986932 markings, 5988690 edges, 397386 markings/sec, 0 secs
lola: 3862994 markings, 11642010 edges, 375212 markings/sec, 5 secs
lola: 5782457 markings, 17418531 edges, 383893 markings/sec, 10 secs
lola: 7668024 markings, 23081566 edges, 377113 markings/sec, 15 secs
lola: 9542730 markings, 28713675 edges, 374941 markings/sec, 20 secs
lola: 11390476 markings, 34283801 edges, 369549 markings/sec, 25 secs
lola: 13322985 markings, 40086925 edges, 386502 markings/sec, 30 secs
lola: 15218815 markings, 45783193 edges, 379166 markings/sec, 35 secs
lola: 17120054 markings, 51469570 edges, 380248 markings/sec, 40 secs
lola: 18989914 markings, 57122139 edges, 373972 markings/sec, 45 secs
lola: 20840174 markings, 62643852 edges, 370052 markings/sec, 50 secs
lola: 22699190 markings, 68238606 edges, 371803 markings/sec, 55 secs
lola: 24557402 markings, 73840756 edges, 371642 markings/sec, 60 secs
lola: 26388791 markings, 79334590 edges, 366278 markings/sec, 65 secs
lola: 28191862 markings, 84772930 edges, 360614 markings/sec, 70 secs
lola: 30030967 markings, 90275023 edges, 367821 markings/sec, 75 secs
lola: 31850124 markings, 95734019 edges, 363831 markings/sec, 80 secs
lola: 33622172 markings, 101098197 edges, 354410 markings/sec, 85 secs
lola: 35393572 markings, 106379529 edges, 354280 markings/sec, 90 secs
lola: 37182502 markings, 111738290 edges, 357786 markings/sec, 95 secs
lola: 39023500 markings, 117298341 edges, 368200 markings/sec, 100 secs
lola: 40849141 markings, 122776583 edges, 365128 markings/sec, 105 secs
lola: 42633999 markings, 128118199 edges, 356972 markings/sec, 110 secs
lola: 44420161 markings, 133530808 edges, 357232 markings/sec, 115 secs
lola: 46163591 markings, 138762236 edges, 348686 markings/sec, 120 secs
lola: 47890832 markings, 143940137 edges, 345448 markings/sec, 125 secs
lola: 49697727 markings, 149338759 edges, 361379 markings/sec, 130 secs
lola: 51460005 markings, 154646277 edges, 352456 markings/sec, 135 secs
lola: 53191107 markings, 159896157 edges, 346220 markings/sec, 140 secs
lola: 54939954 markings, 165086310 edges, 349769 markings/sec, 145 secs
lola: 56617061 markings, 170179017 edges, 335421 markings/sec, 150 secs
lola: 58331064 markings, 175250009 edges, 342801 markings/sec, 155 secs
lola: 60029059 markings, 180378671 edges, 339599 markings/sec, 160 secs
lola: 61809113 markings, 185765690 edges, 356011 markings/sec, 165 secs
lola: 63576937 markings, 191018019 edges, 353565 markings/sec, 170 secs
lola: 65306066 markings, 196188195 edges, 345826 markings/sec, 175 secs
lola: 67011789 markings, 201314662 edges, 341145 markings/sec, 180 secs
lola: 68742841 markings, 206519213 edges, 346210 markings/sec, 185 secs
lola: 70429807 markings, 211628648 edges, 337393 markings/sec, 190 secs
lola: 72133077 markings, 216794063 edges, 340654 markings/sec, 195 secs
lola: 73826426 markings, 221814336 edges, 338670 markings/sec, 200 secs
lola: 75602608 markings, 227106223 edges, 355236 markings/sec, 205 secs
lola: 77314876 markings, 232322481 edges, 342454 markings/sec, 210 secs
lola: 79041097 markings, 237486423 edges, 345244 markings/sec, 215 secs
lola: 80733863 markings, 242569910 edges, 338553 markings/sec, 220 secs
lola: 82453689 markings, 247727094 edges, 343965 markings/sec, 225 secs
lola: 84165705 markings, 252897606 edges, 342403 markings/sec, 230 secs
lola: 85878894 markings, 257962731 edges, 342638 markings/sec, 235 secs
lola: 87562542 markings, 263089825 edges, 336730 markings/sec, 240 secs
lola: 89218148 markings, 268110200 edges, 331121 markings/sec, 245 secs
lola: 90288130 markings, 271316003 edges, 213996 markings/sec, 250 secs
lola: 91667975 markings, 275373731 edges, 275969 markings/sec, 255 secs
lola: 92217391 markings, 277030212 edges, 109883 markings/sec, 260 secs
lola: 92918153 markings, 279215961 edges, 140152 markings/sec, 265 secs
lola: 94009336 markings, 282499367 edges, 218237 markings/sec, 270 secs
lola: 94163516 markings, 282888222 edges, 30836 markings/sec, 275 secs
lola: 95759990 markings, 287701998 edges, 319295 markings/sec, 280 secs
lola: 97049346 markings, 291505213 edges, 257871 markings/sec, 285 secs
lola: 97733818 markings, 293625502 edges, 136894 markings/sec, 290 secs
lola: 98738673 markings, 296587568 edges, 200971 markings/sec, 295 secs
lola: 99833570 markings, 299859947 edges, 218979 markings/sec, 300 secs
lola: 101063815 markings, 303603097 edges, 246049 markings/sec, 305 secs
lola: 102011999 markings, 306431222 edges, 189637 markings/sec, 310 secs
lola: 103109144 markings, 309751276 edges, 219429 markings/sec, 315 secs
lola: 104381568 markings, 313514014 edges, 254485 markings/sec, 320 secs
lola: 105471218 markings, 316823956 edges, 217930 markings/sec, 325 secs
lola: 106439079 markings, 319828823 edges, 193572 markings/sec, 330 secs
lola: 107405798 markings, 322623814 edges, 193344 markings/sec, 335 secs
lola: 108728005 markings, 326661428 edges, 264441 markings/sec, 340 secs
lola: 109724467 markings, 329552634 edges, 199292 markings/sec, 345 secs
lola: 110747672 markings, 332705122 edges, 204641 markings/sec, 350 secs
lola: 110884043 markings, 333046130 edges, 27274 markings/sec, 355 secs
lola: lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F ((((p8 <= p13) AND (p10 <= 0)) AND A (G ((p25 <= p12))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((((p8 <= p13) AND (p10 <= 0)) AND AG((p25 <= p12))))
lola: processed formula length: 55
lola: 6 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3324119 markings, 5015222 edges, 664824 markings/sec, 0 secs
lola: 6713905 markings, 10117439 edges, 677957 markings/sec, 5 secs
lola: 10018356 markings, 15088490 edges, 660890 markings/sec, 10 secs
lola: 13371393 markings, 20131009 edges, 670607 markings/sec, 15 secs
lola: 16714883 markings, 25158124 edges, 668698 markings/sec, 20 secs
lola: 20022548 markings, 30130600 edges, 661533 markings/sec, 25 secs
lola: 23331863 markings, 35104806 edges, 661863 markings/sec, 30 secs
lola: 26584570 markings, 39993833 edges, 650541 markings/sec, 35 secs
lola: 29821817 markings, 44858872 edges, 647449 markings/sec, 40 secs
lola: 33021734 markings, 49667621 edges, 639983 markings/sec, 45 secs
lola: 36189476 markings, 54427828 edges, 633548 markings/sec, 50 secs
lola: 39425688 markings, 59290563 edges, 647242 markings/sec, 55 secs
lola: 42614993 markings, 64082557 edges, 637861 markings/sec, 60 secs
lola: 45783497 markings, 68843331 edges, 633701 markings/sec, 65 secs
lola: 48910080 markings, 73540662 edges, 625317 markings/sec, 70 secs
lola: 52062470 markings, 78276825 edges, 630478 markings/sec, 75 secs
lola: 55130901 markings, 82886606 edges, 613686 markings/sec, 80 secs
lola: 58169630 markings, 87451690 edges, 607746 markings/sec, 85 secs
lola: 61259792 markings, 92093613 edges, 618032 markings/sec, 90 secs
lola: 64386647 markings, 96790874 edges, 625371 markings/sec, 95 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no yes unknown yes yes unknown unknown no yes
lola:
preliminary result: unknown unknown unknown unknown no yes unknown yes yes unknown unknown no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown no yes unknown yes yes unknown unknown no yes
lola: memory consumption: 12240108 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown no yes unknown yes yes unknown unknown no yes
rslt: finished
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 16320404 kB
After kill :
MemTotal: 16427332 kB
MemFree: 16319648 kB

--------------------
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-01280by00640"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
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 itslola"
echo " Input is CloudOpsManagement-PT-01280by00640, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r168-smll-158987806700435"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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