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

About the Execution of 2019-Gold for ASLink-PT-04a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
9520.210 3570122.00 3632758.00 10601.50 FF?FFFTFFTTTF?FT 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-158897552600015.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 ASLink-PT-04a, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552600015
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 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 436K 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 ASLink-PT-04a-00
FORMULA_NAME ASLink-PT-04a-01
FORMULA_NAME ASLink-PT-04a-02
FORMULA_NAME ASLink-PT-04a-03
FORMULA_NAME ASLink-PT-04a-04
FORMULA_NAME ASLink-PT-04a-05
FORMULA_NAME ASLink-PT-04a-06
FORMULA_NAME ASLink-PT-04a-07
FORMULA_NAME ASLink-PT-04a-08
FORMULA_NAME ASLink-PT-04a-09
FORMULA_NAME ASLink-PT-04a-10
FORMULA_NAME ASLink-PT-04a-11
FORMULA_NAME ASLink-PT-04a-12
FORMULA_NAME ASLink-PT-04a-13
FORMULA_NAME ASLink-PT-04a-14
FORMULA_NAME ASLink-PT-04a-15

=== Now, execution of the tool begins

BK_START 1589148034401

info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ ASLink-PT-04a @ 3570 seconds
check_solution: Constraint R1 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)
check_solution: Variable C200 = -1 is below its lower bound 0
check_solution: Variable C1239 = -1 is below its lower bound 0
check_solution: Constraint R1 = 6.94939224184e-310 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)
spx_run: Lost feasibility 10 times - iter 1677 and 172 nodes.
check_solution: Variable C13 = -0.5 is below its lower bound 0
check_solution: Variable C37 = -1.33333333333 is below its lower bound 0
check_solution: Variable C40 = -0.5 is below its lower bound 0
check_solution: Variable C41 = -0.5 is below its lower bound 0
check_solution: Variable C42 = -0.5 is below its lower bound 0
check_solution: Variable C43 = -0.5 is below its lower bound 0
check_solution: Variable C44 = -0.5 is below its lower bound 0
check_solution: Variable C46 = -0.5 is below its lower bound 0
check_solution: Variable C47 = -0.5 is below its lower bound 0
check_solution: Variable C48 = -0.5 is below its lower bound 0

Seriously low accuracy found ||*|| = 1.66667 (rel. error 1.66667)

FORMULA ASLink-PT-04a-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04a-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04a-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04a-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04a-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04a-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04a-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04a-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04a-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04a-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA ASLink-PT-04a-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04a-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04a-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ ASLink-PT-04a

