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

About the Execution of ITS-LoLa for Angiogenesis-PT-15

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15790.990 3600000.00 3441400.00 108797.20 ???T???T??TF?FTF 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.r166-smll-158987787600340.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 Angiogenesis-PT-15, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787600340
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 4.0K Apr 28 14:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 28 14:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 28 14:22 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Apr 28 14:22 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.1K Apr 28 14:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 28 14:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Apr 28 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 28 14:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 28 14:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 28 14:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 28 14:22 equiv_col
-rw-r--r-- 1 mcc users 3 Apr 28 14:22 instance
-rw-r--r-- 1 mcc users 6 Apr 28 14:22 iscolored
-rw-r--r-- 1 mcc users 33K Apr 28 14:22 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 Angiogenesis-PT-15-CTLFireability-00
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-01
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-02
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-03
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-04
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-05
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-06
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-07
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-08
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-09
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-10
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-11
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-12
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-13
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-14
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591425102487

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 06:31:45] [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-06 06:31:45] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 06:31:45] [INFO ] Load time of PNML (sax parser for PT used): 76 ms
[2020-06-06 06:31:45] [INFO ] Transformed 39 places.
[2020-06-06 06:31:45] [INFO ] Transformed 64 transitions.
[2020-06-06 06:31:45] [INFO ] Parsed PT model containing 39 places and 64 transitions in 149 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 28 ms.
Incomplete random walk after 100013 steps, including 0 resets, run finished after 197 ms. (steps per millisecond=507 ) properties seen :[1, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1]
// Phase 1: matrix 64 rows 39 cols
[2020-06-06 06:31:45] [INFO ] Computed 8 place invariants in 10 ms
[2020-06-06 06:31:45] [INFO ] [Real]Absence check using 8 positive place invariants in 24 ms returned sat
[2020-06-06 06:31:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:46] [INFO ] [Real]Absence check using state equation in 80 ms returned sat
[2020-06-06 06:31:46] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 16 ms.
[2020-06-06 06:31:46] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:46] [INFO ] [Nat]Absence check using 8 positive place invariants in 15 ms returned sat
[2020-06-06 06:31:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:46] [INFO ] [Nat]Absence check using state equation in 53 ms returned sat
[2020-06-06 06:31:46] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 13 ms.
[2020-06-06 06:31:46] [INFO ] Added : 59 causal constraints over 12 iterations in 169 ms. Result :sat
[2020-06-06 06:31:46] [INFO ] [Real]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 06:31:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:46] [INFO ] [Real]Absence check using state equation in 28 ms returned sat
[2020-06-06 06:31:46] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 10 ms.
[2020-06-06 06:31:46] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:46] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:46] [INFO ] [Nat]Absence check using state equation in 28 ms returned sat
[2020-06-06 06:31:46] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:46] [INFO ] Added : 59 causal constraints over 12 iterations in 103 ms. Result :sat
[2020-06-06 06:31:46] [INFO ] [Real]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 06:31:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:46] [INFO ] [Real]Absence check using state equation in 27 ms returned sat
[2020-06-06 06:31:46] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 11 ms.
[2020-06-06 06:31:46] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:46] [INFO ] [Nat]Absence check using 8 positive place invariants in 7 ms returned sat
[2020-06-06 06:31:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:46] [INFO ] [Nat]Absence check using state equation in 38 ms returned sat
[2020-06-06 06:31:46] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:46] [INFO ] Added : 51 causal constraints over 11 iterations in 93 ms. Result :sat
[2020-06-06 06:31:46] [INFO ] [Real]Absence check using 8 positive place invariants in 4 ms returned sat
[2020-06-06 06:31:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:46] [INFO ] [Real]Absence check using state equation in 25 ms returned sat
[2020-06-06 06:31:46] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 6 ms.
[2020-06-06 06:31:46] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:46] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using state equation in 26 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 6 ms.
[2020-06-06 06:31:47] [INFO ] Added : 59 causal constraints over 12 iterations in 97 ms. Result :sat
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using 8 positive place invariants in 7 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using state equation in 24 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 5 ms.
[2020-06-06 06:31:47] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using state equation in 24 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 5 ms.
[2020-06-06 06:31:47] [INFO ] Added : 57 causal constraints over 12 iterations in 103 ms. Result :sat
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using 8 positive place invariants in 4 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using state equation in 22 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:47] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using 8 positive place invariants in 7 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using state equation in 29 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 4 ms.
[2020-06-06 06:31:47] [INFO ] Added : 58 causal constraints over 12 iterations in 125 ms. Result :sat
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using state equation in 38 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:47] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using 8 positive place invariants in 9 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using state equation in 29 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 5 ms.
[2020-06-06 06:31:47] [INFO ] Added : 58 causal constraints over 12 iterations in 108 ms. Result :sat
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using 8 positive place invariants in 4 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using state equation in 20 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 6 ms.
[2020-06-06 06:31:47] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using state equation in 23 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 5 ms.
[2020-06-06 06:31:48] [INFO ] Added : 49 causal constraints over 10 iterations in 78 ms. Result :sat
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using 8 positive place invariants in 4 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using state equation in 38 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 9 ms.
[2020-06-06 06:31:48] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using 8 positive place invariants in 16 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using state equation in 21 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 4 ms.
[2020-06-06 06:31:48] [INFO ] Added : 57 causal constraints over 12 iterations in 123 ms. Result :sat
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using state equation in 34 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:48] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using state equation in 20 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 5 ms.
[2020-06-06 06:31:48] [INFO ] Added : 50 causal constraints over 10 iterations in 107 ms. Result :sat
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using state equation in 30 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 11 ms.
[2020-06-06 06:31:48] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using 8 positive place invariants in 9 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using state equation in 31 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 14 ms.
[2020-06-06 06:31:48] [INFO ] Added : 58 causal constraints over 12 iterations in 114 ms. Result :sat
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using state equation in 43 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 9 ms.
[2020-06-06 06:31:48] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using 8 positive place invariants in 9 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using state equation in 37 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 9 ms.
[2020-06-06 06:31:49] [INFO ] Added : 58 causal constraints over 12 iterations in 146 ms. Result :sat
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using 8 positive place invariants in 4 ms returned sat
[2020-06-06 06:31:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using state equation in 30 ms returned sat
[2020-06-06 06:31:49] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 9 ms.
[2020-06-06 06:31:49] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:49] [INFO ] [Nat]Absence check using 8 positive place invariants in 9 ms returned sat
[2020-06-06 06:31:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:49] [INFO ] [Nat]Absence check using state equation in 32 ms returned sat
[2020-06-06 06:31:49] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 6 ms.
[2020-06-06 06:31:49] [INFO ] Added : 58 causal constraints over 12 iterations in 112 ms. Result :sat
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using 8 positive place invariants in 4 ms returned sat
[2020-06-06 06:31:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using state equation in 29 ms returned sat
[2020-06-06 06:31:49] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 12 ms.
[2020-06-06 06:31:49] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:49] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:49] [INFO ] [Nat]Absence check using state equation in 36 ms returned sat
[2020-06-06 06:31:49] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 6 ms.
[2020-06-06 06:31:49] [INFO ] Added : 51 causal constraints over 11 iterations in 113 ms. Result :sat
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using state equation in 43 ms returned sat
[2020-06-06 06:31:49] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:49] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:49] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:49] [INFO ] [Nat]Absence check using state equation in 51 ms returned sat
[2020-06-06 06:31:49] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 9 ms.
[2020-06-06 06:31:49] [INFO ] Added : 50 causal constraints over 10 iterations in 89 ms. Result :sat
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 06:31:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using state equation in 29 ms returned sat
[2020-06-06 06:31:49] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:49] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:50] [INFO ] [Nat]Absence check using 8 positive place invariants in 9 ms returned sat
[2020-06-06 06:31:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:50] [INFO ] [Nat]Absence check using state equation in 38 ms returned sat
[2020-06-06 06:31:50] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:50] [INFO ] Added : 51 causal constraints over 11 iterations in 109 ms. Result :sat
[2020-06-06 06:31:50] [INFO ] [Real]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:50] [INFO ] [Real]Absence check using state equation in 36 ms returned sat
[2020-06-06 06:31:50] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:50] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:50] [INFO ] [Nat]Absence check using 8 positive place invariants in 9 ms returned sat
[2020-06-06 06:31:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:50] [INFO ] [Nat]Absence check using state equation in 32 ms returned sat
[2020-06-06 06:31:50] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 12 ms.
[2020-06-06 06:31:50] [INFO ] Added : 56 causal constraints over 12 iterations in 117 ms. Result :sat
[2020-06-06 06:31:50] [INFO ] Flatten gal took : 70 ms
[2020-06-06 06:31:50] [INFO ] Flatten gal took : 23 ms
[2020-06-06 06:31:50] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 6 ms.
[2020-06-06 06:31:50] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 3 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ Angiogenesis-PT-15 @ 3570 seconds

FORMULA Angiogenesis-PT-15-CTLFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-15-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-15-CTLFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-15-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-15-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-15-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-15-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-15-CTLFireability-08 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for CTLFireability @ Angiogenesis-PT-15

