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

About the Execution of 2019-Gold for AutoFlight-PT-12b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
7581.900 3570107.00 3619307.00 9482.60 FF??FF?TT?TT?FFF 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-158897552800120.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-12b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552800120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 444K
-rw-r--r-- 1 mcc users 3.4K Mar 25 23:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 23:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:35 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.0K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 10:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 10:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 266K 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-12b-00
FORMULA_NAME AutoFlight-PT-12b-01
FORMULA_NAME AutoFlight-PT-12b-02
FORMULA_NAME AutoFlight-PT-12b-03
FORMULA_NAME AutoFlight-PT-12b-04
FORMULA_NAME AutoFlight-PT-12b-05
FORMULA_NAME AutoFlight-PT-12b-06
FORMULA_NAME AutoFlight-PT-12b-07
FORMULA_NAME AutoFlight-PT-12b-08
FORMULA_NAME AutoFlight-PT-12b-09
FORMULA_NAME AutoFlight-PT-12b-10
FORMULA_NAME AutoFlight-PT-12b-11
FORMULA_NAME AutoFlight-PT-12b-12
FORMULA_NAME AutoFlight-PT-12b-13
FORMULA_NAME AutoFlight-PT-12b-14
FORMULA_NAME AutoFlight-PT-12b-15

=== Now, execution of the tool begins

BK_START 1589306929441

info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ AutoFlight-PT-12b @ 3570 seconds

FORMULA AutoFlight-PT-12b-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-12b-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

FORMULA AutoFlight-PT-12b-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-12b-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-12b-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

