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

About the Execution of ITS-LoLa for CloudOpsManagement-PT-02560by01280

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15799.770 3600000.00 2810237.00 258132.50 TTTFFFT?T?F??TT? 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-158987806700443.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-02560by01280, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806700443
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 01:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:09 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.2K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 27 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 26 08:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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 16K 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-02560by01280-CTLCardinality-00
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-01
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-02
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-03
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-04
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-05
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-06
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-07
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-08
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-09
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-10
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-11
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-12
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-13
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-14
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591365259128

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 13:54:21] [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 13:54:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 13:54:22] [INFO ] Load time of PNML (sax parser for PT used): 71 ms
[2020-06-05 13:54:22] [INFO ] Transformed 27 places.
[2020-06-05 13:54:22] [INFO ] Transformed 29 transitions.
[2020-06-05 13:54:22] [INFO ] Parsed PT model containing 27 places and 29 transitions in 143 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 32 ms.
Incomplete random walk after 101190 steps, including 0 resets, run finished after 120 ms. (steps per millisecond=843 ) properties seen :[1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1]
// Phase 1: matrix 29 rows 27 cols
[2020-06-05 13:54:22] [INFO ] Computed 11 place invariants in 7 ms
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using 11 positive place invariants in 26 ms returned unsat
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using 11 positive place invariants in 4 ms returned unsat
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-06-05 13:54:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using state equation in 39 ms returned sat
[2020-06-05 13:54:22] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 13:54:22] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-06-05 13:54:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 13:54:22] [INFO ] [Nat]Absence check using state equation in 32 ms returned sat
[2020-06-05 13:54:22] [INFO ] State equation strengthened by 3 read => feed constraints.
[2020-06-05 13:54:22] [INFO ] [Nat]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 13:54:22] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 7 ms.
[2020-06-05 13:54:22] [INFO ] Added : 25 causal constraints over 5 iterations in 69 ms. Result :sat
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using 11 positive place invariants in 4 ms returned unsat
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using 11 positive place invariants in 5 ms returned unsat
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-06-05 13:54:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using state equation in 17 ms returned sat
[2020-06-05 13:54:22] [INFO ] [Real]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 13:54:22] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 13:54:22] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 13:54:22] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-06-05 13:54:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 13:54:22] [INFO ] [Nat]Absence check using state equation in 20 ms returned sat
[2020-06-05 13:54:22] [INFO ] [Nat]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 13:54:22] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 13:54:22] [INFO ] Added : 25 causal constraints over 6 iterations in 38 ms. Result :sat
Successfully simplified 4 atomic propositions for a total of 4 simplifications.
[2020-06-05 13:54:23] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2020-06-05 13:54:23] [INFO ] Flatten gal took : 40 ms
[2020-06-05 13:54:23] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2020-06-05 13:54:23] [INFO ] Flatten gal took : 12 ms
FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 13:54:23] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2020-06-05 13:54:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ CloudOpsManagement-PT-02560by01280 @ 3570 seconds

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-09 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-07 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 289
rslt: Output for CTLCardinality @ CloudOpsManagement-PT-02560by01280