{
"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",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sat Jun 6 06:31:51 2020
",
"timelimit": 3570
},
"child":
[

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"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 <= p20) AND (1 <= p31))))",
"processed_size": 35,
"rewrites": 33
},
"result":
{
"edges": 10,
"markings": 11,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 0,
"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": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"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": "((1 <= p15) AND (1 <= p34))",
"processed_size": 27,
"rewrites": 35
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space /EXEG",
"value": true
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "invisibility based",
"visible": 7
},
"threads": 1,
"type": "dfs"
},
"type": "invariance_from_all_successors",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 257
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 1,
"G": 0,
"U": 1,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "EF(A(((1 <= p12) AND (1 <= p17)) U ((1 <= p15) AND (1 <= p34) AND (1 <= p25))))",
"processed_size": 79,
"rewrites": 34
},
"net":
{
"conflict_clusters": 19,
"singleton_clusters": 0
},
"result":
{
"edges": 9169218,
"markings": 2948116,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 288
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 2,
"F": 0,
"G": 2,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"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(AG((p27 <= 0)) U EG((1 <= p30)))",
"processed_size": 34,
"rewrites": 35
},
"net":
{
"conflict_clusters": 19,
"singleton_clusters": 0
},
"result":
{
"edges": 6220979,
"markings": 2948039,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 335
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 0,
"G": 1,
"U": 1,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 1,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "E(AG((p23 <= 0)) U (((1 <= p32) AND (1 <= p36)) OR ((1 <= p16) AND (1 <= p24) AND (1 <= p31) AND (1 <= p21))))",
"processed_size": 111,
"rewrites": 34
},
"net":
{
"conflict_clusters": 19,
"singleton_clusters": 0
},
"result":
{
"edges": 6220916,
"markings": 2947994,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 397
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"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": "A (G (((p26 <= 0) OR (p31 <= 0))))",
"processed_size": 35,
"rewrites": 34
},
"result":
{
"edges": 10,
"markings": 11,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 794
},
"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 <= p12) AND (1 <= p8) AND (1 <= p33))",
"processed_size": 41,
"rewrites": 32
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "E (F (((1 <= p25) AND (1 <= p7) AND (1 <= p11) AND (((1 <= p15) AND (1 <= p33)) OR (1 <= p22)))))",
"processed_size": 98,
"rewrites": 33
},
"result":
{
"edges": 63,
"markings": 61,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 9,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 5845536,
"runtime": 3571.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A((* R E(F(*)))) : E(F((** AND A(G(*))))) : A(G((** OR E(F(*))))) : E(F(A((** U **)))) : A((* R E(F(*)))) : (A((E(G(**)) U **)) OR E((** U **))) : A(F((E(F(**)) OR A(F(**))))) : (A(X(A(F(**)))) AND E(F(**))) : A(X(A(G(E(F(**)))))) : E(F((A(F(**)) AND E(F(**))))) : E(F(**)) : (A(G(A(F(*)))) AND A(G(**))) : E(F(A(X(**)))) : E((A(G(*)) U E(G(**)))) : (E(F(**)) OR (E(F(A(G(**)))) OR **)) : E((A(G(*)) U **))"
},
"net":
{
"arcs": 185,
"conflict_clusters": 19,
"places": 39,
"places_significant": 31,
"singleton_clusters": 0,
"transitions": 64
},
"result":
{
"interim_value": "unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes no unknown no yes no ",
"preliminary_value": "unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes no unknown no yes 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: 103/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1248
lola: finding significant places
lola: 39 places, 64 transitions, 31 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: NOT(E ((((p28 <= 0) OR ((1 <= p9) AND (1 <= p11)) OR (1 <= p30)) U A (G ((1 <= p37)))))) : E (F (((p38 <= 0) AND NOT(E (F ((1 <= p16))))))) : A (G ((((1 <= p12) OR (1 <= p21)) OR NOT(A (G (((1 <= p15) AND (1 <= p33)))))))) : E (F (A ((((1 <= p12) AND (1 <= p17)) U ((1 <= p15) AND (1 <= p34) AND (1 <= p25)))))) : NOT(E ((((p1 <= 0) OR (p26 <= 0) OR (p31 <= 0)) U A (G ((1 <= p7)))))) : (A ((E (G ((1 <= p9))) U (1 <= p15))) OR E ((((p6 <= 0) OR (p11 <= 0) OR (p13 <= 0)) U ((1 <= p32) AND (1 <= p35) AND (1 <= p1) AND (1 <= p38))))) : A (F ((E (F (((1 <= p17) AND (1 <= p0) AND (1 <= p32)))) OR A (F (((1 <= p25) AND (1 <= p8) AND (1 <= p34))))))) : (A (X (A (F (((p15 <= 0) OR (p34 <= 0)))))) AND E (F (E (((1 <= p30) U ((1 <= p20) AND (1 <= p31))))))) : A (G (A (X (E (F ((1 <= p15))))))) : E (F ((A (F ((((1 <= p9) AND (1 <= p11)) OR ((1 <= p15) AND (1 <= p34))))) AND E (F (((1 <= p12) AND (1 <= p18) AND (1 <= p31))))))) : E (F ((1 <= p17))) : A (G ((NOT(E (G ((1 <= p13)))) AND ((p26 <= 0) OR (p31 <= 0))))) : E (F (A (X (((1 <= p8) AND (1 <= p34) AND (1 <= p14) AND (1 <= p32) AND (p30 <= 0)))))) : E ((NOT(E (F ((1 <= p27)))) U E (G ((1 <= p30))))) : (E (F ((((1 <= p25) AND (1 <= p7) AND (1 <= p11) AND (((1 <= p15) AND (1 <= p33)) OR (1 <= p22))) OR A (G ((1 <= p25)))))) OR ((1 <= p12) AND (1 <= p8) AND (1 <= p33))) : E ((NOT(E (F ((1 <= p23)))) U (((1 <= p32) AND (1 <= p36)) OR ((1 <= p16) AND (1 <= p24) AND (1 <= p31) AND (1 <= p21)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:446
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:548
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (A (F (((p15 <= 0) OR (p34 <= 0)))))) AND E (F (((1 <= p20) AND (1 <= p31)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p20) AND (1 <= p31))))
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 <= p20) AND (1 <= p31))))
lola: processed formula length: 35
lola: 33 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 <= p20) AND (1 <= p31))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 11 markings, 10 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (F (((p15 <= 0) OR (p34 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:754
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((1 <= p15) AND (1 <= p34))
lola: processed formula length: 27
lola: 35 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 /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based 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: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEG
lola: The predicate eventually occurs from all successors.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G (E (F ((1 <= p15)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX(AG(EF((1 <= p15))))
lola: processed formula length: 22
lola: 35 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: 2405213 markings, 5071106 edges, 481043 markings/sec, 0 secs
lola: 2948016 markings, 10496255 edges, 108561 markings/sec, 5 secs
lola: 3192405 markings, 16567076 edges, 48878 markings/sec, 10 secs
lola: 4271319 markings, 21658107 edges, 215783 markings/sec, 15 secs
lola: 5320354 markings, 26565746 edges, 209807 markings/sec, 20 secs
lola: 6370532 markings, 31448019 edges, 210036 markings/sec, 25 secs
lola: 7475796 markings, 36319127 edges, 221053 markings/sec, 30 secs
lola: 8479400 markings, 40837740 edges, 200721 markings/sec, 35 secs
lola: 9503377 markings, 45417358 edges, 204795 markings/sec, 40 secs
lola: 10529100 markings, 50334178 edges, 205145 markings/sec, 45 secs
lola: 11568164 markings, 54850496 edges, 207813 markings/sec, 50 secs
lola: 12584856 markings, 59382015 edges, 203338 markings/sec, 55 secs
lola: 13574098 markings, 63794043 edges, 197848 markings/sec, 60 secs
lola: 14524532 markings, 68099811 edges, 190087 markings/sec, 65 secs
lola: 15559492 markings, 72685317 edges, 206992 markings/sec, 70 secs
lola: 16562499 markings, 77237501 edges, 200601 markings/sec, 75 secs
lola: 17551913 markings, 81674291 edges, 197883 markings/sec, 80 secs
lola: 18523372 markings, 85980786 edges, 194292 markings/sec, 85 secs
lola: 19536908 markings, 90373808 edges, 202707 markings/sec, 90 secs
lola: 20520537 markings, 94743968 edges, 196726 markings/sec, 95 secs
lola: 21506148 markings, 99095933 edges, 197122 markings/sec, 100 secs
lola: 22480247 markings, 103367070 edges, 194820 markings/sec, 105 secs
lola: 23466336 markings, 107719964 edges, 197218 markings/sec, 110 secs
lola: 24461214 markings, 112093585 edges, 198976 markings/sec, 115 secs
lola: 25415423 markings, 116328395 edges, 190842 markings/sec, 120 secs
lola: 26414631 markings, 120699845 edges, 199842 markings/sec, 125 secs
lola: 27435736 markings, 125222467 edges, 204221 markings/sec, 130 secs
lola: 28402461 markings, 129381257 edges, 193345 markings/sec, 135 secs
lola: 29350952 markings, 133596505 edges, 189698 markings/sec, 140 secs
lola: 30336277 markings, 137958175 edges, 197065 markings/sec, 145 secs
lola: 31313091 markings, 142253361 edges, 195363 markings/sec, 150 secs
lola: 32283220 markings, 146505129 edges, 194026 markings/sec, 155 secs
lola: 33242425 markings, 150755309 edges, 191841 markings/sec, 160 secs
lola: 34220405 markings, 155021292 edges, 195596 markings/sec, 165 secs
lola: 35151217 markings, 159063234 edges, 186162 markings/sec, 170 secs
lola: 36128095 markings, 163186337 edges, 195376 markings/sec, 175 secs
lola: 37046099 markings, 167196652 edges, 183601 markings/sec, 180 secs
lola: 37995594 markings, 171314404 edges, 189899 markings/sec, 185 secs
lola: 38980055 markings, 175614275 edges, 196892 markings/sec, 190 secs
lola: 39989859 markings, 179884821 edges, 201961 markings/sec, 195 secs
lola: 40990839 markings, 184331484 edges, 200196 markings/sec, 200 secs
lola: 41956266 markings, 188504988 edges, 193085 markings/sec, 205 secs
lola: 42944626 markings, 192723422 edges, 197672 markings/sec, 210 secs
lola: 43892207 markings, 196884573 edges, 189516 markings/sec, 215 secs
lola: 44786044 markings, 200774513 edges, 178767 markings/sec, 220 secs
lola: 45729273 markings, 204881911 edges, 188646 markings/sec, 225 secs
lola: 46681233 markings, 208941173 edges, 190392 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8219768 KB
lola: time consumption: 241 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 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p8) AND (1 <= p34) AND (1 <= p14) AND (1 <= p32) AND (p30 <= 0))))))
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 <= p8) AND (1 <= p34) AND (1 <= p14) AND (1 <= p32) AND (p30 <= 0))))
lola: processed formula length: 79
lola: 34 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: 2101153 markings, 4429914 edges, 420231 markings/sec, 0 secs
lola: 4163545 markings, 8772571 edges, 412478 markings/sec, 5 secs
lola: 6029600 markings, 12691909 edges, 373211 markings/sec, 10 secs
lola: 7877855 markings, 16532915 edges, 369651 markings/sec, 15 secs
lola: 9632173 markings, 20230885 edges, 350864 markings/sec, 20 secs
lola: 11436990 markings, 23971721 edges, 360963 markings/sec, 25 secs
lola: 13090056 markings, 27438676 edges, 330613 markings/sec, 30 secs
lola: 14793436 markings, 31067595 edges, 340676 markings/sec, 35 secs
lola: 16452678 markings, 34531476 edges, 331848 markings/sec, 40 secs
lola: 18095649 markings, 38093227 edges, 328594 markings/sec, 45 secs
lola: 19759810 markings, 41628449 edges, 332832 markings/sec, 50 secs
lola: 21405143 markings, 45136105 edges, 329067 markings/sec, 55 secs
lola: 23006253 markings, 48566952 edges, 320222 markings/sec, 60 secs
lola: 24598549 markings, 52014083 edges, 318459 markings/sec, 65 secs
lola: 26182088 markings, 55455241 edges, 316708 markings/sec, 70 secs
lola: 27845467 markings, 58910021 edges, 332676 markings/sec, 75 secs
lola: 29412720 markings, 62291541 edges, 313451 markings/sec, 80 secs
lola: 31030037 markings, 65712218 edges, 323463 markings/sec, 85 secs
lola: 32590104 markings, 69064154 edges, 312013 markings/sec, 90 secs
lola: 34136633 markings, 72416995 edges, 309306 markings/sec, 95 secs
lola: 35740309 markings, 75752250 edges, 320735 markings/sec, 100 secs
lola: 37243972 markings, 79043823 edges, 300733 markings/sec, 105 secs
lola: 38744866 markings, 82188598 edges, 300179 markings/sec, 110 secs
lola: 40328875 markings, 85424620 edges, 316802 markings/sec, 115 secs
lola: 41942512 markings, 88767918 edges, 322727 markings/sec, 120 secs
lola: 43464081 markings, 91919641 edges, 304314 markings/sec, 125 secs
lola: 44934924 markings, 95174379 edges, 294169 markings/sec, 130 secs
lola: 46467980 markings, 98430946 edges, 306611 markings/sec, 135 secs
lola: 48006918 markings, 101663977 edges, 307788 markings/sec, 140 secs
lola: 49565273 markings, 104922751 edges, 311671 markings/sec, 145 secs
lola: 51061582 markings, 108139715 edges, 299262 markings/sec, 150 secs
lola: 52620798 markings, 111399914 edges, 311843 markings/sec, 155 secs
lola: 54108415 markings, 114598163 edges, 297523 markings/sec, 160 secs
lola: 55603007 markings, 117839939 edges, 298918 markings/sec, 165 secs
lola: 57094536 markings, 121073890 edges, 298306 markings/sec, 170 secs
lola: 58531016 markings, 124205965 edges, 287296 markings/sec, 175 secs
lola: 60037881 markings, 127398370 edges, 301373 markings/sec, 180 secs
lola: 61467174 markings, 130471187 edges, 285859 markings/sec, 185 secs
lola: 62929410 markings, 133682917 edges, 292447 markings/sec, 190 secs
lola: 64384771 markings, 136763611 edges, 291072 markings/sec, 195 secs
lola: 65880815 markings, 139967811 edges, 299209 markings/sec, 200 secs
lola: 67057791 markings, 142510481 edges, 235395 markings/sec, 205 secs
lola: 67913465 markings, 144323152 edges, 171135 markings/sec, 210 secs
lola: 68677808 markings, 145986301 edges, 152869 markings/sec, 215 secs
lola: 69591871 markings, 147909354 edges, 182813 markings/sec, 220 secs
lola: 70343181 markings, 149600976 edges, 150262 markings/sec, 225 secs
lola: 71457934 markings, 151995606 edges, 222951 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= p17)))
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 <= p17)))
lola: processed formula length: 18
lola: 33 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 <= p17)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 10 markings, 9 edges
lola: state equation: write sara problem file to CTLFireability-3-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 4 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p38 <= 0) AND A (G ((p16 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(((p38 <= 0) AND AG((p16 <= 0))))
lola: processed formula length: 35
lola: 34 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).
sara: try reading problem file CTLFireability-3-0.sara.

lola: 1623600 markings, 5620960 edges, 324720 markings/sec, 0 secs
lola: 3276519 markings, 11284750 edges, 330584 markings/sec, 5 secs
lola: 4696290 markings, 16405362 edges, 283954 markings/sec, 10 secs
lola: 6113772 markings, 21414527 edges, 283496 markings/sec, 15 secs
lola: 7403877 markings, 26330048 edges, 258021 markings/sec, 20 secs
lola: 8802347 markings, 31077197 edges, 279694 markings/sec, 25 secs
lola: 10117551 markings, 35876379 edges, 263041 markings/sec, 30 secs
lola: 11301051 markings, 40516204 edges, 236700 markings/sec, 35 secs
lola: 12569832 markings, 45087864 edges, 253756 markings/sec, 40 secs
lola: 13830380 markings, 49654778 edges, 252110 markings/sec, 45 secs
lola: 15073642 markings, 54262977 edges, 248652 markings/sec, 50 secs
lola: 16324683 markings, 58784946 edges, 250208 markings/sec, 55 secs
lola: 17491551 markings, 62976478 edges, 233374 markings/sec, 60 secs
lola: 18743855 markings, 67341610 edges, 250461 markings/sec, 65 secs
lola: 19996259 markings, 71672771 edges, 250481 markings/sec, 70 secs
lola: 21224588 markings, 76053378 edges, 245666 markings/sec, 75 secs
lola: 22426166 markings, 80238203 edges, 240316 markings/sec, 80 secs
lola: 23696796 markings, 84538966 edges, 254126 markings/sec, 85 secs
lola: 24919373 markings, 88911848 edges, 244515 markings/sec, 90 secs
lola: 26133946 markings, 93193794 edges, 242915 markings/sec, 95 secs
lola: 27328727 markings, 97574237 edges, 238956 markings/sec, 100 secs
lola: 28538142 markings, 101799816 edges, 241883 markings/sec, 105 secs
lola: 29721360 markings, 106022781 edges, 236644 markings/sec, 110 secs
lola: 30880916 markings, 110467729 edges, 231911 markings/sec, 115 secs
lola: 32130326 markings, 114663947 edges, 249882 markings/sec, 120 secs
lola: 33392079 markings, 118875925 edges, 252351 markings/sec, 125 secs
lola: 34596030 markings, 123138321 edges, 240790 markings/sec, 130 secs
lola: 35782336 markings, 127412614 edges, 237261 markings/sec, 135 secs
lola: 36975918 markings, 131579568 edges, 238716 markings/sec, 140 secs
lola: 38170062 markings, 135678651 edges, 238829 markings/sec, 145 secs
lola: 39423762 markings, 140042764 edges, 250740 markings/sec, 150 secs
lola: 40610951 markings, 144318284 edges, 237438 markings/sec, 155 secs
lola: 41845037 markings, 148602861 edges, 246817 markings/sec, 160 secs
lola: 43009906 markings, 152796348 edges, 232974 markings/sec, 165 secs
lola: 44138820 markings, 156753814 edges, 225783 markings/sec, 170 secs
lola: 45257036 markings, 160687805 edges, 223643 markings/sec, 175 secs
lola: 46388186 markings, 164612347 edges, 226230 markings/sec, 180 secs
lola: 47557770 markings, 168695145 edges, 233917 markings/sec, 185 secs
lola: 48706829 markings, 172876755 edges, 229812 markings/sec, 190 secs
lola: 49844160 markings, 177050913 edges, 227466 markings/sec, 195 secs
lola: 50962137 markings, 181005444 edges, 223595 markings/sec, 200 secs
lola: 52096246 markings, 185204656 edges, 226822 markings/sec, 205 secs
lola: 53243619 markings, 189350295 edges, 229475 markings/sec, 210 secs
lola: 54481198 markings, 193389790 edges, 247516 markings/sec, 215 secs
lola: 55688935 markings, 197481777 edges, 241547 markings/sec, 220 secs
lola: 56867293 markings, 201545452 edges, 235672 markings/sec, 225 secs
lola: 58033608 markings, 205515740 edges, 233263 markings/sec, 230 secs
lola: 59163283 markings, 209562298 edges, 225935 markings/sec, 235 secs
lola: 60324312 markings, 213524868 edges, 232206 markings/sec, 240 secs
lola: 61544056 markings, 217593081 edges, 243949 markings/sec, 245 secs
lola: 62726166 markings, 221692131 edges, 236422 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown
lola: memory consumption: 11054572 KB
lola: time consumption: 736 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 5 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((1 <= p12) OR (1 <= p21)) OR E (F (((p15 <= 0) OR (p33 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG((((1 <= p12) OR (1 <= p21)) OR EF(((p15 <= 0) OR (p33 <= 0)))))
lola: processed formula length: 68
lola: 34 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: 1809585 markings, 5616245 edges, 361917 markings/sec, 0 secs
lola: 3482917 markings, 10822632 edges, 334666 markings/sec, 5 secs
lola: 5121962 markings, 15943944 edges, 327809 markings/sec, 10 secs
lola: 6731275 markings, 20935649 edges, 321863 markings/sec, 15 secs
lola: 8300534 markings, 25851449 edges, 313852 markings/sec, 20 secs
lola: 9841511 markings, 30686826 edges, 308195 markings/sec, 25 secs
lola: 11385481 markings, 35518178 edges, 308794 markings/sec, 30 secs
lola: 12883253 markings, 40240395 edges, 299554 markings/sec, 35 secs
lola: 14383827 markings, 44937378 edges, 300115 markings/sec, 40 secs
lola: 15856626 markings, 49573463 edges, 294560 markings/sec, 45 secs
lola: 17321785 markings, 54200471 edges, 293032 markings/sec, 50 secs
lola: 18653199 markings, 58485400 edges, 266283 markings/sec, 55 secs
lola: 20071181 markings, 62991092 edges, 283596 markings/sec, 60 secs
lola: 21491045 markings, 67478434 edges, 283973 markings/sec, 65 secs
lola: 22862814 markings, 71849223 edges, 274354 markings/sec, 70 secs
lola: 24254158 markings, 76301054 edges, 278269 markings/sec, 75 secs
lola: 25572496 markings, 80583440 edges, 263668 markings/sec, 80 secs
lola: 26988730 markings, 85051257 edges, 283247 markings/sec, 85 secs
lola: 28284450 markings, 89154834 edges, 259144 markings/sec, 90 secs
lola: 29646581 markings, 93541856 edges, 272426 markings/sec, 95 secs
lola: 31046385 markings, 97948336 edges, 279961 markings/sec, 100 secs
lola: 32403221 markings, 102291764 edges, 271367 markings/sec, 105 secs
lola: 33619871 markings, 106279519 edges, 243330 markings/sec, 110 secs
lola: 35030364 markings, 110726266 edges, 282099 markings/sec, 115 secs
lola: 36370454 markings, 115019293 edges, 268018 markings/sec, 120 secs
lola: 37680636 markings, 119236114 edges, 262036 markings/sec, 125 secs
lola: 39061040 markings, 123605667 edges, 276081 markings/sec, 130 secs
lola: 40425809 markings, 127929209 edges, 272954 markings/sec, 135 secs
lola: 41832968 markings, 132340182 edges, 281432 markings/sec, 140 secs
lola: 43157599 markings, 136524738 edges, 264926 markings/sec, 145 secs
lola: 44485058 markings, 140746986 edges, 265492 markings/sec, 150 secs
lola: 45778755 markings, 144937599 edges, 258739 markings/sec, 155 secs
lola: 47059773 markings, 149069174 edges, 256204 markings/sec, 160 secs
lola: 48413457 markings, 153383866 edges, 270737 markings/sec, 165 secs
lola: 49793635 markings, 157687036 edges, 276036 markings/sec, 170 secs
lola: 51085241 markings, 161861549 edges, 258321 markings/sec, 175 secs
lola: 52444652 markings, 166138199 edges, 271882 markings/sec, 180 secs
lola: 53756632 markings, 170372099 edges, 262396 markings/sec, 185 secs
lola: 55059200 markings, 174553155 edges, 260514 markings/sec, 190 secs
lola: 56372714 markings, 178771356 edges, 262703 markings/sec, 195 secs
lola: 57660126 markings, 182971133 edges, 257482 markings/sec, 200 secs
lola: 58972033 markings, 187182303 edges, 262381 markings/sec, 205 secs
lola: 60235982 markings, 191302400 edges, 252790 markings/sec, 210 secs
lola: 61536921 markings, 195491889 edges, 260188 markings/sec, 215 secs
lola: 62852791 markings, 199722310 edges, 263174 markings/sec, 220 secs
lola: 64139231 markings, 203879497 edges, 257288 markings/sec, 225 secs
lola: 65462696 markings, 208128316 edges, 264693 markings/sec, 230 secs
lola: 66752786 markings, 212307760 edges, 258018 markings/sec, 235 secs
lola: 68062039 markings, 216504355 edges, 261851 markings/sec, 240 secs
lola: 69350494 markings, 220646924 edges, 257691 markings/sec, 245 secs
lola: 70566649 markings, 224635839 edges, 243231 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((1 <= p1) AND (1 <= p26) AND (1 <= p31)) R E (F ((p7 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: processed formula: A(((1 <= p1) AND (1 <= p26) AND (1 <= p31)) R EF((p7 <= 0)))
lola: processed formula length: 60
lola: 34 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: 1740916 markings, 5409346 edges, 348183 markings/sec, 0 secs
lola: 3562221 markings, 11067809 edges, 364261 markings/sec, 5 secs
lola: 5213300 markings, 16204382 edges, 330216 markings/sec, 10 secs
lola: 6840296 markings, 21233475 edges, 325399 markings/sec, 15 secs
lola: 8458437 markings, 26233923 edges, 323628 markings/sec, 20 secs
lola: 10053342 markings, 31176096 edges, 318981 markings/sec, 25 secs
lola: 11657483 markings, 36099445 edges, 320828 markings/sec, 30 secs
lola: 13201915 markings, 40884323 edges, 308886 markings/sec, 35 secs
lola: 14708637 markings, 45603216 edges, 301344 markings/sec, 40 secs
lola: 16253171 markings, 50373357 edges, 308907 markings/sec, 45 secs
lola: 17757980 markings, 55084819 edges, 300962 markings/sec, 50 secs
lola: 19237037 markings, 59723267 edges, 295811 markings/sec, 55 secs
lola: 20713760 markings, 64374708 edges, 295345 markings/sec, 60 secs
lola: 22155183 markings, 68929613 edges, 288285 markings/sec, 65 secs
lola: 23603316 markings, 73476805 edges, 289627 markings/sec, 70 secs
lola: 25056470 markings, 78091004 edges, 290631 markings/sec, 75 secs
lola: 26543817 markings, 82716313 edges, 297469 markings/sec, 80 secs
lola: 28006509 markings, 87279526 edges, 292538 markings/sec, 85 secs
lola: 29428018 markings, 91751458 edges, 284302 markings/sec, 90 secs
lola: 30798269 markings, 96014943 edges, 274050 markings/sec, 95 secs
lola: 32229342 markings, 100553332 edges, 286215 markings/sec, 100 secs
lola: 33624396 markings, 105007750 edges, 279011 markings/sec, 105 secs
lola: 35114118 markings, 109566535 edges, 297944 markings/sec, 110 secs
lola: 36532908 markings, 114000705 edges, 283758 markings/sec, 115 secs
lola: 37907002 markings, 118341405 edges, 274819 markings/sec, 120 secs
lola: 39389455 markings, 122862108 edges, 296491 markings/sec, 125 secs
lola: 40891733 markings, 127453313 edges, 300456 markings/sec, 130 secs
lola: 42355418 markings, 131940603 edges, 292737 markings/sec, 135 secs
lola: 43781810 markings, 136368525 edges, 285278 markings/sec, 140 secs
lola: 45111502 markings, 140653595 edges, 265938 markings/sec, 145 secs
lola: 46510412 markings, 145022710 edges, 279782 markings/sec, 150 secs
lola: 47918804 markings, 149412317 edges, 281678 markings/sec, 155 secs
lola: 49358074 markings, 153841544 edges, 287854 markings/sec, 160 secs
lola: 50725451 markings, 158149508 edges, 273475 markings/sec, 165 secs
lola: 52139446 markings, 162552999 edges, 282799 markings/sec, 170 secs
lola: 53537008 markings, 166911143 edges, 279512 markings/sec, 175 secs
lola: 54898689 markings, 171218011 edges, 272336 markings/sec, 180 secs
lola: 56273366 markings, 175539373 edges, 274935 markings/sec, 185 secs
lola: 57558174 markings, 179642836 edges, 256962 markings/sec, 190 secs
lola: 58946340 markings, 183986945 edges, 277633 markings/sec, 195 secs
lola: 60274768 markings, 188204991 edges, 265686 markings/sec, 200 secs
lola: 61627944 markings, 192478240 edges, 270635 markings/sec, 205 secs
lola: 62966003 markings, 196726346 edges, 267612 markings/sec, 210 secs
lola: 64333466 markings, 200978621 edges, 273493 markings/sec, 215 secs
lola: 65622247 markings, 205030387 edges, 257756 markings/sec, 220 secs
lola: 66976229 markings, 209314665 edges, 270796 markings/sec, 225 secs
lola: 68370708 markings, 213660836 edges, 278896 markings/sec, 230 secs
lola: 69716147 markings, 217900294 edges, 269088 markings/sec, 235 secs
lola: 71021356 markings, 222073130 edges, 261042 markings/sec, 240 secs
lola: 72423957 markings, 226424323 edges, 280520 markings/sec, 245 secs
lola: 73787197 markings, 230692996 edges, 272648 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A ((((1 <= p12) AND (1 <= p17)) U ((1 <= p15) AND (1 <= p34) AND (1 <= p25))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(A(((1 <= p12) AND (1 <= p17)) U ((1 <= p15) AND (1 <= p34) AND (1 <= p25))))
lola: processed formula length: 79
lola: 34 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: 1897693 markings, 5895960 edges, 379539 markings/sec, 0 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 2948116 markings, 9169218 edges
lola: ========================================
lola: subprocess 8 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((1 <= p28) AND ((p9 <= 0) OR (p11 <= 0)) AND (p30 <= 0)) R E (F ((p37 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: processed formula: A(((1 <= p28) AND ((p9 <= 0) OR (p11 <= 0)) AND (p30 <= 0)) R EF((p37 <= 0)))
lola: processed formula length: 78
lola: 34 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: 1919167 markings, 6012610 edges, 383833 markings/sec, 0 secs
lola: 3684600 markings, 11522968 edges, 353087 markings/sec, 5 secs
lola: 5366490 markings, 16867462 edges, 336378 markings/sec, 10 secs
lola: 6989458 markings, 22094003 edges, 324594 markings/sec, 15 secs
lola: 8600464 markings, 27198047 edges, 322201 markings/sec, 20 secs
lola: 10125333 markings, 32118383 edges, 304974 markings/sec, 25 secs
lola: 11650694 markings, 36976213 edges, 305072 markings/sec, 30 secs
lola: 13143416 markings, 41789714 edges, 298544 markings/sec, 35 secs
lola: 14682493 markings, 46621051 edges, 307815 markings/sec, 40 secs
lola: 16182227 markings, 51402569 edges, 299947 markings/sec, 45 secs
lola: 17729632 markings, 56214882 edges, 309481 markings/sec, 50 secs
lola: 19227911 markings, 60897024 edges, 299656 markings/sec, 55 secs
lola: 20626699 markings, 65432318 edges, 279758 markings/sec, 60 secs
lola: 22039277 markings, 69972236 edges, 282516 markings/sec, 65 secs
lola: 23512255 markings, 74567567 edges, 294596 markings/sec, 70 secs
lola: 24932722 markings, 79064199 edges, 284093 markings/sec, 75 secs
lola: 26279137 markings, 83500456 edges, 269283 markings/sec, 80 secs
lola: 27785641 markings, 88138415 edges, 301301 markings/sec, 85 secs
lola: 29253168 markings, 92770304 edges, 293505 markings/sec, 90 secs
lola: 30604217 markings, 97226424 edges, 270210 markings/sec, 95 secs
lola: 31980206 markings, 101715024 edges, 275198 markings/sec, 100 secs
lola: 33310985 markings, 105973431 edges, 266156 markings/sec, 105 secs
lola: 34650856 markings, 110384634 edges, 267974 markings/sec, 110 secs
lola: 36015646 markings, 114816869 edges, 272958 markings/sec, 115 secs
lola: 37298796 markings, 119121622 edges, 256630 markings/sec, 120 secs
lola: 38701395 markings, 123574005 edges, 280520 markings/sec, 125 secs
lola: 40047717 markings, 127939126 edges, 269264 markings/sec, 130 secs
lola: 41425959 markings, 132348384 edges, 275648 markings/sec, 135 secs
lola: 42749002 markings, 136696697 edges, 264609 markings/sec, 140 secs
lola: 44063544 markings, 141029466 edges, 262908 markings/sec, 145 secs
lola: 45410015 markings, 145415719 edges, 269294 markings/sec, 150 secs
lola: 46638455 markings, 149613688 edges, 245688 markings/sec, 155 secs
lola: 47954664 markings, 153907091 edges, 263242 markings/sec, 160 secs
lola: 49286604 markings, 158215117 edges, 266388 markings/sec, 165 secs
lola: 50638748 markings, 162576590 edges, 270429 markings/sec, 170 secs
lola: 51961173 markings, 166873121 edges, 264485 markings/sec, 175 secs
lola: 53279372 markings, 171169237 edges, 263640 markings/sec, 180 secs
lola: 54676321 markings, 175618592 edges, 279390 markings/sec, 185 secs
lola: 55903297 markings, 179787043 edges, 245395 markings/sec, 190 secs
lola: 57134734 markings, 183958857 edges, 246287 markings/sec, 195 secs
lola: 58472837 markings, 188273686 edges, 267621 markings/sec, 200 secs
lola: 59727571 markings, 192440751 edges, 250947 markings/sec, 205 secs
lola: 61069115 markings, 196704663 edges, 268309 markings/sec, 210 secs
lola: 62330704 markings, 200871175 edges, 252318 markings/sec, 215 secs
lola: 63597617 markings, 205034095 edges, 253383 markings/sec, 220 secs
lola: 64869622 markings, 209218604 edges, 254401 markings/sec, 225 secs
lola: 66273147 markings, 213540787 edges, 280705 markings/sec, 230 secs
lola: 67519019 markings, 217700753 edges, 249174 markings/sec, 235 secs
lola: 68767510 markings, 221843217 edges, 249698 markings/sec, 240 secs
lola: 70071260 markings, 226046395 edges, 260750 markings/sec, 245 secs
lola: 71321273 markings, 230174805 edges, 250003 markings/sec, 250 secs
lola: 72587168 markings, 234310211 edges, 253179 markings/sec, 255 secs
lola: 73840226 markings, 238431536 edges, 250612 markings/sec, 260 secs
lola: 75133051 markings, 242633635 edges, 258565 markings/sec, 265 secs
lola: 76482774 markings, 246858075 edges, 269945 markings/sec, 270 secs
lola: 77708033 markings, 250950302 edges, 245052 markings/sec, 275 secs
lola: 78966966 markings, 255073940 edges, 251787 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (G ((p27 <= 0))) U E (G ((1 <= p30)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(AG((p27 <= 0)) U EG((1 <= p30)))
lola: processed formula length: 34
lola: 35 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: 2555743 markings, 5389835 edges, 511149 markings/sec, 0 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 2948039 markings, 6220979 edges
lola: ========================================
lola: subprocess 10 will run for 335 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (G ((p23 <= 0))) U (((1 <= p32) AND (1 <= p36)) OR ((1 <= p16) AND (1 <= p24) AND (1 <= p31) AND (1 <= p21)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(AG((p23 <= 0)) U (((1 <= p32) AND (1 <= p36)) OR ((1 <= p16) AND (1 <= p24) AND (1 <= p31) AND (1 <= p21))))
lola: processed formula length: 111
lola: 34 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: 2546645 markings, 5370237 edges, 509329 markings/sec, 0 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 2947994 markings, 6220916 edges
lola: ========================================
lola: subprocess 11 will run for 401 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((E (F (((1 <= p17) AND (1 <= p0) AND (1 <= p32)))) OR A (F (((1 <= p25) AND (1 <= p8) AND (1 <= p34)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF((EF(((1 <= p17) AND (1 <= p0) AND (1 <= p32))) OR AF(((1 <= p25) AND (1 <= p8) AND (1 <= p34)))))
lola: processed formula length: 100
lola: 35 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: 2407295 markings, 5075417 edges, 481459 markings/sec, 0 secs
lola: 4801027 markings, 10134515 edges, 478746 markings/sec, 5 secs
lola: 7052477 markings, 14826123 edges, 450290 markings/sec, 10 secs
lola: 9199638 markings, 19330808 edges, 429432 markings/sec, 15 secs
lola: 11367690 markings, 23831920 edges, 433610 markings/sec, 20 secs
lola: 13417684 markings, 28151566 edges, 409999 markings/sec, 25 secs
lola: 15466671 markings, 32431059 edges, 409797 markings/sec, 30 secs
lola: 17453880 markings, 36659067 edges, 397442 markings/sec, 35 secs
lola: 19386637 markings, 40811389 edges, 386551 markings/sec, 40 secs
lola: 21315038 markings, 44941538 edges, 385680 markings/sec, 45 secs
lola: 23189873 markings, 48975286 edges, 374967 markings/sec, 50 secs
lola: 25066723 markings, 53056855 edges, 375370 markings/sec, 55 secs
lola: 27016862 markings, 57150875 edges, 390028 markings/sec, 60 secs
lola: 28893464 markings, 61185980 edges, 375320 markings/sec, 65 secs
lola: 30808715 markings, 65240689 edges, 383050 markings/sec, 70 secs
lola: 32644666 markings, 69185135 edges, 367190 markings/sec, 75 secs
lola: 34469280 markings, 73107795 edges, 364923 markings/sec, 80 secs
lola: 36343214 markings, 77044359 edges, 374787 markings/sec, 85 secs
lola: 38113040 markings, 80873461 edges, 353965 markings/sec, 90 secs
lola: 40033688 markings, 84806615 edges, 384130 markings/sec, 95 secs
lola: 41977245 markings, 88832987 edges, 388711 markings/sec, 100 secs
lola: 43867393 markings, 92765771 edges, 378030 markings/sec, 105 secs
lola: 45613707 markings, 96600877 edges, 349263 markings/sec, 110 secs
lola: 47425016 markings, 100449301 edges, 362262 markings/sec, 115 secs
lola: 49250876 markings, 104250610 edges, 365172 markings/sec, 120 secs
lola: 50963274 markings, 107946144 edges, 342480 markings/sec, 125 secs
lola: 52839368 markings, 111852649 edges, 375219 markings/sec, 130 secs
lola: 54596963 markings, 115644336 edges, 351519 markings/sec, 135 secs
lola: 56369746 markings, 119481543 edges, 354557 markings/sec, 140 secs
lola: 58049219 markings, 123138485 edges, 335895 markings/sec, 145 secs
lola: 59816331 markings, 126909277 edges, 353422 markings/sec, 150 secs
lola: 61544029 markings, 130654684 edges, 345540 markings/sec, 155 secs
lola: 63284209 markings, 134450173 edges, 348036 markings/sec, 160 secs
lola: 65116956 markings, 138284886 edges, 366549 markings/sec, 165 secs
lola: 66866545 markings, 142077622 edges, 349918 markings/sec, 170 secs
lola: 68617957 markings, 145849356 edges, 350282 markings/sec, 175 secs
lola: 70315196 markings, 149541332 edges, 339448 markings/sec, 180 secs
lola: 72100906 markings, 153325538 edges, 357142 markings/sec, 185 secs
lola: 73892174 markings, 157130200 edges, 358254 markings/sec, 190 secs
lola: 75632779 markings, 160886226 edges, 348121 markings/sec, 195 secs
lola: 77327679 markings, 164541580 edges, 338980 markings/sec, 200 secs
lola: 78990838 markings, 168190946 edges, 332632 markings/sec, 205 secs
lola: 80666826 markings, 171839171 edges, 335198 markings/sec, 210 secs
lola: 82344676 markings, 175513916 edges, 335570 markings/sec, 215 secs
lola: 84047203 markings, 179155332 edges, 340505 markings/sec, 220 secs
lola: 85640370 markings, 182741191 edges, 318633 markings/sec, 225 secs
lola: 87316405 markings, 186370629 edges, 335207 markings/sec, 230 secs
lola: 88997697 markings, 190006549 edges, 336258 markings/sec, 235 secs
lola: 90668226 markings, 193647054 edges, 334106 markings/sec, 240 secs
lola: 92259487 markings, 197089968 edges, 318252 markings/sec, 245 secs
lola: 93477693 markings, 199701431 edges, 243641 markings/sec, 250 secs
lola: 94840801 markings, 202744569 edges, 272622 markings/sec, 255 secs
lola: 95950859 markings, 205116196 edges, 222012 markings/sec, 260 secs
lola: 97034054 markings, 207545603 edges, 216639 markings/sec, 265 secs
lola: 97980056 markings, 209590855 edges, 189200 markings/sec, 270 secs
lola: 98878158 markings, 211622283 edges, 179620 markings/sec, 275 secs
lola: 99685111 markings, 213379196 edges, 161391 markings/sec, 280 secs
lola: 100472140 markings, 215201926 edges, 157406 markings/sec, 285 secs
lola: 101374903 markings, 217200958 edges, 180553 markings/sec, 290 secs
lola: 102058843 markings, 218714307 edges, 136788 markings/sec, 295 secs
lola: 103176828 markings, 221020208 edges, 223597 markings/sec, 300 secs
lola: 103819676 markings, 222471795 edges, 128570 markings/sec, 305 secs
lola: 104709123 markings, 224454199 edges, 177889 markings/sec, 310 secs
lola: 105193314 markings, 225560273 edges, 96838 markings/sec, 315 secs
lola: 105862312 markings, 227042695 edges, 133800 markings/sec, 320 secs
lola: 106392591 markings, 228259362 edges, 106056 markings/sec, 325 secs
lola: 107449827 markings, 230483486 edges, 211447 markings/sec, 330 secs
lola: 108165085 markings, 232041824 edges, 143052 markings/sec, 335 secs
lola: 108632814 markings, 233037110 edges, 93546 markings/sec, 340 secs
lola: 109299754 markings, 234544795 edges, 133388 markings/sec, 345 secs
lola: 109938708 markings, 235954913 edges, 127791 markings/sec, 350 secs
lola: 110510292 markings, 237240849 edges, 114317 markings/sec, 355 secs
lola: 111286257 markings, 238830467 edges, 155193 markings/sec, 360 secs
lola: 112113207 markings, 240606637 edges, 165390 markings/sec, 365 secs
lola: 112634547 markings, 241724854 edges, 104268 markings/sec, 370 secs
lola: 113041441 markings, 242600511 edges, 81379 markings/sec, 375 secs
lola: 113130327 markings, 242784204 edges, 17777 markings/sec, 380 secs
lola: 113156351 markings, 242831154 edges, 5205 markings/sec, 385 secs
lola: 113194867 markings, 242914653 edges, 7703 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes unknown unknown no unknown no
lola: caught signal User defined signal 2 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 400 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (F ((((1 <= p9) AND (1 <= p11)) OR ((1 <= p15) AND (1 <= p34))))) AND E (F (((1 <= p12) AND (1 <= p18) AND (1 <= p31)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((AF((((1 <= p9) AND (1 <= p11)) OR ((1 <= p15) AND (1 <= p34)))) AND EF(((1 <= p12) AND (1 <= p18) AND (1 <= p31)))))
lola: processed formula length: 121
lola: 35 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: 1119617 markings, 4593743 edges, 223923 markings/sec, 0 secs
lola: 2239559 markings, 9200364 edges, 223988 markings/sec, 5 secs
lola: 3723206 markings, 13962518 edges, 296729 markings/sec, 10 secs
lola: 5935631 markings, 18632953 edges, 442485 markings/sec, 15 secs
lola: 7971142 markings, 23085034 edges, 407102 markings/sec, 20 secs
lola: 9971857 markings, 27297047 edges, 400143 markings/sec, 25 secs
lola: 11951145 markings, 31533666 edges, 395858 markings/sec, 30 secs
lola: 13902015 markings, 35718885 edges, 390174 markings/sec, 35 secs
lola: 15841091 markings, 39836754 edges, 387815 markings/sec, 40 secs
lola: 17834104 markings, 44015853 edges, 398603 markings/sec, 45 secs
lola: 19728319 markings, 48027377 edges, 378843 markings/sec, 50 secs
lola: 21611182 markings, 52037891 edges, 376573 markings/sec, 55 secs
lola: 23536459 markings, 56050476 edges, 385055 markings/sec, 60 secs
lola: 25286236 markings, 59826884 edges, 349955 markings/sec, 65 secs
lola: 27215886 markings, 63832455 edges, 385930 markings/sec, 70 secs
lola: 29057584 markings, 67738783 edges, 368340 markings/sec, 75 secs
lola: 30921762 markings, 71648616 edges, 372836 markings/sec, 80 secs
lola: 32701312 markings, 75439343 edges, 355910 markings/sec, 85 secs
lola: 34528612 markings, 79355278 edges, 365460 markings/sec, 90 secs
lola: 36406261 markings, 83286681 edges, 375530 markings/sec, 95 secs
lola: 38266986 markings, 87239312 edges, 372145 markings/sec, 100 secs
lola: 39896647 markings, 90692981 edges, 325932 markings/sec, 105 secs
lola: 41616780 markings, 94473908 edges, 344027 markings/sec, 110 secs
lola: 43430989 markings, 98275234 edges, 362842 markings/sec, 115 secs
lola: 45087211 markings, 101797184 edges, 331244 markings/sec, 120 secs
lola: 46800295 markings, 105547037 edges, 342617 markings/sec, 125 secs
lola: 48572974 markings, 109309348 edges, 354536 markings/sec, 130 secs
lola: 50358285 markings, 113102726 edges, 357062 markings/sec, 135 secs
lola: 52045068 markings, 116768331 edges, 337357 markings/sec, 140 secs
lola: 53838493 markings, 120496177 edges, 358685 markings/sec, 145 secs
lola: 55629892 markings, 124263971 edges, 358280 markings/sec, 150 secs
lola: 57338511 markings, 127920586 edges, 341724 markings/sec, 155 secs
lola: 59087027 markings, 131629212 edges, 349703 markings/sec, 160 secs
lola: 60861398 markings, 135371040 edges, 354874 markings/sec, 165 secs
lola: 62537080 markings, 139019478 edges, 335136 markings/sec, 170 secs
lola: 64278071 markings, 142734600 edges, 348198 markings/sec, 175 secs
lola: 66036125 markings, 146446779 edges, 351611 markings/sec, 180 secs
lola: 67601309 markings, 149971999 edges, 313037 markings/sec, 185 secs
lola: 69303461 markings, 153602586 edges, 340430 markings/sec, 190 secs
lola: 70924260 markings, 157179673 edges, 324160 markings/sec, 195 secs
lola: 72604891 markings, 160778973 edges, 336126 markings/sec, 200 secs
lola: 74171223 markings, 164299253 edges, 313266 markings/sec, 205 secs
lola: 75852537 markings, 167943056 edges, 336263 markings/sec, 210 secs
lola: 77536142 markings, 171541975 edges, 336721 markings/sec, 215 secs
lola: 79175939 markings, 175142222 edges, 327959 markings/sec, 220 secs
lola: 80788285 markings, 178673147 edges, 322469 markings/sec, 225 secs
lola: 82408942 markings, 182185251 edges, 324131 markings/sec, 230 secs
lola: 83945597 markings, 185639588 edges, 307331 markings/sec, 235 secs
lola: 85572927 markings, 189179987 edges, 325466 markings/sec, 240 secs
lola: 87147449 markings, 192675767 edges, 314904 markings/sec, 245 secs
lola: 88779905 markings, 196203966 edges, 326491 markings/sec, 250 secs
lola: 90363271 markings, 199694501 edges, 316673 markings/sec, 255 secs
lola: 91943054 markings, 203110127 edges, 315957 markings/sec, 260 secs
lola: 93011680 markings, 205404477 edges, 213725 markings/sec, 265 secs
lola: 94185946 markings, 208005165 edges, 234853 markings/sec, 270 secs
lola: 95360566 markings, 210608207 edges, 234924 markings/sec, 275 secs
lola: 96446285 markings, 212882504 edges, 217144 markings/sec, 280 secs
lola: 97286019 markings, 214790269 edges, 167947 markings/sec, 285 secs
lola: 98157154 markings, 216712861 edges, 174227 markings/sec, 290 secs
lola: 98959791 markings, 218507430 edges, 160527 markings/sec, 295 secs
lola: 99725261 markings, 220161370 edges, 153094 markings/sec, 300 secs
lola: 100438687 markings, 221756697 edges, 142685 markings/sec, 305 secs
lola: 101265085 markings, 223536429 edges, 165280 markings/sec, 310 secs
lola: 102137961 markings, 225405425 edges, 174575 markings/sec, 315 secs
lola: 102767970 markings, 226812651 edges, 126002 markings/sec, 320 secs
lola: 103499694 markings, 228401741 edges, 146345 markings/sec, 325 secs
lola: 104207172 markings, 229926454 edges, 141496 markings/sec, 330 secs
lola: 104886503 markings, 231474110 edges, 135866 markings/sec, 335 secs
lola: 105567097 markings, 232964758 edges, 136119 markings/sec, 340 secs
lola: 106222623 markings, 234409363 edges, 131105 markings/sec, 345 secs
lola: 106854338 markings, 235784144 edges, 126343 markings/sec, 350 secs
lola: 107610850 markings, 237364793 edges, 151302 markings/sec, 355 secs
lola: 108301880 markings, 238847932 edges, 138206 markings/sec, 360 secs
lola: 108961711 markings, 240305788 edges, 131966 markings/sec, 365 secs
lola: 109637475 markings, 241821098 edges, 135153 markings/sec, 370 secs
lola: 110367512 markings, 243405760 edges, 146007 markings/sec, 375 secs
lola: 111243585 markings, 245229914 edges, 175215 markings/sec, 380 secs
lola: 112015594 markings, 246895123 edges, 154402 markings/sec, 385 secs
lola: 112726082 markings, 248383411 edges, 142098 markings/sec, 390 secs
lola: 113032410 markings, 249051211 edges, 61266 markings/sec, 395 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes unknown unknown no unknown no
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 397 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((E (G ((1 <= p9))) U (1 <= p15))) OR E ((((p6 <= 0) OR (p11 <= 0) OR (p13 <= 0)) U ((1 <= p32) AND (1 <= p35) AND (1 <= p1) AND (1 <= p38)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: (A(EG((1 <= p9)) U (1 <= p15)) OR E(((p6 <= 0) OR (p11 <= 0) OR (p13 <= 0)) U ((1 <= p32) AND (1 <= p35) AND (1 <= p1) AND (1 <= p38))))
lola: processed formula length: 138
lola: 35 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: 2420263 markings, 5103301 edges, 484053 markings/sec, 0 secs
lola: 4707392 markings, 9930553 edges, 457426 markings/sec, 5 secs
lola: 6848047 markings, 14409603 edges, 428131 markings/sec, 10 secs
lola: 8921911 markings, 18767209 edges, 414773 markings/sec, 15 secs
lola: 11055524 markings, 23148549 edges, 426723 markings/sec, 20 secs
lola: 12908051 markings, 27053498 edges, 370505 markings/sec, 25 secs
lola: 14889516 markings, 31253206 edges, 396293 markings/sec, 30 secs
lola: 16865701 markings, 35396918 edges, 395237 markings/sec, 35 secs
lola: 18741996 markings, 39476982 edges, 375259 markings/sec, 40 secs
lola: 20572884 markings, 43379359 edges, 366178 markings/sec, 45 secs
lola: 22419286 markings, 47341665 edges, 369280 markings/sec, 50 secs
lola: 24298458 markings, 51333669 edges, 375834 markings/sec, 55 secs
lola: 26077421 markings, 55240433 edges, 355793 markings/sec, 60 secs
lola: 27994446 markings, 59246063 edges, 383405 markings/sec, 65 secs
lola: 29812728 markings, 63173377 edges, 363656 markings/sec, 70 secs
lola: 31563732 markings, 66912095 edges, 350201 markings/sec, 75 secs
lola: 33359334 markings, 70778500 edges, 359120 markings/sec, 80 secs
lola: 35094352 markings, 74411506 edges, 347004 markings/sec, 85 secs
lola: 36864991 markings, 78204171 edges, 354128 markings/sec, 90 secs
lola: 38647979 markings, 82001471 edges, 356598 markings/sec, 95 secs
lola: 40568065 markings, 85915809 edges, 384017 markings/sec, 100 secs
lola: 42449999 markings, 89791856 edges, 376387 markings/sec, 105 secs
lola: 44245583 markings, 93573672 edges, 359117 markings/sec, 110 secs
lola: 45836000 markings, 97074933 edges, 318083 markings/sec, 115 secs
lola: 47592314 markings, 100809674 edges, 351263 markings/sec, 120 secs
lola: 49357704 markings, 104482523 edges, 353078 markings/sec, 125 secs
lola: 51094563 markings, 108201859 edges, 347372 markings/sec, 130 secs
lola: 52904676 markings, 111986731 edges, 362023 markings/sec, 135 secs
lola: 54599556 markings, 115649596 edges, 338976 markings/sec, 140 secs
lola: 56310292 markings, 119354788 edges, 342147 markings/sec, 145 secs
lola: 57995695 markings, 123022357 edges, 337081 markings/sec, 150 secs
lola: 59685354 markings, 126648828 edges, 337932 markings/sec, 155 secs
lola: 61386246 markings, 130296471 edges, 340178 markings/sec, 160 secs
lola: 63054668 markings, 133947495 edges, 333684 markings/sec, 165 secs
lola: 64794659 markings, 137633278 edges, 347998 markings/sec, 170 secs
lola: 66504668 markings, 141283661 edges, 342002 markings/sec, 175 secs
lola: 68243871 markings, 145014040 edges, 347841 markings/sec, 180 secs
lola: 69897051 markings, 148583681 edges, 330636 markings/sec, 185 secs
lola: 71534043 markings, 152166343 edges, 327398 markings/sec, 190 secs
lola: 73340267 markings, 155904488 edges, 361245 markings/sec, 195 secs
lola: 75000049 markings, 159528630 edges, 331956 markings/sec, 200 secs
lola: 76730283 markings, 163197537 edges, 346047 markings/sec, 205 secs
lola: 78366734 markings, 166758497 edges, 327290 markings/sec, 210 secs
lola: 79901880 markings, 170247636 edges, 307029 markings/sec, 215 secs
lola: 81659487 markings, 173959498 edges, 351521 markings/sec, 220 secs
lola: 83251780 markings, 177484066 edges, 318459 markings/sec, 225 secs
lola: 84924740 markings, 181080808 edges, 334592 markings/sec, 230 secs
lola: 86443075 markings, 184573354 edges, 303667 markings/sec, 235 secs
lola: 88184539 markings, 188214528 edges, 348293 markings/sec, 240 secs
lola: 89865952 markings, 191866014 edges, 336283 markings/sec, 245 secs
lola: 91388496 markings, 195171703 edges, 304509 markings/sec, 250 secs
lola: 92860854 markings, 198385118 edges, 294472 markings/sec, 255 secs
lola: 94005462 markings, 200864364 edges, 228922 markings/sec, 260 secs
lola: 95124658 markings, 203344515 edges, 223839 markings/sec, 265 secs
lola: 96272953 markings, 205841426 edges, 229659 markings/sec, 270 secs
lola: 96833535 markings, 207123730 edges, 112116 markings/sec, 275 secs
lola: 97888215 markings, 209386174 edges, 210936 markings/sec, 280 secs
lola: 98637139 markings, 211066278 edges, 149785 markings/sec, 285 secs
lola: 99523447 markings, 213027939 edges, 177262 markings/sec, 290 secs
lola: 100225184 markings, 214627752 edges, 140347 markings/sec, 295 secs
lola: 100780934 markings, 215932067 edges, 111150 markings/sec, 300 secs
lola: 101649094 markings, 217772704 edges, 173632 markings/sec, 305 secs
lola: 102308782 markings, 219242849 edges, 131938 markings/sec, 310 secs
lola: 103179557 markings, 221026293 edges, 174155 markings/sec, 315 secs
lola: 103889250 markings, 222638667 edges, 141939 markings/sec, 320 secs
lola: 104560255 markings, 224121090 edges, 134201 markings/sec, 325 secs
lola: 105109316 markings, 225373651 edges, 109812 markings/sec, 330 secs
lola: 105648211 markings, 226559885 edges, 107779 markings/sec, 335 secs
lola: 106214195 markings, 227837114 edges, 113197 markings/sec, 340 secs
lola: 107152337 markings, 229867015 edges, 187628 markings/sec, 345 secs
lola: 107954262 markings, 231599766 edges, 160385 markings/sec, 350 secs
lola: 108696107 markings, 233178049 edges, 148369 markings/sec, 355 secs
lola: 109262148 markings, 234462609 edges, 113208 markings/sec, 360 secs
lola: 109843918 markings, 235730012 edges, 116354 markings/sec, 365 secs
lola: 110295562 markings, 236746779 edges, 90329 markings/sec, 370 secs
lola: 111038928 markings, 238313451 edges, 148673 markings/sec, 375 secs
lola: 111710237 markings, 239740297 edges, 134262 markings/sec, 380 secs
lola: 112383496 markings, 241210549 edges, 134652 markings/sec, 385 secs
lola: 112788863 markings, 242067030 edges, 81073 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes unknown unknown no unknown no
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 397 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (A (F ((p13 <= 0))))) AND A (G (((p26 <= 0) OR (p31 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 397 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p26 <= 0) OR (p31 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((p26 <= 0) OR (p31 <= 0))))
lola: processed formula length: 35
lola: 34 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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p26) AND (1 <= p31))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 11 markings, 10 edges
lola: state equation: write sara problem file to CTLFireability-14-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 795 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p25) AND (1 <= p7) AND (1 <= p11) AND (((1 <= p15) AND (1 <= p33)) OR (1 <= p22))))) OR (E (F (A (G ((1 <= p25))))) OR ((1 <= p12) AND (1 <= p8) AND (1 <= p33))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 794 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p12) AND (1 <= p8) AND (1 <= p33))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p12) AND (1 <= p8) AND (1 <= p33))
lola: processed formula length: 41
lola: 32 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
sara: try reading problem file CTLFireability-14-0.sara.
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p25) AND (1 <= p7) AND (1 <= p11) AND (((1 <= p15) AND (1 <= p33)) OR (1 <= p22)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p25) AND (1 <= p7) AND (1 <= p11) AND (((1 <= p15) AND (1 <= p33)) OR (1 <= p22)))))
lola: processed formula length: 98
lola: 33 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 <= p25) AND (1 <= p7) AND (1 <= p11) AND (((1 <= p15) AND (1 <= p33)) OR (1 <= p22)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 9 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 61 markings, 63 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================

lola: ...considering subproblem: A (X (A (G (E (F ((1 <= p15)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX(AG(EF((1 <= p15))))
lola: processed formula length: 22
lola: 35 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: 2522476 markings, 5319178 edges, 504495 markings/sec, 0 secs
lola: 2948016 markings, 10734307 edges, 85108 markings/sec, 5 secs
lola: 3221841 markings, 16716009 edges, 54765 markings/sec, 10 secs
lola: 4224303 markings, 21438499 edges, 200492 markings/sec, 15 secs
lola: 5271516 markings, 26339042 edges, 209443 markings/sec, 20 secs
lola: 6323490 markings, 31221726 edges, 210395 markings/sec, 25 secs
lola: 7426451 markings, 36111326 edges, 220592 markings/sec, 30 secs
lola: 8438136 markings, 40654699 edges, 202337 markings/sec, 35 secs
lola: 9463858 markings, 45247970 edges, 205144 markings/sec, 40 secs
lola: 10494323 markings, 50178879 edges, 206093 markings/sec, 45 secs
lola: 11530001 markings, 54717534 edges, 207136 markings/sec, 50 secs
lola: 12558941 markings, 59269444 edges, 205788 markings/sec, 55 secs
lola: 13551647 markings, 63697417 edges, 198541 markings/sec, 60 secs
lola: 14549292 markings, 68209575 edges, 199529 markings/sec, 65 secs
lola: 15569309 markings, 72729762 edges, 204003 markings/sec, 70 secs
lola: 16563768 markings, 77242948 edges, 198892 markings/sec, 75 secs
lola: 17544380 markings, 81641969 edges, 196122 markings/sec, 80 secs
lola: 18499557 markings, 85867225 edges, 191035 markings/sec, 85 secs
lola: 19502807 markings, 90224033 edges, 200650 markings/sec, 90 secs
lola: 20472399 markings, 94529341 edges, 193918 markings/sec, 95 secs
lola: 21444387 markings, 98824999 edges, 194398 markings/sec, 100 secs
lola: 22391493 markings, 102983912 edges, 189421 markings/sec, 105 secs
lola: 23355851 markings, 107241360 edges, 192872 markings/sec, 110 secs
lola: 24347780 markings, 111580178 edges, 198386 markings/sec, 115 secs
lola: 25281947 markings, 115742991 edges, 186833 markings/sec, 120 secs
lola: 26264466 markings, 120025989 edges, 196504 markings/sec, 125 secs
lola: 27281940 markings, 124522681 edges, 203495 markings/sec, 130 secs
lola: 28233337 markings, 128670649 edges, 190279 markings/sec, 135 secs
lola: 29186479 markings, 132873816 edges, 190628 markings/sec, 140 secs
lola: 30159104 markings, 137163009 edges, 194525 markings/sec, 145 secs
lola: 31128842 markings, 141437257 edges, 193948 markings/sec, 150 secs
lola: 32065122 markings, 145586924 edges, 187256 markings/sec, 155 secs
lola: 32962989 markings, 149492451 edges, 179573 markings/sec, 160 secs
lola: 33870660 markings, 153497609 edges, 181534 markings/sec, 165 secs
lola: 34853769 markings, 157739084 edges, 196622 markings/sec, 170 secs
lola: 35851578 markings, 162005678 edges, 199562 markings/sec, 175 secs
lola: 36783744 markings, 166038516 edges, 186433 markings/sec, 180 secs
lola: 37721806 markings, 170110355 edges, 187612 markings/sec, 185 secs
lola: 38666083 markings, 174286170 edges, 188855 markings/sec, 190 secs
lola: 39701253 markings, 178654238 edges, 207034 markings/sec, 195 secs
lola: 40696551 markings, 182982051 edges, 199060 markings/sec, 200 secs
lola: 41661127 markings, 187244346 edges, 192915 markings/sec, 205 secs
lola: 42621650 markings, 191352929 edges, 192105 markings/sec, 210 secs
lola: 43579970 markings, 195481604 edges, 191664 markings/sec, 215 secs
lola: 44473777 markings, 199409476 edges, 178761 markings/sec, 220 secs
lola: 45324144 markings, 203126780 edges, 170073 markings/sec, 225 secs
lola: 46284234 markings, 207290577 edges, 192018 markings/sec, 230 secs
lola: 47233601 markings, 211372497 edges, 189873 markings/sec, 235 secs
lola: 48124405 markings, 215178965 edges, 178161 markings/sec, 240 secs
lola: 49110833 markings, 219409967 edges, 197286 markings/sec, 245 secs
lola: 50070118 markings, 223590078 edges, 191857 markings/sec, 250 secs
lola: 50979062 markings, 227489753 edges, 181789 markings/sec, 255 secs
lola: 51948632 markings, 231752625 edges, 193914 markings/sec, 260 secs
lola: 52908983 markings, 235905487 edges, 192070 markings/sec, 265 secs
lola: 53824136 markings, 239848091 edges, 183031 markings/sec, 270 secs
lola: 54776893 markings, 243928143 edges, 190551 markings/sec, 275 secs
lola: 55701012 markings, 247979352 edges, 184824 markings/sec, 280 secs
lola: 56621648 markings, 251954869 edges, 184127 markings/sec, 285 secs
lola: 57548662 markings, 255930294 edges, 185403 markings/sec, 290 secs
lola: 58450072 markings, 259843705 edges, 180282 markings/sec, 295 secs
lola: 59405458 markings, 263954670 edges, 191077 markings/sec, 300 secs
lola: 60335088 markings, 267928433 edges, 185926 markings/sec, 305 secs
lola: 61281387 markings, 272015722 edges, 189260 markings/sec, 310 secs
lola: 62218581 markings, 276098583 edges, 187439 markings/sec, 315 secs
lola: 63113828 markings, 280018009 edges, 179049 markings/sec, 320 secs
lola: 64075242 markings, 284069266 edges, 192283 markings/sec, 325 secs
lola: 65034740 markings, 288245977 edges, 191900 markings/sec, 330 secs
lola: 65933457 markings, 292180881 edges, 179743 markings/sec, 335 secs
lola: 66890699 markings, 296296112 edges, 191448 markings/sec, 340 secs
lola: 67822169 markings, 300382989 edges, 186294 markings/sec, 345 secs
lola: 68722426 markings, 304326457 edges, 180051 markings/sec, 350 secs
lola: 69679656 markings, 308385968 edges, 191446 markings/sec, 355 secs
lola: 70563291 markings, 312199588 edges, 176727 markings/sec, 360 secs
lola: 71480248 markings, 316187643 edges, 183391 markings/sec, 365 secs
lola: 72456879 markings, 320332371 edges, 195326 markings/sec, 370 secs
lola: 73422504 markings, 324507422 edges, 193125 markings/sec, 375 secs
lola: 74295015 markings, 328335427 edges, 174502 markings/sec, 380 secs
lola: 75264346 markings, 332490187 edges, 193866 markings/sec, 385 secs
lola: 76223824 markings, 336586359 edges, 191896 markings/sec, 390 secs
lola: 77109361 markings, 340417426 edges, 177107 markings/sec, 395 secs
lola: 77998452 markings, 344246850 edges, 177818 markings/sec, 400 secs
lola: 78916807 markings, 348171509 edges, 183671 markings/sec, 405 secs
lola: 79774431 markings, 351922621 edges, 171525 markings/sec, 410 secs
lola: 80706969 markings, 355993384 edges, 186508 markings/sec, 415 secs
lola: 81619332 markings, 360077300 edges, 182473 markings/sec, 420 secs
lola: 82486108 markings, 363814152 edges, 173355 markings/sec, 425 secs
lola: 83408081 markings, 367775098 edges, 184395 markings/sec, 430 secs
lola: 84324531 markings, 371721350 edges, 183290 markings/sec, 435 secs
lola: 85195568 markings, 375535165 edges, 174207 markings/sec, 440 secs
lola: 86049913 markings, 379275749 edges, 170869 markings/sec, 445 secs
lola: 86973671 markings, 383183651 edges, 184752 markings/sec, 450 secs
lola: 87905855 markings, 387171676 edges, 186437 markings/sec, 455 secs
lola: 88802393 markings, 391018231 edges, 179308 markings/sec, 460 secs
lola: 89724836 markings, 395057341 edges, 184489 markings/sec, 465 secs
lola: 90611768 markings, 398884210 edges, 177386 markings/sec, 470 secs
lola: 91512822 markings, 402699032 edges, 180211 markings/sec, 475 secs
lola: 92323196 markings, 406212408 edges, 162075 markings/sec, 480 secs
lola: 93062853 markings, 409499717 edges, 147931 markings/sec, 485 secs
lola: 93707713 markings, 412264907 edges, 128972 markings/sec, 490 secs
lola: 94319168 markings, 414955993 edges, 122291 markings/sec, 495 secs
lola: 94999089 markings, 417890117 edges, 135984 markings/sec, 500 secs
lola: 95745863 markings, 421185769 edges, 149355 markings/sec, 505 secs
lola: 96287883 markings, 423486251 edges, 108404 markings/sec, 510 secs
lola: 96744253 markings, 425487412 edges, 91274 markings/sec, 515 secs
lola: 97481815 markings, 428707115 edges, 147512 markings/sec, 520 secs
lola: 98231702 markings, 431835135 edges, 149977 markings/sec, 525 secs
lola: 98818123 markings, 434383118 edges, 117284 markings/sec, 530 secs
lola: 99377733 markings, 436789798 edges, 111922 markings/sec, 535 secs
lola: 99901315 markings, 439015077 edges, 104716 markings/sec, 540 secs
lola: 100445357 markings, 441413646 edges, 108808 markings/sec, 545 secs
lola: 100938668 markings, 443591354 edges, 98662 markings/sec, 550 secs
lola: 101604016 markings, 446426823 edges, 133070 markings/sec, 555 secs
lola: 102149619 markings, 448754708 edges, 109121 markings/sec, 560 secs
lola: 102662094 markings, 450847340 edges, 102495 markings/sec, 565 secs
lola: 103280999 markings, 453503282 edges, 123781 markings/sec, 570 secs
lola: 103715049 markings, 455380443 edges, 86810 markings/sec, 575 secs
lola: 104285649 markings, 457919161 edges, 114120 markings/sec, 580 secs
lola: 104694112 markings, 459695324 edges, 81693 markings/sec, 585 secs
lola: 105119812 markings, 461545479 edges, 85140 markings/sec, 590 secs
lola: 105616546 markings, 463680968 edges, 99347 markings/sec, 595 secs
lola: 105990261 markings, 465296112 edges, 74743 markings/sec, 600 secs
lola: 106472934 markings, 467381391 edges, 96535 markings/sec, 605 secs
lola: 107021111 markings, 469657991 edges, 109635 markings/sec, 610 secs
lola: 107630847 markings, 472182336 edges, 121947 markings/sec, 615 secs
lola: 108168346 markings, 474440777 edges, 107500 markings/sec, 620 secs
lola: 108574419 markings, 476212903 edges, 81215 markings/sec, 625 secs
lola: 108932173 markings, 477763593 edges, 71551 markings/sec, 630 secs
lola: 109322801 markings, 479454642 edges, 78126 markings/sec, 635 secs
lola: 109812448 markings, 481643437 edges, 97929 markings/sec, 640 secs
lola: 110188044 markings, 483302770 edges, 75119 markings/sec, 645 secs
lola: 110645033 markings, 485242324 edges, 91398 markings/sec, 650 secs
lola: 111149784 markings, 487446777 edges, 100950 markings/sec, 655 secs
lola: 111682834 markings, 489804619 edges, 106610 markings/sec, 660 secs
lola: 112154888 markings, 491843976 edges, 94411 markings/sec, 665 secs
lola: 112579405 markings, 493589207 edges, 84903 markings/sec, 670 secs
lola: 112738615 markings, 494303886 edges, 31842 markings/sec, 675 secs
lola: 112760182 markings, 494392768 edges, 4313 markings/sec, 680 secs
lola: 112871599 markings, 494888787 edges, 22283 markings/sec, 685 secs
lola: 112882202 markings, 494940229 edges, 2121 markings/sec, 690 secs
lola: 112899400 markings, 495015225 edges, 3440 markings/sec, 695 secs
lola: 112918542 markings, 495099028 edges, 3828 markings/sec, 700 secs
lola: 112922479 markings, 495116782 edges, 787 markings/sec, 705 secs
lola: 112922893 markings, 495118759 edges, 83 markings/sec, 710 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p8) AND (1 <= p34) AND (1 <= p14) AND (1 <= p32) AND (p30 <= 0))))))
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 <= p8) AND (1 <= p34) AND (1 <= p14) AND (1 <= p32) AND (p30 <= 0))))
lola: processed formula length: 79
lola: 34 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: 1963259 markings, 4137175 edges, 392652 markings/sec, 0 secs
lola: 4025662 markings, 8479783 edges, 412481 markings/sec, 5 secs
lola: 5904752 markings, 12430347 edges, 375818 markings/sec, 10 secs
lola: 7677043 markings, 16093344 edges, 354458 markings/sec, 15 secs
lola: 9366110 markings, 19683421 edges, 337813 markings/sec, 20 secs
lola: 11195779 markings, 23457611 edges, 365934 markings/sec, 25 secs
lola: 12781680 markings, 26798140 edges, 317180 markings/sec, 30 secs
lola: 14361476 markings, 30122851 edges, 315959 markings/sec, 35 secs
lola: 16056883 markings, 33731108 edges, 339081 markings/sec, 40 secs
lola: 17742379 markings, 37290173 edges, 337099 markings/sec, 45 secs
lola: 19270336 markings, 40560188 edges, 305591 markings/sec, 50 secs
lola: 20921623 markings, 44098525 edges, 330257 markings/sec, 55 secs
lola: 22450368 markings, 47410333 edges, 305749 markings/sec, 60 secs
lola: 24063827 markings, 50839408 edges, 322692 markings/sec, 65 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes no unknown no yes no
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes no unknown no yes no
lola: memory consumption: 5845536 KB
lola: time consumption: 3571 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 yes unknown unknown unknown yes unknown unknown yes no unknown no yes no
rslt: finished
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 10468340 kB
After kill :
MemTotal: 16427332 kB
MemFree: 10467084 kB

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Angiogenesis-PT-15"
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 Angiogenesis-PT-15, 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 r166-smll-158987787600340"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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