{
"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 18:08:49 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 2,
"U": 1,
"X": 5,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"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 ((F (FIREABLE(t948)) OR (X (FIREABLE(t948)) U (X (X (G (FIREABLE(t1019)))) AND (F (NOT FIREABLE(t176)) OR X (X (G (FIREABLE(t1019)))))))))",
"processed_size": 140,
"rewrites": 143
},
"result":
{
"edges": 540,
"markings": 540,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 32
},
"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": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 5,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 5,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A ((X ((FIREABLE(t306) R NOT FIREABLE(t901))) OR (NOT FIREABLE(t856) AND (F (NOT FIREABLE(t491)) OR G (NOT FIREABLE(t856))))))",
"processed_size": 126,
"rewrites": 143
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 3,
"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": 257
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"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": 3
},
"processed": "A ((NOT FIREABLE(t1010) R (NOT FIREABLE(t636) OR X (G (NOT FIREABLE(t459))))))",
"processed_size": 78,
"rewrites": 143
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"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": 281
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"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 ((X ((FIREABLE(t908) OR F (NOT FIREABLE(t1025)))) U NOT FIREABLE(t908)))",
"processed_size": 74,
"rewrites": 143
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 6,
"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": 312
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 2,
"X": 4,
"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": 4,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X (X (X (((FIREABLE(t118) U (X (FIREABLE(t771)) U NOT FIREABLE(t118))) OR F (FIREABLE(t40)))))))",
"processed_size": 99,
"rewrites": 143
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 8
},
"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": 351
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 351
},
"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(t141)))",
"processed_size": 22,
"rewrites": 145
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 9,
"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": 9,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 409
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 5,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((X (X (FIREABLE(t146))) U FIREABLE(t767)) OR X (X ((FIREABLE(t146) AND X (G (FIREABLE(t413))))))))",
"processed_size": 102,
"rewrites": 143
},
"result":
{
"edges": 544,
"markings": 544,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 17
},
"compoundnumber": 10,
"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": 491
},
"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": 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 (G (NOT FIREABLE(t479)))",
"processed_size": 26,
"rewrites": 145
},
"result":
{
"edges": 25,
"markings": 26,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 11,
"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"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 615
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 5,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 6,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 3,
"tdisj": 2,
"tneg": 0,
"transition_references": 6,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F (((FIREABLE(t479) OR (F (FIREABLE(t479)) AND F (G (FIREABLE(t479))))) AND F (G ((F (FIREABLE(t479)) AND (FIREABLE(t878) OR FIREABLE(t479))))))))",
"processed_size": 149,
"rewrites": 143
},
"result":
{
"edges": 543,
"markings": 543,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 22
},
"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": 922
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"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": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F (G ((FIREABLE(t526) AND NOT FIREABLE(t63)))))",
"processed_size": 50,
"rewrites": 143
},
"result":
{
"edges": 545,
"markings": 544,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 14,
"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": 1845
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1845
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"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": "FIREABLE(t697)",
"processed_size": 14,
"rewrites": 143
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 7538568,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(G(**)) : A((F(**) OR (X(**) U (X(X(G(**))) AND (F(*) OR X(X(G(**)))))))) : A(G(F((* OR G(*))))) : A(X(G((F(**) OR (F(**) AND F(G(**))))))) : A(F(((** OR (F(**) AND F(G(**)))) AND F(G((F(**) AND (** OR **))))))) : A(F(G(**))) : A(G(F((X(F(*)) R (* AND X(G(*))))))) : A((X((* R *)) OR (* AND (F(*) OR G(*))))) : A((* R (* OR X(G(*))))) : A(X(((X((* R *)) AND G(*)) R X(*)))) : A((X((** OR F(*))) U **)) : A(X(X(X(((** U (X(**) U **)) OR F(**)))))) : A(X(X(G(((* OR F(G(*))) AND G(*)))))) : (A(G(**)) AND (A(G(F(**))) AND A(G((F(**) OR X(F(**))))))) : A(((X(X(**)) U **) OR X(X((** AND X(G(**))))))) : (** AND A(F((* AND F(*)))))"
},
"net":
{
"arcs": 2618,
"conflict_clusters": 978,
"places": 1126,
"places_significant": 1050,
"singleton_clusters": 0,
"transitions": 1124
},
"result":
{
"interim_value": "no no unknown unknown no no unknown yes yes unknown yes yes unknown no no no ",
"preliminary_value": "no no unknown unknown no no unknown yes yes unknown yes yes unknown 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: 2250/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1126
lola: finding significant places
lola: 1126 places, 1124 transitions, 1050 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 (G (NOT FIREABLE(t479))) : A ((F (FIREABLE(t948)) OR (X (FIREABLE(t948)) U NOT((G (FIREABLE(t176)) U X (NOT(X (G (FIREABLE(t1019)))))))))) : A (G (NOT((FIREABLE(t262) U F (G ((FIREABLE(t561) AND F (FIREABLE(t857))))))))) : A (G (X ((X (F (X (G (FIREABLE(t128))))) U F (NOT FIREABLE(t642)))))) : A (F (((F (G (FIREABLE(t479))) U FIREABLE(t479)) AND (FIREABLE(t959) U F (G (X ((FIREABLE(t878) U FIREABLE(t479))))))))) : A (F (X (X (G ((FIREABLE(t526) AND NOT FIREABLE(t63))))))) : A (G (F (X (NOT((X (G (FIREABLE(t855))) U (FIREABLE(t855) OR F (X (FIREABLE(t855)))))))))) : A (NOT((X ((NOT FIREABLE(t306) U FIREABLE(t901))) AND (G (FIREABLE(t491)) U FIREABLE(t856))))) : A (NOT((FIREABLE(t1010) U (FIREABLE(t636) AND F (X (FIREABLE(t459))))))) : A (NOT(X (((X ((FIREABLE(t1090) U FIREABLE(t1004))) OR F ((FIREABLE(t1004) OR NOT FIREABLE(t887)))) U X (FIREABLE(t1090)))))) : A (((X (FIREABLE(t908)) OR NOT(G (X (G (FIREABLE(t1025)))))) U NOT FIREABLE(t908))) : A (X (X (X (((FIREABLE(t118) U (X (FIREABLE(t771)) U NOT FIREABLE(t118))) OR F (FIREABLE(t40))))))) : A (NOT(X (F (NOT(G (NOT(X (((FIREABLE(t180) AND G (F (FIREABLE(t785)))) OR F (FIREABLE(t361))))))))))) : A (G ((FIREABLE(t141) AND (F (FIREABLE(t503)) U X (F (FIREABLE(t241))))))) : A (((X (X (FIREABLE(t146))) U FIREABLE(t767)) OR X (X ((FIREABLE(t146) AND G (X (FIREABLE(t413)))))))) : A ((FIREABLE(t697) AND F (NOT((FIREABLE(t1116) OR G (NOT FIREABLE(t1116)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:422
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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: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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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: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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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: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:545
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(t948)) OR (X (FIREABLE(t948)) U (X (X (G (FIREABLE(t1019)))) AND (F (NOT FIREABLE(t176)) OR X (X (G (FIREABLE(t1019)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(t948)) OR (X (FIREABLE(t948)) U (X (X (G (FIREABLE(t1019)))) AND (F (NOT FIREABLE(t176)) OR X (X (G (FIREABLE(t1019)))))))))
lola: processed formula length: 140
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 32 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: 540 markings, 540 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((F (NOT FIREABLE(t642)) OR (F (NOT FIREABLE(t642)) AND F (G (FIREABLE(t128))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((F (NOT FIREABLE(t642)) OR (F (NOT FIREABLE(t642)) AND F (G (FIREABLE(t128))))))))
lola: processed formula length: 91
lola: 143 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: 88747 markings, 484811 edges, 17749 markings/sec, 0 secs
lola: 168437 markings, 969192 edges, 15938 markings/sec, 5 secs
lola: 248362 markings, 1457431 edges, 15985 markings/sec, 10 secs
lola: 316600 markings, 1944155 edges, 13648 markings/sec, 15 secs
lola: 387945 markings, 2431593 edges, 14269 markings/sec, 20 secs
lola: 463438 markings, 2914817 edges, 15099 markings/sec, 25 secs
lola: 530769 markings, 3397812 edges, 13466 markings/sec, 30 secs
lola: 602668 markings, 3886049 edges, 14380 markings/sec, 35 secs
lola: 666029 markings, 4370875 edges, 12672 markings/sec, 40 secs
lola: 725642 markings, 4859973 edges, 11923 markings/sec, 45 secs
lola: 791769 markings, 5348013 edges, 13225 markings/sec, 50 secs
lola: 865212 markings, 5833844 edges, 14689 markings/sec, 55 secs
lola: 932324 markings, 6314725 edges, 13422 markings/sec, 60 secs
lola: 1008623 markings, 6801504 edges, 15260 markings/sec, 65 secs
lola: 1076749 markings, 7286860 edges, 13625 markings/sec, 70 secs
lola: 1147911 markings, 7773057 edges, 14232 markings/sec, 75 secs
lola: 1223791 markings, 8262670 edges, 15176 markings/sec, 80 secs
lola: 1292180 markings, 8753155 edges, 13678 markings/sec, 85 secs
lola: 1365122 markings, 9243316 edges, 14588 markings/sec, 90 secs
lola: 1440219 markings, 9729737 edges, 15019 markings/sec, 95 secs
lola: 1508077 markings, 10214582 edges, 13572 markings/sec, 100 secs
lola: 1580267 markings, 10707242 edges, 14438 markings/sec, 105 secs
lola: 1643166 markings, 11193466 edges, 12580 markings/sec, 110 secs
lola: 1702403 markings, 11677848 edges, 11847 markings/sec, 115 secs
lola: 1766925 markings, 12165544 edges, 12904 markings/sec, 120 secs
lola: 1830960 markings, 12653364 edges, 12807 markings/sec, 125 secs
lola: 1889567 markings, 13137331 edges, 11721 markings/sec, 130 secs
lola: 1952599 markings, 13623692 edges, 12606 markings/sec, 135 secs
lola: 2010503 markings, 14110225 edges, 11581 markings/sec, 140 secs
lola: 2062655 markings, 14598426 edges, 10430 markings/sec, 145 secs
lola: 2117955 markings, 15083844 edges, 11060 markings/sec, 150 secs
lola: 2181300 markings, 15571048 edges, 12669 markings/sec, 155 secs
lola: 2241325 markings, 16056976 edges, 12005 markings/sec, 160 secs
lola: 2302179 markings, 16540481 edges, 12171 markings/sec, 165 secs
lola: 2368171 markings, 17024106 edges, 13198 markings/sec, 170 secs
lola: 2429274 markings, 17510845 edges, 12221 markings/sec, 175 secs
lola: 2489559 markings, 17996678 edges, 12057 markings/sec, 180 secs
lola: 2555870 markings, 18486952 edges, 13262 markings/sec, 185 secs
lola: 2618491 markings, 18976980 edges, 12524 markings/sec, 190 secs
lola: 2678877 markings, 19467853 edges, 12077 markings/sec, 195 secs
lola: 2753235 markings, 19959479 edges, 14872 markings/sec, 200 secs
lola: 2832018 markings, 20441362 edges, 15757 markings/sec, 205 secs
lola: 2915363 markings, 20925282 edges, 16669 markings/sec, 210 secs
lola: 2991605 markings, 21411503 edges, 15248 markings/sec, 215 secs
lola: 3058538 markings, 21892272 edges, 13387 markings/sec, 220 secs
lola: 3133508 markings, 22380072 edges, 14994 markings/sec, 225 secs
lola: 3204503 markings, 22859582 edges, 14199 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1097876 KB
lola: time consumption: 241 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 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((X (F (NOT FIREABLE(t855))) R (NOT FIREABLE(t855) AND X (G (NOT FIREABLE(t855))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((X (F (NOT FIREABLE(t855))) R (NOT FIREABLE(t855) AND X (G (NOT FIREABLE(t855))))))))
lola: processed formula length: 94
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 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: 88355 markings, 481709 edges, 17671 markings/sec, 0 secs
lola: 167068 markings, 962832 edges, 15743 markings/sec, 5 secs
lola: 246798 markings, 1447050 edges, 15946 markings/sec, 10 secs
lola: 314471 markings, 1929629 edges, 13535 markings/sec, 15 secs
lola: 385480 markings, 2414839 edges, 14202 markings/sec, 20 secs
lola: 461142 markings, 2898502 edges, 15132 markings/sec, 25 secs
lola: 528375 markings, 3383793 edges, 13447 markings/sec, 30 secs
lola: 600059 markings, 3867839 edges, 14337 markings/sec, 35 secs
lola: 663700 markings, 4352549 edges, 12728 markings/sec, 40 secs
lola: 722125 markings, 4835008 edges, 11685 markings/sec, 45 secs
lola: 787631 markings, 5321147 edges, 13101 markings/sec, 50 secs
lola: 861219 markings, 5806370 edges, 14718 markings/sec, 55 secs
lola: 928933 markings, 6290523 edges, 13543 markings/sec, 60 secs
lola: 1004919 markings, 6777297 edges, 15197 markings/sec, 65 secs
lola: 1073301 markings, 7259541 edges, 13676 markings/sec, 70 secs
lola: 1143268 markings, 7742682 edges, 13993 markings/sec, 75 secs
lola: 1218866 markings, 8230035 edges, 15120 markings/sec, 80 secs
lola: 1287084 markings, 8716045 edges, 13644 markings/sec, 85 secs
lola: 1358994 markings, 9207452 edges, 14382 markings/sec, 90 secs
lola: 1434841 markings, 9693076 edges, 15169 markings/sec, 95 secs
lola: 1502010 markings, 10175799 edges, 13434 markings/sec, 100 secs
lola: 1573772 markings, 10662510 edges, 14352 markings/sec, 105 secs
lola: 1637812 markings, 11150800 edges, 12808 markings/sec, 110 secs
lola: 1696972 markings, 11637781 edges, 11832 markings/sec, 115 secs
lola: 1761691 markings, 12128303 edges, 12944 markings/sec, 120 secs
lola: 1825737 markings, 12611706 edges, 12809 markings/sec, 125 secs
lola: 1884337 markings, 13095620 edges, 11720 markings/sec, 130 secs
lola: 1947293 markings, 13584485 edges, 12591 markings/sec, 135 secs
lola: 2005667 markings, 14070252 edges, 11675 markings/sec, 140 secs
lola: 2057451 markings, 14553825 edges, 10357 markings/sec, 145 secs
lola: 2111963 markings, 15033747 edges, 10902 markings/sec, 150 secs
lola: 2175134 markings, 15521033 edges, 12634 markings/sec, 155 secs
lola: 2235523 markings, 16005407 edges, 12078 markings/sec, 160 secs
lola: 2295835 markings, 16490424 edges, 12062 markings/sec, 165 secs
lola: 2362637 markings, 16982436 edges, 13360 markings/sec, 170 secs
lola: 2424503 markings, 17468048 edges, 12373 markings/sec, 175 secs
lola: 2484074 markings, 17952269 edges, 11914 markings/sec, 180 secs
lola: 2549584 markings, 18443621 edges, 13102 markings/sec, 185 secs
lola: 2613651 markings, 18935694 edges, 12813 markings/sec, 190 secs
lola: 2673281 markings, 19424925 edges, 11926 markings/sec, 195 secs
lola: 2743921 markings, 19913948 edges, 14128 markings/sec, 200 secs
lola: 2825353 markings, 20395623 edges, 16286 markings/sec, 205 secs
lola: 2904032 markings, 20858964 edges, 15736 markings/sec, 210 secs
lola: 2982214 markings, 21344011 edges, 15636 markings/sec, 215 secs
lola: 3048900 markings, 21827537 edges, 13337 markings/sec, 220 secs
lola: 3122526 markings, 22312898 edges, 14725 markings/sec, 225 secs
lola: 3195762 markings, 22796069 edges, 14647 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1096784 KB
lola: time consumption: 478 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 3 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((FIREABLE(t306) R NOT FIREABLE(t901))) OR (NOT FIREABLE(t856) AND (F (NOT FIREABLE(t491)) OR G (NOT FIREABLE(t856))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((FIREABLE(t306) R NOT FIREABLE(t901))) OR (NOT FIREABLE(t856) AND (F (NOT FIREABLE(t491)) OR G (NOT FIREABLE(t856))))))
lola: processed formula length: 126
lola: 143 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: 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 4 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(t1010) R (NOT FIREABLE(t636) OR X (G (NOT FIREABLE(t459))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((NOT FIREABLE(t1010) R (NOT FIREABLE(t636) OR X (G (NOT FIREABLE(t459))))))
lola: processed formula length: 78
lola: 143 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: 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 5 will run for 281 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((X ((NOT FIREABLE(t1090) R NOT FIREABLE(t1004))) AND G ((NOT FIREABLE(t1004) AND FIREABLE(t887)))) R X (NOT FIREABLE(t1090)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((X ((NOT FIREABLE(t1090) R NOT FIREABLE(t1004))) AND G ((NOT FIREABLE(t1004) AND FIREABLE(t887)))) R X (NOT FIREABLE(t1090)))))
lola: processed formula length: 134
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 13 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: 65638 markings, 472212 edges, 13128 markings/sec, 0 secs
lola: 123828 markings, 966435 edges, 11638 markings/sec, 5 secs
lola: 184525 markings, 1460983 edges, 12139 markings/sec, 10 secs
lola: 236162 markings, 1954533 edges, 10327 markings/sec, 15 secs
lola: 285931 markings, 2448395 edges, 9954 markings/sec, 20 secs
lola: 336594 markings, 2944781 edges, 10133 markings/sec, 25 secs
lola: 392579 markings, 3438228 edges, 11197 markings/sec, 30 secs
lola: 439741 markings, 3931987 edges, 9432 markings/sec, 35 secs
lola: 490536 markings, 4426264 edges, 10159 markings/sec, 40 secs
lola: 537474 markings, 4920090 edges, 9388 markings/sec, 45 secs
lola: 580845 markings, 5413766 edges, 8674 markings/sec, 50 secs
lola: 623464 markings, 5907190 edges, 8524 markings/sec, 55 secs
lola: 666707 markings, 6403537 edges, 8649 markings/sec, 60 secs
lola: 722624 markings, 6895638 edges, 11183 markings/sec, 65 secs
lola: 770196 markings, 7388992 edges, 9514 markings/sec, 70 secs
lola: 820677 markings, 7882577 edges, 10096 markings/sec, 75 secs
lola: 874618 markings, 8376981 edges, 10788 markings/sec, 80 secs
lola: 924201 markings, 8872291 edges, 9917 markings/sec, 85 secs
lola: 974655 markings, 9366497 edges, 10091 markings/sec, 90 secs
lola: 1028849 markings, 9864522 edges, 10839 markings/sec, 95 secs
lola: 1079722 markings, 10362824 edges, 10175 markings/sec, 100 secs
lola: 1129955 markings, 10860341 edges, 10047 markings/sec, 105 secs
lola: 1183359 markings, 11359886 edges, 10681 markings/sec, 110 secs
lola: 1235751 markings, 11856289 edges, 10478 markings/sec, 115 secs
lola: 1285602 markings, 12352508 edges, 9970 markings/sec, 120 secs
lola: 1336021 markings, 12850025 edges, 10084 markings/sec, 125 secs
lola: 1383012 markings, 13343998 edges, 9398 markings/sec, 130 secs
lola: 1424489 markings, 13838810 edges, 8295 markings/sec, 135 secs
lola: 1467983 markings, 14333086 edges, 8699 markings/sec, 140 secs
lola: 1512422 markings, 14830618 edges, 8888 markings/sec, 145 secs
lola: 1559374 markings, 15325660 edges, 9390 markings/sec, 150 secs
lola: 1600277 markings, 15821148 edges, 8181 markings/sec, 155 secs
lola: 1642997 markings, 16316096 edges, 8544 markings/sec, 160 secs
lola: 1686193 markings, 16812751 edges, 8639 markings/sec, 165 secs
lola: 1726219 markings, 17306762 edges, 8005 markings/sec, 170 secs
lola: 1761663 markings, 17801925 edges, 7089 markings/sec, 175 secs
lola: 1799284 markings, 18295801 edges, 7524 markings/sec, 180 secs
lola: 1838006 markings, 18793166 edges, 7744 markings/sec, 185 secs
lola: 1884583 markings, 19285995 edges, 9315 markings/sec, 190 secs
lola: 1925875 markings, 19780173 edges, 8258 markings/sec, 195 secs
lola: 1969092 markings, 20272460 edges, 8643 markings/sec, 200 secs
lola: 2013704 markings, 20768785 edges, 8922 markings/sec, 205 secs
lola: 2060491 markings, 21264591 edges, 9357 markings/sec, 210 secs
lola: 2101450 markings, 21761243 edges, 8192 markings/sec, 215 secs
lola: 2144213 markings, 22256758 edges, 8553 markings/sec, 220 secs
lola: 2190860 markings, 22756372 edges, 9329 markings/sec, 225 secs
lola: 2235204 markings, 23257368 edges, 8869 markings/sec, 230 secs
lola: 2277699 markings, 23757874 edges, 8499 markings/sec, 235 secs
lola: 2321660 markings, 24258997 edges, 8792 markings/sec, 240 secs
lola: 2373047 markings, 24756267 edges, 10277 markings/sec, 245 secs
lola: 2423230 markings, 25251186 edges, 10037 markings/sec, 250 secs
lola: 2473844 markings, 25745148 edges, 10123 markings/sec, 255 secs
lola: 2523889 markings, 26240330 edges, 10009 markings/sec, 260 secs
lola: 2567668 markings, 26733272 edges, 8756 markings/sec, 265 secs
lola: 2609334 markings, 27226621 edges, 8333 markings/sec, 270 secs
lola: 2652735 markings, 27720627 edges, 8680 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown unknown unknown yes yes unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 472228 KB
lola: time consumption: 759 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 6 will run for 281 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((FIREABLE(t908) OR F (NOT FIREABLE(t1025)))) U NOT FIREABLE(t908)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((FIREABLE(t908) OR F (NOT FIREABLE(t1025)))) U NOT FIREABLE(t908)))
lola: processed formula length: 74
lola: 143 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: 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 7 will run for 312 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (((FIREABLE(t118) U (X (FIREABLE(t771)) U NOT FIREABLE(t118))) OR F (FIREABLE(t40)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (((FIREABLE(t118) U (X (FIREABLE(t771)) U NOT FIREABLE(t118))) OR F (FIREABLE(t40)))))))
lola: processed formula length: 99
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 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: 4 markings, 3 edges
lola: ========================================
lola: subprocess 8 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G (((NOT FIREABLE(t180) OR F (G (NOT FIREABLE(t785)))) AND G (NOT FIREABLE(t361)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G (((NOT FIREABLE(t180) OR F (G (NOT FIREABLE(t785)))) AND G (NOT FIREABLE(t361)))))))
lola: processed formula length: 95
lola: 143 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: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 86019 markings, 466994 edges, 17204 markings/sec, 0 secs
lola: 162155 markings, 933436 edges, 15227 markings/sec, 5 secs
lola: 243449 markings, 1424041 edges, 16259 markings/sec, 10 secs
lola: 311791 markings, 1913360 edges, 13668 markings/sec, 15 secs
lola: 383982 markings, 2404064 edges, 14438 markings/sec, 20 secs
lola: 460260 markings, 2892895 edges, 15256 markings/sec, 25 secs
lola: 527831 markings, 3380042 edges, 13514 markings/sec, 30 secs
lola: 600354 markings, 3869851 edges, 14505 markings/sec, 35 secs
lola: 664499 markings, 4358565 edges, 12829 markings/sec, 40 secs
lola: 723670 markings, 4846009 edges, 11834 markings/sec, 45 secs
lola: 790005 markings, 5337302 edges, 13267 markings/sec, 50 secs
lola: 864324 markings, 5827749 edges, 14864 markings/sec, 55 secs
lola: 932498 markings, 6315858 edges, 13635 markings/sec, 60 secs
lola: 1009583 markings, 6807134 edges, 15417 markings/sec, 65 secs
lola: 1078151 markings, 7297702 edges, 13714 markings/sec, 70 secs
lola: 1150173 markings, 7788552 edges, 14404 markings/sec, 75 secs
lola: 1226764 markings, 8280889 edges, 15318 markings/sec, 80 secs
lola: 1295015 markings, 8772633 edges, 13650 markings/sec, 85 secs
lola: 1369405 markings, 9266980 edges, 14878 markings/sec, 90 secs
lola: 1444017 markings, 9756303 edges, 14922 markings/sec, 95 secs
lola: 1512379 markings, 10245004 edges, 13672 markings/sec, 100 secs
lola: 1584825 markings, 10738251 edges, 14489 markings/sec, 105 secs
lola: 1647380 markings, 11229474 edges, 12511 markings/sec, 110 secs
lola: 1707494 markings, 11719373 edges, 12023 markings/sec, 115 secs
lola: 1773750 markings, 12212639 edges, 13251 markings/sec, 120 secs
lola: 1837090 markings, 12701727 edges, 12668 markings/sec, 125 secs
lola: 1896749 markings, 13189632 edges, 11932 markings/sec, 130 secs
lola: 1959652 markings, 13680897 edges, 12581 markings/sec, 135 secs
lola: 2017116 markings, 14171679 edges, 11493 markings/sec, 140 secs
lola: 2069697 markings, 14660667 edges, 10516 markings/sec, 145 secs
lola: 2125562 markings, 15151101 edges, 11173 markings/sec, 150 secs
lola: 2190469 markings, 15643409 edges, 12981 markings/sec, 155 secs
lola: 2250021 markings, 16134365 edges, 11910 markings/sec, 160 secs
lola: 2313362 markings, 16624552 edges, 12668 markings/sec, 165 secs
lola: 2380041 markings, 17117754 edges, 13336 markings/sec, 170 secs
lola: 2440362 markings, 17609744 edges, 12064 markings/sec, 175 secs
lola: 2503095 markings, 18101837 edges, 12547 markings/sec, 180 secs
lola: 2570404 markings, 18597580 edges, 13462 markings/sec, 185 secs
lola: 2631471 markings, 19092415 edges, 12213 markings/sec, 190 secs
lola: 2693929 markings, 19587619 edges, 12492 markings/sec, 195 secs
lola: 2773876 markings, 20079723 edges, 15989 markings/sec, 200 secs
lola: 2853223 markings, 20565635 edges, 15869 markings/sec, 205 secs
lola: 2937745 markings, 21054097 edges, 16904 markings/sec, 210 secs
lola: 3010014 markings, 21541389 edges, 14454 markings/sec, 215 secs
lola: 3078243 markings, 22026931 edges, 13646 markings/sec, 220 secs
lola: 3154441 markings, 22514771 edges, 15240 markings/sec, 225 secs
lola: 3221681 markings, 22997556 edges, 13448 markings/sec, 230 secs
lola: 3293277 markings, 23483564 edges, 14319 markings/sec, 235 secs
lola: 3360951 markings, 23970049 edges, 13535 markings/sec, 240 secs
lola: 3419956 markings, 24455027 edges, 11801 markings/sec, 245 secs
lola: 3482824 markings, 24940718 edges, 12574 markings/sec, 250 secs
lola: 3555401 markings, 25428224 edges, 14515 markings/sec, 255 secs
lola: 3623197 markings, 25912209 edges, 13559 markings/sec, 260 secs
lola: 3694083 markings, 26395668 edges, 14177 markings/sec, 265 secs
lola: 3769703 markings, 26879839 edges, 15124 markings/sec, 270 secs
lola: 3836961 markings, 27362315 edges, 13452 markings/sec, 275 secs
lola: 3911575 markings, 27848070 edges, 14923 markings/sec, 280 secs
lola: 3983543 markings, 28335600 edges, 14394 markings/sec, 285 secs
lola: 4052287 markings, 28823344 edges, 13749 markings/sec, 290 secs
lola: 4123101 markings, 29310667 edges, 14163 markings/sec, 295 secs
lola: 4183120 markings, 29795124 edges, 12004 markings/sec, 300 secs
lola: 4243670 markings, 30279174 edges, 12110 markings/sec, 305 secs
lola: 4306298 markings, 30767215 edges, 12526 markings/sec, 310 secs
lola: 4361670 markings, 31252602 edges, 11074 markings/sec, 315 secs
lola: 4413537 markings, 31735258 edges, 10373 markings/sec, 320 secs
lola: 4469052 markings, 32222506 edges, 11103 markings/sec, 325 secs
lola: 4527230 markings, 32705339 edges, 11636 markings/sec, 330 secs
lola: 4579448 markings, 33185808 edges, 10444 markings/sec, 335 secs
lola: 4633698 markings, 33667563 edges, 10850 markings/sec, 340 secs
lola: 4689064 markings, 34153560 edges, 11073 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown unknown unknown yes yes unknown yes yes unknown unknown unknown unknown
lola: memory consumption: 1593368 KB
lola: time consumption: 1111 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 9 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(t141))) AND (A (G (F (FIREABLE(t241)))) AND A (G ((F (FIREABLE(t503)) OR X (F (FIREABLE(t241))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t141)))
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(t141)))
lola: processed formula length: 22
lola: 145 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(t141)
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
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 10 will run for 409 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((X (X (FIREABLE(t146))) U FIREABLE(t767)) OR X (X ((FIREABLE(t146) AND X (G (FIREABLE(t413))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((X (X (FIREABLE(t146))) U FIREABLE(t767)) OR X (X ((FIREABLE(t146) AND X (G (FIREABLE(t413))))))))
lola: processed formula length: 102
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 17 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: 544 markings, 544 edges
lola: ========================================
lola: subprocess 11 will run for 491 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t479)))
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 (NOT FIREABLE(t479)))
lola: processed formula length: 26
lola: 145 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: FIREABLE(t479)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 26 markings, 25 edges
lola: ========================================
lola: subprocess 12 will run for 614 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((NOT FIREABLE(t561) OR G (NOT FIREABLE(t857))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((NOT FIREABLE(t561) OR G (NOT FIREABLE(t857))))))
lola: processed formula length: 58
lola: 143 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: 182635 markings, 425579 edges, 36527 markings/sec, 0 secs
lola: 309344 markings, 924560 edges, 25342 markings/sec, 5 secs
lola: 397515 markings, 1437405 edges, 17634 markings/sec, 10 secs
lola: 489438 markings, 1947510 edges, 18385 markings/sec, 15 secs
lola: 587491 markings, 2454932 edges, 19611 markings/sec, 20 secs
lola: 679150 markings, 2964619 edges, 18332 markings/sec, 25 secs
lola: 770184 markings, 3472727 edges, 18207 markings/sec, 30 secs
lola: 858319 markings, 3985549 edges, 17627 markings/sec, 35 secs
lola: 943582 markings, 4497163 edges, 17053 markings/sec, 40 secs
lola: 1032993 markings, 5001760 edges, 17882 markings/sec, 45 secs
lola: 1110310 markings, 5513833 edges, 15463 markings/sec, 50 secs
lola: 1180172 markings, 6025464 edges, 13972 markings/sec, 55 secs
lola: 1254532 markings, 6536160 edges, 14872 markings/sec, 60 secs
lola: 1329285 markings, 7047926 edges, 14951 markings/sec, 65 secs
lola: 1404322 markings, 7555029 edges, 15007 markings/sec, 70 secs
lola: 1472286 markings, 8067881 edges, 13593 markings/sec, 75 secs
lola: 1565640 markings, 8566477 edges, 18671 markings/sec, 80 secs
lola: 1653028 markings, 9070257 edges, 17478 markings/sec, 85 secs
lola: 1742843 markings, 9572968 edges, 17963 markings/sec, 90 secs
lola: 1840181 markings, 10071489 edges, 19468 markings/sec, 95 secs
lola: 1928880 markings, 10570074 edges, 17740 markings/sec, 100 secs
lola: 2018175 markings, 11067508 edges, 17859 markings/sec, 105 secs
lola: 2103944 markings, 11570334 edges, 17154 markings/sec, 110 secs
lola: 2188643 markings, 12071286 edges, 16940 markings/sec, 115 secs
lola: 2276129 markings, 12558774 edges, 17497 markings/sec, 120 secs
lola: 2351465 markings, 13061288 edges, 15067 markings/sec, 125 secs
lola: 2421160 markings, 13562221 edges, 13939 markings/sec, 130 secs
lola: 2492805 markings, 14062462 edges, 14329 markings/sec, 135 secs
lola: 2568120 markings, 14565210 edges, 15063 markings/sec, 140 secs
lola: 2640151 markings, 15063533 edges, 14406 markings/sec, 145 secs
lola: 2707667 markings, 15562790 edges, 13503 markings/sec, 150 secs
lola: 2793014 markings, 16062665 edges, 17069 markings/sec, 155 secs
lola: 2885545 markings, 16570842 edges, 18506 markings/sec, 160 secs
lola: 2975816 markings, 17077409 edges, 18054 markings/sec, 165 secs
lola: 3068712 markings, 17583393 edges, 18579 markings/sec, 170 secs
lola: 3164857 markings, 18087999 edges, 19229 markings/sec, 175 secs
lola: 3256040 markings, 18592696 edges, 18237 markings/sec, 180 secs
lola: 3339544 markings, 19101818 edges, 16701 markings/sec, 185 secs
lola: 3426841 markings, 19609536 edges, 17459 markings/sec, 190 secs
lola: 3516561 markings, 20110764 edges, 17944 markings/sec, 195 secs
lola: 3593157 markings, 20618373 edges, 15319 markings/sec, 200 secs
lola: 3665739 markings, 21126895 edges, 14516 markings/sec, 205 secs
lola: 3737030 markings, 21634517 edges, 14258 markings/sec, 210 secs
lola: 3813929 markings, 22143422 edges, 15380 markings/sec, 215 secs
lola: 3886791 markings, 22649286 edges, 14572 markings/sec, 220 secs
lola: 3955660 markings, 23155210 edges, 13774 markings/sec, 225 secs
lola: 4039962 markings, 23654572 edges, 16860 markings/sec, 230 secs
lola: 4131895 markings, 24153024 edges, 18387 markings/sec, 235 secs
lola: 4220913 markings, 24650726 edges, 17804 markings/sec, 240 secs
lola: 4309779 markings, 25150423 edges, 17773 markings/sec, 245 secs
lola: 4406127 markings, 25643930 edges, 19270 markings/sec, 250 secs
lola: 4495247 markings, 26140769 edges, 17824 markings/sec, 255 secs
lola: 4576271 markings, 26640665 edges, 16205 markings/sec, 260 secs
lola: 4663246 markings, 27140343 edges, 17395 markings/sec, 265 secs
lola: 4751769 markings, 27631915 edges, 17705 markings/sec, 270 secs
lola: 4828827 markings, 28127734 edges, 15412 markings/sec, 275 secs
lola: 4900025 markings, 28627178 edges, 14240 markings/sec, 280 secs
lola: 4968892 markings, 29125961 edges, 13773 markings/sec, 285 secs
lola: 5046615 markings, 29628499 edges, 15545 markings/sec, 290 secs
lola: 5118609 markings, 30126723 edges, 14399 markings/sec, 295 secs
lola: 5186304 markings, 30623300 edges, 13539 markings/sec, 300 secs
lola: 5259714 markings, 31124388 edges, 14682 markings/sec, 305 secs
lola: 5359127 markings, 31627686 edges, 19883 markings/sec, 310 secs
lola: 5449225 markings, 32134071 edges, 18020 markings/sec, 315 secs
lola: 5534236 markings, 32640573 edges, 17002 markings/sec, 320 secs
lola: 5638014 markings, 33139295 edges, 20756 markings/sec, 325 secs
lola: 5726155 markings, 33643427 edges, 17628 markings/sec, 330 secs
lola: 5811071 markings, 34147584 edges, 16983 markings/sec, 335 secs
lola: 5898971 markings, 34654993 edges, 17580 markings/sec, 340 secs
lola: 5986262 markings, 35156294 edges, 17458 markings/sec, 345 secs
lola: 6068016 markings, 35659645 edges, 16351 markings/sec, 350 secs
lola: 6140234 markings, 36167219 edges, 14444 markings/sec, 355 secs
lola: 6209068 markings, 36671476 edges, 13767 markings/sec, 360 secs
lola: 6288448 markings, 37180161 edges, 15876 markings/sec, 365 secs
lola: 6361894 markings, 37686027 edges, 14689 markings/sec, 370 secs
lola: 6430758 markings, 38189722 edges, 13773 markings/sec, 375 secs
lola: 6502119 markings, 38694921 edges, 14272 markings/sec, 380 secs
lola: 6602002 markings, 39188903 edges, 19977 markings/sec, 385 secs
lola: 6689749 markings, 39687628 edges, 17549 markings/sec, 390 secs
lola: 6772479 markings, 40187235 edges, 16546 markings/sec, 395 secs
lola: 6874782 markings, 40676285 edges, 20461 markings/sec, 400 secs
lola: 6963095 markings, 41172237 edges, 17663 markings/sec, 405 secs
lola: 7048066 markings, 41669708 edges, 16994 markings/sec, 410 secs
lola: 7135032 markings, 42169258 edges, 17393 markings/sec, 415 secs
lola: 7216470 markings, 42663210 edges, 16288 markings/sec, 420 secs
lola: 7299803 markings, 43151339 edges, 16667 markings/sec, 425 secs
lola: 7373541 markings, 43650604 edges, 14748 markings/sec, 430 secs
lola: 7441959 markings, 44146224 edges, 13684 markings/sec, 435 secs
lola: 7515457 markings, 44644761 edges, 14700 markings/sec, 440 secs
lola: 7589012 markings, 45143153 edges, 14711 markings/sec, 445 secs
lola: 7658904 markings, 45635527 edges, 13978 markings/sec, 450 secs
lola: 7725005 markings, 46134882 edges, 13220 markings/sec, 455 secs
lola: 7822220 markings, 46632958 edges, 19443 markings/sec, 460 secs
lola: 7911665 markings, 47138264 edges, 17889 markings/sec, 465 secs
lola: 7999829 markings, 47642909 edges, 17633 markings/sec, 470 secs
lola: 8099048 markings, 48140983 edges, 19844 markings/sec, 475 secs
lola: 8185575 markings, 48644823 edges, 17305 markings/sec, 480 secs
lola: 8275603 markings, 49145615 edges, 18006 markings/sec, 485 secs
lola: 8364511 markings, 49650344 edges, 17782 markings/sec, 490 secs
lola: 8445752 markings, 50156064 edges, 16248 markings/sec, 495 secs
lola: 8533782 markings, 50653088 edges, 17606 markings/sec, 500 secs
lola: 8610503 markings, 51159871 edges, 15344 markings/sec, 505 secs
lola: 8679798 markings, 51664813 edges, 13859 markings/sec, 510 secs
lola: 8752699 markings, 52169697 edges, 14580 markings/sec, 515 secs
lola: 8827027 markings, 52676398 edges, 14866 markings/sec, 520 secs
lola: 8900465 markings, 53176591 edges, 14688 markings/sec, 525 secs
lola: 8967880 markings, 53681982 edges, 13483 markings/sec, 530 secs
lola: 9060608 markings, 54175077 edges, 18546 markings/sec, 535 secs
lola: 9146975 markings, 54673083 edges, 17273 markings/sec, 540 secs
lola: 9235735 markings, 55168951 edges, 17752 markings/sec, 545 secs
lola: 9331166 markings, 55661586 edges, 19086 markings/sec, 550 secs
lola: 9420780 markings, 56155855 edges, 17923 markings/sec, 555 secs
lola: 9509170 markings, 56648953 edges, 17678 markings/sec, 560 secs
lola: 9593314 markings, 57147295 edges, 16829 markings/sec, 565 secs
lola: 9676943 markings, 57644899 edges, 16726 markings/sec, 570 secs
lola: 9764629 markings, 58129734 edges, 17537 markings/sec, 575 secs
lola: 9839160 markings, 58626050 edges, 14906 markings/sec, 580 secs
lola: 9910057 markings, 59123203 edges, 14179 markings/sec, 585 secs
lola: 9978914 markings, 59618204 edges, 13771 markings/sec, 590 secs
lola: 10054863 markings, 60117022 edges, 15190 markings/sec, 595 secs
lola: 10125714 markings, 60611121 edges, 14170 markings/sec, 600 secs
lola: 10193676 markings, 61104942 edges, 13592 markings/sec, 605 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown unknown unknown yes yes unknown yes yes unknown no no unknown
lola: memory consumption: 2386756 KB
lola: time consumption: 1725 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 13 will run for 615 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((FIREABLE(t479) OR (F (FIREABLE(t479)) AND F (G (FIREABLE(t479))))) AND F (G ((F (FIREABLE(t479)) AND (FIREABLE(t878) OR FIREABLE(t479))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((FIREABLE(t479) OR (F (FIREABLE(t479)) AND F (G (FIREABLE(t479))))) AND F (G ((F (FIREABLE(t479)) AND (FIREABLE(t878) OR FIREABLE(t479))))))))
lola: processed formula length: 149
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 22 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: 543 markings, 543 edges
lola: ========================================
lola: subprocess 14 will run for 922 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(t526) AND NOT FIREABLE(t63)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(t526) AND NOT FIREABLE(t63)))))
lola: processed formula length: 50
lola: 143 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: 544 markings, 545 edges
lola: ========================================
lola: subprocess 15 will run for 1845 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t697) AND A (F ((NOT FIREABLE(t1116) AND F (FIREABLE(t1116))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1845 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t697)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t697)
lola: processed formula length: 14
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (G ((F (NOT FIREABLE(t642)) OR (F (NOT FIREABLE(t642)) AND F (G (FIREABLE(t128))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((F (NOT FIREABLE(t642)) OR (F (NOT FIREABLE(t642)) AND F (G (FIREABLE(t128))))))))
lola: processed formula length: 91
lola: 143 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: 85833 markings, 465834 edges, 17167 markings/sec, 0 secs
lola: 165509 markings, 953207 edges, 15935 markings/sec, 5 secs
lola: 246357 markings, 1444006 edges, 16170 markings/sec, 10 secs
lola: 315120 markings, 1933397 edges, 13753 markings/sec, 15 secs
lola: 387042 markings, 2425101 edges, 14384 markings/sec, 20 secs
lola: 463111 markings, 2912561 edges, 15214 markings/sec, 25 secs
lola: 531028 markings, 3399410 edges, 13583 markings/sec, 30 secs
lola: 603151 markings, 3889150 edges, 14425 markings/sec, 35 secs
lola: 667040 markings, 4378843 edges, 12778 markings/sec, 40 secs
lola: 726441 markings, 4865533 edges, 11880 markings/sec, 45 secs
lola: 793210 markings, 5356966 edges, 13354 markings/sec, 50 secs
lola: 866922 markings, 5847673 edges, 14742 markings/sec, 55 secs
lola: 935514 markings, 6336627 edges, 13718 markings/sec, 60 secs
lola: 1012393 markings, 6828557 edges, 15376 markings/sec, 65 secs
lola: 1080841 markings, 7319212 edges, 13690 markings/sec, 70 secs
lola: 1153078 markings, 7810309 edges, 14447 markings/sec, 75 secs
lola: 1230305 markings, 8304103 edges, 15445 markings/sec, 80 secs
lola: 1298369 markings, 8795808 edges, 13613 markings/sec, 85 secs
lola: 1373351 markings, 9291133 edges, 14996 markings/sec, 90 secs
lola: 1447679 markings, 9781556 edges, 14866 markings/sec, 95 secs
lola: 1516034 markings, 10270993 edges, 13671 markings/sec, 100 secs
lola: 1588195 markings, 10762372 edges, 14432 markings/sec, 105 secs
lola: 1650104 markings, 11253106 edges, 12382 markings/sec, 110 secs
lola: 1710480 markings, 11742993 edges, 12075 markings/sec, 115 secs
lola: 1777100 markings, 12235932 edges, 13324 markings/sec, 120 secs
lola: 1839721 markings, 12724880 edges, 12524 markings/sec, 125 secs
lola: 1899801 markings, 13212204 edges, 12016 markings/sec, 130 secs
lola: 1962515 markings, 13703514 edges, 12543 markings/sec, 135 secs
lola: 2019634 markings, 14194219 edges, 11424 markings/sec, 140 secs
lola: 2072180 markings, 14682886 edges, 10509 markings/sec, 145 secs
lola: 2128125 markings, 15173835 edges, 11189 markings/sec, 150 secs
lola: 2193328 markings, 15665888 edges, 13041 markings/sec, 155 secs
lola: 2252911 markings, 16156005 edges, 11917 markings/sec, 160 secs
lola: 2316309 markings, 16645885 edges, 12680 markings/sec, 165 secs
lola: 2382701 markings, 17138732 edges, 13278 markings/sec, 170 secs
lola: 2442641 markings, 17630130 edges, 11988 markings/sec, 175 secs
lola: 2505798 markings, 18122136 edges, 12631 markings/sec, 180 secs
lola: 2572932 markings, 18617330 edges, 13427 markings/sec, 185 secs
lola: 2633501 markings, 19110858 edges, 12114 markings/sec, 190 secs
lola: 2696340 markings, 19605512 edges, 12568 markings/sec, 195 secs
lola: 2776907 markings, 20097566 edges, 16113 markings/sec, 200 secs
lola: 2856267 markings, 20583591 edges, 15872 markings/sec, 205 secs
lola: 2940758 markings, 21071756 edges, 16898 markings/sec, 210 secs
lola: 3012037 markings, 21558698 edges, 14256 markings/sec, 215 secs
lola: 3079955 markings, 22038646 edges, 13584 markings/sec, 220 secs
lola: 3155464 markings, 22521728 edges, 15102 markings/sec, 225 secs
lola: 3222078 markings, 23001015 edges, 13323 markings/sec, 230 secs
lola: 3293315 markings, 23483820 edges, 14247 markings/sec, 235 secs
lola: 3360739 markings, 23968200 edges, 13485 markings/sec, 240 secs
lola: 3419243 markings, 24449668 edges, 11701 markings/sec, 245 secs
lola: 3481443 markings, 24931013 edges, 12440 markings/sec, 250 secs
lola: 3553415 markings, 25414490 edges, 14394 markings/sec, 255 secs
lola: 3621477 markings, 25898925 edges, 13612 markings/sec, 260 secs
lola: 3692656 markings, 26385941 edges, 14236 markings/sec, 265 secs
lola: 3768934 markings, 26874453 edges, 15256 markings/sec, 270 secs
lola: 3837050 markings, 27362883 edges, 13623 markings/sec, 275 secs
lola: 3912920 markings, 27855542 edges, 15174 markings/sec, 280 secs
lola: 3985094 markings, 28349754 edges, 14435 markings/sec, 285 secs
lola: 4055292 markings, 28843917 edges, 14040 markings/sec, 290 secs
lola: 4126229 markings, 29337001 edges, 14187 markings/sec, 295 secs
lola: 4186704 markings, 29826762 edges, 12095 markings/sec, 300 secs
lola: 4248364 markings, 30316121 edges, 12332 markings/sec, 305 secs
lola: 4311510 markings, 30809561 edges, 12629 markings/sec, 310 secs
lola: 4366966 markings, 31300743 edges, 11091 markings/sec, 315 secs
lola: 4419960 markings, 31790363 edges, 10599 markings/sec, 320 secs
lola: 4476539 markings, 32283189 edges, 11316 markings/sec, 325 secs
lola: 4535107 markings, 32772657 edges, 11714 markings/sec, 330 secs
lola: 4587526 markings, 33260448 edges, 10484 markings/sec, 335 secs
lola: 4643110 markings, 33748346 edges, 11117 markings/sec, 340 secs
lola: 4698886 markings, 34240849 edges, 11155 markings/sec, 345 secs
lola: 4748938 markings, 34732191 edges, 10010 markings/sec, 350 secs
lola: 4796010 markings, 35219360 edges, 9414 markings/sec, 355 secs
lola: 4846271 markings, 35709780 edges, 10052 markings/sec, 360 secs
lola: 4903542 markings, 36201578 edges, 11454 markings/sec, 365 secs
lola: 4958087 markings, 36692758 edges, 10909 markings/sec, 370 secs
lola: 5012188 markings, 37181236 edges, 10820 markings/sec, 375 secs
lola: 5069315 markings, 37672470 edges, 11425 markings/sec, 380 secs
lola: 5127105 markings, 38164558 edges, 11558 markings/sec, 385 secs
lola: 5179957 markings, 38655421 edges, 10570 markings/sec, 390 secs
lola: 5236001 markings, 39147925 edges, 11209 markings/sec, 395 secs
lola: 5295617 markings, 39643457 edges, 11923 markings/sec, 400 secs
lola: 5350182 markings, 40138120 edges, 10913 markings/sec, 405 secs
lola: 5405065 markings, 40632180 edges, 10977 markings/sec, 410 secs
lola: 5469577 markings, 41128634 edges, 12902 markings/sec, 415 secs
lola: 5540902 markings, 41617309 edges, 14265 markings/sec, 420 secs
lola: 5610518 markings, 42107290 edges, 13923 markings/sec, 425 secs
lola: 5681582 markings, 42600881 edges, 14213 markings/sec, 430 secs
lola: 5742230 markings, 43092098 edges, 12130 markings/sec, 435 secs
lola: 5804043 markings, 43582946 edges, 12363 markings/sec, 440 secs
lola: 5871609 markings, 44076122 edges, 13513 markings/sec, 445 secs
lola: 5932354 markings, 44565941 edges, 12149 markings/sec, 450 secs
lola: 5993364 markings, 45054346 edges, 12202 markings/sec, 455 secs
lola: 6056661 markings, 45548021 edges, 12659 markings/sec, 460 secs
lola: 6112615 markings, 46038695 edges, 11191 markings/sec, 465 secs
lola: 6165057 markings, 46526459 edges, 10488 markings/sec, 470 secs
lola: 6221305 markings, 47019773 edges, 11250 markings/sec, 475 secs
lola: 6288294 markings, 47511611 edges, 13398 markings/sec, 480 secs
lola: 6347484 markings, 48002639 edges, 11838 markings/sec, 485 secs
lola: 6410587 markings, 48494109 edges, 12621 markings/sec, 490 secs
lola: 6477816 markings, 48987320 edges, 13446 markings/sec, 495 secs
lola: 6537550 markings, 49478686 edges, 11947 markings/sec, 500 secs
lola: 6600595 markings, 49971659 edges, 12609 markings/sec, 505 secs
lola: 6667647 markings, 50466761 edges, 13410 markings/sec, 510 secs
lola: 6728013 markings, 50961064 edges, 12073 markings/sec, 515 secs
lola: 6791555 markings, 51456256 edges, 12708 markings/sec, 520 secs
lola: 6866024 markings, 51948328 edges, 14894 markings/sec, 525 secs
lola: 6933897 markings, 52437586 edges, 13575 markings/sec, 530 secs
lola: 7006715 markings, 52929891 edges, 14564 markings/sec, 535 secs
lola: 7072705 markings, 53421482 edges, 13198 markings/sec, 540 secs
lola: 7132092 markings, 53911081 edges, 11877 markings/sec, 545 secs
lola: 7195478 markings, 54405426 edges, 12677 markings/sec, 550 secs
lola: 7262365 markings, 54893750 edges, 13377 markings/sec, 555 secs
lola: 7321183 markings, 55381260 edges, 11764 markings/sec, 560 secs
lola: 7384056 markings, 55871538 edges, 12575 markings/sec, 565 secs
lola: 7443709 markings, 56360657 edges, 11931 markings/sec, 570 secs
lola: 7496768 markings, 56848684 edges, 10612 markings/sec, 575 secs
lola: 7551632 markings, 57335532 edges, 10973 markings/sec, 580 secs
lola: 7614173 markings, 57827289 edges, 12508 markings/sec, 585 secs
lola: 7676502 markings, 58317455 edges, 12466 markings/sec, 590 secs
lola: 7736480 markings, 58806065 edges, 11996 markings/sec, 595 secs
lola: 7802573 markings, 59298063 edges, 13219 markings/sec, 600 secs
lola: 7865711 markings, 59785469 edges, 12628 markings/sec, 605 secs
lola: 7925136 markings, 60272192 edges, 11885 markings/sec, 610 secs
lola: 7990166 markings, 60763188 edges, 13006 markings/sec, 615 secs
lola: 8054486 markings, 61253115 edges, 12864 markings/sec, 620 secs
lola: 8114102 markings, 61743530 edges, 11923 markings/sec, 625 secs
lola: 8180968 markings, 62238592 edges, 13373 markings/sec, 630 secs
lola: 8255105 markings, 62727723 edges, 14827 markings/sec, 635 secs
lola: 8323177 markings, 63215013 edges, 13614 markings/sec, 640 secs
lola: 8395373 markings, 63707233 edges, 14439 markings/sec, 645 secs
lola: 8457235 markings, 64198169 edges, 12372 markings/sec, 650 secs
lola: 8517437 markings, 64686082 edges, 12040 markings/sec, 655 secs
lola: 8583885 markings, 65177580 edges, 13290 markings/sec, 660 secs
lola: 8646302 markings, 65664736 edges, 12483 markings/sec, 665 secs
lola: 8706106 markings, 66149763 edges, 11961 markings/sec, 670 secs
lola: 8768611 markings, 66639263 edges, 12501 markings/sec, 675 secs
lola: 8825556 markings, 67128404 edges, 11389 markings/sec, 680 secs
lola: 8877953 markings, 67615760 edges, 10479 markings/sec, 685 secs
lola: 8933687 markings, 68105071 edges, 11147 markings/sec, 690 secs
lola: 8998462 markings, 68595036 edges, 12955 markings/sec, 695 secs
lola: 9057605 markings, 69083098 edges, 11829 markings/sec, 700 secs
lola: 9120891 markings, 69571409 edges, 12657 markings/sec, 705 secs
lola: 9187239 markings, 70062694 edges, 13270 markings/sec, 710 secs
lola: 9247186 markings, 70551706 edges, 11989 markings/sec, 715 secs
lola: 9309510 markings, 71040944 edges, 12465 markings/sec, 720 secs
lola: 9376670 markings, 71534977 edges, 13432 markings/sec, 725 secs
lola: 9437536 markings, 72027945 edges, 12173 markings/sec, 730 secs
lola: 9499416 markings, 72519009 edges, 12376 markings/sec, 735 secs
lola: 9571695 markings, 73010397 edges, 14456 markings/sec, 740 secs
lola: 9639657 markings, 73498742 edges, 13592 markings/sec, 745 secs
lola: 9711672 markings, 73987410 edges, 14403 markings/sec, 750 secs
lola: 9779767 markings, 74477705 edges, 13619 markings/sec, 755 secs
lola: 9839334 markings, 74965684 edges, 11913 markings/sec, 760 secs
lola: 9902217 markings, 75454665 edges, 12577 markings/sec, 765 secs
lola: 9968322 markings, 75943644 edges, 13221 markings/sec, 770 secs
lola: 10027566 markings, 76429544 edges, 11849 markings/sec, 775 secs
lola: 10090019 markings, 76915603 edges, 12491 markings/sec, 780 secs
lola: 10151816 markings, 77405621 edges, 12359 markings/sec, 785 secs
lola: 10206527 markings, 77894618 edges, 10942 markings/sec, 790 secs
lola: 10259764 markings, 78381271 edges, 10647 markings/sec, 795 secs
lola: 10318114 markings, 78872433 edges, 11670 markings/sec, 800 secs
lola: 10382871 markings, 79361709 edges, 12951 markings/sec, 805 secs
lola: 10441780 markings, 79847995 edges, 11782 markings/sec, 810 secs
lola: 10505387 markings, 80338285 edges, 12721 markings/sec, 815 secs
lola: 10571370 markings, 80827080 edges, 13197 markings/sec, 820 secs
lola: 10630260 markings, 81313344 edges, 11778 markings/sec, 825 secs
lola: 10693108 markings, 81803385 edges, 12570 markings/sec, 830 secs
lola: 10760348 markings, 82295051 edges, 13448 markings/sec, 835 secs
lola: 10819799 markings, 82786784 edges, 11890 markings/sec, 840 secs
lola: 10883065 markings, 83279935 edges, 12653 markings/sec, 845 secs
lola: 10958610 markings, 83771273 edges, 15109 markings/sec, 850 secs
lola: 11026376 markings, 84260551 edges, 13553 markings/sec, 855 secs
lola: 11099126 markings, 84751987 edges, 14550 markings/sec, 860 secs
lola: 11164011 markings, 85243087 edges, 12977 markings/sec, 865 secs
lola: 11223287 markings, 85732533 edges, 11855 markings/sec, 870 secs
lola: 11288202 markings, 86226058 edges, 12983 markings/sec, 875 secs
lola: 11353223 markings, 86714573 edges, 13004 markings/sec, 880 secs
lola: 11412392 markings, 87202968 edges, 11834 markings/sec, 885 secs
lola: 11475459 markings, 87693276 edges, 12613 markings/sec, 890 secs
lola: 11534647 markings, 88183530 edges, 11838 markings/sec, 895 secs
lola: 11587104 markings, 88673411 edges, 10491 markings/sec, 900 secs
lola: 11642867 markings, 89162779 edges, 11153 markings/sec, 905 secs
lola: 11706846 markings, 89655587 edges, 12796 markings/sec, 910 secs
lola: 11767577 markings, 90146480 edges, 12146 markings/sec, 915 secs
lola: 11828757 markings, 90635819 edges, 12236 markings/sec, 920 secs
lola: 11895826 markings, 91127421 edges, 13414 markings/sec, 925 secs
lola: 11957814 markings, 91619202 edges, 12398 markings/sec, 930 secs
lola: 12018420 markings, 92110232 edges, 12121 markings/sec, 935 secs
lola: 12085419 markings, 92605720 edges, 13400 markings/sec, 940 secs
lola: 12148717 markings, 93100905 edges, 12660 markings/sec, 945 secs
lola: 12209465 markings, 93595911 edges, 12150 markings/sec, 950 secs
lola: 12279901 markings, 94091208 edges, 14087 markings/sec, 955 secs
lola: 12350324 markings, 94580556 edges, 14085 markings/sec, 960 secs
lola: 12421012 markings, 95073176 edges, 14138 markings/sec, 965 secs
lola: 12491406 markings, 95566576 edges, 14079 markings/sec, 970 secs
lola: 12551690 markings, 96057492 edges, 12057 markings/sec, 975 secs
lola: 12613935 markings, 96549106 edges, 12449 markings/sec, 980 secs
lola: 12680957 markings, 97039805 edges, 13404 markings/sec, 985 secs
lola: 12741405 markings, 97527297 edges, 12090 markings/sec, 990 secs
lola: 12802415 markings, 98014203 edges, 12202 markings/sec, 995 secs
lola: 12865471 markings, 98505226 edges, 12611 markings/sec, 1000 secs
lola: 12920989 markings, 98993947 edges, 11104 markings/sec, 1005 secs
lola: 12973391 markings, 99481382 edges, 10480 markings/sec, 1010 secs
lola: 13029276 markings, 99972272 edges, 11177 markings/sec, 1015 secs
lola: 13096326 markings, 100462971 edges, 13410 markings/sec, 1020 secs
lola: 13155274 markings, 100951888 edges, 11790 markings/sec, 1025 secs
lola: 13218156 markings, 101442319 edges, 12576 markings/sec, 1030 secs
lola: 13285266 markings, 101934224 edges, 13422 markings/sec, 1035 secs
lola: 13344883 markings, 102424165 edges, 11923 markings/sec, 1040 secs
lola: 13407680 markings, 102915496 edges, 12559 markings/sec, 1045 secs
lola: 13474478 markings, 103408770 edges, 13360 markings/sec, 1050 secs
lola: 13534601 markings, 103901192 edges, 12025 markings/sec, 1055 secs
lola: 13598042 markings, 104395207 edges, 12688 markings/sec, 1060 secs
lola: 13664485 markings, 104885674 edges, 13289 markings/sec, 1065 secs
lola: 13723861 markings, 105374608 edges, 11875 markings/sec, 1070 secs
lola: 13786927 markings, 105864446 edges, 12613 markings/sec, 1075 secs
lola: 13848472 markings, 106355425 edges, 12309 markings/sec, 1080 secs
lola: 13903092 markings, 106844906 edges, 10924 markings/sec, 1085 secs
lola: 13957054 markings, 107333283 edges, 10792 markings/sec, 1090 secs
lola: 14014215 markings, 107825936 edges, 11432 markings/sec, 1095 secs
lola: 14071628 markings, 108314216 edges, 11483 markings/sec, 1100 secs
lola: 14124269 markings, 108801455 edges, 10528 markings/sec, 1105 secs
lola: 14179948 markings, 109290325 edges, 11136 markings/sec, 1110 secs
lola: 14234817 markings, 109780811 edges, 10974 markings/sec, 1115 secs
lola: 14284267 markings, 110269834 edges, 9890 markings/sec, 1120 secs
lola: 14331345 markings, 110756557 edges, 9416 markings/sec, 1125 secs
lola: 14381505 markings, 111246908 edges, 10032 markings/sec, 1130 secs
lola: 14439433 markings, 111737956 edges, 11586 markings/sec, 1135 secs
lola: 14493151 markings, 112227438 edges, 10744 markings/sec, 1140 secs
lola: 14547771 markings, 112716483 edges, 10924 markings/sec, 1145 secs
lola: 14606027 markings, 113208634 edges, 11651 markings/sec, 1150 secs
lola: 14662792 markings, 113699193 edges, 11353 markings/sec, 1155 secs
lola: 14715403 markings, 114188416 edges, 10522 markings/sec, 1160 secs
lola: 14771387 markings, 114679898 edges, 11197 markings/sec, 1165 secs
lola: 14830757 markings, 115173396 edges, 11874 markings/sec, 1170 secs
lola: 14884589 markings, 115666101 edges, 10766 markings/sec, 1175 secs
lola: 14939883 markings, 116158711 edges, 11059 markings/sec, 1180 secs
lola: 15006471 markings, 116651983 edges, 13318 markings/sec, 1185 secs
lola: 15075486 markings, 117137505 edges, 13803 markings/sec, 1190 secs
lola: 15145812 markings, 117623870 edges, 14065 markings/sec, 1195 secs
lola: 15214951 markings, 118111558 edges, 13828 markings/sec, 1200 secs
lola: 15274627 markings, 118597411 edges, 11935 markings/sec, 1205 secs
lola: 15336253 markings, 119084016 edges, 12325 markings/sec, 1210 secs
lola: 15402749 markings, 119569184 edges, 13299 markings/sec, 1215 secs
lola: 15462563 markings, 120051856 edges, 11963 markings/sec, 1220 secs
lola: 15522849 markings, 120533963 edges, 12057 markings/sec, 1225 secs
lola: 15585204 markings, 121019859 edges, 12471 markings/sec, 1230 secs
lola: 15640539 markings, 121503846 edges, 11067 markings/sec, 1235 secs
lola: 15689558 markings, 121961148 edges, 9804 markings/sec, 1240 secs
lola: 15745168 markings, 122449268 edges, 11122 markings/sec, 1245 secs
lola: 15810494 markings, 122937605 edges, 13065 markings/sec, 1250 secs
lola: 15869697 markings, 123425000 edges, 11841 markings/sec, 1255 secs
lola: 15932350 markings, 123912957 edges, 12531 markings/sec, 1260 secs
lola: 15995993 markings, 124381208 edges, 12729 markings/sec, 1265 secs
lola: 16055636 markings, 124869860 edges, 11929 markings/sec, 1270 secs
lola: 16118325 markings, 125358133 edges, 12538 markings/sec, 1275 secs
lola: 16185015 markings, 125850794 edges, 13338 markings/sec, 1280 secs
lola: 16245700 markings, 126342860 edges, 12137 markings/sec, 1285 secs
lola: 16307962 markings, 126836106 edges, 12452 markings/sec, 1290 secs
lola: 16368565 markings, 127308380 edges, 12121 markings/sec, 1295 secs
lola: 16423893 markings, 127797575 edges, 11066 markings/sec, 1300 secs
lola: 16476501 markings, 128285640 edges, 10522 markings/sec, 1305 secs
lola: 16532579 markings, 128777452 edges, 11216 markings/sec, 1310 secs
lola: 16585209 markings, 129266347 edges, 10526 markings/sec, 1315 secs
lola: 16631439 markings, 129734040 edges, 9246 markings/sec, 1320 secs
lola: 16680594 markings, 130222895 edges, 9831 markings/sec, 1325 secs
lola: 16731294 markings, 130715166 edges, 10140 markings/sec, 1330 secs
lola: 16783366 markings, 131202718 edges, 10414 markings/sec, 1335 secs
lola: 16830771 markings, 131688903 edges, 9481 markings/sec, 1340 secs
lola: 16879951 markings, 132175225 edges, 9836 markings/sec, 1345 secs
lola: 16930435 markings, 132665614 edges, 10097 markings/sec, 1350 secs
lola: 16976993 markings, 133152934 edges, 9312 markings/sec, 1355 secs
lola: 17020669 markings, 133640610 edges, 8735 markings/sec, 1360 secs
lola: 17064930 markings, 134127505 edges, 8852 markings/sec, 1365 secs
lola: 17110270 markings, 134617977 edges, 9068 markings/sec, 1370 secs
lola: 17162777 markings, 135107823 edges, 10501 markings/sec, 1375 secs
lola: 17211527 markings, 135596691 edges, 9750 markings/sec, 1380 secs
lola: 17259931 markings, 136084130 edges, 9681 markings/sec, 1385 secs
lola: 17310036 markings, 136574628 edges, 10021 markings/sec, 1390 secs
lola: 17362888 markings, 137064740 edges, 10570 markings/sec, 1395 secs
lola: 17411077 markings, 137554010 edges, 9638 markings/sec, 1400 secs
lola: 17460250 markings, 138043086 edges, 9835 markings/sec, 1405 secs
lola: 17511619 markings, 138535672 edges, 10274 markings/sec, 1410 secs
lola: 17563942 markings, 139028377 edges, 10465 markings/sec, 1415 secs
lola: 17611516 markings, 139520436 edges, 9515 markings/sec, 1420 secs
lola: 17661653 markings, 140013103 edges, 10027 markings/sec, 1425 secs
lola: 17718242 markings, 140506618 edges, 11318 markings/sec, 1430 secs
lola: 17782113 markings, 140996399 edges, 12774 markings/sec, 1435 secs
lola: 17841591 markings, 141484193 edges, 11896 markings/sec, 1440 secs
lola: 17904621 markings, 141975198 edges, 12606 markings/sec, 1445 secs
lola: 17962265 markings, 142465811 edges, 11529 markings/sec, 1450 secs
lola: 18014970 markings, 142954777 edges, 10541 markings/sec, 1455 secs
lola: 18070851 markings, 143445698 edges, 11176 markings/sec, 1460 secs
lola: 18129733 markings, 143936007 edges, 11776 markings/sec, 1465 secs
lola: 18183861 markings, 144423831 edges, 10826 markings/sec, 1470 secs
lola: 18237739 markings, 144910751 edges, 10776 markings/sec, 1475 secs
lola: 18293578 markings, 145401245 edges, 11168 markings/sec, 1480 secs
lola: 18345481 markings, 145890891 edges, 10381 markings/sec, 1485 secs
lola: 18392244 markings, 146379453 edges, 9353 markings/sec, 1490 secs
lola: 18442113 markings, 146867046 edges, 9974 markings/sec, 1495 secs
lola: 18496600 markings, 147358800 edges, 10897 markings/sec, 1500 secs
lola: 18553172 markings, 147848161 edges, 11314 markings/sec, 1505 secs
lola: 18605622 markings, 148335958 edges, 10490 markings/sec, 1510 secs
lola: 18661466 markings, 148826146 edges, 11169 markings/sec, 1515 secs
lola: 18720515 markings, 149316720 edges, 11810 markings/sec, 1520 secs
lola: 18773991 markings, 149805894 edges, 10695 markings/sec, 1525 secs
lola: 18828772 markings, 150294391 edges, 10956 markings/sec, 1530 secs
lola: 18887289 markings, 150786209 edges, 11703 markings/sec, 1535 secs
lola: 18943930 markings, 151278197 edges, 11328 markings/sec, 1540 secs
lola: 18996765 markings, 151769571 edges, 10567 markings/sec, 1545 secs
lola: 19053110 markings, 152264250 edges, 11269 markings/sec, 1550 secs
lola: 19119130 markings, 152754132 edges, 13204 markings/sec, 1555 secs
lola: 19178343 markings, 153241485 edges, 11843 markings/sec, 1560 secs
lola: 19240805 markings, 153729910 edges, 12492 markings/sec, 1565 secs
lola: 19301225 markings, 154219249 edges, 12084 markings/sec, 1570 secs
lola: 19354855 markings, 154707554 edges, 10726 markings/sec, 1575 secs
lola: 19409322 markings, 155195555 edges, 10893 markings/sec, 1580 secs
lola: 19467326 markings, 155686432 edges, 11601 markings/sec, 1585 secs
lola: 19523799 markings, 156172945 edges, 11295 markings/sec, 1590 secs
lola: 19575867 markings, 156657435 edges, 10414 markings/sec, 1595 secs
lola: 19631382 markings, 157144674 edges, 11103 markings/sec, 1600 secs
lola: 19685319 markings, 157632883 edges, 10787 markings/sec, 1605 secs
lola: 19734628 markings, 158120496 edges, 9862 markings/sec, 1610 secs
lola: 19781887 markings, 158606382 edges, 9452 markings/sec, 1615 secs
lola: 19832058 markings, 159095861 edges, 10034 markings/sec, 1620 secs
lola: 19890177 markings, 159584305 edges, 11624 markings/sec, 1625 secs
lola: 19943248 markings, 160071948 edges, 10614 markings/sec, 1630 secs
lola: 19998026 markings, 160558618 edges, 10956 markings/sec, 1635 secs
lola: 20056705 markings, 161049353 edges, 11736 markings/sec, 1640 secs
lola: 20112810 markings, 161538271 edges, 11221 markings/sec, 1645 secs
lola: 20165085 markings, 162024751 edges, 10455 markings/sec, 1650 secs
lola: 20220930 markings, 162514773 edges, 11169 markings/sec, 1655 secs
lola: 20280164 markings, 163007396 edges, 11847 markings/sec, 1660 secs
lola: 20333471 markings, 163499070 edges, 10661 markings/sec, 1665 secs
lola: 20389039 markings, 163991036 edges, 11114 markings/sec, 1670 secs
lola: 20452145 markings, 164483509 edges, 12621 markings/sec, 1675 secs
lola: 20513836 markings, 164970607 edges, 12338 markings/sec, 1680 secs
lola: 20573630 markings, 165457162 edges, 11959 markings/sec, 1685 secs
lola: 20636433 markings, 165946830 edges, 12561 markings/sec, 1690 secs
lola: 20692654 markings, 166433628 edges, 11244 markings/sec, 1695 secs
lola: 20745017 markings, 166920689 edges, 10473 markings/sec, 1700 secs
lola: 20800879 markings, 167410827 edges, 11172 markings/sec, 1705 secs
lola: 20859553 markings, 167898389 edges, 11735 markings/sec, 1710 secs
lola: 20912644 markings, 168383274 edges, 10618 markings/sec, 1715 secs
lola: 20966861 markings, 168867933 edges, 10843 markings/sec, 1720 secs
lola: 21022595 markings, 169357115 edges, 11147 markings/sec, 1725 secs
lola: 21073591 markings, 169845192 edges, 10199 markings/sec, 1730 secs
lola: 21120501 markings, 170331083 edges, 9382 markings/sec, 1735 secs
lola: 21170042 markings, 170817944 edges, 9908 markings/sec, 1740 secs
lola: 21223075 markings, 171287944 edges, 10607 markings/sec, 1745 secs
lola: 21279336 markings, 171778024 edges, 11252 markings/sec, 1750 secs
lola: 21331788 markings, 172265906 edges, 10490 markings/sec, 1755 secs
lola: 21387794 markings, 172757247 edges, 11201 markings/sec, 1760 secs
lola: 21446889 markings, 173248570 edges, 11819 markings/sec, 1765 secs
lola: 21500007 markings, 173738187 edges, 10624 markings/sec, 1770 secs
lola: 21555312 markings, 174227842 edges, 11061 markings/sec, 1775 secs
lola: 21614551 markings, 174721957 edges, 11848 markings/sec, 1780 secs
lola: 21670906 markings, 175215593 edges, 11271 markings/sec, 1785 secs
lola: 21723831 markings, 175707534 edges, 10585 markings/sec, 1790 secs
lola: 21780329 markings, 176203242 edges, 11300 markings/sec, 1795 secs
lola: 21847562 markings, 176696002 edges, 13447 markings/sec, 1800 secs
lola: 21906682 markings, 177186668 edges, 11824 markings/sec, 1805 secs
lola: 21969898 markings, 177679578 edges, 12643 markings/sec, 1810 secs
lola: 22030051 markings, 178172969 edges, 12031 markings/sec, 1815 secs
lola: 22083424 markings, 178664728 edges, 10675 markings/sec, 1820 secs
lola: 22138989 markings, 179157042 edges, 11113 markings/sec, 1825 secs
lola: 22198144 markings, 179650030 edges, 11831 markings/sec, 1830 secs
lola: 22254032 markings, 180139643 edges, 11178 markings/sec, 1835 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown unknown no no unknown yes yes unknown yes yes unknown no no no
lola: lola: caught signal User defined signal 1 - aborting LoLA

preliminary result: no no unknown unknown no no unknown yes yes unknown yes yes unknown no no no
lola:
preliminary result: no no unknown unknown no no unknown yes yes unknown yes yes unknown no no no
lola: memory consumption: 7538568 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

BK_STOP 1589310499548

--------------------
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-12b"
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-12b, 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-158897552800120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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