{
"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 13:54:24 2020
",
"timelimit": 3570
},
"child":
[

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 279
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(p19 + 1 <= p8)",
"processed_size": 15,
"rewrites": 14
},
"result":
{
"edges": 37181,
"markings": 20511,
"produced_by": "state space /EXEF",
"value": false
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance_from_all_successors",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 284
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "A (G ((3 <= p25)))",
"processed_size": 18,
"rewrites": 13
},
"result":
{
"edges": 2558,
"markings": 2559,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 313
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"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 ((p26 + 1 <= p9)))",
"processed_size": 23,
"rewrites": 12
},
"result":
{
"edges": 2561,
"markings": 2562,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 4,
"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"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 348
},
"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 ((p14 + 1 <= p16)))",
"processed_size": 24,
"rewrites": 13
},
"result":
{
"edges": 46068,
"markings": 29436,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 5,
"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": 391
},
"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": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "E (F (((3 <= p2) AND (p2 <= p13))))",
"processed_size": 35,
"rewrites": 12
},
"result":
{
"produced_by": "state equation",
"value": true
},
"task":
{
"compoundnumber": 6,
"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": 447
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "E (F (((p0 <= 0) AND ((p0 <= 1) OR (p24 + 1 <= p22)))))",
"processed_size": 56,
"rewrites": 12
},
"result":
{
"edges": 1280,
"markings": 1281,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 4,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 611
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 0,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "E (((p17 <= p5) U (p10 <= p11)))",
"processed_size": 32,
"rewrites": 14
},
"result":
{
"edges": 1279,
"markings": 1280,
"produced_by": "state space /EU",
"value": true
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "eu preserving",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "existential_until",
"workflow": "stateequation"
}
},

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1223
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(3 <= p21)",
"processed_size": 10,
"rewrites": 14
},
"result":
{
"edges": 30781,
"markings": 19240,
"produced_by": "state space /EFEG",
"value": true
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability_of_possible_preservation",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 11,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3524,
"runtime": 3281.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "CTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(E(F(E(G(**)))) AND (** OR NODEADLOCK)) : E((** U **)) : E(X(E(F(**)))) : A(G(**)) : (A(X(A(G(**)))) AND A(G(E(X(**))))) : A(G(**)) : E(F(**)) : E(F((A(G(**)) AND E(G(**))))) : E(F(*)) : E(X(A(G(*)))) : A(F(A(G(**)))) : E(F(A(G(**)))) : E(F(**)) : A(G(A((** U **))))"
},
"net":
{
"arcs": 94,
"conflict_clusters": 11,
"places": 27,
"places_significant": 16,
"singleton_clusters": 0,
"transitions": 29
},
"result":
{
"preliminary_value": "yes yes yes no no no yes unknown yes unknown unknown unknown yes unknown ",
"value": "yes yes yes no no no yes unknown yes unknown unknown unknown yes unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 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 (F (E (G ((3 <= p21))))) AND ((3 <= p10) OR E (X ((0 <= 0))))) : E (((p17 <= p5) U (p10 <= p11))) : E (F (E (X ((p25 <= 0))))) : A (G ((3 <= p25))) : A (G ((A (X ((p8 <= p19))) AND E (X ((p18 <= p21)))))) : A (G ((p14 + 1 <= p16))) : E (F (((p0 <= 0) AND ((p0 <= 1) OR (p24 + 1 <= p22))))) : E (F ((A (G ((3 <= p18))) AND E (G ((3 <= p3)))))) : NOT(A (G ((p9 <= p26)))) : E (X (NOT(E (F ((p25 <= p18)))))) : A (F (A (G ((p2 <= p19))))) : E (F (A (G ((p4 <= 2))))) : E (F (((3 <= p2) AND (p2 <= p13)))) : A (G (A (((3 <= p22) U (p22 <= p10)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:130
lola: rewrite Frontend/Parser/formula_rewrite.k:395
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F ((p25 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:623
lola: rewrite Frontend/Parser/formula_rewrite.k:714
lola: processed formula: (p25 <= 0)
lola: processed formula length: 10
lola: 13 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 /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--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: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 <= 0)
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-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEF
lola: The predicate is reachable from some successor.
lola: 2560 markings, 2559 edges
lola: ========================================
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (A (G ((p8 <= p19))))) AND A (G (E (X ((p18 <= p21))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((p18 <= p21)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(EX((p18 <= p21)))
lola: processed formula length: 20
lola: 13 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: 2752173 markings, 4153604 edges, 550435 markings/sec, 0 secs
lola: 5730999 markings, 8638071 edges, 595765 markings/sec, 5 secs
lola: 8643081 markings, 13019453 edges, 582416 markings/sec, 10 secs
lola: 11501879 markings, 17319367 edges, 571760 markings/sec, 15 secs
lola: 14425732 markings, 21716045 edges, 584771 markings/sec, 20 secs
lola: 17290918 markings, 26023772 edges, 573037 markings/sec, 25 secs
lola: 20116273 markings, 30271151 edges, 565071 markings/sec, 30 secs
lola: 22812018 markings, 34323243 edges, 539149 markings/sec, 35 secs
lola: 25599643 markings, 38513142 edges, 557525 markings/sec, 40 secs
lola: 28346592 markings, 42641526 edges, 549390 markings/sec, 45 secs
lola: 31119369 markings, 46808427 edges, 554555 markings/sec, 50 secs
lola: 33721210 markings, 50718478 edges, 520368 markings/sec, 55 secs
lola: 36423126 markings, 54778564 edges, 540383 markings/sec, 60 secs
lola: 39171627 markings, 58908506 edges, 549700 markings/sec, 65 secs
lola: 41954511 markings, 63089869 edges, 556577 markings/sec, 70 secs
lola: 44708939 markings, 67228437 edges, 550886 markings/sec, 75 secs
lola: 47411166 markings, 71288406 edges, 540445 markings/sec, 80 secs
lola: 50147721 markings, 75399688 edges, 547311 markings/sec, 85 secs
lola: 52852758 markings, 79463703 edges, 541007 markings/sec, 90 secs
lola: 55545023 markings, 83508182 edges, 538453 markings/sec, 95 secs
lola: 58185380 markings, 87474989 edges, 528071 markings/sec, 100 secs
lola: 60869796 markings, 91507393 edges, 536883 markings/sec, 105 secs
lola: 62734936 markings, 94309472 edges, 373028 markings/sec, 110 secs
lola: 63558482 markings, 95546603 edges, 164709 markings/sec, 115 secs
lola: 65378481 markings, 98280376 edges, 364000 markings/sec, 120 secs
lola: 67181359 markings, 100988548 edges, 360576 markings/sec, 125 secs
lola: 69258484 markings, 104108607 edges, 415425 markings/sec, 130 secs
lola: 70344124 markings, 105739625 edges, 217128 markings/sec, 135 secs
lola: 72088089 markings, 108359328 edges, 348793 markings/sec, 140 secs
lola: 72219355 markings, 108556397 edges, 26253 markings/sec, 145 secs
lola: 73569606 markings, 110584611 edges, 270050 markings/sec, 150 secs
lola: 74207815 markings, 111543047 edges, 127642 markings/sec, 155 secs
lola: 75782496 markings, 113908616 edges, 314936 markings/sec, 160 secs
lola: 76465569 markings, 114934398 edges, 136615 markings/sec, 165 secs
lola: 77364609 markings, 116285006 edges, 179808 markings/sec, 170 secs
lola: 77570465 markings, 116594119 edges, 41171 markings/sec, 175 secs
lola: 77570517 markings, 116594171 edges, 10 markings/sec, 180 secs
lola: 77572241 markings, 116596847 edges, 345 markings/sec, 185 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G ((p8 <= p19)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:624
lola: rewrite Frontend/Parser/formula_rewrite.k:753
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p19 + 1 <= p8)
lola: processed formula length: 15
lola: 14 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 /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--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:711
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: (p19 + 1 <= p8)
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-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-2-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEF
lola: The predicate is not invariant from successors.
lola: 20511 markings, 37181 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (G ((p18 + 1 <= p25)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(AG((p18 + 1 <= p25)))
lola: processed formula length: 24
lola: 13 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: 3568202 markings, 5382457 edges, 713640 markings/sec, 0 secs
lola: 7024816 markings, 10584913 edges, 691323 markings/sec, 5 secs
lola: 10151553 markings, 15288421 edges, 625347 markings/sec, 10 secs
lola: 13560590 markings, 20415086 edges, 681807 markings/sec, 15 secs
lola: 16819552 markings, 25315109 edges, 651792 markings/sec, 20 secs
lola: 20144074 markings, 30312924 edges, 664904 markings/sec, 25 secs
lola: 23420966 markings, 35238635 edges, 655378 markings/sec, 30 secs
lola: 26640962 markings, 40078099 edges, 643999 markings/sec, 35 secs
lola: 29836883 markings, 44881089 edges, 639184 markings/sec, 40 secs
lola: 32973622 markings, 49595073 edges, 627348 markings/sec, 45 secs
lola: 36097468 markings, 54289285 edges, 624769 markings/sec, 50 secs
lola: 39288258 markings, 59083769 edges, 638158 markings/sec, 55 secs
lola: 42519049 markings, 63938214 edges, 646158 markings/sec, 60 secs
lola: 45704649 markings, 68724383 edges, 637120 markings/sec, 65 secs
lola: 48842334 markings, 73438663 edges, 627537 markings/sec, 70 secs
lola: 51821605 markings, 77914550 edges, 595854 markings/sec, 75 secs
lola: 54982543 markings, 82663269 edges, 632188 markings/sec, 80 secs
lola: 58068349 markings, 87299127 edges, 617161 markings/sec, 85 secs
lola: 61212616 markings, 92022375 edges, 628853 markings/sec, 90 secs
lola: 64274606 markings, 96622364 edges, 612398 markings/sec, 95 secs
lola: 67342163 markings, 101230114 edges, 613511 markings/sec, 100 secs
lola: 70416532 markings, 105848410 edges, 614874 markings/sec, 105 secs
lola: 73440584 markings, 110390670 edges, 604810 markings/sec, 110 secs
lola: 76525829 markings, 115024912 edges, 617049 markings/sec, 115 secs
lola: 79594586 markings, 119634433 edges, 613751 markings/sec, 120 secs
lola: 82636475 markings, 124203561 edges, 608378 markings/sec, 125 secs
lola: 85673247 markings, 128764748 edges, 607354 markings/sec, 130 secs
lola: 88459238 markings, 132948948 edges, 557198 markings/sec, 135 secs
lola: 90292532 markings, 135702861 edges, 366659 markings/sec, 140 secs
lola: 91873668 markings, 138080097 edges, 316227 markings/sec, 145 secs
lola: 93809869 markings, 140986826 edges, 387240 markings/sec, 150 secs
lola: 95726417 markings, 143864115 edges, 383310 markings/sec, 155 secs
lola: 97000103 markings, 145776771 edges, 254737 markings/sec, 160 secs
lola: 98381468 markings, 147851773 edges, 276273 markings/sec, 165 secs
lola: 99901119 markings, 150133748 edges, 303930 markings/sec, 170 secs
lola: 100896893 markings, 151629397 edges, 199155 markings/sec, 175 secs
lola: 102709988 markings, 154352488 edges, 362619 markings/sec, 180 secs
lola: 103924097 markings, 156175997 edges, 242822 markings/sec, 185 secs
lola: 105256617 markings, 158177177 edges, 266504 markings/sec, 190 secs
lola: 106350110 markings, 159819472 edges, 218699 markings/sec, 195 secs
lola: 107758816 markings, 161935053 edges, 281741 markings/sec, 200 secs
lola: 108912833 markings, 163668274 edges, 230803 markings/sec, 205 secs
lola: 110050784 markings, 165377310 edges, 227590 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 284 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((3 <= 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 ((3 <= p25)))
lola: processed formula length: 18
lola: 13 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 <= 2)
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: 2559 markings, 2558 edges
lola: state equation: write sara problem file to CTLCardinality-3-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 4 will run for 313 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p26 + 1 <= p9)))
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 ((p26 + 1 <= p9)))
lola: processed formula length: 23
lola: 12 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: (p26 + 1 <= p9)
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-4-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 2562 markings, 2561 edges
lola: ========================================
lola: subprocess 5 will run for 348 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p14 + 1 <= p16)))
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 ((p14 + 1 <= p16)))
lola: processed formula length: 24
lola: 13 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: (p16 <= p14)
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-5-0.sara
sara: try reading problem file CTLCardinality-3-0.sara.
lola: state equation: calling and running sara
sara: place or transition ordering is non-deterministic
sara: try reading problem file CTLCardinality-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 29436 markings, 46068 edges
lola: ========================================
lola: subprocess 6 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= p2) AND (p2 <= p13))))
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 (((3 <= p2) AND (p2 <= p13))))
lola: processed formula length: 35
lola: 12 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: ((3 <= p2) AND (p2 <= p13))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-6-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 7 will run for 447 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p0 <= 0) AND ((p0 <= 1) OR (p24 + 1 <= p22)))))
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 (((p0 <= 0) AND ((p0 <= 1) OR (p24 + 1 <= p22)))))
lola: processed formula length: 56
lola: 12 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: ((p0 <= 0) AND ((p0 <= 1) OR (p24 + 1 <= p22)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-7-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 1281 markings, 1280 edges
lola: ========================================
lola: subprocess 8 will run for 522 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((p4 <= 2)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (3 <= p4)
lola: processed formula length: 9
lola: 15 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
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
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:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p4 <= 2)
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-8-0.sara
lola: state equation: calling and running sara
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (3 <= p4)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-8-1.sara
sara: try reading problem file CTLCardinality-8-0.sara.
lola: state equation: calling and running sara
sara: place or transition ordering is non-deterministic

sara: try reading problem file CTLCardinality-8-1.sara.
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: state equation 1: solution produced

lola: sara is running 0 secs || sara is running 0 secs || 3653785 markings, 5511401 edges, 730757 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 7091626 markings, 10685461 edges, 687568 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 10428808 markings, 15705383 edges, 667436 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 13830998 markings, 20821738 edges, 680438 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 17215907 markings, 25911090 edges, 676982 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 20546125 markings, 30917368 edges, 666044 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 23901833 markings, 35961247 edges, 671142 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 27215529 markings, 40941765 edges, 662739 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 30496228 markings, 45872202 edges, 656140 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 33530366 markings, 50431647 edges, 606828 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 36776768 markings, 55309970 edges, 649280 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 40108175 markings, 60315739 edges, 666281 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 43444409 markings, 65328490 edges, 667247 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 46707222 markings, 70230624 edges, 652563 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 49973321 markings, 75137771 edges, 653220 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 53082683 markings, 79809131 edges, 621872 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 56211543 markings, 84509727 edges, 625772 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 59241753 markings, 89061696 edges, 606042 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 62457264 markings, 93892102 edges, 643102 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 65645098 markings, 98680887 edges, 637567 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 68782223 markings, 103393237 edges, 627425 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 71874707 markings, 108038543 edges, 618497 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 74987341 markings, 112714171 edges, 622527 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 78124797 markings, 117426782 edges, 627491 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 81182216 markings, 122019151 edges, 611484 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 84306906 markings, 126712316 edges, 624938 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 87378240 markings, 131325285 edges, 614267 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 90500705 markings, 136015289 edges, 624493 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 93666414 markings, 140770058 edges, 633142 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 96829578 markings, 145520837 edges, 632633 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 99950465 markings, 150208149 edges, 624177 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 102831484 markings, 154535019 edges, 576204 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 103861176 markings, 156081254 edges, 205938 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 105707216 markings, 158853796 edges, 369208 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 106689042 markings, 160328500 edges, 196365 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 108760576 markings, 163439651 edges, 414307 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 110412838 markings, 165920989 edges, 330452 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 111979881 markings, 168274278 edges, 313409 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 114730867 markings, 172405772 edges, 550197 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 115887484 markings, 174142659 edges, 231323 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 117600431 markings, 176715316 edges, 342589 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 118889920 markings, 178651772 edges, 257898 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 119988381 markings, 180301532 edges, 219692 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 121742156 markings, 182935412 edges, 350755 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 122972996 markings, 184783846 edges, 246168 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 124195361 markings, 186619428 edges, 244473 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 125786191 markings, 189008593 edges, 318166 markings/sec, 230 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 577 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (G ((3 <= p18))) AND E (G ((3 <= p3))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((AG((3 <= p18)) AND EG((3 <= p3))))
lola: processed formula length: 38
lola: 14 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: 1612827 markings, 5579326 edges, 322565 markings/sec, 0 secs
lola: 3292614 markings, 11420049 edges, 335957 markings/sec, 5 secs
lola: 4906736 markings, 17037961 edges, 322824 markings/sec, 10 secs
lola: 6529134 markings, 22688518 edges, 324480 markings/sec, 15 secs
lola: 8114963 markings, 28214177 edges, 317166 markings/sec, 20 secs
lola: 9660375 markings, 33600170 edges, 309082 markings/sec, 25 secs
lola: 11193386 markings, 38944085 edges, 306602 markings/sec, 30 secs
lola: 12797538 markings, 44537323 edges, 320830 markings/sec, 35 secs
lola: 14376076 markings, 50041350 edges, 315708 markings/sec, 40 secs
lola: 15908755 markings, 55387267 edges, 306536 markings/sec, 45 secs
lola: 17490324 markings, 60903729 edges, 316314 markings/sec, 50 secs
lola: 19038210 markings, 66303353 edges, 309577 markings/sec, 55 secs
lola: 20550954 markings, 71580300 edges, 302549 markings/sec, 60 secs
lola: 22059297 markings, 76843120 edges, 301669 markings/sec, 65 secs
lola: 23558868 markings, 82075369 edges, 299914 markings/sec, 70 secs
lola: 25054023 markings, 87292769 edges, 299031 markings/sec, 75 secs
lola: 26561924 markings, 92554970 edges, 301580 markings/sec, 80 secs
lola: 28032037 markings, 97685308 edges, 294023 markings/sec, 85 secs
lola: 29441059 markings, 102602948 edges, 281804 markings/sec, 90 secs
lola: 30949064 markings, 107865603 edges, 301601 markings/sec, 95 secs
lola: 32358360 markings, 112784835 edges, 281859 markings/sec, 100 secs
lola: 33793120 markings, 117792540 edges, 286952 markings/sec, 105 secs
lola: 35252003 markings, 122885265 edges, 291777 markings/sec, 110 secs
lola: 36694052 markings, 127918393 edges, 288410 markings/sec, 115 secs
lola: 38177082 markings, 133095916 edges, 296606 markings/sec, 120 secs
lola: 39715756 markings, 138467595 edges, 307735 markings/sec, 125 secs
lola: 41223800 markings, 143732319 edges, 301609 markings/sec, 130 secs
lola: 42699970 markings, 148885750 edges, 295234 markings/sec, 135 secs
lola: 44211842 markings, 154164057 edges, 302374 markings/sec, 140 secs
lola: 45672699 markings, 159264439 edges, 292171 markings/sec, 145 secs
lola: 47122445 markings, 164326470 edges, 289949 markings/sec, 150 secs
lola: 48597419 markings, 169476221 edges, 294995 markings/sec, 155 secs
lola: 50070234 markings, 174618798 edges, 294563 markings/sec, 160 secs
lola: 51536885 markings, 179739828 edges, 293330 markings/sec, 165 secs
lola: 52898598 markings, 184494830 edges, 272343 markings/sec, 170 secs
lola: 54356569 markings, 189585066 edges, 291594 markings/sec, 175 secs
lola: 55797738 markings, 194618480 edges, 288234 markings/sec, 180 secs
lola: 57205185 markings, 199533178 edges, 281489 markings/sec, 185 secs
lola: 58619680 markings, 204472681 edges, 282899 markings/sec, 190 secs
lola: 60022058 markings, 209370116 edges, 280476 markings/sec, 195 secs
lola: 61527574 markings, 214626929 edges, 301103 markings/sec, 200 secs
lola: 63021361 markings, 219843725 edges, 298757 markings/sec, 205 secs
lola: 64452649 markings, 224842242 edges, 286258 markings/sec, 210 secs
lola: 65866436 markings, 229779642 edges, 282757 markings/sec, 215 secs
lola: 67296134 markings, 234773643 edges, 285940 markings/sec, 220 secs
lola: 68726740 markings, 239769638 edges, 286121 markings/sec, 225 secs
lola: 70131012 markings, 244673559 edges, 280854 markings/sec, 230 secs
lola: 71555252 markings, 249648511 edges, 284848 markings/sec, 235 secs
lola: 72949788 markings, 254518925 edges, 278907 markings/sec, 240 secs
lola: 74378207 markings, 259507526 edges, 285684 markings/sec, 245 secs
lola: 75820954 markings, 264547540 edges, 288549 markings/sec, 250 secs
lola: 77231143 markings, 269473184 edges, 282038 markings/sec, 255 secs
lola: 78635810 markings, 274379355 edges, 280933 markings/sec, 260 secs
lola: 79974032 markings, 279053458 edges, 267644 markings/sec, 265 secs
lola: 81356589 markings, 283882590 edges, 276511 markings/sec, 270 secs
lola: 82800392 markings, 288925223 edges, 288761 markings/sec, 275 secs
lola: 84214187 markings, 293864104 edges, 282759 markings/sec, 280 secs
lola: 85591906 markings, 298676315 edges, 275544 markings/sec, 285 secs
lola: 86989951 markings, 303559884 edges, 279609 markings/sec, 290 secs
lola: 88377134 markings, 308405537 edges, 277437 markings/sec, 295 secs
lola: 89710263 markings, 313063295 edges, 266626 markings/sec, 300 secs
lola: 90474109 markings, 315732200 edges, 152769 markings/sec, 305 secs
lola: 91545602 markings, 319474533 edges, 214299 markings/sec, 310 secs
lola: 92417540 markings, 322519680 edges, 174388 markings/sec, 315 secs
lola: 93423507 markings, 326033759 edges, 201193 markings/sec, 320 secs
lola: 94657059 markings, 330342837 edges, 246710 markings/sec, 325 secs
lola: 95466017 markings, 333168686 edges, 161792 markings/sec, 330 secs
lola: 96540533 markings, 336922284 edges, 214903 markings/sec, 335 secs
lola: 97424155 markings, 340009062 edges, 176724 markings/sec, 340 secs
lola: 98328762 markings, 343169306 edges, 180921 markings/sec, 345 secs
lola: 99360352 markings, 346772162 edges, 206318 markings/sec, 350 secs
lola: 100100713 markings, 349358332 edges, 148072 markings/sec, 355 secs
lola: 101030828 markings, 352608570 edges, 186023 markings/sec, 360 secs
lola: 101770088 markings, 355191303 edges, 147852 markings/sec, 365 secs
lola: 102418159 markings, 357454689 edges, 129614 markings/sec, 370 secs
lola: 103584116 markings, 361528361 edges, 233191 markings/sec, 375 secs
lola: 104836219 markings, 365902653 edges, 250421 markings/sec, 380 secs
lola: 105218278 markings, 367237468 edges, 76412 markings/sec, 385 secs
lola: 106181741 markings, 370603149 edges, 192693 markings/sec, 390 secs
lola: 106702268 markings, 372421196 edges, 104105 markings/sec, 395 secs
lola: 107859120 markings, 376462961 edges, 231370 markings/sec, 400 secs
lola: 108512909 markings, 378745918 edges, 130758 markings/sec, 405 secs
lola: 109231548 markings, 381256920 edges, 143728 markings/sec, 410 secs
lola: 110495377 markings, 385673314 edges, 252766 markings/sec, 415 secs
lola: 110884096 markings, 387031155 edges, 77744 markings/sec, 420 secs
lola: 110884159 markings, 387031218 edges, 13 markings/sec, 425 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 611 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((p17 <= p5) U (p10 <= p11)))
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 (((p17 <= p5) U (p10 <= p11)))
lola: processed formula length: 32
lola: 14 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: (p10 <= p11)
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 /EU
lola: There is a path where Predicate Phi holds until Predicate Psi.
lola: 1280 markings, 1279 edges
lola: state equation: write sara problem file to CTLCardinality-10-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 11 will run for 815 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (E (G ((3 <= p21))))) AND ((3 <= p10) OR NOT DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 815 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((3 <= p10) OR NOT DEADLOCK)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: processed formula: ((3 <= p10) OR NOT DEADLOCK)
lola: processed formula length: 28
lola: 12 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 1223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((3 <= p21)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:598
lola: rewrite Frontend/Parser/formula_rewrite.k:633
lola: rewrite Frontend/Parser/formula_rewrite.k:730
lola: processed formula: (3 <= p21)
lola: processed formula length: 10
lola: 14 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 /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
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: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (3 <= p21)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: formula 0: (p21 <= 2)
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: state equation: calling and running sara
lola: state equation: write sara problem file to CTLCardinality-12-1.sara
lola: state equation: calling and running sara
sara: sara: try reading problem file CTLCardinality-10-0.sara.try reading problem file CTLCardinality-12-0.sara.

sara: try reading problem file CTLCardinality-12-1.sara.
sara: sara: place or transition ordering is non-deterministicplace or transition ordering is non-deterministic

sara: place or transition ordering is non-deterministic


lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 19240 markings, 30781 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 12 will run for 1223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((p2 <= p19)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:594
lola: rewrite Frontend/Parser/formula_rewrite.k:629
lola: rewrite Frontend/Parser/formula_rewrite.k:758
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p19 + 1 <= p2)
lola: processed formula length: 15
lola: 15 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 /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (p19 + 1 <= p2)
lola: state equation task get result unparse finished id 1
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p2 <= p19)
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: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-12-1.sara
lola: state equation: write sara problem file to CTLCardinality-12-0.sara
lola: lola: state equation: calling and running sara
state equation: calling and running sara
sara: try reading problem file CTLCardinality-12-0.sara.
sara: try reading problem file CTLCardinality-12-1.sara.
sara: place or transition ordering is non-deterministic

sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced


lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 3615072 markings, 5453071 edges, 723014 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 7182986 markings, 10822872 edges, 713583 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 10655948 markings, 16047110 edges, 694592 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 14211572 markings, 21394028 edges, 711125 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 17647053 markings, 26559045 edges, 687096 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 21036196 markings, 31653842 edges, 677829 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 24444579 markings, 36777049 edges, 681677 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 27779754 markings, 41789732 edges, 667035 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 31106401 markings, 46788929 edges, 665329 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 34350863 markings, 51664567 edges, 648892 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 37588074 markings, 56529051 edges, 647442 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 40985837 markings, 61634426 edges, 679553 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 44291221 markings, 66600729 edges, 661077 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 47305001 markings, 71128836 edges, 602756 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 50622423 markings, 76112996 edges, 663484 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 53868011 markings, 80988870 edges, 649118 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 57073237 markings, 85804205 edges, 641045 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 60265331 markings, 90599299 edges, 638419 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 63585801 markings, 95587400 edges, 664094 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 66738385 markings, 100323124 edges, 630517 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 69939076 markings, 105131175 edges, 640138 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 73094002 markings, 109870150 edges, 630985 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 76307073 markings, 114696501 edges, 642614 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 79468061 markings, 119444332 edges, 632198 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 82622140 markings, 124181848 edges, 630816 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 85759506 markings, 128894046 edges, 627473 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 88886218 markings, 133590459 edges, 625342 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 92242408 markings, 138631128 edges, 671238 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 95605848 markings, 143682926 edges, 672688 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 98918468 markings, 148658297 edges, 662524 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 102198412 markings, 153584214 edges, 655989 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 105434853 markings, 158444740 edges, 647288 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 108397344 markings, 162893932 edges, 592498 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 109147844 markings, 164021150 edges, 150100 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 111247256 markings, 167174271 edges, 419882 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 112754960 markings, 169438330 edges, 301541 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 113623359 markings, 170742582 edges, 173680 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 115729270 markings, 173905136 edges, 421182 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 116383631 markings, 174887976 edges, 130872 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 119047094 markings, 178887966 edges, 532693 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 121683928 markings, 182847862 edges, 527367 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 122200826 markings, 183623877 edges, 103380 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 124701189 markings, 187379012 edges, 500073 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 125411668 markings, 188446010 edges, 142096 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 127482455 markings, 191555631 edges, 414157 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 128435853 markings, 192987603 edges, 190680 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 130324892 markings, 195824316 edges, 377808 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 131802003 markings, 198042680 edges, 295422 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 132799967 markings, 199541236 edges, 199593 markings/sec, 240 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 2191 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (((3 <= p22) U (p22 <= p10)))))
lola: ========================================
lola: SUBTASK
lola: checking a universal CTL formula with single counterexample path (use LTL...)
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((3 <= p22) U (p22 <= p10)))
lola: processed formula length: 31
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 2487434 markings, 4973905 edges, 497487 markings/sec, 0 secs
lola: 4938461 markings, 9876278 edges, 490205 markings/sec, 5 secs
lola: 7180918 markings, 14361287 edges, 448491 markings/sec, 10 secs
lola: 9381356 markings, 18762261 edges, 440088 markings/sec, 15 secs
lola: 11512800 markings, 23025238 edges, 426289 markings/sec, 20 secs
lola: 13688742 markings, 27377217 edges, 435188 markings/sec, 25 secs
lola: 15848515 markings, 31696856 edges, 431955 markings/sec, 30 secs
lola: 18041179 markings, 36082281 edges, 438533 markings/sec, 35 secs
lola: 20221758 markings, 40443532 edges, 436116 markings/sec, 40 secs
lola: 22380601 markings, 44761309 edges, 431769 markings/sec, 45 secs
lola: 24609605 markings, 49219415 edges, 445801 markings/sec, 50 secs
lola: 26886023 markings, 53772348 edges, 455284 markings/sec, 55 secs
lola: 29136933 markings, 58274268 edges, 450182 markings/sec, 60 secs
lola: 31373640 markings, 62747780 edges, 447341 markings/sec, 65 secs
lola: 33595948 markings, 67192490 edges, 444462 markings/sec, 70 secs
lola: 36339395 markings, 72091808 edges, 548689 markings/sec, 75 secs
lola: 39189828 markings, 76902556 edges, 570087 markings/sec, 80 secs
lola: 41950408 markings, 81561185 edges, 552116 markings/sec, 85 secs
lola: 44610609 markings, 86050527 edges, 532040 markings/sec, 90 secs
lola: 47266902 markings, 90533302 edges, 531259 markings/sec, 95 secs
lola: 49842671 markings, 94880584 edges, 515154 markings/sec, 100 secs
lola: 52410199 markings, 99213270 edges, 513506 markings/sec, 105 secs
lola: 54895961 markings, 103408839 edges, 497152 markings/sec, 110 secs
lola: 57545661 markings, 107880352 edges, 529940 markings/sec, 115 secs
lola: 60192291 markings, 112346672 edges, 529326 markings/sec, 120 secs
lola: 62791455 markings, 116733216 edges, 519833 markings/sec, 125 secs
lola: 65203716 markings, 120804534 edges, 482452 markings/sec, 130 secs
lola: 67850120 markings, 125270446 edges, 529281 markings/sec, 135 secs
lola: 70306841 markings, 129416577 edges, 491344 markings/sec, 140 secs
lola: 72835653 markings, 133684647 edges, 505762 markings/sec, 145 secs
lola: 75363282 markings, 137950196 edges, 505526 markings/sec, 150 secs
lola: 77930383 markings, 142282450 edges, 513420 markings/sec, 155 secs
lola: 80436163 markings, 146511773 edges, 501156 markings/sec, 160 secs
lola: 82939195 markings, 150735765 edges, 500606 markings/sec, 165 secs
lola: 85392889 markings, 154876978 edges, 490739 markings/sec, 170 secs
lola: 87896203 markings, 159101389 edges, 500663 markings/sec, 175 secs
lola: 90382784 markings, 163297736 edges, 497316 markings/sec, 180 secs
lola: 92813529 markings, 167399963 edges, 486149 markings/sec, 185 secs
lola: 95267148 markings, 171541055 edges, 490724 markings/sec, 190 secs
lola: 97638651 markings, 175543447 edges, 474301 markings/sec, 195 secs
lola: 100177364 markings, 179827846 edges, 507743 markings/sec, 200 secs
lola: 102646815 markings, 183994892 edges, 493890 markings/sec, 205 secs
lola: 105101535 markings, 188137774 edges, 490944 markings/sec, 210 secs
lola: 107436511 markings, 192078515 edges, 466995 markings/sec, 215 secs
lola: 108981602 markings, 194686150 edges, 309018 markings/sec, 220 secs
lola: 110030169 markings, 196456004 edges, 209713 markings/sec, 225 secs
lola: 111310323 markings, 198615837 edges, 256031 markings/sec, 230 secs
lola: 112734209 markings, 201019425 edges, 284777 markings/sec, 235 secs
lola: 114548605 markings, 204081062 edges, 362879 markings/sec, 240 secs
lola: 115792902 markings, 206180969 edges, 248859 markings/sec, 245 secs
lola: 117046762 markings, 208297043 edges, 250772 markings/sec, 250 secs
lola: 118804432 markings, 211263307 edges, 351534 markings/sec, 255 secs
lola: 120176966 markings, 213579635 edges, 274507 markings/sec, 260 secs
lola: 121557776 markings, 215910379 edges, 276162 markings/sec, 265 secs
lola: 122954166 markings, 218267074 edges, 279278 markings/sec, 270 secs
lola: 124204094 markings, 220376469 edges, 249986 markings/sec, 275 secs
lola: 125623601 markings, 222771696 edges, 283901 markings/sec, 280 secs
lola: 126721122 markings, 224624428 edges, 219504 markings/sec, 285 secs
lola: 128114103 markings, 226975289 edges, 278596 markings/sec, 290 secs
lola: 129820691 markings, 229854979 edges, 341318 markings/sec, 295 secs
lola: 131023553 markings, 231885330 edges, 240572 markings/sec, 300 secs
lola: 132561139 markings, 234480132 edges, 307517 markings/sec, 305 secs
lola: 133373958 markings, 235851867 edges, 162564 markings/sec, 310 secs
lola: 133374045 markings, 235852020 edges, 17 markings/sec, 315 secs
lola: 133376031 markings, 235855494 edges, 397 markings/sec, 320 secs
lola: 133376069 markings, 235855562 edges, 8 markings/sec, 325 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (X (A (G ((p18 + 1 <= p25)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(AG((p18 + 1 <= p25)))
lola: processed formula length: 24
lola: 13 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: 3618222 markings, 5457807 edges, 723644 markings/sec, 0 secs
lola: 6903033 markings, 10401680 edges, 656962 markings/sec, 5 secs
lola: 10238086 markings, 15418662 edges, 667011 markings/sec, 10 secs
lola: 13478658 markings, 20292015 edges, 648114 markings/sec, 15 secs
lola: 16858172 markings, 25373203 edges, 675903 markings/sec, 20 secs
lola: 20050426 markings, 30172117 edges, 638451 markings/sec, 25 secs
lola: 23318965 markings, 35085177 edges, 653708 markings/sec, 30 secs
lola: 26402369 markings, 39719521 edges, 616681 markings/sec, 35 secs
lola: 29600317 markings, 44525610 edges, 639590 markings/sec, 40 secs
lola: 32645605 markings, 49102117 edges, 609058 markings/sec, 45 secs
lola: 35810542 markings, 53858160 edges, 632987 markings/sec, 50 secs
lola: 38967053 markings, 58601074 edges, 631302 markings/sec, 55 secs
lola: 42235539 markings, 63512162 edges, 653697 markings/sec, 60 secs
lola: 45432625 markings, 68315721 edges, 639417 markings/sec, 65 secs
lola: 48595978 markings, 73068495 edges, 632671 markings/sec, 70 secs
lola: 51769454 markings, 77836172 edges, 634695 markings/sec, 75 secs
lola: 54867941 markings, 82491103 edges, 619697 markings/sec, 80 secs
lola: 57953695 markings, 87126591 edges, 617151 markings/sec, 85 secs
lola: 61010253 markings, 91718456 edges, 611312 markings/sec, 90 secs
lola: 64182921 markings, 96484522 edges, 634534 markings/sec, 95 secs
lola: 67198518 markings, 101014553 edges, 603119 markings/sec, 100 secs
lola: 70126709 markings, 105412933 edges, 585638 markings/sec, 105 secs
lola: 73155576 markings, 109962625 edges, 605773 markings/sec, 110 secs
lola: 76237554 markings, 114591993 edges, 616396 markings/sec, 115 secs
lola: 79291828 markings, 119179545 edges, 610855 markings/sec, 120 secs
lola: 82316854 markings, 123723334 edges, 605005 markings/sec, 125 secs
lola: 85331345 markings, 128250938 edges, 602898 markings/sec, 130 secs
lola: 88332219 markings, 132758236 edges, 600175 markings/sec, 135 secs
lola: 89916978 markings, 135138883 edges, 316952 markings/sec, 140 secs
lola: 92192512 markings, 138556188 edges, 455107 markings/sec, 145 secs
lola: 94785342 markings, 142451112 edges, 518566 markings/sec, 150 secs
lola: 94977450 markings, 142739106 edges, 38422 markings/sec, 155 secs
lola: 97044703 markings, 145843852 edges, 413451 markings/sec, 160 secs
lola: 97363743 markings, 146323063 edges, 63808 markings/sec, 165 secs
lola: 99787602 markings, 149963241 edges, 484772 markings/sec, 170 secs
lola: 100092200 markings, 150420944 edges, 60920 markings/sec, 175 secs
lola: 101783904 markings, 152961863 edges, 338341 markings/sec, 180 secs
lola: 103266801 markings, 155188657 edges, 296579 markings/sec, 185 secs
lola: 104368367 markings, 156843170 edges, 220313 markings/sec, 190 secs
lola: 106049025 markings, 159367155 edges, 336132 markings/sec, 195 secs
lola: 107242890 markings, 161160326 edges, 238773 markings/sec, 200 secs
lola: 109247233 markings, 164170423 edges, 400869 markings/sec, 205 secs
lola: 110259843 markings, 165691056 edges, 202522 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((p4 <= 2)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (3 <= p4)
lola: processed formula length: 9
lola: 15 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
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
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:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p4 <= 2)
lola: state equation task get result unparse finished id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (3 <= p4)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-15-1.sara
lola: state equation: write sara problem file to CTLCardinality-15-0.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-15-1.sara.
sara: try reading problem file CTLCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic


lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 3629288 markings, 5474437 edges, 725858 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 7048673 markings, 10620901 edges, 683877 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 10361753 markings, 15604717 edges, 662616 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 13734175 markings, 20676068 edges, 674484 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 17126672 markings, 25776751 edges, 678499 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 20465507 markings, 30796129 edges, 667767 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 23809152 markings, 35822003 edges, 668729 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 27126764 markings, 40808297 edges, 663522 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 30437078 markings, 45783355 edges, 662063 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 33621506 markings, 50568710 edges, 636886 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 36853997 markings, 55426019 edges, 646498 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 40121677 markings, 60335906 edges, 653536 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 43440335 markings, 65322337 edges, 663732 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 46623513 markings, 70104926 edges, 636636 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 49889726 markings, 75012107 edges, 653243 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 53033273 markings, 79734725 edges, 628709 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 56187556 markings, 84473547 edges, 630857 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 59194118 markings, 88990164 edges, 601312 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 62237779 markings, 93562440 edges, 608732 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 65401859 markings, 98315569 edges, 632816 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 68499769 markings, 102969233 edges, 619582 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 71399084 markings, 107324244 edges, 579863 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 74188985 markings, 111514757 edges, 557980 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 76984475 markings, 115713770 edges, 559098 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 80066419 markings, 120343064 edges, 616389 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 83188662 markings, 125032739 edges, 624449 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 86287795 markings, 129687596 edges, 619827 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 89349828 markings, 134286717 edges, 612407 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 92552359 markings, 139096696 edges, 640506 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 95712715 markings, 143843492 edges, 632071 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 98823353 markings, 148515302 edges, 622128 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 101925613 markings, 153174427 edges, 620452 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 104009459 markings, 156304098 edges, 416769 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 105359776 markings, 158332296 edges, 270063 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 106659287 markings, 160283597 edges, 259902 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 108119085 markings, 162476257 edges, 291960 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 109458649 markings, 164488181 edges, 267913 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 110933201 markings, 166702347 edges, 294910 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 112156860 markings, 168540192 edges, 244732 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 113645018 markings, 170775351 edges, 297632 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 115077477 markings, 172926347 edges, 286492 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 117020288 markings, 175843977 edges, 388562 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 118137593 markings, 177522055 edges, 223461 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 119921918 markings, 180201723 edges, 356865 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 121520659 markings, 182602544 edges, 319748 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 123461589 markings, 185517263 edges, 388186 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 124614732 markings, 187249268 edges, 230629 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 126367750 markings, 189881951 edges, 350604 markings/sec, 235 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F ((A (G ((3 <= p18))) AND E (G ((3 <= p3))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((AG((3 <= p18)) AND EG((3 <= p3))))
lola: processed formula length: 38
lola: 14 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: 1789088 markings, 6191401 edges, 357818 markings/sec, 0 secs
lola: 3495964 markings, 12127551 edges, 341375 markings/sec, 5 secs
lola: 5156866 markings, 17909322 edges, 332180 markings/sec, 10 secs
lola: 6805710 markings, 23652351 edges, 329769 markings/sec, 15 secs
lola: 8413186 markings, 29253397 edges, 321495 markings/sec, 20 secs
lola: 9985813 markings, 34734630 edges, 314525 markings/sec, 25 secs
lola: 11562753 markings, 40231983 edges, 315388 markings/sec, 30 secs
lola: 13178709 markings, 45866375 edges, 323191 markings/sec, 35 secs
lola: 14778532 markings, 51445210 edges, 319965 markings/sec, 40 secs
lola: 16361017 markings, 56964805 edges, 316497 markings/sec, 45 secs
lola: 17842539 markings, 62131792 edges, 296304 markings/sec, 50 secs
lola: 19325348 markings, 67305101 edges, 296562 markings/sec, 55 secs
lola: 20865593 markings, 72678538 edges, 308049 markings/sec, 60 secs
lola: 22421487 markings, 78106984 edges, 311179 markings/sec, 65 secs
lola: 23993352 markings, 83591309 edges, 314373 markings/sec, 70 secs
lola: 25508302 markings, 88878031 edges, 302990 markings/sec, 75 secs
lola: 27052460 markings, 94266782 edges, 308832 markings/sec, 80 secs
lola: 28557863 markings, 99520309 edges, 301081 markings/sec, 85 secs
lola: 30099035 markings, 104899121 edges, 308234 markings/sec, 90 secs
lola: 31562760 markings, 110007527 edges, 292745 markings/sec, 95 secs
lola: 32960054 markings, 114884416 edges, 279459 markings/sec, 100 secs
lola: 34464663 markings, 120136934 edges, 300922 markings/sec, 105 secs
lola: 35943299 markings, 125298389 edges, 295727 markings/sec, 110 secs
lola: 37413333 markings, 130429574 edges, 294007 markings/sec, 115 secs
lola: 38957051 markings, 135818342 edges, 308744 markings/sec, 120 secs
lola: 40508316 markings, 141234204 edges, 310253 markings/sec, 125 secs
lola: 41938076 markings, 146225802 edges, 285952 markings/sec, 130 secs
lola: 43465245 markings, 151557526 edges, 305434 markings/sec, 135 secs
lola: 44974794 markings, 156827720 edges, 301910 markings/sec, 140 secs
lola: 46468229 markings, 162042300 edges, 298687 markings/sec, 145 secs
lola: 47942218 markings, 167188513 edges, 294798 markings/sec, 150 secs
lola: 49471500 markings, 172528321 edges, 305856 markings/sec, 155 secs
lola: 50981707 markings, 177801597 edges, 302041 markings/sec, 160 secs
lola: 52482678 markings, 183042485 edges, 300194 markings/sec, 165 secs
lola: 53822116 markings, 187719085 edges, 267888 markings/sec, 170 secs
lola: 55319301 markings, 192947571 edges, 299437 markings/sec, 175 secs
lola: 56753416 markings, 197955152 edges, 286823 markings/sec, 180 secs
lola: 58220544 markings, 203078943 edges, 293426 markings/sec, 185 secs
lola: 59645450 markings, 208054938 edges, 284981 markings/sec, 190 secs
lola: 61161362 markings, 213347869 edges, 303182 markings/sec, 195 secs
lola: 62680492 markings, 218653327 edges, 303826 markings/sec, 200 secs
lola: 64127829 markings, 223708410 edges, 289467 markings/sec, 205 secs
lola: 65515182 markings, 228553766 edges, 277471 markings/sec, 210 secs
lola: 66887780 markings, 233346911 edges, 274520 markings/sec, 215 secs
lola: 68300347 markings, 238280680 edges, 282513 markings/sec, 220 secs
lola: 69675724 markings, 243083715 edges, 275075 markings/sec, 225 secs
lola: 70933428 markings, 247476794 edges, 251541 markings/sec, 230 secs
lola: 72359966 markings, 252459029 edges, 285308 markings/sec, 235 secs
lola: 73767600 markings, 257375587 edges, 281527 markings/sec, 240 secs
lola: 75266070 markings, 262609414 edges, 299694 markings/sec, 245 secs
lola: 76729761 markings, 267721759 edges, 292738 markings/sec, 250 secs
lola: 78191266 markings, 272826610 edges, 292301 markings/sec, 255 secs
lola: 79643992 markings, 277900712 edges, 290545 markings/sec, 260 secs
lola: 81072721 markings, 282890809 edges, 285746 markings/sec, 265 secs
lola: 82535592 markings, 288000835 edges, 292574 markings/sec, 270 secs
lola: 83990057 markings, 293081401 edges, 290893 markings/sec, 275 secs
lola: 85410313 markings, 298042202 edges, 284051 markings/sec, 280 secs
lola: 86854966 markings, 303087731 edges, 288931 markings/sec, 285 secs
lola: 88287302 markings, 308091000 edges, 286467 markings/sec, 290 secs
lola: 89685547 markings, 312977700 edges, 279649 markings/sec, 295 secs
lola: 91128964 markings, 318022043 edges, 288683 markings/sec, 300 secs
lola: 92537394 markings, 322939246 edges, 281686 markings/sec, 305 secs
lola: 93168813 markings, 325143648 edges, 126284 markings/sec, 310 secs
lola: 94336737 markings, 329223537 edges, 233585 markings/sec, 315 secs
lola: 94939578 markings, 331329661 edges, 120568 markings/sec, 320 secs
lola: 96054945 markings, 335225920 edges, 223073 markings/sec, 325 secs
lola: 96934996 markings, 338300130 edges, 176010 markings/sec, 330 secs
lola: 97748531 markings, 341142251 edges, 162707 markings/sec, 335 secs
lola: 98915784 markings, 345218725 edges, 233451 markings/sec, 340 secs
lola: 100023726 markings, 349090460 edges, 221588 markings/sec, 345 secs
lola: 100443921 markings, 350557995 edges, 84039 markings/sec, 350 secs
lola: 101724779 markings, 355032751 edges, 256172 markings/sec, 355 secs
lola: 102371595 markings, 357292512 edges, 129363 markings/sec, 360 secs
lola: 102565032 markings, 357967329 edges, 38687 markings/sec, 365 secs
lola: 103841176 markings, 362426361 edges, 255229 markings/sec, 370 secs
lola: 103841176 markings, 362426361 edges, 0 markings/sec, 375 secs
lola: 104198940 markings, 363675482 edges, 71553 markings/sec, 380 secs
lola: 105322492 markings, 367600665 edges, 224710 markings/sec, 385 secs
lola: 105322492 markings, 367600665 edges, 0 markings/sec, 390 secs
lola: 105972110 markings, 369870162 edges, 129924 markings/sec, 395 secs
lola: 106688371 markings, 372372173 edges, 143252 markings/sec, 400 secs
lola: 106794872 markings, 372744718 edges, 21300 markings/sec, 405 secs
lola: 108102002 markings, 377310828 edges, 261426 markings/sec, 410 secs
lola: 108102002 markings, 377310828 edges, 0 markings/sec, 415 secs
lola: 108745524 markings, 379559275 edges, 128704 markings/sec, 420 secs
lola: 109539649 markings, 382334370 edges, 158825 markings/sec, 425 secs
lola: 109539649 markings, 382334370 edges, 0 markings/sec, 430 secs
lola: 110318855 markings, 385055814 edges, 155841 markings/sec, 435 secs
lola: 110872027 markings, 386988979 edges, 110634 markings/sec, 440 secs
lola: 110948352 markings, 387254538 edges, 15265 markings/sec, 445 secs
lola: 110959934 markings, 387296109 edges, 2316 markings/sec, 450 secs
lola: 110960454 markings, 387297721 edges, 104 markings/sec, 455 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((p2 <= p19)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:594
lola: rewrite Frontend/Parser/formula_rewrite.k:629
lola: rewrite Frontend/Parser/formula_rewrite.k:758
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p19 + 1 <= p2)
lola: processed formula length: 15
lola: 15 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 /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
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:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p2 <= p19)
lola: state equation task get result unparse finished id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (p19 + 1 <= p2)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-17-0.sara
lola: state equation: write sara problem file to CTLCardinality-17-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-17-0.sara.
sara: try reading problem file CTLCardinality-17-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced

lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 3634867 markings, 5482831 edges, 726973 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 7218381 markings, 10876185 edges, 716703 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 10694763 markings, 16105480 edges, 695276 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 14230514 markings, 21422551 edges, 707150 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 17709873 markings, 26653710 edges, 695872 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 21103283 markings, 31754832 edges, 678682 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 24517217 markings, 36886356 edges, 682787 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 27847297 markings, 41891045 edges, 666016 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 31196487 markings, 46924421 edges, 669838 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 34450013 markings, 51813788 edges, 650705 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 37673883 markings, 56657912 edges, 644774 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 41078395 markings, 61773476 edges, 680902 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 44402445 markings, 66768010 edges, 664810 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 47633947 markings, 71622987 edges, 646300 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 50936736 markings, 76585238 edges, 660558 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 54178482 markings, 81455304 edges, 648349 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 57370739 markings, 86251061 edges, 638451 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 60571466 markings, 91059340 edges, 640145 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 63861633 markings, 96001860 edges, 658033 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 67006137 markings, 100725421 edges, 628901 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 70174588 markings, 105484771 edges, 633690 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 73299847 markings, 110179167 edges, 625052 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 76493737 markings, 114976700 edges, 638778 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 79661742 markings, 119735322 edges, 633601 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 82788193 markings, 124431205 edges, 625290 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 85912348 markings, 129123788 edges, 624831 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 89033439 markings, 133811534 edges, 624218 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 92405265 markings, 138876045 edges, 674365 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 95744033 markings, 143890472 edges, 667754 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 99034768 markings, 148832952 edges, 658147 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 102299829 markings, 153736507 edges, 653012 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 105509984 markings, 158557703 edges, 642031 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 108540411 markings, 163108771 edges, 606085 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 109353564 markings, 164330317 edges, 162631 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 110850091 markings, 166577707 edges, 299305 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 113956324 markings, 171242649 edges, 621247 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 116573101 markings, 175172459 edges, 523355 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 118959214 markings, 178755950 edges, 477223 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 119800989 markings, 180020125 edges, 168355 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 121331519 markings, 182318622 edges, 306106 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 122753076 markings, 184453329 edges, 284311 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 124547336 markings, 187148124 edges, 358852 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 126156287 markings, 189564092 edges, 321790 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 127425153 markings, 191469675 edges, 253773 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 129258953 markings, 194223682 edges, 366760 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 131134575 markings, 197040482 edges, 375124 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 132810477 markings, 199557030 edges, 335180 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 132968161 markings, 199793958 edges, 31537 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 132982256 markings, 199815098 edges, 2819 markings/sec, 240 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (A (((3 <= p22) U (p22 <= p10)))))
lola: ========================================
lola: SUBTASK
lola: checking a universal CTL formula with single counterexample path (use LTL...)
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((3 <= p22) U (p22 <= p10)))
lola: processed formula length: 31
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 2444725 markings, 4888483 edges, 488945 markings/sec, 0 secs
lola: 4931852 markings, 9863062 edges, 497425 markings/sec, 5 secs
lola: 7261320 markings, 14522096 edges, 465894 markings/sec, 10 secs
lola: 9520737 markings, 19041028 edges, 451883 markings/sec, 15 secs
lola: 11802475 markings, 23604603 edges, 456348 markings/sec, 20 secs
lola: 14093605 markings, 28186961 edges, 458226 markings/sec, 25 secs
lola: 16367650 markings, 32735151 edges, 454809 markings/sec, 30 secs
lola: 18657174 markings, 37314299 edges, 457905 markings/sec, 35 secs
lola: 20880233 markings, 41760511 edges, 444612 markings/sec, 40 secs
lola: 23155538 markings, 46311219 edges, 455061 markings/sec, 45 secs
lola: 25521934 markings, 51044112 edges, 473279 markings/sec, 50 secs
lola: 27857839 markings, 55716024 edges, 467181 markings/sec, 55 secs
lola: 30180274 markings, 60360995 edges, 464487 markings/sec, 60 secs
lola: 32476331 markings, 64953210 edges, 459211 markings/sec, 65 secs
lola: 34846765 markings, 69572926 edges, 474087 markings/sec, 70 secs
lola: 37865788 markings, 74667594 edges, 603805 markings/sec, 75 secs
lola: 40743761 markings, 79524894 edges, 575595 markings/sec, 80 secs
lola: 43521944 markings, 84213042 edges, 555637 markings/sec, 85 secs
lola: 46268325 markings, 88848092 edges, 549276 markings/sec, 90 secs
lola: 48753313 markings, 93042304 edges, 496998 markings/sec, 95 secs
lola: 51384715 markings, 97482629 edges, 526280 markings/sec, 100 secs
lola: 53843012 markings, 101631322 edges, 491659 markings/sec, 105 secs
lola: 56390403 markings, 105930890 edges, 509478 markings/sec, 110 secs
lola: 58999828 markings, 110334465 edges, 521885 markings/sec, 115 secs
lola: 61596215 markings, 114716539 edges, 519277 markings/sec, 120 secs
lola: 64151110 markings, 119028144 edges, 510979 markings/sec, 125 secs
lola: 66657852 markings, 123258596 edges, 501348 markings/sec, 130 secs
lola: 69203698 markings, 127554753 edges, 509169 markings/sec, 135 secs
lola: 71653499 markings, 131689573 edges, 489960 markings/sec, 140 secs
lola: 73968557 markings, 135596524 edges, 463012 markings/sec, 145 secs
lola: 76136673 markings, 139255710 edges, 433623 markings/sec, 150 secs
lola: 78406053 markings, 143085503 edges, 453876 markings/sec, 155 secs
lola: 80923715 markings, 147334340 edges, 503532 markings/sec, 160 secs
lola: 83391565 markings, 151499092 edges, 493570 markings/sec, 165 secs
lola: 85788285 markings, 155543872 edges, 479344 markings/sec, 170 secs
lola: 88198763 markings, 159612291 edges, 482096 markings/sec, 175 secs
lola: 90634327 markings, 163722613 edges, 487113 markings/sec, 180 secs
lola: 93025504 markings, 167757765 edges, 478235 markings/sec, 185 secs
lola: 95345840 markings, 171674051 edges, 464067 markings/sec, 190 secs
lola: 97663821 markings, 175585758 edges, 463596 markings/sec, 195 secs
lola: 99998097 markings, 179525217 edges, 466855 markings/sec, 200 secs
lola: 102337419 markings, 183472879 edges, 467864 markings/sec, 205 secs
lola: 104615744 markings, 187317904 edges, 455665 markings/sec, 210 secs
lola: 106914167 markings, 191197120 edges, 459685 markings/sec, 215 secs
lola: 109112608 markings, 194907841 edges, 439688 markings/sec, 220 secs
lola: 109867460 markings, 196181339 edges, 150970 markings/sec, 225 secs
lola: 111133311 markings, 198317560 edges, 253170 markings/sec, 230 secs
lola: 112568556 markings, 200739846 edges, 287049 markings/sec, 235 secs
lola: 113361295 markings, 202077336 edges, 158548 markings/sec, 240 secs
lola: 114922843 markings, 204712995 edges, 312310 markings/sec, 245 secs
lola: 115803696 markings, 206199577 edges, 176171 markings/sec, 250 secs
lola: 117322423 markings, 208762664 edges, 303745 markings/sec, 255 secs
lola: 118803273 markings, 211261423 edges, 296170 markings/sec, 260 secs
lola: 120201876 markings, 213621836 edges, 279721 markings/sec, 265 secs
lola: 121818473 markings, 216349998 edges, 323319 markings/sec, 270 secs
lola: 123004231 markings, 218351010 edges, 237152 markings/sec, 275 secs
lola: 123663307 markings, 219463528 edges, 131815 markings/sec, 280 secs
lola: 125405445 markings, 222403723 edges, 348428 markings/sec, 285 secs
lola: 125798016 markings, 223066460 edges, 78514 markings/sec, 290 secs
lola: 127252131 markings, 225520495 edges, 290823 markings/sec, 295 secs
lola: 128205537 markings, 227128999 edges, 190681 markings/sec, 300 secs
lola: 130219191 markings, 230527686 edges, 402731 markings/sec, 305 secs
lola: 130402690 markings, 230837312 edges, 36700 markings/sec, 310 secs
lola: 131115212 markings, 232039533 edges, 142504 markings/sec, 315 secs
lola: 132636960 markings, 234608094 edges, 304350 markings/sec, 320 secs
lola: 132636960 markings, 234608094 edges, 0 markings/sec, 325 secs
lola: 133364413 markings, 235835490 edges, 145491 markings/sec, 330 secs
lola: 133364452 markings, 235835554 edges, 8 markings/sec, 335 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes yes yes no no no yes unknown yes unknown unknown unknown yes unknown
lola:
preliminary result: yes yes yes no no no yes unknown yes unknown unknown unknown yes unknown
lola: memory consumption: 3524 KB
lola: time consumption: 3281 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
rslt: finished

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

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