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

About the Execution of 2019-Gold for ASLink-PT-03b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4290.840 3570129.00 3630474.00 11477.00 ??F??FFFFFFF?F?F 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-158897552600014.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-03b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552600014
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 724K
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.5K 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 19K 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.8K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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 544K 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-03b-00
FORMULA_NAME ASLink-PT-03b-01
FORMULA_NAME ASLink-PT-03b-02
FORMULA_NAME ASLink-PT-03b-03
FORMULA_NAME ASLink-PT-03b-04
FORMULA_NAME ASLink-PT-03b-05
FORMULA_NAME ASLink-PT-03b-06
FORMULA_NAME ASLink-PT-03b-07
FORMULA_NAME ASLink-PT-03b-08
FORMULA_NAME ASLink-PT-03b-09
FORMULA_NAME ASLink-PT-03b-10
FORMULA_NAME ASLink-PT-03b-11
FORMULA_NAME ASLink-PT-03b-12
FORMULA_NAME ASLink-PT-03b-13
FORMULA_NAME ASLink-PT-03b-14
FORMULA_NAME ASLink-PT-03b-15

=== Now, execution of the tool begins

BK_START 1589144705680

info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ASLink-PT-03b @ 3570 seconds

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

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

FORMULA ASLink-PT-03b-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-03b-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-03b-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-03b-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-03b-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-03b-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-03b-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

