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

About the Execution of ITS-LoLa for FlexibleBarrier-PT-12a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15749.050 3600000.00 3602434.00 9615.90 ?T?TTT??F?TFFT?F 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.r170-smll-158987815700324.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 FlexibleBarrier-PT-12a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-158987815700324
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 312K
-rw-r--r-- 1 mcc users 3.6K Apr 4 18:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 4 18:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 4 07:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 4 07:19 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 3.8K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 3 21:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 21:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 3 13:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 3 13:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 128K 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 FlexibleBarrier-PT-12a-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591361180989

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 12:46:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 12:46:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 12:46:23] [INFO ] Load time of PNML (sax parser for PT used): 193 ms
[2020-06-05 12:46:23] [INFO ] Transformed 147 places.
[2020-06-05 12:46:24] [INFO ] Transformed 448 transitions.
[2020-06-05 12:46:24] [INFO ] Found NUPN structural information;
[2020-06-05 12:46:24] [INFO ] Parsed PT model containing 147 places and 448 transitions in 290 ms.
Ensure Unique test removed 122 transitions
Reduce redundant transitions removed 122 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 53 ms.
Incomplete random walk after 100000 steps, including 0 resets, run finished after 582 ms. (steps per millisecond=171 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
[2020-06-05 12:46:24] [INFO ] Flow matrix only has 314 transitions (discarded 12 similar events)
// Phase 1: matrix 314 rows 147 cols
[2020-06-05 12:46:24] [INFO ] Computed 14 place invariants in 13 ms
[2020-06-05 12:46:24] [INFO ] [Real]Absence check using 14 positive place invariants in 24 ms returned unsat
[2020-06-05 12:46:24] [INFO ] [Real]Absence check using 14 positive place invariants in 9 ms returned unsat
Successfully simplified 2 atomic propositions for a total of 2 simplifications.
[2020-06-05 12:46:25] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-05 12:46:25] [INFO ] Flatten gal took : 86 ms
[2020-06-05 12:46:25] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-05 12:46:25] [INFO ] Flatten gal took : 49 ms
FORMULA FlexibleBarrier-PT-12a-CTLFireability-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FlexibleBarrier-PT-12a-CTLFireability-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FlexibleBarrier-PT-12a-CTLFireability-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 12:46:25] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 9 ms.
[2020-06-05 12:46:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 9 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ FlexibleBarrier-PT-12a @ 3570 seconds

FORMULA FlexibleBarrier-PT-12a-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-12a-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-12a-CTLFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-12a-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-12a-CTLFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-12a-CTLFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-12a-CTLFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ FlexibleBarrier-PT-12a

{
"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=CTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Jun 5 12:46:26 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 1,
"G": 0,
"U": 1,
"X": 0,
"aconj": 3,
"adisj": 1,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "E((((1 <= p47) AND (1 <= p96) AND (1 <= p145)) OR ((1 <= p12) AND (1 <= p107) AND (1 <= p145))) U AF(((1 <= p11) AND (1 <= p145))))",
"processed_size": 132,
"rewrites": 15
},
"net":
{
"conflict_clusters": 52,
"singleton_clusters": 0
},
"result":
{
"edges": 8,
"markings": 5,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 308
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 2,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 0,
"aconj": 3,
"adisj": 4,
"aneg": 0,
"comp": 10,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "A((((1 <= p55) AND (1 <= p146)) OR (((p142 <= 0)) AND ((p108 <= 0) OR (p131 <= 0) OR (p145 <= 0)))) U (((p65 <= 0)) AND AF(((1 <= p108) AND (1 <= p131) AND (1 <= p145)))))",
"processed_size": 174,
"rewrites": 15
},
"net":
{
"conflict_clusters": 52,
"singleton_clusters": 0
},
"result":
{
"edges": 12,
"markings": 4,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 352
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 1,
"G": 0,
"U": 1,
"X": 0,
"aconj": 9,
"adisj": 4,
"aneg": 0,
"comp": 17,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 17,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 14,
"visible_transitions": 0
},
"processed": "E((AF(((1 <= p96))) OR ((((1 <= p104)) OR ((1 <= p120) AND (1 <= p131) AND (1 <= p145))) AND (((1 <= p5)) OR ((1 <= p19) AND (1 <= p146))))) U ((1 <= p38) AND ((p36 <= 0)) AND (1 <= p146) AND (((1 <= p12) AND (1 <= p35) AND (1 <= p145)) OR ((1 <= p33) AND (1 <= p90) AND (1 <= p145)))))",
"processed_size": 289,
"rewrites": 15
},
"net":
{
"conflict_clusters": 52,
"singleton_clusters": 0
},
"result":
{
"edges": 3437,
"markings": 1360,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 411
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 3,
"F": 1,
"G": 1,
"U": 1,
"X": 0,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "E((EG(((1 <= p96) AND (1 <= p119) AND (1 <= p145))) OR EF(((1 <= p49)))) U ((1 <= p31) AND (1 <= p146)))",
"processed_size": 104,
"rewrites": 16
},
"net":
{
"conflict_clusters": 52,
"singleton_clusters": 0
},
"result":
{
"edges": 2721,
"markings": 764,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 771
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "E (F (((1 <= p29) AND (1 <= p146))))",
"processed_size": 36,
"rewrites": 14
},
"result":
{
"edges": 8,
"markings": 9,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 11,
"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"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 10,
"type": "boolean"
}
},

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1542
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((p27 <= 0))",
"processed_size": 12,
"rewrites": 16
},
"result":
{
"edges": 18,
"markings": 18,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "eventual_occurrence",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 11,
"type": "boolean"
}
},

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

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

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

