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

About the Execution of ITS-LoLa for AutoFlight-PT-03b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15751.000 3600000.00 3625658.00 9146.90 F?FFFFTFT?TT?T?T 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-158987787700412.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 AutoFlight-PT-03b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787700412
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 240K
-rw-r--r-- 1 mcc users 3.0K Mar 25 23:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 23:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 18:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 18:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 14:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 14:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 10:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 10:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 70K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-00
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-01
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-02
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-03
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-04
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-05
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-06
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-07
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-08
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-09
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-10
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-11
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-12
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-13
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-14
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591464563053

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 17:29:26] [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 17:29:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 17:29:26] [INFO ] Load time of PNML (sax parser for PT used): 158 ms
[2020-06-06 17:29:26] [INFO ] Transformed 298 places.
[2020-06-06 17:29:26] [INFO ] Transformed 296 transitions.
[2020-06-06 17:29:26] [INFO ] Found NUPN structural information;
[2020-06-06 17:29:26] [INFO ] Parsed PT model containing 298 places and 296 transitions in 247 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 59 ms.
Incomplete random walk after 100000 steps, including 630 resets, run finished after 624 ms. (steps per millisecond=160 ) properties seen :[1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 296 rows 298 cols
[2020-06-06 17:29:27] [INFO ] Computed 22 place invariants in 16 ms
[2020-06-06 17:29:27] [INFO ] [Real]Absence check using 21 positive place invariants in 39 ms returned sat
[2020-06-06 17:29:27] [INFO ] [Real]Absence check using 21 positive and 1 generalized place invariants in 3 ms returned sat
[2020-06-06 17:29:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:27] [INFO ] [Real]Absence check using state equation in 433 ms returned sat
[2020-06-06 17:29:28] [INFO ] Deduced a trap composed of 44 places in 263 ms
[2020-06-06 17:29:28] [INFO ] Deduced a trap composed of 32 places in 214 ms
[2020-06-06 17:29:28] [INFO ] Deduced a trap composed of 33 places in 184 ms
[2020-06-06 17:29:29] [INFO ] Deduced a trap composed of 55 places in 147 ms
[2020-06-06 17:29:29] [INFO ] Deduced a trap composed of 39 places in 195 ms
[2020-06-06 17:29:29] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 1182 ms
[2020-06-06 17:29:29] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 17:29:29] [INFO ] [Nat]Absence check using 21 positive place invariants in 106 ms returned sat
[2020-06-06 17:29:29] [INFO ] [Nat]Absence check using 21 positive and 1 generalized place invariants in 4 ms returned sat
[2020-06-06 17:29:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:29] [INFO ] [Nat]Absence check using state equation in 473 ms returned sat
[2020-06-06 17:29:30] [INFO ] Deduced a trap composed of 44 places in 158 ms
[2020-06-06 17:29:30] [INFO ] Deduced a trap composed of 32 places in 119 ms
[2020-06-06 17:29:30] [INFO ] Deduced a trap composed of 33 places in 108 ms
[2020-06-06 17:29:30] [INFO ] Deduced a trap composed of 55 places in 114 ms
[2020-06-06 17:29:30] [INFO ] Deduced a trap composed of 39 places in 93 ms
[2020-06-06 17:29:30] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 727 ms
[2020-06-06 17:29:30] [INFO ] Computed and/alt/rep : 295/398/295 causal constraints in 39 ms.
[2020-06-06 17:29:33] [INFO ] Added : 295 causal constraints over 59 iterations in 2484 ms. Result :sat
[2020-06-06 17:29:33] [INFO ] [Real]Absence check using 21 positive place invariants in 35 ms returned sat
[2020-06-06 17:29:33] [INFO ] [Real]Absence check using 21 positive and 1 generalized place invariants in 3 ms returned sat
[2020-06-06 17:29:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:33] [INFO ] [Real]Absence check using state equation in 483 ms returned sat
[2020-06-06 17:29:34] [INFO ] Deduced a trap composed of 32 places in 173 ms
[2020-06-06 17:29:34] [INFO ] Deduced a trap composed of 33 places in 192 ms
[2020-06-06 17:29:34] [INFO ] Deduced a trap composed of 50 places in 156 ms
[2020-06-06 17:29:34] [INFO ] Deduced a trap composed of 60 places in 139 ms
[2020-06-06 17:29:34] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 773 ms
[2020-06-06 17:29:34] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 17:29:34] [INFO ] [Nat]Absence check using 21 positive place invariants in 242 ms returned sat
[2020-06-06 17:29:34] [INFO ] [Nat]Absence check using 21 positive and 1 generalized place invariants in 5 ms returned sat
[2020-06-06 17:29:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:35] [INFO ] [Nat]Absence check using state equation in 461 ms returned sat
[2020-06-06 17:29:35] [INFO ] Deduced a trap composed of 32 places in 197 ms
[2020-06-06 17:29:35] [INFO ] Deduced a trap composed of 55 places in 223 ms
[2020-06-06 17:29:36] [INFO ] Deduced a trap composed of 41 places in 182 ms
[2020-06-06 17:29:36] [INFO ] Deduced a trap composed of 33 places in 201 ms
[2020-06-06 17:29:36] [INFO ] Deduced a trap composed of 40 places in 174 ms
[2020-06-06 17:29:36] [INFO ] Deduced a trap composed of 53 places in 115 ms
[2020-06-06 17:29:36] [INFO ] Deduced a trap composed of 45 places in 128 ms
[2020-06-06 17:29:36] [INFO ] Deduced a trap composed of 50 places in 113 ms
[2020-06-06 17:29:36] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 1528 ms
[2020-06-06 17:29:37] [INFO ] Computed and/alt/rep : 295/398/295 causal constraints in 44 ms.
[2020-06-06 17:29:38] [INFO ] Added : 261 causal constraints over 53 iterations in 1696 ms. Result :sat
[2020-06-06 17:29:38] [INFO ] [Real]Absence check using 21 positive place invariants in 32 ms returned sat
[2020-06-06 17:29:38] [INFO ] [Real]Absence check using 21 positive and 1 generalized place invariants in 2 ms returned sat
[2020-06-06 17:29:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:39] [INFO ] [Real]Absence check using state equation in 433 ms returned sat
[2020-06-06 17:29:39] [INFO ] Deduced a trap composed of 30 places in 114 ms
[2020-06-06 17:29:39] [INFO ] Deduced a trap composed of 40 places in 81 ms
[2020-06-06 17:29:39] [INFO ] Deduced a trap composed of 37 places in 81 ms
[2020-06-06 17:29:39] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 337 ms
[2020-06-06 17:29:39] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 17:29:39] [INFO ] [Nat]Absence check using 21 positive place invariants in 193 ms returned sat
[2020-06-06 17:29:39] [INFO ] [Nat]Absence check using 21 positive and 1 generalized place invariants in 2 ms returned sat
[2020-06-06 17:29:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:40] [INFO ] [Nat]Absence check using state equation in 419 ms returned sat
[2020-06-06 17:29:40] [INFO ] Deduced a trap composed of 30 places in 149 ms
[2020-06-06 17:29:40] [INFO ] Deduced a trap composed of 40 places in 130 ms
[2020-06-06 17:29:40] [INFO ] Deduced a trap composed of 44 places in 154 ms
[2020-06-06 17:29:40] [INFO ] Deduced a trap composed of 41 places in 98 ms
[2020-06-06 17:29:40] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 641 ms
[2020-06-06 17:29:40] [INFO ] Computed and/alt/rep : 295/398/295 causal constraints in 34 ms.
[2020-06-06 17:29:43] [INFO ] Added : 291 causal constraints over 59 iterations in 2113 ms. Result :sat
[2020-06-06 17:29:43] [INFO ] [Real]Absence check using 21 positive place invariants in 37 ms returned sat
[2020-06-06 17:29:43] [INFO ] [Real]Absence check using 21 positive and 1 generalized place invariants in 5 ms returned sat
[2020-06-06 17:29:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:43] [INFO ] [Real]Absence check using state equation in 486 ms returned sat
[2020-06-06 17:29:43] [INFO ] Deduced a trap composed of 39 places in 158 ms
[2020-06-06 17:29:44] [INFO ] Deduced a trap composed of 37 places in 169 ms
[2020-06-06 17:29:44] [INFO ] Deduced a trap composed of 50 places in 141 ms
[2020-06-06 17:29:44] [INFO ] Deduced a trap composed of 40 places in 141 ms
[2020-06-06 17:29:44] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 742 ms
[2020-06-06 17:29:44] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 17:29:44] [INFO ] [Nat]Absence check using 21 positive place invariants in 214 ms returned sat
[2020-06-06 17:29:44] [INFO ] [Nat]Absence check using 21 positive and 1 generalized place invariants in 5 ms returned sat
[2020-06-06 17:29:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:45] [INFO ] [Nat]Absence check using state equation in 501 ms returned sat
[2020-06-06 17:29:45] [INFO ] Deduced a trap composed of 40 places in 152 ms
[2020-06-06 17:29:45] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 190 ms
[2020-06-06 17:29:45] [INFO ] Computed and/alt/rep : 295/398/295 causal constraints in 35 ms.
[2020-06-06 17:29:47] [INFO ] Added : 294 causal constraints over 59 iterations in 2206 ms. Result :sat
[2020-06-06 17:29:48] [INFO ] Flatten gal took : 126 ms
[2020-06-06 17:29:48] [INFO ] Flatten gal took : 42 ms
[2020-06-06 17:29:48] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 7 ms.
[2020-06-06 17:29:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 7 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ AutoFlight-PT-03b @ 3570 seconds

FORMULA AutoFlight-PT-03b-CTLFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-CTLFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-CTLFireability-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA AutoFlight-PT-03b-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-CTLFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-CTLFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA AutoFlight-PT-03b-CTLFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-CTLFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-CTLFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ AutoFlight-PT-03b

{
"exit":
{
"memory": 3266340,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p273 <= 0) OR ((1 <= p289)))",
"processed_size": 31,
"rewrites": 21
},
"result":
{
"preliminary_value": "no unknown no no no no yes no yes unknown yes yes unknown yes unknown yes "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "tscc preserving/always up"
}
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"store":
{
"type": "dfs/tscc"
},
"type": "possible_invariance",
"workflow": "stateequation"
}
}
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: 594/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 298
lola: finding significant places
lola: 298 places, 296 transitions, 276 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLFireability.xml
lola: LP says that atomic proposition is always true: (p106 <= 1)
lola: LP says that atomic proposition is always true: (p154 <= 1)
lola: LP says that atomic proposition is always true: (p222 <= 1)
lola: LP says that atomic proposition is always true: (p201 <= 1)
lola: LP says that atomic proposition is always true: (p94 <= 1)
lola: LP says that atomic proposition is always true: (p221 <= 1)
lola: LP says that atomic proposition is always true: (p177 <= 1)
lola: LP says that atomic proposition is always true: (p5 <= 1)
lola: LP says that atomic proposition is always true: (p291 <= 1)
lola: LP says that atomic proposition is always true: (p69 <= 1)
lola: LP says that atomic proposition is always true: (p203 <= 1)
lola: LP says that atomic proposition is always true: (p178 <= 1)
lola: LP says that atomic proposition is always true: (p111 <= 1)
lola: LP says that atomic proposition is always true: (p114 <= 1)
lola: LP says that atomic proposition is always true: (p173 <= 1)
lola: LP says that atomic proposition is always true: (p284 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p210 <= 1)
lola: LP says that atomic proposition is always true: (p294 <= 1)
lola: LP says that atomic proposition is always true: (p184 <= 1)
lola: LP says that atomic proposition is always true: (p285 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p152 <= 1)
lola: LP says that atomic proposition is always true: (p212 <= 1)
lola: LP says that atomic proposition is always true: (p84 <= 1)
lola: LP says that atomic proposition is always true: (p144 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p289 <= 1)
lola: LP says that atomic proposition is always true: (p273 <= 1)
lola: LP says that atomic proposition is always true: (p278 <= 1)
lola: LP says that atomic proposition is always true: (p113 <= 1)
lola: LP says that atomic proposition is always true: (p161 <= 1)
lola: LP says that atomic proposition is always true: (p22 <= 1)
lola: LP says that atomic proposition is always true: (p60 <= 1)
lola: LP says that atomic proposition is always true: (p208 <= 1)
lola: LP says that atomic proposition is always true: (p134 <= 1)
lola: LP says that atomic proposition is always true: (p184 <= 1)
lola: LP says that atomic proposition is always true: (p285 <= 1)
lola: LP says that atomic proposition is always true: (p212 <= 1)
lola: LP says that atomic proposition is always true: (p42 <= 1)
lola: LP says that atomic proposition is always true: (p233 <= 1)
lola: LP says that atomic proposition is always true: (p199 <= 1)
lola: LP says that atomic proposition is always true: (p46 <= 1)
lola: LP says that atomic proposition is always true: (p114 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p237 <= 1)
lola: LP says that atomic proposition is always true: (p85 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p56 <= 1)
lola: LP says that atomic proposition is always true: (p257 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p222 <= 1)
lola: LP says that atomic proposition is always true: (p239 <= 1)
lola: LP says that atomic proposition is always true: (p294 <= 1)
lola: LP says that atomic proposition is always true: (p154 <= 1)
lola: LP says that atomic proposition is always true: (p148 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: (((1 <= p106)) OR (E (F (((1 <= p201) AND (((1 <= p154)) OR ((1 <= p222)))))) AND A (F (((1 <= p94)))))) : (E (F (A (G (((1 <= p221)))))) OR ((1 <= p177))) : A (F ((((E (G (((1 <= p5)))) AND ((p291 <= 0))) AND ((p69 <= 0))) AND ((p203 <= 0))))) : (A (F ((((1 <= p178)) OR ((1 <= p111))))) AND ((((A (X (((1 <= p114)))) OR ((p173 <= 0))) OR ((p284 <= 0))) OR ((1 <= p35))) OR ((1 <= p210) AND (1 <= p294)))) : A (F (E (X (A (G (((1 <= p184) AND (1 <= p285)))))))) : (A (G (((p107 <= 0)))) AND A (F ((((p108 <= 0)) AND ((p152 <= 0)))))) : NOT(A (F (((1 <= p212))))) : E (X ((A (F (((1 <= p84)))) OR ((1 <= p144))))) : E (F (((1 <= p115)))) : E (F (A (G (((1 <= p273) AND ((p289 <= 0))))))) : ((E (X (E (F (((1 <= p278)))))) OR E (F (E (G (((1 <= p113))))))) OR E (G (A ((((1 <= p161)) U ((1 <= p22))))))) : E (F ((((1 <= p60) AND (1 <= p208)) OR ((1 <= p134) AND (1 <= p184) AND (1 <= p285) AND (1 <= p212) AND (1 <= p42) AND (1 <= p233) AND (1 <= p199))))) : (E (G (((1 <= p85) AND (((1 <= p46)) OR ((1 <= p114)) OR ((1 <= p71) AND (1 <= p237)))))) OR A (G (((p75 <= 0))))) : (E (F (((1 <= p56)))) OR A (X (A (X (((1 <= p257))))))) : E (((((E (F (((1 <= p241)))) OR ((1 <= p222))) OR ((p239 <= 0))) OR ((p294 <= 0))) U ((1 <= p154) AND (1 <= p148)))) : A (F (((1 <= p9))))
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:554
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((((1 <= p178)) OR ((1 <= p111))))) AND (A (X (((1 <= p114)))) OR (((p173 <= 0)) OR (((p284 <= 0)) OR (((1 <= p35)) OR ((1 <= p210) AND (1 <= p294)))))))
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: (((p173 <= 0)) OR (((p284 <= 0)) OR (((1 <= p35)) OR ((1 <= p210) AND (1 <= p294)))))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: rewrite Frontend/Parser/formula_rewrite.k:798
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: rewrite Frontend/Parser/formula_rewrite.k:798
lola: processed formula: (((p173 <= 0)) OR ((p284 <= 0)) OR ((1 <= p35)) OR ((1 <= p210) AND (1 <= p294)))
lola: processed formula length: 81
lola: 22 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 5 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((1 <= p178)) OR ((1 <= p111)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (((p178 <= 0)) AND ((p111 <= 0)))
lola: processed formula length: 33
lola: 20 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p178)) OR ((1 <= p111)))
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: write sara problem file to CTLFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 5486 markings, 9480 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (X (A (G (((1 <= p184) AND (1 <= p285))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF(EX(AG(((1 <= p184) AND (1 <= p285)))))
lola: processed formula length: 41
lola: 20 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1168 markings, 1324 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (A (F (((1 <= p84)))))) OR E (X (((1 <= p144)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (((1 <= p144))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(((1 <= p144)))
lola: processed formula length: 17
lola: 18 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: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (F (((1 <= p84))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(AF(((1 <= p84))))
lola: processed formula length: 20
lola: 19 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 157 markings, 156 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (E (F (((1 <= p278)))))) OR (E (F (E (G (((1 <= p113)))))) OR E (G (A ((((1 <= p161)) U ((1 <= p22))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (((1 <= p113))))))
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 <= p113))
lola: processed formula length: 13
lola: 20 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: formula 0: ((p113 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation 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 <= p113))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 872 markings, 1348 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p56)))) OR A (X (A (X (((1 <= p257)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p56))))
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 <= p56))))
lola: processed formula length: 20
lola: 18 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 <= p56))
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: 16 markings, 15 edges
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p115))))
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 <= p115))))
lola: processed formula length: 21
lola: 18 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 <= p115))
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: 15 markings, 14 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p60) AND (1 <= p208)) OR ((1 <= p134) AND (1 <= p184) AND (1 <= p285) AND (1 <= p212) AND (1 <= p42) AND (1 <= p233) AND (1 <= p199)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((1 <= p60) AND (1 <= p208)) OR ((1 <= p134) AND (1 <= p184) AND (1 <= p285) AND (1 <= p212) AND (1 <= p42) AND (1 <= p233) AND (1 <= p199)))))
lola: processed formula length: 151
lola: 18 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p60) AND (1 <= p208)) OR ((1 <= p134) AND (1 <= p184) AND (1 <= p285) AND (1 <= p212) AND (1 <= p42) AND (1 <= p233) AND (1 <= p199)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 9 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-6-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((p212 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G (((p212 <= 0))))
lola: processed formula length: 21
lola: 18 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p212))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-7-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 2325 markings, 2780 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p9))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p9 <= 0))
lola: processed formula length: 11
lola: 20 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p9))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 123 markings, 126 edges
lola: ========================================
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((1 <= p273) AND ((p289 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p273 <= 0) OR ((1 <= p289)))
lola: processed formula length: 31
lola: 21 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 <= p273) AND ((p289 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation 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: ((p273 <= 0) OR ((1 <= p289)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-9-0.sara
lola: state equation: write sara problem file to CTLFireability-9-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-9-1.sara.
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-9-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic


lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 291335 markings, 1642394 edges, 58267 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 569168 markings, 3269590 edges, 55567 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 812959 markings, 4894729 edges, 48758 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 1060279 markings, 6510895 edges, 49464 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 1299947 markings, 8129043 edges, 47934 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 1545332 markings, 9719984 edges, 49077 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 1785547 markings, 11327083 edges, 48043 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 1972655 markings, 12586900 edges, 37422 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 2223994 markings, 14219866 edges, 50268 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 2460713 markings, 15813393 edges, 47344 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 2716360 markings, 17437350 edges, 51129 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 2989237 markings, 19059164 edges, 54575 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 3293476 markings, 20797359 edges, 60848 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 3568743 markings, 22509079 edges, 55053 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 3837893 markings, 24194875 edges, 53830 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 4090955 markings, 25899475 edges, 50612 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 4379130 markings, 27617600 edges, 57635 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 4647975 markings, 29341765 edges, 53769 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 4888641 markings, 31049109 edges, 48133 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 5136041 markings, 32748916 edges, 49480 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 5361943 markings, 34427837 edges, 45180 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 5563986 markings, 36099775 edges, 40409 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 5801892 markings, 37773424 edges, 47581 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 6030136 markings, 39451816 edges, 45649 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 6227698 markings, 41116095 edges, 39512 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 6460573 markings, 42784023 edges, 46575 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 6659564 markings, 44460678 edges, 39798 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 6868245 markings, 46131396 edges, 41736 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 7048637 markings, 47790105 edges, 36078 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 7270590 markings, 49436462 edges, 44391 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 7496167 markings, 51081075 edges, 45115 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 7689142 markings, 52707227 edges, 38595 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 7915677 markings, 54345410 edges, 45307 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 8148389 markings, 56025908 edges, 46542 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 8355408 markings, 57688614 edges, 41404 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 8574557 markings, 59348214 edges, 43830 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 8802534 markings, 61014943 edges, 45595 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 9023089 markings, 62670176 edges, 44111 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 9226953 markings, 64309921 edges, 40773 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 9463996 markings, 66004958 edges, 47409 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 9693978 markings, 67705660 edges, 45996 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 9901677 markings, 69395778 edges, 41540 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 10115449 markings, 71065050 edges, 42754 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 10317849 markings, 72739074 edges, 40480 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 10492870 markings, 74396677 edges, 35004 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 10689702 markings, 76047635 edges, 39366 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 10888989 markings, 77705171 edges, 39857 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 11088017 markings, 79358630 edges, 39806 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 11263267 markings, 80997596 edges, 35050 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 11463424 markings, 82632160 edges, 40031 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 11637874 markings, 84278406 edges, 34890 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 11824232 markings, 85926426 edges, 37272 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 11979187 markings, 87552335 edges, 30991 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 12156095 markings, 89170527 edges, 35382 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 12353450 markings, 90786146 edges, 39471 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 12547608 markings, 92399537 edges, 38832 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 12714769 markings, 93990797 edges, 33432 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 12913668 markings, 95600008 edges, 39780 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 13110511 markings, 97259484 edges, 39369 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 13305589 markings, 98911887 edges, 39016 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 13486439 markings, 100559712 edges, 36170 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 13690928 markings, 102197352 edges, 40898 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 13888347 markings, 103839899 edges, 39484 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 14063860 markings, 105464097 edges, 35103 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 14251529 markings, 107085010 edges, 37534 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 14517472 markings, 108651970 edges, 53189 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 14771368 markings, 110343844 edges, 50779 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 14967801 markings, 111735316 edges, 39287 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 15230443 markings, 113419953 edges, 52528 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 15479715 markings, 115076175 edges, 49854 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 15704618 markings, 116766759 edges, 44981 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 15911086 markings, 118473225 edges, 41294 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 16141131 markings, 120178955 edges, 46009 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 16361017 markings, 121855992 edges, 43977 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 16642833 markings, 123546959 edges, 56363 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 16897965 markings, 125256801 edges, 51026 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 17145724 markings, 126959879 edges, 49552 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 17403648 markings, 128650005 edges, 51585 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 17687128 markings, 130306769 edges, 56696 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 17938102 markings, 131908527 edges, 50195 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 18188134 markings, 133626465 edges, 50006 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 18436808 markings, 135317049 edges, 49735 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 18649639 markings, 137025110 edges, 42566 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 18877465 markings, 138748937 edges, 45565 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 19138230 markings, 140437916 edges, 52153 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 19385826 markings, 142149973 edges, 49519 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 19644249 markings, 143822857 edges, 51685 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 19893894 markings, 145466132 edges, 49929 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 20118923 markings, 147121587 edges, 45006 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 20331354 markings, 148784057 edges, 42486 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 20597984 markings, 150468107 edges, 53326 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 20842756 markings, 152152385 edges, 48954 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 21064468 markings, 153832017 edges, 44342 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 21280921 markings, 155507130 edges, 43291 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 21503482 markings, 157178537 edges, 44512 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 21715521 markings, 158847767 edges, 42408 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 21912364 markings, 160507219 edges, 39369 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 22100697 markings, 162169737 edges, 37667 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 22337014 markings, 163814195 edges, 47263 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 22613357 markings, 165496268 edges, 55269 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 22842344 markings, 167166578 edges, 45797 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no unknown yes no yes unknown yes yes unknown yes unknown yes
lola: memory consumption: 987112 KB
lola: time consumption: 513 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((E (G (((1 <= p5)))) AND (((p291 <= 0)) AND (((p69 <= 0)) AND ((p203 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF((EG(((1 <= p5))) AND (((p291 <= 0)) AND (((p69 <= 0)) AND ((p203 <= 0))))))
lola: processed formula length: 78
lola: 19 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: 454840 markings, 1525045 edges, 90968 markings/sec, 0 secs
lola: 910414 markings, 3150152 edges, 91115 markings/sec, 5 secs
lola: 1357494 markings, 4747985 edges, 89416 markings/sec, 10 secs
lola: 1793730 markings, 6316853 edges, 87247 markings/sec, 15 secs
lola: 2253243 markings, 7919607 edges, 91903 markings/sec, 20 secs
lola: 2740743 markings, 9537315 edges, 97500 markings/sec, 25 secs
lola: 3208592 markings, 11160002 edges, 93570 markings/sec, 30 secs
lola: 3676592 markings, 12795065 edges, 93600 markings/sec, 35 secs
lola: 4147113 markings, 14437426 edges, 94104 markings/sec, 40 secs
lola: 4614113 markings, 16068398 edges, 93400 markings/sec, 45 secs
lola: 5080616 markings, 17698212 edges, 93301 markings/sec, 50 secs
lola: 5536603 markings, 19325063 edges, 91197 markings/sec, 55 secs
lola: 5938473 markings, 20934827 edges, 80374 markings/sec, 60 secs
lola: 6402815 markings, 22558188 edges, 92868 markings/sec, 65 secs
lola: 6872052 markings, 24178264 edges, 93847 markings/sec, 70 secs
lola: 7349047 markings, 25828464 edges, 95399 markings/sec, 75 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 7516940 markings, 26460345 edges
lola: ========================================
lola: subprocess 11 will run for 595 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((E (F (((1 <= p241)))) OR (((1 <= p222)) OR (((p239 <= 0)) OR ((p294 <= 0))))) U ((1 <= p154) AND (1 <= p148))))
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(((1 <= p241))) OR (((1 <= p222)) OR (((p239 <= 0)) OR ((p294 <= 0))))) U ((1 <= p154) AND (1 <= p148)))
lola: processed formula length: 109
lola: 19 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: 254090 markings, 1535701 edges, 50818 markings/sec, 0 secs
lola: 507987 markings, 3127024 edges, 50779 markings/sec, 5 secs
lola: 735574 markings, 4736124 edges, 45517 markings/sec, 10 secs
lola: 951781 markings, 6308919 edges, 43241 markings/sec, 15 secs
lola: 1000304 markings, 7912644 edges, 9705 markings/sec, 20 secs
lola: 1000304 markings, 9367806 edges, 0 markings/sec, 25 secs
lola: 1000304 markings, 10933428 edges, 0 markings/sec, 30 secs
lola: 1000304 markings, 12514033 edges, 0 markings/sec, 35 secs
lola: 1000304 markings, 14076382 edges, 0 markings/sec, 40 secs
lola: 1166166 markings, 15653444 edges, 33172 markings/sec, 45 secs
lola: 1353416 markings, 17199035 edges, 37450 markings/sec, 50 secs
lola: 1537396 markings, 18724580 edges, 36796 markings/sec, 55 secs
lola: 1698204 markings, 20196987 edges, 32162 markings/sec, 60 secs
lola: 1855888 markings, 21658885 edges, 31537 markings/sec, 65 secs
lola: 2015931 markings, 23127433 edges, 32009 markings/sec, 70 secs
lola: 2182951 markings, 24637090 edges, 33404 markings/sec, 75 secs
lola: 2342865 markings, 26119865 edges, 31983 markings/sec, 80 secs
lola: 2503677 markings, 27604504 edges, 32162 markings/sec, 85 secs
lola: 2643469 markings, 29195003 edges, 27958 markings/sec, 90 secs
lola: 2771690 markings, 30738285 edges, 25644 markings/sec, 95 secs
lola: 2957204 markings, 32282113 edges, 37103 markings/sec, 100 secs
lola: 3243993 markings, 33948523 edges, 57358 markings/sec, 105 secs
lola: 3521618 markings, 35588472 edges, 55525 markings/sec, 110 secs
lola: 3770980 markings, 37235104 edges, 49872 markings/sec, 115 secs
lola: 4026107 markings, 38852562 edges, 51025 markings/sec, 120 secs
lola: 4290139 markings, 40491051 edges, 52806 markings/sec, 125 secs
lola: 4551970 markings, 42110659 edges, 52366 markings/sec, 130 secs
lola: 4786010 markings, 43764632 edges, 46808 markings/sec, 135 secs
lola: 5029371 markings, 45381829 edges, 48672 markings/sec, 140 secs
lola: 5248285 markings, 46979657 edges, 43783 markings/sec, 145 secs
lola: 5455752 markings, 48607883 edges, 41493 markings/sec, 150 secs
lola: 5661426 markings, 50221622 edges, 41135 markings/sec, 155 secs
lola: 5883205 markings, 51806423 edges, 44356 markings/sec, 160 secs
lola: 6101053 markings, 53409897 edges, 43570 markings/sec, 165 secs
lola: 6297298 markings, 55013598 edges, 39249 markings/sec, 170 secs
lola: 6513883 markings, 56603494 edges, 43317 markings/sec, 175 secs
lola: 6707289 markings, 58185096 edges, 38681 markings/sec, 180 secs
lola: 6897230 markings, 59796291 edges, 37988 markings/sec, 185 secs
lola: 7074235 markings, 61395055 edges, 35401 markings/sec, 190 secs
lola: 7288784 markings, 62960279 edges, 42910 markings/sec, 195 secs
lola: 7502320 markings, 64517751 edges, 42707 markings/sec, 200 secs
lola: 7687869 markings, 66088067 edges, 37110 markings/sec, 205 secs
lola: 7904182 markings, 67645051 edges, 43263 markings/sec, 210 secs
lola: 8115179 markings, 69221266 edges, 42199 markings/sec, 215 secs
lola: 8328783 markings, 70829023 edges, 42721 markings/sec, 220 secs
lola: 8526512 markings, 72420665 edges, 39546 markings/sec, 225 secs
lola: 8746902 markings, 73984191 edges, 44078 markings/sec, 230 secs
lola: 8962296 markings, 75566401 edges, 43079 markings/sec, 235 secs
lola: 9152855 markings, 77152114 edges, 38112 markings/sec, 240 secs
lola: 9377518 markings, 78730535 edges, 44933 markings/sec, 245 secs
lola: 9597912 markings, 80339816 edges, 44079 markings/sec, 250 secs
lola: 9793596 markings, 81976790 edges, 39137 markings/sec, 255 secs
lola: 10007133 markings, 83577694 edges, 42707 markings/sec, 260 secs
lola: 10193233 markings, 85153112 edges, 37220 markings/sec, 265 secs
lola: 10386643 markings, 86755034 edges, 38682 markings/sec, 270 secs
lola: 10556951 markings, 88356305 edges, 34062 markings/sec, 275 secs
lola: 10751212 markings, 89920458 edges, 38852 markings/sec, 280 secs
lola: 10932286 markings, 91462165 edges, 36215 markings/sec, 285 secs
lola: 11118905 markings, 93041846 edges, 37324 markings/sec, 290 secs
lola: 11289518 markings, 94598283 edges, 34123 markings/sec, 295 secs
lola: 11476304 markings, 96140834 edges, 37357 markings/sec, 300 secs
lola: 11640137 markings, 97690569 edges, 32767 markings/sec, 305 secs
lola: 11817059 markings, 99248017 edges, 35384 markings/sec, 310 secs
lola: 11966285 markings, 100808329 edges, 29845 markings/sec, 315 secs
lola: 12129907 markings, 102372357 edges, 32724 markings/sec, 320 secs
lola: 12320723 markings, 103878777 edges, 38163 markings/sec, 325 secs
lola: 12506129 markings, 105408030 edges, 37081 markings/sec, 330 secs
lola: 12668802 markings, 106946909 edges, 32535 markings/sec, 335 secs
lola: 12840109 markings, 108442514 edges, 34261 markings/sec, 340 secs
lola: 13033614 markings, 109986874 edges, 38701 markings/sec, 345 secs
lola: 13223324 markings, 111557995 edges, 37942 markings/sec, 350 secs
lola: 13390149 markings, 113137775 edges, 33365 markings/sec, 355 secs
lola: 13578975 markings, 114706910 edges, 37765 markings/sec, 360 secs
lola: 13764969 markings, 116247818 edges, 37199 markings/sec, 365 secs
lola: 13953974 markings, 117813064 edges, 37801 markings/sec, 370 secs
lola: 14116090 markings, 119354386 edges, 32423 markings/sec, 375 secs
lola: 14325213 markings, 120851865 edges, 41825 markings/sec, 380 secs
lola: 14567129 markings, 122365377 edges, 48383 markings/sec, 385 secs
lola: 14800460 markings, 123976046 edges, 46666 markings/sec, 390 secs
lola: 15045876 markings, 125626645 edges, 49083 markings/sec, 395 secs
lola: 15289507 markings, 127225345 edges, 48726 markings/sec, 400 secs
lola: 15526651 markings, 128802358 edges, 47429 markings/sec, 405 secs
lola: 15741421 markings, 130444080 edges, 42954 markings/sec, 410 secs
lola: 15940331 markings, 132072247 edges, 39782 markings/sec, 415 secs
lola: 16157047 markings, 133708253 edges, 43343 markings/sec, 420 secs
lola: 16370786 markings, 135324022 edges, 42748 markings/sec, 425 secs
lola: 16642810 markings, 136939126 edges, 54405 markings/sec, 430 secs
lola: 16888454 markings, 138572684 edges, 49129 markings/sec, 435 secs
lola: 17120937 markings, 140205500 edges, 46497 markings/sec, 440 secs
lola: 17372198 markings, 141829897 edges, 50252 markings/sec, 445 secs
lola: 17625704 markings, 143381402 edges, 50701 markings/sec, 450 secs
lola: 17875827 markings, 144895665 edges, 50025 markings/sec, 455 secs
lola: 18110195 markings, 146517997 edges, 46874 markings/sec, 460 secs
lola: 18360317 markings, 148166982 edges, 50024 markings/sec, 465 secs
lola: 18575357 markings, 149774563 edges, 43008 markings/sec, 470 secs
lola: 18782631 markings, 151414191 edges, 41455 markings/sec, 475 secs
lola: 19020923 markings, 153047983 edges, 47658 markings/sec, 480 secs
lola: 19253185 markings, 154670939 edges, 46452 markings/sec, 485 secs
lola: 19505036 markings, 156331870 edges, 50370 markings/sec, 490 secs
lola: 19754191 markings, 157889841 edges, 49831 markings/sec, 495 secs
lola: 19973631 markings, 159443191 edges, 43888 markings/sec, 500 secs
lola: 20187620 markings, 161045243 edges, 42798 markings/sec, 505 secs
lola: 20413660 markings, 162636233 edges, 45208 markings/sec, 510 secs
lola: 20652405 markings, 164244372 edges, 47749 markings/sec, 515 secs
lola: 20880640 markings, 165814454 edges, 45647 markings/sec, 520 secs
lola: 21090699 markings, 167430883 edges, 42012 markings/sec, 525 secs
lola: 21300422 markings, 169033144 edges, 41945 markings/sec, 530 secs
lola: 21514379 markings, 170656511 edges, 42791 markings/sec, 535 secs
lola: 21719929 markings, 172276649 edges, 41110 markings/sec, 540 secs
lola: 21911107 markings, 173886861 edges, 38236 markings/sec, 545 secs
lola: 22093092 markings, 175494604 edges, 36397 markings/sec, 550 secs
lola: 22311853 markings, 177060636 edges, 43752 markings/sec, 555 secs
lola: 22574535 markings, 178637913 edges, 52536 markings/sec, 560 secs
lola: 22800753 markings, 180239432 edges, 45244 markings/sec, 565 secs
lola: 22999262 markings, 181790034 edges, 39702 markings/sec, 570 secs
lola: 23227932 markings, 183370439 edges, 45734 markings/sec, 575 secs
lola: 23425912 markings, 184951297 edges, 39596 markings/sec, 580 secs
lola: 23672961 markings, 186568192 edges, 49410 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no no no unknown yes no yes unknown yes yes unknown yes unknown yes
lola: memory consumption: 1864568 KB
lola: time consumption: 1190 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 12 will run for 595 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (A (G (((1 <= p221)))))) OR ((1 <= p177)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 595 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p177))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p177))
lola: processed formula length: 13
lola: 17 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 793 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((1 <= p221))))))
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: ((p221 <= 0))
lola: processed formula length: 13
lola: 21 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 <= p221))
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:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p221 <= 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-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-13-0.sara.
lola: state equation: write sara problem file to CTLFireability-13-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-13-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic


lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 264744 markings, 1604036 edges, 52949 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 523683 markings, 3227478 edges, 51788 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 753505 markings, 4868812 edges, 45964 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 973773 markings, 6471611 edges, 44054 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 1205618 markings, 8104100 edges, 46369 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 1424108 markings, 9694131 edges, 43698 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 1654051 markings, 11313148 edges, 45989 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 1864904 markings, 12846153 edges, 42171 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 2092958 markings, 14451169 edges, 45611 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 2316139 markings, 16074930 edges, 44636 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 2489584 markings, 17338157 edges, 34689 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 2728980 markings, 18978795 edges, 47879 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 2985770 markings, 20600122 edges, 51358 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 3289279 markings, 22333661 edges, 60702 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 3565816 markings, 24049250 edges, 55307 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 3828563 markings, 25707827 edges, 52549 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 4084265 markings, 27422638 edges, 51140 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 4372029 markings, 29138442 edges, 57553 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 4640913 markings, 30852478 edges, 53777 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 4881388 markings, 32563125 edges, 48095 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 5129086 markings, 34250925 edges, 49540 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 5356530 markings, 35943054 edges, 45489 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 5552065 markings, 37581011 edges, 39107 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 5787277 markings, 39229759 edges, 47042 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 6017924 markings, 40911363 edges, 46129 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 6212471 markings, 42551787 edges, 38909 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 6445651 markings, 44224036 edges, 46636 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 6644551 markings, 45896873 edges, 39780 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 6854319 markings, 47569721 edges, 41954 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 7031525 markings, 49232500 edges, 35441 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 7252970 markings, 50875811 edges, 44289 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 7479162 markings, 52514952 edges, 45238 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 7674977 markings, 54139923 edges, 39163 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 7897277 markings, 55768112 edges, 44460 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 8122157 markings, 57438409 edges, 44976 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 8339658 markings, 59106663 edges, 43500 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 8550275 markings, 60763959 edges, 42123 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 8782020 markings, 62427866 edges, 46349 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 9005593 markings, 64087452 edges, 44715 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 9209985 markings, 65729162 edges, 40878 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 9444501 markings, 67411690 edges, 46903 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 9674640 markings, 69113627 edges, 46028 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 9881730 markings, 70799338 edges, 41418 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 10095421 markings, 72453153 edges, 42738 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 10295472 markings, 74117473 edges, 40010 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 10474713 markings, 75777046 edges, 35848 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 10665232 markings, 77426037 edges, 38104 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 10868903 markings, 79085460 edges, 40734 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 11067424 markings, 80737530 edges, 39704 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 11237983 markings, 82365451 edges, 34112 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 11442368 markings, 83997974 edges, 40877 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 11617204 markings, 85640776 edges, 34967 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 11804455 markings, 87288510 edges, 37450 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 11960285 markings, 88911582 edges, 31166 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 12129134 markings, 90531946 edges, 33770 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 12330597 markings, 92145890 edges, 40293 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 12524807 markings, 93754799 edges, 38842 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 12692976 markings, 95345095 edges, 33634 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 12886596 markings, 96941843 edges, 38724 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 13083966 markings, 98599958 edges, 39474 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 13282561 markings, 100251353 edges, 39719 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 13460357 markings, 101896906 edges, 35559 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 13662489 markings, 103530633 edges, 40426 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 13860686 markings, 105165567 edges, 39639 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 14040148 markings, 106790247 edges, 35892 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 14221823 markings, 108407172 edges, 36335 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 14481652 markings, 109967127 edges, 51966 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 14734910 markings, 111642709 edges, 50652 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 14978551 markings, 113367755 edges, 48728 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 15238651 markings, 115045584 edges, 52020 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 15439936 markings, 116371629 edges, 40257 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 15669028 markings, 118045171 edges, 45818 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 15879179 markings, 119753730 edges, 42030 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 16101889 markings, 121455101 edges, 44542 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 16323116 markings, 123126610 edges, 44245 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 16599701 markings, 124810725 edges, 55317 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 16856447 markings, 126512781 edges, 51349 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 17096672 markings, 128211673 edges, 48045 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 17358048 markings, 129899583 edges, 52275 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 17628737 markings, 131562186 edges, 54138 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 17889484 markings, 133152689 edges, 52149 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 18135448 markings, 134855568 edges, 49193 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 18390914 markings, 136548183 edges, 51093 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 18611879 markings, 138250753 edges, 44193 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 18832046 markings, 139965068 edges, 44033 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 19086935 markings, 141654357 edges, 50978 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 19331102 markings, 143356594 edges, 48833 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 19593610 markings, 145046719 edges, 52502 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 19846238 markings, 146686389 edges, 50526 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 20074895 markings, 148329540 edges, 45731 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 20278018 markings, 149992184 edges, 40625 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 20543930 markings, 151666280 edges, 53182 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 20788603 markings, 153348537 edges, 48935 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 21016753 markings, 155025294 edges, 45630 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 21229223 markings, 156700730 edges, 42494 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 21455285 markings, 158369054 edges, 45212 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 21667780 markings, 160039532 edges, 42499 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 21872370 markings, 161701740 edges, 40918 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 22058474 markings, 163354815 edges, 37221 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 22271705 markings, 165005173 edges, 42646 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 22550690 markings, 166673263 edges, 55797 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 22792732 markings, 168344100 edges, 48408 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 23005357 markings, 170000510 edges, 42525 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 23243479 markings, 171658850 edges, 47624 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 23451860 markings, 173303214 edges, 41676 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 23708042 markings, 175009190 edges, 51236 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 23921622 markings, 176693358 edges, 42716 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 24177560 markings, 178322450 edges, 51188 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 24438401 markings, 179998135 edges, 52168 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 24688363 markings, 181641191 edges, 49992 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 24936209 markings, 183325439 edges, 49569 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 25143963 markings, 184995494 edges, 41551 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 25401767 markings, 186655692 edges, 51561 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 25621024 markings, 188209860 edges, 43851 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 25830455 markings, 189887056 edges, 41886 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 26058572 markings, 191608331 edges, 45623 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 26266166 markings, 193239206 edges, 41519 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 26456776 markings, 194920912 edges, 38122 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no no no unknown yes no yes unknown yes yes unknown yes unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no no unknown yes no yes unknown yes yes unknown yes unknown yes
lola: memory consumption: 1138976 KB
lola: time consumption: 1785 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: memory consumption: 1138976 KB
lola: time consumption: 1785 seconds
lola: print data as JSON (--json)
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no no unknown yes no yes unknown yes yes unknown yes unknown yes
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 13 will run for 595 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((p107 <= 0)))) AND A (F ((((p108 <= 0)) AND ((p152 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 595 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p107 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((p107 <= 0))))
lola: processed formula length: 21
lola: 19 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p107))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 30 markings, 29 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 14 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p106)) OR (E (F (((1 <= p201) AND (((1 <= p154)) OR ((1 <= p222)))))) AND A (F (((1 <= p94))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p106))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p106))
lola: processed formula length: 13
lola: 17 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 1785 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p94))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p94 <= 0))
lola: processed formula length: 12
lola: 20 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p94))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-15-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 3986 markings, 7061 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 1785 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (((1 <= p85) AND (((1 <= p46)) OR ((1 <= p114)) OR ((1 <= p71) AND (1 <= p237)))))) OR A (G (((p75 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1785 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p75 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((p75 <= 0))))
lola: processed formula length: 20
lola: 19 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p75))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 18 markings, 17 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: ========================================
lola: ...considering subproblem: E (F (A (G (((1 <= p273) AND ((p289 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p273 <= 0) OR ((1 <= p289)))
lola: processed formula length: 31
lola: 21 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: ((p273 <= 0) OR ((1 <= p289)))
lola: state equation task get result unparse finished id 1
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p273) AND ((p289 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-16-0.sara
lola: state equation: write sara problem file to CTLFireability-16-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-16-0.sara.
sara: try reading problem file CTLFireability-16-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic


lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 279529 markings, 1571670 edges, 55906 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 559049 markings, 3197994 edges, 55904 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 799949 markings, 4824322 edges, 48180 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 1048238 markings, 6434121 edges, 49658 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 1289043 markings, 8048669 edges, 48161 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 1531387 markings, 9644329 edges, 48469 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 1773909 markings, 11247371 edges, 48504 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 2011355 markings, 12834279 edges, 47489 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 2262378 markings, 14467099 edges, 50205 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 2499819 markings, 16071041 edges, 47488 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 2755615 markings, 17694710 edges, 51159 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 3039102 markings, 19340928 edges, 56697 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 3342591 markings, 21074141 edges, 60698 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 3606122 markings, 22782538 edges, 52706 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 3882190 markings, 24462937 edges, 55214 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 4134280 markings, 26188416 edges, 50418 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 4423653 markings, 27897962 edges, 57875 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 4687141 markings, 29607855 edges, 52698 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 4926964 markings, 31303184 edges, 47965 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 5165422 markings, 32990600 edges, 47692 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 5393885 markings, 34676774 edges, 45693 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 5598841 markings, 36351718 edges, 40991 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 5835571 markings, 38024625 edges, 47346 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 6060718 markings, 39698336 edges, 45029 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 6259602 markings, 41358298 edges, 39777 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 6489712 markings, 43018766 edges, 46022 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 6690495 markings, 44691358 edges, 40157 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 6891213 markings, 46350984 edges, 40144 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 7074259 markings, 48003003 edges, 36609 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 7297904 markings, 49641781 edges, 44729 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 7520398 markings, 51279481 edges, 44499 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 7712920 markings, 52898560 edges, 38504 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 7943243 markings, 54536030 edges, 46065 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 8174941 markings, 56205629 edges, 46340 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 8375202 markings, 57863983 edges, 40052 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 8601342 markings, 59519190 edges, 45228 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 8823769 markings, 61175389 edges, 44485 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 9039277 markings, 62820631 edges, 43102 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 9243250 markings, 64452031 edges, 40795 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 9482164 markings, 66148064 edges, 47783 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 9709528 markings, 67839898 edges, 45473 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 9918896 markings, 69520752 edges, 41874 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 10130081 markings, 71184935 edges, 42237 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 10329225 markings, 72852284 edges, 39829 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 10504021 markings, 74503438 edges, 34959 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 10703634 markings, 76147192 edges, 39923 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 10899802 markings, 77796688 edges, 39234 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 11097234 markings, 79441794 edges, 39486 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 11273661 markings, 81075564 edges, 35285 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 11471619 markings, 82704625 edges, 39592 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 11645261 markings, 84346200 edges, 34728 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 11830723 markings, 85988158 edges, 37092 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 11984599 markings, 87607658 edges, 30775 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 12163233 markings, 89219492 edges, 35727 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 12358205 markings, 90830631 edges, 38994 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 12551857 markings, 92436855 edges, 38730 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 12717806 markings, 94020838 edges, 33190 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 12916837 markings, 95625390 edges, 39806 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 13112495 markings, 97277160 edges, 39132 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 13307017 markings, 98924012 edges, 38904 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 13487021 markings, 100565280 edges, 36001 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 13690647 markings, 102194811 edges, 40725 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 13887442 markings, 103831686 edges, 39359 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 14062406 markings, 105449322 edges, 34993 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 14247032 markings, 107063835 edges, 36925 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 14513491 markings, 108627772 edges, 53292 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 14766553 markings, 110311418 edges, 50612 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 15013809 markings, 112035353 edges, 49451 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 15270405 markings, 113704582 edges, 51319 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 15517710 markings, 115349146 edges, 49461 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 15739351 markings, 117035529 edges, 44328 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 15947396 markings, 118732449 edges, 41609 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 16170513 markings, 120421114 edges, 44623 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 16403286 markings, 122092349 edges, 46555 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 16678600 markings, 123776750 edges, 55063 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 16924694 markings, 125477648 edges, 49219 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 17180003 markings, 127172071 edges, 51062 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 17435958 markings, 128853715 edges, 51191 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 17715727 markings, 130502751 edges, 55954 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 17966616 markings, 132098521 edges, 50178 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 18215419 markings, 133819082 edges, 49761 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 18459440 markings, 135498830 edges, 48804 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 18673705 markings, 137202636 edges, 42853 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 18899710 markings, 138921493 edges, 45201 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 19162843 markings, 140603124 edges, 52627 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 19409811 markings, 142310796 edges, 49394 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 19670461 markings, 143972686 edges, 52130 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 19911903 markings, 145610580 edges, 48288 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 20139102 markings, 147264248 edges, 45440 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 20358829 markings, 148921384 edges, 43945 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 20617660 markings, 150603588 edges, 51766 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 20861909 markings, 152282644 edges, 48850 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 21080426 markings, 153957664 edges, 43703 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 21298856 markings, 155630424 edges, 43686 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 21518869 markings, 157298619 edges, 44003 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 21729904 markings, 158962918 edges, 42207 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 21924659 markings, 160616806 edges, 38951 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 22112330 markings, 162273339 edges, 37534 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 22353796 markings, 163915127 edges, 48293 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 22627732 markings, 165594531 edges, 54787 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 22854637 markings, 167258864 edges, 45381 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 23072917 markings, 168910141 edges, 43656 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 23306415 markings, 170567396 edges, 46700 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 23528672 markings, 172228443 edges, 44451 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 23772414 markings, 173925080 edges, 48748 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 23991327 markings, 175583563 edges, 43783 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 24250329 markings, 177228222 edges, 51800 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 24501181 markings, 178881800 edges, 50170 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 24763834 markings, 180546423 edges, 52531 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 24998055 markings, 182230296 edges, 46844 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 25218015 markings, 183892447 edges, 43992 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 25460686 markings, 185490975 edges, 48534 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 25678489 markings, 187098314 edges, 43561 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 25891519 markings, 188788406 edges, 42606 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 26120087 markings, 190493477 edges, 45714 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 26320663 markings, 192127239 edges, 40115 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 26506440 markings, 193807738 edges, 37155 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 26706560 markings, 195508598 edges, 40024 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 26931488 markings, 197175769 edges, 44986 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 27146063 markings, 198844522 edges, 42915 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 27363402 markings, 200528322 edges, 43468 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 27592243 markings, 202196690 edges, 45768 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 27815797 markings, 203878496 edges, 44711 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 28007877 markings, 205541732 edges, 38416 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 28241803 markings, 207176319 edges, 46785 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 28469881 markings, 208846298 edges, 45616 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 28687455 markings, 210545932 edges, 43515 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 28917605 markings, 212244504 edges, 46030 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 29120616 markings, 213899726 edges, 40602 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 29308549 markings, 215579967 edges, 37587 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 29510268 markings, 217275430 edges, 40344 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 29736646 markings, 218925725 edges, 45276 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 29951348 markings, 220591692 edges, 42940 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 30173888 markings, 222271010 edges, 44508 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 30408275 markings, 223927759 edges, 46877 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 30640680 markings, 225574233 edges, 46481 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 30846439 markings, 227209802 edges, 41152 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 31051408 markings, 228869064 edges, 40994 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 31232950 markings, 230509780 edges, 36308 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 31474699 markings, 232155168 edges, 48350 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 31718695 markings, 233804547 edges, 48799 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 31951612 markings, 235476638 edges, 46583 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 32178901 markings, 237193760 edges, 45458 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 32389960 markings, 238894007 edges, 42212 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 32610999 markings, 240548182 edges, 44208 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 32841162 markings, 242241695 edges, 46033 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 33053824 markings, 243908659 edges, 42532 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 33247962 markings, 245561591 edges, 38828 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 33429925 markings, 247221288 edges, 36393 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 33622112 markings, 248896076 edges, 38437 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 33821164 markings, 250561616 edges, 39810 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 34033363 markings, 252231394 edges, 42440 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 34268916 markings, 253891081 edges, 47111 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 34493035 markings, 255562123 edges, 44824 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 34695741 markings, 257222968 edges, 40541 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 34919105 markings, 258893726 edges, 44673 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 35139536 markings, 260548408 edges, 44086 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 35384895 markings, 262181197 edges, 49072 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 35653212 markings, 263825202 edges, 53663 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 35909854 markings, 265490832 edges, 51328 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 36157133 markings, 267153951 edges, 49456 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 36403065 markings, 268805008 edges, 49186 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 36619714 markings, 270463089 edges, 43330 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 36834782 markings, 272113379 edges, 43014 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 37045534 markings, 273743352 edges, 42150 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 37233693 markings, 275361414 edges, 37632 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 37415700 markings, 276974589 edges, 36401 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 37627463 markings, 278623023 edges, 42353 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 37843342 markings, 280318919 edges, 43176 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 38091818 markings, 281972373 edges, 49695 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 38327044 markings, 283651166 edges, 47045 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 38564177 markings, 285294118 edges, 47427 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 38784953 markings, 286928035 edges, 44155 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 39025496 markings, 288600535 edges, 48109 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 39241627 markings, 290267787 edges, 43226 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 39455182 markings, 291927374 edges, 42711 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 39650460 markings, 293586684 edges, 39056 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 39839999 markings, 295244624 edges, 37908 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 40044521 markings, 296888682 edges, 40904 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 40233305 markings, 298535343 edges, 37757 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 40421417 markings, 300173693 edges, 37622 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 40602790 markings, 301813464 edges, 36275 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 40769318 markings, 303443069 edges, 33306 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 40937428 markings, 305077138 edges, 33622 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 41159504 markings, 306675990 edges, 44415 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 41399010 markings, 308329039 edges, 47901 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 41617021 markings, 309973861 edges, 43602 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 41840453 markings, 311630953 edges, 44686 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 42060732 markings, 313293890 edges, 44056 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 42251508 markings, 314941531 edges, 38155 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 42472408 markings, 316593480 edges, 44180 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 42718153 markings, 318270870 edges, 49149 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 42946298 markings, 319982527 edges, 45629 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 43156743 markings, 321692760 edges, 42089 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 43386167 markings, 323405527 edges, 45885 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 43613395 markings, 325112669 edges, 45446 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 43838166 markings, 326794673 edges, 44954 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 44038310 markings, 328477030 edges, 40029 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 44226012 markings, 330162439 edges, 37540 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 44414655 markings, 331848437 edges, 37729 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 44613387 markings, 333530650 edges, 39746 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 44812819 markings, 335216151 edges, 39886 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 45062376 markings, 336883893 edges, 49911 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 45283597 markings, 338552236 edges, 44244 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 45485934 markings, 340224807 edges, 40467 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 45716521 markings, 341912588 edges, 46117 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 45938763 markings, 343589705 edges, 44448 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 46172451 markings, 345249345 edges, 46738 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 46449215 markings, 346910917 edges, 55353 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 46667599 markings, 348565299 edges, 43677 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 46855086 markings, 350191085 edges, 37497 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 47105125 markings, 351831871 edges, 50008 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 47395667 markings, 353552318 edges, 58108 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 47666720 markings, 355256694 edges, 54211 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 47929791 markings, 356961014 edges, 52614 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 48182255 markings, 358667652 edges, 50493 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 48423478 markings, 360371266 edges, 48245 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 48641740 markings, 362059772 edges, 43652 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 48897995 markings, 363768204 edges, 51251 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 49156970 markings, 365479057 edges, 51795 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 49405691 markings, 367171752 edges, 49744 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 49642579 markings, 368864226 edges, 47378 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 49858538 markings, 370547282 edges, 43192 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 50075539 markings, 372223162 edges, 43400 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 50319622 markings, 373913127 edges, 48817 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 50559571 markings, 375596059 edges, 47990 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 50782113 markings, 377269095 edges, 44508 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 50998812 markings, 378938183 edges, 43340 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 51215967 markings, 380612606 edges, 43431 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 51424839 markings, 382269535 edges, 41774 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 51636035 markings, 383917262 edges, 42239 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 51853724 markings, 385587611 edges, 43538 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 52069480 markings, 387257848 edges, 43151 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 52284973 markings, 388909628 edges, 43099 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 52508728 markings, 390594513 edges, 44751 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 52721370 markings, 392250295 edges, 42528 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 52913966 markings, 393893629 edges, 38519 markings/sec, 1180 secs
lola: sara is running 1185 secs || sara is running 1185 secs || 53106357 markings, 395519340 edges, 38478 markings/sec, 1185 secs
lola: sara is running 1190 secs || sara is running 1190 secs || 53303392 markings, 397131726 edges, 39407 markings/sec, 1190 secs
lola: sara is running 1195 secs || sara is running 1195 secs || 53515601 markings, 398802385 edges, 42442 markings/sec, 1195 secs
lola: sara is running 1200 secs || sara is running 1200 secs || 53726916 markings, 400475222 edges, 42263 markings/sec, 1200 secs
lola: sara is running 1205 secs || sara is running 1205 secs || 53936013 markings, 402149193 edges, 41819 markings/sec, 1205 secs
lola: sara is running 1210 secs || sara is running 1210 secs || 54143170 markings, 403808007 edges, 41431 markings/sec, 1210 secs
lola: sara is running 1215 secs || sara is running 1215 secs || 54332952 markings, 405450426 edges, 37956 markings/sec, 1215 secs
lola: sara is running 1220 secs || sara is running 1220 secs || 54540150 markings, 407113584 edges, 41440 markings/sec, 1220 secs
lola: sara is running 1225 secs || sara is running 1225 secs || 54742907 markings, 408780623 edges, 40551 markings/sec, 1225 secs
lola: sara is running 1230 secs || sara is running 1230 secs || 54981802 markings, 410455793 edges, 47779 markings/sec, 1230 secs
lola: sara is running 1235 secs || sara is running 1235 secs || 55226896 markings, 412145835 edges, 49019 markings/sec, 1235 secs
lola: sara is running 1240 secs || sara is running 1240 secs || 55446508 markings, 413815929 edges, 43922 markings/sec, 1240 secs
lola: sara is running 1245 secs || sara is running 1245 secs || 55673049 markings, 415496509 edges, 45308 markings/sec, 1245 secs
lola: sara is running 1250 secs || sara is running 1250 secs || 55890261 markings, 417177756 edges, 43442 markings/sec, 1250 secs
lola: sara is running 1255 secs || sara is running 1255 secs || 56102749 markings, 418858483 edges, 42498 markings/sec, 1255 secs
lola: sara is running 1260 secs || sara is running 1260 secs || 56289379 markings, 420523017 edges, 37326 markings/sec, 1260 secs
lola: sara is running 1265 secs || sara is running 1265 secs || 56505424 markings, 422202588 edges, 43209 markings/sec, 1265 secs
lola: sara is running 1270 secs || sara is running 1270 secs || 56723878 markings, 423880681 edges, 43691 markings/sec, 1270 secs
lola: sara is running 1275 secs || sara is running 1275 secs || 56941859 markings, 425565602 edges, 43596 markings/sec, 1275 secs
lola: sara is running 1280 secs || sara is running 1280 secs || 57156916 markings, 427241884 edges, 43011 markings/sec, 1280 secs
lola: sara is running 1285 secs || sara is running 1285 secs || 57360560 markings, 428911469 edges, 40729 markings/sec, 1285 secs
lola: sara is running 1290 secs || sara is running 1290 secs || 57549871 markings, 430572997 edges, 37862 markings/sec, 1290 secs
lola: sara is running 1295 secs || sara is running 1295 secs || 57735218 markings, 432227244 edges, 37069 markings/sec, 1295 secs
lola: sara is running 1300 secs || sara is running 1300 secs || 57938090 markings, 433893650 edges, 40574 markings/sec, 1300 secs
lola: sara is running 1305 secs || sara is running 1305 secs || 58153265 markings, 435563691 edges, 43035 markings/sec, 1305 secs
lola: sara is running 1310 secs || sara is running 1310 secs || 58355580 markings, 437208871 edges, 40463 markings/sec, 1310 secs
lola: sara is running 1315 secs || sara is running 1315 secs || 58546790 markings, 438853403 edges, 38242 markings/sec, 1315 secs
lola: sara is running 1320 secs || sara is running 1320 secs || 58733973 markings, 440493346 edges, 37437 markings/sec, 1320 secs
lola: sara is running 1325 secs || sara is running 1325 secs || 58921593 markings, 442137830 edges, 37524 markings/sec, 1325 secs
lola: sara is running 1330 secs || sara is running 1330 secs || 59107715 markings, 443761879 edges, 37224 markings/sec, 1330 secs
lola: sara is running 1335 secs || sara is running 1335 secs || 59288369 markings, 445385337 edges, 36131 markings/sec, 1335 secs
lola: sara is running 1340 secs || sara is running 1340 secs || 59474415 markings, 447026283 edges, 37209 markings/sec, 1340 secs
lola: sara is running 1345 secs || sara is running 1345 secs || 59663424 markings, 448674032 edges, 37802 markings/sec, 1345 secs
lola: sara is running 1350 secs || sara is running 1350 secs || 59857463 markings, 450331501 edges, 38808 markings/sec, 1350 secs
lola: sara is running 1355 secs || sara is running 1355 secs || 60046764 markings, 451961070 edges, 37860 markings/sec, 1355 secs
lola: sara is running 1360 secs || sara is running 1360 secs || 60240556 markings, 453622530 edges, 38758 markings/sec, 1360 secs
lola: sara is running 1365 secs || sara is running 1365 secs || 60426618 markings, 455262398 edges, 37212 markings/sec, 1365 secs
lola: sara is running 1370 secs || sara is running 1370 secs || 60598243 markings, 456886757 edges, 34325 markings/sec, 1370 secs
lola: sara is running 1375 secs || sara is running 1375 secs || 60771030 markings, 458509444 edges, 34557 markings/sec, 1375 secs
lola: sara is running 1380 secs || sara is running 1380 secs || 60941282 markings, 460105269 edges, 34050 markings/sec, 1380 secs
lola: sara is running 1385 secs || sara is running 1385 secs || 61121749 markings, 461724752 edges, 36093 markings/sec, 1385 secs
lola: sara is running 1390 secs || sara is running 1390 secs || 61309608 markings, 463375676 edges, 37572 markings/sec, 1390 secs
lola: sara is running 1395 secs || sara is running 1395 secs || 61491573 markings, 465029775 edges, 36393 markings/sec, 1395 secs
lola: sara is running 1400 secs || sara is running 1400 secs || 61675915 markings, 466690966 edges, 36868 markings/sec, 1400 secs
lola: sara is running 1405 secs || sara is running 1405 secs || 61858433 markings, 468331034 edges, 36504 markings/sec, 1405 secs
lola: sara is running 1410 secs || sara is running 1410 secs || 62024350 markings, 469953557 edges, 33183 markings/sec, 1410 secs
lola: sara is running 1415 secs || sara is running 1415 secs || 62206426 markings, 471596870 edges, 36415 markings/sec, 1415 secs
lola: sara is running 1420 secs || sara is running 1420 secs || 62384207 markings, 473236507 edges, 35556 markings/sec, 1420 secs
lola: sara is running 1425 secs || sara is running 1425 secs || 62606784 markings, 474873528 edges, 44515 markings/sec, 1425 secs
lola: sara is running 1430 secs || sara is running 1430 secs || 62887138 markings, 476533389 edges, 56071 markings/sec, 1430 secs
lola: sara is running 1435 secs || sara is running 1435 secs || 63141412 markings, 478162328 edges, 50855 markings/sec, 1435 secs
lola: sara is running 1440 secs || sara is running 1440 secs || 63395388 markings, 479805245 edges, 50795 markings/sec, 1440 secs
lola: sara is running 1445 secs || sara is running 1445 secs || 63639204 markings, 481451053 edges, 48763 markings/sec, 1445 secs
lola: sara is running 1450 secs || sara is running 1450 secs || 63870967 markings, 483093663 edges, 46353 markings/sec, 1450 secs
lola: sara is running 1455 secs || sara is running 1455 secs || 64081437 markings, 484721626 edges, 42094 markings/sec, 1455 secs
lola: sara is running 1460 secs || sara is running 1460 secs || 64325908 markings, 486360883 edges, 48894 markings/sec, 1460 secs
lola: sara is running 1465 secs || sara is running 1465 secs || 64577272 markings, 488013641 edges, 50273 markings/sec, 1465 secs
lola: sara is running 1470 secs || sara is running 1470 secs || 64818429 markings, 489652948 edges, 48231 markings/sec, 1470 secs
lola: sara is running 1475 secs || sara is running 1475 secs || 65052299 markings, 491290624 edges, 46774 markings/sec, 1475 secs
lola: sara is running 1480 secs || sara is running 1480 secs || 65261058 markings, 492921949 edges, 41752 markings/sec, 1480 secs
lola: sara is running 1485 secs || sara is running 1485 secs || 65467369 markings, 494548671 edges, 41262 markings/sec, 1485 secs
lola: sara is running 1490 secs || sara is running 1490 secs || 65697816 markings, 496176759 edges, 46089 markings/sec, 1490 secs
lola: sara is running 1495 secs || sara is running 1495 secs || 65935493 markings, 497806462 edges, 47535 markings/sec, 1495 secs
lola: sara is running 1500 secs || sara is running 1500 secs || 66159299 markings, 499409774 edges, 44761 markings/sec, 1500 secs
lola: sara is running 1505 secs || sara is running 1505 secs || 66362261 markings, 501008864 edges, 40592 markings/sec, 1505 secs
lola: sara is running 1510 secs || sara is running 1510 secs || 66565867 markings, 502612899 edges, 40721 markings/sec, 1510 secs
lola: sara is running 1515 secs || sara is running 1515 secs || 66775778 markings, 504214054 edges, 41982 markings/sec, 1515 secs
lola: sara is running 1520 secs || sara is running 1520 secs || 66974103 markings, 505799898 edges, 39665 markings/sec, 1520 secs
lola: sara is running 1525 secs || sara is running 1525 secs || 67179756 markings, 507394759 edges, 41131 markings/sec, 1525 secs
lola: sara is running 1530 secs || sara is running 1530 secs || 67387046 markings, 509003244 edges, 41458 markings/sec, 1530 secs
lola: sara is running 1535 secs || sara is running 1535 secs || 67599899 markings, 510620810 edges, 42571 markings/sec, 1535 secs
lola: sara is running 1540 secs || sara is running 1540 secs || 67810490 markings, 512210719 edges, 42118 markings/sec, 1540 secs
lola: sara is running 1545 secs || sara is running 1545 secs || 68023961 markings, 513822001 edges, 42694 markings/sec, 1545 secs
lola: sara is running 1550 secs || sara is running 1550 secs || 68220742 markings, 515417722 edges, 39356 markings/sec, 1550 secs
lola: sara is running 1555 secs || sara is running 1555 secs || 68409241 markings, 517011822 edges, 37700 markings/sec, 1555 secs
lola: sara is running 1560 secs || sara is running 1560 secs || 68590721 markings, 518569188 edges, 36296 markings/sec, 1560 secs
lola: sara is running 1565 secs || sara is running 1565 secs || 68787694 markings, 520138541 edges, 39395 markings/sec, 1565 secs
lola: sara is running 1570 secs || sara is running 1570 secs || 68992764 markings, 521737827 edges, 41014 markings/sec, 1570 secs
lola: sara is running 1575 secs || sara is running 1575 secs || 69194138 markings, 523358197 edges, 40275 markings/sec, 1575 secs
lola: sara is running 1580 secs || sara is running 1580 secs || 69395984 markings, 524979475 edges, 40369 markings/sec, 1580 secs
lola: sara is running 1585 secs || sara is running 1585 secs || 69595636 markings, 526577709 edges, 39930 markings/sec, 1585 secs
lola: sara is running 1590 secs || sara is running 1590 secs || 69778754 markings, 528160590 edges, 36624 markings/sec, 1590 secs
lola: sara is running 1595 secs || sara is running 1595 secs || 69978477 markings, 529767675 edges, 39945 markings/sec, 1595 secs
lola: sara is running 1600 secs || sara is running 1600 secs || 70174055 markings, 531370101 edges, 39116 markings/sec, 1600 secs
lola: sara is running 1605 secs || sara is running 1605 secs || 70380320 markings, 532997919 edges, 41253 markings/sec, 1605 secs
lola: sara is running 1610 secs || sara is running 1610 secs || 70589170 markings, 534659321 edges, 41770 markings/sec, 1610 secs
lola: sara is running 1615 secs || sara is running 1615 secs || 70791391 markings, 536299380 edges, 40444 markings/sec, 1615 secs
lola: sara is running 1620 secs || sara is running 1620 secs || 70981038 markings, 537938848 edges, 37929 markings/sec, 1620 secs
lola: sara is running 1625 secs || sara is running 1625 secs || 71173881 markings, 539581222 edges, 38569 markings/sec, 1625 secs
lola: sara is running 1630 secs || sara is running 1630 secs || 71360151 markings, 541225191 edges, 37254 markings/sec, 1630 secs
lola: sara is running 1635 secs || sara is running 1635 secs || 71543813 markings, 542863779 edges, 36732 markings/sec, 1635 secs
lola: sara is running 1640 secs || sara is running 1640 secs || 71707267 markings, 544485998 edges, 32691 markings/sec, 1640 secs
lola: sara is running 1645 secs || sara is running 1645 secs || 71891450 markings, 546126050 edges, 36837 markings/sec, 1645 secs
lola: sara is running 1650 secs || sara is running 1650 secs || 72078479 markings, 547764465 edges, 37406 markings/sec, 1650 secs
lola: sara is running 1655 secs || sara is running 1655 secs || 72268615 markings, 549409404 edges, 38027 markings/sec, 1655 secs
lola: sara is running 1660 secs || sara is running 1660 secs || 72451986 markings, 551039074 edges, 36674 markings/sec, 1660 secs
lola: sara is running 1665 secs || sara is running 1665 secs || 72640704 markings, 552679948 edges, 37744 markings/sec, 1665 secs
lola: sara is running 1670 secs || sara is running 1670 secs || 72816744 markings, 554317395 edges, 35208 markings/sec, 1670 secs
lola: sara is running 1675 secs || sara is running 1675 secs || 72981288 markings, 555933821 edges, 32909 markings/sec, 1675 secs
lola: sara is running 1680 secs || sara is running 1680 secs || 73143912 markings, 557543209 edges, 32525 markings/sec, 1680 secs
lola: sara is running 1685 secs || sara is running 1685 secs || 73313844 markings, 559166904 edges, 33986 markings/sec, 1685 secs
lola: sara is running 1690 secs || sara is running 1690 secs || 73502625 markings, 560800675 edges, 37756 markings/sec, 1690 secs
lola: sara is running 1695 secs || sara is running 1695 secs || 73683099 markings, 562430628 edges, 36095 markings/sec, 1695 secs
lola: sara is running 1700 secs || sara is running 1700 secs || 73859825 markings, 564033213 edges, 35345 markings/sec, 1700 secs
lola: sara is running 1705 secs || sara is running 1705 secs || 74024527 markings, 565636443 edges, 32940 markings/sec, 1705 secs
lola: sara is running 1710 secs || sara is running 1710 secs || 74186017 markings, 567239583 edges, 32298 markings/sec, 1710 secs
lola: sara is running 1715 secs || sara is running 1715 secs || 74350932 markings, 568846530 edges, 32983 markings/sec, 1715 secs
lola: sara is running 1720 secs || sara is running 1720 secs || 74514388 markings, 570432890 edges, 32691 markings/sec, 1720 secs
lola: sara is running 1725 secs || sara is running 1725 secs || 74669489 markings, 572009089 edges, 31020 markings/sec, 1725 secs
lola: sara is running 1730 secs || sara is running 1730 secs || 74836575 markings, 573601556 edges, 33417 markings/sec, 1730 secs
lola: sara is running 1735 secs || sara is running 1735 secs || 75000549 markings, 575201773 edges, 32795 markings/sec, 1735 secs
lola: sara is running 1740 secs || sara is running 1740 secs || 75161005 markings, 576812515 edges, 32091 markings/sec, 1740 secs
lola: sara is running 1745 secs || sara is running 1745 secs || 75331082 markings, 578426165 edges, 34015 markings/sec, 1745 secs
lola: sara is running 1750 secs || sara is running 1750 secs || 75498662 markings, 580007036 edges, 33516 markings/sec, 1750 secs
lola: sara is running 1755 secs || sara is running 1755 secs || 75667499 markings, 581621394 edges, 33767 markings/sec, 1755 secs
lola: sara is running 1760 secs || sara is running 1760 secs || 75829687 markings, 583211869 edges, 32438 markings/sec, 1760 secs
lola: sara is running 1765 secs || sara is running 1765 secs || 75981431 markings, 584799632 edges, 30349 markings/sec, 1765 secs
lola: sara is running 1770 secs || sara is running 1770 secs || 76137095 markings, 586394372 edges, 31133 markings/sec, 1770 secs
lola: sara is running 1775 secs || sara is running 1775 secs || 76283696 markings, 587956799 edges, 29320 markings/sec, 1775 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown no no no no yes no yes unknown yes yes unknown yes unknown yes
lola:
preliminary result: no unknown no no no no yes no yes unknown yes yes unknown yes unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no no no no yes no yes unknown yes yes unknown yes unknown yes
lola: memory consumption: 3266340 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no no no no yes no yes unknown yes yes unknown yes unknown yes
lola: memory consumption: 3266340 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
rslt: finished

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

Sequence of Actions to be Executed by the VM

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

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

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