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

About the Execution of 2019-Gold for AutoFlight-PT-06a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.110 3115218.00 3115787.00 10854.50 TT?FFTFFFFFFFFFF 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.r015-smll-158897552800114.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 win2019
Input is AutoFlight-PT-06a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552800114
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.0K Mar 25 23:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 23:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:30 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.3K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 15:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 15:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 10:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 43K 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-06a-00
FORMULA_NAME AutoFlight-PT-06a-01
FORMULA_NAME AutoFlight-PT-06a-02
FORMULA_NAME AutoFlight-PT-06a-03
FORMULA_NAME AutoFlight-PT-06a-04
FORMULA_NAME AutoFlight-PT-06a-05
FORMULA_NAME AutoFlight-PT-06a-06
FORMULA_NAME AutoFlight-PT-06a-07
FORMULA_NAME AutoFlight-PT-06a-08
FORMULA_NAME AutoFlight-PT-06a-09
FORMULA_NAME AutoFlight-PT-06a-10
FORMULA_NAME AutoFlight-PT-06a-11
FORMULA_NAME AutoFlight-PT-06a-12
FORMULA_NAME AutoFlight-PT-06a-13
FORMULA_NAME AutoFlight-PT-06a-14
FORMULA_NAME AutoFlight-PT-06a-15

=== Now, execution of the tool begins

BK_START 1589298580436

info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ AutoFlight-PT-06a @ 3570 seconds