{
"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=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sun May 10 22:00:34 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 212
},
"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": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 115
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 226
},
"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": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 115
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 243
},
"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": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 115
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 261
},
"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": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 115
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 283
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 4,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "A (F (G ((((p784 + 1 <= p531) R (p620 + 1 <= p842)) R ((p949 + 1 <= p347) AND X ((p949 + 1 <= p347)))))))",
"processed_size": 105,
"rewrites": 115
},
"result":
{
"edges": 39,
"markings": 38,
"produced_by": "LTL model checker",
"value": false
},
"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": 309
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (G ((p933 <= p104))))",
"processed_size": 26,
"rewrites": 115
},
"result":
{
"edges": 37,
"markings": 37,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 340
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A ((X (G ((p846 <= 2))) R ((1 <= p236) OR G ((p969 + 1 <= p955)))))",
"processed_size": 67,
"rewrites": 115
},
"result":
{
"edges": 37,
"markings": 37,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"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": 378
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (X ((F ((p100 + 1 <= p202)) OR ((p162 + 1 <= p299) AND G ((p100 + 1 <= p202))))))",
"processed_size": 83,
"rewrites": 115
},
"result":
{
"edges": 37,
"markings": 37,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"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": 425
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 4,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (X (X (X (F ((p553 <= p267)))))))",
"processed_size": 38,
"rewrites": 115
},
"result":
{
"edges": 6019,
"markings": 2441,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 8,
"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": 486
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 2,
"X": 1,
"aconj": 0,
"adisj": 2,
"aneg": 2,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "A (((X (G (((p784 <= 1) OR (p496 <= 2)))) U ((p882 + 1 <= p148) R (p678 + 1 <= p573))) U ((p573 <= p678) OR (p148 <= p882))))",
"processed_size": 127,
"rewrites": 115
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 9,
"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": 567
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 567
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "A (F (G (((p811 <= p999) AND ((p272 <= 2) U (p89 <= p536))))))",
"processed_size": 62,
"rewrites": 115
},
"result":
{
"edges": 206,
"markings": 205,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 11,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 945
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A ((G ((p754 + 1 <= p62)) OR F ((p922 + 1 <= p57))))",
"processed_size": 52,
"rewrites": 115
},
"result":
{
"edges": 151,
"markings": 151,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"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": 1418
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (G (F (((p159 + 1 <= p50) AND (p104 + 1 <= p556)))))",
"processed_size": 54,
"rewrites": 115
},
"result":
{
"edges": 151,
"markings": 151,
"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": 2835
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2835
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(p627 <= p674)",
"processed_size": 14,
"rewrites": 115
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 15,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 9521380,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X(G(**))) : A(X((F(*) OR (* AND G(*))))) : A(((** OR (G(F(**)) AND F(**))) U (F(**) U X(G(**))))) : A(G(F(*))) : (A(F(G((** AND (** U **))))) AND A(X(G((** OR G((** AND (** U **)))))))) : A(F(G(((* R *) R (* AND X(*)))))) : TRUE : A((G(*) OR F(*))) : A((X(G(*)) R (* OR G(**)))) : TRUE : A(X(X(X(X(F(**)))))) : A(((X(G(**)) U (* R *)) U **)) : FALSE : (** AND A(G(F(*)))) : FALSE : A((** OR F(**)))"
},
"net":
{
"arcs": 5858,
"conflict_clusters": 336,
"places": 1016,
"places_significant": 822,
"singleton_clusters": 0,
"transitions": 1554
},
"result":
{
"interim_value": "no no unknown no no no yes no no yes yes yes no unknown no yes ",
"preliminary_value": "no no unknown no no no yes no no yes yes yes no unknown no yes "
},
"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: 2570/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1016
lola: finding significant places
lola: 1016 places, 1554 transitions, 822 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 LTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p148)
lola: LP says that atomic proposition is always false: (2 <= p282)
lola: LP says that atomic proposition is always false: (2 <= p727)
lola: LP says that atomic proposition is always false: (2 <= p223)
lola: LP says that atomic proposition is always false: (3 <= p82)
lola: LP says that atomic proposition is always false: (2 <= p167)
lola: LP says that atomic proposition is always false: (3 <= p732)
lola: LP says that atomic proposition is always false: (3 <= p455)
lola: A (NOT((F (((p342 <= p978) U X ((p352 <= p485)))) U NOT(X (G ((p933 <= p104))))))) : A (X (NOT(((G ((p202 <= p100)) OR X ((3 <= p148))) AND ((p299 <= p162) OR F ((p202 <= p100))))))) : A (((G (X (F ((p121 <= p423)))) U (2 <= p925)) U (F ((p644 <= p426)) U G (X ((p178 <= p547)))))) : A (X (X (NOT(((2 <= p282) OR F (G (((p50 <= p159) OR (p556 <= p104))))))))) : A (X (G (((p811 <= p999) U G (((p811 <= p999) AND ((p272 <= 2) U (p89 <= p536)))))))) : A (F (G (F (G (NOT(X ((((p531 <= p784) U (p842 <= p620)) U ((p347 <= p949) OR X ((p347 <= p949))))))))))) : A ((() OR X (G (((p347 <= p929) U G ((p727 <= 1))))))) : A ((NOT(F ((p62 <= p754))) OR NOT(G ((p57 <= p922))))) : A (NOT((X (F ((3 <= p846))) U ((p236 <= 0) AND F (NOT(G ((p969 + 1 <= p955)))))))) : A (((0 <= p736) OR X (G (NOT((NOT(F ((p938 <= p204))) U (2 <= p244))))))) : A (F (X (X (((2 <= p223) OR X ((F ((3 <= p82)) U X ((p553 <= p267))))))))) : A (((X (G (((p784 <= 1) OR (p496 <= 2)))) U NOT(((p148 <= p882) U (p573 <= p678)))) U ((p573 <= p678) OR (p148 <= p882)))) : A ((X (X ((p880 <= p978))) AND F ((G ((2 <= p167)) AND G ((3 <= p732)))))) : A (((p627 <= p674) AND G (NOT(G ((p819 <= p281)))))) : A ((((p85 + 1 <= p678) AND (p715 + 1 <= p572)) U ((3 <= p455) AND X (NOT(((p572 <= p715) U (p527 <= p382))))))) : A (((p34 <= p278) OR F ((1 <= p522))))
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:410
lola: rewrite Frontend/Parser/formula_rewrite.k:422
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:121
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:318
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:377
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:338
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:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k: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:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:151
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: rewrite Frontend/Parser/formula_rewrite.k:98
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:118
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 115 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 226 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 115 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 115 rewrites
lola: closed formula file LTLCardinality.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: subprocess 3 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 115 rewrites
lola: closed formula file LTLCardinality.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: subprocess 4 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((((p784 + 1 <= p531) R (p620 + 1 <= p842)) R ((p949 + 1 <= p347) AND X ((p949 + 1 <= p347)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((((p784 + 1 <= p531) R (p620 + 1 <= p842)) R ((p949 + 1 <= p347) AND X ((p949 + 1 <= p347)))))))
lola: processed formula length: 105
lola: 115 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 38 markings, 39 edges
lola: ========================================
lola: subprocess 5 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((p933 <= p104))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((p933 <= p104))))
lola: processed formula length: 26
lola: 115 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 37 markings, 37 edges
lola: ========================================
lola: subprocess 6 will run for 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (G ((p846 <= 2))) R ((1 <= p236) OR G ((p969 + 1 <= p955)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (G ((p846 <= 2))) R ((1 <= p236) OR G ((p969 + 1 <= p955)))))
lola: processed formula length: 67
lola: 115 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 6 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: 37 markings, 37 edges
lola: ========================================
lola: subprocess 7 will run for 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((F ((p100 + 1 <= p202)) OR ((p162 + 1 <= p299) AND G ((p100 + 1 <= p202))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F ((p100 + 1 <= p202)) OR ((p162 + 1 <= p299) AND G ((p100 + 1 <= p202))))))
lola: processed formula length: 83
lola: 115 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 37 markings, 37 edges
lola: ========================================
lola: subprocess 8 will run for 425 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (X (F ((p553 <= p267)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (X (F ((p553 <= p267)))))))
lola: processed formula length: 38
lola: 115 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2441 markings, 6019 edges
lola: ========================================
lola: subprocess 9 will run for 486 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((X (G (((p784 <= 1) OR (p496 <= 2)))) U ((p882 + 1 <= p148) R (p678 + 1 <= p573))) U ((p573 <= p678) OR (p148 <= p882))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((X (G (((p784 <= 1) OR (p496 <= 2)))) U ((p882 + 1 <= p148) R (p678 + 1 <= p573))) U ((p573 <= p678) OR (p148 <= p882))))
lola: processed formula length: 127
lola: 115 rewrites
lola: closed formula file LTLCardinality.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 10 will run for 567 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((2 <= p925) OR (G (F ((p121 <= p423))) AND F ((2 <= p925)))) U (F ((p644 <= p426)) U X (G ((p178 <= p547))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((((2 <= p925) OR (G (F ((p121 <= p423))) AND F ((2 <= p925)))) U (F ((p644 <= p426)) U X (G ((p178 <= p547))))))
lola: processed formula length: 115
lola: 115 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 16 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: 213866 markings, 576199 edges, 42773 markings/sec, 0 secs
lola: 446800 markings, 1175930 edges, 46587 markings/sec, 5 secs
lola: 649104 markings, 1786526 edges, 40461 markings/sec, 10 secs
lola: 840376 markings, 2404088 edges, 38254 markings/sec, 15 secs
lola: 1007016 markings, 3028986 edges, 33328 markings/sec, 20 secs
lola: 1125620 markings, 3670788 edges, 23721 markings/sec, 25 secs
lola: 1254851 markings, 4308531 edges, 25846 markings/sec, 30 secs
lola: 1367574 markings, 4948705 edges, 22545 markings/sec, 35 secs
lola: 1472823 markings, 5589600 edges, 21050 markings/sec, 40 secs
lola: 1585154 markings, 6231267 edges, 22466 markings/sec, 45 secs
lola: 1705455 markings, 6863242 edges, 24060 markings/sec, 50 secs
lola: 1808980 markings, 7496877 edges, 20705 markings/sec, 55 secs
lola: 1912351 markings, 8131060 edges, 20674 markings/sec, 60 secs
lola: 2035780 markings, 8760269 edges, 24686 markings/sec, 65 secs
lola: 2142092 markings, 9384643 edges, 21262 markings/sec, 70 secs
lola: 2243746 markings, 10007617 edges, 20331 markings/sec, 75 secs
lola: 2355885 markings, 10626453 edges, 22428 markings/sec, 80 secs
lola: 2493164 markings, 11248590 edges, 27456 markings/sec, 85 secs
lola: 2608094 markings, 11876441 edges, 22986 markings/sec, 90 secs
lola: 2721447 markings, 12499152 edges, 22671 markings/sec, 95 secs
lola: 2824909 markings, 13122870 edges, 20692 markings/sec, 100 secs
lola: 2921435 markings, 13759061 edges, 19305 markings/sec, 105 secs
lola: 3024920 markings, 14388071 edges, 20697 markings/sec, 110 secs
lola: 3127938 markings, 15032098 edges, 20604 markings/sec, 115 secs
lola: 3225798 markings, 15677115 edges, 19572 markings/sec, 120 secs
lola: 3345348 markings, 16321682 edges, 23910 markings/sec, 125 secs
lola: 3475794 markings, 16958958 edges, 26089 markings/sec, 130 secs
lola: 3589194 markings, 17597040 edges, 22680 markings/sec, 135 secs
lola: 3702195 markings, 18234026 edges, 22600 markings/sec, 140 secs
lola: 3802520 markings, 18873285 edges, 20065 markings/sec, 145 secs
lola: 3899320 markings, 19511698 edges, 19360 markings/sec, 150 secs
lola: 4010006 markings, 20149506 edges, 22137 markings/sec, 155 secs
lola: 4107619 markings, 20788615 edges, 19523 markings/sec, 160 secs
lola: 4207364 markings, 21427075 edges, 19949 markings/sec, 165 secs
lola: 4336376 markings, 22065061 edges, 25802 markings/sec, 170 secs
lola: 4456734 markings, 22694434 edges, 24072 markings/sec, 175 secs
lola: 4568752 markings, 23324936 edges, 22404 markings/sec, 180 secs
lola: 4680484 markings, 23955732 edges, 22346 markings/sec, 185 secs
lola: 4776897 markings, 24587371 edges, 19283 markings/sec, 190 secs
lola: 4876195 markings, 25218050 edges, 19860 markings/sec, 195 secs
lola: 4984011 markings, 25847366 edges, 21563 markings/sec, 200 secs
lola: 5079961 markings, 26480125 edges, 19190 markings/sec, 205 secs
lola: 5183878 markings, 27110687 edges, 20783 markings/sec, 210 secs
lola: 5323498 markings, 27754142 edges, 27924 markings/sec, 215 secs
lola: 5456717 markings, 28397325 edges, 26644 markings/sec, 220 secs
lola: 5580206 markings, 29039405 edges, 24698 markings/sec, 225 secs
lola: 5694158 markings, 29678178 edges, 22790 markings/sec, 230 secs
lola: 5804726 markings, 30320651 edges, 22114 markings/sec, 235 secs
lola: 5921594 markings, 30961963 edges, 23374 markings/sec, 240 secs
lola: 6028991 markings, 31603540 edges, 21479 markings/sec, 245 secs
lola: 6121403 markings, 32245152 edges, 18482 markings/sec, 250 secs
lola: 6221355 markings, 32887623 edges, 19990 markings/sec, 255 secs
lola: 6323539 markings, 33529591 edges, 20437 markings/sec, 260 secs
lola: 6434694 markings, 34171135 edges, 22231 markings/sec, 265 secs
lola: 6536948 markings, 34814384 edges, 20451 markings/sec, 270 secs
lola: 6633239 markings, 35455232 edges, 19258 markings/sec, 275 secs
lola: 6729752 markings, 36097623 edges, 19303 markings/sec, 280 secs
lola: 6842396 markings, 36738588 edges, 22529 markings/sec, 285 secs
lola: 6976152 markings, 37378613 edges, 26751 markings/sec, 290 secs
lola: 7105106 markings, 38015822 edges, 25791 markings/sec, 295 secs
lola: 7216799 markings, 38652891 edges, 22339 markings/sec, 300 secs
lola: 7332756 markings, 39288935 edges, 23191 markings/sec, 305 secs
lola: 7447649 markings, 39923327 edges, 22979 markings/sec, 310 secs
lola: 7555088 markings, 40559584 edges, 21488 markings/sec, 315 secs
lola: 7654850 markings, 41197308 edges, 19952 markings/sec, 320 secs
lola: 7752347 markings, 41836324 edges, 19499 markings/sec, 325 secs
lola: 7846580 markings, 42473768 edges, 18847 markings/sec, 330 secs
lola: 7957970 markings, 43110330 edges, 22278 markings/sec, 335 secs
lola: 8065115 markings, 43747971 edges, 21429 markings/sec, 340 secs
lola: 8159944 markings, 44386338 edges, 18966 markings/sec, 345 secs
lola: 8259785 markings, 45024531 edges, 19968 markings/sec, 350 secs
lola: 8351953 markings, 45660292 edges, 18434 markings/sec, 355 secs
lola: 8478548 markings, 46299859 edges, 25319 markings/sec, 360 secs
lola: 8610540 markings, 46929217 edges, 26398 markings/sec, 365 secs
lola: 8734599 markings, 47560480 edges, 24812 markings/sec, 370 secs
lola: 8844348 markings, 48190851 edges, 21950 markings/sec, 375 secs
lola: 8955893 markings, 48821545 edges, 22309 markings/sec, 380 secs
lola: 9070497 markings, 49451446 edges, 22921 markings/sec, 385 secs
lola: 9176554 markings, 50081767 edges, 21211 markings/sec, 390 secs
lola: 9269894 markings, 50713254 edges, 18668 markings/sec, 395 secs
lola: 9368504 markings, 51344801 edges, 19722 markings/sec, 400 secs
lola: 9460352 markings, 51974582 edges, 18370 markings/sec, 405 secs
lola: 9574347 markings, 52605163 edges, 22799 markings/sec, 410 secs
lola: 9678881 markings, 53236263 edges, 20907 markings/sec, 415 secs
lola: 9769695 markings, 53867619 edges, 18163 markings/sec, 420 secs
lola: 9868729 markings, 54500412 edges, 19807 markings/sec, 425 secs
lola: 9970445 markings, 55132283 edges, 20343 markings/sec, 430 secs
lola: 10091423 markings, 55768065 edges, 24196 markings/sec, 435 secs
lola: 10244589 markings, 56409099 edges, 30633 markings/sec, 440 secs
lola: 10374128 markings, 57045495 edges, 25908 markings/sec, 445 secs
lola: 10502453 markings, 57685188 edges, 25665 markings/sec, 450 secs
lola: 10613494 markings, 58322391 edges, 22208 markings/sec, 455 secs
lola: 10729085 markings, 58961048 edges, 23118 markings/sec, 460 secs
lola: 10841496 markings, 59598782 edges, 22482 markings/sec, 465 secs
lola: 10955349 markings, 60238717 edges, 22771 markings/sec, 470 secs
lola: 11068738 markings, 60876397 edges, 22678 markings/sec, 475 secs
lola: 11177075 markings, 61515614 edges, 21667 markings/sec, 480 secs
lola: 11276666 markings, 62154467 edges, 19918 markings/sec, 485 secs
lola: 11367807 markings, 62791463 edges, 18228 markings/sec, 490 secs
lola: 11471225 markings, 63427753 edges, 20684 markings/sec, 495 secs
lola: 11562876 markings, 64067968 edges, 18330 markings/sec, 500 secs
lola: 11668432 markings, 64706617 edges, 21111 markings/sec, 505 secs
lola: 11780355 markings, 65343256 edges, 22385 markings/sec, 510 secs
lola: 11888602 markings, 65984999 edges, 21649 markings/sec, 515 secs
lola: 11987556 markings, 66624151 edges, 19791 markings/sec, 520 secs
lola: 12079064 markings, 67261451 edges, 18302 markings/sec, 525 secs
lola: 12182577 markings, 67899473 edges, 20703 markings/sec, 530 secs
lola: 12274687 markings, 68539478 edges, 18422 markings/sec, 535 secs
lola: 12381184 markings, 69177723 edges, 21299 markings/sec, 540 secs
lola: 12508700 markings, 69817467 edges, 25503 markings/sec, 545 secs
lola: 12643920 markings, 70452425 edges, 27044 markings/sec, 550 secs
lola: 12772021 markings, 71085698 edges, 25620 markings/sec, 555 secs
lola: 12893603 markings, 71721371 edges, 24316 markings/sec, 560 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown no yes unknown no yes yes yes no unknown no unknown
lola: memory consumption: 2075416 KB
lola: time consumption: 734 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 567 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (G (((p811 <= p999) AND ((p272 <= 2) U (p89 <= p536)))))) AND A (X (G (((p811 <= p999) OR G (((p811 <= p999) AND ((p272 <= 2) U (p89 <= p536)))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 567 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (((p811 <= p999) AND ((p272 <= 2) U (p89 <= p536))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((p811 <= p999) AND ((p272 <= 2) U (p89 <= p536))))))
lola: processed formula length: 62
lola: 115 rewrites
lola: closed formula file LTLCardinality.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: 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: 205 markings, 206 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 12 will run for 709 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p34 <= p278) OR F ((1 <= p522))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p34 <= p278) OR F ((1 <= p522))))
lola: processed formula length: 38
lola: 115 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 945 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G ((p754 + 1 <= p62)) OR F ((p922 + 1 <= p57))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((p754 + 1 <= p62)) OR F ((p922 + 1 <= p57))))
lola: processed formula length: 52
lola: 115 rewrites
lola: closed formula file LTLCardinality.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: 151 markings, 151 edges
lola: ========================================
lola: subprocess 14 will run for 1418 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (((p159 + 1 <= p50) AND (p104 + 1 <= p556)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((p159 + 1 <= p50) AND (p104 + 1 <= p556)))))
lola: processed formula length: 54
lola: 115 rewrites
lola: closed formula file LTLCardinality.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: 151 markings, 151 edges
lola: ========================================
lola: subprocess 15 will run for 2835 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p627 <= p674) AND A (G (F ((p281 + 1 <= p819)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2835 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p627 <= p674)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p627 <= p674)
lola: processed formula length: 14
lola: 115 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A ((((2 <= p925) OR (G (F ((p121 <= p423))) AND F ((2 <= p925)))) U (F ((p644 <= p426)) U X (G ((p178 <= p547))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((((2 <= p925) OR (G (F ((p121 <= p423))) AND F ((2 <= p925)))) U (F ((p644 <= p426)) U X (G ((p178 <= p547))))))
lola: processed formula length: 115
lola: 115 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 16 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: 237334 markings, 613031 edges, 47467 markings/sec, 0 secs
lola: 458118 markings, 1218031 edges, 44157 markings/sec, 5 secs
lola: 660725 markings, 1828536 edges, 40521 markings/sec, 10 secs
lola: 855209 markings, 2450007 edges, 38897 markings/sec, 15 secs
lola: 1015884 markings, 3077891 edges, 32135 markings/sec, 20 secs
lola: 1133502 markings, 3718282 edges, 23524 markings/sec, 25 secs
lola: 1263495 markings, 4358544 edges, 25999 markings/sec, 30 secs
lola: 1375234 markings, 4999879 edges, 22348 markings/sec, 35 secs
lola: 1480544 markings, 5641547 edges, 21062 markings/sec, 40 secs
lola: 1596160 markings, 6283448 edges, 23123 markings/sec, 45 secs
lola: 1714652 markings, 6915893 edges, 23698 markings/sec, 50 secs
lola: 1818144 markings, 7549995 edges, 20698 markings/sec, 55 secs
lola: 1922997 markings, 8185244 edges, 20971 markings/sec, 60 secs
lola: 2045154 markings, 8812367 edges, 24431 markings/sec, 65 secs
lola: 2151069 markings, 9442261 edges, 21183 markings/sec, 70 secs
lola: 2253935 markings, 10067382 edges, 20573 markings/sec, 75 secs
lola: 2374555 markings, 10699815 edges, 24124 markings/sec, 80 secs
lola: 2511112 markings, 11338043 edges, 27311 markings/sec, 85 secs
lola: 2627483 markings, 11974516 edges, 23274 markings/sec, 90 secs
lola: 2740795 markings, 12612873 edges, 22662 markings/sec, 95 secs
lola: 2842873 markings, 13249342 edges, 20416 markings/sec, 100 secs
lola: 2939788 markings, 13886635 edges, 19383 markings/sec, 105 secs
lola: 3047959 markings, 14524320 edges, 21634 markings/sec, 110 secs
lola: 3147014 markings, 15162990 edges, 19811 markings/sec, 115 secs
lola: 3244102 markings, 15803864 edges, 19418 markings/sec, 120 secs
lola: 3372104 markings, 16447004 edges, 25600 markings/sec, 125 secs
lola: 3497005 markings, 17082400 edges, 24980 markings/sec, 130 secs
lola: 3609618 markings, 17717870 edges, 22523 markings/sec, 135 secs
lola: 3722127 markings, 18353970 edges, 22502 markings/sec, 140 secs
lola: 3818653 markings, 18987257 edges, 19305 markings/sec, 145 secs
lola: 3914983 markings, 19615949 edges, 19266 markings/sec, 150 secs
lola: 4026267 markings, 20245195 edges, 22257 markings/sec, 155 secs
lola: 4122382 markings, 20875431 edges, 19223 markings/sec, 160 secs
lola: 4222381 markings, 21503657 edges, 20000 markings/sec, 165 secs
lola: 4350154 markings, 22132146 edges, 25555 markings/sec, 170 secs
lola: 4467027 markings, 22754464 edges, 23375 markings/sec, 175 secs
lola: 4577432 markings, 23374950 edges, 22081 markings/sec, 180 secs
lola: 4687827 markings, 23998265 edges, 22079 markings/sec, 185 secs
lola: 4782595 markings, 24621580 edges, 18954 markings/sec, 190 secs
lola: 4881362 markings, 25243627 edges, 19753 markings/sec, 195 secs
lola: 4986488 markings, 25864887 edges, 21025 markings/sec, 200 secs
lola: 5081150 markings, 26488250 edges, 18932 markings/sec, 205 secs
lola: 5183909 markings, 27110858 edges, 20552 markings/sec, 210 secs
lola: 5321470 markings, 27745686 edges, 27512 markings/sec, 215 secs
lola: 5452016 markings, 28375305 edges, 26109 markings/sec, 220 secs
lola: 5575041 markings, 29008064 edges, 24605 markings/sec, 225 secs
lola: 5686600 markings, 29640029 edges, 22312 markings/sec, 230 secs
lola: 5796717 markings, 30273833 edges, 22023 markings/sec, 235 secs
lola: 5912113 markings, 30906351 edges, 23079 markings/sec, 240 secs
lola: 6018558 markings, 31539384 edges, 21289 markings/sec, 245 secs
lola: 6110664 markings, 32171924 edges, 18421 markings/sec, 250 secs
lola: 6209577 markings, 32804573 edges, 19783 markings/sec, 255 secs
lola: 6305166 markings, 33437177 edges, 19118 markings/sec, 260 secs
lola: 6417664 markings, 34069960 edges, 22500 markings/sec, 265 secs
lola: 6520728 markings, 34700551 edges, 20613 markings/sec, 270 secs
lola: 6611987 markings, 35328455 edges, 18252 markings/sec, 275 secs
lola: 6709248 markings, 35958680 edges, 19452 markings/sec, 280 secs
lola: 6814095 markings, 36589838 edges, 20969 markings/sec, 285 secs
lola: 6934736 markings, 37173886 edges, 24128 markings/sec, 290 secs
lola: 7061502 markings, 37802297 edges, 25353 markings/sec, 295 secs
lola: 7178876 markings, 38428693 edges, 23475 markings/sec, 300 secs
lola: 7293745 markings, 39056856 edges, 22974 markings/sec, 305 secs
lola: 7399974 markings, 39684685 edges, 21246 markings/sec, 310 secs
lola: 7514093 markings, 40315035 edges, 22824 markings/sec, 315 secs
lola: 7618272 markings, 40943678 edges, 20836 markings/sec, 320 secs
lola: 7708766 markings, 41572257 edges, 18099 markings/sec, 325 secs
lola: 7807088 markings, 42201194 edges, 19664 markings/sec, 330 secs
lola: 7907496 markings, 42829615 edges, 20082 markings/sec, 335 secs
lola: 8016553 markings, 43459126 edges, 21811 markings/sec, 340 secs
lola: 8117120 markings, 44088654 edges, 20113 markings/sec, 345 secs
lola: 8210685 markings, 44717754 edges, 18713 markings/sec, 350 secs
lola: 8305878 markings, 45346416 edges, 19039 markings/sec, 355 secs
lola: 8414942 markings, 45974757 edges, 21813 markings/sec, 360 secs
lola: 8544854 markings, 46603850 edges, 25982 markings/sec, 365 secs
lola: 8670552 markings, 47225054 edges, 25140 markings/sec, 370 secs
lola: 8782919 markings, 47847178 edges, 22473 markings/sec, 375 secs
lola: 8896463 markings, 48470429 edges, 22709 markings/sec, 380 secs
lola: 9005692 markings, 49092532 edges, 21846 markings/sec, 385 secs
lola: 9115170 markings, 49715602 edges, 21896 markings/sec, 390 secs
lola: 9215600 markings, 50337918 edges, 20086 markings/sec, 395 secs
lola: 9306624 markings, 50960298 edges, 18205 markings/sec, 400 secs
lola: 9402308 markings, 51582124 edges, 19137 markings/sec, 405 secs
lola: 9506400 markings, 52205211 edges, 20818 markings/sec, 410 secs
lola: 9611518 markings, 52826819 edges, 21024 markings/sec, 415 secs
lola: 9710612 markings, 53455132 edges, 19819 markings/sec, 420 secs
lola: 9805481 markings, 54082685 edges, 18974 markings/sec, 425 secs
lola: 9898778 markings, 54709043 edges, 18659 markings/sec, 430 secs
lola: 10009166 markings, 55333156 edges, 22078 markings/sec, 435 secs
lola: 10142890 markings, 55968096 edges, 26745 markings/sec, 440 secs
lola: 10283569 markings, 56602723 edges, 28136 markings/sec, 445 secs
lola: 10412432 markings, 57235467 edges, 25773 markings/sec, 450 secs
lola: 10536981 markings, 57867108 edges, 24910 markings/sec, 455 secs
lola: 10643280 markings, 58498756 edges, 21260 markings/sec, 460 secs
lola: 10762649 markings, 59129829 edges, 23874 markings/sec, 465 secs
lola: 10869629 markings, 59767239 edges, 21396 markings/sec, 470 secs
lola: 10987683 markings, 60399831 edges, 23611 markings/sec, 475 secs
lola: 11096704 markings, 61038116 edges, 21804 markings/sec, 480 secs
lola: 11203720 markings, 61676313 edges, 21403 markings/sec, 485 secs
lola: 11298882 markings, 62311524 edges, 19032 markings/sec, 490 secs
lola: 11391277 markings, 62947248 edges, 18479 markings/sec, 495 secs
lola: 11494116 markings, 63587262 edges, 20568 markings/sec, 500 secs
lola: 11585870 markings, 64225152 edges, 18351 markings/sec, 505 secs
lola: 11698494 markings, 64860238 edges, 22525 markings/sec, 510 secs
lola: 11807234 markings, 65499075 edges, 21748 markings/sec, 515 secs
lola: 11914143 markings, 66138738 edges, 21382 markings/sec, 520 secs
lola: 12008848 markings, 66774127 edges, 18941 markings/sec, 525 secs
lola: 12102258 markings, 67410648 edges, 18682 markings/sec, 530 secs
lola: 12204299 markings, 68051333 edges, 20408 markings/sec, 535 secs
lola: 12296336 markings, 68688988 edges, 18407 markings/sec, 540 secs
lola: 12410837 markings, 69324914 edges, 22900 markings/sec, 545 secs
lola: 12544410 markings, 69962501 edges, 26715 markings/sec, 550 secs
lola: 12673578 markings, 70598385 edges, 25834 markings/sec, 555 secs
lola: 12801092 markings, 71229941 edges, 25503 markings/sec, 560 secs
lola: 12917207 markings, 71863209 edges, 23223 markings/sec, 565 secs
lola: 13025507 markings, 72494023 edges, 21660 markings/sec, 570 secs
lola: 13143598 markings, 73128103 edges, 23618 markings/sec, 575 secs
lola: 13248949 markings, 73758317 edges, 21070 markings/sec, 580 secs
lola: 13369160 markings, 74394040 edges, 24042 markings/sec, 585 secs
lola: 13475830 markings, 75026260 edges, 21334 markings/sec, 590 secs
lola: 13580121 markings, 75659656 edges, 20858 markings/sec, 595 secs
lola: 13671595 markings, 76293444 edges, 18295 markings/sec, 600 secs
lola: 13769315 markings, 76926954 edges, 19544 markings/sec, 605 secs
lola: 13864455 markings, 77559100 edges, 19028 markings/sec, 610 secs
lola: 13955095 markings, 78189981 edges, 18128 markings/sec, 615 secs
lola: 14074552 markings, 78824465 edges, 23891 markings/sec, 620 secs
lola: 14180891 markings, 79456257 edges, 21268 markings/sec, 625 secs
lola: 14285310 markings, 80088132 edges, 20884 markings/sec, 630 secs
lola: 14376866 markings, 80722649 edges, 18311 markings/sec, 635 secs
lola: 14474599 markings, 81358046 edges, 19547 markings/sec, 640 secs
lola: 14570254 markings, 81991514 edges, 19131 markings/sec, 645 secs
lola: 14661077 markings, 82622966 edges, 18165 markings/sec, 650 secs
lola: 14782021 markings, 83257111 edges, 24189 markings/sec, 655 secs
lola: 14920815 markings, 83891186 edges, 27759 markings/sec, 660 secs
lola: 15047740 markings, 84515217 edges, 25385 markings/sec, 665 secs
lola: 15174112 markings, 85144651 edges, 25274 markings/sec, 670 secs
lola: 15283591 markings, 85769777 edges, 21896 markings/sec, 675 secs
lola: 15396601 markings, 86399172 edges, 22602 markings/sec, 680 secs
lola: 15506823 markings, 87023941 edges, 22044 markings/sec, 685 secs
lola: 15618280 markings, 87653756 edges, 22291 markings/sec, 690 secs
lola: 15731936 markings, 88282149 edges, 22731 markings/sec, 695 secs
lola: 15837479 markings, 88908676 edges, 21109 markings/sec, 700 secs
lola: 15937438 markings, 89538962 edges, 19992 markings/sec, 705 secs
lola: 16028196 markings, 90166575 edges, 18152 markings/sec, 710 secs
lola: 16127865 markings, 90793124 edges, 19934 markings/sec, 715 secs
lola: 16219367 markings, 91418070 edges, 18300 markings/sec, 720 secs
lola: 16315188 markings, 92047554 edges, 19164 markings/sec, 725 secs
lola: 16430954 markings, 92676523 edges, 23153 markings/sec, 730 secs
lola: 16536567 markings, 93300984 edges, 21123 markings/sec, 735 secs
lola: 16637897 markings, 93931284 edges, 20266 markings/sec, 740 secs
lola: 16728013 markings, 94560335 edges, 18023 markings/sec, 745 secs
lola: 16826718 markings, 95187694 edges, 19741 markings/sec, 750 secs
lola: 16919386 markings, 95813101 edges, 18534 markings/sec, 755 secs
lola: 17013386 markings, 96441608 edges, 18800 markings/sec, 760 secs
lola: 17131406 markings, 97068829 edges, 23604 markings/sec, 765 secs
lola: 17272697 markings, 97705154 edges, 28258 markings/sec, 770 secs
lola: 17418775 markings, 98342784 edges, 29216 markings/sec, 775 secs
lola: 17547342 markings, 98975870 edges, 25713 markings/sec, 780 secs
lola: 17675114 markings, 99608226 edges, 25554 markings/sec, 785 secs
lola: 17802254 markings, 100240610 edges, 25428 markings/sec, 790 secs
lola: 17908639 markings, 100873359 edges, 21277 markings/sec, 795 secs
lola: 18015480 markings, 101506030 edges, 21368 markings/sec, 800 secs
lola: 18139710 markings, 102140952 edges, 24846 markings/sec, 805 secs
lola: 18246383 markings, 102775321 edges, 21335 markings/sec, 810 secs
lola: 18356357 markings, 103409025 edges, 21995 markings/sec, 815 secs
lola: 18477306 markings, 104039402 edges, 24190 markings/sec, 820 secs
lola: 18583023 markings, 104669507 edges, 21143 markings/sec, 825 secs
lola: 18688026 markings, 105297067 edges, 21001 markings/sec, 830 secs
lola: 18790476 markings, 105926753 edges, 20490 markings/sec, 835 secs
lola: 18880749 markings, 106550832 edges, 18055 markings/sec, 840 secs
lola: 18971128 markings, 107180861 edges, 18076 markings/sec, 845 secs
lola: 19074466 markings, 107811246 edges, 20668 markings/sec, 850 secs
lola: 19168178 markings, 108441534 edges, 18742 markings/sec, 855 secs
lola: 19258560 markings, 109069859 edges, 18076 markings/sec, 860 secs
lola: 19364529 markings, 109697391 edges, 21194 markings/sec, 865 secs
lola: 19480051 markings, 110326299 edges, 23104 markings/sec, 870 secs
lola: 19585840 markings, 110956162 edges, 21158 markings/sec, 875 secs
lola: 19691340 markings, 111585276 edges, 21100 markings/sec, 880 secs
lola: 19788956 markings, 112212924 edges, 19523 markings/sec, 885 secs
lola: 19879445 markings, 112841976 edges, 18098 markings/sec, 890 secs
lola: 19972271 markings, 113469833 edges, 18565 markings/sec, 895 secs
lola: 20076990 markings, 114102293 edges, 20944 markings/sec, 900 secs
lola: 20166797 markings, 114732572 edges, 17961 markings/sec, 905 secs
lola: 20257343 markings, 115362448 edges, 18109 markings/sec, 910 secs
lola: 20375451 markings, 115992213 edges, 23622 markings/sec, 915 secs
lola: 20499138 markings, 116620443 edges, 24737 markings/sec, 920 secs
lola: 20638806 markings, 117248486 edges, 27934 markings/sec, 925 secs
lola: 20764121 markings, 117870734 edges, 25063 markings/sec, 930 secs
lola: 20890170 markings, 118494531 edges, 25210 markings/sec, 935 secs
lola: 21014457 markings, 119120437 edges, 24857 markings/sec, 940 secs
lola: 21119853 markings, 119745184 edges, 21079 markings/sec, 945 secs
lola: 21227330 markings, 120371473 edges, 21495 markings/sec, 950 secs
lola: 21347437 markings, 120996336 edges, 24021 markings/sec, 955 secs
lola: 21452834 markings, 121621185 edges, 21079 markings/sec, 960 secs
lola: 21561258 markings, 122244226 edges, 21685 markings/sec, 965 secs
lola: 21681978 markings, 122872749 edges, 24144 markings/sec, 970 secs
lola: 21786832 markings, 123497633 edges, 20971 markings/sec, 975 secs
lola: 21891266 markings, 124122375 edges, 20887 markings/sec, 980 secs
lola: 21993129 markings, 124747358 edges, 20373 markings/sec, 985 secs
lola: 22082783 markings, 125368855 edges, 17931 markings/sec, 990 secs
lola: 22172768 markings, 125995556 edges, 17997 markings/sec, 995 secs
lola: 22275067 markings, 126621228 edges, 20460 markings/sec, 1000 secs
lola: 22368682 markings, 127247942 edges, 18723 markings/sec, 1005 secs
lola: 22458382 markings, 127873164 edges, 17940 markings/sec, 1010 secs
lola: 22562887 markings, 128496635 edges, 20901 markings/sec, 1015 secs
lola: 22677757 markings, 129121656 edges, 22974 markings/sec, 1020 secs
lola: 22782352 markings, 129745063 edges, 20919 markings/sec, 1025 secs
lola: 22887757 markings, 130372108 edges, 21081 markings/sec, 1030 secs
lola: 22986675 markings, 130998660 edges, 19784 markings/sec, 1035 secs
lola: 23076015 markings, 131622583 edges, 17868 markings/sec, 1040 secs
lola: 23167962 markings, 132248909 edges, 18389 markings/sec, 1045 secs
lola: 23272251 markings, 132874585 edges, 20858 markings/sec, 1050 secs
lola: 23362607 markings, 133504123 edges, 18071 markings/sec, 1055 secs
lola: 23452772 markings, 134130319 edges, 18033 markings/sec, 1060 secs
lola: 23565292 markings, 134753876 edges, 22504 markings/sec, 1065 secs
lola: 23684451 markings, 135378250 edges, 23832 markings/sec, 1070 secs
lola: 23828143 markings, 136004258 edges, 28738 markings/sec, 1075 secs
lola: 23953057 markings, 136622290 edges, 24983 markings/sec, 1080 secs
lola: 24077855 markings, 137241028 edges, 24960 markings/sec, 1085 secs
lola: 24202621 markings, 137859376 edges, 24953 markings/sec, 1090 secs
lola: 24306830 markings, 138480718 edges, 20842 markings/sec, 1095 secs
lola: 24411744 markings, 139103912 edges, 20983 markings/sec, 1100 secs
lola: 24535045 markings, 139722974 edges, 24660 markings/sec, 1105 secs
lola: 24639228 markings, 140343131 edges, 20837 markings/sec, 1110 secs
lola: 24743223 markings, 140964950 edges, 20799 markings/sec, 1115 secs
lola: 24866258 markings, 141586278 edges, 24607 markings/sec, 1120 secs
lola: 24971197 markings, 142207865 edges, 20988 markings/sec, 1125 secs
lola: 25075533 markings, 142828979 edges, 20867 markings/sec, 1130 secs
lola: 25178928 markings, 143449201 edges, 20679 markings/sec, 1135 secs
lola: 25268046 markings, 144070889 edges, 17824 markings/sec, 1140 secs
lola: 25357853 markings, 144694025 edges, 17961 markings/sec, 1145 secs
lola: 25456827 markings, 145312706 edges, 19795 markings/sec, 1150 secs
lola: 25551425 markings, 145933889 edges, 18920 markings/sec, 1155 secs
lola: 25641400 markings, 146553631 edges, 17995 markings/sec, 1160 secs
lola: 25736488 markings, 147173675 edges, 19018 markings/sec, 1165 secs
lola: 25855860 markings, 147794624 edges, 23874 markings/sec, 1170 secs
lola: 25959384 markings, 148415272 edges, 20705 markings/sec, 1175 secs
lola: 26063578 markings, 149034090 edges, 20839 markings/sec, 1180 secs
lola: 26165228 markings, 149653197 edges, 20330 markings/sec, 1185 secs
lola: 26253602 markings, 150271322 edges, 17675 markings/sec, 1190 secs
lola: 26343754 markings, 150897139 edges, 18030 markings/sec, 1195 secs
lola: 26444558 markings, 151516627 edges, 20161 markings/sec, 1200 secs
lola: 26538652 markings, 152137071 edges, 18819 markings/sec, 1205 secs
lola: 26627625 markings, 152757717 edges, 17795 markings/sec, 1210 secs
lola: 26728984 markings, 153377603 edges, 20272 markings/sec, 1215 secs
lola: 26845381 markings, 153993551 edges, 23279 markings/sec, 1220 secs
lola: 26974611 markings, 154622864 edges, 25846 markings/sec, 1225 secs
lola: 27133645 markings, 155252784 edges, 31807 markings/sec, 1230 secs
lola: 27262558 markings, 155882825 edges, 25783 markings/sec, 1235 secs
lola: 27389410 markings, 156509843 edges, 25370 markings/sec, 1240 secs
lola: 27517453 markings, 157137313 edges, 25609 markings/sec, 1245 secs
lola: 27642214 markings, 157763028 edges, 24952 markings/sec, 1250 secs
lola: 27759766 markings, 158387613 edges, 23510 markings/sec, 1255 secs
lola: 27864372 markings, 159009899 edges, 20921 markings/sec, 1260 secs
lola: 27968122 markings, 159635637 edges, 20750 markings/sec, 1265 secs
lola: 28090346 markings, 160261896 edges, 24445 markings/sec, 1270 secs
lola: 28203424 markings, 160892539 edges, 22616 markings/sec, 1275 secs
lola: 28309019 markings, 161521245 edges, 21119 markings/sec, 1280 secs
lola: 28413994 markings, 162148858 edges, 20995 markings/sec, 1285 secs
lola: 28540552 markings, 162779578 edges, 25312 markings/sec, 1290 secs
lola: 28651440 markings, 163411255 edges, 22178 markings/sec, 1295 secs
lola: 28757222 markings, 164040779 edges, 21156 markings/sec, 1300 secs
lola: 28862627 markings, 164668375 edges, 21081 markings/sec, 1305 secs
lola: 28967326 markings, 165299108 edges, 20940 markings/sec, 1310 secs
lola: 29060853 markings, 165930057 edges, 18705 markings/sec, 1315 secs
lola: 29151155 markings, 166554381 edges, 18060 markings/sec, 1320 secs
lola: 29240993 markings, 167183469 edges, 17968 markings/sec, 1325 secs
lola: 29341454 markings, 167812025 edges, 20092 markings/sec, 1330 secs
lola: 29442513 markings, 168440591 edges, 20212 markings/sec, 1335 secs
lola: 29532442 markings, 169068999 edges, 17986 markings/sec, 1340 secs
lola: 29623314 markings, 169699461 edges, 18174 markings/sec, 1345 secs
lola: 29720377 markings, 170326143 edges, 19413 markings/sec, 1350 secs
lola: 29846444 markings, 170954974 edges, 25213 markings/sec, 1355 secs
lola: 29951304 markings, 171585966 edges, 20972 markings/sec, 1360 secs
lola: 30057258 markings, 172216490 edges, 21191 markings/sec, 1365 secs
lola: 30163354 markings, 172845613 edges, 21219 markings/sec, 1370 secs
lola: 30268227 markings, 173472420 edges, 20975 markings/sec, 1375 secs
lola: 30359526 markings, 174105115 edges, 18260 markings/sec, 1380 secs
lola: 30449674 markings, 174733307 edges, 18030 markings/sec, 1385 secs
lola: 30539107 markings, 175360206 edges, 17887 markings/sec, 1390 secs
lola: 30644481 markings, 175992281 edges, 21075 markings/sec, 1395 secs
lola: 30742225 markings, 176622672 edges, 19549 markings/sec, 1400 secs
lola: 30830910 markings, 177249434 edges, 17737 markings/sec, 1405 secs
lola: 30923141 markings, 177881462 edges, 18446 markings/sec, 1410 secs
lola: 31028717 markings, 178507878 edges, 21115 markings/sec, 1415 secs
lola: 31151220 markings, 179137491 edges, 24501 markings/sec, 1420 secs
lola: 31284387 markings, 179771054 edges, 26633 markings/sec, 1425 secs
lola: 31422244 markings, 180398997 edges, 27571 markings/sec, 1430 secs
lola: 31547763 markings, 181022394 edges, 25104 markings/sec, 1435 secs
lola: 31674787 markings, 181647451 edges, 25405 markings/sec, 1440 secs
lola: 31799522 markings, 182273029 edges, 24947 markings/sec, 1445 secs
lola: 31923873 markings, 182895901 edges, 24870 markings/sec, 1450 secs
lola: 32027707 markings, 183522792 edges, 20767 markings/sec, 1455 secs
lola: 32134057 markings, 184149944 edges, 21270 markings/sec, 1460 secs
lola: 32248189 markings, 184772158 edges, 22826 markings/sec, 1465 secs
lola: 32365700 markings, 185390942 edges, 23502 markings/sec, 1470 secs
lola: 32469134 markings, 186009187 edges, 20687 markings/sec, 1475 secs
lola: 32574755 markings, 186633850 edges, 21124 markings/sec, 1480 secs
lola: 32690160 markings, 187252018 edges, 23081 markings/sec, 1485 secs
lola: 32807134 markings, 187871404 edges, 23395 markings/sec, 1490 secs
lola: 32911192 markings, 188490859 edges, 20812 markings/sec, 1495 secs
lola: 33014793 markings, 189115516 edges, 20720 markings/sec, 1500 secs
lola: 33119111 markings, 189736391 edges, 20864 markings/sec, 1505 secs
lola: 33218063 markings, 190356432 edges, 19790 markings/sec, 1510 secs
lola: 33307116 markings, 190976205 edges, 17811 markings/sec, 1515 secs
lola: 33396710 markings, 191598556 edges, 17919 markings/sec, 1520 secs
lola: 33488638 markings, 192214170 edges, 18386 markings/sec, 1525 secs
lola: 33592304 markings, 192836504 edges, 20733 markings/sec, 1530 secs
lola: 33684570 markings, 193459882 edges, 18453 markings/sec, 1535 secs
lola: 33774035 markings, 194076963 edges, 17893 markings/sec, 1540 secs
lola: 33863011 markings, 194702528 edges, 17795 markings/sec, 1545 secs
lola: 33975676 markings, 195320860 edges, 22533 markings/sec, 1550 secs
lola: 34091096 markings, 195941941 edges, 23084 markings/sec, 1555 secs
lola: 34195083 markings, 196560818 edges, 20797 markings/sec, 1560 secs
lola: 34298822 markings, 197186990 edges, 20748 markings/sec, 1565 secs
lola: 34404470 markings, 197810061 edges, 21130 markings/sec, 1570 secs
lola: 34501221 markings, 198430119 edges, 19350 markings/sec, 1575 secs
lola: 34590759 markings, 199049733 edges, 17908 markings/sec, 1580 secs
lola: 34680334 markings, 199675911 edges, 17915 markings/sec, 1585 secs
lola: 34773894 markings, 200295812 edges, 18712 markings/sec, 1590 secs
lola: 34877662 markings, 200916373 edges, 20754 markings/sec, 1595 secs
lola: 34969669 markings, 201541685 edges, 18401 markings/sec, 1600 secs
lola: 35058395 markings, 202159097 edges, 17745 markings/sec, 1605 secs
lola: 35147300 markings, 202781975 edges, 17781 markings/sec, 1610 secs
lola: 35264294 markings, 203405890 edges, 23399 markings/sec, 1615 secs
lola: 35377210 markings, 204025167 edges, 22583 markings/sec, 1620 secs
lola: 35522926 markings, 204647539 edges, 29143 markings/sec, 1625 secs
lola: 35650674 markings, 205267443 edges, 25550 markings/sec, 1630 secs
lola: 35776493 markings, 205884854 edges, 25164 markings/sec, 1635 secs
lola: 35900564 markings, 206502043 edges, 24814 markings/sec, 1640 secs
lola: 36024876 markings, 207116231 edges, 24862 markings/sec, 1645 secs
lola: 36141716 markings, 207732721 edges, 23368 markings/sec, 1650 secs
lola: 36244420 markings, 208346075 edges, 20541 markings/sec, 1655 secs
lola: 36349604 markings, 208967133 edges, 21037 markings/sec, 1660 secs
lola: 36464623 markings, 209581282 edges, 23004 markings/sec, 1665 secs
lola: 36580260 markings, 210194753 edges, 23127 markings/sec, 1670 secs
lola: 36682886 markings, 210806683 edges, 20525 markings/sec, 1675 secs
lola: 36786630 markings, 211430990 edges, 20749 markings/sec, 1680 secs
lola: 36906430 markings, 212045951 edges, 23960 markings/sec, 1685 secs
lola: 37018557 markings, 212665519 edges, 22425 markings/sec, 1690 secs
lola: 37122004 markings, 213280306 edges, 20689 markings/sec, 1695 secs
lola: 37225515 markings, 213898766 edges, 20702 markings/sec, 1700 secs
lola: 37330308 markings, 214518072 edges, 20959 markings/sec, 1705 secs
lola: 37425915 markings, 215132506 edges, 19121 markings/sec, 1710 secs
lola: 37513802 markings, 215745863 edges, 17577 markings/sec, 1715 secs
lola: 37603027 markings, 216367446 edges, 17845 markings/sec, 1720 secs
lola: 37695517 markings, 216980153 edges, 18498 markings/sec, 1725 secs
lola: 37798644 markings, 217596948 edges, 20625 markings/sec, 1730 secs
lola: 37889662 markings, 218216295 edges, 18204 markings/sec, 1735 secs
lola: 37977615 markings, 218827699 edges, 17591 markings/sec, 1740 secs
lola: 38066036 markings, 219447760 edges, 17684 markings/sec, 1745 secs
lola: 38180587 markings, 220063984 edges, 22910 markings/sec, 1750 secs
lola: 38293291 markings, 220680451 edges, 22541 markings/sec, 1755 secs
lola: 38396687 markings, 221294672 edges, 20679 markings/sec, 1760 secs
lola: 38499551 markings, 221913557 edges, 20573 markings/sec, 1765 secs
lola: 38604387 markings, 222532211 edges, 20967 markings/sec, 1770 secs
lola: 38700262 markings, 223147823 edges, 19175 markings/sec, 1775 secs
lola: 38789210 markings, 223763186 edges, 17790 markings/sec, 1780 secs
lola: 38877905 markings, 224382633 edges, 17739 markings/sec, 1785 secs
lola: 38970022 markings, 224995784 edges, 18423 markings/sec, 1790 secs
lola: 39073366 markings, 225612753 edges, 20669 markings/sec, 1795 secs
lola: 39164239 markings, 226232644 edges, 18175 markings/sec, 1800 secs
lola: 39252610 markings, 226844003 edges, 17674 markings/sec, 1805 secs
lola: 39340883 markings, 227461199 edges, 17655 markings/sec, 1810 secs
lola: 39453855 markings, 228077511 edges, 22594 markings/sec, 1815 secs
lola: 39566944 markings, 228689463 edges, 22618 markings/sec, 1820 secs
lola: 39685330 markings, 229314533 edges, 23677 markings/sec, 1825 secs
lola: 39857866 markings, 229937738 edges, 34507 markings/sec, 1830 secs
lola: 40013184 markings, 230555519 edges, 31064 markings/sec, 1835 secs
lola: 40237699 markings, 231147963 edges, 44903 markings/sec, 1840 secs
lola: 40401316 markings, 231761762 edges, 32723 markings/sec, 1845 secs
lola: 40584157 markings, 232369676 edges, 36568 markings/sec, 1850 secs
lola: 40771352 markings, 232972802 edges, 37439 markings/sec, 1855 secs
lola: 40918579 markings, 233583286 edges, 29445 markings/sec, 1860 secs
lola: 41072817 markings, 234191507 edges, 30848 markings/sec, 1865 secs
lola: 41238668 markings, 234797168 edges, 33170 markings/sec, 1870 secs
lola: 41409691 markings, 235408511 edges, 34205 markings/sec, 1875 secs
lola: 41571196 markings, 236014421 edges, 32301 markings/sec, 1880 secs
lola: 41737509 markings, 236621579 edges, 33263 markings/sec, 1885 secs
lola: 41881423 markings, 237232993 edges, 28783 markings/sec, 1890 secs
lola: 42029038 markings, 237840537 edges, 29523 markings/sec, 1895 secs
lola: 42161839 markings, 238470250 edges, 26560 markings/sec, 1900 secs
lola: 42282422 markings, 239101543 edges, 24117 markings/sec, 1905 secs
lola: 42407051 markings, 239735541 edges, 24926 markings/sec, 1910 secs
lola: 42510264 markings, 240373396 edges, 20643 markings/sec, 1915 secs
lola: 42613808 markings, 241008457 edges, 20709 markings/sec, 1920 secs
lola: 42737661 markings, 241640854 edges, 24771 markings/sec, 1925 secs
lola: 42846224 markings, 242265732 edges, 21713 markings/sec, 1930 secs
lola: 42949571 markings, 242893242 edges, 20669 markings/sec, 1935 secs
lola: 43062418 markings, 243522750 edges, 22569 markings/sec, 1940 secs
lola: 43178444 markings, 244138143 edges, 23205 markings/sec, 1945 secs
lola: 43279088 markings, 244755377 edges, 20129 markings/sec, 1950 secs
lola: 43380124 markings, 245377340 edges, 20207 markings/sec, 1955 secs
lola: 43516824 markings, 246010777 edges, 27340 markings/sec, 1960 secs
lola: 43641888 markings, 246642400 edges, 25013 markings/sec, 1965 secs
lola: 43753624 markings, 247272718 edges, 22347 markings/sec, 1970 secs
lola: 43866142 markings, 247905784 edges, 22504 markings/sec, 1975 secs
lola: 43963243 markings, 248538585 edges, 19420 markings/sec, 1980 secs
lola: 44058874 markings, 249170031 edges, 19126 markings/sec, 1985 secs
lola: 44170989 markings, 249803362 edges, 22423 markings/sec, 1990 secs
lola: 44266969 markings, 250433765 edges, 19196 markings/sec, 1995 secs
lola: 44367319 markings, 251065446 edges, 20070 markings/sec, 2000 secs
lola: 44494914 markings, 251696049 edges, 25519 markings/sec, 2005 secs
lola: 44613331 markings, 252321883 edges, 23683 markings/sec, 2010 secs
lola: 44723875 markings, 252947366 edges, 22109 markings/sec, 2015 secs
lola: 44835436 markings, 253574182 edges, 22312 markings/sec, 2020 secs
lola: 44930813 markings, 254200691 edges, 19075 markings/sec, 2025 secs
lola: 45030044 markings, 254825642 edges, 19846 markings/sec, 2030 secs
lola: 45136247 markings, 255453587 edges, 21241 markings/sec, 2035 secs
lola: 45231872 markings, 256082774 edges, 19125 markings/sec, 2040 secs
lola: 45335404 markings, 256709489 edges, 20706 markings/sec, 2045 secs
lola: 45463062 markings, 257332028 edges, 25532 markings/sec, 2050 secs
lola: 45575342 markings, 257948730 edges, 22456 markings/sec, 2055 secs
lola: 45688922 markings, 258567852 edges, 22716 markings/sec, 2060 secs
lola: 45794857 markings, 259185010 edges, 21187 markings/sec, 2065 secs
lola: 45888910 markings, 259804059 edges, 18811 markings/sec, 2070 secs
lola: 45989019 markings, 260425342 edges, 20022 markings/sec, 2075 secs
lola: 46090587 markings, 261042397 edges, 20314 markings/sec, 2080 secs
lola: 46184758 markings, 261662201 edges, 18834 markings/sec, 2085 secs
lola: 46288018 markings, 262282225 edges, 20652 markings/sec, 2090 secs
lola: 46430681 markings, 262912214 edges, 28533 markings/sec, 2095 secs
lola: 46558638 markings, 263541980 edges, 25591 markings/sec, 2100 secs
lola: 46678913 markings, 264172387 edges, 24055 markings/sec, 2105 secs
lola: 46785528 markings, 264769162 edges, 21323 markings/sec, 2110 secs
lola: 46893490 markings, 265394273 edges, 21592 markings/sec, 2115 secs
lola: 47007363 markings, 266017966 edges, 22775 markings/sec, 2120 secs
lola: 47112527 markings, 266642340 edges, 21033 markings/sec, 2125 secs
lola: 47203636 markings, 267267101 edges, 18222 markings/sec, 2130 secs
lola: 47301105 markings, 267891804 edges, 19494 markings/sec, 2135 secs
lola: 47393646 markings, 268515787 edges, 18508 markings/sec, 2140 secs
lola: 47506663 markings, 269141766 edges, 22603 markings/sec, 2145 secs
lola: 47609667 markings, 269768165 edges, 20601 markings/sec, 2150 secs
lola: 47698849 markings, 270389944 edges, 17836 markings/sec, 2155 secs
lola: 47797044 markings, 271015902 edges, 19639 markings/sec, 2160 secs
lola: 47897591 markings, 271641684 edges, 20109 markings/sec, 2165 secs
lola: 48026401 markings, 272268284 edges, 25762 markings/sec, 2170 secs
lola: 48152292 markings, 272889185 edges, 25178 markings/sec, 2175 secs
lola: 48268949 markings, 273507533 edges, 23331 markings/sec, 2180 secs
lola: 48380608 markings, 274125066 edges, 22332 markings/sec, 2185 secs
lola: 48485772 markings, 274745115 edges, 21033 markings/sec, 2190 secs
lola: 48599249 markings, 275364657 edges, 22695 markings/sec, 2195 secs
lola: 48703038 markings, 275983822 edges, 20758 markings/sec, 2200 secs
lola: 48792671 markings, 276604485 edges, 17927 markings/sec, 2205 secs
lola: 48889909 markings, 277224625 edges, 19448 markings/sec, 2210 secs
lola: 48983483 markings, 277843216 edges, 18715 markings/sec, 2215 secs
lola: 49094149 markings, 278464991 edges, 22133 markings/sec, 2220 secs
lola: 49196205 markings, 279086492 edges, 20411 markings/sec, 2225 secs
lola: 49284749 markings, 279704561 edges, 17709 markings/sec, 2230 secs
lola: 49382333 markings, 280326487 edges, 19517 markings/sec, 2235 secs
lola: 49482784 markings, 280947899 edges, 20090 markings/sec, 2240 secs
lola: 49610714 markings, 281570172 edges, 25586 markings/sec, 2245 secs
lola: 49735261 markings, 282184454 edges, 24909 markings/sec, 2250 secs
lola: 49850912 markings, 282797248 edges, 23130 markings/sec, 2255 secs
lola: 49961642 markings, 283409656 edges, 22146 markings/sec, 2260 secs
lola: 50066269 markings, 284023494 edges, 20925 markings/sec, 2265 secs
lola: 50177895 markings, 284636439 edges, 22325 markings/sec, 2270 secs
lola: 50281506 markings, 285251110 edges, 20722 markings/sec, 2275 secs
lola: 50371065 markings, 285866214 edges, 17912 markings/sec, 2280 secs
lola: 50467000 markings, 286480724 edges, 19187 markings/sec, 2285 secs
lola: 50557125 markings, 287093033 edges, 18025 markings/sec, 2290 secs
lola: 50668030 markings, 287706296 edges, 22181 markings/sec, 2295 secs
lola: 50770246 markings, 288320036 edges, 20443 markings/sec, 2300 secs
lola: 50858869 markings, 288934529 edges, 17725 markings/sec, 2305 secs
lola: 50954928 markings, 289550322 edges, 19212 markings/sec, 2310 secs
lola: 51049573 markings, 290163449 edges, 18929 markings/sec, 2315 secs
lola: 51167701 markings, 290781748 edges, 23626 markings/sec, 2320 secs
lola: 51318110 markings, 291406044 edges, 30082 markings/sec, 2325 secs
lola: 51443275 markings, 292027751 edges, 25033 markings/sec, 2330 secs
lola: 51569566 markings, 292649645 edges, 25258 markings/sec, 2335 secs
lola: 51681565 markings, 293268911 edges, 22400 markings/sec, 2340 secs
lola: 51787830 markings, 293887588 edges, 21253 markings/sec, 2345 secs
lola: 51903897 markings, 294510403 edges, 23213 markings/sec, 2350 secs
lola: 52007524 markings, 295129946 edges, 20725 markings/sec, 2355 secs
lola: 52125871 markings, 295753983 edges, 23669 markings/sec, 2360 secs
lola: 52230219 markings, 296375084 edges, 20870 markings/sec, 2365 secs
lola: 52334079 markings, 296996048 edges, 20772 markings/sec, 2370 secs
lola: 52422822 markings, 297616291 edges, 17749 markings/sec, 2375 secs
lola: 52516894 markings, 298235599 edges, 18814 markings/sec, 2380 secs
lola: 52612822 markings, 298856475 edges, 19186 markings/sec, 2385 secs
lola: 52701943 markings, 299477586 edges, 17824 markings/sec, 2390 secs
lola: 52816984 markings, 300100811 edges, 23008 markings/sec, 2395 secs
lola: 52922379 markings, 300723533 edges, 21079 markings/sec, 2400 secs
lola: 53026104 markings, 301344261 edges, 20745 markings/sec, 2405 secs
lola: 53116934 markings, 301964416 edges, 18166 markings/sec, 2410 secs
lola: 53208471 markings, 302585540 edges, 18307 markings/sec, 2415 secs
lola: 53306942 markings, 303209785 edges, 19694 markings/sec, 2420 secs
lola: 53396575 markings, 303830479 edges, 17927 markings/sec, 2425 secs
lola: 53509868 markings, 304450530 edges, 22659 markings/sec, 2430 secs
lola: 53640195 markings, 305072882 edges, 26065 markings/sec, 2435 secs
lola: 53766672 markings, 305692350 edges, 25295 markings/sec, 2440 secs
lola: 53890922 markings, 306308626 edges, 24850 markings/sec, 2445 secs
lola: 54005748 markings, 306927162 edges, 22965 markings/sec, 2450 secs
lola: 54108751 markings, 307542780 edges, 20601 markings/sec, 2455 secs
lola: 54226290 markings, 308161158 edges, 23508 markings/sec, 2460 secs
lola: 54329972 markings, 308778561 edges, 20736 markings/sec, 2465 secs
lola: 54446787 markings, 309395025 edges, 23363 markings/sec, 2470 secs
lola: 54551549 markings, 310014132 edges, 20952 markings/sec, 2475 secs
lola: 54654533 markings, 310629436 edges, 20597 markings/sec, 2480 secs
lola: 54744682 markings, 311245312 edges, 18030 markings/sec, 2485 secs
lola: 54835748 markings, 311864472 edges, 18213 markings/sec, 2490 secs
lola: 54933869 markings, 312484076 edges, 19624 markings/sec, 2495 secs
lola: 55023195 markings, 313101091 edges, 17865 markings/sec, 2500 secs
lola: 55133292 markings, 313715506 edges, 22019 markings/sec, 2505 secs
lola: 55238621 markings, 314336168 edges, 21066 markings/sec, 2510 secs
lola: 55342667 markings, 314957167 edges, 20809 markings/sec, 2515 secs
lola: 55435101 markings, 315572666 edges, 18487 markings/sec, 2520 secs
lola: 55523487 markings, 316189095 edges, 17677 markings/sec, 2525 secs
lola: 55624177 markings, 316808888 edges, 20138 markings/sec, 2530 secs
lola: 55713289 markings, 317425434 edges, 17822 markings/sec, 2535 secs
lola: 55817697 markings, 318043970 edges, 20882 markings/sec, 2540 secs
lola: 55941292 markings, 318662255 edges, 24719 markings/sec, 2545 secs
lola: 56071982 markings, 319274061 edges, 26138 markings/sec, 2550 secs
lola: 56195699 markings, 319887200 edges, 24743 markings/sec, 2555 secs
lola: 56315307 markings, 320498803 edges, 23922 markings/sec, 2560 secs
lola: 56418485 markings, 321112408 edges, 20636 markings/sec, 2565 secs
lola: 56534130 markings, 321721070 edges, 23129 markings/sec, 2570 secs
lola: 56636976 markings, 322334645 edges, 20569 markings/sec, 2575 secs
lola: 56750436 markings, 322945001 edges, 22692 markings/sec, 2580 secs
lola: 56855804 markings, 323557133 edges, 21074 markings/sec, 2585 secs
lola: 56958511 markings, 324170256 edges, 20541 markings/sec, 2590 secs
lola: 57052505 markings, 324781720 edges, 18799 markings/sec, 2595 secs
lola: 57140239 markings, 325392173 edges, 17547 markings/sec, 2600 secs
lola: 57240051 markings, 326003282 edges, 19962 markings/sec, 2605 secs
lola: 57328017 markings, 326616323 edges, 17593 markings/sec, 2610 secs
lola: 57425642 markings, 327228084 edges, 19525 markings/sec, 2615 secs
lola: 57535835 markings, 327838657 edges, 22039 markings/sec, 2620 secs
lola: 57638650 markings, 328448810 edges, 20563 markings/sec, 2625 secs
lola: 57736709 markings, 329062992 edges, 19612 markings/sec, 2630 secs
lola: 57824933 markings, 329676293 edges, 17645 markings/sec, 2635 secs
lola: 57920829 markings, 330287375 edges, 19179 markings/sec, 2640 secs
lola: 58011938 markings, 330897372 edges, 18222 markings/sec, 2645 secs
lola: 58099463 markings, 331506428 edges, 17505 markings/sec, 2650 secs
lola: 58217837 markings, 332119894 edges, 23675 markings/sec, 2655 secs
lola: 58346480 markings, 332730515 edges, 25729 markings/sec, 2660 secs
lola: 58496187 markings, 333351958 edges, 29941 markings/sec, 2665 secs
lola: 58619868 markings, 333967551 edges, 24736 markings/sec, 2670 secs
lola: 58744759 markings, 334580946 edges, 24978 markings/sec, 2675 secs
lola: 58868077 markings, 335196661 edges, 24664 markings/sec, 2680 secs
lola: 58975574 markings, 335809923 edges, 21499 markings/sec, 2685 secs
lola: 59079195 markings, 336425077 edges, 20724 markings/sec, 2690 secs
lola: 59196522 markings, 337037578 edges, 23465 markings/sec, 2695 secs
lola: 59303704 markings, 337653350 edges, 21436 markings/sec, 2700 secs
lola: 59407379 markings, 338269731 edges, 20735 markings/sec, 2705 secs
lola: 59526550 markings, 338884949 edges, 23834 markings/sec, 2710 secs
lola: 59632788 markings, 339501831 edges, 21248 markings/sec, 2715 secs
lola: 59736377 markings, 340118334 edges, 20718 markings/sec, 2720 secs
lola: 59839967 markings, 340733935 edges, 20718 markings/sec, 2725 secs
lola: 59932915 markings, 341347349 edges, 18590 markings/sec, 2730 secs
lola: 60020709 markings, 341959704 edges, 17559 markings/sec, 2735 secs
lola: 60113269 markings, 342572777 edges, 18512 markings/sec, 2740 secs
lola: 60212870 markings, 343187766 edges, 19920 markings/sec, 2745 secs
lola: 60301088 markings, 343799966 edges, 17644 markings/sec, 2750 secs
lola: 60389701 markings, 344417723 edges, 17723 markings/sec, 2755 secs
lola: 60507030 markings, 345033414 edges, 23466 markings/sec, 2760 secs
lola: 60612224 markings, 345649549 edges, 21039 markings/sec, 2765 secs
lola: 60716006 markings, 346266147 edges, 20756 markings/sec, 2770 secs
lola: 60819531 markings, 346883624 edges, 20705 markings/sec, 2775 secs
lola: 60911379 markings, 347499184 edges, 18370 markings/sec, 2780 secs
lola: 60999509 markings, 348113848 edges, 17626 markings/sec, 2785 secs
lola: 61094278 markings, 348727223 edges, 18954 markings/sec, 2790 secs
lola: 61192237 markings, 349343942 edges, 19592 markings/sec, 2795 secs
lola: 61281096 markings, 349955676 edges, 17772 markings/sec, 2800 secs
lola: 61368900 markings, 350570531 edges, 17561 markings/sec, 2805 secs
lola: 61489001 markings, 351187248 edges, 24020 markings/sec, 2810 secs
lola: 61613109 markings, 351805785 edges, 24822 markings/sec, 2815 secs
lola: 61747509 markings, 352420585 edges, 26880 markings/sec, 2820 secs
lola: 61870851 markings, 353028831 edges, 24668 markings/sec, 2825 secs
lola: 61995072 markings, 353639514 edges, 24844 markings/sec, 2830 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown no no no yes no no yes yes yes no unknown no yes
lola: lola: caught signal User defined signal 1 - aborting LoLA

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

BK_STOP 1589151604523

--------------------
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="ASLink-PT-04a"
export BK_EXAMINATION="LTLCardinality"
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 ASLink-PT-04a, examination is LTLCardinality"
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-158897552600015"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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