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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15772.700 3600000.00 3579722.00 73482.20 ?T?TT?FTT?TTTTT? 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-158987787600332.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-10, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787600332
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 216K
-rw-r--r-- 1 mcc users 4.4K Apr 28 14:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 28 14:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K 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 3.6K Apr 28 14:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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 16K Apr 28 14:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Apr 28 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 28 14:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 28 14:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K 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-10-CTLFireability-00
FORMULA_NAME Angiogenesis-PT-10-CTLFireability-01
FORMULA_NAME Angiogenesis-PT-10-CTLFireability-02
FORMULA_NAME Angiogenesis-PT-10-CTLFireability-03
FORMULA_NAME Angiogenesis-PT-10-CTLFireability-04
FORMULA_NAME Angiogenesis-PT-10-CTLFireability-05
FORMULA_NAME Angiogenesis-PT-10-CTLFireability-06
FORMULA_NAME Angiogenesis-PT-10-CTLFireability-07
FORMULA_NAME Angiogenesis-PT-10-CTLFireability-08
FORMULA_NAME Angiogenesis-PT-10-CTLFireability-09
FORMULA_NAME Angiogenesis-PT-10-CTLFireability-10
FORMULA_NAME Angiogenesis-PT-10-CTLFireability-11
FORMULA_NAME Angiogenesis-PT-10-CTLFireability-12
FORMULA_NAME Angiogenesis-PT-10-CTLFireability-13
FORMULA_NAME Angiogenesis-PT-10-CTLFireability-14
FORMULA_NAME Angiogenesis-PT-10-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591419778681

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 05:03:01] [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 05:03:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 05:03:01] [INFO ] Load time of PNML (sax parser for PT used): 58 ms
[2020-06-06 05:03:01] [INFO ] Transformed 39 places.
[2020-06-06 05:03:01] [INFO ] Transformed 64 transitions.
[2020-06-06 05:03:01] [INFO ] Parsed PT model containing 39 places and 64 transitions in 114 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 20 ms.
Incomplete random walk after 100003 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=787 ) properties seen :[1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 0, 0, 1]
// Phase 1: matrix 64 rows 39 cols
[2020-06-06 05:03:01] [INFO ] Computed 8 place invariants in 6 ms
[2020-06-06 05:03:01] [INFO ] [Real]Absence check using 8 positive place invariants in 20 ms returned sat
[2020-06-06 05:03:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:01] [INFO ] [Real]Absence check using state equation in 56 ms returned sat
[2020-06-06 05:03:01] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 15 ms.
[2020-06-06 05:03:01] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 05:03:01] [INFO ] [Nat]Absence check using 8 positive place invariants in 10 ms returned sat
[2020-06-06 05:03:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:01] [INFO ] [Nat]Absence check using state equation in 64 ms returned sat
[2020-06-06 05:03:01] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 21 ms.
[2020-06-06 05:03:01] [INFO ] Added : 58 causal constraints over 12 iterations in 181 ms. Result :sat
[2020-06-06 05:03:02] [INFO ] [Real]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 05:03:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:02] [INFO ] [Real]Absence check using state equation in 48 ms returned sat
[2020-06-06 05:03:02] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 18 ms.
[2020-06-06 05:03:02] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 05:03:02] [INFO ] [Nat]Absence check using 8 positive place invariants in 7 ms returned sat
[2020-06-06 05:03:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:02] [INFO ] [Nat]Absence check using state equation in 38 ms returned sat
[2020-06-06 05:03:02] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 14 ms.
[2020-06-06 05:03:02] [INFO ] Added : 52 causal constraints over 11 iterations in 126 ms. Result :sat
[2020-06-06 05:03:02] [INFO ] [Real]Absence check using 8 positive place invariants in 7 ms returned sat
[2020-06-06 05:03:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:02] [INFO ] [Real]Absence check using state equation in 42 ms returned sat
[2020-06-06 05:03:02] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 12 ms.
[2020-06-06 05:03:02] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 05:03:02] [INFO ] [Nat]Absence check using 8 positive place invariants in 7 ms returned sat
[2020-06-06 05:03:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:02] [INFO ] [Nat]Absence check using state equation in 36 ms returned sat
[2020-06-06 05:03:02] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 13 ms.
[2020-06-06 05:03:02] [INFO ] Added : 58 causal constraints over 12 iterations in 140 ms. Result :sat
[2020-06-06 05:03:02] [INFO ] [Real]Absence check using 8 positive place invariants in 8 ms returned sat
[2020-06-06 05:03:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:02] [INFO ] [Real]Absence check using state equation in 39 ms returned sat
[2020-06-06 05:03:02] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 11 ms.
[2020-06-06 05:03:02] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 05:03:02] [INFO ] [Nat]Absence check using 8 positive place invariants in 9 ms returned sat
[2020-06-06 05:03:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:02] [INFO ] [Nat]Absence check using state equation in 42 ms returned sat
[2020-06-06 05:03:02] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 11 ms.
[2020-06-06 05:03:02] [INFO ] Added : 59 causal constraints over 12 iterations in 158 ms. Result :sat
[2020-06-06 05:03:03] [INFO ] [Real]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 05:03:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:03] [INFO ] [Real]Absence check using state equation in 41 ms returned sat
[2020-06-06 05:03:03] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 13 ms.
[2020-06-06 05:03:03] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 05:03:03] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 05:03:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:03] [INFO ] [Nat]Absence check using state equation in 25 ms returned sat
[2020-06-06 05:03:03] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 5 ms.
[2020-06-06 05:03:03] [INFO ] Added : 51 causal constraints over 11 iterations in 119 ms. Result :sat
[2020-06-06 05:03:03] [INFO ] [Real]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 05:03:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:03] [INFO ] [Real]Absence check using state equation in 30 ms returned sat
[2020-06-06 05:03:03] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 10 ms.
[2020-06-06 05:03:03] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 05:03:03] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 05:03:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:03] [INFO ] [Nat]Absence check using state equation in 36 ms returned sat
[2020-06-06 05:03:03] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 9 ms.
[2020-06-06 05:03:03] [INFO ] Added : 59 causal constraints over 13 iterations in 135 ms. Result :sat
[2020-06-06 05:03:03] [INFO ] [Real]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 05:03:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:03] [INFO ] [Real]Absence check using state equation in 37 ms returned sat
[2020-06-06 05:03:03] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 05:03:03] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 05:03:03] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 05:03:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:03] [INFO ] [Nat]Absence check using state equation in 22 ms returned sat
[2020-06-06 05:03:03] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 11 ms.
[2020-06-06 05:03:03] [INFO ] Added : 58 causal constraints over 12 iterations in 101 ms. Result :sat
[2020-06-06 05:03:03] [INFO ] [Real]Absence check using 8 positive place invariants in 4 ms returned sat
[2020-06-06 05:03:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:03] [INFO ] [Real]Absence check using state equation in 22 ms returned sat
[2020-06-06 05:03:03] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 6 ms.
[2020-06-06 05:03:03] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 05:03:03] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 05:03:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:03] [INFO ] [Nat]Absence check using state equation in 23 ms returned sat
[2020-06-06 05:03:03] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 6 ms.
[2020-06-06 05:03:04] [INFO ] Added : 50 causal constraints over 10 iterations in 95 ms. Result :sat
[2020-06-06 05:03:04] [INFO ] [Real]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 05:03:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:04] [INFO ] [Real]Absence check using state equation in 22 ms returned sat
[2020-06-06 05:03:04] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 7 ms.
[2020-06-06 05:03:04] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 05:03:04] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 05:03:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 05:03:04] [INFO ] [Nat]Absence check using state equation in 23 ms returned sat
[2020-06-06 05:03:04] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 6 ms.
[2020-06-06 05:03:04] [INFO ] Added : 52 causal constraints over 11 iterations in 100 ms. Result :sat
[2020-06-06 05:03:04] [INFO ] Flatten gal took : 63 ms
[2020-06-06 05:03:04] [INFO ] Flatten gal took : 16 ms
[2020-06-06 05:03:04] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 51 ms.
[2020-06-06 05:03:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 2 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ Angiogenesis-PT-10 @ 3570 seconds

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

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

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

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

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

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

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

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

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

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

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

FORMULA Angiogenesis-PT-10-CTLFireability-02 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-CTLFireability-05 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

{
"child":
[

{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(1 <= p38)",
"processed_size": 10,
"rewrites": 24
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 19,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"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": "A (G (((1 <= p3) AND (1 <= p5))))",
"processed_size": 33,
"rewrites": 26
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 20,
"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":
{
"memory": 3869544,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"result":
{
"preliminary_value": "unknown yes unknown yes yes unknown no yes yes unknown yes yes yes yes yes unknown "
},
"task":
{
"compoundnumber": 19,
"type": "boolean"
}
}
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: ((A (G (((1 <= p3) AND (1 <= p5)))) OR E (F (A (G ((1 <= p12)))))) OR ((1 <= p38) AND A (G (((1 <= p22) AND (1 <= p37)))))) : E (F (A (F (E (G ((1 <= p21))))))) : NOT(A (G (E (F ((p4 <= 0)))))) : E ((E (G ((p9 <= 0))) U A (F ((1 <= p23))))) : E (F (E (F ((1 <= p23))))) : A (G (E (F (((1 <= p14) AND (1 <= p32)))))) : A (G (((1 <= p31) AND (1 <= p35)))) : E ((NOT(A (G ((1 <= p15)))) U ((1 <= p21) AND (1 <= p15) AND (1 <= p28) AND (1 <= p20) AND (1 <= p31) AND (p1 <= 0) AND (p26 <= 0)))) : E (F (E (F (((1 <= p8) AND (1 <= p34)))))) : (A (G (((1 <= p21) OR ((1 <= p31) AND (1 <= p35))))) AND (A ((((1 <= p4) OR ((1 <= p0) AND (1 <= p32))) U ((p7 <= 0) OR (p11 <= 0)))) OR (A (((1 <= p22) U ((1 <= p9) AND (1 <= p11)))) AND (1 <= p7)))) : E (((0 <= 0) U ((1 <= p26) AND (1 <= p31)))) : ((1 <= p17) OR E (F (E ((((1 <= p6) AND (1 <= p32)) U (1 <= p23)))))) : (E (F (E (X ((1 <= p21))))) AND A (X (((p17 <= 0) AND ((p19 <= 0) OR (p17 <= 0)))))) : E ((NOT(A (G ((1 <= p25)))) U E (F (((1 <= p37) AND (1 <= p23)))))) : E (F (NOT(E (F (((1 <= p7) AND (1 <= p11) AND (1 <= p19))))))) : (E (F (A (G (((1 <= p20) AND (1 <= p31) AND (1 <= p14) AND (1 <= p33)))))) AND E (((p4 <= 0) U (1 <= p4))))
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:455
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:401
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:401
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:446
lola: rewrite Frontend/Parser/formula_rewrite.k:395
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:473
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:419
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (E (F ((1 <= p21))))) AND A (X (((p17 <= 0) AND ((p19 <= 0) OR (p17 <= 0))))))
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: A (X (((p17 <= 0) AND ((p19 <= 0) OR (p17 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX(((p17 <= 0) AND ((p19 <= 0) OR (p17 <= 0))))
lola: processed formula length: 48
lola: 25 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 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F ((1 <= p21)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:623
lola: rewrite Frontend/Parser/formula_rewrite.k:714
lola: processed formula: (1 <= p21)
lola: processed formula length: 10
lola: 26 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 /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p21)
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 /EXEF
lola: The predicate is reachable from some successor.
lola: 12 markings, 11 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: E (F ((1 <= p23)))
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 <= p23)))
lola: processed formula length: 18
lola: 25 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 <= p23)
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: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p8) AND (1 <= p34))))
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 <= p8) AND (1 <= p34))))
lola: processed formula length: 34
lola: 25 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 <= p8) AND (1 <= p34))
lola: SUBRESULT
lola: result: yes
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: produced by: state space
lola: The predicate is reachable.
lola: 10 markings, 9 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p26) 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 <= p26) AND (1 <= p31))))
lola: processed formula length: 35
lola: 25 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 <= 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: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 11 markings, 10 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p31) AND (1 <= p35))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((1 <= p31) AND (1 <= p35))))
lola: processed formula length: 35
lola: 26 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: ((p31 <= 0) OR (p35 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 11 markings, 10 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p37) AND (1 <= p23))))
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 <= p37) AND (1 <= p23))))
lola: processed formula length: 35
lola: 25 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 <= p37) AND (1 <= p23))
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: 18 markings, 22 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((1 <= p21)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:598
lola: rewrite Frontend/Parser/formula_rewrite.k:633
lola: rewrite Frontend/Parser/formula_rewrite.k:730
lola: processed formula: (1 <= p21)
lola: processed formula length: 10
lola: 27 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 /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (1 <= p21)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: formula 0: (p21 <= 0)
lola: The predicate is possibly preserved from a reachable marking.
lola: 13 markings, 13 edges
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((1 <= p4)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (p4 <= 0)
lola: processed formula length: 9
lola: 28 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p4)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (p4 <= 0)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-7-0.sara
lola: state equation: write sara problem file to CTLFireability-7-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-7-0.sara.
sara: try reading problem file CTLFireability-7-1.sara.


lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 2261070 markings, 4652308 edges, 452214 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 4416332 markings, 9198568 edges, 431052 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 6510140 markings, 13677268 edges, 418762 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 8595970 markings, 18138930 edges, 417166 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 10649334 markings, 22507211 edges, 410673 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 12577842 markings, 26763323 edges, 385702 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 14452705 markings, 30746911 edges, 374973 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 16284015 markings, 34740036 edges, 366262 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 18133737 markings, 38730987 edges, 369944 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 19898222 markings, 42669575 edges, 352897 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 21672197 markings, 46577318 edges, 354795 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 23481549 markings, 50595668 edges, 361870 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 25234714 markings, 54585447 edges, 350633 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 26831140 markings, 58183977 edges, 319285 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 28431056 markings, 61862201 edges, 319983 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 30127027 markings, 65755853 edges, 339194 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 31881001 markings, 69662182 edges, 350795 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 33553912 markings, 73372850 edges, 334582 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 35024557 markings, 76880831 edges, 294129 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 36516976 markings, 80384441 edges, 298484 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 38025368 markings, 83926468 edges, 301678 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 39548158 markings, 87426249 edges, 304558 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 41127554 markings, 90944542 edges, 315879 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 42734353 markings, 94623472 edges, 321360 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 44396023 markings, 98336759 edges, 332334 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 45948637 markings, 101965468 edges, 310523 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 47481674 markings, 105580833 edges, 306607 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 49069223 markings, 109237717 edges, 317510 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 50671691 markings, 112883245 edges, 320494 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 52229948 markings, 116479304 edges, 311651 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 53812103 markings, 120086918 edges, 316431 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 55313767 markings, 123622760 edges, 300333 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 56779233 markings, 127122134 edges, 293093 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 58348580 markings, 130722127 edges, 313869 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 59901313 markings, 134271924 edges, 310547 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 61404015 markings, 137760613 edges, 300540 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 62922505 markings, 141258352 edges, 303698 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 64338672 markings, 144614651 edges, 283233 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 65724570 markings, 147798676 edges, 277180 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 67169973 markings, 151132936 edges, 289081 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 68508655 markings, 154338655 edges, 267736 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 69861466 markings, 157564362 edges, 270562 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 71185172 markings, 160773982 edges, 264741 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 72535451 markings, 163987294 edges, 270056 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 73842972 markings, 167135725 edges, 261504 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 75299527 markings, 170451314 edges, 291311 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 76697611 markings, 173696576 edges, 279617 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 78150278 markings, 177089271 edges, 290533 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 79742415 markings, 180599124 edges, 318427 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 81163039 markings, 183948010 edges, 284125 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 82579007 markings, 187300744 edges, 283194 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 83938864 markings, 190604952 edges, 271971 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 85417001 markings, 193995894 edges, 295627 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 86843180 markings, 197357949 edges, 285236 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 88232438 markings, 200675212 edges, 277852 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 89639625 markings, 204004089 edges, 281437 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 91118639 markings, 207374988 edges, 295803 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 92506063 markings, 210659693 edges, 277485 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 93881661 markings, 213952461 edges, 275120 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 95388173 markings, 217360620 edges, 301302 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 96802318 markings, 220681750 edges, 282829 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 98238027 markings, 224012262 edges, 287142 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 99583794 markings, 227254300 edges, 269153 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 100914987 markings, 230504846 edges, 266239 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 102330428 markings, 233803917 edges, 283088 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 103659579 markings, 237053162 edges, 265830 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 104988981 markings, 240276941 edges, 265880 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 106303842 markings, 243465628 edges, 262972 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 107683517 markings, 246715772 edges, 275935 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 108994268 markings, 249899817 edges, 262150 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 110422526 markings, 253208803 edges, 285652 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 111821447 markings, 256492541 edges, 279784 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 113270703 markings, 259783924 edges, 289851 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 114589598 markings, 262981966 edges, 263779 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 115948607 markings, 266210580 edges, 271802 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 117299451 markings, 269406101 edges, 270169 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 118589032 markings, 272575242 edges, 257916 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 119881674 markings, 275736980 edges, 258528 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 121190626 markings, 278891825 edges, 261790 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown yes unknown no unknown yes unknown yes unknown yes yes unknown unknown
lola: memory consumption: 13913084 KB
lola: time consumption: 399 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (((1 <= p14) AND (1 <= p32))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: ((1 <= p14) AND (1 <= p32))
lola: processed formula length: 27
lola: 27 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p14 <= 0) OR (p32 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p14) AND (1 <= p32))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-8-0.sara
lola: state equation: write sara problem file to CTLFireability-8-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-8-0.sara.

lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-8-1.sara.
lola: state equation 0: solution produced

lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 1475639 markings, 3541086 edges, 295128 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 2890933 markings, 7036524 edges, 283059 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 4229078 markings, 10383662 edges, 267629 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 5509493 markings, 13631593 edges, 256083 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 6744504 markings, 16813575 edges, 247002 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 7948409 markings, 19935644 edges, 240781 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 9111626 markings, 23000334 edges, 232643 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 10247258 markings, 25979956 edges, 227126 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 11344483 markings, 28921797 edges, 219445 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 12454758 markings, 31904797 edges, 222055 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 13549572 markings, 34860631 edges, 218963 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 14634102 markings, 37794158 edges, 216906 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 15697352 markings, 40702518 edges, 212650 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 16749078 markings, 43577189 edges, 210345 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 17745575 markings, 46347001 edges, 199299 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 18791680 markings, 49193379 edges, 209221 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 19825558 markings, 52027256 edges, 206776 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 20846719 markings, 54829363 edges, 204232 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 21861394 markings, 57637026 edges, 202935 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 22873523 markings, 60427664 edges, 202426 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 23883498 markings, 63188192 edges, 201995 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 24865386 markings, 65922104 edges, 196378 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 25840854 markings, 68634693 edges, 195094 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 26819344 markings, 71342239 edges, 195698 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 27788470 markings, 74034323 edges, 193825 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 28762159 markings, 76704804 edges, 194738 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 29724326 markings, 79373091 edges, 192433 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 30663615 markings, 82018744 edges, 187858 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 31615870 markings, 84655026 edges, 190451 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 32553683 markings, 87272554 edges, 187563 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 33507595 markings, 89888074 edges, 190782 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 34444426 markings, 92463709 edges, 187366 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 35374495 markings, 95050432 edges, 186014 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 36300950 markings, 97636230 edges, 185291 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 37236136 markings, 100207054 edges, 187037 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 38157840 markings, 102761139 edges, 184341 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 39073149 markings, 105299762 edges, 183062 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 39988775 markings, 107841106 edges, 183125 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 40901519 markings, 110353314 edges, 182549 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 41815169 markings, 112877493 edges, 182730 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 42725841 markings, 115403537 edges, 182134 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 43539069 markings, 117635573 edges, 162646 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 44404653 markings, 120009851 edges, 173117 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 45212281 markings, 122240347 edges, 161526 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 46016486 markings, 124467604 edges, 160841 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 46801771 markings, 126661629 edges, 157057 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 47582157 markings, 128872478 edges, 156077 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 48382810 markings, 131073105 edges, 160131 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 49158283 markings, 133264936 edges, 155095 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 49945082 markings, 135439261 edges, 157360 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 50733437 markings, 137663147 edges, 157671 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 51502004 markings, 139811946 edges, 153713 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 52363440 markings, 142250625 edges, 172287 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 53249824 markings, 144700217 edges, 177277 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 54108501 markings, 147099523 edges, 171735 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 54972236 markings, 149509279 edges, 172747 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 55710399 markings, 151556777 edges, 147633 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 56470008 markings, 153688132 edges, 151922 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 57235690 markings, 155835740 edges, 153136 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 57993719 markings, 157960737 edges, 151606 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 58747372 markings, 160099795 edges, 150731 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 59499325 markings, 162236179 edges, 150391 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 60256730 markings, 164360585 edges, 151481 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 61024326 markings, 166485465 edges, 153519 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 61785538 markings, 168597066 edges, 152242 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 62516558 markings, 170653121 edges, 146204 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 63338853 markings, 172969107 edges, 164459 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 64161613 markings, 175308815 edges, 164552 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 64989284 markings, 177665426 edges, 165534 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 65831150 markings, 180013257 edges, 168373 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 66646100 markings, 182294101 edges, 162990 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 67462417 markings, 184592334 edges, 163263 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 68269411 markings, 186884093 edges, 161399 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 69084763 markings, 189197104 edges, 163070 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 69891824 markings, 191501714 edges, 161412 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 70595098 markings, 193521815 edges, 140655 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 71328197 markings, 195617423 edges, 146620 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 72056984 markings, 197682645 edges, 145757 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 72778205 markings, 199750575 edges, 144244 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown yes unknown no unknown yes unknown yes unknown yes yes unknown unknown
lola: memory consumption: 9581404 KB
lola: time consumption: 796 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 9 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((p7 <= 0) OR (p11 <= 0) OR (p19 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: ((1 <= p7) AND (1 <= p11) AND (1 <= p19))
lola: processed formula length: 41
lola: 28 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p7 <= 0) OR (p11 <= 0) OR (p19 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 3 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p7) AND (1 <= p11) AND (1 <= p19))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: parallel
lola: The predicate is possibly invariant.
lola: 376 markings, 692 edges
lola: state equation: write sara problem file to CTLFireability-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-9-0.sara.
lola: ========================================
lola: subprocess 10 will run for 462 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (G ((p9 <= 0))) U A (F ((1 <= p23)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(EG((p9 <= 0)) U AF((1 <= p23)))
lola: processed formula length: 33
lola: 27 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).

lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 686768 markings, 4175946 edges
lola: 686768 markings, 4175946 edges, 137354 markings/sec, 0 secs
lola: ========================================
lola: subprocess 11 will run for 553 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (F ((p15 <= 0))) U ((1 <= p21) AND (1 <= p15) AND (1 <= p28) AND (1 <= p20) AND (1 <= p31) AND (p1 <= 0) AND (p26 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(EF((p15 <= 0)) U ((1 <= p21) AND (1 <= p15) AND (1 <= p28) AND (1 <= p20) AND (1 <= p31) AND (p1 <= 0) AND (p26 <= 0)))
lola: processed formula length: 121
lola: 26 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: 1663645 markings, 5183789 edges, 332729 markings/sec, 0 secs
lola: 3213027 markings, 10143255 edges, 309876 markings/sec, 5 secs
lola: 4860007 markings, 15532105 edges, 329396 markings/sec, 10 secs
lola: 6269601 markings, 20190725 edges, 281919 markings/sec, 15 secs
lola: 7720765 markings, 24948885 edges, 290233 markings/sec, 20 secs
lola: 9099144 markings, 29514429 edges, 275676 markings/sec, 25 secs
lola: 10486552 markings, 34153302 edges, 277482 markings/sec, 30 secs
lola: 11869339 markings, 38757514 edges, 276557 markings/sec, 35 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 12413349 markings, 40582500 edges
lola: ========================================
lola: subprocess 12 will run for 681 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p17) OR E (F ((1 <= p23))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 681 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p17)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p17)
lola: processed formula length: 10
lola: 24 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 908 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= p23)))
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 <= p23)))
lola: processed formula length: 18
lola: 25 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 <= p23)
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: 10 markings, 9 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 13 will run for 908 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (A (G (((1 <= p20) AND (1 <= p31) AND (1 <= p14) AND (1 <= p33)))))) AND E (F ((1 <= p4))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 908 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= p4)))
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 <= p4)))
lola: processed formula length: 17
lola: 25 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 <= p4)
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 14 will run for 1362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((1 <= p20) AND (1 <= p31) AND (1 <= p14) AND (1 <= p33))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p20 <= 0) OR (p31 <= 0) OR (p14 <= 0) OR (p33 <= 0))
lola: processed formula length: 57
lola: 28 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p20 <= 0) OR (p31 <= 0) OR (p14 <= 0) OR (p33 <= 0))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 4 literals and 4 conjunctive subformulas
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p20) AND (1 <= p31) AND (1 <= p14) AND (1 <= p33))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-14-1.sara
lola: state equation: write sara problem file to CTLFireability-14-0.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-14-0.sara.
sara: try reading problem file CTLFireability-14-1.sara.


lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 2232558 markings, 4479272 edges, 446512 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 4458644 markings, 8927305 edges, 445217 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 6674317 markings, 13230714 edges, 443135 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 8621144 markings, 17405249 edges, 389365 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 10647498 markings, 21592803 edges, 405271 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 12536465 markings, 25395288 edges, 377793 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 14400570 markings, 29264691 edges, 372821 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 16179310 markings, 32991381 edges, 355748 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 18175270 markings, 36936989 edges, 399192 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 19894575 markings, 40627678 edges, 343861 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 21714185 markings, 44451318 edges, 363922 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 23404455 markings, 48089210 edges, 338054 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 25205396 markings, 51849695 edges, 360188 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 26808979 markings, 55385472 edges, 320717 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 28483165 markings, 58984701 edges, 334837 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 30071636 markings, 62565658 edges, 317694 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 31571252 markings, 65954937 edges, 299923 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 33104833 markings, 69336229 edges, 306716 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 34712960 markings, 72829369 edges, 321625 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 36367169 markings, 76417381 edges, 330842 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 38114020 markings, 79927537 edges, 349370 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 39693369 markings, 83416967 edges, 315870 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 41380081 markings, 87134430 edges, 337342 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 43033573 markings, 90731844 edges, 330698 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 44679797 markings, 94334406 edges, 329245 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 46300437 markings, 97831029 edges, 324128 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 47988838 markings, 101476707 edges, 337680 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 49488223 markings, 104917898 edges, 299877 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 51351612 markings, 108655112 edges, 372678 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 52996964 markings, 112217065 edges, 329070 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 54610992 markings, 115741219 edges, 322806 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 56266972 markings, 119285866 edges, 331196 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 57840314 markings, 122782907 edges, 314668 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 59506272 markings, 126318632 edges, 333192 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 61159773 markings, 129814774 edges, 330700 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 62768948 markings, 133291959 edges, 321835 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 64362089 markings, 136748460 edges, 318628 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 65851537 markings, 140135317 edges, 297890 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 67403121 markings, 143612582 edges, 310317 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 68930208 markings, 147008058 edges, 305417 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 70447605 markings, 150420923 edges, 303479 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 71923716 markings, 153797846 edges, 295222 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 73556025 markings, 157262750 edges, 326462 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 75088450 markings, 160659843 edges, 306485 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 76587636 markings, 164044407 edges, 299837 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 78079881 markings, 167413808 edges, 298449 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 79637704 markings, 170819107 edges, 311565 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 81299647 markings, 174277069 edges, 332389 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 82799960 markings, 177614039 edges, 300063 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 84351330 markings, 180970277 edges, 310274 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 85762050 markings, 184247224 edges, 282144 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 87271071 markings, 187572586 edges, 301804 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 88835064 markings, 190948553 edges, 312799 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 90371271 markings, 194278341 edges, 307241 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 91808929 markings, 197552084 edges, 287532 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 93352959 markings, 200898058 edges, 308806 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 94745313 markings, 204123267 edges, 278471 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 96204399 markings, 207381550 edges, 291817 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 97632872 markings, 210584757 edges, 285695 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 99072582 markings, 213836820 edges, 287942 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 100452693 markings, 217017639 edges, 276022 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 101834840 markings, 220211107 edges, 276429 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 103221835 markings, 223404150 edges, 277399 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 104587681 markings, 226554110 edges, 273169 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 106010030 markings, 229738220 edges, 284470 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 107455077 markings, 232934964 edges, 289009 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 108845095 markings, 236102869 edges, 278004 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 110282509 markings, 239290894 edges, 287483 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 111659340 markings, 242339980 edges, 275366 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 112792358 markings, 244861357 edges, 226604 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 113867480 markings, 247211615 edges, 215024 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 114878625 markings, 249525600 edges, 202229 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 115946746 markings, 252038686 edges, 213624 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 117203699 markings, 254709747 edges, 251391 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 118367202 markings, 257295119 edges, 232701 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 119727548 markings, 260352967 edges, 272069 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 120605526 markings, 262385588 edges, 175596 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 121764872 markings, 264950074 edges, 231869 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 122857459 markings, 267426613 edges, 218517 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 123936470 markings, 269948882 edges, 215802 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 125152751 markings, 272666748 edges, 243256 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 126290059 markings, 275264393 edges, 227462 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 127466779 markings, 278000751 edges, 235344 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 128511470 markings, 280414112 edges, 208938 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 129390387 markings, 282397986 edges, 175783 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 130683026 markings, 285252367 edges, 258528 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 131882363 markings, 287962389 edges, 239867 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 133172679 markings, 290813341 edges, 258063 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 134543789 markings, 293823434 edges, 274222 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 135824807 markings, 296769553 edges, 256204 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 137008835 markings, 299274988 edges, 236806 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 138123757 markings, 301767684 edges, 222984 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 139154424 markings, 304104842 edges, 206133 markings/sec, 460 secs
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 14 will run for 1126 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((1 <= p3) AND (1 <= p5)))) OR (E (F (A (G ((1 <= p12))))) OR ((1 <= p38) AND A (G (((1 <= p22) AND (1 <= p37)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1126 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p38)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p38)
lola: processed formula length: 10
lola: 24 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p3) AND (1 <= p5))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((1 <= p3) AND (1 <= p5))))
lola: processed formula length: 33
lola: 26 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: ((p3 <= 0) OR (p5 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 15 will run for 2253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((1 <= p21) OR ((1 <= p31) AND (1 <= p35))))) AND (A ((((1 <= p4) OR ((1 <= p0) AND (1 <= p32))) U ((p7 <= 0) OR (p11 <= 0)))) OR (A (((1 <= p22) U ((1 <= p9) AND (1 <= p11)))) AND (1 <= p7))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p7)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p7)
lola: processed formula length: 9
lola: 24 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: 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: A ((((1 <= p4) OR ((1 <= p0) AND (1 <= p32))) U ((p7 <= 0) OR (p11 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:577
lola: rewrite Frontend/Parser/formula_rewrite.k:735
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A ((((1 <= p4) OR ((1 <= p0) AND (1 <= p32))) U ((p7 <= 0) OR (p11 <= 0))))
lola: processed formula length: 77
lola: 29 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 /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p4) OR ((1 <= p0) AND (1 <= p32)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /ER
lola: Predicate Phi holds until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((1 <= p4)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (p4 <= 0)
lola: processed formula length: 9
lola: 28 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p4)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (p4 <= 0)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-16-0.sara
lola: state equation: calling and running sara
lola: state equation: write sara problem file to CTLFireability-16-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-16-1.sara.
sara: try reading problem file CTLFireability-16-0.sara.


lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 2378975 markings, 4896737 edges, 475795 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 4533116 markings, 9456133 edges, 430828 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 6567821 markings, 13800377 edges, 406941 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 8571205 markings, 18081131 edges, 400677 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 10518241 markings, 22252417 edges, 389407 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 12378708 markings, 26309886 edges, 372093 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 14297549 markings, 30389764 edges, 383768 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 16196125 markings, 34548761 edges, 379715 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 18117309 markings, 38699795 edges, 384237 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 19939380 markings, 42764557 edges, 364414 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 21778567 markings, 46809437 edges, 367837 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 23581303 markings, 50824742 edges, 360547 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 25299283 markings, 54740232 edges, 343596 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 27025336 markings, 58652306 edges, 345211 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 28691234 markings, 62469950 edges, 333180 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 30251377 markings, 66042877 edges, 312029 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 31891916 markings, 69688049 edges, 328108 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 33544072 markings, 73352376 edges, 330431 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 35004939 markings, 76836858 edges, 292173 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 36496161 markings, 80334171 edges, 298244 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 37988262 markings, 83831701 edges, 298420 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 39495757 markings, 87297250 edges, 301499 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 41085918 markings, 90863096 edges, 318032 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 42586898 markings, 94311973 edges, 300196 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 44166310 markings, 97824647 edges, 315882 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 45623406 markings, 101228921 edges, 291419 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 47049972 markings, 104588783 edges, 285313 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 48542404 markings, 107997579 edges, 298486 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 49983220 markings, 111356365 edges, 288163 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 51492934 markings, 114781015 edges, 301943 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 52940499 markings, 118147609 edges, 289513 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 54433077 markings, 121538348 edges, 298516 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 55855132 markings, 124897039 edges, 284411 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 57258749 markings, 128206079 edges, 280723 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 58730135 markings, 131590058 edges, 294277 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 60236732 markings, 134988336 edges, 301319 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 61606580 markings, 138238002 edges, 273970 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 63052262 markings, 141539571 edges, 289136 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 64406182 markings, 144773770 edges, 270784 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 65833698 markings, 148047122 edges, 285503 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 67278298 markings, 151387360 edges, 288920 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 68617573 markings, 154584093 edges, 267855 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 69956477 markings, 157791729 edges, 267781 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 71282535 markings, 161001292 edges, 265212 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 72630232 markings, 164202033 edges, 269539 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 73943414 markings, 167354980 edges, 262636 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 75380867 markings, 170652656 edges, 287491 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 76796905 markings, 173939581 edges, 283208 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 78249875 markings, 177320518 edges, 290594 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 79819308 markings, 180783112 edges, 313887 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 81236376 markings, 184102225 edges, 283414 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 82616827 markings, 187397465 edges, 276090 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 83977378 markings, 190694823 edges, 272110 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 85357780 markings, 193837545 edges, 276080 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 86700744 markings, 197009401 edges, 268593 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 88009833 markings, 200124519 edges, 261818 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 89333587 markings, 203250753 edges, 264751 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 90654981 markings, 206359874 edges, 264279 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 91985252 markings, 209470219 edges, 266054 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 93326647 markings, 212605884 edges, 268279 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 94719249 markings, 215799676 edges, 278520 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 96000760 markings, 218886057 edges, 256302 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 97371795 markings, 222041068 edges, 274207 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 98723618 markings, 225181119 edges, 270365 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 100019821 markings, 228254174 edges, 259241 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 101231655 markings, 231273683 edges, 242367 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 102556214 markings, 234379671 edges, 264912 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 103822882 markings, 237445537 edges, 253334 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 105069390 markings, 240468708 edges, 249302 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 106306080 markings, 243470665 edges, 247338 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 107603077 markings, 246528335 edges, 259399 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 108845884 markings, 249533370 edges, 248561 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 110153917 markings, 252623991 edges, 261607 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 111523445 markings, 255757114 edges, 273906 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 112842049 markings, 258834396 edges, 263721 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 114127486 markings, 261859371 edges, 257087 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 115406807 markings, 264906136 edges, 255864 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 116680923 markings, 267911229 edges, 254823 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 117882502 markings, 270862279 edges, 240316 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 119098574 markings, 273851265 edges, 243214 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 120381818 markings, 276924734 edges, 256649 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 121641598 markings, 280020133 edges, 251956 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 122939078 markings, 283155060 edges, 259496 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 124214652 markings, 286254503 edges, 255115 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 125589235 markings, 289468457 edges, 274917 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 126909301 markings, 292640263 edges, 264013 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 128236379 markings, 295789829 edges, 265416 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 129526922 markings, 298897334 edges, 258109 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 130778188 markings, 301971999 edges, 250253 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 132098773 markings, 305104877 edges, 264117 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 133329585 markings, 308169572 edges, 246162 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 134601700 markings, 311267117 edges, 254423 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 135903083 markings, 314369647 edges, 260277 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 137153292 markings, 317424938 edges, 250042 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 138396900 markings, 320466699 edges, 248722 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 139684083 markings, 323555733 edges, 257437 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 140951294 markings, 326625353 edges, 253442 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 142134305 markings, 329622780 edges, 236602 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 143108538 markings, 331855771 edges, 194847 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 144254651 markings, 334658929 edges, 229223 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 145282886 markings, 337174570 edges, 205647 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 146392731 markings, 339758248 edges, 221969 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 147533678 markings, 342487045 edges, 228189 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 148844701 markings, 345526241 edges, 262205 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 149746795 markings, 347772642 edges, 180419 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 150589727 markings, 349850670 edges, 168586 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 151613682 markings, 352307537 edges, 204791 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 152770715 markings, 355060199 edges, 231407 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 154039319 markings, 358053231 edges, 253721 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 155155296 markings, 360676135 edges, 223195 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 156401816 markings, 363682287 edges, 249304 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 157663037 markings, 366697571 edges, 252244 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 158917567 markings, 369651541 edges, 250906 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 160076087 markings, 372412181 edges, 231704 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 161180096 markings, 375127193 edges, 220802 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 162239561 markings, 377778545 edges, 211893 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 163255482 markings, 380189366 edges, 203184 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 164294629 markings, 382686464 edges, 207829 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 165307545 markings, 385252376 edges, 202583 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 166291790 markings, 387701799 edges, 196849 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 167199030 markings, 389995089 edges, 181448 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 168178041 markings, 392356691 edges, 195802 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 169260191 markings, 394972759 edges, 216430 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 170447495 markings, 397609851 edges, 237461 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 171637737 markings, 400297356 edges, 238048 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 172687668 markings, 402857929 edges, 209986 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 173708338 markings, 405353113 edges, 204134 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 174830129 markings, 408034760 edges, 224358 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 175824067 markings, 410502001 edges, 198788 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 176533303 markings, 412220307 edges, 141847 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 176758946 markings, 412810316 edges, 45129 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 176789656 markings, 412880837 edges, 6142 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 176789742 markings, 412881028 edges, 17 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 176789793 markings, 412881141 edges, 10 markings/sec, 665 secs
lola: lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (E (F (((1 <= p14) AND (1 <= p32))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: ((1 <= p14) AND (1 <= p32))
lola: processed formula length: 27
lola: 27 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p14) AND (1 <= p32))
lola: state equation task get result unparse finished id 1
lola: formula 0: ((p14 <= 0) OR (p32 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-17-1.sara
lola: state equation: calling and running sara
lola: state equation: write sara problem file to CTLFireability-17-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-17-0.sara.
sara: try reading problem file CTLFireability-17-1.sara.


lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 1452433 markings, 3486944 edges, 290487 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 2793206 markings, 6792110 edges, 268155 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 4048120 markings, 9924480 edges, 250983 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 5234582 markings, 12939726 edges, 237292 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 6381066 markings, 15879090 edges, 229297 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 7494556 markings, 18749677 edges, 222698 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 8564613 markings, 21559128 edges, 214011 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 9622945 markings, 24322120 edges, 211666 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 10660056 markings, 27070361 edges, 207422 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 11665266 markings, 29776630 edges, 201042 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 12662503 markings, 32461480 edges, 199447 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 13639278 markings, 35111728 edges, 195355 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 14618392 markings, 37755287 edges, 195823 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 15606852 markings, 40446830 edges, 197692 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 16625729 markings, 43234565 edges, 203775 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 17631735 markings, 46028292 edges, 201201 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 18647899 markings, 48796133 edges, 203233 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 19643723 markings, 51527149 edges, 199165 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 20644695 markings, 54252672 edges, 200194 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 21612034 markings, 56950164 edges, 193468 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 22602205 markings, 59663515 edges, 198034 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 23568319 markings, 62336665 edges, 193223 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 24533329 markings, 65001881 edges, 193002 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 25475333 markings, 67633386 edges, 188401 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 26428848 markings, 70244388 edges, 190703 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 27368068 markings, 72844930 edges, 187844 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 28292958 markings, 75432117 edges, 184978 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 29132774 markings, 77729556 edges, 167963 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 29985077 markings, 80100715 edges, 170461 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 30816713 markings, 82456486 edges, 166327 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 31671807 markings, 84812865 edges, 171019 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 32506151 markings, 87147868 edges, 166869 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 33365352 markings, 89481664 edges, 171840 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 34200805 markings, 91780954 edges, 167091 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 35098247 markings, 94272109 edges, 179488 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 35989981 markings, 96788151 edges, 178347 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 36898740 markings, 99265734 edges, 181752 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 37796185 markings, 101746451 edges, 179489 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 38669923 markings, 104196406 edges, 174748 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 39555066 markings, 106634812 edges, 177029 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 40430398 markings, 109055242 edges, 175066 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 41310187 markings, 111476591 edges, 175958 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 42176685 markings, 113892625 edges, 173300 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 43050475 markings, 116300932 edges, 174758 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 43932666 markings, 118709638 edges, 176438 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 44802782 markings, 121109471 edges, 174023 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 45663290 markings, 123494348 edges, 172102 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 46525954 markings, 125894998 edges, 172533 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 47372786 markings, 128282653 edges, 169366 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 48237629 markings, 130678982 edges, 172969 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 49084167 markings, 133053104 edges, 169308 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 49933666 markings, 135406625 edges, 169900 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 50786371 markings, 137804938 edges, 170541 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 51626913 markings, 140154171 edges, 168108 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 52373129 markings, 142279518 edges, 149243 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 53170933 markings, 144476447 edges, 159561 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 53951357 markings, 146662896 edges, 156085 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 54741562 markings, 148864140 edges, 158041 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 55527780 markings, 151049675 edges, 157244 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 56301328 markings, 153220137 edges, 154710 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 57062103 markings, 155353844 edges, 152155 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 57832952 markings, 157507887 edges, 154170 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 58599575 markings, 159672273 edges, 153325 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 59357140 markings, 161836427 edges, 151513 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 60119233 markings, 163985686 edges, 152419 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 60904526 markings, 166155411 edges, 157059 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 61676613 markings, 168291042 edges, 154417 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 62434242 markings, 170428815 edges, 151526 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 63192466 markings, 172557511 edges, 151645 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 63946351 markings, 174687579 edges, 150777 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 64695636 markings, 176821694 edges, 149857 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 65451236 markings, 178947836 edges, 151120 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 66205698 markings, 181062699 edges, 150892 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 66962245 markings, 183182385 edges, 151309 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 67698390 markings, 185267336 edges, 147229 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 68442680 markings, 187364006 edges, 148858 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 69177231 markings, 189471246 edges, 146910 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 69917057 markings, 191572193 edges, 147965 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 70653553 markings, 193685585 edges, 147299 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 71385823 markings, 195785374 edges, 146454 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 72130135 markings, 197881251 edges, 148862 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 72859852 markings, 199984799 edges, 145943 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 73596427 markings, 202075637 edges, 147315 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 74336190 markings, 204172656 edges, 147953 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 75069429 markings, 206254944 edges, 146648 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 75816369 markings, 208352143 edges, 149388 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 76545411 markings, 210421788 edges, 145808 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 77282375 markings, 212495324 edges, 147393 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 78014149 markings, 214589329 edges, 146355 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 78719601 markings, 216648444 edges, 141090 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 79442764 markings, 218727161 edges, 144633 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 80169099 markings, 220808791 edges, 145267 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 80899176 markings, 222886606 edges, 146015 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 81619650 markings, 224953160 edges, 144095 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 82342604 markings, 227011421 edges, 144591 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 83061656 markings, 229091180 edges, 143810 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 83772108 markings, 231153070 edges, 142090 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 84479772 markings, 233215961 edges, 141533 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 85197255 markings, 235264065 edges, 143497 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 85909557 markings, 237308674 edges, 142460 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 86621681 markings, 239372612 edges, 142425 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 87352683 markings, 241482933 edges, 146200 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 88108866 markings, 243690179 edges, 151237 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 88888717 markings, 245918255 edges, 155970 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 89656294 markings, 248142563 edges, 153515 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 90429951 markings, 250374155 edges, 154731 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 91205347 markings, 252587380 edges, 155079 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 91912111 markings, 254659374 edges, 141353 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 92603059 markings, 256711708 edges, 138190 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 93306688 markings, 258756159 edges, 140726 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 93997845 markings, 260792612 edges, 138231 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 94696046 markings, 262832956 edges, 139640 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 95403112 markings, 264875550 edges, 141413 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 96097344 markings, 266932113 edges, 138846 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 96797924 markings, 268978507 edges, 140116 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 97505369 markings, 271024756 edges, 141489 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 98215553 markings, 273075709 edges, 142037 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 98909787 markings, 275123252 edges, 138847 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 99593956 markings, 277107522 edges, 136834 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 100282930 markings, 279089916 edges, 137795 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 100963807 markings, 281073069 edges, 136175 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 101645100 markings, 283045237 edges, 136259 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 102302506 markings, 284973552 edges, 131481 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 102975768 markings, 286960044 edges, 134652 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 103653434 markings, 288960259 edges, 135533 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 104322609 markings, 290955284 edges, 133835 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 104991668 markings, 292933685 edges, 133812 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 105652665 markings, 294890340 edges, 132199 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 106323694 markings, 296859430 edges, 134206 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 107004410 markings, 298852876 edges, 136143 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 107686065 markings, 300853565 edges, 136331 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 108365663 markings, 302852131 edges, 135920 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 109040762 markings, 304844856 edges, 135020 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 109716370 markings, 306847058 edges, 135122 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 110395620 markings, 308856350 edges, 135850 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 111081919 markings, 310863181 edges, 137260 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 111739895 markings, 312837017 edges, 131595 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 112407437 markings, 314806697 edges, 133508 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 113073786 markings, 316781297 edges, 133270 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 113727227 markings, 318745555 edges, 130688 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 114403697 markings, 320712050 edges, 135294 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 115070858 markings, 322686163 edges, 133432 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 115741145 markings, 324646482 edges, 134057 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 116412744 markings, 326639736 edges, 134320 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 117106390 markings, 328635858 edges, 138729 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 117809420 markings, 330637199 edges, 140606 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 118499285 markings, 332678955 edges, 137973 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 119227419 markings, 334843559 edges, 145627 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 119957522 markings, 337021023 edges, 146021 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 120693764 markings, 339190313 edges, 147248 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 121424617 markings, 341376066 edges, 146171 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 122154593 markings, 343540401 edges, 145995 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 122868296 markings, 345654163 edges, 142741 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 123589414 markings, 347792396 edges, 144224 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 124253731 markings, 349734224 edges, 132863 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 124910044 markings, 351670971 edges, 131263 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 125625858 markings, 353757647 edges, 143163 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 126322373 markings, 355819305 edges, 139303 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 126931588 markings, 357648258 edges, 121843 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 127562311 markings, 359529278 edges, 126145 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 128203688 markings, 361445573 edges, 128275 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 128839147 markings, 363345962 edges, 127092 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 129467639 markings, 365209070 edges, 125698 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 130094847 markings, 367072361 edges, 125442 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 130805682 markings, 369172626 edges, 142167 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 131514682 markings, 371247175 edges, 141800 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 132216374 markings, 373333302 edges, 140338 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 132914964 markings, 375437198 edges, 139718 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 133622302 markings, 377526108 edges, 141468 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 134342936 markings, 379633523 edges, 144127 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 135063475 markings, 381702561 edges, 144108 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 135766370 markings, 383801344 edges, 140579 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 136479270 markings, 385875373 edges, 142580 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 137177150 markings, 387910287 edges, 139576 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 137889583 markings, 389994359 edges, 142487 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 138610851 markings, 392082272 edges, 144254 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 139307850 markings, 394158582 edges, 139400 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 140006937 markings, 396227317 edges, 139817 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 140719361 markings, 398314191 edges, 142485 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 141425688 markings, 400399389 edges, 141265 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 142142417 markings, 402489441 edges, 143346 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 142797290 markings, 404440617 edges, 130975 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 143430206 markings, 406292815 edges, 126583 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 144058139 markings, 408136303 edges, 125587 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 144635151 markings, 409846024 edges, 115402 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 145339718 markings, 411929902 edges, 140913 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 146036875 markings, 413998903 edges, 139431 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 146744136 markings, 416084678 edges, 141452 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 147380152 markings, 417995364 edges, 127203 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 147999360 markings, 419840247 edges, 123842 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 148633747 markings, 421702498 edges, 126877 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 149296826 markings, 423658075 edges, 132616 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 149983842 markings, 425674223 edges, 137403 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 150632627 markings, 427566694 edges, 129757 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 151310263 markings, 429576258 edges, 135527 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 151801783 markings, 430980775 edges, 98304 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 152058758 markings, 431755010 edges, 51395 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 152210463 markings, 432187068 edges, 30341 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 152335492 markings, 432549539 edges, 25006 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 152335801 markings, 432550453 edges, 62 markings/sec, 995 secs
lola: lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: (E (F (A (G (((1 <= p20) AND (1 <= p31) AND (1 <= p14) AND (1 <= p33)))))) AND E (F ((1 <= p4))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= p4)))
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 <= p4)))
lola: processed formula length: 17
lola: 25 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 <= p4)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: state equation: write sara problem file to CTLFireability-18-0.sara
lola: lola: state equation: calling and running sara========================================

lola: ========================================
lola: ...considering subproblem: E (F (A (G (((1 <= p20) AND (1 <= p31) AND (1 <= p14) AND (1 <= p33))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p20 <= 0) OR (p31 <= 0) OR (p14 <= 0) OR (p33 <= 0))
lola: processed formula length: 57
lola: 28 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p20) AND (1 <= p31) AND (1 <= p14) AND (1 <= p33))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p20 <= 0) OR (p31 <= 0) OR (p14 <= 0) OR (p33 <= 0))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 4 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-19-0.sara
lola: state equation: write sara problem file to CTLFireability-19-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-19-1.sara.
sara: try reading problem file CTLFireability-19-0.sara.
sara: try reading problem file CTLFireability-18-0.sara.



lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 2327794 markings, 4672504 edges, 465559 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 4556320 markings, 9113810 edges, 445705 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 6742352 markings, 13370876 edges, 437206 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 8707415 markings, 17581331 edges, 393013 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 10697906 markings, 21714735 edges, 398098 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 12717584 markings, 25739351 edges, 403936 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 14611287 markings, 29674654 edges, 378741 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 16518256 markings, 33629579 edges, 381394 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 18465211 markings, 37546781 edges, 389391 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 20223142 markings, 41370829 edges, 351586 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 22022567 markings, 45142699 edges, 359885 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 23780564 markings, 48866745 edges, 351599 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 25530211 markings, 52554461 edges, 349929 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 27195710 markings, 56205983 edges, 333100 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 28909629 markings, 59880640 edges, 342784 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 30459092 markings, 63450728 edges, 309893 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 32062098 markings, 67015072 edges, 320601 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 33650774 markings, 70537782 edges, 317735 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 35293075 markings, 74096919 edges, 328460 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 37035681 markings, 77724533 edges, 348521 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 38729852 markings, 81315290 edges, 338834 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 40279829 markings, 84792571 edges, 309995 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 41889842 markings, 88275278 edges, 322003 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 43468060 markings, 91712979 edges, 315644 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 45032659 markings, 95119133 edges, 312920 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 46706000 markings, 98634213 edges, 334668 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 48218230 markings, 102015278 edges, 302446 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 49720575 markings, 105381978 edges, 300469 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 51470933 markings, 108914386 edges, 350072 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 53020651 markings, 112273172 edges, 309944 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 54538722 markings, 115608209 edges, 303614 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 56134633 markings, 119007923 edges, 319182 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 57666814 markings, 122349939 edges, 306436 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 59229619 markings, 125736748 edges, 312561 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 60827015 markings, 129096802 edges, 319479 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 62331856 markings, 132378146 edges, 300968 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 63875743 markings, 135683903 edges, 308777 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 65300477 markings, 138900235 edges, 284947 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 66768285 markings, 142190773 edges, 293562 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 68225131 markings, 145409982 edges, 291369 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 69680816 markings, 148643260 edges, 291137 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 71049210 markings, 151830951 edges, 273679 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 72546910 markings, 155107062 edges, 299540 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 74046181 markings, 158343390 edges, 299854 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 75492533 markings, 161572163 edges, 289270 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 76895830 markings, 164777071 edges, 280659 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 78321464 markings, 167974070 edges, 285127 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 79826306 markings, 171212020 edges, 300968 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 81401986 markings, 174504435 edges, 315136 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 82827034 markings, 177669061 edges, 285010 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 84298897 markings, 180851682 edges, 294373 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 85684146 markings, 184071608 edges, 277050 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 87191762 markings, 187393314 edges, 301523 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 88757851 markings, 190762190 edges, 313218 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 90297695 markings, 194105475 edges, 307969 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 91728585 markings, 197377632 edges, 286178 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 93279363 markings, 200731655 edges, 310156 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 94677433 markings, 203959507 edges, 279614 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 96140635 markings, 207215580 edges, 292640 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 97572863 markings, 210441841 edges, 286446 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 99022584 markings, 213718143 edges, 289944 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 100412883 markings, 216922087 edges, 278060 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 101805911 markings, 220140918 edges, 278606 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 103195819 markings, 223345126 edges, 277982 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 104567066 markings, 226509066 edges, 274249 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 105995299 markings, 229701936 edges, 285647 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 107441688 markings, 232908188 edges, 289278 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 108839788 markings, 236089585 edges, 279620 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 110281148 markings, 239287779 edges, 288272 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 111722213 markings, 242485411 edges, 288213 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 113144035 markings, 245691535 edges, 284364 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 114344783 markings, 248309439 edges, 240150 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 115472177 markings, 250905665 edges, 225479 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 116433912 markings, 253159558 edges, 192347 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 117636933 markings, 255641449 edges, 240604 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 118676869 markings, 257969239 edges, 207987 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 119687157 markings, 260257096 edges, 202058 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 120840714 markings, 262922036 edges, 230711 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 122010638 markings, 265497346 edges, 233985 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 122984806 markings, 267728262 edges, 194834 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 124091995 markings, 270257552 edges, 221438 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 125140271 markings, 272634232 edges, 209655 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 126242514 markings, 275160336 edges, 220449 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 127342205 markings, 277701102 edges, 219938 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 128473017 markings, 280318071 edges, 226162 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 129637344 markings, 282966274 edges, 232865 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 130745662 markings, 285388639 edges, 221664 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 131670232 markings, 287443829 edges, 184914 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 132744268 markings, 289844595 edges, 214807 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 133871956 markings, 292341367 edges, 225538 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 134924553 markings, 294720271 edges, 210519 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 135937783 markings, 296987718 edges, 202646 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 136859190 markings, 298969605 edges, 184281 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 137804035 markings, 301050417 edges, 188969 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 138729126 markings, 303176090 edges, 185018 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 139371988 markings, 304605291 edges, 128572 markings/sec, 475 secs
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A (G (((1 <= p3) AND (1 <= p5)))) OR (E (F (A (G ((1 <= p12))))) OR ((1 <= p38) AND A (G (((1 <= p22) AND (1 <= p37)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: (1 <= p38)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p38)
lola: processed formula length: 10
lola: 24 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p3) AND (1 <= p5))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((1 <= p3) AND (1 <= p5))))
lola: processed formula length: 33
lola: 26 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: SUBRESULT
lola: result: no
lola: formula 0: ((p3 <= 0) OR (p5 <= 0))
lola: state equation task get result unparse finished id 0
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((1 <= p12)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p12 <= 0)
lola: processed formula length: 10
lola: 28 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 1
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p12)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (p12 <= 0)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-21-0.sara
lola: state equation: calling and running sara
lola: state equation: write sara problem file to CTLFireability-21-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-21-1.sara.
sara: try reading problem file CTLFireability-21-0.sara.


lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 2311729 markings, 4865694 edges, 462346 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 4429474 markings, 9402279 edges, 423549 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 6400482 markings, 13723442 edges, 394202 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 8375603 markings, 17944261 edges, 395024 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 10232697 markings, 22041576 edges, 371419 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 12060857 markings, 26058228 edges, 365632 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 13842501 markings, 30044599 edges, 356329 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 15603656 markings, 33952206 edges, 352231 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 17416468 markings, 37864749 edges, 362562 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 19136372 markings, 41699135 edges, 343981 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 20820911 markings, 45491032 edges, 336908 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 22538271 markings, 49245123 edges, 343472 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 24175552 markings, 52950048 edges, 327456 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 25865847 markings, 56666826 edges, 338059 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 27506177 markings, 60315817 edges, 328066 markings/sec, 70 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes unknown yes yes unknown no yes yes unknown yes yes yes yes yes unknown
lola:
preliminary result: unknown yes unknown yes yes unknown no yes yes unknown yes yes yes yes yes unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes unknown yes yes unknown no yes yes unknown yes yes yes yes yes unknown
lola: lola: memory consumption: 3869280 KBmemory consumption: 3869544 KB

lola: lola: time consumption: 3570 secondstime consumption: 3570 seconds

lola: lola: print data as JSON (--json)
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 yes unknown yes yes unknown no yes yes unknown yes yes yes yes yes unknown
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 yes unknown yes yes unknown no yes yes unknown yes yes yes yes yes unknown
rslt: finished

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

Sequence of Actions to be Executed by the VM

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

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

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