FORMULA AutoFlight-PT-06a-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-06a-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-06a-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-06a-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-06a-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-06a-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-06a-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-06a-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-06a-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-06a-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-06a-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-06a-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-06a-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-06a-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-06a-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-06a-02 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 455
rslt: Output for LTLFireability @ AutoFlight-PT-06a

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Tue May 12 15:49:40 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 3,
"tneg": 0,
"transition_references": 5,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((FIREABLE(t149) OR X (((FIREABLE(t149) OR FIREABLE(t48)) OR X ((G (FIREABLE(t149)) OR F (FIREABLE(t97))))))))",
"processed_size": 113,
"rewrites": 69
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A (F ((NOT FIREABLE(t83) OR ((FIREABLE(t112) U FIREABLE(t86)) R X (NOT FIREABLE(t18))))))",
"processed_size": 89,
"rewrites": 69
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 3,
"U": 1,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((X (F (FIREABLE(t45))) U G (FIREABLE(t45))) OR X (G ((FIREABLE(t80) OR G (FIREABLE(t108)))))))",
"processed_size": 98,
"rewrites": 69
},
"result":
{
"edges": 34,
"markings": 34,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 11
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (X (G ((FIREABLE(t132) OR G (FIREABLE(t55)))))))",
"processed_size": 53,
"rewrites": 69
},
"result":
{
"edges": 24,
"markings": 24,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (G (NOT FIREABLE(t66))))",
"processed_size": 29,
"rewrites": 69
},
"result":
{
"edges": 22383,
"markings": 2406,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((FIREABLE(t108) R (NOT FIREABLE(t108) OR F (NOT FIREABLE(t36)))))",
"processed_size": 68,
"rewrites": 69
},
"result":
{
"edges": 65727,
"markings": 7940,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (F ((X (FIREABLE(t62)) OR (X (G (FIREABLE(t28))) U FIREABLE(t28))))))",
"processed_size": 74,
"rewrites": 69
},
"result":
{
"edges": 59768747,
"markings": 1572887,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 435
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "(NOT FIREABLE(t90) OR NOT FIREABLE(t18))",
"processed_size": 41,
"rewrites": 71
},
"result":
{
"edges": 23,
"markings": 24,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 8
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 497
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (F (G (FIREABLE(t21))))",
"processed_size": 25,
"rewrites": 69
},
"result":
{
"edges": 26,
"markings": 25,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 580
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((F (FIREABLE(t137)) OR (G (NOT FIREABLE(t27)) AND F (FIREABLE(t137)))))",
"processed_size": 74,
"rewrites": 69
},
"result":
{
"edges": 24,
"markings": 24,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 697
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((G (FIREABLE(t11)) OR F ((NOT FIREABLE(t15) OR FIREABLE(t104)))))",
"processed_size": 69,
"rewrites": 69
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 929
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 5,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((FIREABLE(t17) OR (G ((FIREABLE(t50) OR FIREABLE(t17))) OR G (F ((F (FIREABLE(t17)) AND F (FIREABLE(t120))))))))",
"processed_size": 116,
"rewrites": 69
},
"result":
{
"edges": 25,
"markings": 25,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2788
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (F (FIREABLE(t67))))",
"processed_size": 25,
"rewrites": 69
},
"result":
{
"edges": 24,
"markings": 24,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 13792,
"runtime": 3115.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A((** OR X((** OR X((G(**) OR F(**))))))) : A(F((* OR ((** U **) R X(*))))) : A(F(G((* OR G(F(*)))))) : (A(G(**)) AND (A(G(F(**))) AND A((** OR G(**))))) : A(((X(F(**)) U G(**)) OR X(G((** OR G(**)))))) : A((G(**) OR F(**))) : A((** OR (G(**) OR G(F((F(**) AND F(**))))))) : (A(G(**)) AND A(X(X(G(**))))) : A(X(X(G((** OR G(**)))))) : A((F(**) OR (G(*) AND F(**)))) : A(F(**)) : A(X(G(**))) : A(F(G(**))) : (A(G(F(**))) AND A(G((((G(**) OR G(*)) U G(*)) OR **)))) : (A(X(F(**))) AND A((* R (* OR F(*))))) : A(X(F((X(**) OR (X(G(**)) U **)))))"
},
"net":
{
"arcs": 500,
"conflict_clusters": 81,
"places": 157,
"places_significant": 117,
"singleton_clusters": 0,
"transitions": 155
},
"result":
{
"preliminary_value": "yes yes unknown no no yes no no no no no no no no no no ",
"value": "yes yes unknown no no yes no no no no no no no no no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 312/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 157
lola: finding significant places
lola: 157 places, 155 transitions, 117 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 LTLFireability.xml
lola: A ((FIREABLE(t149) OR X ((((FIREABLE(t149) OR FIREABLE(t48)) OR X (G (FIREABLE(t149)))) OR F (X (FIREABLE(t97))))))) : A (NOT(G ((FIREABLE(t83) AND (NOT((FIREABLE(t112) U FIREABLE(t86))) U X (FIREABLE(t18))))))) : A (F (G (NOT((FIREABLE(t60) AND F (G (F (G (FIREABLE(t79)))))))))) : A ((G ((FIREABLE(t124) AND F (FIREABLE(t7)))) AND (FIREABLE(t16) OR G (FIREABLE(t7))))) : A (((X (F (FIREABLE(t45))) U G (FIREABLE(t45))) OR NOT(F (X (NOT((FIREABLE(t80) OR G (FIREABLE(t108))))))))) : A ((G (FIREABLE(t11)) OR F ((NOT FIREABLE(t15) OR FIREABLE(t104))))) : A (((FIREABLE(t17) OR G ((FIREABLE(t50) OR FIREABLE(t17)))) OR G (F ((F (FIREABLE(t17)) AND F (FIREABLE(t120))))))) : A (G ((FIREABLE(t78) AND X (X (FIREABLE(t16)))))) : A (X (G (X ((FIREABLE(t132) OR G (FIREABLE(t55))))))) : A ((NOT(F (FIREABLE(t27))) U F (FIREABLE(t137)))) : A (F ((FIREABLE(t90) AND FIREABLE(t18)))) : A (G (X (NOT FIREABLE(t66)))) : A (F (G (FIREABLE(t21)))) : A (G ((((G (FIREABLE(t152)) OR NOT(F (FIREABLE(t11)))) U NOT(F (FIREABLE(t11)))) U FIREABLE(t67)))) : A ((F (X (FIREABLE(t31))) AND NOT((NOT FIREABLE(t108) U (FIREABLE(t108) AND G (FIREABLE(t36))))))) : A (F (X ((X (FIREABLE(t62)) OR (NOT(F (X (NOT(G (FIREABLE(t28)))))) U FIREABLE(t28))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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 ((FIREABLE(t149) OR X (((FIREABLE(t149) OR FIREABLE(t48)) OR X ((G (FIREABLE(t149)) OR F (FIREABLE(t97))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t149) OR X (((FIREABLE(t149) OR FIREABLE(t48)) OR X ((G (FIREABLE(t149)) OR F (FIREABLE(t97))))))))
lola: processed formula length: 113
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((NOT FIREABLE(t83) OR ((FIREABLE(t112) U FIREABLE(t86)) R X (NOT FIREABLE(t18))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((NOT FIREABLE(t83) OR ((FIREABLE(t112) U FIREABLE(t86)) R X (NOT FIREABLE(t18))))))
lola: processed formula length: 89
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((X (F (FIREABLE(t45))) U G (FIREABLE(t45))) OR X (G ((FIREABLE(t80) OR G (FIREABLE(t108)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((X (F (FIREABLE(t45))) U G (FIREABLE(t45))) OR X (G ((FIREABLE(t80) OR G (FIREABLE(t108)))))))
lola: processed formula length: 98
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 34 markings, 34 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(t78))) AND A (X (X (G (FIREABLE(t16))))))
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: A (G (FIREABLE(t78)))
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 (FIREABLE(t78)))
lola: processed formula length: 21
lola: 71 rewrites
lola: closed formula file LTLFireability.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: NOT FIREABLE(t78)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((FIREABLE(t132) OR G (FIREABLE(t55)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((FIREABLE(t132) OR G (FIREABLE(t55)))))))
lola: processed formula length: 53
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 24 markings, 24 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (NOT FIREABLE(t66))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (NOT FIREABLE(t66))))
lola: processed formula length: 29
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2406 markings, 22383 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (F (FIREABLE(t31)))) AND A ((FIREABLE(t108) R (NOT FIREABLE(t108) OR F (NOT FIREABLE(t36))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t108) R (NOT FIREABLE(t108) OR F (NOT FIREABLE(t36)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t108) R (NOT FIREABLE(t108) OR F (NOT FIREABLE(t36)))))
lola: processed formula length: 68
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7940 markings, 65727 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((X (FIREABLE(t62)) OR (X (G (FIREABLE(t28))) U FIREABLE(t28))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((X (FIREABLE(t62)) OR (X (G (FIREABLE(t28))) U FIREABLE(t28))))))
lola: processed formula length: 74
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 164867 markings, 3608531 edges, 32973 markings/sec, 0 secs
lola: 314795 markings, 7275995 edges, 29986 markings/sec, 5 secs
lola: 460689 markings, 10973555 edges, 29179 markings/sec, 10 secs
lola: 602357 markings, 14700597 edges, 28334 markings/sec, 15 secs
lola: 738428 markings, 18441971 edges, 27214 markings/sec, 20 secs
lola: 840961 markings, 22083163 edges, 20507 markings/sec, 25 secs
lola: 920953 markings, 25685355 edges, 15998 markings/sec, 30 secs
lola: 995404 markings, 29329013 edges, 14890 markings/sec, 35 secs
lola: 1071102 markings, 32964206 edges, 15140 markings/sec, 40 secs
lola: 1142296 markings, 36635771 edges, 14239 markings/sec, 45 secs
lola: 1214811 markings, 40311237 edges, 14503 markings/sec, 50 secs
lola: 1288541 markings, 43981366 edges, 14746 markings/sec, 55 secs
lola: 1358457 markings, 47675433 edges, 13983 markings/sec, 60 secs
lola: 1428394 markings, 51383017 edges, 13987 markings/sec, 65 secs
lola: 1495740 markings, 55102542 edges, 13469 markings/sec, 70 secs
lola: 1558975 markings, 58837934 edges, 12647 markings/sec, 75 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1572887 markings, 59768747 edges
lola: ========================================
lola: subprocess 8 will run for 435 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t90) AND FIREABLE(t18))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (NOT FIREABLE(t90) OR NOT FIREABLE(t18))
lola: processed formula length: 41
lola: 71 rewrites
lola: closed formula file LTLFireability.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: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 24 markings, 23 edges
lola: ========================================
lola: subprocess 9 will run for 497 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(t21))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(t21))))
lola: processed formula length: 25
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 25 markings, 26 edges
lola: ========================================
lola: subprocess 10 will run for 580 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(t137)) OR (G (NOT FIREABLE(t27)) AND F (FIREABLE(t137)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(t137)) OR (G (NOT FIREABLE(t27)) AND F (FIREABLE(t137)))))
lola: processed formula length: 74
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 24 markings, 24 edges
lola: ========================================
lola: subprocess 11 will run for 696 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((NOT FIREABLE(t60) OR G (F (NOT FIREABLE(t79)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((NOT FIREABLE(t60) OR G (F (NOT FIREABLE(t79)))))))
lola: processed formula length: 60
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 394586 markings, 2724683 edges, 78917 markings/sec, 0 secs
lola: 730309 markings, 5681580 edges, 67145 markings/sec, 5 secs
lola: 1100236 markings, 8822439 edges, 73985 markings/sec, 10 secs
lola: 1444170 markings, 11912983 edges, 68787 markings/sec, 15 secs
lola: 1817185 markings, 14897026 edges, 74603 markings/sec, 20 secs
lola: 2172138 markings, 17862203 edges, 70991 markings/sec, 25 secs
lola: 2519306 markings, 20826855 edges, 69434 markings/sec, 30 secs
lola: 2862002 markings, 23755949 edges, 68539 markings/sec, 35 secs
lola: 3176824 markings, 26687597 edges, 62964 markings/sec, 40 secs
lola: 3472370 markings, 29632875 edges, 59109 markings/sec, 45 secs
lola: 3764447 markings, 32546229 edges, 58415 markings/sec, 50 secs
lola: 4067148 markings, 35385439 edges, 60540 markings/sec, 55 secs
lola: 4358233 markings, 38266463 edges, 58217 markings/sec, 60 secs
lola: 4629155 markings, 41186931 edges, 54184 markings/sec, 65 secs
lola: 4876475 markings, 44107650 edges, 49464 markings/sec, 70 secs
lola: 5119482 markings, 47034917 edges, 48601 markings/sec, 75 secs
lola: 5340706 markings, 49954836 edges, 44245 markings/sec, 80 secs
lola: 5569470 markings, 52880278 edges, 45753 markings/sec, 85 secs
lola: 5791021 markings, 55805274 edges, 44310 markings/sec, 90 secs
lola: 5993582 markings, 58786769 edges, 40512 markings/sec, 95 secs
lola: 6191978 markings, 61760038 edges, 39679 markings/sec, 100 secs
lola: 6330413 markings, 64632065 edges, 27687 markings/sec, 105 secs
lola: 6431163 markings, 67416715 edges, 20150 markings/sec, 110 secs
lola: 6546179 markings, 70229759 edges, 23003 markings/sec, 115 secs
lola: 6628669 markings, 73006117 edges, 16498 markings/sec, 120 secs
lola: 6919006 markings, 76136131 edges, 58067 markings/sec, 125 secs
lola: 7182987 markings, 79252959 edges, 52796 markings/sec, 130 secs
lola: 7470957 markings, 82337463 edges, 57594 markings/sec, 135 secs
lola: 7748122 markings, 85408348 edges, 55433 markings/sec, 140 secs
lola: 8037373 markings, 88427304 edges, 57850 markings/sec, 145 secs
lola: 8326829 markings, 91444217 edges, 57891 markings/sec, 150 secs
lola: 8613786 markings, 94450334 edges, 57391 markings/sec, 155 secs
lola: 8915430 markings, 97409060 edges, 60329 markings/sec, 160 secs
lola: 9214257 markings, 100356180 edges, 59765 markings/sec, 165 secs
lola: 9519128 markings, 103294889 edges, 60974 markings/sec, 170 secs
lola: 9822636 markings, 106225946 edges, 60702 markings/sec, 175 secs
lola: 10122634 markings, 109142219 edges, 60000 markings/sec, 180 secs
lola: 10420620 markings, 112046081 edges, 59597 markings/sec, 185 secs
lola: 10715709 markings, 114954080 edges, 59018 markings/sec, 190 secs
lola: 11006815 markings, 117850998 edges, 58221 markings/sec, 195 secs
lola: 11302240 markings, 120742792 edges, 59085 markings/sec, 200 secs
lola: 11590863 markings, 123671340 edges, 57725 markings/sec, 205 secs
lola: 11878226 markings, 126541251 edges, 57473 markings/sec, 210 secs
lola: 12161100 markings, 129447878 edges, 56575 markings/sec, 215 secs
lola: 12440563 markings, 132317767 edges, 55893 markings/sec, 220 secs
lola: 12720342 markings, 135209639 edges, 55956 markings/sec, 225 secs
lola: 12989454 markings, 138113573 edges, 53822 markings/sec, 230 secs
lola: 13254181 markings, 140982395 edges, 52945 markings/sec, 235 secs
lola: 13514730 markings, 143873823 edges, 52110 markings/sec, 240 secs
lola: 13770811 markings, 146737062 edges, 51216 markings/sec, 245 secs
lola: 14032913 markings, 149604870 edges, 52420 markings/sec, 250 secs
lola: 14295688 markings, 152527538 edges, 52555 markings/sec, 255 secs
lola: 14555396 markings, 155419020 edges, 51942 markings/sec, 260 secs
lola: 14803576 markings, 158284603 edges, 49636 markings/sec, 265 secs
lola: 15062728 markings, 161159186 edges, 51830 markings/sec, 270 secs
lola: 15318990 markings, 164081687 edges, 51252 markings/sec, 275 secs
lola: 15573428 markings, 166968041 edges, 50888 markings/sec, 280 secs
lola: 15832296 markings, 169854848 edges, 51774 markings/sec, 285 secs
lola: 16091352 markings, 172740024 edges, 51811 markings/sec, 290 secs
lola: 16348333 markings, 175594178 edges, 51396 markings/sec, 295 secs
lola: 16604172 markings, 178461914 edges, 51168 markings/sec, 300 secs
lola: 16851775 markings, 181359358 edges, 49521 markings/sec, 305 secs
lola: 17113273 markings, 184252923 edges, 52300 markings/sec, 310 secs
lola: 17372353 markings, 187109514 edges, 51816 markings/sec, 315 secs
lola: 17622756 markings, 189985387 edges, 50081 markings/sec, 320 secs
lola: 17873694 markings, 192817414 edges, 50188 markings/sec, 325 secs
lola: 18130551 markings, 195658969 edges, 51371 markings/sec, 330 secs
lola: 18388908 markings, 198507844 edges, 51671 markings/sec, 335 secs
lola: 18646968 markings, 201333961 edges, 51612 markings/sec, 340 secs
lola: 18908952 markings, 204148810 edges, 52397 markings/sec, 345 secs
lola: 19174461 markings, 207009290 edges, 53102 markings/sec, 350 secs
lola: 19443683 markings, 209845052 edges, 53844 markings/sec, 355 secs
lola: 19708568 markings, 212683565 edges, 52977 markings/sec, 360 secs
lola: 19985375 markings, 215468554 edges, 55361 markings/sec, 365 secs
lola: 20251743 markings, 218208514 edges, 53274 markings/sec, 370 secs
lola: 20497617 markings, 220922351 edges, 49175 markings/sec, 375 secs
lola: 20748226 markings, 223668123 edges, 50122 markings/sec, 380 secs
lola: 20989658 markings, 226398145 edges, 48286 markings/sec, 385 secs
lola: 21211521 markings, 229002153 edges, 44373 markings/sec, 390 secs
lola: 21439256 markings, 231582397 edges, 45547 markings/sec, 395 secs
lola: 21671925 markings, 234206789 edges, 46534 markings/sec, 400 secs
lola: 21916546 markings, 236925637 edges, 48924 markings/sec, 405 secs
lola: 22139022 markings, 239463965 edges, 44495 markings/sec, 410 secs
lola: 22372169 markings, 242215164 edges, 46629 markings/sec, 415 secs
lola: 22590245 markings, 244732089 edges, 43615 markings/sec, 420 secs
lola: 22816814 markings, 247403217 edges, 45314 markings/sec, 425 secs
lola: 23044059 markings, 250098559 edges, 45449 markings/sec, 430 secs
lola: 23270615 markings, 252731485 edges, 45311 markings/sec, 435 secs
lola: 23493975 markings, 255372326 edges, 44672 markings/sec, 440 secs
lola: 23721753 markings, 258090198 edges, 45556 markings/sec, 445 secs
lola: 23951535 markings, 260795581 edges, 45956 markings/sec, 450 secs
lola: 24169597 markings, 263291684 edges, 43612 markings/sec, 455 secs
lola: 24395442 markings, 265928769 edges, 45169 markings/sec, 460 secs
lola: 24632175 markings, 268643465 edges, 47347 markings/sec, 465 secs
lola: 24870755 markings, 271394039 edges, 47716 markings/sec, 470 secs
lola: 25108177 markings, 274111536 edges, 47484 markings/sec, 475 secs
lola: 25350218 markings, 276887752 edges, 48408 markings/sec, 480 secs
lola: 25592613 markings, 279592787 edges, 48479 markings/sec, 485 secs
lola: 25840406 markings, 282398871 edges, 49559 markings/sec, 490 secs
lola: 26082498 markings, 285212273 edges, 48418 markings/sec, 495 secs
lola: 26326372 markings, 287999166 edges, 48775 markings/sec, 500 secs
lola: 26573858 markings, 290793315 edges, 49497 markings/sec, 505 secs
lola: 26813279 markings, 293589310 edges, 47884 markings/sec, 510 secs
lola: 27041551 markings, 296404667 edges, 45654 markings/sec, 515 secs
lola: 27283591 markings, 299215673 edges, 48408 markings/sec, 520 secs
lola: 27530346 markings, 302012120 edges, 49351 markings/sec, 525 secs
lola: 27769411 markings, 304837777 edges, 47813 markings/sec, 530 secs
lola: 28011619 markings, 307646219 edges, 48442 markings/sec, 535 secs
lola: 28253228 markings, 310427660 edges, 48322 markings/sec, 540 secs
lola: 28499422 markings, 313211745 edges, 49239 markings/sec, 545 secs
lola: 28740489 markings, 316012976 edges, 48213 markings/sec, 550 secs
lola: 28985050 markings, 318792201 edges, 48912 markings/sec, 555 secs
lola: 29234757 markings, 321570573 edges, 49941 markings/sec, 560 secs
lola: 29479534 markings, 324335746 edges, 48955 markings/sec, 565 secs
lola: 29710956 markings, 327135723 edges, 46284 markings/sec, 570 secs
lola: 29949159 markings, 329916182 edges, 47641 markings/sec, 575 secs
lola: 30198831 markings, 332664385 edges, 49934 markings/sec, 580 secs
lola: 30430725 markings, 335429087 edges, 46379 markings/sec, 585 secs
lola: 30677084 markings, 338201168 edges, 49272 markings/sec, 590 secs
lola: 30919757 markings, 340960206 edges, 48535 markings/sec, 595 secs
lola: 31149562 markings, 343748000 edges, 45961 markings/sec, 600 secs
lola: 31380315 markings, 346519792 edges, 46151 markings/sec, 605 secs
lola: 31622203 markings, 349292228 edges, 48378 markings/sec, 610 secs
lola: 31848501 markings, 352048888 edges, 45260 markings/sec, 615 secs
lola: 32074384 markings, 354785723 edges, 45177 markings/sec, 620 secs
lola: 32290618 markings, 357549658 edges, 43247 markings/sec, 625 secs
lola: 32512927 markings, 360292296 edges, 44462 markings/sec, 630 secs
lola: 32736456 markings, 363023628 edges, 44706 markings/sec, 635 secs
lola: 32950912 markings, 365789174 edges, 42891 markings/sec, 640 secs
lola: 33162076 markings, 368551196 edges, 42233 markings/sec, 645 secs
lola: 33371300 markings, 371319680 edges, 41845 markings/sec, 650 secs
lola: 33579711 markings, 374053525 edges, 41682 markings/sec, 655 secs
lola: 33796777 markings, 376790952 edges, 43413 markings/sec, 660 secs
lola: 34009418 markings, 379525653 edges, 42528 markings/sec, 665 secs
lola: 34218230 markings, 382259142 edges, 41762 markings/sec, 670 secs
lola: 34429719 markings, 385004015 edges, 42298 markings/sec, 675 secs
lola: 34642042 markings, 387735653 edges, 42465 markings/sec, 680 secs
lola: 34852394 markings, 390485265 edges, 42070 markings/sec, 685 secs
lola: 35059213 markings, 393227253 edges, 41364 markings/sec, 690 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown no unknown unknown no no no no no no unknown no no
lola: memory consumption: 5862612 KB
lola: time consumption: 782 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 697 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (FIREABLE(t11)) OR F ((NOT FIREABLE(t15) OR FIREABLE(t104)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (FIREABLE(t11)) OR F ((NOT FIREABLE(t15) OR FIREABLE(t104)))))
lola: processed formula length: 69
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 929 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t17) OR (G ((FIREABLE(t50) OR FIREABLE(t17))) OR G (F ((F (FIREABLE(t17)) AND F (FIREABLE(t120))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t17) OR (G ((FIREABLE(t50) OR FIREABLE(t17))) OR G (F ((F (FIREABLE(t17)) AND F (FIREABLE(t120))))))))
lola: processed formula length: 116
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 25 markings, 25 edges
lola: ========================================
lola: subprocess 14 will run for 1394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(t124))) AND (A (G (F (FIREABLE(t7)))) AND A ((FIREABLE(t16) OR G (FIREABLE(t7))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t124)))
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 (FIREABLE(t124)))
lola: processed formula length: 22
lola: 71 rewrites
lola: closed formula file LTLFireability.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: NOT FIREABLE(t124)
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 2788 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F (FIREABLE(t67)))) AND A (G ((((G (FIREABLE(t152)) OR G (NOT FIREABLE(t11))) U G (NOT FIREABLE(t11))) OR FIREABLE(t67)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2788 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t67))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t67))))
lola: processed formula length: 25
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 24 markings, 24 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (G ((NOT FIREABLE(t60) OR G (F (NOT FIREABLE(t79)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((NOT FIREABLE(t60) OR G (F (NOT FIREABLE(t79)))))))
lola: processed formula length: 60
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 408239 markings, 2872140 edges, 81648 markings/sec, 0 secs
lola: 741066 markings, 5775723 edges, 66565 markings/sec, 5 secs
lola: 1106349 markings, 8877205 edges, 73057 markings/sec, 10 secs
lola: 1442911 markings, 11901437 edges, 67312 markings/sec, 15 secs
lola: 1805816 markings, 14808865 edges, 72581 markings/sec, 20 secs
lola: 2150612 markings, 17681989 edges, 68959 markings/sec, 25 secs
lola: 2488483 markings, 20564317 edges, 67574 markings/sec, 30 secs
lola: 2821499 markings, 23400250 edges, 66603 markings/sec, 35 secs
lola: 3130809 markings, 26237204 edges, 61862 markings/sec, 40 secs
lola: 3419099 markings, 29105807 edges, 57658 markings/sec, 45 secs
lola: 3696875 markings, 31954842 edges, 55555 markings/sec, 50 secs
lola: 3998539 markings, 34693050 edges, 60333 markings/sec, 55 secs
lola: 4276045 markings, 37484706 edges, 55501 markings/sec, 60 secs
lola: 4549539 markings, 40313503 edges, 54699 markings/sec, 65 secs
lola: 4794708 markings, 43139252 edges, 49034 markings/sec, 70 secs
lola: 5029022 markings, 45978737 edges, 46863 markings/sec, 75 secs
lola: 5252148 markings, 48824139 edges, 44625 markings/sec, 80 secs
lola: 5478508 markings, 51684651 edges, 45272 markings/sec, 85 secs
lola: 5693357 markings, 54514379 edges, 42970 markings/sec, 90 secs
lola: 5899429 markings, 57379830 edges, 41214 markings/sec, 95 secs
lola: 6092110 markings, 60259783 edges, 38536 markings/sec, 100 secs
lola: 6271565 markings, 63159882 edges, 35891 markings/sec, 105 secs
lola: 6373384 markings, 65804065 edges, 20364 markings/sec, 110 secs
lola: 6475946 markings, 68446944 edges, 20512 markings/sec, 115 secs
lola: 6578293 markings, 71112943 edges, 20469 markings/sec, 120 secs
lola: 6710910 markings, 73862535 edges, 26523 markings/sec, 125 secs
lola: 6991857 markings, 76939595 edges, 56189 markings/sec, 130 secs
lola: 7253163 markings, 79984189 edges, 52261 markings/sec, 135 secs
lola: 7527907 markings, 82993389 edges, 54949 markings/sec, 140 secs
lola: 7804954 markings, 85980123 edges, 55409 markings/sec, 145 secs
lola: 8081359 markings, 88939724 edges, 55281 markings/sec, 150 secs
lola: 8366637 markings, 91877777 edges, 57056 markings/sec, 155 secs
lola: 8646825 markings, 94787801 edges, 56038 markings/sec, 160 secs
lola: 8940317 markings, 97646949 edges, 58698 markings/sec, 165 secs
lola: 9229422 markings, 100499304 edges, 57821 markings/sec, 170 secs
lola: 9522849 markings, 103331606 edges, 58685 markings/sec, 175 secs
lola: 9809779 markings, 106102438 edges, 57386 markings/sec, 180 secs
lola: 10111552 markings, 109002298 edges, 60355 markings/sec, 185 secs
lola: 10408072 markings, 111912087 edges, 59304 markings/sec, 190 secs
lola: 10703036 markings, 114823026 edges, 58993 markings/sec, 195 secs
lola: 10992374 markings, 117708253 edges, 57868 markings/sec, 200 secs
lola: 11287534 markings, 120593542 edges, 59032 markings/sec, 205 secs
lola: 11575228 markings, 123499484 edges, 57539 markings/sec, 210 secs
lola: 11860183 markings, 126368687 edges, 56991 markings/sec, 215 secs
lola: 12142668 markings, 129251712 edges, 56497 markings/sec, 220 secs
lola: 12422822 markings, 132121669 edges, 56031 markings/sec, 225 secs
lola: 12701693 markings, 135005186 edges, 55774 markings/sec, 230 secs
lola: 12968421 markings, 137889961 edges, 53346 markings/sec, 235 secs
lola: 13231251 markings, 140732811 edges, 52566 markings/sec, 240 secs
lola: 13493791 markings, 143634424 edges, 52508 markings/sec, 245 secs
lola: 13749319 markings, 146493085 edges, 51106 markings/sec, 250 secs
lola: 14008706 markings, 149349292 edges, 51877 markings/sec, 255 secs
lola: 14270370 markings, 152240993 edges, 52333 markings/sec, 260 secs
lola: 14531973 markings, 155119859 edges, 52321 markings/sec, 265 secs
lola: 14779309 markings, 157988061 edges, 49467 markings/sec, 270 secs
lola: 15035078 markings, 160855520 edges, 51154 markings/sec, 275 secs
lola: 15289988 markings, 163745759 edges, 50982 markings/sec, 280 secs
lola: 15541794 markings, 166632794 edges, 50361 markings/sec, 285 secs
lola: 15800205 markings, 169507542 edges, 51682 markings/sec, 290 secs
lola: 16062207 markings, 172379616 edges, 52400 markings/sec, 295 secs
lola: 16315195 markings, 175243669 edges, 50598 markings/sec, 300 secs
lola: 16573082 markings, 178100379 edges, 51577 markings/sec, 305 secs
lola: 16820024 markings, 180965203 edges, 49388 markings/sec, 310 secs
lola: 17073541 markings, 183826050 edges, 50703 markings/sec, 315 secs
lola: 17332729 markings, 186666514 edges, 51838 markings/sec, 320 secs
lola: 17580127 markings, 189506312 edges, 49480 markings/sec, 325 secs
lola: 17827770 markings, 192347886 edges, 49529 markings/sec, 330 secs
lola: 18087880 markings, 195183705 edges, 52022 markings/sec, 335 secs
lola: 18343115 markings, 198024701 edges, 51047 markings/sec, 340 secs
lola: 18602468 markings, 200844288 edges, 51871 markings/sec, 345 secs
lola: 18867034 markings, 203662510 edges, 52913 markings/sec, 350 secs
lola: 19120230 markings, 206499513 edges, 50639 markings/sec, 355 secs
lola: 19390592 markings, 209308767 edges, 54072 markings/sec, 360 secs
lola: 19652992 markings, 212132191 edges, 52480 markings/sec, 365 secs
lola: 19933218 markings, 214910162 edges, 56045 markings/sec, 370 secs
lola: 20201176 markings, 217693985 edges, 53592 markings/sec, 375 secs
lola: 20459205 markings, 220482287 edges, 51606 markings/sec, 380 secs
lola: 20714659 markings, 223282007 edges, 51091 markings/sec, 385 secs
lola: 20962546 markings, 226105658 edges, 49577 markings/sec, 390 secs
lola: 21204188 markings, 228914861 edges, 48328 markings/sec, 395 secs
lola: 21450759 markings, 231716386 edges, 49314 markings/sec, 400 secs
lola: 21700758 markings, 234511947 edges, 50000 markings/sec, 405 secs
lola: 21950364 markings, 237295711 edges, 49921 markings/sec, 410 secs
lola: 22194186 markings, 240096956 edges, 48764 markings/sec, 415 secs
lola: 22430101 markings, 242904417 edges, 47183 markings/sec, 420 secs
lola: 22671690 markings, 245727681 edges, 48318 markings/sec, 425 secs
lola: 22910740 markings, 248535441 edges, 47810 markings/sec, 430 secs
lola: 23150972 markings, 251330184 edges, 48046 markings/sec, 435 secs
lola: 23391163 markings, 254133941 edges, 48038 markings/sec, 440 secs
lola: 23623113 markings, 256945385 edges, 46390 markings/sec, 445 secs
lola: 23861466 markings, 259741106 edges, 47671 markings/sec, 450 secs
lola: 24103515 markings, 262520861 edges, 48410 markings/sec, 455 secs
lola: 24342355 markings, 265319025 edges, 47768 markings/sec, 460 secs
lola: 24586405 markings, 268102044 edges, 48810 markings/sec, 465 secs
lola: 24829456 markings, 270893470 edges, 48610 markings/sec, 470 secs
lola: 25072037 markings, 273660289 edges, 48516 markings/sec, 475 secs
lola: 25311422 markings, 276450578 edges, 47877 markings/sec, 480 secs
lola: 25558486 markings, 279220139 edges, 49413 markings/sec, 485 secs
lola: 25804257 markings, 281991524 edges, 49154 markings/sec, 490 secs
lola: 26044307 markings, 284760119 edges, 48010 markings/sec, 495 secs
lola: 26281939 markings, 287524282 edges, 47526 markings/sec, 500 secs
lola: 26528789 markings, 290271178 edges, 49370 markings/sec, 505 secs
lola: 26768042 markings, 293036206 edges, 47851 markings/sec, 510 secs
lola: 26990567 markings, 295814060 edges, 44505 markings/sec, 515 secs
lola: 27226158 markings, 298591942 edges, 47118 markings/sec, 520 secs
lola: 27468824 markings, 301349063 edges, 48533 markings/sec, 525 secs
lola: 27710741 markings, 304130407 edges, 48383 markings/sec, 530 secs
lola: 27947009 markings, 306888233 edges, 47254 markings/sec, 535 secs
lola: 28184419 markings, 309596654 edges, 47482 markings/sec, 540 secs
lola: 28417899 markings, 312254731 edges, 46696 markings/sec, 545 secs
lola: 28647087 markings, 314911052 edges, 45838 markings/sec, 550 secs
lola: 28873865 markings, 317577380 edges, 45356 markings/sec, 555 secs
lola: 29109726 markings, 320216812 edges, 47172 markings/sec, 560 secs
lola: 29348047 markings, 322862724 edges, 47664 markings/sec, 565 secs
lola: 29576297 markings, 325487160 edges, 45650 markings/sec, 570 secs
lola: 29790614 markings, 328181044 edges, 42863 markings/sec, 575 secs
lola: 30029123 markings, 330782812 edges, 47702 markings/sec, 580 secs
lola: 30259827 markings, 333395202 edges, 46141 markings/sec, 585 secs
lola: 30484111 markings, 336023001 edges, 44857 markings/sec, 590 secs
lola: 30716008 markings, 338634052 edges, 46379 markings/sec, 595 secs
lola: 30940518 markings, 341249971 edges, 44902 markings/sec, 600 secs
lola: 31159612 markings, 343882156 edges, 43819 markings/sec, 605 secs
lola: 31378181 markings, 346497777 edges, 43714 markings/sec, 610 secs
lola: 31607034 markings, 349120913 edges, 45771 markings/sec, 615 secs
lola: 31825227 markings, 351729776 edges, 43639 markings/sec, 620 secs
lola: 32037838 markings, 354362602 edges, 42522 markings/sec, 625 secs
lola: 32247722 markings, 356986195 edges, 41977 markings/sec, 630 secs
lola: 32460931 markings, 359602540 edges, 42642 markings/sec, 635 secs
lola: 32670998 markings, 362212485 edges, 42013 markings/sec, 640 secs
lola: 32877778 markings, 364851336 edges, 41356 markings/sec, 645 secs
lola: 33082996 markings, 367476393 edges, 41044 markings/sec, 650 secs
lola: 33281515 markings, 370139738 edges, 39704 markings/sec, 655 secs
lola: 33479117 markings, 372759683 edges, 39520 markings/sec, 660 secs
lola: 33681868 markings, 375381334 edges, 40550 markings/sec, 665 secs
lola: 33892528 markings, 377971354 edges, 42132 markings/sec, 670 secs
lola: 34094810 markings, 380606677 edges, 40456 markings/sec, 675 secs
lola: 34290934 markings, 383226748 edges, 39225 markings/sec, 680 secs
lola: 34496358 markings, 385858025 edges, 41085 markings/sec, 685 secs
lola: 34699019 markings, 388462282 edges, 40532 markings/sec, 690 secs
lola: 34897666 markings, 391079038 edges, 39729 markings/sec, 695 secs
lola: 35096920 markings, 393713579 edges, 39851 markings/sec, 700 secs
lola: 35292347 markings, 396317887 edges, 39085 markings/sec, 705 secs
lola: 35478280 markings, 398922031 edges, 37187 markings/sec, 710 secs
lola: 35671971 markings, 401536245 edges, 38738 markings/sec, 715 secs
lola: 35866876 markings, 404149068 edges, 38981 markings/sec, 720 secs
lola: 36063648 markings, 406802065 edges, 39354 markings/sec, 725 secs
lola: 36256382 markings, 409454072 edges, 38547 markings/sec, 730 secs
lola: 36449918 markings, 412088310 edges, 38707 markings/sec, 735 secs
lola: 36642541 markings, 414716564 edges, 38525 markings/sec, 740 secs
lola: 36832879 markings, 417365834 edges, 38068 markings/sec, 745 secs
lola: 37022558 markings, 419942116 edges, 37936 markings/sec, 750 secs
lola: 37215726 markings, 422571049 edges, 38634 markings/sec, 755 secs
lola: 37407089 markings, 425179249 edges, 38273 markings/sec, 760 secs
lola: 37592588 markings, 427790778 edges, 37100 markings/sec, 765 secs
lola: 37773001 markings, 430397155 edges, 36083 markings/sec, 770 secs
lola: 37957280 markings, 433063748 edges, 36856 markings/sec, 775 secs
lola: 38138367 markings, 435675045 edges, 36217 markings/sec, 780 secs
lola: 38316565 markings, 438260985 edges, 35640 markings/sec, 785 secs
lola: 38508019 markings, 440818838 edges, 38291 markings/sec, 790 secs
lola: 38687417 markings, 443374960 edges, 35880 markings/sec, 795 secs
lola: 38871014 markings, 446026341 edges, 36719 markings/sec, 800 secs
lola: 39054527 markings, 448640374 edges, 36703 markings/sec, 805 secs
lola: 39232411 markings, 451234824 edges, 35577 markings/sec, 810 secs
lola: 39425637 markings, 453802800 edges, 38645 markings/sec, 815 secs
lola: 39600504 markings, 456347299 edges, 34973 markings/sec, 820 secs
lola: 39769396 markings, 458899849 edges, 33778 markings/sec, 825 secs
lola: 39949103 markings, 461520947 edges, 35941 markings/sec, 830 secs
lola: 40129836 markings, 464145702 edges, 36147 markings/sec, 835 secs
lola: 40302674 markings, 466781676 edges, 34568 markings/sec, 840 secs
lola: 40470553 markings, 469408683 edges, 33576 markings/sec, 845 secs
lola: 40640386 markings, 472047748 edges, 33967 markings/sec, 850 secs
lola: 40811121 markings, 474664949 edges, 34147 markings/sec, 855 secs
lola: 40986058 markings, 477242933 edges, 34987 markings/sec, 860 secs
lola: 41160106 markings, 479898100 edges, 34810 markings/sec, 865 secs
lola: 41329856 markings, 482518374 edges, 33950 markings/sec, 870 secs
lola: 41496718 markings, 485089419 edges, 33372 markings/sec, 875 secs
lola: 41664680 markings, 487632213 edges, 33592 markings/sec, 880 secs
lola: 41857092 markings, 490278015 edges, 38482 markings/sec, 885 secs
lola: 42048020 markings, 492952141 edges, 38186 markings/sec, 890 secs
lola: 42237213 markings, 495573213 edges, 37839 markings/sec, 895 secs
lola: 42420763 markings, 498167159 edges, 36710 markings/sec, 900 secs
lola: 42601794 markings, 500713611 edges, 36206 markings/sec, 905 secs
lola: 42768364 markings, 503274198 edges, 33314 markings/sec, 910 secs
lola: 42933137 markings, 505819580 edges, 32955 markings/sec, 915 secs
lola: 43095481 markings, 508390177 edges, 32469 markings/sec, 920 secs
lola: 43262049 markings, 510987892 edges, 33314 markings/sec, 925 secs
lola: 43422322 markings, 513565266 edges, 32055 markings/sec, 930 secs
lola: 43589004 markings, 516240905 edges, 33336 markings/sec, 935 secs
lola: 43756570 markings, 518949325 edges, 33513 markings/sec, 940 secs
lola: 43916330 markings, 521620645 edges, 31952 markings/sec, 945 secs
lola: 44078035 markings, 524311961 edges, 32341 markings/sec, 950 secs
lola: 44246668 markings, 527046855 edges, 33727 markings/sec, 955 secs
lola: 44417807 markings, 529812268 edges, 34228 markings/sec, 960 secs
lola: 44569151 markings, 532364408 edges, 30269 markings/sec, 965 secs
lola: 44699885 markings, 534889422 edges, 26147 markings/sec, 970 secs
lola: 44780756 markings, 537277174 edges, 16174 markings/sec, 975 secs
lola: 44864646 markings, 539694518 edges, 16778 markings/sec, 980 secs
lola: 44953801 markings, 542118787 edges, 17831 markings/sec, 985 secs
lola: 45033053 markings, 544513522 edges, 15850 markings/sec, 990 secs
lola: 45107188 markings, 546924044 edges, 14827 markings/sec, 995 secs
lola: 45182811 markings, 549366588 edges, 15125 markings/sec, 1000 secs
lola: 45279878 markings, 551874391 edges, 19413 markings/sec, 1005 secs
lola: 45358420 markings, 554333452 edges, 15708 markings/sec, 1010 secs
lola: 45432607 markings, 556769932 edges, 14837 markings/sec, 1015 secs
lola: 45511639 markings, 559215246 edges, 15806 markings/sec, 1020 secs
lola: 45584578 markings, 561655072 edges, 14588 markings/sec, 1025 secs
lola: 45639732 markings, 564051535 edges, 11031 markings/sec, 1030 secs
lola: 45697570 markings, 566478973 edges, 11568 markings/sec, 1035 secs
lola: 45772711 markings, 568929577 edges, 15028 markings/sec, 1040 secs
lola: 45859092 markings, 571431079 edges, 17276 markings/sec, 1045 secs
lola: 45934083 markings, 573929021 edges, 14998 markings/sec, 1050 secs
lola: 46004607 markings, 576411439 edges, 14105 markings/sec, 1055 secs
lola: 46058567 markings, 578865970 edges, 10792 markings/sec, 1060 secs
lola: 46106771 markings, 581327633 edges, 9641 markings/sec, 1065 secs
lola: 46151152 markings, 583808790 edges, 8876 markings/sec, 1070 secs
lola: 46193638 markings, 586292444 edges, 8497 markings/sec, 1075 secs
lola: 46231879 markings, 588821083 edges, 7648 markings/sec, 1080 secs
lola: 46366108 markings, 591295938 edges, 26846 markings/sec, 1085 secs
lola: 46600135 markings, 594235794 edges, 46805 markings/sec, 1090 secs
lola: 46838499 markings, 597156212 edges, 47673 markings/sec, 1095 secs
lola: 47069669 markings, 600118516 edges, 46234 markings/sec, 1100 secs
lola: 47291101 markings, 603127190 edges, 44286 markings/sec, 1105 secs
lola: 47522687 markings, 606060180 edges, 46317 markings/sec, 1110 secs
lola: 47744927 markings, 609036026 edges, 44448 markings/sec, 1115 secs
lola: 47969668 markings, 612039965 edges, 44948 markings/sec, 1120 secs
lola: 48186724 markings, 614966873 edges, 43411 markings/sec, 1125 secs
lola: 48404076 markings, 617919888 edges, 43470 markings/sec, 1130 secs
lola: 48634014 markings, 620808975 edges, 45988 markings/sec, 1135 secs
lola: 48877712 markings, 623704499 edges, 48740 markings/sec, 1140 secs
lola: 49089776 markings, 626653242 edges, 42413 markings/sec, 1145 secs
lola: 49318631 markings, 629543677 edges, 45771 markings/sec, 1150 secs
lola: 49548003 markings, 632441164 edges, 45874 markings/sec, 1155 secs
lola: 49776869 markings, 635334686 edges, 45773 markings/sec, 1160 secs
lola: 50010836 markings, 638186002 edges, 46793 markings/sec, 1165 secs
lola: 50244821 markings, 641054423 edges, 46797 markings/sec, 1170 secs
lola: 50466531 markings, 643838664 edges, 44342 markings/sec, 1175 secs
lola: 50683114 markings, 646744927 edges, 43317 markings/sec, 1180 secs
lola: 50905061 markings, 649628524 edges, 44389 markings/sec, 1185 secs
lola: 51133712 markings, 652532177 edges, 45730 markings/sec, 1190 secs
lola: 51376461 markings, 655353421 edges, 48550 markings/sec, 1195 secs
lola: 51592487 markings, 658239684 edges, 43205 markings/sec, 1200 secs
lola: 51819962 markings, 661068426 edges, 45495 markings/sec, 1205 secs
lola: 52049629 markings, 663886017 edges, 45933 markings/sec, 1210 secs
lola: 52271625 markings, 666733122 edges, 44399 markings/sec, 1215 secs
lola: 52503048 markings, 669576376 edges, 46285 markings/sec, 1220 secs
lola: 52734108 markings, 672396610 edges, 46212 markings/sec, 1225 secs
lola: 52962106 markings, 675225223 edges, 45600 markings/sec, 1230 secs
lola: 53189177 markings, 678022632 edges, 45414 markings/sec, 1235 secs
lola: 53412861 markings, 680865882 edges, 44737 markings/sec, 1240 secs
lola: 53629301 markings, 683676411 edges, 43288 markings/sec, 1245 secs
lola: 53854743 markings, 686517760 edges, 45088 markings/sec, 1250 secs
lola: 54073284 markings, 689347525 edges, 43708 markings/sec, 1255 secs
lola: 54295718 markings, 692163673 edges, 44487 markings/sec, 1260 secs
lola: 54528787 markings, 694963073 edges, 46614 markings/sec, 1265 secs
lola: 54753353 markings, 697782695 edges, 44913 markings/sec, 1270 secs
lola: 54984129 markings, 700630987 edges, 46155 markings/sec, 1275 secs
lola: 55212290 markings, 703468537 edges, 45632 markings/sec, 1280 secs
lola: 55445318 markings, 706247309 edges, 46606 markings/sec, 1285 secs
lola: 55671573 markings, 709032282 edges, 45251 markings/sec, 1290 secs
lola: 55898980 markings, 711827903 edges, 45481 markings/sec, 1295 secs
lola: 56130499 markings, 714630340 edges, 46304 markings/sec, 1300 secs
lola: 56358806 markings, 717423131 edges, 45661 markings/sec, 1305 secs
lola: 56578437 markings, 720234270 edges, 43926 markings/sec, 1310 secs
lola: 56796499 markings, 723047079 edges, 43612 markings/sec, 1315 secs
lola: 57018240 markings, 725865340 edges, 44348 markings/sec, 1320 secs
lola: 57245546 markings, 728642937 edges, 45461 markings/sec, 1325 secs
lola: 57460125 markings, 731195803 edges, 42916 markings/sec, 1330 secs
lola: 57676914 markings, 733987331 edges, 43358 markings/sec, 1335 secs
lola: 57903082 markings, 736772592 edges, 45234 markings/sec, 1340 secs
lola: 58128663 markings, 739548011 edges, 45116 markings/sec, 1345 secs
lola: 58355146 markings, 742336845 edges, 45297 markings/sec, 1350 secs
lola: 58584127 markings, 745114796 edges, 45796 markings/sec, 1355 secs
lola: 58805321 markings, 747899720 edges, 44239 markings/sec, 1360 secs
lola: 59041901 markings, 750646845 edges, 47316 markings/sec, 1365 secs
lola: 59264044 markings, 753427773 edges, 44429 markings/sec, 1370 secs
lola: 59489577 markings, 756184261 edges, 45107 markings/sec, 1375 secs
lola: 59721108 markings, 758948414 edges, 46306 markings/sec, 1380 secs
lola: 59946102 markings, 761722968 edges, 44999 markings/sec, 1385 secs
lola: 60169807 markings, 764485461 edges, 44741 markings/sec, 1390 secs
lola: 60386337 markings, 767263458 edges, 43306 markings/sec, 1395 secs
lola: 60613728 markings, 770036607 edges, 45478 markings/sec, 1400 secs
lola: 60840936 markings, 772790608 edges, 45442 markings/sec, 1405 secs
lola: 61061950 markings, 775552168 edges, 44203 markings/sec, 1410 secs
lola: 61282953 markings, 778317395 edges, 44201 markings/sec, 1415 secs
lola: 61498496 markings, 781096761 edges, 43109 markings/sec, 1420 secs
lola: 61713992 markings, 783856934 edges, 43099 markings/sec, 1425 secs
lola: 61930298 markings, 786612329 edges, 43261 markings/sec, 1430 secs
lola: 62151105 markings, 789395554 edges, 44161 markings/sec, 1435 secs
lola: 62372774 markings, 792137040 edges, 44334 markings/sec, 1440 secs
lola: 62591842 markings, 794935176 edges, 43814 markings/sec, 1445 secs
lola: 62813159 markings, 797681706 edges, 44263 markings/sec, 1450 secs
lola: 63030293 markings, 800445795 edges, 43427 markings/sec, 1455 secs
lola: 63249304 markings, 803218502 edges, 43802 markings/sec, 1460 secs
lola: 63468633 markings, 805974895 edges, 43866 markings/sec, 1465 secs
lola: 63687761 markings, 808718062 edges, 43826 markings/sec, 1470 secs
lola: 63910681 markings, 811452437 edges, 44584 markings/sec, 1475 secs
lola: 64126786 markings, 814200725 edges, 43221 markings/sec, 1480 secs
lola: 64343190 markings, 816943534 edges, 43281 markings/sec, 1485 secs
lola: 64561379 markings, 819683200 edges, 43638 markings/sec, 1490 secs
lola: 64780859 markings, 822435321 edges, 43896 markings/sec, 1495 secs
lola: 64995038 markings, 825185526 edges, 42836 markings/sec, 1500 secs
lola: 65211021 markings, 827902365 edges, 43197 markings/sec, 1505 secs
lola: 65428163 markings, 830632569 edges, 43428 markings/sec, 1510 secs
lola: 65641972 markings, 833393898 edges, 42762 markings/sec, 1515 secs
lola: 65858155 markings, 836148172 edges, 43237 markings/sec, 1520 secs
lola: 66070006 markings, 838889552 edges, 42370 markings/sec, 1525 secs
lola: 66283076 markings, 841643041 edges, 42614 markings/sec, 1530 secs
lola: 66500430 markings, 844379450 edges, 43471 markings/sec, 1535 secs
lola: 66714201 markings, 847102204 edges, 42754 markings/sec, 1540 secs
lola: 66930055 markings, 849836176 edges, 43171 markings/sec, 1545 secs
lola: 67144901 markings, 852612271 edges, 42969 markings/sec, 1550 secs
lola: 67355113 markings, 855354002 edges, 42042 markings/sec, 1555 secs
lola: 67569906 markings, 858062641 edges, 42959 markings/sec, 1560 secs
lola: 67788631 markings, 860797228 edges, 43745 markings/sec, 1565 secs
lola: 68000489 markings, 863523861 edges, 42372 markings/sec, 1570 secs
lola: 68218557 markings, 866257383 edges, 43614 markings/sec, 1575 secs
lola: 68432578 markings, 868988626 edges, 42804 markings/sec, 1580 secs
lola: 68649704 markings, 871719453 edges, 43425 markings/sec, 1585 secs
lola: 68860366 markings, 874456099 edges, 42132 markings/sec, 1590 secs
lola: 69080868 markings, 877162949 edges, 44100 markings/sec, 1595 secs
lola: 69300258 markings, 879867488 edges, 43878 markings/sec, 1600 secs
lola: 69513492 markings, 882581969 edges, 42647 markings/sec, 1605 secs
lola: 69723134 markings, 885306266 edges, 41928 markings/sec, 1610 secs
lola: 69941437 markings, 888030168 edges, 43661 markings/sec, 1615 secs
lola: 70164819 markings, 890744329 edges, 44676 markings/sec, 1620 secs
lola: 70384091 markings, 893463336 edges, 43854 markings/sec, 1625 secs
lola: 70598722 markings, 896191592 edges, 42926 markings/sec, 1630 secs
lola: 70810447 markings, 898920793 edges, 42345 markings/sec, 1635 secs
lola: 71019700 markings, 901654726 edges, 41851 markings/sec, 1640 secs
lola: 71234302 markings, 904378274 edges, 42920 markings/sec, 1645 secs
lola: 71450613 markings, 907067546 edges, 43262 markings/sec, 1650 secs
lola: 71668485 markings, 909781482 edges, 43574 markings/sec, 1655 secs
lola: 71879034 markings, 912492331 edges, 42110 markings/sec, 1660 secs
lola: 72094706 markings, 915203471 edges, 43134 markings/sec, 1665 secs
lola: 72307041 markings, 917906385 edges, 42467 markings/sec, 1670 secs
lola: 72522065 markings, 920617364 edges, 43005 markings/sec, 1675 secs
lola: 72733147 markings, 923336406 edges, 42216 markings/sec, 1680 secs
lola: 72943693 markings, 926044949 edges, 42109 markings/sec, 1685 secs
lola: 73154135 markings, 928748803 edges, 42088 markings/sec, 1690 secs
lola: 73364374 markings, 931458798 edges, 42048 markings/sec, 1695 secs
lola: 73572018 markings, 934166151 edges, 41529 markings/sec, 1700 secs
lola: 73786278 markings, 936881313 edges, 42852 markings/sec, 1705 secs
lola: 73994933 markings, 939587956 edges, 41731 markings/sec, 1710 secs
lola: 74207991 markings, 942300229 edges, 42612 markings/sec, 1715 secs
lola: 74424959 markings, 944989463 edges, 43394 markings/sec, 1720 secs
lola: 74637197 markings, 947681144 edges, 42448 markings/sec, 1725 secs
lola: 74842205 markings, 950396822 edges, 41002 markings/sec, 1730 secs
lola: 75050111 markings, 953096567 edges, 41581 markings/sec, 1735 secs
lola: 75258876 markings, 955795050 edges, 41753 markings/sec, 1740 secs
lola: 75467158 markings, 958528402 edges, 41656 markings/sec, 1745 secs
lola: 75684191 markings, 961203091 edges, 43407 markings/sec, 1750 secs
lola: 75892241 markings, 963915303 edges, 41610 markings/sec, 1755 secs
lola: 76110687 markings, 966624671 edges, 43689 markings/sec, 1760 secs
lola: 76322673 markings, 969339996 edges, 42397 markings/sec, 1765 secs
lola: 76520078 markings, 972055861 edges, 39481 markings/sec, 1770 secs
lola: 76730733 markings, 974802093 edges, 42131 markings/sec, 1775 secs
lola: 76946550 markings, 977493321 edges, 43163 markings/sec, 1780 secs
lola: 77157132 markings, 980192014 edges, 42116 markings/sec, 1785 secs
lola: 77372123 markings, 982878103 edges, 42998 markings/sec, 1790 secs
lola: 77580504 markings, 985573543 edges, 41676 markings/sec, 1795 secs
lola: 77786833 markings, 988270172 edges, 41266 markings/sec, 1800 secs
lola: 77995079 markings, 990983999 edges, 41649 markings/sec, 1805 secs
lola: 78202777 markings, 993690737 edges, 41540 markings/sec, 1810 secs
lola: 78407525 markings, 996368987 edges, 40950 markings/sec, 1815 secs
lola: 78614684 markings, 999045872 edges, 41432 markings/sec, 1820 secs
lola: 78821961 markings, 1001737608 edges, 41455 markings/sec, 1825 secs
lola: 79024506 markings, 1004441918 edges, 40509 markings/sec, 1830 secs
lola: 79230023 markings, 1007134358 edges, 41103 markings/sec, 1835 secs
lola: 79435085 markings, 1009840192 edges, 41012 markings/sec, 1840 secs
lola: 79637476 markings, 1012534497 edges, 40478 markings/sec, 1845 secs
lola: 79843355 markings, 1015230799 edges, 41176 markings/sec, 1850 secs
lola: 80047041 markings, 1017912022 edges, 40737 markings/sec, 1855 secs
lola: 80248609 markings, 1020584023 edges, 40314 markings/sec, 1860 secs
lola: 80452899 markings, 1023288735 edges, 40858 markings/sec, 1865 secs
lola: 80658772 markings, 1025984860 edges, 41175 markings/sec, 1870 secs
lola: 80871368 markings, 1028686185 edges, 42519 markings/sec, 1875 secs
lola: 81078975 markings, 1031350556 edges, 41521 markings/sec, 1880 secs
lola: 81283316 markings, 1034035768 edges, 40868 markings/sec, 1885 secs
lola: 81485869 markings, 1036718434 edges, 40511 markings/sec, 1890 secs
lola: 81691884 markings, 1039408598 edges, 41203 markings/sec, 1895 secs
lola: 81895970 markings, 1042086338 edges, 40817 markings/sec, 1900 secs
lola: 82100396 markings, 1044766708 edges, 40885 markings/sec, 1905 secs
lola: 82305744 markings, 1047402233 edges, 41070 markings/sec, 1910 secs
lola: 82513419 markings, 1050080145 edges, 41535 markings/sec, 1915 secs
lola: 82714943 markings, 1052757762 edges, 40305 markings/sec, 1920 secs
lola: 82918169 markings, 1055470102 edges, 40645 markings/sec, 1925 secs
lola: 83120689 markings, 1058137581 edges, 40504 markings/sec, 1930 secs
lola: 83323438 markings, 1060813398 edges, 40550 markings/sec, 1935 secs
lola: 83525380 markings, 1063514530 edges, 40388 markings/sec, 1940 secs
lola: 83725438 markings, 1066155729 edges, 40012 markings/sec, 1945 secs
lola: 83930027 markings, 1068838821 edges, 40918 markings/sec, 1950 secs
lola: 84131697 markings, 1071524381 edges, 40334 markings/sec, 1955 secs
lola: 84338044 markings, 1074223662 edges, 41269 markings/sec, 1960 secs
lola: 84538579 markings, 1076884970 edges, 40107 markings/sec, 1965 secs
lola: 84740047 markings, 1079578537 edges, 40294 markings/sec, 1970 secs
lola: 84937736 markings, 1082264044 edges, 39538 markings/sec, 1975 secs
lola: 85134365 markings, 1084931686 edges, 39326 markings/sec, 1980 secs
lola: 85335319 markings, 1087589986 edges, 40191 markings/sec, 1985 secs
lola: 85536518 markings, 1090268279 edges, 40240 markings/sec, 1990 secs
lola: 85736416 markings, 1092933953 edges, 39980 markings/sec, 1995 secs
lola: 85939973 markings, 1095587825 edges, 40711 markings/sec, 2000 secs
lola: 86138543 markings, 1098291603 edges, 39714 markings/sec, 2005 secs
lola: 86343403 markings, 1100960688 edges, 40972 markings/sec, 2010 secs
lola: 86542753 markings, 1103633774 edges, 39870 markings/sec, 2015 secs
lola: 86744649 markings, 1106305047 edges, 40379 markings/sec, 2020 secs
lola: 86944032 markings, 1108988524 edges, 39877 markings/sec, 2025 secs
lola: 87153304 markings, 1111662294 edges, 41854 markings/sec, 2030 secs
lola: 87356094 markings, 1114363128 edges, 40558 markings/sec, 2035 secs
lola: 87565736 markings, 1117044932 edges, 41928 markings/sec, 2040 secs
lola: 87767495 markings, 1119728132 edges, 40352 markings/sec, 2045 secs
lola: 87970879 markings, 1122383274 edges, 40677 markings/sec, 2050 secs
lola: 88174886 markings, 1125068899 edges, 40801 markings/sec, 2055 secs
lola: 88374659 markings, 1127758343 edges, 39955 markings/sec, 2060 secs
lola: 88573739 markings, 1130429654 edges, 39816 markings/sec, 2065 secs
lola: 88769135 markings, 1133094689 edges, 39079 markings/sec, 2070 secs
lola: 88966650 markings, 1135795586 edges, 39503 markings/sec, 2075 secs
lola: 89161047 markings, 1138449812 edges, 38879 markings/sec, 2080 secs
lola: 89361243 markings, 1141122802 edges, 40039 markings/sec, 2085 secs
lola: 89563151 markings, 1143813837 edges, 40382 markings/sec, 2090 secs
lola: 89761876 markings, 1146496711 edges, 39745 markings/sec, 2095 secs
lola: 89959660 markings, 1149161264 edges, 39557 markings/sec, 2100 secs
lola: 90158899 markings, 1151835664 edges, 39848 markings/sec, 2105 secs
lola: 90363349 markings, 1154496376 edges, 40890 markings/sec, 2110 secs
lola: 90560899 markings, 1157142161 edges, 39510 markings/sec, 2115 secs
lola: 90764001 markings, 1159839598 edges, 40620 markings/sec, 2120 secs
lola: 90959800 markings, 1162503189 edges, 39160 markings/sec, 2125 secs
lola: 91161836 markings, 1165174411 edges, 40407 markings/sec, 2130 secs
lola: 91360620 markings, 1167831098 edges, 39757 markings/sec, 2135 secs
lola: 91568730 markings, 1170487866 edges, 41622 markings/sec, 2140 secs
lola: 91767047 markings, 1173149715 edges, 39663 markings/sec, 2145 secs
lola: 91966301 markings, 1175793794 edges, 39851 markings/sec, 2150 secs
lola: 92167403 markings, 1178488654 edges, 40220 markings/sec, 2155 secs
lola: 92358748 markings, 1181165833 edges, 38269 markings/sec, 2160 secs
lola: 92563601 markings, 1183841211 edges, 40971 markings/sec, 2165 secs
lola: 92766763 markings, 1186516372 edges, 40632 markings/sec, 2170 secs
lola: 92959122 markings, 1189216333 edges, 38472 markings/sec, 2175 secs
lola: 93162972 markings, 1191889920 edges, 40770 markings/sec, 2180 secs
lola: 93363186 markings, 1194546777 edges, 40043 markings/sec, 2185 secs
lola: 93566658 markings, 1197233416 edges, 40694 markings/sec, 2190 secs
lola: 93766745 markings, 1199915005 edges, 40017 markings/sec, 2195 secs
lola: 93966495 markings, 1202589886 edges, 39950 markings/sec, 2200 secs
lola: 94167521 markings, 1205273048 edges, 40205 markings/sec, 2205 secs
lola: 94362747 markings, 1207950250 edges, 39045 markings/sec, 2210 secs
lola: 94561533 markings, 1210664046 edges, 39757 markings/sec, 2215 secs
lola: 94759942 markings, 1213345903 edges, 39682 markings/sec, 2220 secs
lola: 94955743 markings, 1216030633 edges, 39160 markings/sec, 2225 secs
lola: 95150568 markings, 1218712532 edges, 38965 markings/sec, 2230 secs
lola: 95349005 markings, 1221384925 edges, 39687 markings/sec, 2235 secs
lola: 95537248 markings, 1224051165 edges, 37649 markings/sec, 2240 secs
lola: 95734538 markings, 1226717619 edges, 39458 markings/sec, 2245 secs
lola: 95929933 markings, 1229388757 edges, 39079 markings/sec, 2250 secs
lola: 96127002 markings, 1232061486 edges, 39414 markings/sec, 2255 secs
lola: 96300707 markings, 1234363101 edges, 34741 markings/sec, 2260 secs
lola: 96429159 markings, 1236113594 edges, 25690 markings/sec, 2265 secs
lola: 96557100 markings, 1237857260 edges, 25588 markings/sec, 2270 secs
lola: 96661637 markings, 1239260771 edges, 20907 markings/sec, 2275 secs
lola: 96661673 markings, 1239260963 edges, 7 markings/sec, 2280 secs
lola: 96661723 markings, 1239261164 edges, 10 markings/sec, 2285 secs
lola: 96663487 markings, 1239285141 edges, 353 markings/sec, 2290 secs
lola: 96663522 markings, 1239285918 edges, 7 markings/sec, 2295 secs
lola: 96663553 markings, 1239286076 edges, 6 markings/sec, 2300 secs
lola: 96664134 markings, 1239292968 edges, 116 markings/sec, 2305 secs
lola: 96666619 markings, 1239326862 edges, 497 markings/sec, 2310 secs
lola: 96688059 markings, 1239625441 edges, 4288 markings/sec, 2315 secs
lola: 96688676 markings, 1239634506 edges, 123 markings/sec, 2320 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes yes unknown no no yes no no no no no no no no no no
lola:
preliminary result: yes yes unknown no no yes no no no no no no no no no no
lola: memory consumption: 13792 KB
lola: time consumption: 3115 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

BK_STOP 1589301695654

--------------------
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-06a"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
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 win2019"
echo " Input is AutoFlight-PT-06a, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r015-smll-158897552800114"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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