{
"formula":
{
"count":
{
"A": 1,
"E": 2,
"F": 1,
"G": 0,
"U": 1,
"X": 1,
"aconj": 3,
"adisj": 2,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "E((AF(((1 <= p136) AND (1 <= p146))) OR (((p71 <= 0)) OR ((p8 <= 0)))) U (EX(((1 <= p107))) AND ((1 <= p75))))",
"processed_size": 110,
"rewrites": 16
},
"net":
{
"conflict_clusters": 52,
"singleton_clusters": 0
},
"result":
{
"edges": 247924430,
"markings": 46974569,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
],
"exit":
{
"error": null,
"memory": 56168,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "E((E(G(*)) U A(G(**)))) : E(((A(F(**)) OR (** OR **)) U (E(X(**)) AND **))) : E(X(E(F(A(G(**)))))) : (E(F(**)) AND (E(F(*)) OR **)) : E(((A(F(**)) OR **) U **)) : (E(F(**)) OR **) : (E(F(A(G(**)))) AND A(X(**))) : E(F(A(X(**)))) : E(F((E(G(**)) AND (A(G(**)) OR **)))) : E(((E(G(**)) OR E(F(**))) U **)) : A((** U (** AND A(F(**))))) : (A(G(**)) OR (A(F(**)) OR **)) : E((** U A(F(**))))"
},
"net":
{
"arcs": 1317,
"conflict_clusters": 52,
"places": 147,
"places_significant": 133,
"singleton_clusters": 0,
"transitions": 326
},
"result":
{
"interim_value": "unknown yes unknown yes yes yes unknown unknown unknown yes no unknown no ",
"preliminary_value": "unknown yes unknown yes yes yes unknown unknown unknown yes no unknown no "
},
"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: 473/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 147
lola: finding significant places
lola: 147 places, 326 transitions, 133 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 CTLFireability.xml
lola: LP says that atomic proposition is always true: (p28 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p24 <= 1)
lola: LP says that atomic proposition is always true: (p59 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p136 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p8 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p95 <= 1)
lola: LP says that atomic proposition is always true: (p120 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p38 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p60 <= 1)
lola: LP says that atomic proposition is always true: (p119 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p1 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p104 <= 1)
lola: LP says that atomic proposition is always true: (p120 <= 1)
lola: LP says that atomic proposition is always true: (p131 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p5 <= 1)
lola: LP says that atomic proposition is always true: (p19 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p38 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p33 <= 1)
lola: LP says that atomic proposition is always true: (p90 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p83 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p29 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p23 <= 1)
lola: LP says that atomic proposition is always true: (p72 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p17 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p11 <= 1)
lola: LP says that atomic proposition is always true: (p132 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p46 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p59 <= 1)
lola: LP says that atomic proposition is always true: (p84 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p10 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p95 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p68 <= 1)
lola: LP says that atomic proposition is always true: (p47 <= 1)
lola: LP says that atomic proposition is always true: (p84 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p119 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p31 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p55 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p142 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p131 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p65 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p131 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p0 <= 1)
lola: LP says that atomic proposition is always true: (p27 <= 1)
lola: LP says that atomic proposition is always true: (p24 <= 1)
lola: LP says that atomic proposition is always true: (p143 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p47 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p11 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: E ((NOT(A (F (((1 <= p28) AND (1 <= p146))))) U A (G (((1 <= p24) AND (1 <= p59) AND (1 <= p145)))))) : E ((((A (F (((1 <= p136) AND (1 <= p146)))) OR ((p71 <= 0))) OR ((p8 <= 0))) U (E (X (((1 <= p107)))) AND ((1 <= p75))))) : E (X (E (F (A (G (((1 <= p95) AND (1 <= p120) AND (1 <= p145)))))))) : (A (F (E (F (((1 <= p38) AND (1 <= p146)))))) AND (NOT(A (G (((p60 <= 0) OR (p119 <= 0) OR (p145 <= 0))))) OR A (((1 <= 0) U (((1 <= p1)) OR ((1 <= p36) AND (1 <= p71) AND (1 <= p145))))))) : E (((A (F (((1 <= p96)))) OR ((((1 <= p104)) OR ((1 <= p120) AND (1 <= p131) AND (1 <= p145))) AND (((1 <= p5)) OR ((1 <= p19) AND (1 <= p146))))) U ((1 <= p38) AND ((p36 <= 0)) AND (1 <= p146) AND (((1 <= p12) AND (1 <= p35) AND (1 <= p145)) OR ((1 <= p33) AND (1 <= p90) AND (1 <= p145)))))) : (E ((E (X (((1 <= p83) AND (1 <= p108) AND (1 <= p145)))) U E (F (((1 <= p29) AND (1 <= p146)))))) OR ((1 <= p23) AND (1 <= p72) AND (1 <= p145))) : (E (F (A (G (((p17 <= 0) OR (p146 <= 0)))))) AND A (X (((p11 <= 0) OR (p132 <= 0) OR (p145 <= 0))))) : E (F (A (F (A (X (((1 <= p46)))))))) : E (F ((E (G (((1 <= p71) AND (1 <= p145) AND (1 <= p59) AND (1 <= p84) AND (1 <= p145)))) AND (A (G (((1 <= p10)))) OR ((1 <= p12) AND (1 <= p95) AND (1 <= p145) AND (1 <= p68) AND ((p47 <= 0) OR (p84 <= 0))))))) : E (((E (G (((1 <= p96) AND (1 <= p119) AND (1 <= p145)))) OR E (F (((1 <= p49))))) U ((1 <= p31) AND (1 <= p146)))) : A (((((1 <= p55) AND (1 <= p146)) OR (((p142 <= 0)) AND ((p108 <= 0) OR (p131 <= 0) OR (p145 <= 0)))) U (((p65 <= 0)) AND A (F (((1 <= p108) AND (1 <= p131) AND (1 <= p145))))))) : ((A (G (((1 <= p0)))) OR A (F (((1 <= p27))))) OR ((1 <= p24) AND (1 <= p143) AND (1 <= p145))) : E (((((1 <= p47) AND (1 <= p96) AND (1 <= p145)) OR ((1 <= p12) AND (1 <= p107) AND (1 <= p145))) U A (F (((1 <= p11) AND (1 <= p145))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:449
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:184
lola: rewrite Frontend/Parser/formula_rewrite.k:473
lola: rewrite Frontend/Parser/formula_rewrite.k:455
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((A (F (((1 <= p136) AND (1 <= p146)))) OR (((p71 <= 0)) OR ((p8 <= 0)))) U (E (X (((1 <= p107)))) AND ((1 <= p75)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((AF(((1 <= p136) AND (1 <= p146))) OR (((p71 <= 0)) OR ((p8 <= 0)))) U (EX(((1 <= p107))) AND ((1 <= p75))))
lola: processed formula length: 110
lola: 16 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 312430 markings, 1415767 edges, 62486 markings/sec, 0 secs
lola: 649225 markings, 3002234 edges, 67359 markings/sec, 5 secs
lola: 968289 markings, 4569448 edges, 63813 markings/sec, 10 secs
lola: 1261401 markings, 6030202 edges, 58622 markings/sec, 15 secs
lola: 1577595 markings, 7624140 edges, 63239 markings/sec, 20 secs
lola: 1913779 markings, 9198307 edges, 67237 markings/sec, 25 secs
lola: 2236605 markings, 10764558 edges, 64565 markings/sec, 30 secs
lola: 2576249 markings, 12387969 edges, 67929 markings/sec, 35 secs
lola: 2892300 markings, 13967279 edges, 63210 markings/sec, 40 secs
lola: 3216057 markings, 15565212 edges, 64751 markings/sec, 45 secs
lola: 3515048 markings, 17073155 edges, 59798 markings/sec, 50 secs
lola: 3802241 markings, 18537969 edges, 57439 markings/sec, 55 secs
lola: 4070121 markings, 19886475 edges, 53576 markings/sec, 60 secs
lola: 4375293 markings, 21436211 edges, 61034 markings/sec, 65 secs
lola: 4678038 markings, 22985825 edges, 60549 markings/sec, 70 secs
lola: 4967961 markings, 24491271 edges, 57985 markings/sec, 75 secs
lola: 5261122 markings, 26012373 edges, 58632 markings/sec, 80 secs
lola: 5553582 markings, 27522692 edges, 58492 markings/sec, 85 secs
lola: 5850808 markings, 29062206 edges, 59445 markings/sec, 90 secs
lola: 6147731 markings, 30591443 edges, 59385 markings/sec, 95 secs
lola: 6439385 markings, 32126448 edges, 58331 markings/sec, 100 secs
lola: 6736202 markings, 33653327 edges, 59363 markings/sec, 105 secs
lola: 7031192 markings, 35189598 edges, 58998 markings/sec, 110 secs
lola: 7328884 markings, 36731210 edges, 59538 markings/sec, 115 secs
lola: 7615932 markings, 38234658 edges, 57410 markings/sec, 120 secs
lola: 7903058 markings, 39737223 edges, 57425 markings/sec, 125 secs
lola: 8185529 markings, 41228790 edges, 56494 markings/sec, 130 secs
lola: 8470509 markings, 42738924 edges, 56996 markings/sec, 135 secs
lola: 8753482 markings, 44232990 edges, 56595 markings/sec, 140 secs
lola: 9038169 markings, 45736396 edges, 56937 markings/sec, 145 secs
lola: 9319683 markings, 47227110 edges, 56303 markings/sec, 150 secs
lola: 9609427 markings, 48753073 edges, 57949 markings/sec, 155 secs
lola: 9911413 markings, 50312006 edges, 60397 markings/sec, 160 secs
lola: 10191319 markings, 51802517 edges, 55981 markings/sec, 165 secs
lola: 10540357 markings, 53431970 edges, 69808 markings/sec, 170 secs
lola: 10873256 markings, 55064059 edges, 66580 markings/sec, 175 secs
lola: 11196668 markings, 56672480 edges, 64682 markings/sec, 180 secs
lola: 11533918 markings, 58295927 edges, 67450 markings/sec, 185 secs
lola: 11859855 markings, 59891566 edges, 65187 markings/sec, 190 secs
lola: 12172639 markings, 61457428 edges, 62557 markings/sec, 195 secs
lola: 12481621 markings, 63029646 edges, 61796 markings/sec, 200 secs
lola: 12790641 markings, 64596975 edges, 61804 markings/sec, 205 secs
lola: 13095862 markings, 66156819 edges, 61044 markings/sec, 210 secs
lola: 13394521 markings, 67705667 edges, 59732 markings/sec, 215 secs
lola: 13696470 markings, 69256900 edges, 60390 markings/sec, 220 secs
lola: 13991204 markings, 70784806 edges, 58947 markings/sec, 225 secs
lola: 14282486 markings, 72300729 edges, 58256 markings/sec, 230 secs
lola: 14556508 markings, 73733272 edges, 54804 markings/sec, 235 secs
lola: 14826345 markings, 75144498 edges, 53967 markings/sec, 240 secs
lola: 15101427 markings, 76570185 edges, 55016 markings/sec, 245 secs
lola: 15369287 markings, 77979975 edges, 53572 markings/sec, 250 secs
lola: 15642759 markings, 79408329 edges, 54694 markings/sec, 255 secs
lola: 15911176 markings, 80821087 edges, 53683 markings/sec, 260 secs
lola: 16207931 markings, 82297776 edges, 59351 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4767196 KB
lola: time consumption: 279 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F (A (G (((1 <= p95) AND (1 <= p120) AND (1 <= p145))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(EF(AG(((1 <= p95) AND (1 <= p120) AND (1 <= p145)))))
lola: processed formula length: 56
lola: 16 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 697911 markings, 2532836 edges, 139582 markings/sec, 0 secs
lola: 1260829 markings, 4762561 edges, 112584 markings/sec, 5 secs
lola: 1835107 markings, 7018112 edges, 114856 markings/sec, 10 secs
lola: 2442581 markings, 9340112 edges, 121495 markings/sec, 15 secs
lola: 3008775 markings, 11561978 edges, 113239 markings/sec, 20 secs
lola: 3557043 markings, 13716484 edges, 109654 markings/sec, 25 secs
lola: 4060214 markings, 15757071 edges, 100634 markings/sec, 30 secs
lola: 4569965 markings, 17828141 edges, 101950 markings/sec, 35 secs
lola: 5051555 markings, 19837982 edges, 96318 markings/sec, 40 secs
lola: 5521320 markings, 21804952 edges, 93953 markings/sec, 45 secs
lola: 5992932 markings, 23771491 edges, 94322 markings/sec, 50 secs
lola: 6441935 markings, 25665312 edges, 89801 markings/sec, 55 secs
lola: 6953734 markings, 27827981 edges, 102360 markings/sec, 60 secs
lola: 7432537 markings, 29877135 edges, 95761 markings/sec, 65 secs
lola: 7924516 markings, 31981630 edges, 98396 markings/sec, 70 secs
lola: 8412568 markings, 34037523 edges, 97610 markings/sec, 75 secs
lola: 8895854 markings, 36104588 edges, 96657 markings/sec, 80 secs
lola: 9371001 markings, 38148589 edges, 95029 markings/sec, 85 secs
lola: 9846118 markings, 40182216 edges, 95023 markings/sec, 90 secs
lola: 10308689 markings, 42192451 edges, 92514 markings/sec, 95 secs
lola: 10782563 markings, 44237060 edges, 94775 markings/sec, 100 secs
lola: 11236607 markings, 46222939 edges, 90809 markings/sec, 105 secs
lola: 11690364 markings, 48211932 edges, 90751 markings/sec, 110 secs
lola: 12162251 markings, 50238676 edges, 94377 markings/sec, 115 secs
lola: 12626373 markings, 52244210 edges, 92824 markings/sec, 120 secs
lola: 13276786 markings, 54707884 edges, 130083 markings/sec, 125 secs
lola: 13820711 markings, 56849733 edges, 108785 markings/sec, 130 secs
lola: 14391019 markings, 59066966 edges, 114062 markings/sec, 135 secs
lola: 14895392 markings, 61114110 edges, 100875 markings/sec, 140 secs
lola: 15382737 markings, 63105152 edges, 97469 markings/sec, 145 secs
lola: 15880445 markings, 65177460 edges, 99542 markings/sec, 150 secs
lola: 16427641 markings, 67413322 edges, 109439 markings/sec, 155 secs
lola: 16917660 markings, 69481904 edges, 98004 markings/sec, 160 secs
lola: 17429675 markings, 71633659 edges, 102403 markings/sec, 165 secs
lola: 17919314 markings, 73734866 edges, 97928 markings/sec, 170 secs
lola: 18421789 markings, 75857602 edges, 100495 markings/sec, 175 secs
lola: 19000987 markings, 78153970 edges, 115840 markings/sec, 180 secs
lola: 19625040 markings, 80596405 edges, 124811 markings/sec, 185 secs
lola: 20155191 markings, 82798631 edges, 106030 markings/sec, 190 secs
lola: 20639410 markings, 84877941 edges, 96844 markings/sec, 195 secs
lola: 21172909 markings, 87077916 edges, 106700 markings/sec, 200 secs
lola: 21729007 markings, 89333713 edges, 111220 markings/sec, 205 secs
lola: 22200886 markings, 91366345 edges, 94376 markings/sec, 210 secs
lola: 22669095 markings, 93396462 edges, 93642 markings/sec, 215 secs
lola: 23136703 markings, 95428571 edges, 93522 markings/sec, 220 secs
lola: 23602317 markings, 97452404 edges, 93123 markings/sec, 225 secs
lola: 24075112 markings, 99500899 edges, 94559 markings/sec, 230 secs
lola: 24537989 markings, 101519602 edges, 92575 markings/sec, 235 secs
lola: 25066671 markings, 103710037 edges, 105736 markings/sec, 240 secs
lola: 25597488 markings, 105904692 edges, 106163 markings/sec, 245 secs
lola: 26088279 markings, 107997507 edges, 98158 markings/sec, 250 secs
lola: 26543263 markings, 109982173 edges, 90997 markings/sec, 255 secs
lola: 27044193 markings, 112091525 edges, 100186 markings/sec, 260 secs
lola: 27495992 markings, 114077232 edges, 90360 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5515936 KB
lola: time consumption: 554 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (A (G (((p17 <= 0) OR (p146 <= 0)))))) AND A (X (((p11 <= 0) OR (p132 <= 0) OR (p145 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((p17 <= 0) OR (p146 <= 0))))))
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: ((1 <= p17) AND (1 <= p146))
lola: processed formula length: 28
lola: 17 rewrites
lola: closed formula file CTLFireability.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: ((p17 <= 0) OR (p146 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
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: ((1 <= p17) AND (1 <= p146))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-2-1.sara
lola: lola: state equation: calling and running sara
state equation: write sara problem file to CTLFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-2-0.sara.
sara: try reading problem file CTLFireability-2-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic


lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 975327 markings, 1325013 edges, 195065 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 2021865 markings, 2770043 edges, 209308 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 3067114 markings, 4221169 edges, 209050 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 4102776 markings, 5666258 edges, 207132 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 5111146 markings, 7081130 edges, 201674 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 6086098 markings, 8452862 edges, 194990 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 7090740 markings, 9871172 edges, 200928 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 8087240 markings, 11285466 edges, 199300 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 9078311 markings, 12694940 edges, 198214 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 10061141 markings, 14094230 edges, 196566 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 11029294 markings, 15477259 edges, 193631 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 12005664 markings, 16876817 edges, 195274 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 12976343 markings, 18269797 edges, 194136 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 13935340 markings, 19646047 edges, 191799 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 14850084 markings, 20961184 edges, 182949 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 15811493 markings, 22347267 edges, 192282 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 16776606 markings, 23741331 edges, 193023 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 17750921 markings, 25149321 edges, 194863 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 18722922 markings, 26555540 edges, 194400 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 19680468 markings, 27942542 edges, 191509 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 20640475 markings, 29335565 edges, 192001 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 21592554 markings, 30718739 edges, 190416 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 22554199 markings, 32117214 edges, 192329 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 23503697 markings, 33501398 edges, 189900 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 24448968 markings, 34878566 edges, 189054 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 25387725 markings, 36247313 edges, 187751 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 26337793 markings, 37635693 edges, 190014 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 27284784 markings, 39017918 edges, 189398 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 28221397 markings, 40389332 edges, 187323 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 29163494 markings, 41769159 edges, 188419 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 30095404 markings, 43138041 edges, 186382 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 31035578 markings, 44515576 edges, 188035 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 31964302 markings, 45879247 edges, 185745 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 32892774 markings, 47243582 edges, 185694 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 33769077 markings, 48531120 edges, 175261 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 34668267 markings, 49855604 edges, 179838 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 35567679 markings, 51180507 edges, 179882 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 36471265 markings, 52512085 edges, 180717 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 37372204 markings, 53840580 edges, 180188 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 38272006 markings, 55167054 edges, 179960 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 39171361 markings, 56495967 edges, 179871 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 40071615 markings, 57826016 edges, 180051 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 40968725 markings, 59153272 edges, 179422 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 41863123 markings, 60476514 edges, 178880 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 42753980 markings, 61797677 edges, 178171 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 43642782 markings, 63115859 edges, 177760 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 44533485 markings, 64437448 edges, 178141 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 45423652 markings, 65757719 edges, 178033 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 46309959 markings, 67074689 edges, 177261 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 47195978 markings, 68388476 edges, 177204 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 48080448 markings, 69703290 edges, 176894 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 48964359 markings, 71016305 edges, 176782 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 49842718 markings, 72320795 edges, 175672 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 50722294 markings, 73629662 edges, 175915 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5213800 KB
lola: time consumption: 828 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5213964 KB
lola: time consumption: 828 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p46))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p46))))
lola: processed formula length: 20
lola: 15 rewrites
lola: closed formula file CTLFireability.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: 730637 markings, 1927820 edges, 146127 markings/sec, 0 secs
lola: 1342293 markings, 3750480 edges, 122331 markings/sec, 5 secs
lola: 1994603 markings, 5606120 edges, 130462 markings/sec, 10 secs
lola: 2621830 markings, 7436489 edges, 125445 markings/sec, 15 secs
lola: 3262925 markings, 9278400 edges, 128219 markings/sec, 20 secs
lola: 3859618 markings, 11073749 edges, 119339 markings/sec, 25 secs
lola: 4392545 markings, 12698179 edges, 106585 markings/sec, 30 secs
lola: 4928490 markings, 14387296 edges, 107189 markings/sec, 35 secs
lola: 5443688 markings, 16032476 edges, 103040 markings/sec, 40 secs
lola: 5959630 markings, 17668572 edges, 103188 markings/sec, 45 secs
lola: 6462839 markings, 19286498 edges, 100642 markings/sec, 50 secs
lola: 6956959 markings, 20885472 edges, 98824 markings/sec, 55 secs
lola: 7442010 markings, 22477163 edges, 97010 markings/sec, 60 secs
lola: 7927797 markings, 24068182 edges, 97157 markings/sec, 65 secs
lola: 8433286 markings, 25694129 edges, 101098 markings/sec, 70 secs
lola: 8907575 markings, 27248334 edges, 94858 markings/sec, 75 secs
lola: 9380140 markings, 28808774 edges, 94513 markings/sec, 80 secs
lola: 9866451 markings, 30399757 edges, 97262 markings/sec, 85 secs
lola: 10322750 markings, 31931192 edges, 91260 markings/sec, 90 secs
lola: 10793128 markings, 33491842 edges, 94076 markings/sec, 95 secs
lola: 11236399 markings, 34985510 edges, 88654 markings/sec, 100 secs
lola: 11679324 markings, 36484835 edges, 88585 markings/sec, 105 secs
lola: 12143083 markings, 38017782 edges, 92752 markings/sec, 110 secs
lola: 12607361 markings, 39552568 edges, 92856 markings/sec, 115 secs
lola: 13271270 markings, 41415037 edges, 132782 markings/sec, 120 secs
lola: 13898994 markings, 43238959 edges, 125545 markings/sec, 125 secs
lola: 14493080 markings, 44994985 edges, 118817 markings/sec, 130 secs
lola: 15050111 markings, 46694508 edges, 111406 markings/sec, 135 secs
lola: 15588543 markings, 48368000 edges, 107686 markings/sec, 140 secs
lola: 16152873 markings, 50130410 edges, 112866 markings/sec, 145 secs
lola: 16692520 markings, 51839527 edges, 107929 markings/sec, 150 secs
lola: 17218287 markings, 53516157 edges, 105153 markings/sec, 155 secs
lola: 17716096 markings, 55146440 edges, 99562 markings/sec, 160 secs
lola: 18235265 markings, 56826003 edges, 103834 markings/sec, 165 secs
lola: 18758366 markings, 58518075 edges, 104620 markings/sec, 170 secs
lola: 19457685 markings, 60467220 edges, 139864 markings/sec, 175 secs
lola: 20039182 markings, 62266963 edges, 116299 markings/sec, 180 secs
lola: 20516704 markings, 63834972 edges, 95504 markings/sec, 185 secs
lola: 21027756 markings, 65502762 edges, 102210 markings/sec, 190 secs
lola: 21636054 markings, 67313428 edges, 121660 markings/sec, 195 secs
lola: 22140067 markings, 68961746 edges, 100803 markings/sec, 200 secs
lola: 22620345 markings, 70560987 edges, 96056 markings/sec, 205 secs
lola: 23096178 markings, 72152989 edges, 95167 markings/sec, 210 secs
lola: 23565774 markings, 73725910 edges, 93919 markings/sec, 215 secs
lola: 24040623 markings, 75310876 edges, 94970 markings/sec, 220 secs
lola: 24456352 markings, 76718526 edges, 83146 markings/sec, 225 secs
lola: 24989599 markings, 78377888 edges, 106649 markings/sec, 230 secs
lola: 25491469 markings, 79974575 edges, 100374 markings/sec, 235 secs
lola: 25983305 markings, 81560967 edges, 98367 markings/sec, 240 secs
lola: 26427935 markings, 83053724 edges, 88926 markings/sec, 245 secs
lola: 26910717 markings, 84587271 edges, 96556 markings/sec, 250 secs
lola: 27359414 markings, 86137172 edges, 89739 markings/sec, 255 secs
lola: 27856912 markings, 87765964 edges, 99500 markings/sec, 260 secs
lola: 28268683 markings, 89186651 edges, 82354 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8214352 KB
lola: time consumption: 1102 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((((1 <= p47) AND (1 <= p96) AND (1 <= p145)) OR ((1 <= p12) AND (1 <= p107) AND (1 <= p145))) U A (F (((1 <= p11) AND (1 <= p145))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((((1 <= p47) AND (1 <= p96) AND (1 <= p145)) OR ((1 <= p12) AND (1 <= p107) AND (1 <= p145))) U AF(((1 <= p11) AND (1 <= p145))))
lola: processed formula length: 132
lola: 15 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 5 markings, 8 edges
lola: ========================================
lola: subprocess 5 will run for 308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((((1 <= p55) AND (1 <= p146)) OR (((p142 <= 0)) AND ((p108 <= 0) OR (p131 <= 0) OR (p145 <= 0)))) U (((p65 <= 0)) AND A (F (((1 <= p108) AND (1 <= p131) AND (1 <= p145)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: processed formula: A((((1 <= p55) AND (1 <= p146)) OR (((p142 <= 0)) AND ((p108 <= 0) OR (p131 <= 0) OR (p145 <= 0)))) U (((p65 <= 0)) AND AF(((1 <= p108) AND (1 <= p131) AND (1 <= p145)))))
lola: processed formula length: 174
lola: 15 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 4 markings, 12 edges
lola: ========================================
lola: subprocess 6 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((A (F (((1 <= p96)))) OR ((((1 <= p104)) OR ((1 <= p120) AND (1 <= p131) AND (1 <= p145))) AND (((1 <= p5)) OR ((1 <= p19) AND (1 <= p146))))) U ((1 <= p38) AND ((p36 <= 0)) AND (1 <= p146) AND (((1 <= p12) AND (1 <= p35) AND (1 <= p145)) OR ((1 <= p33) AND (1 <= p90) AND (1 <= p145))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((AF(((1 <= p96))) OR ((((1 <= p104)) OR ((1 <= p120) AND (1 <= p131) AND (1 <= p145))) AND (((1 <= p5)) OR ((1 <= p19) AND (1 <= p146))))) U ((1 <= p38) AND ((p36 <= 0)) AND (1 <= p146) AND (((1 <= p12) AND (1 <= p35) AND (1 <= p145)) OR ((1 <= p33) AND (1 <= p90) AND (1 <= p145)))))
lola: processed formula length: 289
lola: 15 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1360 markings, 3437 edges
lola: ========================================
lola: subprocess 7 will run for 411 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (G (((p28 <= 0) OR (p146 <= 0)))) U A (G (((1 <= p24) AND (1 <= p59) AND (1 <= p145))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(EG(((p28 <= 0) OR (p146 <= 0))) U AG(((1 <= p24) AND (1 <= p59) AND (1 <= p145))))
lola: processed formula length: 85
lola: 16 rewrites
lola: closed formula file CTLFireability.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: 441282 markings, 2306245 edges, 88256 markings/sec, 0 secs
lola: 897434 markings, 4703976 edges, 91230 markings/sec, 5 secs
lola: 1318214 markings, 7022116 edges, 84156 markings/sec, 10 secs
lola: 1747597 markings, 9353680 edges, 85877 markings/sec, 15 secs
lola: 2101659 markings, 11338449 edges, 70812 markings/sec, 20 secs
lola: 2498002 markings, 13558048 edges, 79269 markings/sec, 25 secs
lola: 2868207 markings, 15653527 edges, 74041 markings/sec, 30 secs
lola: 3275364 markings, 17840714 edges, 81431 markings/sec, 35 secs
lola: 3699737 markings, 20124026 edges, 84875 markings/sec, 40 secs
lola: 4100337 markings, 22331883 edges, 80120 markings/sec, 45 secs
lola: 4474746 markings, 24420131 edges, 74882 markings/sec, 50 secs
lola: 4866158 markings, 26613879 edges, 78282 markings/sec, 55 secs
lola: 5246559 markings, 28770216 edges, 76080 markings/sec, 60 secs
lola: 5617807 markings, 30887740 edges, 74250 markings/sec, 65 secs
lola: 5982772 markings, 32979506 edges, 72993 markings/sec, 70 secs
lola: 6347440 markings, 35067493 edges, 72934 markings/sec, 75 secs
lola: 6706618 markings, 37138713 edges, 71836 markings/sec, 80 secs
lola: 7123336 markings, 39408979 edges, 83344 markings/sec, 85 secs
lola: 7538121 markings, 41675802 edges, 82957 markings/sec, 90 secs
lola: 7886711 markings, 43704966 edges, 69718 markings/sec, 95 secs
lola: 8229434 markings, 45710098 edges, 68545 markings/sec, 100 secs
lola: 8627062 markings, 47907366 edges, 79526 markings/sec, 105 secs
lola: 8972798 markings, 49920449 edges, 69147 markings/sec, 110 secs
lola: 9350139 markings, 52035581 edges, 75468 markings/sec, 115 secs
lola: 9690053 markings, 53994072 edges, 67983 markings/sec, 120 secs
lola: 10053647 markings, 56071023 edges, 72719 markings/sec, 125 secs
lola: 10399746 markings, 58076302 edges, 69220 markings/sec, 130 secs
lola: 10740995 markings, 60065732 edges, 68250 markings/sec, 135 secs
lola: 11082113 markings, 62049836 edges, 68224 markings/sec, 140 secs
lola: 11428647 markings, 64062483 edges, 69307 markings/sec, 145 secs
lola: 11780247 markings, 66097546 edges, 70320 markings/sec, 150 secs
lola: 12128263 markings, 68110184 edges, 69603 markings/sec, 155 secs
lola: 12473591 markings, 70121226 edges, 69066 markings/sec, 160 secs
lola: 12814360 markings, 72102921 edges, 68154 markings/sec, 165 secs
lola: 13145853 markings, 74046475 edges, 66299 markings/sec, 170 secs
lola: 13479675 markings, 76000158 edges, 66764 markings/sec, 175 secs
lola: 13815215 markings, 77968566 edges, 67108 markings/sec, 180 secs
lola: 14145873 markings, 79912678 edges, 66132 markings/sec, 185 secs
lola: 14479117 markings, 81868210 edges, 66649 markings/sec, 190 secs
lola: 14801555 markings, 83777206 edges, 64488 markings/sec, 195 secs
lola: 15122632 markings, 85681925 edges, 64215 markings/sec, 200 secs
lola: 15454604 markings, 87636698 edges, 66394 markings/sec, 205 secs
lola: 15785229 markings, 89585472 edges, 66125 markings/sec, 210 secs
lola: 16106824 markings, 91497394 edges, 64319 markings/sec, 215 secs
lola: 16421957 markings, 93383061 edges, 63027 markings/sec, 220 secs
lola: 16749749 markings, 95314661 edges, 65558 markings/sec, 225 secs
lola: 17077022 markings, 97247956 edges, 65455 markings/sec, 230 secs
lola: 17389618 markings, 99122308 edges, 62519 markings/sec, 235 secs
lola: 17716975 markings, 101054821 edges, 65471 markings/sec, 240 secs
lola: 18035679 markings, 102953187 edges, 63741 markings/sec, 245 secs
lola: 18355902 markings, 104847937 edges, 64045 markings/sec, 250 secs
lola: 18681608 markings, 106771905 edges, 65141 markings/sec, 255 secs
lola: 18994065 markings, 108648725 edges, 62491 markings/sec, 260 secs
lola: 19312688 markings, 110552425 edges, 63725 markings/sec, 265 secs
lola: 19633212 markings, 112460059 edges, 64105 markings/sec, 270 secs
lola: 19947502 markings, 114337220 edges, 62858 markings/sec, 275 secs
lola: 20276163 markings, 116282998 edges, 65732 markings/sec, 280 secs
lola: 20592585 markings, 118180389 edges, 63284 markings/sec, 285 secs
lola: 20920734 markings, 120124738 edges, 65630 markings/sec, 290 secs
lola: 21239097 markings, 122018877 edges, 63673 markings/sec, 295 secs
lola: 21552262 markings, 123896190 edges, 62633 markings/sec, 300 secs
lola: 21862076 markings, 125757808 edges, 61963 markings/sec, 305 secs
lola: 22177917 markings, 127649251 edges, 63168 markings/sec, 310 secs
lola: 22492216 markings, 129529201 edges, 62860 markings/sec, 315 secs
lola: 22810058 markings, 131418768 edges, 63568 markings/sec, 320 secs
lola: 23116444 markings, 133270040 edges, 61277 markings/sec, 325 secs
lola: 23432370 markings, 135155016 edges, 63185 markings/sec, 330 secs
lola: 23744398 markings, 137026027 edges, 62406 markings/sec, 335 secs
lola: 24055458 markings, 138897001 edges, 62212 markings/sec, 340 secs
lola: 24360709 markings, 140743433 edges, 61050 markings/sec, 345 secs
lola: 24669229 markings, 142601547 edges, 61704 markings/sec, 350 secs
lola: 24977859 markings, 144465010 edges, 61726 markings/sec, 355 secs
lola: 25292187 markings, 146347848 edges, 62866 markings/sec, 360 secs
lola: 25598423 markings, 148201107 edges, 61247 markings/sec, 365 secs
lola: 25910381 markings, 150070919 edges, 62392 markings/sec, 370 secs
lola: 26218957 markings, 151929637 edges, 61715 markings/sec, 375 secs
lola: 26535119 markings, 153819435 edges, 63232 markings/sec, 380 secs
lola: 26834540 markings, 155638136 edges, 59884 markings/sec, 385 secs
lola: 27143258 markings, 157502552 edges, 61744 markings/sec, 390 secs
lola: 27451357 markings, 159354641 edges, 61620 markings/sec, 395 secs
lola: 27783361 markings, 161306050 edges, 66401 markings/sec, 400 secs
lola: 28139390 markings, 163345332 edges, 71206 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown yes unknown unknown unknown unknown unknown no unknown no
lola: memory consumption: 4921300 KB
lola: time consumption: 1514 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 411 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((E (G (((1 <= p96) AND (1 <= p119) AND (1 <= p145)))) OR E (F (((1 <= p49))))) U ((1 <= p31) AND (1 <= p146))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((EG(((1 <= p96) AND (1 <= p119) AND (1 <= p145))) OR EF(((1 <= p49)))) U ((1 <= p31) AND (1 <= p146)))
lola: processed formula length: 104
lola: 16 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 764 markings, 2721 edges
lola: ========================================
lola: subprocess 9 will run for 514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((E (G (((1 <= p71) AND (1 <= p145) AND (1 <= p59) AND (1 <= p84) AND (1 <= p145)))) AND (A (G (((1 <= p10)))) OR ((1 <= p12) AND (1 <= p95) AND (1 <= p145) AND (1 <= p68) AND ((p47 <= 0) OR (p84 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((EG(((1 <= p71) AND (1 <= p145) AND (1 <= p59) AND (1 <= p84) AND (1 <= p145))) AND (AG(((1 <= p10))) OR ((1 <= p12) AND (1 <= p95) AND (1 <= p145) AND (1 <= p68) AND ((p47 <= 0) OR (p84 <= 0))))))
lola: processed formula length: 201
lola: 16 rewrites
lola: closed formula file CTLFireability.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: 680682 markings, 2467669 edges, 136136 markings/sec, 0 secs
lola: 1262681 markings, 4769849 edges, 116400 markings/sec, 5 secs
lola: 1852436 markings, 7084320 edges, 117951 markings/sec, 10 secs
lola: 2467986 markings, 9441802 edges, 123110 markings/sec, 15 secs
lola: 3070618 markings, 11782443 edges, 120526 markings/sec, 20 secs
lola: 3652245 markings, 14094728 edges, 116325 markings/sec, 25 secs
lola: 4165752 markings, 16171798 edges, 102701 markings/sec, 30 secs
lola: 4675589 markings, 18270415 edges, 101967 markings/sec, 35 secs
lola: 5184494 markings, 20392651 edges, 101781 markings/sec, 40 secs
lola: 5701652 markings, 22547359 edges, 103432 markings/sec, 45 secs
lola: 6214536 markings, 24705054 edges, 102577 markings/sec, 50 secs
lola: 6714741 markings, 26821279 edges, 100041 markings/sec, 55 secs
lola: 7209515 markings, 28923605 edges, 98955 markings/sec, 60 secs
lola: 7693687 markings, 30988225 edges, 96834 markings/sec, 65 secs
lola: 8156954 markings, 32944683 edges, 92653 markings/sec, 70 secs
lola: 8607889 markings, 34876566 edges, 90187 markings/sec, 75 secs
lola: 9054882 markings, 36791429 edges, 89399 markings/sec, 80 secs
lola: 9502544 markings, 38713075 edges, 89532 markings/sec, 85 secs
lola: 9959561 markings, 40668592 edges, 91403 markings/sec, 90 secs
lola: 10391582 markings, 42548149 edges, 86404 markings/sec, 95 secs
lola: 10818352 markings, 44397042 edges, 85354 markings/sec, 100 secs
lola: 11241542 markings, 46244927 edges, 84638 markings/sec, 105 secs
lola: 11681041 markings, 48171825 edges, 87900 markings/sec, 110 secs
lola: 12142721 markings, 50159230 edges, 92336 markings/sec, 115 secs
lola: 12602629 markings, 52137740 edges, 91982 markings/sec, 120 secs
lola: 13230840 markings, 54532744 edges, 125642 markings/sec, 125 secs
lola: 13837141 markings, 56909567 edges, 121260 markings/sec, 130 secs
lola: 14439511 markings, 59267394 edges, 120474 markings/sec, 135 secs
lola: 14994118 markings, 61511164 edges, 110921 markings/sec, 140 secs
lola: 15470479 markings, 63467645 edges, 95272 markings/sec, 145 secs
lola: 15957682 markings, 65492478 edges, 97441 markings/sec, 150 secs
lola: 16449653 markings, 67502155 edges, 98394 markings/sec, 155 secs
lola: 16914223 markings, 69467583 edges, 92914 markings/sec, 160 secs
lola: 17405627 markings, 71534058 edges, 98281 markings/sec, 165 secs
lola: 17884102 markings, 73585163 edges, 95695 markings/sec, 170 secs
lola: 18317689 markings, 75416526 edges, 86717 markings/sec, 175 secs
lola: 18796965 markings, 77410518 edges, 95855 markings/sec, 180 secs
lola: 19431356 markings, 79820470 edges, 126878 markings/sec, 185 secs
lola: 19967294 markings, 81998007 edges, 107188 markings/sec, 190 secs
lola: 20415103 markings, 83916712 edges, 89562 markings/sec, 195 secs
lola: 20856605 markings, 85818420 edges, 88300 markings/sec, 200 secs
lola: 21390621 markings, 87916412 edges, 106803 markings/sec, 205 secs
lola: 21865104 markings, 89921384 edges, 94897 markings/sec, 210 secs
lola: 22312286 markings, 91846411 edges, 89436 markings/sec, 215 secs
lola: 22759314 markings, 93787934 edges, 89406 markings/sec, 220 secs
lola: 23212221 markings, 95756168 edges, 90581 markings/sec, 225 secs
lola: 23655810 markings, 97686590 edges, 88718 markings/sec, 230 secs
lola: 24111473 markings, 99656807 edges, 91133 markings/sec, 235 secs
lola: 24562100 markings, 101618346 edges, 90125 markings/sec, 240 secs
lola: 25075335 markings, 103746980 edges, 102647 markings/sec, 245 secs
lola: 25586252 markings, 105858390 edges, 102183 markings/sec, 250 secs
lola: 26066601 markings, 107902684 edges, 96070 markings/sec, 255 secs
lola: 26505843 markings, 109824574 edges, 87848 markings/sec, 260 secs
lola: 27002660 markings, 111904841 edges, 99363 markings/sec, 265 secs
lola: 27425501 markings, 113783391 edges, 84568 markings/sec, 270 secs
lola: 27893407 markings, 115786747 edges, 93581 markings/sec, 275 secs
lola: 28316365 markings, 117668139 edges, 84592 markings/sec, 280 secs
lola: 28749019 markings, 119572984 edges, 86531 markings/sec, 285 secs
lola: 29192720 markings, 121502365 edges, 88740 markings/sec, 290 secs
lola: 29619594 markings, 123386914 edges, 85375 markings/sec, 295 secs
lola: 30034883 markings, 125236847 edges, 83058 markings/sec, 300 secs
lola: 30487895 markings, 127201917 edges, 90602 markings/sec, 305 secs
lola: 30937466 markings, 129153389 edges, 89914 markings/sec, 310 secs
lola: 31382293 markings, 131098285 edges, 88965 markings/sec, 315 secs
lola: 31814521 markings, 133011732 edges, 86446 markings/sec, 320 secs
lola: 32240513 markings, 134907738 edges, 85198 markings/sec, 325 secs
lola: 32720717 markings, 136974200 edges, 96041 markings/sec, 330 secs
lola: 33153341 markings, 138897034 edges, 86525 markings/sec, 335 secs
lola: 33584818 markings, 140810145 edges, 86295 markings/sec, 340 secs
lola: 33996815 markings, 142665738 edges, 82399 markings/sec, 345 secs
lola: 34434439 markings, 144591990 edges, 87525 markings/sec, 350 secs
lola: 34855127 markings, 146480227 edges, 84138 markings/sec, 355 secs
lola: 35286042 markings, 148381927 edges, 86183 markings/sec, 360 secs
lola: 35719620 markings, 150289260 edges, 86716 markings/sec, 365 secs
lola: 36144288 markings, 152174945 edges, 84934 markings/sec, 370 secs
lola: 36557269 markings, 154022080 edges, 82596 markings/sec, 375 secs
lola: 36971364 markings, 155880012 edges, 82819 markings/sec, 380 secs
lola: 37389166 markings, 157748934 edges, 83560 markings/sec, 385 secs
lola: 37817222 markings, 159653474 edges, 85611 markings/sec, 390 secs
lola: 38228462 markings, 161517043 edges, 82248 markings/sec, 395 secs
lola: 38639983 markings, 163376921 edges, 82304 markings/sec, 400 secs
lola: 39053655 markings, 165236848 edges, 82734 markings/sec, 405 secs
lola: 39462619 markings, 167083883 edges, 81793 markings/sec, 410 secs
lola: 39893491 markings, 168992897 edges, 86174 markings/sec, 415 secs
lola: 40323921 markings, 170892630 edges, 86086 markings/sec, 420 secs
lola: 40747953 markings, 172780383 edges, 84806 markings/sec, 425 secs
lola: 41177200 markings, 174683690 edges, 85849 markings/sec, 430 secs
lola: 41584209 markings, 176522883 edges, 81402 markings/sec, 435 secs
lola: 41987934 markings, 178358083 edges, 80745 markings/sec, 440 secs
lola: 42411708 markings, 180237810 edges, 84755 markings/sec, 445 secs
lola: 42811942 markings, 182052272 edges, 80047 markings/sec, 450 secs
lola: 43229319 markings, 183923305 edges, 83475 markings/sec, 455 secs
lola: 43641911 markings, 185782665 edges, 82518 markings/sec, 460 secs
lola: 44045400 markings, 187616927 edges, 80698 markings/sec, 465 secs
lola: 44446101 markings, 189443948 edges, 80140 markings/sec, 470 secs
lola: 44873596 markings, 191332483 edges, 85499 markings/sec, 475 secs
lola: 45255054 markings, 193047083 edges, 76292 markings/sec, 480 secs
lola: 45629298 markings, 194737655 edges, 74849 markings/sec, 485 secs
lola: 46005843 markings, 196446490 edges, 75309 markings/sec, 490 secs
lola: 46377446 markings, 198133873 edges, 74321 markings/sec, 495 secs
lola: 46758727 markings, 199848255 edges, 76256 markings/sec, 500 secs
lola: 47133396 markings, 201545818 edges, 74934 markings/sec, 505 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown yes unknown unknown unknown unknown yes no unknown no
lola: memory consumption: 9306916 KB
lola: time consumption: 2028 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p29) AND (1 <= p146)))) OR ((1 <= p23) AND (1 <= p72) AND (1 <= p145)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p23) AND (1 <= p72) AND (1 <= p145))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p23) AND (1 <= p72) AND (1 <= p145))
lola: processed formula length: 43
lola: 13 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 3 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 771 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p29) AND (1 <= p146))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p29) AND (1 <= p146))))
lola: processed formula length: 36
lola: 14 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p29) AND (1 <= p146))
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 9 markings, 8 edges
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 11 will run for 771 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((1 <= p0)))) OR (A (F (((1 <= p27)))) OR ((1 <= p24) AND (1 <= p143) AND (1 <= p145))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 771 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p24) AND (1 <= p143) AND (1 <= p145))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p24) AND (1 <= p143) AND (1 <= p145))
lola: processed formula length: 44
lola: 13 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 3 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 1542 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p27))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p27 <= 0))
lola: processed formula length: 12
lola: 16 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p27))
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 / EG
lola: The predicate does not eventually occur.
lola: 18 markings, 18 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 12 will run for 1542 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p38) AND (1 <= p146)))) AND (E (F (((1 <= p60) AND (1 <= p119) AND (1 <= p145)))) OR (((1 <= p1)) OR ((1 <= p36) AND (1 <= p71) AND (1 <= p145)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 1542 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p38) AND (1 <= p146))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p38) AND (1 <= p146))))
lola: processed formula length: 36
lola: 14 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p38) AND (1 <= p146))
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 7 markings, 6 edges
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p60) AND (1 <= p119) AND (1 <= p145))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p60) AND (1 <= p119) AND (1 <= p145))))
lola: processed formula length: 52
lola: 14 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p60) AND (1 <= p119) AND (1 <= p145))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 3 markings, 2 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (((A (F (((1 <= p136) AND (1 <= p146)))) OR (((p71 <= 0)) OR ((p8 <= 0)))) U (E (X (((1 <= p107)))) AND ((1 <= p75)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((AF(((1 <= p136) AND (1 <= p146))) OR (((p71 <= 0)) OR ((p8 <= 0)))) U (EX(((1 <= p107))) AND ((1 <= p75))))
lola: processed formula length: 110
lola: 16 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 345053 markings, 1567691 edges, 69011 markings/sec, 0 secs
lola: 685722 markings, 3181083 edges, 68134 markings/sec, 5 secs
lola: 1008047 markings, 4765432 edges, 64465 markings/sec, 10 secs
lola: 1321956 markings, 6337868 edges, 62782 markings/sec, 15 secs
lola: 1633157 markings, 7897200 edges, 62240 markings/sec, 20 secs
lola: 1982089 markings, 9525993 edges, 69786 markings/sec, 25 secs
lola: 2306570 markings, 11108184 edges, 64896 markings/sec, 30 secs
lola: 2644428 markings, 12716720 edges, 67572 markings/sec, 35 secs
lola: 2951500 markings, 14266864 edges, 61414 markings/sec, 40 secs
lola: 3267252 markings, 15825951 edges, 63150 markings/sec, 45 secs
lola: 3569541 markings, 17352786 edges, 60458 markings/sec, 50 secs
lola: 3867807 markings, 18877795 edges, 59653 markings/sec, 55 secs
lola: 4172215 markings, 20405521 edges, 60882 markings/sec, 60 secs
lola: 4473444 markings, 21940115 edges, 60246 markings/sec, 65 secs
lola: 4767633 markings, 23448246 edges, 58838 markings/sec, 70 secs
lola: 5061435 markings, 24973963 edges, 58760 markings/sec, 75 secs
lola: 5357614 markings, 26507236 edges, 59236 markings/sec, 80 secs
lola: 5653327 markings, 28036154 edges, 59143 markings/sec, 85 secs
lola: 5952265 markings, 29573344 edges, 59788 markings/sec, 90 secs
lola: 6245206 markings, 31104234 edges, 58588 markings/sec, 95 secs
lola: 6541352 markings, 32636331 edges, 59229 markings/sec, 100 secs
lola: 6832398 markings, 34149249 edges, 58209 markings/sec, 105 secs
lola: 7129985 markings, 35687893 edges, 59517 markings/sec, 110 secs
lola: 7418220 markings, 37200060 edges, 57647 markings/sec, 115 secs
lola: 7703266 markings, 38686888 edges, 57009 markings/sec, 120 secs
lola: 7983829 markings, 40166011 edges, 56113 markings/sec, 125 secs
lola: 8264325 markings, 41639709 edges, 56099 markings/sec, 130 secs
lola: 8542966 markings, 43117254 edges, 55728 markings/sec, 135 secs
lola: 8818085 markings, 44576698 edges, 55024 markings/sec, 140 secs
lola: 9097689 markings, 46054173 edges, 55921 markings/sec, 145 secs
lola: 9375567 markings, 47524751 edges, 55576 markings/sec, 150 secs
lola: 9670577 markings, 49051173 edges, 59002 markings/sec, 155 secs
lola: 9953755 markings, 50539897 edges, 56636 markings/sec, 160 secs
lola: 10238621 markings, 52022782 edges, 56973 markings/sec, 165 secs
lola: 10590594 markings, 53673200 edges, 70395 markings/sec, 170 secs
lola: 10916983 markings, 55276778 edges, 65278 markings/sec, 175 secs
lola: 11236001 markings, 56871118 edges, 63804 markings/sec, 180 secs
lola: 11575905 markings, 58497455 edges, 67981 markings/sec, 185 secs
lola: 11895029 markings, 60072539 edges, 63825 markings/sec, 190 secs
lola: 12207666 markings, 61639708 edges, 62527 markings/sec, 195 secs
lola: 12516430 markings, 63196774 edges, 61753 markings/sec, 200 secs
lola: 12824569 markings, 64760257 edges, 61628 markings/sec, 205 secs
lola: 13123119 markings, 66299361 edges, 59710 markings/sec, 210 secs
lola: 13392054 markings, 67692849 edges, 53787 markings/sec, 215 secs
lola: 13679870 markings, 69174824 edges, 57563 markings/sec, 220 secs
lola: 13963669 markings, 70644406 edges, 56760 markings/sec, 225 secs
lola: 14248360 markings, 72124452 edges, 56938 markings/sec, 230 secs
lola: 14531387 markings, 73599265 edges, 56605 markings/sec, 235 secs
lola: 14810467 markings, 75060778 edges, 55816 markings/sec, 240 secs
lola: 15094741 markings, 76536269 edges, 56855 markings/sec, 245 secs
lola: 15371573 markings, 77991098 edges, 55366 markings/sec, 250 secs
lola: 15652252 markings, 79458375 edges, 56136 markings/sec, 255 secs
lola: 15927169 markings, 80906971 edges, 54983 markings/sec, 260 secs
lola: 16236384 markings, 82427366 edges, 61843 markings/sec, 265 secs
lola: 16572330 markings, 84037549 edges, 67189 markings/sec, 270 secs
lola: 16890904 markings, 85608837 edges, 63715 markings/sec, 275 secs
lola: 17210248 markings, 87175221 edges, 63869 markings/sec, 280 secs
lola: 17528792 markings, 88721575 edges, 63709 markings/sec, 285 secs
lola: 17804391 markings, 90164609 edges, 55120 markings/sec, 290 secs
lola: 18094131 markings, 91653751 edges, 57948 markings/sec, 295 secs
lola: 18368217 markings, 93106384 edges, 54817 markings/sec, 300 secs
lola: 18645460 markings, 94556037 edges, 55449 markings/sec, 305 secs
lola: 18915377 markings, 95986624 edges, 53983 markings/sec, 310 secs
lola: 19184517 markings, 97413881 edges, 53828 markings/sec, 315 secs
lola: 19458137 markings, 98848004 edges, 54724 markings/sec, 320 secs
lola: 19750118 markings, 100346125 edges, 58396 markings/sec, 325 secs
lola: 20016455 markings, 101763352 edges, 53267 markings/sec, 330 secs
lola: 20283974 markings, 103191878 edges, 53504 markings/sec, 335 secs
lola: 20549529 markings, 104607660 edges, 53111 markings/sec, 340 secs
lola: 20851793 markings, 106119787 edges, 60453 markings/sec, 345 secs
lola: 21132776 markings, 107577016 edges, 56197 markings/sec, 350 secs
lola: 21398712 markings, 108998757 edges, 53187 markings/sec, 355 secs
lola: 21667244 markings, 110423726 edges, 53706 markings/sec, 360 secs
lola: 21923911 markings, 111812145 edges, 51333 markings/sec, 365 secs
lola: 22189280 markings, 113227899 edges, 53074 markings/sec, 370 secs
lola: 22451128 markings, 114631925 edges, 52370 markings/sec, 375 secs
lola: 22709326 markings, 116027402 edges, 51640 markings/sec, 380 secs
lola: 22975703 markings, 117454140 edges, 53275 markings/sec, 385 secs
lola: 23232750 markings, 118838630 edges, 51409 markings/sec, 390 secs
lola: 23493914 markings, 120240354 edges, 52233 markings/sec, 395 secs
lola: 23756291 markings, 121646970 edges, 52475 markings/sec, 400 secs
lola: 24011827 markings, 123032723 edges, 51107 markings/sec, 405 secs
lola: 24268357 markings, 124418580 edges, 51306 markings/sec, 410 secs
lola: 24521009 markings, 125796014 edges, 50530 markings/sec, 415 secs
lola: 24780718 markings, 127184605 edges, 51942 markings/sec, 420 secs
lola: 25044862 markings, 128594777 edges, 52829 markings/sec, 425 secs
lola: 25300246 markings, 129969916 edges, 51077 markings/sec, 430 secs
lola: 25553147 markings, 131346068 edges, 50580 markings/sec, 435 secs
lola: 25820170 markings, 132762360 edges, 53405 markings/sec, 440 secs
lola: 26076167 markings, 134149990 edges, 51199 markings/sec, 445 secs
lola: 26330667 markings, 135526848 edges, 50900 markings/sec, 450 secs
lola: 26595989 markings, 136949366 edges, 53064 markings/sec, 455 secs
lola: 26851900 markings, 138329014 edges, 51182 markings/sec, 460 secs
lola: 27125131 markings, 139764593 edges, 54646 markings/sec, 465 secs
lola: 27381678 markings, 141148684 edges, 51309 markings/sec, 470 secs
lola: 27631924 markings, 142519284 edges, 50049 markings/sec, 475 secs
lola: 27890177 markings, 143913003 edges, 51651 markings/sec, 480 secs
lola: 28150313 markings, 145308949 edges, 52027 markings/sec, 485 secs
lola: 28419877 markings, 146750245 edges, 53913 markings/sec, 490 secs
lola: 28695171 markings, 148216082 edges, 55059 markings/sec, 495 secs
lola: 28930131 markings, 149506162 edges, 46992 markings/sec, 500 secs
lola: 29194252 markings, 150911101 edges, 52824 markings/sec, 505 secs
lola: 29448118 markings, 152285669 edges, 50773 markings/sec, 510 secs
lola: 29726239 markings, 153736536 edges, 55624 markings/sec, 515 secs
lola: 29981222 markings, 155121258 edges, 50997 markings/sec, 520 secs
lola: 30251995 markings, 156551315 edges, 54155 markings/sec, 525 secs
lola: 30501745 markings, 157916563 edges, 49950 markings/sec, 530 secs
lola: 30749486 markings, 159274108 edges, 49548 markings/sec, 535 secs
lola: 31002062 markings, 160650406 edges, 50515 markings/sec, 540 secs
lola: 31262390 markings, 162049403 edges, 52066 markings/sec, 545 secs
lola: 31508395 markings, 163398387 edges, 49201 markings/sec, 550 secs
lola: 31763435 markings, 164781745 edges, 51008 markings/sec, 555 secs
lola: 32019666 markings, 166175935 edges, 51246 markings/sec, 560 secs
lola: 32283958 markings, 167600975 edges, 52858 markings/sec, 565 secs
lola: 32538868 markings, 168998382 edges, 50982 markings/sec, 570 secs
lola: 32806612 markings, 170432160 edges, 53549 markings/sec, 575 secs
lola: 33071081 markings, 171866265 edges, 52894 markings/sec, 580 secs
lola: 33343636 markings, 173324434 edges, 54511 markings/sec, 585 secs
lola: 33607305 markings, 174755176 edges, 52734 markings/sec, 590 secs
lola: 33859486 markings, 176152615 edges, 50436 markings/sec, 595 secs
lola: 34113957 markings, 177555733 edges, 50894 markings/sec, 600 secs
lola: 34375143 markings, 178970445 edges, 52237 markings/sec, 605 secs
lola: 34654223 markings, 180437742 edges, 55816 markings/sec, 610 secs
lola: 34908721 markings, 181832426 edges, 50900 markings/sec, 615 secs
lola: 35159804 markings, 183221179 edges, 50217 markings/sec, 620 secs
lola: 35417975 markings, 184629841 edges, 51634 markings/sec, 625 secs
lola: 35672632 markings, 186025670 edges, 50931 markings/sec, 630 secs
lola: 35918943 markings, 187392413 edges, 49262 markings/sec, 635 secs
lola: 36194204 markings, 188858133 edges, 55052 markings/sec, 640 secs
lola: 36464357 markings, 190304271 edges, 54031 markings/sec, 645 secs
lola: 36728902 markings, 191732431 edges, 52909 markings/sec, 650 secs
lola: 36986643 markings, 193145556 edges, 51548 markings/sec, 655 secs
lola: 37239391 markings, 194545327 edges, 50550 markings/sec, 660 secs
lola: 37502959 markings, 195971358 edges, 52714 markings/sec, 665 secs
lola: 37770408 markings, 197413902 edges, 53490 markings/sec, 670 secs
lola: 38034517 markings, 198843471 edges, 52822 markings/sec, 675 secs
lola: 38293156 markings, 200249239 edges, 51728 markings/sec, 680 secs
lola: 38541776 markings, 201626971 edges, 49724 markings/sec, 685 secs
lola: 38799273 markings, 203036503 edges, 51499 markings/sec, 690 secs
lola: 39049346 markings, 204422477 edges, 50015 markings/sec, 695 secs
lola: 39298884 markings, 205801830 edges, 49908 markings/sec, 700 secs
lola: 39554775 markings, 207208588 edges, 51178 markings/sec, 705 secs
lola: 39818212 markings, 208635314 edges, 52687 markings/sec, 710 secs
lola: 40092598 markings, 210096660 edges, 54877 markings/sec, 715 secs
lola: 40351449 markings, 211505120 edges, 51770 markings/sec, 720 secs
lola: 40606972 markings, 212908986 edges, 51105 markings/sec, 725 secs
lola: 40864710 markings, 214319934 edges, 51548 markings/sec, 730 secs
lola: 41128133 markings, 215748821 edges, 52685 markings/sec, 735 secs
lola: 41380344 markings, 217144295 edges, 50442 markings/sec, 740 secs
lola: 41642423 markings, 218562788 edges, 52416 markings/sec, 745 secs
lola: 41897716 markings, 219967815 edges, 51059 markings/sec, 750 secs
lola: 42151278 markings, 221358333 edges, 50712 markings/sec, 755 secs
lola: 42405381 markings, 222761653 edges, 50821 markings/sec, 760 secs
lola: 42661758 markings, 224165874 edges, 51275 markings/sec, 765 secs
lola: 42914794 markings, 225561521 edges, 50607 markings/sec, 770 secs
lola: 43166603 markings, 226948968 edges, 50362 markings/sec, 775 secs
lola: 43416926 markings, 228335798 edges, 50065 markings/sec, 780 secs
lola: 43674836 markings, 229750764 edges, 51582 markings/sec, 785 secs
lola: 43929265 markings, 231150724 edges, 50886 markings/sec, 790 secs
lola: 44176966 markings, 232522862 edges, 49540 markings/sec, 795 secs
lola: 44438566 markings, 233949697 edges, 52320 markings/sec, 800 secs
lola: 44701701 markings, 235361425 edges, 52627 markings/sec, 805 secs
lola: 44938354 markings, 236677495 edges, 47331 markings/sec, 810 secs
lola: 45180127 markings, 238013561 edges, 48355 markings/sec, 815 secs
lola: 45429395 markings, 239368719 edges, 49854 markings/sec, 820 secs
lola: 45666165 markings, 240684457 edges, 47354 markings/sec, 825 secs
lola: 45909441 markings, 242019445 edges, 48655 markings/sec, 830 secs
lola: 46151338 markings, 243350626 edges, 48379 markings/sec, 835 secs
lola: 46392859 markings, 244682043 edges, 48304 markings/sec, 840 secs
lola: 46626901 markings, 245988026 edges, 46808 markings/sec, 845 secs
lola: 46862663 markings, 247305026 edges, 47152 markings/sec, 850 secs
lola: 46974569 markings, 247924430 edges, 22381 markings/sec, 855 secs
lola: 46974569 markings, 247924430 edges, 0 markings/sec, 860 secs
lola: 46974569 markings, 247924430 edges, 0 markings/sec, 865 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 46974569 markings, 247924430 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (X (E (F (A (G (((1 <= p95) AND (1 <= p120) AND (1 <= p145))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(EF(AG(((1 <= p95) AND (1 <= p120) AND (1 <= p145)))))
lola: processed formula length: 56
lola: 16 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 691493 markings, 2507440 edges, 138299 markings/sec, 0 secs
lola: 1297156 markings, 4910106 edges, 121133 markings/sec, 5 secs
lola: 1927758 markings, 7348775 edges, 126120 markings/sec, 10 secs
lola: 2552709 markings, 9780915 edges, 124990 markings/sec, 15 secs
lola: 3177127 markings, 12192874 edges, 124884 markings/sec, 20 secs
lola: 3756540 markings, 14508328 edges, 115883 markings/sec, 25 secs
lola: 4314029 markings, 16767302 edges, 111498 markings/sec, 30 secs
lola: 4846141 markings, 18975441 edges, 106422 markings/sec, 35 secs
lola: 5364494 markings, 21138884 edges, 103671 markings/sec, 40 secs
lola: 5875425 markings, 23275032 edges, 102186 markings/sec, 45 secs
lola: 6359862 markings, 25324512 edges, 96887 markings/sec, 50 secs
lola: 6842864 markings, 27359083 edges, 96600 markings/sec, 55 secs
lola: 7313287 markings, 29357649 edges, 94085 markings/sec, 60 secs
lola: 7774328 markings, 31336214 edges, 92208 markings/sec, 65 secs
lola: 8259990 markings, 33382518 edges, 97132 markings/sec, 70 secs
lola: 8697082 markings, 35255766 edges, 87418 markings/sec, 75 secs
lola: 9170874 markings, 37290440 edges, 94758 markings/sec, 80 secs
lola: 9641858 markings, 39318597 edges, 94197 markings/sec, 85 secs
lola: 10097905 markings, 41275558 edges, 91209 markings/sec, 90 secs
lola: 10533790 markings, 43169503 edges, 87177 markings/sec, 95 secs
lola: 10979115 markings, 45100354 edges, 89065 markings/sec, 100 secs
lola: 11408740 markings, 46974511 edges, 85925 markings/sec, 105 secs
lola: 11856657 markings, 48936733 edges, 89583 markings/sec, 110 secs
lola: 12341653 markings, 50993203 edges, 96999 markings/sec, 115 secs
lola: 12790737 markings, 52872682 edges, 89817 markings/sec, 120 secs
lola: 13416937 markings, 55263830 edges, 125240 markings/sec, 125 secs
lola: 14007926 markings, 57573106 edges, 118198 markings/sec, 130 secs
lola: 14570375 markings, 59792152 edges, 112490 markings/sec, 135 secs
lola: 15077052 markings, 61855411 edges, 101335 markings/sec, 140 secs
lola: 15588007 markings, 63954250 edges, 102191 markings/sec, 145 secs
lola: 16115035 markings, 66129841 edges, 105406 markings/sec, 150 secs
lola: 16641504 markings, 68312502 edges, 105294 markings/sec, 155 secs
lola: 17100215 markings, 70240822 edges, 91742 markings/sec, 160 secs
lola: 17567918 markings, 72222936 edges, 93541 markings/sec, 165 secs
lola: 18040375 markings, 74249638 edges, 94491 markings/sec, 170 secs
lola: 18533083 markings, 76341323 edges, 98542 markings/sec, 175 secs
lola: 19098966 markings, 78528691 edges, 113177 markings/sec, 180 secs
lola: 19682810 markings, 80828866 edges, 116769 markings/sec, 185 secs
lola: 20155451 markings, 82799796 edges, 94528 markings/sec, 190 secs
lola: 20603719 markings, 84722585 edges, 89654 markings/sec, 195 secs
lola: 21089353 markings, 86781830 edges, 97127 markings/sec, 200 secs
lola: 21664885 markings, 89066127 edges, 115106 markings/sec, 205 secs
lola: 22139450 markings, 91099207 edges, 94913 markings/sec, 210 secs
lola: 22603016 markings, 93104680 edges, 92713 markings/sec, 215 secs
lola: 23061239 markings, 95096405 edges, 91645 markings/sec, 220 secs
lola: 23518043 markings, 97081841 edges, 91361 markings/sec, 225 secs
lola: 23954845 markings, 98974300 edges, 87360 markings/sec, 230 secs
lola: 24376083 markings, 100821812 edges, 84248 markings/sec, 235 secs
lola: 24902033 markings, 102978074 edges, 105190 markings/sec, 240 secs
lola: 25386340 markings, 105050137 edges, 96861 markings/sec, 245 secs
lola: 25913892 markings, 107238375 edges, 105510 markings/sec, 250 secs
lola: 26364391 markings, 109206084 edges, 90100 markings/sec, 255 secs
lola: 26871646 markings, 111329893 edges, 101451 markings/sec, 260 secs
lola: 27303406 markings, 113245340 edges, 86352 markings/sec, 265 secs
lola: 27787157 markings, 115315951 edges, 96750 markings/sec, 270 secs
lola: 28220039 markings, 117239245 edges, 86576 markings/sec, 275 secs
lola: 28657151 markings, 119174159 edges, 87422 markings/sec, 280 secs
lola: 29114172 markings, 121160712 edges, 91404 markings/sec, 285 secs
lola: 29553840 markings, 123096664 edges, 87934 markings/sec, 290 secs
lola: 29978223 markings, 124987515 edges, 84877 markings/sec, 295 secs
lola: 30443808 markings, 127004698 edges, 93117 markings/sec, 300 secs
lola: 30900340 markings, 128988524 edges, 91306 markings/sec, 305 secs
lola: 31344898 markings, 130936460 edges, 88912 markings/sec, 310 secs
lola: 31783269 markings, 132868857 edges, 87674 markings/sec, 315 secs
lola: 32214029 markings, 134791827 edges, 86152 markings/sec, 320 secs
lola: 32693013 markings, 136857563 edges, 95797 markings/sec, 325 secs
lola: 33132020 markings, 138803124 edges, 87801 markings/sec, 330 secs
lola: 33565605 markings, 140726892 edges, 86717 markings/sec, 335 secs
lola: 33983425 markings, 142606750 edges, 83564 markings/sec, 340 secs
lola: 34420505 markings, 144535145 edges, 87416 markings/sec, 345 secs
lola: 34846359 markings, 146440706 edges, 85171 markings/sec, 350 secs
lola: 35283359 markings, 148371428 edges, 87400 markings/sec, 355 secs
lola: 35733788 markings, 150348044 edges, 90086 markings/sec, 360 secs
lola: 36162972 markings, 152259015 edges, 85837 markings/sec, 365 secs
lola: 36583690 markings, 154140597 edges, 84144 markings/sec, 370 secs
lola: 37005582 markings, 156035455 edges, 84378 markings/sec, 375 secs
lola: 37426909 markings, 157921221 edges, 84265 markings/sec, 380 secs
lola: 37813363 markings, 159637051 edges, 77291 markings/sec, 385 secs
lola: 38200661 markings, 161387665 edges, 77460 markings/sec, 390 secs
lola: 38589995 markings, 163150073 edges, 77867 markings/sec, 395 secs
lola: 38975053 markings, 164890149 edges, 77012 markings/sec, 400 secs
lola: 39365240 markings, 166642400 edges, 78037 markings/sec, 405 secs
lola: 39774703 markings, 168453793 edges, 81893 markings/sec, 410 secs
lola: 40168592 markings, 170211743 edges, 78778 markings/sec, 415 secs
lola: 40564070 markings, 171976143 edges, 79096 markings/sec, 420 secs
lola: 40985039 markings, 173823134 edges, 84194 markings/sec, 425 secs
lola: 41370419 markings, 175557561 edges, 77076 markings/sec, 430 secs
lola: 41750249 markings, 177277701 edges, 75966 markings/sec, 435 secs
lola: 42149067 markings, 179060325 edges, 79764 markings/sec, 440 secs
lola: 42531896 markings, 180787673 edges, 76566 markings/sec, 445 secs
lola: 42909770 markings, 182499660 edges, 75575 markings/sec, 450 secs
lola: 43305672 markings, 184271699 edges, 79180 markings/sec, 455 secs
lola: 43695425 markings, 186031839 edges, 77951 markings/sec, 460 secs
lola: 44077089 markings, 187764192 edges, 76333 markings/sec, 465 secs
lola: 44454126 markings, 189482832 edges, 75407 markings/sec, 470 secs
lola: 44861401 markings, 191281096 edges, 81455 markings/sec, 475 secs
lola: 45253312 markings, 193040458 edges, 78382 markings/sec, 480 secs
lola: 45632220 markings, 194752124 edges, 75782 markings/sec, 485 secs
lola: 46014183 markings, 196485348 edges, 76393 markings/sec, 490 secs
lola: 46388545 markings, 198185794 edges, 74872 markings/sec, 495 secs
lola: 46775019 markings, 199924688 edges, 77295 markings/sec, 500 secs
lola: 47154414 markings, 201643383 edges, 75879 markings/sec, 505 secs
lola: 47533131 markings, 203367407 edges, 75743 markings/sec, 510 secs
lola: 47913625 markings, 205096588 edges, 76099 markings/sec, 515 secs
lola: 48293838 markings, 206824140 edges, 76043 markings/sec, 520 secs
lola: 48681719 markings, 208566793 edges, 77576 markings/sec, 525 secs
lola: 49052441 markings, 210265070 edges, 74144 markings/sec, 530 secs
lola: 49423517 markings, 211958525 edges, 74215 markings/sec, 535 secs
lola: 49789895 markings, 213638257 edges, 73276 markings/sec, 540 secs
lola: 50156411 markings, 215318306 edges, 73303 markings/sec, 545 secs
lola: 50560176 markings, 217154078 edges, 80753 markings/sec, 550 secs
lola: 50966443 markings, 219000401 edges, 81253 markings/sec, 555 secs
lola: 51322610 markings, 220618264 edges, 71233 markings/sec, 560 secs
lola: 51712282 markings, 222364821 edges, 77934 markings/sec, 565 secs
lola: 52119164 markings, 224195904 edges, 81376 markings/sec, 570 secs
lola: 52530079 markings, 226042055 edges, 82183 markings/sec, 575 secs
lola: 52896362 markings, 227695822 edges, 73257 markings/sec, 580 secs
lola: 53282986 markings, 229442889 edges, 77325 markings/sec, 585 secs
lola: 53660980 markings, 231157510 edges, 75599 markings/sec, 590 secs
lola: 54041255 markings, 232876897 edges, 76055 markings/sec, 595 secs
lola: 54427810 markings, 234646711 edges, 77311 markings/sec, 600 secs
lola: 54833183 markings, 236480262 edges, 81075 markings/sec, 605 secs
lola: 55191674 markings, 238121006 edges, 71698 markings/sec, 610 secs
lola: 55570198 markings, 239839367 edges, 75705 markings/sec, 615 secs
lola: 55958456 markings, 241584826 edges, 77652 markings/sec, 620 secs
lola: 56330824 markings, 243287173 edges, 74474 markings/sec, 625 secs
lola: 56712862 markings, 245032428 edges, 76408 markings/sec, 630 secs
lola: 57127054 markings, 246895747 edges, 82838 markings/sec, 635 secs
lola: 57506924 markings, 248653895 edges, 75974 markings/sec, 640 secs
lola: 57890929 markings, 250426633 edges, 76801 markings/sec, 645 secs
lola: 58244812 markings, 252061787 edges, 70777 markings/sec, 650 secs
lola: 58618435 markings, 253760156 edges, 74725 markings/sec, 655 secs
lola: 59022505 markings, 255568132 edges, 80814 markings/sec, 660 secs
lola: time limit reached - aborting
lola: lola:
preliminary result: unknown yes unknown yes yes yes unknown unknown unknown yes no unknown no
caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: unknown yes unknown yes yes yes unknown unknown unknown yes no unknown no

preliminary result: unknown yes unknown yes yes yes unknown unknown unknown yes no unknown no
lola: memory consumption: 56168 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.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="FlexibleBarrier-PT-12a"
export BK_EXAMINATION="CTLFireability"
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 FlexibleBarrier-PT-12a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-smll-158987815700324"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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