{
"child":
[

{
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F ((G (NOT FIREABLE(t1885)) OR (NOT FIREABLE(t801) AND NOT FIREABLE(t1885)))))",
"processed_size": 81,
"rewrites": 108
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"memory": 1700348,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"result":
{
"preliminary_value": "unknown unknown no unknown unknown no no no no no no no unknown no unknown no "
},
"task":
{
"compoundnumber": 16,
"type": "boolean"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 3732/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1638
lola: finding significant places
lola: 1638 places, 2094 transitions, 1478 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (NOT((G ((FIREABLE(t801) U FIREABLE(t1885))) OR X ((G (FIREABLE(t801)) OR F (FIREABLE(t1885))))))) : A ((G (FIREABLE(t2044)) U ((FIREABLE(t1533) OR F ((G ((FIREABLE(t1533) AND FIREABLE(t1576))) U FIREABLE(t248)))) OR G (FIREABLE(t1533))))) : A ((G (F (FIREABLE(t82))) AND G (F (((FIREABLE(t82) AND F (FIREABLE(t82))) AND F (G (FIREABLE(t140)))))))) : A ((G (FIREABLE(t1466)) U (G ((NOT(F (FIREABLE(t892))) U F (NOT(G (NOT FIREABLE(t120)))))) U FIREABLE(t120)))) : A (G (X ((G ((FIREABLE(t565) U G (X (F (FIREABLE(t185)))))) U X (G (FIREABLE(t1428))))))) : A (G (NOT(F (G (NOT(F (G ((X (X (FIREABLE(t358))) U G (FIREABLE(t358))))))))))) : A (F ((X ((FIREABLE(t932) OR FIREABLE(t1226))) U (G (FIREABLE(t1226)) AND G (FIREABLE(t592)))))) : A (X (G (((FIREABLE(t1886) AND FIREABLE(t1812)) AND G ((FIREABLE(t1812) OR G (F (FIREABLE(t1812))))))))) : A (NOT(F (X (((FIREABLE(t2073) AND G (FIREABLE(t546))) U (NOT FIREABLE(t250) AND (NOT FIREABLE(t546) OR FIREABLE(t527)))))))) : A ((F ((G (F (G (FIREABLE(t984)))) OR X (FIREABLE(t984)))) OR (FIREABLE(t584) AND NOT(G (X (FIREABLE(t584))))))) : A (X ((F ((FIREABLE(t1058) OR X (NOT FIREABLE(t1677)))) U (F ((G (FIREABLE(t1529)) U FIREABLE(t1058))) U FIREABLE(t1529))))) : A (G ((G (FIREABLE(t314)) AND X (G (FIREABLE(t465)))))) : A (((FIREABLE(t17) OR FIREABLE(t331)) OR G (NOT(X (F (G (X (X (F (FIREABLE(t17))))))))))) : A ((G (FIREABLE(t786)) OR (FIREABLE(t216) AND G (F (FIREABLE(t847)))))) : A (X ((G (NOT FIREABLE(t768)) OR ((FIREABLE(t768) AND X ((FIREABLE(t1003) OR FIREABLE(t394)))) AND (FIREABLE(t768) U FIREABLE(t1003)))))) : A (F (X (F ((X (X (NOT FIREABLE(t453))) AND F (X ((X (NOT FIREABLE(t453)) U FIREABLE(t453)))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:497
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:545
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:347
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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:374
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:525
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:347
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((G (NOT FIREABLE(t1885)) OR (NOT FIREABLE(t801) AND NOT FIREABLE(t1885))))) AND (A (X (F (NOT FIREABLE(t801)))) AND A (X (G (NOT FIREABLE(t1885))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((G (NOT FIREABLE(t1885)) OR (NOT FIREABLE(t801) AND NOT FIREABLE(t1885)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((G (NOT FIREABLE(t1885)) OR (NOT FIREABLE(t801) AND NOT FIREABLE(t1885)))))
lola: processed formula length: 81
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (NOT FIREABLE(t1885))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (NOT FIREABLE(t1885))))
lola: processed formula length: 31
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 65561 markings, 388113 edges, 13112 markings/sec, 0 secs
lola: 126446 markings, 775396 edges, 12177 markings/sec, 5 secs
lola: 179238 markings, 1161884 edges, 10558 markings/sec, 10 secs
lola: 234387 markings, 1546434 edges, 11030 markings/sec, 15 secs
lola: 293689 markings, 1931251 edges, 11860 markings/sec, 20 secs
lola: 344214 markings, 2316659 edges, 10105 markings/sec, 25 secs
lola: 396502 markings, 2703053 edges, 10458 markings/sec, 30 secs
lola: 441891 markings, 3088805 edges, 9078 markings/sec, 35 secs
lola: 490735 markings, 3472602 edges, 9769 markings/sec, 40 secs
lola: 547574 markings, 3857656 edges, 11368 markings/sec, 45 secs
lola: 597844 markings, 4240439 edges, 10054 markings/sec, 50 secs
lola: 649993 markings, 4625610 edges, 10430 markings/sec, 55 secs
lola: 695415 markings, 5010985 edges, 9084 markings/sec, 60 secs
lola: 743901 markings, 5392901 edges, 9697 markings/sec, 65 secs
lola: 800219 markings, 5775736 edges, 11264 markings/sec, 70 secs
lola: 850721 markings, 6157540 edges, 10100 markings/sec, 75 secs
lola: 902533 markings, 6540270 edges, 10362 markings/sec, 80 secs
lola: 947703 markings, 6921382 edges, 9034 markings/sec, 85 secs
lola: 995675 markings, 7301316 edges, 9594 markings/sec, 90 secs
lola: 1051083 markings, 7680754 edges, 11082 markings/sec, 95 secs
lola: 1101438 markings, 8057554 edges, 10071 markings/sec, 100 secs
lola: 1152373 markings, 8437223 edges, 10187 markings/sec, 105 secs
lola: 1198070 markings, 8817398 edges, 9139 markings/sec, 110 secs
lola: 1245438 markings, 9194067 edges, 9474 markings/sec, 115 secs
lola: 1299668 markings, 9571605 edges, 10846 markings/sec, 120 secs
lola: 1350761 markings, 9946492 edges, 10219 markings/sec, 125 secs
lola: 1401386 markings, 10322633 edges, 10125 markings/sec, 130 secs
lola: 1446659 markings, 10700120 edges, 9055 markings/sec, 135 secs
lola: 1493109 markings, 11075151 edges, 9290 markings/sec, 140 secs
lola: 1547294 markings, 11452918 edges, 10837 markings/sec, 145 secs
lola: 1599934 markings, 11838470 edges, 10528 markings/sec, 150 secs
lola: 1652219 markings, 12223641 edges, 10457 markings/sec, 155 secs
lola: 1698245 markings, 12607529 edges, 9205 markings/sec, 160 secs
lola: 1745460 markings, 12990457 edges, 9443 markings/sec, 165 secs
lola: 1800547 markings, 13374550 edges, 11017 markings/sec, 170 secs
lola: 1853098 markings, 13759255 edges, 10510 markings/sec, 175 secs
lola: 1905349 markings, 14143058 edges, 10450 markings/sec, 180 secs
lola: 1951626 markings, 14529095 edges, 9255 markings/sec, 185 secs
lola: 1998707 markings, 14912067 edges, 9416 markings/sec, 190 secs
lola: 2053491 markings, 15295171 edges, 10957 markings/sec, 195 secs
lola: 2106739 markings, 15684166 edges, 10650 markings/sec, 200 secs
lola: 2159233 markings, 16069295 edges, 10499 markings/sec, 205 secs
lola: 2205272 markings, 16452961 edges, 9208 markings/sec, 210 secs
lola: 2252142 markings, 16835833 edges, 9374 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 480528 KB
lola: time consumption: 227 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 480528 KB
lola: time consumption: 227 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((X (G (FIREABLE(t1428))) OR (G (F (FIREABLE(t185))) AND F (G (FIREABLE(t1428))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((X (G (FIREABLE(t1428))) OR (G (F (FIREABLE(t185))) AND F (G (FIREABLE(t1428))))))))
lola: processed formula length: 93
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 111570 markings, 378651 edges, 22314 markings/sec, 0 secs
lola: 210311 markings, 758597 edges, 19748 markings/sec, 5 secs
lola: 308102 markings, 1138245 edges, 19558 markings/sec, 10 secs
lola: 405092 markings, 1516595 edges, 19398 markings/sec, 15 secs
lola: 497328 markings, 1893829 edges, 18447 markings/sec, 20 secs
lola: 605550 markings, 2268204 edges, 21644 markings/sec, 25 secs
lola: 702932 markings, 2639863 edges, 19476 markings/sec, 30 secs
lola: 805994 markings, 3013574 edges, 20612 markings/sec, 35 secs
lola: 900813 markings, 3385191 edges, 18964 markings/sec, 40 secs
lola: 1003208 markings, 3760085 edges, 20479 markings/sec, 45 secs
lola: 1094705 markings, 4130106 edges, 18299 markings/sec, 50 secs
lola: 1179943 markings, 4498207 edges, 17048 markings/sec, 55 secs
lola: 1269276 markings, 4868200 edges, 17867 markings/sec, 60 secs
lola: 1351647 markings, 5236424 edges, 16474 markings/sec, 65 secs
lola: 1448521 markings, 5609909 edges, 19375 markings/sec, 70 secs
lola: 1542830 markings, 5982326 edges, 18862 markings/sec, 75 secs
lola: 1628154 markings, 6351092 edges, 17065 markings/sec, 80 secs
lola: 1718892 markings, 6722902 edges, 18148 markings/sec, 85 secs
lola: 1804265 markings, 7090453 edges, 17075 markings/sec, 90 secs
lola: 1890007 markings, 7460698 edges, 17148 markings/sec, 95 secs
lola: 1974131 markings, 7828965 edges, 16825 markings/sec, 100 secs
lola: 2051804 markings, 8193984 edges, 15535 markings/sec, 105 secs
lola: 2129975 markings, 8560510 edges, 15634 markings/sec, 110 secs
lola: 2207346 markings, 8927128 edges, 15474 markings/sec, 115 secs
lola: 2280958 markings, 9291902 edges, 14722 markings/sec, 120 secs
lola: 2364528 markings, 9662997 edges, 16714 markings/sec, 125 secs
lola: 2467854 markings, 10034375 edges, 20665 markings/sec, 130 secs
lola: 2558011 markings, 10400271 edges, 18031 markings/sec, 135 secs
lola: 2642787 markings, 10766782 edges, 16955 markings/sec, 140 secs
lola: 2730745 markings, 11134596 edges, 17592 markings/sec, 145 secs
lola: 2813428 markings, 11501794 edges, 16537 markings/sec, 150 secs
lola: 2900886 markings, 11869386 edges, 17492 markings/sec, 155 secs
lola: 2981122 markings, 12231064 edges, 16047 markings/sec, 160 secs
lola: 3053462 markings, 12592278 edges, 14468 markings/sec, 165 secs
lola: 3133491 markings, 12956542 edges, 16006 markings/sec, 170 secs
lola: 3208514 markings, 13318946 edges, 15005 markings/sec, 175 secs
lola: 3283413 markings, 13685287 edges, 14980 markings/sec, 180 secs
lola: 3370190 markings, 14051675 edges, 17355 markings/sec, 185 secs
lola: 3450265 markings, 14413107 edges, 16015 markings/sec, 190 secs
lola: 3522531 markings, 14774036 edges, 14453 markings/sec, 195 secs
lola: 3602690 markings, 15138878 edges, 16032 markings/sec, 200 secs
lola: 3677677 markings, 15500976 edges, 14997 markings/sec, 205 secs
lola: 3752703 markings, 15867813 edges, 15005 markings/sec, 210 secs
lola: 3828380 markings, 16226757 edges, 15135 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 804244 KB
lola: time consumption: 449 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((F (G (FIREABLE(t358))) AND G ((X (X (FIREABLE(t358))) OR G (FIREABLE(t358))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((F (G (FIREABLE(t358))) AND G ((X (X (FIREABLE(t358))) OR G (FIREABLE(t358))))))))
lola: processed formula length: 91
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 42 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: 422 markings, 425 edges
lola: ========================================
lola: subprocess 3 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (((FIREABLE(t1886) AND FIREABLE(t1812)) AND G ((FIREABLE(t1812) OR G (F (FIREABLE(t1812)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((FIREABLE(t1886) AND FIREABLE(t1812)) AND G ((FIREABLE(t1812) OR G (F (FIREABLE(t1812)))))))))
lola: processed formula length: 104
lola: 108 rewrites
lola: closed formula file LTLFireability.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: 417 markings, 417 edges
lola: ========================================
lola: subprocess 4 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((FIREABLE(t250) OR (FIREABLE(t546) AND NOT FIREABLE(t527))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((FIREABLE(t250) OR (FIREABLE(t546) AND NOT FIREABLE(t527))))))
lola: processed formula length: 72
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 417 markings, 417 edges
lola: ========================================
lola: subprocess 5 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F ((F (G (FIREABLE(t984))) OR X (FIREABLE(t984)))) OR (FIREABLE(t584) AND X (F (NOT FIREABLE(t584))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F ((F (G (FIREABLE(t984))) OR X (FIREABLE(t984)))) OR (FIREABLE(t584) AND X (F (NOT FIREABLE(t584))))))
lola: processed formula length: 107
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 418 markings, 418 edges
lola: ========================================
lola: subprocess 6 will run for 312 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((F ((FIREABLE(t1058) OR X (NOT FIREABLE(t1677)))) U (F ((FIREABLE(t1058) OR (G (FIREABLE(t1529)) AND F (FIREABLE(t1058))))) U FIREABLE(t1529)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F ((FIREABLE(t1058) OR X (NOT FIREABLE(t1677)))) U (F ((FIREABLE(t1058) OR (G (FIREABLE(t1529)) AND F (FIREABLE(t1058))))) U FIREABLE(t1529)))))
lola: processed formula length: 151
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 832 markings, 833 edges
lola: ========================================
lola: subprocess 7 will run for 346 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(t314))) AND A (X (G (FIREABLE(t465)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 346 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t314)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (FIREABLE(t314)))
lola: processed formula length: 22
lola: 110 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(t314)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((G (NOT FIREABLE(t768)) OR (FIREABLE(t768) AND (X ((FIREABLE(t1003) OR FIREABLE(t394))) AND (FIREABLE(t768) U FIREABLE(t1003)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((G (NOT FIREABLE(t768)) OR (FIREABLE(t768) AND (X ((FIREABLE(t1003) OR FIREABLE(t394))) AND (FIREABLE(t768) U FIREABLE(t1003)))))))
lola: processed formula length: 138
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 65588 markings, 388288 edges, 13118 markings/sec, 0 secs
lola: 126512 markings, 775862 edges, 12185 markings/sec, 5 secs
lola: 179384 markings, 1162989 edges, 10574 markings/sec, 10 secs
lola: 234685 markings, 1548726 edges, 11060 markings/sec, 15 secs
lola: 294184 markings, 1935027 edges, 11900 markings/sec, 20 secs
lola: 344855 markings, 2320808 edges, 10134 markings/sec, 25 secs
lola: 397122 markings, 2707955 edges, 10453 markings/sec, 30 secs
lola: 442587 markings, 3094779 edges, 9093 markings/sec, 35 secs
lola: 491639 markings, 3479665 edges, 9810 markings/sec, 40 secs
lola: 548545 markings, 3864955 edges, 11381 markings/sec, 45 secs
lola: 598889 markings, 4248971 edges, 10069 markings/sec, 50 secs
lola: 651117 markings, 4635306 edges, 10446 markings/sec, 55 secs
lola: 696565 markings, 5021353 edges, 9090 markings/sec, 60 secs
lola: 745436 markings, 5405187 edges, 9774 markings/sec, 65 secs
lola: 802184 markings, 5789404 edges, 11350 markings/sec, 70 secs
lola: 852434 markings, 6172264 edges, 10050 markings/sec, 75 secs
lola: 904516 markings, 6557036 edges, 10416 markings/sec, 80 secs
lola: 949780 markings, 6941079 edges, 9053 markings/sec, 85 secs
lola: 998304 markings, 7323233 edges, 9705 markings/sec, 90 secs
lola: 1054568 markings, 7705626 edges, 11253 markings/sec, 95 secs
lola: 1104940 markings, 8086367 edges, 10074 markings/sec, 100 secs
lola: 1156746 markings, 8469064 edges, 10361 markings/sec, 105 secs
lola: 1202075 markings, 8851430 edges, 9066 markings/sec, 110 secs
lola: 1250106 markings, 9231811 edges, 9606 markings/sec, 115 secs
lola: 1305673 markings, 9612188 edges, 11113 markings/sec, 120 secs
lola: 1356251 markings, 9991553 edges, 10116 markings/sec, 125 secs
lola: 1407489 markings, 10372026 edges, 10248 markings/sec, 130 secs
lola: 1453086 markings, 10752713 edges, 9119 markings/sec, 135 secs
lola: 1500804 markings, 11131534 edges, 9544 markings/sec, 140 secs
lola: 1555645 markings, 11513745 edges, 10968 markings/sec, 145 secs
lola: 1607904 markings, 11899398 edges, 10452 markings/sec, 150 secs
lola: 1659582 markings, 12284356 edges, 10336 markings/sec, 155 secs
lola: 1705731 markings, 12669301 edges, 9230 markings/sec, 160 secs
lola: 1753966 markings, 13052509 edges, 9647 markings/sec, 165 secs
lola: 1809069 markings, 13436597 edges, 11021 markings/sec, 170 secs
lola: 1861351 markings, 13821555 edges, 10456 markings/sec, 175 secs
lola: 1913016 markings, 14206396 edges, 10333 markings/sec, 180 secs
lola: 1959274 markings, 14592302 edges, 9252 markings/sec, 185 secs
lola: 2007513 markings, 14976289 edges, 9648 markings/sec, 190 secs
lola: 2062705 markings, 15361123 edges, 11038 markings/sec, 195 secs
lola: 2115352 markings, 15748558 edges, 10529 markings/sec, 200 secs
lola: 2167205 markings, 16134852 edges, 10371 markings/sec, 205 secs
lola: 2213443 markings, 16520595 edges, 9248 markings/sec, 210 secs
lola: 2261656 markings, 16904568 edges, 9643 markings/sec, 215 secs
lola: 2313375 markings, 17288472 edges, 10344 markings/sec, 220 secs
lola: 2359389 markings, 17672256 edges, 9203 markings/sec, 225 secs
lola: 2405357 markings, 18055253 edges, 9194 markings/sec, 230 secs
lola: 2447721 markings, 18440441 edges, 8473 markings/sec, 235 secs
lola: 2488048 markings, 18823583 edges, 8065 markings/sec, 240 secs
lola: 2532539 markings, 19205380 edges, 8898 markings/sec, 245 secs
lola: 2587866 markings, 19591196 edges, 11065 markings/sec, 250 secs
lola: 2639046 markings, 19976982 edges, 10236 markings/sec, 255 secs
lola: 2690095 markings, 20362571 edges, 10210 markings/sec, 260 secs
lola: 2734642 markings, 20745562 edges, 8909 markings/sec, 265 secs
lola: 2784170 markings, 21128409 edges, 9906 markings/sec, 270 secs
lola: 2835750 markings, 21511828 edges, 10316 markings/sec, 275 secs
lola: 2880689 markings, 21894211 edges, 8988 markings/sec, 280 secs
lola: 2926560 markings, 22277110 edges, 9174 markings/sec, 285 secs
lola: 2967664 markings, 22661012 edges, 8221 markings/sec, 290 secs
lola: 3008312 markings, 23042580 edges, 8130 markings/sec, 295 secs
lola: 3054796 markings, 23423360 edges, 9297 markings/sec, 300 secs
lola: 3109668 markings, 23808456 edges, 10974 markings/sec, 305 secs
lola: 3162184 markings, 24191639 edges, 10503 markings/sec, 310 secs
lola: 3210276 markings, 24575923 edges, 9618 markings/sec, 315 secs
lola: 3255370 markings, 24958061 edges, 9019 markings/sec, 320 secs
lola: 3306424 markings, 25339069 edges, 10211 markings/sec, 325 secs
lola: 3362238 markings, 25724372 edges, 11163 markings/sec, 330 secs
lola: 3414415 markings, 26107197 edges, 10435 markings/sec, 335 secs
lola: 3462997 markings, 26491225 edges, 9716 markings/sec, 340 secs
lola: 3507824 markings, 26872881 edges, 8965 markings/sec, 345 secs
lola: 3558785 markings, 27253813 edges, 10192 markings/sec, 350 secs
lola: 3614430 markings, 27635786 edges, 11129 markings/sec, 355 secs
lola: 3665303 markings, 28015376 edges, 10175 markings/sec, 360 secs
lola: 3714950 markings, 28398620 edges, 9929 markings/sec, 365 secs
lola: 3759269 markings, 28778875 edges, 8864 markings/sec, 370 secs
lola: 3809616 markings, 29158330 edges, 10069 markings/sec, 375 secs
lola: 3865907 markings, 29542244 edges, 11258 markings/sec, 380 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no unknown no no no no no unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown no unknown no no no no no unknown unknown unknown unknown
lola: memory consumption: 833388 KB
lola: time consumption: 839 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((X (NOT FIREABLE(t453)) AND F (FIREABLE(t453)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((X (NOT FIREABLE(t453)) AND F (FIREABLE(t453)))))))
lola: processed formula length: 63
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 735 markings, 735 edges
lola: ========================================
lola: subprocess 10 will run for 455 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(t1226) AND FIREABLE(t592)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(t1226) AND FIREABLE(t592)))))
lola: processed formula length: 48
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 261 markings, 262 edges
lola: ========================================
lola: subprocess 11 will run for 546 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t17) OR FIREABLE(t331)) OR F (G (NOT FIREABLE(t17)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t17) OR FIREABLE(t331)) OR F (G (NOT FIREABLE(t17)))))
lola: processed formula length: 69
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 94470 markings, 362455 edges, 18894 markings/sec, 0 secs
lola: 168339 markings, 700307 edges, 14774 markings/sec, 5 secs
lola: 239846 markings, 1068689 edges, 14301 markings/sec, 10 secs
lola: 301093 markings, 1440987 edges, 12249 markings/sec, 15 secs
lola: 348930 markings, 1813300 edges, 9567 markings/sec, 20 secs
lola: 396185 markings, 2185017 edges, 9451 markings/sec, 25 secs
lola: 441268 markings, 2555538 edges, 9017 markings/sec, 30 secs
lola: 483676 markings, 2925293 edges, 8482 markings/sec, 35 secs
lola: 522218 markings, 3296406 edges, 7708 markings/sec, 40 secs
lola: 562709 markings, 3668046 edges, 8098 markings/sec, 45 secs
lola: 605688 markings, 4040459 edges, 8596 markings/sec, 50 secs
lola: 647563 markings, 4415099 edges, 8375 markings/sec, 55 secs
lola: 685212 markings, 4788422 edges, 7530 markings/sec, 60 secs
lola: 722452 markings, 5160383 edges, 7448 markings/sec, 65 secs
lola: 759585 markings, 5530302 edges, 7427 markings/sec, 70 secs
lola: 795057 markings, 5900892 edges, 7094 markings/sec, 75 secs
lola: 830035 markings, 6271703 edges, 6996 markings/sec, 80 secs
lola: 867070 markings, 6644710 edges, 7407 markings/sec, 85 secs
lola: 906392 markings, 7017479 edges, 7864 markings/sec, 90 secs
lola: 957722 markings, 7389392 edges, 10266 markings/sec, 95 secs
lola: 995759 markings, 7763560 edges, 7607 markings/sec, 100 secs
lola: 1032917 markings, 8136043 edges, 7432 markings/sec, 105 secs
lola: 1069771 markings, 8505891 edges, 7371 markings/sec, 110 secs
lola: 1106270 markings, 8877772 edges, 7300 markings/sec, 115 secs
lola: 1139852 markings, 9249413 edges, 6716 markings/sec, 120 secs
lola: 1175949 markings, 9622382 edges, 7219 markings/sec, 125 secs
lola: 1213071 markings, 9996156 edges, 7424 markings/sec, 130 secs
lola: 1250250 markings, 10372198 edges, 7436 markings/sec, 135 secs
lola: 1283416 markings, 10746874 edges, 6633 markings/sec, 140 secs
lola: 1316567 markings, 11120155 edges, 6630 markings/sec, 145 secs
lola: 1349409 markings, 11491609 edges, 6568 markings/sec, 150 secs
lola: 1382705 markings, 11863163 edges, 6659 markings/sec, 155 secs
lola: 1413065 markings, 12234442 edges, 6072 markings/sec, 160 secs
lola: 1445072 markings, 12607622 edges, 6401 markings/sec, 165 secs
lola: 1478827 markings, 12982383 edges, 6751 markings/sec, 170 secs
lola: 1514125 markings, 13356895 edges, 7060 markings/sec, 175 secs
lola: 1557068 markings, 13733120 edges, 8589 markings/sec, 180 secs
lola: 1596119 markings, 14107720 edges, 7810 markings/sec, 185 secs
lola: 1637810 markings, 14480176 edges, 8338 markings/sec, 190 secs
lola: 1674707 markings, 14852447 edges, 7379 markings/sec, 195 secs
lola: 1716426 markings, 15224281 edges, 8344 markings/sec, 200 secs
lola: 1754225 markings, 15597471 edges, 7560 markings/sec, 205 secs
lola: 1791099 markings, 15971019 edges, 7375 markings/sec, 210 secs
lola: 1843208 markings, 16339427 edges, 10422 markings/sec, 215 secs
lola: 1876809 markings, 16712979 edges, 6720 markings/sec, 220 secs
lola: 1910176 markings, 17086045 edges, 6673 markings/sec, 225 secs
lola: 1954677 markings, 17454413 edges, 8900 markings/sec, 230 secs
lola: 1984765 markings, 17828258 edges, 6018 markings/sec, 235 secs
lola: 2011242 markings, 18205318 edges, 5295 markings/sec, 240 secs
lola: 2056322 markings, 18576184 edges, 9016 markings/sec, 245 secs
lola: 2090934 markings, 18952540 edges, 6922 markings/sec, 250 secs
lola: 2116607 markings, 19332185 edges, 5135 markings/sec, 255 secs
lola: 2156100 markings, 19704048 edges, 7899 markings/sec, 260 secs
lola: 2191165 markings, 20076838 edges, 7013 markings/sec, 265 secs
lola: 2215448 markings, 20455260 edges, 4857 markings/sec, 270 secs
lola: 2250292 markings, 20830796 edges, 6969 markings/sec, 275 secs
lola: 2295477 markings, 21205795 edges, 9037 markings/sec, 280 secs
lola: 2328053 markings, 21583798 edges, 6515 markings/sec, 285 secs
lola: 2368051 markings, 21958914 edges, 8000 markings/sec, 290 secs
lola: 2406876 markings, 22334295 edges, 7765 markings/sec, 295 secs
lola: 2436417 markings, 22711258 edges, 5908 markings/sec, 300 secs
lola: 2470722 markings, 23087482 edges, 6861 markings/sec, 305 secs
lola: 2505940 markings, 23465149 edges, 7044 markings/sec, 310 secs
lola: 2552640 markings, 23841503 edges, 9340 markings/sec, 315 secs
lola: 2596997 markings, 24216497 edges, 8871 markings/sec, 320 secs
lola: 2635347 markings, 24592245 edges, 7670 markings/sec, 325 secs
lola: 2673297 markings, 24966833 edges, 7590 markings/sec, 330 secs
lola: 2711144 markings, 25339754 edges, 7569 markings/sec, 335 secs
lola: 2747186 markings, 25713164 edges, 7208 markings/sec, 340 secs
lola: 2782046 markings, 26086223 edges, 6972 markings/sec, 345 secs
lola: 2820031 markings, 26461123 edges, 7597 markings/sec, 350 secs
lola: 2858388 markings, 26837432 edges, 7671 markings/sec, 355 secs
lola: 2894365 markings, 27214507 edges, 7195 markings/sec, 360 secs
lola: 2928585 markings, 27591103 edges, 6844 markings/sec, 365 secs
lola: 2962519 markings, 27966365 edges, 6787 markings/sec, 370 secs
lola: 2996299 markings, 28340268 edges, 6756 markings/sec, 375 secs
lola: 3028697 markings, 28714804 edges, 6480 markings/sec, 380 secs
lola: 3059439 markings, 29088914 edges, 6148 markings/sec, 385 secs
lola: 3093458 markings, 29464854 edges, 6804 markings/sec, 390 secs
lola: 3129268 markings, 29839600 edges, 7162 markings/sec, 395 secs
lola: 3170747 markings, 30214929 edges, 8296 markings/sec, 400 secs
lola: 3208534 markings, 30591430 edges, 7557 markings/sec, 405 secs
lola: 3242558 markings, 30968034 edges, 6805 markings/sec, 410 secs
lola: 3276639 markings, 31343731 edges, 6816 markings/sec, 415 secs
lola: 3309756 markings, 31717628 edges, 6623 markings/sec, 420 secs
lola: 3343718 markings, 32091703 edges, 6792 markings/sec, 425 secs
lola: 3374991 markings, 32465754 edges, 6255 markings/sec, 430 secs
lola: 3408204 markings, 32840517 edges, 6643 markings/sec, 435 secs
lola: 3442320 markings, 33216819 edges, 6823 markings/sec, 440 secs
lola: 3478225 markings, 33593380 edges, 7181 markings/sec, 445 secs
lola: 3510864 markings, 33969933 edges, 6528 markings/sec, 450 secs
lola: 3542036 markings, 34345716 edges, 6234 markings/sec, 455 secs
lola: 3572488 markings, 34720554 edges, 6090 markings/sec, 460 secs
lola: 3602766 markings, 35093109 edges, 6056 markings/sec, 465 secs
lola: 3632603 markings, 35465689 edges, 5967 markings/sec, 470 secs
lola: 3661104 markings, 35838643 edges, 5700 markings/sec, 475 secs
lola: 3691428 markings, 36213659 edges, 6065 markings/sec, 480 secs
lola: 3722871 markings, 36589759 edges, 6289 markings/sec, 485 secs
lola: 3755833 markings, 36965261 edges, 6592 markings/sec, 490 secs
lola: 3798852 markings, 37343277 edges, 8604 markings/sec, 495 secs
lola: 3842682 markings, 37715686 edges, 8766 markings/sec, 500 secs
lola: 3882809 markings, 38085198 edges, 8025 markings/sec, 505 secs
lola: 3923607 markings, 38457804 edges, 8160 markings/sec, 510 secs
lola: 3961369 markings, 38830381 edges, 7552 markings/sec, 515 secs
lola: 3997609 markings, 39202092 edges, 7248 markings/sec, 520 secs
lola: 4036784 markings, 39573850 edges, 7835 markings/sec, 525 secs
lola: 4075353 markings, 39945450 edges, 7714 markings/sec, 530 secs
lola: 4112169 markings, 40316674 edges, 7363 markings/sec, 535 secs
lola: 4148510 markings, 40688521 edges, 7268 markings/sec, 540 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no no no no no no no unknown unknown unknown no
lola: memory consumption: 832252 KB
lola: time consumption: 1385 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 546 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t120) OR ((G ((F (FIREABLE(t120)) OR (G (NOT FIREABLE(t892)) AND F (FIREABLE(t120))))) AND F (FIREABLE(t120))) OR (G (FIREABLE(t1466)) AND F ((FIREABLE(t120) OR (G ((F (FIREABLE(t120)) OR (G (NOT FIREABLE(t892)) AND F (FIREABLE(t120))))) AND F (FIREABLE(t120)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t120) OR ((G ((F (FIREABLE(t120)) OR (G (NOT FIREABLE(t892)) AND F (FIREABLE(t120))))) AND F (FIREABLE(t120))) OR (G (FIREABLE(t1466)) AND F ((FIREABLE(t120) OR (G ((F (FIREABLE(t120)) OR (G (NOT FIREABLE(t892)) AND F (FIREABLE(t120))))) AND F (FIREABLE(t120)))))))))
lola: processed formula length: 280
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 91 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: 86250 markings, 336481 edges, 17250 markings/sec, 0 secs
lola: 168598 markings, 702370 edges, 16470 markings/sec, 5 secs
lola: 240119 markings, 1069956 edges, 14304 markings/sec, 10 secs
lola: 332484 markings, 1430779 edges, 18473 markings/sec, 15 secs
lola: 414805 markings, 1796007 edges, 16464 markings/sec, 20 secs
lola: 486006 markings, 2162880 edges, 14240 markings/sec, 25 secs
lola: 578289 markings, 2522190 edges, 18457 markings/sec, 30 secs
lola: 660580 markings, 2886332 edges, 16458 markings/sec, 35 secs
lola: 731545 markings, 3252657 edges, 14193 markings/sec, 40 secs
lola: 824076 markings, 3612931 edges, 18506 markings/sec, 45 secs
lola: 906480 markings, 3977446 edges, 16481 markings/sec, 50 secs
lola: 977452 markings, 4344045 edges, 14194 markings/sec, 55 secs
lola: 1059266 markings, 4695849 edges, 16363 markings/sec, 60 secs
lola: 1125640 markings, 5039431 edges, 13275 markings/sec, 65 secs
lola: 1202011 markings, 5402466 edges, 15274 markings/sec, 70 secs
lola: 1278613 markings, 5765091 edges, 15320 markings/sec, 75 secs
lola: 1346819 markings, 6131784 edges, 13641 markings/sec, 80 secs
lola: 1405572 markings, 6499282 edges, 11751 markings/sec, 85 secs
lola: 1465539 markings, 6865996 edges, 11993 markings/sec, 90 secs
lola: 1525433 markings, 7231975 edges, 11979 markings/sec, 95 secs
lola: 1600714 markings, 7594328 edges, 15056 markings/sec, 100 secs
lola: 1674666 markings, 7956101 edges, 14790 markings/sec, 105 secs
lola: 1730188 markings, 8322579 edges, 11104 markings/sec, 110 secs
lola: 1785573 markings, 8688179 edges, 11077 markings/sec, 115 secs
lola: 1840482 markings, 9053259 edges, 10982 markings/sec, 120 secs
lola: 1925819 markings, 9414249 edges, 17067 markings/sec, 125 secs
lola: 1991357 markings, 9777657 edges, 13108 markings/sec, 130 secs
lola: 2049521 markings, 10143421 edges, 11633 markings/sec, 135 secs
lola: 2104519 markings, 10509729 edges, 11000 markings/sec, 140 secs
lola: 2156501 markings, 10876494 edges, 10396 markings/sec, 145 secs
lola: 2217872 markings, 11241692 edges, 12274 markings/sec, 150 secs
lola: 2273031 markings, 11608953 edges, 11032 markings/sec, 155 secs
lola: 2327680 markings, 11976556 edges, 10930 markings/sec, 160 secs
lola: 2381850 markings, 12342915 edges, 10834 markings/sec, 165 secs
lola: 2436396 markings, 12710152 edges, 10909 markings/sec, 170 secs
lola: 2490355 markings, 13075521 edges, 10792 markings/sec, 175 secs
lola: 2545632 markings, 13442440 edges, 11055 markings/sec, 180 secs
lola: 2601865 markings, 13808756 edges, 11247 markings/sec, 185 secs
lola: 2655589 markings, 14175814 edges, 10745 markings/sec, 190 secs
lola: 2713623 markings, 14541425 edges, 11607 markings/sec, 195 secs
lola: 2765235 markings, 14907907 edges, 10322 markings/sec, 200 secs
lola: 2823540 markings, 15272953 edges, 11661 markings/sec, 205 secs
lola: 2871811 markings, 15639777 edges, 9654 markings/sec, 210 secs
lola: 2942951 markings, 16004516 edges, 14228 markings/sec, 215 secs
lola: 3016914 markings, 16367531 edges, 14793 markings/sec, 220 secs
lola: 3102709 markings, 16727228 edges, 17159 markings/sec, 225 secs
lola: 3171642 markings, 17090881 edges, 13787 markings/sec, 230 secs
lola: 3248743 markings, 17453374 edges, 15420 markings/sec, 235 secs
lola: 3323580 markings, 17815953 edges, 14967 markings/sec, 240 secs
lola: 3387759 markings, 18179708 edges, 12836 markings/sec, 245 secs
lola: 3494574 markings, 18537292 edges, 21363 markings/sec, 250 secs
lola: 3567304 markings, 18901746 edges, 14546 markings/sec, 255 secs
lola: 3622799 markings, 19267115 edges, 11099 markings/sec, 260 secs
lola: 3682050 markings, 19631830 edges, 11850 markings/sec, 265 secs
lola: 3730356 markings, 19995034 edges, 9661 markings/sec, 270 secs
lola: 3786809 markings, 20359782 edges, 11291 markings/sec, 275 secs
lola: 3848143 markings, 20724518 edges, 12267 markings/sec, 280 secs
lola: 3906673 markings, 21090574 edges, 11706 markings/sec, 285 secs
lola: 3965756 markings, 21456940 edges, 11817 markings/sec, 290 secs
lola: 4019957 markings, 21823821 edges, 10840 markings/sec, 295 secs
lola: 4070581 markings, 22188244 edges, 10125 markings/sec, 300 secs
lola: 4117659 markings, 22552582 edges, 9416 markings/sec, 305 secs
lola: 4178268 markings, 22915197 edges, 12122 markings/sec, 310 secs
lola: 4236452 markings, 23277049 edges, 11637 markings/sec, 315 secs
lola: 4291237 markings, 23641026 edges, 10957 markings/sec, 320 secs
lola: 4350833 markings, 23999142 edges, 11919 markings/sec, 325 secs
lola: 4402678 markings, 24360904 edges, 10369 markings/sec, 330 secs
lola: 4450294 markings, 24726971 edges, 9523 markings/sec, 335 secs
lola: 4515441 markings, 25087726 edges, 13029 markings/sec, 340 secs
lola: 4571518 markings, 25448722 edges, 11215 markings/sec, 345 secs
lola: 4636030 markings, 25813552 edges, 12902 markings/sec, 350 secs
lola: 4703093 markings, 26173403 edges, 13413 markings/sec, 355 secs
lola: 4760177 markings, 26534888 edges, 11417 markings/sec, 360 secs
lola: 4846819 markings, 26893387 edges, 17328 markings/sec, 365 secs
lola: 4907602 markings, 27257679 edges, 12157 markings/sec, 370 secs
lola: 4966328 markings, 27622610 edges, 11745 markings/sec, 375 secs
lola: 5017415 markings, 27986928 edges, 10217 markings/sec, 380 secs
lola: 5069108 markings, 28351936 edges, 10339 markings/sec, 385 secs
lola: 5129477 markings, 28715331 edges, 12074 markings/sec, 390 secs
lola: 5190197 markings, 29080480 edges, 12144 markings/sec, 395 secs
lola: 5244196 markings, 29446603 edges, 10800 markings/sec, 400 secs
lola: 5305175 markings, 29811773 edges, 12196 markings/sec, 405 secs
lola: 5355572 markings, 30175108 edges, 10079 markings/sec, 410 secs
lola: 5404406 markings, 30537790 edges, 9767 markings/sec, 415 secs
lola: 5458185 markings, 30900623 edges, 10756 markings/sec, 420 secs
lola: 5518273 markings, 31260502 edges, 12018 markings/sec, 425 secs
lola: 5573244 markings, 31622646 edges, 10994 markings/sec, 430 secs
lola: 5632786 markings, 31982069 edges, 11908 markings/sec, 435 secs
lola: 5686935 markings, 32340996 edges, 10830 markings/sec, 440 secs
lola: 5734831 markings, 32704391 edges, 9579 markings/sec, 445 secs
lola: 5796164 markings, 33065497 edges, 12267 markings/sec, 450 secs
lola: 5854181 markings, 33425304 edges, 11603 markings/sec, 455 secs
lola: 5913901 markings, 33788975 edges, 11944 markings/sec, 460 secs
lola: 5981235 markings, 34148070 edges, 13467 markings/sec, 465 secs
lola: 6039846 markings, 34507707 edges, 11722 markings/sec, 470 secs
lola: 6118455 markings, 34865057 edges, 15722 markings/sec, 475 secs
lola: 6188856 markings, 35226953 edges, 14080 markings/sec, 480 secs
lola: 6245020 markings, 35590811 edges, 11233 markings/sec, 485 secs
lola: 6300485 markings, 35954209 edges, 11093 markings/sec, 490 secs
lola: 6347602 markings, 36317336 edges, 9423 markings/sec, 495 secs
lola: 6406829 markings, 36679976 edges, 11845 markings/sec, 500 secs
lola: 6468391 markings, 37043429 edges, 12312 markings/sec, 505 secs
lola: 6525149 markings, 37407790 edges, 11352 markings/sec, 510 secs
lola: 6584897 markings, 37772012 edges, 11950 markings/sec, 515 secs
lola: 6635916 markings, 38136468 edges, 10204 markings/sec, 520 secs
lola: 6686138 markings, 38498434 edges, 10044 markings/sec, 525 secs
lola: 6733660 markings, 38861327 edges, 9504 markings/sec, 530 secs
lola: 6797012 markings, 39220735 edges, 12670 markings/sec, 535 secs
lola: 6852766 markings, 39581548 edges, 11151 markings/sec, 540 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no no no no no no no unknown unknown unknown no
lola: memory consumption: 1390220 KB
lola: time consumption: 1932 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 546 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (FIREABLE(t786)) OR (FIREABLE(t216) AND G (F (FIREABLE(t847))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (FIREABLE(t786)) OR (FIREABLE(t216) AND G (F (FIREABLE(t847))))))
lola: processed formula length: 71
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 260 markings, 260 edges
lola: ========================================
lola: subprocess 14 will run for 819 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t1533) OR (F ((FIREABLE(t248) OR (G ((FIREABLE(t1533) AND FIREABLE(t1576))) AND F (FIREABLE(t248))))) OR (G (FIREABLE(t1533)) OR (G (FIREABLE(t2044)) AND F ((FIREABLE(t1533) OR (F ((FIREABLE(t248) OR (G ((FIREABLE(t1533) AND FIREABLE(t1576))) AND F (FIREABLE(t248))))) OR G (FIREABLE(t1533))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t1533) OR (F ((FIREABLE(t248) OR (G ((FIREABLE(t1533) AND FIREABLE(t1576))) AND F (FIREABLE(t248))))) OR (G (FIREABLE(t1533)) OR (G (FIREABLE(t2044)) AND F ((FIREABLE(t1533) OR (F ((FIREABLE(t248) OR (G ((FIREABLE(t1533) AND FIREABLE(t1576))) AND F (FIREABLE(t248))))) OR G (FIREABLE(t1533))))))))))
lola: processed formula length: 312
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 80 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: 24227 markings, 360802 edges, 4845 markings/sec, 0 secs
lola: 40664 markings, 756324 edges, 3287 markings/sec, 5 secs
lola: 53752 markings, 1152898 edges, 2618 markings/sec, 10 secs
lola: 66151 markings, 1549289 edges, 2480 markings/sec, 15 secs
lola: 76773 markings, 1945810 edges, 2124 markings/sec, 20 secs
lola: 90279 markings, 2340058 edges, 2701 markings/sec, 25 secs
lola: 110976 markings, 2734125 edges, 4139 markings/sec, 30 secs
lola: 128616 markings, 3129796 edges, 3528 markings/sec, 35 secs
lola: 139300 markings, 3528554 edges, 2137 markings/sec, 40 secs
lola: 151011 markings, 3926309 edges, 2342 markings/sec, 45 secs
lola: 161472 markings, 4324131 edges, 2092 markings/sec, 50 secs
lola: 170494 markings, 4722089 edges, 1804 markings/sec, 55 secs
lola: 182158 markings, 5118994 edges, 2333 markings/sec, 60 secs
lola: 200608 markings, 5514239 edges, 3690 markings/sec, 65 secs
lola: 218860 markings, 5909018 edges, 3650 markings/sec, 70 secs
lola: 230116 markings, 6306876 edges, 2251 markings/sec, 75 secs
lola: 241475 markings, 6704462 edges, 2272 markings/sec, 80 secs
lola: 251887 markings, 7101768 edges, 2082 markings/sec, 85 secs
lola: 261419 markings, 7498970 edges, 1906 markings/sec, 90 secs
lola: 272484 markings, 7894839 edges, 2213 markings/sec, 95 secs
lola: 285102 markings, 8289928 edges, 2524 markings/sec, 100 secs
lola: 307610 markings, 8682090 edges, 4502 markings/sec, 105 secs
lola: 326520 markings, 9075439 edges, 3782 markings/sec, 110 secs
lola: 337258 markings, 9473169 edges, 2148 markings/sec, 115 secs
lola: 349242 markings, 9869361 edges, 2397 markings/sec, 120 secs
lola: 359840 markings, 10265951 edges, 2120 markings/sec, 125 secs
lola: 369560 markings, 10662493 edges, 1944 markings/sec, 130 secs
lola: 380261 markings, 11058434 edges, 2140 markings/sec, 135 secs
lola: 390782 markings, 11454226 edges, 2104 markings/sec, 140 secs
lola: 412099 markings, 11846452 edges, 4263 markings/sec, 145 secs
lola: 432944 markings, 12239660 edges, 4169 markings/sec, 150 secs
lola: 452727 markings, 12632791 edges, 3957 markings/sec, 155 secs
lola: 471019 markings, 13026893 edges, 3658 markings/sec, 160 secs
lola: 490157 markings, 13419181 edges, 3828 markings/sec, 165 secs
lola: 509990 markings, 13811422 edges, 3967 markings/sec, 170 secs
lola: 526924 markings, 14205117 edges, 3387 markings/sec, 175 secs
lola: 537783 markings, 14602322 edges, 2172 markings/sec, 180 secs
lola: 548160 markings, 14999028 edges, 2075 markings/sec, 185 secs
lola: 558128 markings, 15395780 edges, 1994 markings/sec, 190 secs
lola: 567173 markings, 15792832 edges, 1809 markings/sec, 195 secs
lola: 577437 markings, 16188584 edges, 2053 markings/sec, 200 secs
lola: 586502 markings, 16585227 edges, 1813 markings/sec, 205 secs
lola: 597782 markings, 16981159 edges, 2256 markings/sec, 210 secs
lola: 608374 markings, 17378801 edges, 2118 markings/sec, 215 secs
lola: 618431 markings, 17775645 edges, 2011 markings/sec, 220 secs
lola: 627724 markings, 18172930 edges, 1859 markings/sec, 225 secs
lola: 637228 markings, 18569074 edges, 1901 markings/sec, 230 secs
lola: 647422 markings, 18965352 edges, 2039 markings/sec, 235 secs
lola: 656972 markings, 19361383 edges, 1910 markings/sec, 240 secs
lola: 666795 markings, 19757691 edges, 1965 markings/sec, 245 secs
lola: 675821 markings, 20154120 edges, 1805 markings/sec, 250 secs
lola: 684561 markings, 20550653 edges, 1748 markings/sec, 255 secs
lola: 692714 markings, 20947320 edges, 1631 markings/sec, 260 secs
lola: 700815 markings, 21343104 edges, 1620 markings/sec, 265 secs
lola: 709976 markings, 21738765 edges, 1832 markings/sec, 270 secs
lola: 718025 markings, 22134648 edges, 1610 markings/sec, 275 secs
lola: 729055 markings, 22530207 edges, 2206 markings/sec, 280 secs
lola: 739584 markings, 22926859 edges, 2106 markings/sec, 285 secs
lola: 749601 markings, 23322891 edges, 2003 markings/sec, 290 secs
lola: 758906 markings, 23719254 edges, 1861 markings/sec, 295 secs
lola: 768387 markings, 24114295 edges, 1896 markings/sec, 300 secs
lola: 778470 markings, 24509451 edges, 2017 markings/sec, 305 secs
lola: 788906 markings, 24904385 edges, 2087 markings/sec, 310 secs
lola: 801621 markings, 25300926 edges, 2543 markings/sec, 315 secs
lola: 813611 markings, 25697219 edges, 2398 markings/sec, 320 secs
lola: 824418 markings, 26093476 edges, 2161 markings/sec, 325 secs
lola: 835736 markings, 26488636 edges, 2264 markings/sec, 330 secs
lola: 847035 markings, 26883813 edges, 2260 markings/sec, 335 secs
lola: 860848 markings, 27276878 edges, 2763 markings/sec, 340 secs
lola: 877826 markings, 27657310 edges, 3396 markings/sec, 345 secs
lola: 896776 markings, 28040880 edges, 3790 markings/sec, 350 secs
lola: 908233 markings, 28434354 edges, 2291 markings/sec, 355 secs
lola: 922306 markings, 28826228 edges, 2815 markings/sec, 360 secs
lola: 934913 markings, 29218490 edges, 2521 markings/sec, 365 secs
lola: 944326 markings, 29611746 edges, 1883 markings/sec, 370 secs
lola: 955816 markings, 30004386 edges, 2298 markings/sec, 375 secs
lola: 968914 markings, 30395038 edges, 2620 markings/sec, 380 secs
lola: 982419 markings, 30773813 edges, 2701 markings/sec, 385 secs
lola: 997932 markings, 31159471 edges, 3103 markings/sec, 390 secs
lola: 1010093 markings, 31551972 edges, 2432 markings/sec, 395 secs
lola: 1023277 markings, 31938490 edges, 2637 markings/sec, 400 secs
lola: 1036464 markings, 32312172 edges, 2637 markings/sec, 405 secs
lola: 1051625 markings, 32703421 edges, 3032 markings/sec, 410 secs
lola: 1063769 markings, 33095874 edges, 2429 markings/sec, 415 secs
lola: 1077486 markings, 33480642 edges, 2743 markings/sec, 420 secs
lola: 1092306 markings, 33857178 edges, 2964 markings/sec, 425 secs
lola: 1105078 markings, 34249623 edges, 2554 markings/sec, 430 secs
lola: 1118133 markings, 34640975 edges, 2611 markings/sec, 435 secs
lola: 1131709 markings, 35022424 edges, 2715 markings/sec, 440 secs
lola: 1145461 markings, 35403517 edges, 2750 markings/sec, 445 secs
lola: 1156630 markings, 35795968 edges, 2234 markings/sec, 450 secs
lola: 1167475 markings, 36187347 edges, 2169 markings/sec, 455 secs
lola: 1178849 markings, 36571018 edges, 2275 markings/sec, 460 secs
lola: 1190766 markings, 36945910 edges, 2383 markings/sec, 465 secs
lola: 1204808 markings, 37336886 edges, 2808 markings/sec, 470 secs
lola: 1217360 markings, 37727748 edges, 2510 markings/sec, 475 secs
lola: 1230833 markings, 38108107 edges, 2695 markings/sec, 480 secs
lola: 1246352 markings, 38483039 edges, 3104 markings/sec, 485 secs
lola: 1268191 markings, 38875255 edges, 4368 markings/sec, 490 secs
lola: 1288419 markings, 39268264 edges, 4046 markings/sec, 495 secs
lola: 1308486 markings, 39660629 edges, 4013 markings/sec, 500 secs
lola: 1326357 markings, 40053844 edges, 3574 markings/sec, 505 secs
lola: 1346629 markings, 40445369 edges, 4054 markings/sec, 510 secs
lola: 1364966 markings, 40838192 edges, 3667 markings/sec, 515 secs
lola: 1379633 markings, 41232781 edges, 2933 markings/sec, 520 secs
lola: 1390336 markings, 41630476 edges, 2141 markings/sec, 525 secs
lola: 1400506 markings, 42027188 edges, 2034 markings/sec, 530 secs
lola: 1409857 markings, 42425111 edges, 1870 markings/sec, 535 secs
lola: 1419343 markings, 42821394 edges, 1897 markings/sec, 540 secs
lola: 1429696 markings, 43218184 edges, 2071 markings/sec, 545 secs
lola: 1439543 markings, 43614216 edges, 1969 markings/sec, 550 secs
lola: 1450832 markings, 44010776 edges, 2258 markings/sec, 555 secs
lola: 1460999 markings, 44407615 edges, 2033 markings/sec, 560 secs
lola: 1471113 markings, 44803952 edges, 2023 markings/sec, 565 secs
lola: 1480173 markings, 45200945 edges, 1812 markings/sec, 570 secs
lola: 1490427 markings, 45596473 edges, 2051 markings/sec, 575 secs
lola: 1499657 markings, 45993225 edges, 1846 markings/sec, 580 secs
lola: 1509826 markings, 46389006 edges, 2034 markings/sec, 585 secs
lola: 1519121 markings, 46785926 edges, 1859 markings/sec, 590 secs
lola: 1528273 markings, 47182424 edges, 1830 markings/sec, 595 secs
lola: 1536955 markings, 47578705 edges, 1736 markings/sec, 600 secs
lola: 1544988 markings, 47975103 edges, 1607 markings/sec, 605 secs
lola: 1553852 markings, 48370589 edges, 1773 markings/sec, 610 secs
lola: 1562447 markings, 48765866 edges, 1719 markings/sec, 615 secs
lola: 1571734 markings, 49160749 edges, 1857 markings/sec, 620 secs
lola: 1582485 markings, 49556156 edges, 2150 markings/sec, 625 secs
lola: 1592953 markings, 49952040 edges, 2094 markings/sec, 630 secs
lola: 1602930 markings, 50347242 edges, 1995 markings/sec, 635 secs
lola: 1611891 markings, 50743233 edges, 1792 markings/sec, 640 secs
lola: 1622254 markings, 51137893 edges, 2073 markings/sec, 645 secs
lola: 1631316 markings, 51533072 edges, 1812 markings/sec, 650 secs
lola: 1648877 markings, 51924984 edges, 3512 markings/sec, 655 secs
lola: 1667357 markings, 52317971 edges, 3696 markings/sec, 660 secs
lola: 1685272 markings, 52710196 edges, 3583 markings/sec, 665 secs
lola: 1702609 markings, 53102190 edges, 3467 markings/sec, 670 secs
lola: 1718424 markings, 53494727 edges, 3163 markings/sec, 675 secs
lola: 1735904 markings, 53886320 edges, 3496 markings/sec, 680 secs
lola: 1752979 markings, 54278175 edges, 3415 markings/sec, 685 secs
lola: 1767808 markings, 54670948 edges, 2966 markings/sec, 690 secs
lola: 1777698 markings, 55066970 edges, 1978 markings/sec, 695 secs
lola: 1786700 markings, 55463291 edges, 1800 markings/sec, 700 secs
lola: 1795406 markings, 55859168 edges, 1741 markings/sec, 705 secs
lola: 1803606 markings, 56255624 edges, 1640 markings/sec, 710 secs
lola: 1811821 markings, 56650831 edges, 1643 markings/sec, 715 secs
lola: 1820998 markings, 57046328 edges, 1835 markings/sec, 720 secs
lola: 1829122 markings, 57441156 edges, 1625 markings/sec, 725 secs
lola: 1839149 markings, 57836950 edges, 2005 markings/sec, 730 secs
lola: 1848388 markings, 58233580 edges, 1848 markings/sec, 735 secs
lola: 1857340 markings, 58629768 edges, 1790 markings/sec, 740 secs
lola: 1865877 markings, 59025953 edges, 1707 markings/sec, 745 secs
lola: 1873945 markings, 59421763 edges, 1614 markings/sec, 750 secs
lola: 1882987 markings, 59816594 edges, 1808 markings/sec, 755 secs
lola: 1891436 markings, 60212493 edges, 1690 markings/sec, 760 secs
lola: 1900033 markings, 60608057 edges, 1719 markings/sec, 765 secs
lola: 1908775 markings, 61003693 edges, 1748 markings/sec, 770 secs
lola: 1916717 markings, 61399531 edges, 1588 markings/sec, 775 secs
lola: 1924544 markings, 61795014 edges, 1565 markings/sec, 780 secs
lola: 1931888 markings, 62190861 edges, 1469 markings/sec, 785 secs
lola: 1939365 markings, 62586117 edges, 1495 markings/sec, 790 secs
lola: 1947354 markings, 62980888 edges, 1598 markings/sec, 795 secs
lola: 1955022 markings, 63375935 edges, 1534 markings/sec, 800 secs
lola: 1962884 markings, 63770474 edges, 1572 markings/sec, 805 secs
lola: 1972760 markings, 64165855 edges, 1975 markings/sec, 810 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no no no no no no no unknown no unknown no
lola: memory consumption: 311688 KB
lola: time consumption: 2751 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 819 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F (FIREABLE(t82)))) AND A (G (F ((FIREABLE(t82) AND F (G (FIREABLE(t140))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 819 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t82))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t82))))
lola: processed formula length: 25
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 260 markings, 260 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A (F ((G (NOT FIREABLE(t1885)) OR (NOT FIREABLE(t801) AND NOT FIREABLE(t1885))))) AND (A (X (F (NOT FIREABLE(t801)))) AND A (X (G (NOT FIREABLE(t1885))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (F ((G (NOT FIREABLE(t1885)) OR (NOT FIREABLE(t801) AND NOT FIREABLE(t1885)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((G (NOT FIREABLE(t1885)) OR (NOT FIREABLE(t801) AND NOT FIREABLE(t1885)))))
lola: processed formula length: 81
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (G (NOT FIREABLE(t1885))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (NOT FIREABLE(t1885))))
lola: processed formula length: 31
lola: 108 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 65456 markings, 387420 edges, 13091 markings/sec, 0 secs
lola: 126274 markings, 774008 edges, 12164 markings/sec, 5 secs
lola: 178873 markings, 1159197 edges, 10520 markings/sec, 10 secs
lola: 233989 markings, 1543474 edges, 11023 markings/sec, 15 secs
lola: 293290 markings, 1928247 edges, 11860 markings/sec, 20 secs
lola: 343669 markings, 2311955 edges, 10076 markings/sec, 25 secs
lola: 395853 markings, 2697536 edges, 10437 markings/sec, 30 secs
lola: 441238 markings, 3082770 edges, 9077 markings/sec, 35 secs
lola: 489875 markings, 3465802 edges, 9727 markings/sec, 40 secs
lola: 546272 markings, 3849004 edges, 11279 markings/sec, 45 secs
lola: 596749 markings, 4230990 edges, 10095 markings/sec, 50 secs
lola: 648792 markings, 4615187 edges, 10409 markings/sec, 55 secs
lola: 694149 markings, 4999002 edges, 9071 markings/sec, 60 secs
lola: 742454 markings, 5380509 edges, 9661 markings/sec, 65 secs
lola: 798450 markings, 5762332 edges, 11199 markings/sec, 70 secs
lola: 848794 markings, 6142234 edges, 10069 markings/sec, 75 secs
lola: 900327 markings, 6523605 edges, 10307 markings/sec, 80 secs
lola: 945786 markings, 6904959 edges, 9092 markings/sec, 85 secs
lola: 993576 markings, 7283948 edges, 9558 markings/sec, 90 secs
lola: 1048397 markings, 7663362 edges, 10964 markings/sec, 95 secs
lola: 1099310 markings, 8040472 edges, 10183 markings/sec, 100 secs
lola: 1150226 markings, 8418954 edges, 10183 markings/sec, 105 secs
lola: 1195668 markings, 8797669 edges, 9088 markings/sec, 110 secs
lola: 1242791 markings, 9174388 edges, 9425 markings/sec, 115 secs
lola: 1296843 markings, 9551459 edges, 10810 markings/sec, 120 secs
lola: 1348101 markings, 9926369 edges, 10252 markings/sec, 125 secs
lola: 1398825 markings, 10301973 edges, 10145 markings/sec, 130 secs
lola: 1443935 markings, 10677980 edges, 9022 markings/sec, 135 secs
lola: 1489952 markings, 11052040 edges, 9203 markings/sec, 140 secs
lola: 1543789 markings, 11428878 edges, 10767 markings/sec, 145 secs
lola: 1596393 markings, 11812899 edges, 10521 markings/sec, 150 secs
lola: 1648696 markings, 12195731 edges, 10461 markings/sec, 155 secs
lola: 1694718 markings, 12578310 edges, 9204 markings/sec, 160 secs
lola: 1741154 markings, 12959135 edges, 9287 markings/sec, 165 secs
lola: 1795189 markings, 13340531 edges, 10807 markings/sec, 170 secs
lola: 1848074 markings, 13723537 edges, 10577 markings/sec, 175 secs
lola: 1900287 markings, 14106016 edges, 10443 markings/sec, 180 secs
lola: 1946665 markings, 14489964 edges, 9276 markings/sec, 185 secs
lola: 1993015 markings, 14872154 edges, 9270 markings/sec, 190 secs
lola: 2047077 markings, 15254422 edges, 10812 markings/sec, 195 secs
lola: 2100827 markings, 15641411 edges, 10750 markings/sec, 200 secs
lola: 2153381 markings, 16026227 edges, 10511 markings/sec, 205 secs
lola: 2199628 markings, 16410426 edges, 9249 markings/sec, 210 secs
lola: 2245893 markings, 16792288 edges, 9253 markings/sec, 215 secs
lola: 2298419 markings, 17174634 edges, 10505 markings/sec, 220 secs
lola: 2345269 markings, 17555929 edges, 9370 markings/sec, 225 secs
lola: 2390413 markings, 17935711 edges, 9029 markings/sec, 230 secs
lola: 2435043 markings, 18318968 edges, 8926 markings/sec, 235 secs
lola: 2475211 markings, 18700315 edges, 8034 markings/sec, 240 secs
lola: 2518194 markings, 19079890 edges, 8597 markings/sec, 245 secs
lola: 2569506 markings, 19462061 edges, 10262 markings/sec, 250 secs
lola: 2622159 markings, 19847608 edges, 10531 markings/sec, 255 secs
lola: 2673679 markings, 20231185 edges, 10304 markings/sec, 260 secs
lola: 2719659 markings, 20614179 edges, 9196 markings/sec, 265 secs
lola: 2767178 markings, 20995824 edges, 9504 markings/sec, 270 secs
lola: 2819353 markings, 21380510 edges, 10435 markings/sec, 275 secs
lola: 2865417 markings, 21764314 edges, 9213 markings/sec, 280 secs
lola: 2911480 markings, 22147380 edges, 9213 markings/sec, 285 secs
lola: 2954260 markings, 22533114 edges, 8556 markings/sec, 290 secs
lola: 2994204 markings, 22916081 edges, 7989 markings/sec, 295 secs
lola: 3038494 markings, 23298666 edges, 8858 markings/sec, 300 secs
lola: 3093723 markings, 23684509 edges, 11046 markings/sec, 305 secs
lola: 3144720 markings, 24070271 edges, 10199 markings/sec, 310 secs
lola: 3196345 markings, 24456515 edges, 10325 markings/sec, 315 secs
lola: 3241353 markings, 24841112 edges, 9002 markings/sec, 320 secs
lola: 3290381 markings, 25224900 edges, 9806 markings/sec, 325 secs
lola: 3347645 markings, 25611736 edges, 11453 markings/sec, 330 secs
lola: 3398641 markings, 25997191 edges, 10199 markings/sec, 335 secs
lola: 3450369 markings, 26383588 edges, 10346 markings/sec, 340 secs
lola: 3495375 markings, 26767956 edges, 9001 markings/sec, 345 secs
lola: 3544410 markings, 27151960 edges, 9807 markings/sec, 350 secs
lola: 3601308 markings, 27536261 edges, 11380 markings/sec, 355 secs
lola: 3651510 markings, 27917596 edges, 10040 markings/sec, 360 secs
lola: 3703406 markings, 28302820 edges, 10379 markings/sec, 365 secs
lola: 3748457 markings, 28686191 edges, 9010 markings/sec, 370 secs
lola: 3797090 markings, 29068077 edges, 9727 markings/sec, 375 secs
lola: 3853932 markings, 29453016 edges, 11368 markings/sec, 380 secs
lola: 3904535 markings, 29838872 edges, 10121 markings/sec, 385 secs
lola: 3956698 markings, 30224151 edges, 10433 markings/sec, 390 secs
lola: 4001779 markings, 30607003 edges, 9016 markings/sec, 395 secs
lola: 4050365 markings, 30989511 edges, 9717 markings/sec, 400 secs
lola: 4102064 markings, 31372017 edges, 10340 markings/sec, 405 secs
lola: 4147470 markings, 31753024 edges, 9081 markings/sec, 410 secs
lola: 4193251 markings, 32134652 edges, 9156 markings/sec, 415 secs
lola: 4233798 markings, 32517225 edges, 8109 markings/sec, 420 secs
lola: 4272279 markings, 32876552 edges, 7696 markings/sec, 425 secs
lola: 4316492 markings, 33252166 edges, 8843 markings/sec, 430 secs
lola: 4371890 markings, 33634785 edges, 11080 markings/sec, 435 secs
lola: 4422460 markings, 34015740 edges, 10114 markings/sec, 440 secs
lola: 4472606 markings, 34397740 edges, 10029 markings/sec, 445 secs
lola: 4516635 markings, 34777705 edges, 8806 markings/sec, 450 secs
lola: 4566331 markings, 35157092 edges, 9939 markings/sec, 455 secs
lola: 4617108 markings, 35536923 edges, 10155 markings/sec, 460 secs
lola: 4661455 markings, 35915027 edges, 8869 markings/sec, 465 secs
lola: 4706944 markings, 36294663 edges, 9098 markings/sec, 470 secs
lola: 4747597 markings, 36674278 edges, 8131 markings/sec, 475 secs
lola: 4787552 markings, 37052251 edges, 7991 markings/sec, 480 secs
lola: 4833183 markings, 37429474 edges, 9126 markings/sec, 485 secs
lola: 4888078 markings, 37810166 edges, 10979 markings/sec, 490 secs
lola: 4939507 markings, 38188266 edges, 10286 markings/sec, 495 secs
lola: 4987920 markings, 38568221 edges, 9683 markings/sec, 500 secs
lola: 5032102 markings, 38945273 edges, 8836 markings/sec, 505 secs
lola: 5082082 markings, 39321725 edges, 9996 markings/sec, 510 secs
lola: 5137885 markings, 39702320 edges, 11161 markings/sec, 515 secs
lola: 5188391 markings, 40080804 edges, 10101 markings/sec, 520 secs
lola: 5238039 markings, 40460952 edges, 9930 markings/sec, 525 secs
lola: 5281350 markings, 40837431 edges, 8662 markings/sec, 530 secs
lola: 5331209 markings, 41213079 edges, 9972 markings/sec, 535 secs
lola: 5386254 markings, 41586483 edges, 11009 markings/sec, 540 secs
lola: 5434422 markings, 41951067 edges, 9634 markings/sec, 545 secs
lola: 5484190 markings, 42323160 edges, 9954 markings/sec, 550 secs
lola: 5527832 markings, 42694826 edges, 8728 markings/sec, 555 secs
lola: 5574788 markings, 43063204 edges, 9391 markings/sec, 560 secs
lola: 5626963 markings, 43419137 edges, 10435 markings/sec, 565 secs
lola: 5677463 markings, 43794808 edges, 10100 markings/sec, 570 secs
lola: 5728540 markings, 44174454 edges, 10215 markings/sec, 575 secs
lola: 5774135 markings, 44554639 edges, 9119 markings/sec, 580 secs
lola: 5821341 markings, 44930837 edges, 9441 markings/sec, 585 secs
lola: 5872131 markings, 45307243 edges, 10158 markings/sec, 590 secs
lola: 5917329 markings, 45683493 edges, 9040 markings/sec, 595 secs
lola: 5962464 markings, 46059272 edges, 9027 markings/sec, 600 secs
lola: 6004793 markings, 46438019 edges, 8466 markings/sec, 605 secs
lola: 6043601 markings, 46813696 edges, 7762 markings/sec, 610 secs
lola: 6086994 markings, 47189084 edges, 8679 markings/sec, 615 secs
lola: 6140520 markings, 47566765 edges, 10705 markings/sec, 620 secs
lola: 6190590 markings, 47944888 edges, 10014 markings/sec, 625 secs
lola: 6241700 markings, 48322640 edges, 10222 markings/sec, 630 secs
lola: 6286532 markings, 48699232 edges, 8966 markings/sec, 635 secs
lola: 6333914 markings, 49074776 edges, 9476 markings/sec, 640 secs
lola: 6384407 markings, 49450753 edges, 10099 markings/sec, 645 secs
lola: 6429451 markings, 49826140 edges, 9009 markings/sec, 650 secs
lola: 6474547 markings, 50201595 edges, 9019 markings/sec, 655 secs
lola: 6516134 markings, 50579336 edges, 8317 markings/sec, 660 secs
lola: 6555427 markings, 50954717 edges, 7859 markings/sec, 665 secs
lola: 6598718 markings, 51329171 edges, 8658 markings/sec, 670 secs
lola: 6652647 markings, 51705484 edges, 10786 markings/sec, 675 secs
lola: 6701946 markings, 52081262 edges, 9860 markings/sec, 680 secs
lola: 6753112 markings, 52458111 edges, 10233 markings/sec, 685 secs
lola: 6797560 markings, 52833673 edges, 8890 markings/sec, 690 secs
lola: 6844774 markings, 53207115 edges, 9443 markings/sec, 695 secs
lola: 6899570 markings, 53582680 edges, 10959 markings/sec, 700 secs
lola: 6950425 markings, 53962104 edges, 10171 markings/sec, 705 secs
lola: 7001441 markings, 54342582 edges, 10203 markings/sec, 710 secs
lola: 7047036 markings, 54721922 edges, 9119 markings/sec, 715 secs
lola: 7094493 markings, 55099386 edges, 9491 markings/sec, 720 secs
lola: 7148802 markings, 55477530 edges, 10862 markings/sec, 725 secs
lola: 7200307 markings, 55855477 edges, 10301 markings/sec, 730 secs
lola: 7251203 markings, 56234343 edges, 10179 markings/sec, 735 secs
lola: 7296383 markings, 56610839 edges, 9036 markings/sec, 740 secs
lola: 7342516 markings, 56983104 edges, 9227 markings/sec, 745 secs
lola: 7396078 markings, 57356328 edges, 10712 markings/sec, 750 secs
lola: 7447455 markings, 57732504 edges, 10275 markings/sec, 755 secs
lola: 7498542 markings, 58106987 edges, 10217 markings/sec, 760 secs
lola: 7543486 markings, 58481488 edges, 8989 markings/sec, 765 secs
lola: 7588647 markings, 58854082 edges, 9032 markings/sec, 770 secs
lola: 7639614 markings, 59226558 edges, 10193 markings/sec, 775 secs
lola: 7685578 markings, 59600311 edges, 9193 markings/sec, 780 secs
lola: 7729678 markings, 59971827 edges, 8820 markings/sec, 785 secs
lola: 7773711 markings, 60347619 edges, 8807 markings/sec, 790 secs
lola: 7813161 markings, 60720771 edges, 7890 markings/sec, 795 secs
lola: 7854565 markings, 61092043 edges, 8281 markings/sec, 800 secs
lola: 7904145 markings, 61465584 edges, 9916 markings/sec, 805 secs
lola: 7955303 markings, 61841079 edges, 10232 markings/sec, 810 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown unknown no no no no no no no unknown no unknown no
lola:
preliminary result: unknown unknown no unknown unknown no no no no no no no unknown no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no unknown unknown no no no no no no no unknown no unknown no
lola: memory consumption: 1700348 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no unknown unknown no no no no no no no unknown no unknown no
lola: memory consumption: 1700348 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no unknown unknown no no no no no no no unknown no unknown no
rslt: finished

BK_STOP 1589148275809

--------------------
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-03b"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is ASLink-PT-03b, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r015-smll-158897552600014"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-03b.tgz
mv ASLink-PT-03b execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;