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

About the Execution of 2019-Gold for CircularTrains-PT-384

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
13892.420 3570125.00 3635087.00 9262.40 FFTTFTFTFF?FFFT? 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.r045-smll-158902068200023.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 CircularTrains-PT-384, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068200023
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 28 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 26 07:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 07:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 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 293K 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 CircularTrains-PT-384-00
FORMULA_NAME CircularTrains-PT-384-01
FORMULA_NAME CircularTrains-PT-384-02
FORMULA_NAME CircularTrains-PT-384-03
FORMULA_NAME CircularTrains-PT-384-04
FORMULA_NAME CircularTrains-PT-384-05
FORMULA_NAME CircularTrains-PT-384-06
FORMULA_NAME CircularTrains-PT-384-07
FORMULA_NAME CircularTrains-PT-384-08
FORMULA_NAME CircularTrains-PT-384-09
FORMULA_NAME CircularTrains-PT-384-10
FORMULA_NAME CircularTrains-PT-384-11
FORMULA_NAME CircularTrains-PT-384-12
FORMULA_NAME CircularTrains-PT-384-13
FORMULA_NAME CircularTrains-PT-384-14
FORMULA_NAME CircularTrains-PT-384-15

=== Now, execution of the tool begins

BK_START 1589240785633

info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ CircularTrains-PT-384 @ 3570 seconds

FORMULA CircularTrains-PT-384-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-384-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-384-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-384-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-384-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-384-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-384-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-384-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-384-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-384-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-384-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-384-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-384-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CircularTrains-PT-384-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ CircularTrains-PT-384

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 114
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(Section_122 <= F270)",
"processed_size": 21,
"rewrites": 114
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 114
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(F282 <= F353)",
"processed_size": 14,
"rewrites": 114
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 323
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (X (F ((F334 + 1 <= Section_243)))))",
"processed_size": 41,
"rewrites": 114
},
"result":
{
"edges": 18957,
"markings": 18957,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 404
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (F (G ((Section_256 <= Section_304))))",
"processed_size": 40,
"rewrites": 114
},
"result":
{
"edges": 12613,
"markings": 12610,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 8,
"type": "boolean"
}
},

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 925
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (F (G (((Section_288 <= Section_238) AND (Section_56 <= Section_150)))))",
"processed_size": 74,
"rewrites": 114
},
"result":
{
"edges": 12647,
"markings": 12645,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1388
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 3,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A ((G ((Section_183 <= F365)) OR (F (G ((Section_183 <= F365))) AND F (G ((Section_3 + 1 <= Section_75))))))",
"processed_size": 108,
"rewrites": 114
},
"result":
{
"edges": 12678,
"markings": 12678,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2775
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (((F13 <= Section_321) U (F174 <= Section_138)))",
"processed_size": 50,
"rewrites": 118
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space /ER",
"value": true
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"type": "universal_until"
}
}
],
"exit":
{
"error": null,
"memory": 26768,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(A(F(G(**))) AND A(X(G((X(X(X(G(*)))) OR G(**)))))) : FALSE : A(X(TRUE)) : A(G(F(**))) : A(F(G(**))) : A((** U **)) : A((G(**) OR (F(G(**)) AND F(G(*))))) : ** : A(G(*)) : FALSE : A(X(X(F((** OR (G(**) AND F(**))))))) : A(X(X(F(**)))) : A(F(G((** AND *)))) : (A(G(F(**))) AND A(X(X(X(F(**)))))) : ** : A(X((** OR F(**))))"
},
"net":
{
"arcs": 1536,
"conflict_clusters": 384,
"places": 768,
"places_significant": 383,
"singleton_clusters": 0,
"transitions": 384
},
"result":
{
"interim_value": "no no yes yes no yes no yes no no unknown no no no yes unknown ",
"preliminary_value": "no no yes yes no yes no yes no no unknown no no no yes unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 1152/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 24576
lola: finding significant places
lola: 768 places, 384 transitions, 383 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= F336)
lola: LP says that atomic proposition is always false: (3 <= F336)
lola: LP says that atomic proposition is always false: (3 <= F336)
lola: LP says that atomic proposition is always false: (2 <= Section_107)
lola: LP says that atomic proposition is always false: (2 <= Section_321)
lola: LP says that atomic proposition is always false: (2 <= F121)
lola: LP says that atomic proposition is always false: (2 <= F121)
lola: LP says that atomic proposition is always false: (2 <= F121)
lola: LP says that atomic proposition is always false: (3 <= Section_197)
lola: LP says that atomic proposition is always false: (3 <= F168)
lola: LP says that atomic proposition is always false: (3 <= Section_154)
lola: LP says that atomic proposition is always false: (3 <= F119)
lola: LP says that atomic proposition is always false: (2 <= F159)
lola: LP says that atomic proposition is always false: (3 <= Section_159)
lola: LP says that atomic proposition is always false: (3 <= Section_171)
lola: LP says that atomic proposition is always false: (3 <= Section_171)
lola: LP says that atomic proposition is always false: (3 <= Section_295)
lola: LP says that atomic proposition is always false: (3 <= Section_295)
lola: LP says that atomic proposition is always false: (3 <= F243)
lola: A (X (G ((NOT(F (X (X (X ((Section_304 + 1 <= Section_256)))))) U G ((Section_256 <= Section_304)))))) : A ((G (((3 <= F336) AND ((3 <= F336) OR G ((3 <= F336))))) AND X (((2 <= Section_107) OR ((Section_318 <= F136) U (Section_45 + 1 <= F329)))))) : A (X (F (G (((Section_370 <= F1) U (Section_321 <= 1)))))) : A (G (F ((Section_339 <= Section_220)))) : A ((((2 <= F121) AND G ((2 <= F121))) U X (F (G (((2 <= F121) U (F384 <= Section_151))))))) : A ((((F (G ((F87 <= Section_176))) AND G (X ((F13 <= Section_321)))) AND G ((3 <= Section_197))) OR ((F13 <= Section_321) U (F174 <= Section_138)))) : A ((X (F (G (NOT(X (X (X ((Section_75 <= Section_3)))))))) U G ((Section_183 <= F365)))) : A ((G ((3 <= F168)) OR ((3 <= Section_154) U (Section_122 <= F270)))) : A ((NOT(((0 <= F58) U (F344 <= Section_181))) AND (((0 <= F58) AND G ((3 <= F119))) U G ((0 <= F58))))) : A (X (X (G (())))) : A (F (((3 <= Section_159) OR X ((X (G ((F187 <= Section_291))) U X ((F187 <= Section_291))))))) : A (X (X (F ((((Section_243 <= F334) U (F334 + 1 <= Section_243)) OR F ((G (X (G ((3 <= Section_171)))) U (3 <= Section_171)))))))) : A (F ((G ((Section_288 <= Section_238)) AND G (NOT((F (G (())) U (Section_150 + 1 <= Section_56))))))) : A (X ((G (F (X ((F275 <= F163)))) AND X (F (X ((F355 <= Section_104))))))) : A ((G ((3 <= F243)) U (F282 <= F353))) : A (X (((F175 <= F162) OR F ((F ((1 <= F27)) U (1 <= F27))))))
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 114 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (Section_122 <= F270)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (Section_122 <= F270)
lola: processed formula length: 21
lola: 114 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 114 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F282 <= F353)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (F282 <= F353)
lola: processed formula length: 14
lola: 114 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 114 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 129 markings, 128 edges
lola: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F (((F187 <= Section_291) OR (G ((F187 <= Section_291)) AND F ((F187 <= Section_291))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F (((F187 <= Section_291) OR (G ((F187 <= Section_291)) AND F ((F187 <= Section_291))))))))
lola: processed formula length: 100
lola: 114 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 258620 markings, 867657 edges, 51724 markings/sec, 0 secs
lola: 493165 markings, 1738082 edges, 46909 markings/sec, 5 secs
lola: 718894 markings, 2577336 edges, 45146 markings/sec, 10 secs
lola: 954619 markings, 3452274 edges, 47145 markings/sec, 15 secs
lola: 1184860 markings, 4304974 edges, 46048 markings/sec, 20 secs
lola: 1406008 markings, 5122722 edges, 44230 markings/sec, 25 secs
lola: 1692633 markings, 6174937 edges, 57325 markings/sec, 30 secs
lola: 1912755 markings, 7098878 edges, 44024 markings/sec, 35 secs
lola: 2113989 markings, 7998479 edges, 40247 markings/sec, 40 secs
lola: 2312539 markings, 8884658 edges, 39710 markings/sec, 45 secs
lola: 2507560 markings, 9754443 edges, 39004 markings/sec, 50 secs
lola: 2698139 markings, 10603551 edges, 38116 markings/sec, 55 secs
lola: 2868589 markings, 11362940 edges, 34090 markings/sec, 60 secs
lola: 3085919 markings, 12328741 edges, 43466 markings/sec, 65 secs
lola: 3306986 markings, 13304982 edges, 44213 markings/sec, 70 secs
lola: 3517775 markings, 14206906 edges, 42158 markings/sec, 75 secs
lola: 3716374 markings, 15093201 edges, 39720 markings/sec, 80 secs
lola: 3910520 markings, 15960305 edges, 38829 markings/sec, 85 secs
lola: 4099989 markings, 16804978 edges, 37894 markings/sec, 90 secs
lola: 4283679 markings, 17623594 edges, 36738 markings/sec, 95 secs
lola: 4459988 markings, 18408694 edges, 35262 markings/sec, 100 secs
lola: 4689984 markings, 19430054 edges, 45999 markings/sec, 105 secs
lola: 4911004 markings, 20368629 edges, 44204 markings/sec, 110 secs
lola: 5109106 markings, 21254236 edges, 39620 markings/sec, 115 secs
lola: 5304807 markings, 22127780 edges, 39140 markings/sec, 120 secs
lola: 5496197 markings, 22982133 edges, 38278 markings/sec, 125 secs
lola: 5682120 markings, 23811121 edges, 37185 markings/sec, 130 secs
lola: 5862494 markings, 24614732 edges, 36075 markings/sec, 135 secs
lola: 6036046 markings, 25386621 edges, 34710 markings/sec, 140 secs
lola: 6270521 markings, 26426586 edges, 46895 markings/sec, 145 secs
lola: 6486257 markings, 27344286 edges, 43147 markings/sec, 150 secs
lola: 6682971 markings, 28223714 edges, 39343 markings/sec, 155 secs
lola: 6876255 markings, 29086603 edges, 38657 markings/sec, 160 secs
lola: 7064702 markings, 29926433 edges, 37689 markings/sec, 165 secs
lola: 7247446 markings, 30740814 edges, 36549 markings/sec, 170 secs
lola: 7423731 markings, 31525516 edges, 35257 markings/sec, 175 secs
lola: 7644347 markings, 32505916 edges, 44123 markings/sec, 180 secs
lola: 7858880 markings, 33431547 edges, 42907 markings/sec, 185 secs
lola: 8052381 markings, 34280653 edges, 38700 markings/sec, 190 secs
lola: 8250663 markings, 35165508 edges, 39656 markings/sec, 195 secs
lola: 8445322 markings, 36033586 edges, 38932 markings/sec, 200 secs
lola: 8634974 markings, 36880515 edges, 37930 markings/sec, 205 secs
lola: 8818937 markings, 37698607 edges, 36793 markings/sec, 210 secs
lola: 9045047 markings, 38703007 edges, 45222 markings/sec, 215 secs
lola: 9265148 markings, 39645563 edges, 44020 markings/sec, 220 secs
lola: 9465661 markings, 40535101 edges, 40103 markings/sec, 225 secs
lola: 9663131 markings, 41416897 edges, 39494 markings/sec, 230 secs
lola: 9856015 markings, 42277099 edges, 38577 markings/sec, 235 secs
lola: 10043865 markings, 43114202 edges, 37570 markings/sec, 240 secs
lola: 10224924 markings, 43920758 edges, 36212 markings/sec, 245 secs
lola: 10451467 markings, 44926144 edges, 45309 markings/sec, 250 secs
lola: 10670443 markings, 45858164 edges, 43795 markings/sec, 255 secs
lola: 10869182 markings, 46745288 edges, 39748 markings/sec, 260 secs
lola: 11064373 markings, 47617156 edges, 39038 markings/sec, 265 secs
lola: 11255011 markings, 48467674 edges, 38128 markings/sec, 270 secs
lola: 11441239 markings, 49296648 edges, 37246 markings/sec, 275 secs
lola: 11638984 markings, 50175909 edges, 39549 markings/sec, 280 secs
lola: 11862609 markings, 51165057 edges, 44725 markings/sec, 285 secs
lola: 12071497 markings, 52060663 edges, 41778 markings/sec, 290 secs
lola: 12268534 markings, 52940740 edges, 39407 markings/sec, 295 secs
lola: 12461762 markings, 53800859 edges, 38646 markings/sec, 300 secs
lola: 12649803 markings, 54639305 edges, 37608 markings/sec, 305 secs
lola: 12832637 markings, 55452894 edges, 36567 markings/sec, 310 secs
lola: 13064366 markings, 56480949 edges, 46346 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no yes unknown unknown unknown unknown yes unknown no unknown unknown unknown unknown yes unknown
lola: memory consumption: 1774300 KB
lola: time consumption: 331 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((F334 + 1 <= Section_243)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((F334 + 1 <= Section_243)))))
lola: processed formula length: 41
lola: 114 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 18957 markings, 18957 edges
lola: ========================================
lola: subprocess 7 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F ((F275 <= F163)))) AND A (X (X (X (F ((F355 <= Section_104)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((F275 <= F163))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((F275 <= F163))))
lola: processed formula length: 26
lola: 114 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 12525 markings, 12525 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 404 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (G ((Section_256 <= Section_304)))) AND A (X (G ((X (X (X (G ((Section_256 <= Section_304))))) OR G ((Section_256 <= Section_304)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 404 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((Section_256 <= Section_304))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((Section_256 <= Section_304))))
lola: processed formula length: 40
lola: 114 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: add low 158
lola: add low 233
lola: add low 30
lola: add low 102
lola: add low 174
lola: add low 245
lola: add low 99
lola: add low 172
lola: add low 28
lola: add low 157
lola: add low 247
lola: add low 321
lola: add low 12
lola: add low 87
lola: add low 159
lola: add low 234
lola: add low 309
lola: add low 105
lola: add low 177
lola: add low 249
lola: add low 323
lola: add low 14
lola: add low 88
lola: add low 160
lola: add low 235
lola: add low 310
lola: add low 2
lola: add low 179
lola: add low 252
lola: add low 326
lola: add low 17
lola: add low 90
lola: add low 162
lola: add low 236
lola: add low 311
lola: add low 3
lola: add low 79
lola: add low 254
lola: add low 328
lola: add low 19
lola: add low 93
lola: add low 165
lola: add low 239
lola: add low 313
lola: add low 4
lola: add low 80
lola: add low 155
lola: add low 6
lola: add low 82
lola: add low 153
lola: add low 336
lola: add low 85
lola: add low 319
lola: add low 10
lola: add low 244
lola: add low 98
lola: add low 171
lola: add low 26
lola: add low 260
lola: add low 333
lola: add low 84
lola: add low 318
lola: add low 8
lola: add low 243
lola: add low 97
lola: add low 170
lola: add low 25
lola: add low 259
lola: add low 332
lola: add low 183
lola: add low 317
lola: add low 7
lola: add low 242
lola: add low 96
lola: add low 169
lola: add low 24
lola: add low 258
lola: add low 331
lola: add low 182
lola: add low 316
lola: add low 110
lola: add low 241
lola: add low 95
lola: add low 168
lola: add low 23
lola: add low 257
lola: add low 330
lola: add low 181
lola: add low 36
lola: add low 108
lola: add low 240
lola: add low 94
lola: add low 167
lola: add low 22
lola: add low 256
lola: add low 329
lola: add low 180
lola: add low 35
lola: add low 107
lola: add low 343
lola: add low 34
lola: add low 109
lola: add low 342
lola: add low 193
lola: add low 268
lola: add low 120
lola: add low 357
lola: add low 49
lola: add low 285
lola: add low 31
lola: add low 211
lola: add low 339
lola: add low 192
lola: add low 267
lola: add low 119
lola: add low 356
lola: add low 48
lola: add low 284
lola: add low 138
lola: add low 210
lola: add low 337
lola: add low 189
lola: add low 264
lola: add low 117
lola: add low 355
lola: add low 47
lola: add low 283
lola: add low 137
lola: add low 209
lola: add low 67
lola: add low 187
lola: add low 262
lola: add low 115
lola: add low 353
lola: add low 44
lola: add low 281
lola: add low 136
lola: add low 208
lola: add low 65
lola: add low 184
lola: add low 375
lola: add low 112
lola: add low 349
lola: add low 40
lola: add low 278
lola: add low 133
lola: add low 205
lola: add low 63
lola: add low 300
lola: add low 373
lola: add low 111
lola: add low 346
lola: add low 38
lola: add low 274
lola: add low 129
lola: add low 201
lola: add low 60
lola: add low 298
lola: add low 369
lola: add low 224
lola: add low 345
lola: add low 37
lola: add low 271
lola: add low 126
lola: add low 198
lola: add low 56
lola: add low 294
lola: add low 365
lola: add low 220
lola: add low 344
lola: add low 149
lola: add low 270
lola: add low 124
lola: add low 196
lola: add low 54
lola: add low 292
lola: add low 363
lola: add low 218
lola: add low 74
lola: add low 146
lola: add low 269
lola: add low 122
lola: add low 195
lola: add low 52
lola: add low 290
lola: add low 361
lola: add low 216
lola: add low 72
lola: add low 144
lola: add low 382
lola: add low 121
lola: add low 194
lola: add low 50
lola: add low 288
lola: add low 359
lola: add low 214
lola: add low 70
lola: add low 142
lola: add low 380
lola: add low 20
lola: add low 305
lola: add low 312
lola: add low 13
lola: add low 161
lola: add low 246
lola: add low 334
lola: add low 100
lola: add low 185
lola: add low 273
lola: add low 39
lola: add low 5
lola: add low 89
lola: add low 237
lola: add low 322
lola: add low 27
lola: add low 173
lola: add low 261
lola: add low 348
lola: add low 113
lola: add low 200
lola: add low 163
lola: add low 314
lola: add low 15
lola: add low 101
lola: add low 248
lola: add low 335
lola: add low 41
lola: add low 186
lola: add low 276
lola: add low 238
lola: add low 128
lola: add low 91
lola: add low 175
lola: add low 324
lola: add low 29
lola: add low 320
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: 12610 markings, 12613 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 462 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((F175 <= F162) OR F ((1 <= F27)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((F175 <= F162) OR F ((1 <= F27)))))
lola: processed formula length: 42
lola: 114 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 426988 markings, 821443 edges, 85398 markings/sec, 0 secs
lola: 845891 markings, 1707522 edges, 83781 markings/sec, 5 secs
lola: 1205012 markings, 2598239 edges, 71824 markings/sec, 10 secs
lola: 1563422 markings, 3477012 edges, 71682 markings/sec, 15 secs
lola: 1923816 markings, 4370143 edges, 72079 markings/sec, 20 secs
lola: 2286981 markings, 5261485 edges, 72633 markings/sec, 25 secs
lola: 2651063 markings, 6161066 edges, 72816 markings/sec, 30 secs
lola: 3014005 markings, 7054230 edges, 72588 markings/sec, 35 secs
lola: 3375133 markings, 7939597 edges, 72226 markings/sec, 40 secs
lola: 3739407 markings, 8842595 edges, 72855 markings/sec, 45 secs
lola: 4102906 markings, 9734701 edges, 72700 markings/sec, 50 secs
lola: 4466182 markings, 10632331 edges, 72655 markings/sec, 55 secs
lola: 4829420 markings, 11526158 edges, 72648 markings/sec, 60 secs
lola: 5193013 markings, 12418060 edges, 72719 markings/sec, 65 secs
lola: 5558702 markings, 13323511 edges, 73138 markings/sec, 70 secs
lola: 5923608 markings, 14220127 edges, 72981 markings/sec, 75 secs
lola: 6286411 markings, 15110057 edges, 72561 markings/sec, 80 secs
lola: 6648590 markings, 16006668 edges, 72436 markings/sec, 85 secs
lola: 7012242 markings, 16900361 edges, 72730 markings/sec, 90 secs
lola: 7375401 markings, 17791491 edges, 72632 markings/sec, 95 secs
lola: 7738767 markings, 18683437 edges, 72673 markings/sec, 100 secs
lola: 8101453 markings, 19581973 edges, 72537 markings/sec, 105 secs
lola: 8464225 markings, 20472614 edges, 72554 markings/sec, 110 secs
lola: 8827456 markings, 21364325 edges, 72646 markings/sec, 115 secs
lola: 9190655 markings, 22255749 edges, 72640 markings/sec, 120 secs
lola: 9552012 markings, 23150691 edges, 72271 markings/sec, 125 secs
lola: 9915124 markings, 24043038 edges, 72622 markings/sec, 130 secs
lola: 10278168 markings, 24934573 edges, 72609 markings/sec, 135 secs
lola: 10640406 markings, 25823821 edges, 72448 markings/sec, 140 secs
lola: 11001513 markings, 26710474 edges, 72221 markings/sec, 145 secs
lola: 11363723 markings, 27600103 edges, 72442 markings/sec, 150 secs
lola: 11723742 markings, 28489940 edges, 72004 markings/sec, 155 secs
lola: 12085937 markings, 29380121 edges, 72439 markings/sec, 160 secs
lola: 12436312 markings, 30241056 edges, 70075 markings/sec, 165 secs
lola: 12784651 markings, 31096859 edges, 69668 markings/sec, 170 secs
lola: 13146637 markings, 31985859 edges, 72397 markings/sec, 175 secs
lola: 13509339 markings, 32876594 edges, 72540 markings/sec, 180 secs
lola: 13872672 markings, 33768167 edges, 72667 markings/sec, 185 secs
lola: 14235534 markings, 34655050 edges, 72572 markings/sec, 190 secs
lola: 14599697 markings, 35549937 edges, 72833 markings/sec, 195 secs
lola: 14963183 markings, 36443257 edges, 72697 markings/sec, 200 secs
lola: 15326891 markings, 37336872 edges, 72742 markings/sec, 205 secs
lola: 15691329 markings, 38226439 edges, 72888 markings/sec, 210 secs
lola: 16052652 markings, 39114982 edges, 72265 markings/sec, 215 secs
lola: 16415955 markings, 40007406 edges, 72661 markings/sec, 220 secs
lola: 16777622 markings, 40891310 edges, 72333 markings/sec, 225 secs
lola: 17140346 markings, 41782079 edges, 72545 markings/sec, 230 secs
lola: 17502550 markings, 42667819 edges, 72441 markings/sec, 235 secs
lola: 17866563 markings, 43557561 edges, 72803 markings/sec, 240 secs
lola: 18229943 markings, 44446212 edges, 72676 markings/sec, 245 secs
lola: 18593838 markings, 45336205 edges, 72779 markings/sec, 250 secs
lola: 18958452 markings, 46228104 edges, 72923 markings/sec, 255 secs
lola: 19322594 markings, 47118610 edges, 72828 markings/sec, 260 secs
lola: 19686494 markings, 48005671 edges, 72780 markings/sec, 265 secs
lola: 20051210 markings, 48894572 edges, 72943 markings/sec, 270 secs
lola: 20415628 markings, 49782413 edges, 72884 markings/sec, 275 secs
lola: 20780996 markings, 50668797 edges, 73074 markings/sec, 280 secs
lola: 21147746 markings, 51558882 edges, 73350 markings/sec, 285 secs
lola: 21515394 markings, 52448104 edges, 73530 markings/sec, 290 secs
lola: 21886498 markings, 53339222 edges, 74221 markings/sec, 295 secs
lola: 22224320 markings, 54147704 edges, 67564 markings/sec, 300 secs
lola: 22530540 markings, 54907284 edges, 61244 markings/sec, 305 secs
lola: 22851922 markings, 55693317 edges, 64276 markings/sec, 310 secs
lola: 23156246 markings, 56448695 edges, 60865 markings/sec, 315 secs
lola: 23474086 markings, 57217353 edges, 63568 markings/sec, 320 secs
lola: 23838192 markings, 58121055 edges, 72821 markings/sec, 325 secs
lola: 24186979 markings, 59011883 edges, 69757 markings/sec, 330 secs
lola: 24493530 markings, 59925724 edges, 61310 markings/sec, 335 secs
lola: 24798220 markings, 60822889 edges, 60938 markings/sec, 340 secs
lola: 25106190 markings, 61741270 edges, 61594 markings/sec, 345 secs
lola: 25409404 markings, 62639599 edges, 60643 markings/sec, 350 secs
lola: 25717364 markings, 63552253 edges, 61592 markings/sec, 355 secs
lola: 26019027 markings, 64448351 edges, 60333 markings/sec, 360 secs
lola: 26328685 markings, 65363980 edges, 61932 markings/sec, 365 secs
lola: 26632622 markings, 66260928 edges, 60787 markings/sec, 370 secs
lola: 26940975 markings, 67178657 edges, 61671 markings/sec, 375 secs
lola: 27246385 markings, 68078293 edges, 61082 markings/sec, 380 secs
lola: 27552353 markings, 68990365 edges, 61194 markings/sec, 385 secs
lola: 27857150 markings, 69888752 edges, 60959 markings/sec, 390 secs
lola: 28165169 markings, 70806596 edges, 61604 markings/sec, 395 secs
lola: 28471962 markings, 71711094 edges, 61359 markings/sec, 400 secs
lola: 28778365 markings, 72623692 edges, 61281 markings/sec, 405 secs
lola: 29082929 markings, 73522070 edges, 60913 markings/sec, 410 secs
lola: 29387266 markings, 74427342 edges, 60867 markings/sec, 415 secs
lola: 29692925 markings, 75330080 edges, 61132 markings/sec, 420 secs
lola: 29998118 markings, 76229902 edges, 61039 markings/sec, 425 secs
lola: 30304970 markings, 77144060 edges, 61370 markings/sec, 430 secs
lola: 30610367 markings, 78045082 edges, 61079 markings/sec, 435 secs
lola: 30915633 markings, 78952975 edges, 61053 markings/sec, 440 secs
lola: 31222396 markings, 79859182 edges, 61353 markings/sec, 445 secs
lola: 31528743 markings, 80763070 edges, 61269 markings/sec, 450 secs
lola: 31835256 markings, 81675314 edges, 61303 markings/sec, 455 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no yes unknown unknown unknown unknown yes unknown no unknown no unknown no yes unknown
lola: memory consumption: 4933168 KB
lola: time consumption: 793 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 462 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((Section_181 + 1 <= F344)))
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:788
lola: processed formula: A (G ((Section_181 + 1 <= F344)))
lola: processed formula length: 33
lola: 116 rewrites
lola: closed formula file LTLCardinality.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:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (F344 <= Section_181)
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: 2 markings, 1 edges
lola: state equation: write sara problem file to LTLCardinality-10-0.sara
lola: subprocess 11 will run for 555 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((Section_339 <= Section_220))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((Section_339 <= Section_220))))
lola: processed formula length: 40
lola: 114 rewrites
lola: lola: state equation: calling and running sara
closed formula file LTLCardinality.xml
lola: ========================================
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
sara: try reading problem file LTLCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic

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: 93745 markings, 120635 edges
lola: ========================================
lola: subprocess 12 will run for 694 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F384 <= Section_151))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F384 <= Section_151))))
lola: processed formula length: 33
lola: 114 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: add low 370
lola: add low 376
lola: add low 227
lola: add low 351
lola: add low 42
lola: add low 279
lola: add low 134
lola: add low 206
lola: add low 64
lola: add low 301
lola: add low 374
lola: add low 226
lola: add low 347
lola: add low 152
lola: add low 275
lola: add low 131
lola: add low 203
lola: add low 61
lola: add low 299
lola: add low 371
lola: add low 225
lola: add low 78
lola: add low 151
lola: add low 272
lola: add low 127
lola: add low 199
lola: add low 57
lola: add low 296
lola: add low 367
lola: add low 222
lola: add low 77
lola: add low 150
lola: add low 1
lola: add low 125
lola: add low 197
lola: add low 55
lola: add low 293
lola: add low 364
lola: add low 219
lola: add low 75
lola: add low 147
lola: add low 0
lola: add low 123
lola: add low 308
lola: add low 53
lola: add low 291
lola: add low 362
lola: add low 217
lola: add low 73
lola: add low 145
lola: add low 383
lola: add low 232
lola: add low 307
lola: add low 51
lola: add low 289
lola: add low 360
lola: add low 215
lola: add low 71
lola: add low 143
lola: add low 381
lola: add low 231
lola: add low 306
lola: add low 156
lola: add low 287
lola: add low 358
lola: add low 213
lola: add low 69
lola: add low 141
lola: add low 379
lola: add low 230
lola: add low 304
lola: add low 154
lola: add low 286
lola: add low 83
lola: add low 212
lola: add low 68
lola: add low 140
lola: add low 378
lola: add low 229
lola: add low 303
lola: add low 153
lola: add low 6
lola: add low 82
lola: add low 155
lola: add low 4
lola: add low 80
lola: add low 313
lola: add low 165
lola: add low 239
lola: add low 93
lola: add low 328
lola: add low 19
lola: add low 254
lola: add low 3
lola: add low 79
lola: add low 311
lola: add low 162
lola: add low 236
lola: add low 90
lola: add low 326
lola: add low 17
lola: add low 252
lola: add low 2
lola: add low 179
lola: add low 310
lola: add low 160
lola: add low 235
lola: add low 88
lola: add low 323
lola: add low 14
lola: add low 249
lola: add low 105
lola: add low 177
lola: add low 309
lola: add low 159
lola: add low 234
lola: add low 87
lola: add low 321
lola: add low 12
lola: add low 247
lola: add low 102
lola: add low 174
lola: add low 30
lola: add low 158
lola: add low 233
lola: add low 86
lola: add low 320
lola: add low 11
lola: add low 245
lola: add low 99
lola: add low 172
lola: add low 28
lola: add low 157
lola: add low 336
lola: add low 85
lola: add low 319
lola: add low 10
lola: add low 244
lola: add low 98
lola: add low 171
lola: add low 26
lola: add low 260
lola: add low 333
lola: add low 84
lola: add low 318
lola: add low 8
lola: add low 243
lola: add low 97
lola: add low 170
lola: add low 25
lola: add low 259
lola: add low 332
lola: add low 183
lola: add low 317
lola: add low 7
lola: add low 242
lola: add low 96
lola: add low 169
lola: add low 24
lola: add low 258
lola: add low 331
lola: add low 182
lola: add low 316
lola: add low 110
lola: add low 241
lola: add low 95
lola: add low 168
lola: add low 23
lola: add low 257
lola: add low 330
lola: add low 181
lola: add low 36
lola: add low 108
lola: add low 240
lola: add low 94
lola: add low 167
lola: add low 22
lola: add low 256
lola: add low 329
lola: add low 180
lola: add low 35
lola: add low 107
lola: add low 343
lola: add low 34
lola: add low 109
lola: add low 342
lola: add low 193
lola: add low 268
lola: add low 120
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: 12608 markings, 12609 edges
lola: ========================================
lola: subprocess 13 will run for 925 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (((Section_288 <= Section_238) AND (Section_56 <= Section_150)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((Section_288 <= Section_238) AND (Section_56 <= Section_150)))))
lola: processed formula length: 74
lola: 114 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 12645 markings, 12647 edges
lola: ========================================
lola: subprocess 14 will run for 1388 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G ((Section_183 <= F365)) OR (F (G ((Section_183 <= F365))) AND F (G ((Section_3 + 1 <= Section_75))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((Section_183 <= F365)) OR (F (G ((Section_183 <= F365))) AND F (G ((Section_3 + 1 <= Section_75))))))
lola: processed formula length: 108
lola: 114 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 12678 markings, 12678 edges
lola: ========================================
lola: subprocess 15 will run for 2775 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((F13 <= Section_321) U (F174 <= Section_138)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:735
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (((F13 <= Section_321) U (F174 <= Section_138)))
lola: processed formula length: 50
lola: 118 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /ER
lola: Predicate Phi holds until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (X (F (((F187 <= Section_291) OR (G ((F187 <= Section_291)) AND F ((F187 <= Section_291))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F (((F187 <= Section_291) OR (G ((F187 <= Section_291)) AND F ((F187 <= Section_291))))))))
lola: processed formula length: 100
lola: 114 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 245734 markings, 819043 edges, 49147 markings/sec, 0 secs
lola: 491639 markings, 1733701 edges, 49181 markings/sec, 5 secs
lola: 732719 markings, 2627453 edges, 48216 markings/sec, 10 secs
lola: 969154 markings, 3505155 edges, 47287 markings/sec, 15 secs
lola: 1201973 markings, 4368027 edges, 46564 markings/sec, 20 secs
lola: 1458724 markings, 5317804 edges, 51350 markings/sec, 25 secs
lola: 1734479 markings, 6327745 edges, 55151 markings/sec, 30 secs
lola: 1943918 markings, 7238882 edges, 41888 markings/sec, 35 secs
lola: 2144342 markings, 8133268 edges, 40085 markings/sec, 40 secs
lola: 2341563 markings, 9013957 edges, 39444 markings/sec, 45 secs
lola: 2534914 markings, 9876272 edges, 38670 markings/sec, 50 secs
lola: 2724148 markings, 10719487 edges, 37847 markings/sec, 55 secs
lola: 2907379 markings, 11535612 edges, 36646 markings/sec, 60 secs
lola: 3140836 markings, 12572065 edges, 46691 markings/sec, 65 secs
lola: 3366825 markings, 13531689 edges, 45198 markings/sec, 70 secs
lola: 3567656 markings, 14430235 edges, 40166 markings/sec, 75 secs
lola: 3766451 markings, 15317465 edges, 39759 markings/sec, 80 secs
lola: 3961844 markings, 16189864 edges, 39079 markings/sec, 85 secs
lola: 4152174 markings, 17037493 edges, 38066 markings/sec, 90 secs
lola: 4337836 markings, 17864803 edges, 37132 markings/sec, 95 secs
lola: 4526855 markings, 18705709 edges, 37804 markings/sec, 100 secs
lola: 4764974 markings, 19760583 edges, 47624 markings/sec, 105 secs
lola: 4981254 markings, 20683557 edges, 43256 markings/sec, 110 secs
lola: 5181848 markings, 21578516 edges, 40119 markings/sec, 115 secs
lola: 5378576 markings, 22456862 edges, 39346 markings/sec, 120 secs
lola: 5571225 markings, 23317108 edges, 38530 markings/sec, 125 secs
lola: 5759448 markings, 24155540 edges, 37645 markings/sec, 130 secs
lola: 5942260 markings, 24969650 edges, 36562 markings/sec, 135 secs
lola: 6158622 markings, 25931511 edges, 43272 markings/sec, 140 secs
lola: 6376543 markings, 26894185 edges, 43584 markings/sec, 145 secs
lola: 6587259 markings, 27795689 edges, 42143 markings/sec, 150 secs
lola: 6785645 markings, 28681477 edges, 39677 markings/sec, 155 secs
lola: 6980062 markings, 29549785 edges, 38883 markings/sec, 160 secs
lola: 7169589 markings, 30393948 edges, 37905 markings/sec, 165 secs
lola: 7354322 markings, 31217321 edges, 36947 markings/sec, 170 secs
lola: 7556677 markings, 32116578 edges, 40471 markings/sec, 175 secs
lola: 7784006 markings, 33118383 edges, 45466 markings/sec, 180 secs
lola: 7993326 markings, 34017550 edges, 41864 markings/sec, 185 secs
lola: 8192483 markings, 34906699 edges, 39831 markings/sec, 190 secs
lola: 8388081 markings, 35778706 edges, 39120 markings/sec, 195 secs
lola: 8578498 markings, 36628579 edges, 38083 markings/sec, 200 secs
lola: 8763911 markings, 37454262 edges, 37083 markings/sec, 205 secs
lola: 8971806 markings, 38378788 edges, 41579 markings/sec, 210 secs
lola: 9194417 markings, 39360716 edges, 44522 markings/sec, 215 secs
lola: 9403994 markings, 40259165 edges, 41915 markings/sec, 220 secs
lola: 9600797 markings, 41137941 edges, 39361 markings/sec, 225 secs
lola: 9794310 markings, 42002095 edges, 38703 markings/sec, 230 secs
lola: 9982837 markings, 42841984 edges, 37705 markings/sec, 235 secs
lola: 10166014 markings, 43658687 edges, 36635 markings/sec, 240 secs
lola: 10375457 markings, 44589220 edges, 41889 markings/sec, 245 secs
lola: 10593507 markings, 45551327 edges, 43610 markings/sec, 250 secs
lola: 10801451 markings, 46443686 edges, 41589 markings/sec, 255 secs
lola: 10997153 markings, 47317521 edges, 39140 markings/sec, 260 secs
lola: 11189396 markings, 48174611 edges, 38449 markings/sec, 265 secs
lola: 11376345 markings, 49008022 edges, 37390 markings/sec, 270 secs
lola: 11556578 markings, 49809745 edges, 36047 markings/sec, 275 secs
lola: 11785077 markings, 50824056 edges, 45700 markings/sec, 280 secs
lola: 11999973 markings, 51741882 edges, 42979 markings/sec, 285 secs
lola: 12196872 markings, 52620874 edges, 39380 markings/sec, 290 secs
lola: 12390963 markings, 53486366 edges, 38818 markings/sec, 295 secs
lola: 12580092 markings, 54328874 edges, 37826 markings/sec, 300 secs
lola: 12763985 markings, 55147980 edges, 36779 markings/sec, 305 secs
lola: 12984361 markings, 56126477 edges, 44075 markings/sec, 310 secs
lola: 13197493 markings, 57052532 edges, 42626 markings/sec, 315 secs
lola: 13398480 markings, 57931008 edges, 40197 markings/sec, 320 secs
lola: 13592036 markings, 58795605 edges, 38711 markings/sec, 325 secs
lola: 13780925 markings, 59636538 edges, 37778 markings/sec, 330 secs
lola: 13964795 markings, 60456362 edges, 36774 markings/sec, 335 secs
lola: 14162916 markings, 61337281 edges, 39624 markings/sec, 340 secs
lola: 14382344 markings, 62307198 edges, 43886 markings/sec, 345 secs
lola: 14588368 markings, 63191231 edges, 41205 markings/sec, 350 secs
lola: 14781405 markings, 64051501 edges, 38607 markings/sec, 355 secs
lola: 14970035 markings, 64893151 edges, 37726 markings/sec, 360 secs
lola: 15153936 markings, 65711725 edges, 36780 markings/sec, 365 secs
lola: 15356441 markings, 66612033 edges, 40501 markings/sec, 370 secs
lola: 15571325 markings, 67558942 edges, 42977 markings/sec, 375 secs
lola: 15775195 markings, 68437670 edges, 40774 markings/sec, 380 secs
lola: 15969519 markings, 69304496 edges, 38865 markings/sec, 385 secs
lola: 16159245 markings, 70149811 edges, 37945 markings/sec, 390 secs
lola: 16343200 markings, 70969163 edges, 36791 markings/sec, 395 secs
lola: 16562418 markings, 71943290 edges, 43844 markings/sec, 400 secs
lola: 16774858 markings, 72853294 edges, 42488 markings/sec, 405 secs
lola: 16970603 markings, 73722904 edges, 39149 markings/sec, 410 secs
lola: 17160688 markings, 74570802 edges, 38017 markings/sec, 415 secs
lola: 17346447 markings, 75398413 edges, 37152 markings/sec, 420 secs
lola: 17525586 markings, 76195636 edges, 35828 markings/sec, 425 secs
lola: 17748683 markings, 77185279 edges, 44619 markings/sec, 430 secs
lola: 17956820 markings, 78075965 edges, 41627 markings/sec, 435 secs
lola: 18149448 markings, 78934913 edges, 38526 markings/sec, 440 secs
lola: 18336902 markings, 79771411 edges, 37491 markings/sec, 445 secs
lola: 18518120 markings, 80577392 edges, 36244 markings/sec, 450 secs
lola: 18732402 markings, 81529565 edges, 42856 markings/sec, 455 secs
lola: 18938596 markings, 82423275 edges, 41239 markings/sec, 460 secs
lola: 19135860 markings, 83290193 edges, 39453 markings/sec, 465 secs
lola: 19325275 markings, 84134874 edges, 37883 markings/sec, 470 secs
lola: 19508618 markings, 84951552 edges, 36669 markings/sec, 475 secs
lola: 19719646 markings, 85888809 edges, 42206 markings/sec, 480 secs
lola: 19923972 markings, 86791266 edges, 40865 markings/sec, 485 secs
lola: 20125053 markings, 87657823 edges, 40216 markings/sec, 490 secs
lola: 20313832 markings, 88498788 edges, 37756 markings/sec, 495 secs
lola: 20496630 markings, 89313937 edges, 36560 markings/sec, 500 secs
lola: 20697216 markings, 90205517 edges, 40117 markings/sec, 505 secs
lola: 20905601 markings, 91123242 edges, 41677 markings/sec, 510 secs
lola: 21105402 markings, 91987010 edges, 39960 markings/sec, 515 secs
lola: 21294519 markings, 92829613 edges, 37823 markings/sec, 520 secs
lola: 21476244 markings, 93638747 edges, 36345 markings/sec, 525 secs
lola: 21687032 markings, 94575298 edges, 42158 markings/sec, 530 secs
lola: 21889250 markings, 95457297 edges, 40444 markings/sec, 535 secs
lola: 22086397 markings, 96318730 edges, 39429 markings/sec, 540 secs
lola: 22274034 markings, 97155364 edges, 37527 markings/sec, 545 secs
lola: 22458708 markings, 97976349 edges, 36935 markings/sec, 550 secs
lola: 22673877 markings, 98930718 edges, 43034 markings/sec, 555 secs
lola: 22878717 markings, 99811014 edges, 40968 markings/sec, 560 secs
lola: 23068866 markings, 100657956 edges, 38030 markings/sec, 565 secs
lola: 23252472 markings, 101475508 edges, 36721 markings/sec, 570 secs
lola: 23455282 markings, 102377625 edges, 40562 markings/sec, 575 secs
lola: 23657367 markings, 103268423 edges, 40417 markings/sec, 580 secs
lola: 23855570 markings, 104125320 edges, 39641 markings/sec, 585 secs
lola: 24041804 markings, 104954452 edges, 37247 markings/sec, 590 secs
lola: 24232129 markings, 105801434 edges, 38065 markings/sec, 595 secs
lola: 24439040 markings, 106717631 edges, 41382 markings/sec, 600 secs
lola: 24639891 markings, 107582284 edges, 40170 markings/sec, 605 secs
lola: 24827971 markings, 108420930 edges, 37616 markings/sec, 610 secs
lola: 25016785 markings, 109260829 edges, 37763 markings/sec, 615 secs
lola: 25226056 markings, 110187727 edges, 41854 markings/sec, 620 secs
lola: 25427185 markings, 111053872 edges, 40226 markings/sec, 625 secs
lola: 25613707 markings, 111883831 edges, 37304 markings/sec, 630 secs
lola: 25796567 markings, 112698070 edges, 36572 markings/sec, 635 secs
lola: 26005488 markings, 113624289 edges, 41784 markings/sec, 640 secs
lola: 26205547 markings, 114484947 edges, 40012 markings/sec, 645 secs
lola: 26390752 markings, 115310637 edges, 37041 markings/sec, 650 secs
lola: 26582315 markings, 116162030 edges, 38313 markings/sec, 655 secs
lola: 26783567 markings, 117052885 edges, 40250 markings/sec, 660 secs
lola: 26981525 markings, 117907719 edges, 39592 markings/sec, 665 secs
lola: 27166761 markings, 118731406 edges, 37047 markings/sec, 670 secs
lola: 27373969 markings, 119652114 edges, 41442 markings/sec, 675 secs
lola: 27570736 markings, 120507735 edges, 39353 markings/sec, 680 secs
lola: 27760007 markings, 121340841 edges, 37854 markings/sec, 685 secs
lola: 27941850 markings, 122149084 edges, 36369 markings/sec, 690 secs
lola: 28147576 markings, 123062252 edges, 41145 markings/sec, 695 secs
lola: 28345013 markings, 123911814 edges, 39487 markings/sec, 700 secs
lola: 28527743 markings, 124725767 edges, 36546 markings/sec, 705 secs
lola: 28731675 markings, 125631663 edges, 40786 markings/sec, 710 secs
lola: 28926006 markings, 126475137 edges, 38866 markings/sec, 715 secs
lola: 29113009 markings, 127300335 edges, 37401 markings/sec, 720 secs
lola: 29312690 markings, 128187316 edges, 39936 markings/sec, 725 secs
lola: 29506140 markings, 129040215 edges, 38690 markings/sec, 730 secs
lola: 29697269 markings, 129870734 edges, 38226 markings/sec, 735 secs
lola: 29888175 markings, 130719233 edges, 38181 markings/sec, 740 secs
lola: 30083482 markings, 131583645 edges, 39061 markings/sec, 745 secs
lola: 30276800 markings, 132419010 edges, 38664 markings/sec, 750 secs
lola: 30469114 markings, 133274453 edges, 38463 markings/sec, 755 secs
lola: 30661368 markings, 134124749 edges, 38451 markings/sec, 760 secs
lola: 30853463 markings, 134956000 edges, 38419 markings/sec, 765 secs
lola: 31053196 markings, 135844569 edges, 39947 markings/sec, 770 secs
lola: 31242396 markings, 136678061 edges, 37840 markings/sec, 775 secs
lola: 31430365 markings, 137494959 edges, 37594 markings/sec, 780 secs
lola: 31631457 markings, 138388049 edges, 40218 markings/sec, 785 secs
lola: 31822690 markings, 139211925 edges, 38247 markings/sec, 790 secs
lola: 32010723 markings, 140048854 edges, 37607 markings/sec, 795 secs
lola: 32204170 markings, 140905843 edges, 38689 markings/sec, 800 secs
lola: 32394603 markings, 141730078 edges, 38087 markings/sec, 805 secs
lola: 32595018 markings, 142620329 edges, 40083 markings/sec, 810 secs
lola: 32784765 markings, 143438733 edges, 37949 markings/sec, 815 secs
lola: 32975385 markings, 144287653 edges, 38124 markings/sec, 820 secs
lola: 33164133 markings, 145122359 edges, 37750 markings/sec, 825 secs
lola: 33355229 markings, 145951504 edges, 38219 markings/sec, 830 secs
lola: 33548742 markings, 146809409 edges, 38703 markings/sec, 835 secs
lola: 33737108 markings, 147624783 edges, 37673 markings/sec, 840 secs
lola: 33932681 markings, 148492584 edges, 39115 markings/sec, 845 secs
lola: 34119528 markings, 149300797 edges, 37369 markings/sec, 850 secs
lola: 34313410 markings, 150161889 edges, 38776 markings/sec, 855 secs
lola: 34496882 markings, 150955549 edges, 36694 markings/sec, 860 secs
lola: 34689761 markings, 151811643 edges, 38576 markings/sec, 865 secs
lola: 34875679 markings, 152616950 edges, 37184 markings/sec, 870 secs
lola: 35064658 markings, 153454693 edges, 37796 markings/sec, 875 secs
lola: 35255312 markings, 154281620 edges, 38131 markings/sec, 880 secs
lola: 35437938 markings, 155091035 edges, 36525 markings/sec, 885 secs
lola: 35633267 markings, 155939417 edges, 39066 markings/sec, 890 secs
lola: 35808225 markings, 156710317 edges, 34992 markings/sec, 895 secs
lola: 36052948 markings, 157781756 edges, 48945 markings/sec, 900 secs
lola: 36321738 markings, 158956464 edges, 53758 markings/sec, 905 secs
lola: 36593717 markings, 160144561 edges, 54396 markings/sec, 910 secs
lola: 36867555 markings, 161341251 edges, 54768 markings/sec, 915 secs
lola: 37142846 markings, 162543140 edges, 55058 markings/sec, 920 secs
lola: 37418659 markings, 163738718 edges, 55163 markings/sec, 925 secs
lola: 37691721 markings, 164933217 edges, 54612 markings/sec, 930 secs
lola: 37961887 markings, 166110554 edges, 54033 markings/sec, 935 secs
lola: 38217368 markings, 167220131 edges, 51096 markings/sec, 940 secs
lola: 38448862 markings, 168220699 edges, 46299 markings/sec, 945 secs
lola: 38676039 markings, 169212131 edges, 45435 markings/sec, 950 secs
lola: 38906343 markings, 170208794 edges, 46061 markings/sec, 955 secs
lola: 39139302 markings, 171210743 edges, 46592 markings/sec, 960 secs
lola: 39372887 markings, 172216676 edges, 46717 markings/sec, 965 secs
lola: 39609094 markings, 173230359 edges, 47241 markings/sec, 970 secs
lola: 39852127 markings, 174259408 edges, 48607 markings/sec, 975 secs
lola: 40081855 markings, 175216410 edges, 45946 markings/sec, 980 secs
lola: 40284110 markings, 176120575 edges, 40451 markings/sec, 985 secs
lola: 40483423 markings, 177011373 edges, 39863 markings/sec, 990 secs
lola: 40679797 markings, 177888065 edges, 39275 markings/sec, 995 secs
lola: 40873824 markings, 178753120 edges, 38805 markings/sec, 1000 secs
lola: 41063829 markings, 179599848 edges, 38001 markings/sec, 1005 secs
lola: 41249207 markings, 180425511 edges, 37076 markings/sec, 1010 secs
lola: 41480969 markings, 181454706 edges, 46352 markings/sec, 1015 secs
lola: 41710381 markings, 182428740 edges, 45882 markings/sec, 1020 secs
lola: 41913224 markings, 183335170 edges, 40569 markings/sec, 1025 secs
lola: 42112982 markings, 184225741 edges, 39952 markings/sec, 1030 secs
lola: 42309530 markings, 185103471 edges, 39310 markings/sec, 1035 secs
lola: 42503498 markings, 185969971 edges, 38794 markings/sec, 1040 secs
lola: 42694154 markings, 186820423 edges, 38131 markings/sec, 1045 secs
lola: 42881528 markings, 187654507 edges, 37475 markings/sec, 1050 secs
lola: 43088093 markings, 188572793 edges, 41313 markings/sec, 1055 secs
lola: 43326598 markings, 189615028 edges, 47701 markings/sec, 1060 secs
lola: 43548367 markings, 190530254 edges, 44354 markings/sec, 1065 secs
lola: 43750805 markings, 191433505 edges, 40488 markings/sec, 1070 secs
lola: 43948470 markings, 192315926 edges, 39533 markings/sec, 1075 secs
lola: 44142586 markings, 193183018 edges, 38823 markings/sec, 1080 secs
lola: 44332665 markings, 194029763 edges, 38016 markings/sec, 1085 secs
lola: 44517588 markings, 194853350 edges, 36985 markings/sec, 1090 secs
lola: 44730125 markings, 195798149 edges, 42507 markings/sec, 1095 secs
lola: 44945881 markings, 196750941 edges, 43151 markings/sec, 1100 secs
lola: 45131556 markings, 197663949 edges, 37135 markings/sec, 1105 secs
lola: 45303005 markings, 198558552 edges, 34290 markings/sec, 1110 secs
lola: 45472207 markings, 199441193 edges, 33840 markings/sec, 1115 secs
lola: 45637823 markings, 200303759 edges, 33123 markings/sec, 1120 secs
lola: 45800458 markings, 201151638 edges, 32527 markings/sec, 1125 secs
lola: 45958962 markings, 201976714 edges, 31701 markings/sec, 1130 secs
lola: 46103427 markings, 202727986 edges, 28893 markings/sec, 1135 secs
lola: 46292161 markings, 203707512 edges, 37747 markings/sec, 1140 secs
lola: 46474312 markings, 204646823 edges, 36430 markings/sec, 1145 secs
lola: 46654555 markings, 205547369 edges, 36049 markings/sec, 1150 secs
lola: 46824366 markings, 206434860 edges, 33962 markings/sec, 1155 secs
lola: 46992116 markings, 207307974 edges, 33550 markings/sec, 1160 secs
lola: 47156218 markings, 208164693 edges, 32820 markings/sec, 1165 secs
lola: 47316586 markings, 209000057 edges, 32074 markings/sec, 1170 secs
lola: 47473303 markings, 209815836 edges, 31343 markings/sec, 1175 secs
lola: 47624814 markings, 210603861 edges, 30302 markings/sec, 1180 secs
lola: 47804662 markings, 211538302 edges, 35970 markings/sec, 1185 secs
lola: 47988917 markings, 212489574 edges, 36851 markings/sec, 1190 secs
lola: 48167172 markings, 213379236 edges, 35651 markings/sec, 1195 secs
lola: 48337534 markings, 214267444 edges, 34072 markings/sec, 1200 secs
lola: 48504961 markings, 215139953 edges, 33485 markings/sec, 1205 secs
lola: 48668675 markings, 215993776 edges, 32743 markings/sec, 1210 secs
lola: 48828463 markings, 216825322 edges, 31958 markings/sec, 1215 secs
lola: 48984708 markings, 217638846 edges, 31249 markings/sec, 1220 secs
lola: 49134686 markings, 218418247 edges, 29996 markings/sec, 1225 secs
lola: 49330463 markings, 219434280 edges, 39155 markings/sec, 1230 secs
lola: 49509185 markings, 220340017 edges, 35744 markings/sec, 1235 secs
lola: 49683748 markings, 221230969 edges, 34913 markings/sec, 1240 secs
lola: 49852555 markings, 222111834 edges, 33761 markings/sec, 1245 secs
lola: 50018106 markings, 222974016 edges, 33110 markings/sec, 1250 secs
lola: 50180346 markings, 223819820 edges, 32448 markings/sec, 1255 secs
lola: 50338232 markings, 224641554 edges, 31577 markings/sec, 1260 secs
lola: 50490080 markings, 225431860 edges, 30370 markings/sec, 1265 secs
lola: 50677880 markings, 226406448 edges, 37560 markings/sec, 1270 secs
lola: 50855619 markings, 227322839 edges, 35548 markings/sec, 1275 secs
lola: 51032955 markings, 228210520 edges, 35467 markings/sec, 1280 secs
lola: 51200080 markings, 229082588 edges, 33425 markings/sec, 1285 secs
lola: 51366049 markings, 229946715 edges, 33194 markings/sec, 1290 secs
lola: 51527402 markings, 230787974 edges, 32271 markings/sec, 1295 secs
lola: 51684987 markings, 231609291 edges, 31517 markings/sec, 1300 secs
lola: 51837924 markings, 232404731 edges, 30587 markings/sec, 1305 secs
lola: 52006877 markings, 233282584 edges, 33791 markings/sec, 1310 secs
lola: 52191212 markings, 234236796 edges, 36867 markings/sec, 1315 secs
lola: 52369453 markings, 235124240 edges, 35648 markings/sec, 1320 secs
lola: 52536707 markings, 235997049 edges, 33451 markings/sec, 1325 secs
lola: 52701643 markings, 236857427 edges, 32987 markings/sec, 1330 secs
lola: 52863130 markings, 237697373 edges, 32297 markings/sec, 1335 secs
lola: 53020344 markings, 238516316 edges, 31443 markings/sec, 1340 secs
lola: 53172171 markings, 239306181 edges, 30365 markings/sec, 1345 secs
lola: 53351174 markings, 240236151 edges, 35801 markings/sec, 1350 secs
lola: 53527940 markings, 241149224 edges, 35353 markings/sec, 1355 secs
lola: 53703437 markings, 242028378 edges, 35099 markings/sec, 1360 secs
lola: 53869723 markings, 242894455 edges, 33257 markings/sec, 1365 secs
lola: 54033929 markings, 243750311 edges, 32841 markings/sec, 1370 secs
lola: 54194210 markings, 244585698 edges, 32056 markings/sec, 1375 secs
lola: 54350157 markings, 245396525 edges, 31189 markings/sec, 1380 secs
lola: 54503873 markings, 246195648 edges, 30743 markings/sec, 1385 secs
lola: 54693998 markings, 247182476 edges, 38025 markings/sec, 1390 secs
lola: 54871154 markings, 248070611 edges, 35431 markings/sec, 1395 secs
lola: 55039560 markings, 248942366 edges, 33681 markings/sec, 1400 secs
lola: 55203372 markings, 249795443 edges, 32762 markings/sec, 1405 secs
lola: 55364352 markings, 250633927 edges, 32196 markings/sec, 1410 secs
lola: 55520917 markings, 251448918 edges, 31313 markings/sec, 1415 secs
lola: 55672673 markings, 252238458 edges, 30351 markings/sec, 1420 secs
lola: 55843894 markings, 253128511 edges, 34244 markings/sec, 1425 secs
lola: 56021043 markings, 254044367 edges, 35430 markings/sec, 1430 secs
lola: 56194489 markings, 254911004 edges, 34689 markings/sec, 1435 secs
lola: 56359916 markings, 255772592 edges, 33085 markings/sec, 1440 secs
lola: 56521260 markings, 256612743 edges, 32269 markings/sec, 1445 secs
lola: 56678465 markings, 257432793 edges, 31441 markings/sec, 1450 secs
lola: 56831404 markings, 258228288 edges, 30588 markings/sec, 1455 secs
lola: 56996804 markings, 259087387 edges, 33080 markings/sec, 1460 secs
lola: 57174691 markings, 260008659 edges, 35577 markings/sec, 1465 secs
lola: 57348909 markings, 260878950 edges, 34844 markings/sec, 1470 secs
lola: 57514485 markings, 261743066 edges, 33115 markings/sec, 1475 secs
lola: 57676888 markings, 262589265 edges, 32481 markings/sec, 1480 secs
lola: 57835590 markings, 263415383 edges, 31740 markings/sec, 1485 secs
lola: 57989122 markings, 264214133 edges, 30706 markings/sec, 1490 secs
lola: 58164532 markings, 265124892 edges, 35082 markings/sec, 1495 secs
lola: 58338093 markings, 266021672 edges, 34712 markings/sec, 1500 secs
lola: 58511143 markings, 266889137 edges, 34610 markings/sec, 1505 secs
lola: 58674991 markings, 267742581 edges, 32770 markings/sec, 1510 secs
lola: 58834573 markings, 268574289 edges, 31916 markings/sec, 1515 secs
lola: 58990254 markings, 269384626 edges, 31136 markings/sec, 1520 secs
lola: 59140123 markings, 270164107 edges, 29974 markings/sec, 1525 secs
lola: 59318544 markings, 271090440 edges, 35684 markings/sec, 1530 secs
lola: 59487144 markings, 271958279 edges, 33720 markings/sec, 1535 secs
lola: 59657716 markings, 272817185 edges, 34114 markings/sec, 1540 secs
lola: 59819861 markings, 273661809 edges, 32429 markings/sec, 1545 secs
lola: 59977614 markings, 274482930 edges, 31551 markings/sec, 1550 secs
lola: 60130819 markings, 275280764 edges, 30641 markings/sec, 1555 secs
lola: 60290576 markings, 276111113 edges, 31951 markings/sec, 1560 secs
lola: 60467056 markings, 277025441 edges, 35296 markings/sec, 1565 secs
lola: 60638786 markings, 277883900 edges, 34346 markings/sec, 1570 secs
lola: 60802363 markings, 278736167 edges, 32715 markings/sec, 1575 secs
lola: 60962121 markings, 279567322 edges, 31952 markings/sec, 1580 secs
lola: 61117406 markings, 280376304 edges, 31057 markings/sec, 1585 secs
lola: 61271393 markings, 281177172 edges, 30797 markings/sec, 1590 secs
lola: 61451352 markings, 282110251 edges, 35992 markings/sec, 1595 secs
lola: 61622542 markings, 282967204 edges, 34238 markings/sec, 1600 secs
lola: 61786579 markings, 283820055 edges, 32807 markings/sec, 1605 secs
lola: 61946061 markings, 284649788 edges, 31896 markings/sec, 1610 secs
lola: 62101182 markings, 285457727 edges, 31024 markings/sec, 1615 secs
lola: 62249091 markings, 286227175 edges, 29582 markings/sec, 1620 secs
lola: 62429193 markings, 287161236 edges, 36020 markings/sec, 1625 secs
lola: 62593590 markings, 288010224 edges, 32879 markings/sec, 1630 secs
lola: 62762239 markings, 288859592 edges, 33730 markings/sec, 1635 secs
lola: 62922227 markings, 289692099 edges, 31998 markings/sec, 1640 secs
lola: 63076272 markings, 290493605 edges, 30809 markings/sec, 1645 secs
lola: 63231488 markings, 291300402 edges, 31043 markings/sec, 1650 secs
lola: 63406506 markings, 292208138 edges, 35004 markings/sec, 1655 secs
lola: 63575294 markings, 293051489 edges, 33758 markings/sec, 1660 secs
lola: 63737711 markings, 293898056 edges, 32483 markings/sec, 1665 secs
lola: 63896883 markings, 294727164 edges, 31834 markings/sec, 1670 secs
lola: 64049804 markings, 295522318 edges, 30584 markings/sec, 1675 secs
lola: 64222030 markings, 296417144 edges, 34445 markings/sec, 1680 secs
lola: 64386809 markings, 297268608 edges, 32956 markings/sec, 1685 secs
lola: 64555494 markings, 298117113 edges, 33737 markings/sec, 1690 secs
lola: 64715169 markings, 298948015 edges, 31935 markings/sec, 1695 secs
lola: 64870305 markings, 299755983 edges, 31027 markings/sec, 1700 secs
lola: 65022745 markings, 300548375 edges, 30488 markings/sec, 1705 secs
lola: 65197874 markings, 301456367 edges, 35026 markings/sec, 1710 secs
lola: 65363796 markings, 302292768 edges, 33184 markings/sec, 1715 secs
lola: 65525835 markings, 303129725 edges, 32408 markings/sec, 1720 secs
lola: 65682601 markings, 303945948 edges, 31353 markings/sec, 1725 secs
lola: 65832092 markings, 304722719 edges, 29898 markings/sec, 1730 secs
lola: 66007462 markings, 305633181 edges, 35074 markings/sec, 1735 secs
lola: 66167472 markings, 306459580 edges, 32002 markings/sec, 1740 secs
lola: 66333582 markings, 307298200 edges, 33222 markings/sec, 1745 secs
lola: 66490561 markings, 308115677 edges, 31396 markings/sec, 1750 secs
lola: 66643022 markings, 308908188 edges, 30492 markings/sec, 1755 secs
lola: 66818040 markings, 309815636 edges, 35004 markings/sec, 1760 secs
lola: 66979886 markings, 310642163 edges, 32369 markings/sec, 1765 secs
lola: 67142841 markings, 311474431 edges, 32591 markings/sec, 1770 secs
lola: 67297987 markings, 312281077 edges, 31029 markings/sec, 1775 secs
lola: 67448817 markings, 313064724 edges, 30166 markings/sec, 1780 secs
lola: 67620758 markings, 313957507 edges, 34388 markings/sec, 1785 secs
lola: 67780721 markings, 314773270 edges, 31993 markings/sec, 1790 secs
lola: 67942526 markings, 315599754 edges, 32361 markings/sec, 1795 secs
lola: 68095377 markings, 316394850 edges, 30570 markings/sec, 1800 secs
lola: 68256494 markings, 317232678 edges, 32223 markings/sec, 1805 secs
lola: 68419361 markings, 318075999 edges, 32573 markings/sec, 1810 secs
lola: 68582902 markings, 318898553 edges, 32708 markings/sec, 1815 secs
lola: 68739966 markings, 319715436 edges, 31413 markings/sec, 1820 secs
lola: 68892928 markings, 320510630 edges, 30592 markings/sec, 1825 secs
lola: 69063669 markings, 321396799 edges, 34148 markings/sec, 1830 secs
lola: 69222504 markings, 322206652 edges, 31767 markings/sec, 1835 secs
lola: 69383119 markings, 323028458 edges, 32123 markings/sec, 1840 secs
lola: 69534564 markings, 323815991 edges, 30289 markings/sec, 1845 secs
lola: 69698527 markings, 324668076 edges, 32793 markings/sec, 1850 secs
lola: 69855993 markings, 325482007 edges, 31493 markings/sec, 1855 secs
lola: 70017710 markings, 326297543 edges, 32343 markings/sec, 1860 secs
lola: 70170192 markings, 327090738 edges, 30496 markings/sec, 1865 secs
lola: 70331759 markings, 327930056 edges, 32313 markings/sec, 1870 secs
lola: 70489973 markings, 328748776 edges, 31643 markings/sec, 1875 secs
lola: 70650808 markings, 329558826 edges, 32167 markings/sec, 1880 secs
lola: 70803833 markings, 330355051 edges, 30605 markings/sec, 1885 secs
lola: 70967259 markings, 331204380 edges, 32685 markings/sec, 1890 secs
lola: 71123598 markings, 332012701 edges, 31268 markings/sec, 1895 secs
lola: 71283931 markings, 332821934 edges, 32067 markings/sec, 1900 secs
lola: 71435179 markings, 333607819 edges, 30250 markings/sec, 1905 secs
lola: 71598900 markings, 334458715 edges, 32744 markings/sec, 1910 secs
lola: 71752110 markings, 335250707 edges, 30642 markings/sec, 1915 secs
lola: 71911363 markings, 336054677 edges, 31851 markings/sec, 1920 secs
lola: 72062819 markings, 336841666 edges, 30291 markings/sec, 1925 secs
lola: 72225852 markings, 337687419 edges, 32607 markings/sec, 1930 secs
lola: 72378043 markings, 338466569 edges, 30438 markings/sec, 1935 secs
lola: 72534779 markings, 339267301 edges, 31347 markings/sec, 1940 secs
lola: 72696180 markings, 340106161 edges, 32280 markings/sec, 1945 secs
lola: 72849350 markings, 340898250 edges, 30634 markings/sec, 1950 secs
lola: 73007136 markings, 341694604 edges, 31557 markings/sec, 1955 secs
lola: 73160320 markings, 342491204 edges, 30637 markings/sec, 1960 secs
lola: 73320757 markings, 343323646 edges, 32087 markings/sec, 1965 secs
lola: 73474589 markings, 344100711 edges, 30766 markings/sec, 1970 secs
lola: 73627138 markings, 344890834 edges, 30510 markings/sec, 1975 secs
lola: 73788619 markings, 345729069 edges, 32296 markings/sec, 1980 secs
lola: 73937304 markings, 346495053 edges, 29737 markings/sec, 1985 secs
lola: 74092702 markings, 347284148 edges, 31080 markings/sec, 1990 secs
lola: 74254614 markings, 348124638 edges, 32382 markings/sec, 1995 secs
lola: 74403477 markings, 348891736 edges, 29773 markings/sec, 2000 secs
lola: 74557695 markings, 349674711 edges, 30844 markings/sec, 2005 secs
lola: 74718071 markings, 350507568 edges, 32075 markings/sec, 2010 secs
lola: 74864871 markings, 351263130 edges, 29360 markings/sec, 2015 secs
lola: 75020883 markings, 352056879 edges, 31202 markings/sec, 2020 secs
lola: 75177030 markings, 352866506 edges, 31229 markings/sec, 2025 secs
lola: 75326027 markings, 353621977 edges, 29799 markings/sec, 2030 secs
lola: 75483253 markings, 354434876 edges, 31445 markings/sec, 2035 secs
lola: 75632715 markings, 355208828 edges, 29892 markings/sec, 2040 secs
lola: 75783240 markings, 355970225 edges, 30105 markings/sec, 2045 secs
lola: 75940345 markings, 356785661 edges, 31421 markings/sec, 2050 secs
lola: 76083166 markings, 357522800 edges, 28564 markings/sec, 2055 secs
lola: 76238920 markings, 358313921 edges, 31151 markings/sec, 2060 secs
lola: 76386747 markings, 359080285 edges, 29565 markings/sec, 2065 secs
lola: 76535995 markings, 359834439 edges, 29850 markings/sec, 2070 secs
lola: 76688683 markings, 360627172 edges, 30538 markings/sec, 2075 secs
lola: 76832105 markings, 361360996 edges, 28684 markings/sec, 2080 secs
lola: 76989017 markings, 362165410 edges, 31382 markings/sec, 2085 secs
lola: 77129375 markings, 362891184 edges, 28072 markings/sec, 2090 secs
lola: 77283797 markings, 363675581 edges, 30884 markings/sec, 2095 secs
lola: 77424380 markings, 364402562 edges, 28117 markings/sec, 2100 secs
lola: 77611696 markings, 365357986 edges, 37463 markings/sec, 2105 secs
lola: 77820022 markings, 366419982 edges, 41665 markings/sec, 2110 secs
lola: 78042696 markings, 367570784 edges, 44535 markings/sec, 2115 secs
lola: 78269822 markings, 368732830 edges, 45425 markings/sec, 2120 secs
lola: 78498180 markings, 369900965 edges, 45672 markings/sec, 2125 secs
lola: 78727643 markings, 371073749 edges, 45893 markings/sec, 2130 secs
lola: 78953935 markings, 372230676 edges, 45258 markings/sec, 2135 secs
lola: 79180949 markings, 373391561 edges, 45403 markings/sec, 2140 secs
lola: 79407885 markings, 374551114 edges, 45387 markings/sec, 2145 secs
lola: 79634036 markings, 375696698 edges, 45230 markings/sec, 2150 secs
lola: 79847877 markings, 376790764 edges, 42768 markings/sec, 2155 secs
lola: 80035629 markings, 377748891 edges, 37550 markings/sec, 2160 secs
lola: 80223570 markings, 378707076 edges, 37588 markings/sec, 2165 secs
lola: 80412836 markings, 379666471 edges, 37853 markings/sec, 2170 secs
lola: 80602786 markings, 380628613 edges, 37990 markings/sec, 2175 secs
lola: 80794172 markings, 381598373 edges, 38277 markings/sec, 2180 secs
lola: 80986664 markings, 382575485 edges, 38498 markings/sec, 2185 secs
lola: 81181631 markings, 383558869 edges, 38993 markings/sec, 2190 secs
lola: 81366473 markings, 384486534 edges, 36968 markings/sec, 2195 secs
lola: 81574711 markings, 385511798 edges, 41648 markings/sec, 2200 secs
lola: 81756127 markings, 386414714 edges, 36283 markings/sec, 2205 secs
lola: 81927488 markings, 387308044 edges, 34272 markings/sec, 2210 secs
lola: 82095449 markings, 388183593 edges, 33592 markings/sec, 2215 secs
lola: 82260313 markings, 389043846 edges, 32973 markings/sec, 2220 secs
lola: 82423150 markings, 389893815 edges, 32567 markings/sec, 2225 secs
lola: 82582567 markings, 390722880 edges, 31883 markings/sec, 2230 secs
lola: 82738416 markings, 391534456 edges, 31170 markings/sec, 2235 secs
lola: 82888396 markings, 392314662 edges, 29996 markings/sec, 2240 secs
lola: 83091411 markings, 393368342 edges, 40603 markings/sec, 2245 secs
lola: 83286214 markings, 394334763 edges, 38961 markings/sec, 2250 secs
lola: 83456480 markings, 395224079 edges, 34053 markings/sec, 2255 secs
lola: 83625225 markings, 396103650 edges, 33749 markings/sec, 2260 secs
lola: 83791254 markings, 396969456 edges, 33206 markings/sec, 2265 secs
lola: 83955432 markings, 397826107 edges, 32836 markings/sec, 2270 secs
lola: 84116966 markings, 398667515 edges, 32307 markings/sec, 2275 secs
lola: 84275131 markings, 399490570 edges, 31633 markings/sec, 2280 secs
lola: 84429965 markings, 400296932 edges, 30967 markings/sec, 2285 secs
lola: 84588542 markings, 401121780 edges, 31715 markings/sec, 2290 secs
lola: 84794376 markings, 402188547 edges, 41167 markings/sec, 2295 secs
lola: 85005683 markings, 403135475 edges, 42261 markings/sec, 2300 secs
lola: 85209168 markings, 404042781 edges, 40697 markings/sec, 2305 secs
lola: 85406789 markings, 404926827 edges, 39524 markings/sec, 2310 secs
lola: 85602029 markings, 405796897 edges, 39048 markings/sec, 2315 secs
lola: 85793019 markings, 406648795 edges, 38198 markings/sec, 2320 secs
lola: 85979660 markings, 407480807 edges, 37328 markings/sec, 2325 secs
lola: 86160645 markings, 408286078 edges, 36197 markings/sec, 2330 secs
lola: 86393301 markings, 409318165 edges, 46531 markings/sec, 2335 secs
lola: 86595481 markings, 410235703 edges, 40436 markings/sec, 2340 secs
lola: 86768506 markings, 411138094 edges, 34605 markings/sec, 2345 secs
lola: 86938597 markings, 412025204 edges, 34018 markings/sec, 2350 secs
lola: 87107293 markings, 412903582 edges, 33739 markings/sec, 2355 secs
lola: 87271673 markings, 413760373 edges, 32876 markings/sec, 2360 secs
lola: 87432812 markings, 414600775 edges, 32228 markings/sec, 2365 secs
lola: 87590225 markings, 415419648 edges, 31483 markings/sec, 2370 secs
lola: 87758112 markings, 416292733 edges, 33577 markings/sec, 2375 secs
lola: 87953565 markings, 417304291 edges, 39091 markings/sec, 2380 secs
lola: 88137316 markings, 418218597 edges, 36750 markings/sec, 2385 secs
lola: 88308763 markings, 419112027 edges, 34289 markings/sec, 2390 secs
lola: 88477016 markings, 419989909 edges, 33651 markings/sec, 2395 secs
lola: 88643929 markings, 420860049 edges, 33383 markings/sec, 2400 secs
lola: 88806495 markings, 421707703 edges, 32513 markings/sec, 2405 secs
lola: 88966295 markings, 422539256 edges, 31960 markings/sec, 2410 secs
lola: 89121395 markings, 423345491 edges, 31020 markings/sec, 2415 secs
lola: 89283396 markings, 424188930 edges, 32400 markings/sec, 2420 secs
lola: 89478621 markings, 425200241 edges, 39045 markings/sec, 2425 secs
lola: 89661451 markings, 426107969 edges, 36566 markings/sec, 2430 secs
lola: 89832636 markings, 427001035 edges, 34237 markings/sec, 2435 secs
lola: 90000553 markings, 427877238 edges, 33583 markings/sec, 2440 secs
lola: 90166220 markings, 428740099 edges, 33133 markings/sec, 2445 secs
lola: 90328550 markings, 429585906 edges, 32466 markings/sec, 2450 secs
lola: 90486944 markings, 430410484 edges, 31679 markings/sec, 2455 secs
lola: 90639856 markings, 431206361 edges, 30582 markings/sec, 2460 secs
lola: 90829428 markings, 432190395 edges, 37914 markings/sec, 2465 secs
lola: 91008060 markings, 433111181 edges, 35726 markings/sec, 2470 secs
lola: 91186531 markings, 434004755 edges, 35694 markings/sec, 2475 secs
lola: 91355068 markings, 434884383 edges, 33707 markings/sec, 2480 secs
lola: 91522485 markings, 435756280 edges, 33483 markings/sec, 2485 secs
lola: 91685532 markings, 436605519 edges, 32609 markings/sec, 2490 secs
lola: 91844793 markings, 437435257 edges, 31852 markings/sec, 2495 secs
lola: 91999416 markings, 438240756 edges, 30925 markings/sec, 2500 secs
lola: 92175574 markings, 439155343 edges, 35232 markings/sec, 2505 secs
lola: 92360892 markings, 440114147 edges, 37064 markings/sec, 2510 secs
lola: 92539749 markings, 441005605 edges, 35771 markings/sec, 2515 secs
lola: 92707928 markings, 441882827 edges, 33636 markings/sec, 2520 secs
lola: 92874291 markings, 442751205 edges, 33273 markings/sec, 2525 secs
lola: 93036962 markings, 443598593 edges, 32534 markings/sec, 2530 secs
lola: 93196147 markings, 444426690 edges, 31837 markings/sec, 2535 secs
lola: 93350943 markings, 445233285 edges, 30959 markings/sec, 2540 secs
lola: 93509329 markings, 446055635 edges, 31677 markings/sec, 2545 secs
lola: 93700028 markings, 447044667 edges, 38140 markings/sec, 2550 secs
lola: 93880264 markings, 447940190 edges, 36047 markings/sec, 2555 secs
lola: 94048342 markings, 448817481 edges, 33616 markings/sec, 2560 secs
lola: 94214528 markings, 449684681 edges, 33237 markings/sec, 2565 secs
lola: 94377367 markings, 450532815 edges, 32568 markings/sec, 2570 secs
lola: 94536484 markings, 451361250 edges, 31823 markings/sec, 2575 secs
lola: 94691181 markings, 452165608 edges, 30939 markings/sec, 2580 secs
lola: 94861125 markings, 453048701 edges, 33989 markings/sec, 2585 secs
lola: 95043711 markings, 453994012 edges, 36517 markings/sec, 2590 secs
lola: 95221228 markings, 454879689 edges, 35503 markings/sec, 2595 secs
lola: 95387732 markings, 455748163 edges, 33301 markings/sec, 2600 secs
lola: 95553096 markings, 456609736 edges, 33073 markings/sec, 2605 secs
lola: 95714755 markings, 457452401 edges, 32332 markings/sec, 2610 secs
lola: 95871941 markings, 458271056 edges, 31437 markings/sec, 2615 secs
lola: 96024005 markings, 459061312 edges, 30413 markings/sec, 2620 secs
lola: 96214545 markings, 460050183 edges, 38108 markings/sec, 2625 secs
lola: 96389814 markings, 460948286 edges, 35054 markings/sec, 2630 secs
lola: 96563153 markings, 461823669 edges, 34668 markings/sec, 2635 secs
lola: 96728448 markings, 462686450 edges, 33059 markings/sec, 2640 secs
lola: 96890576 markings, 463531164 edges, 32426 markings/sec, 2645 secs
lola: 97049385 markings, 464357331 edges, 31762 markings/sec, 2650 secs
lola: 97203739 markings, 465160461 edges, 30871 markings/sec, 2655 secs
lola: 97371016 markings, 466029291 edges, 33455 markings/sec, 2660 secs
lola: 97551683 markings, 466965380 edges, 36133 markings/sec, 2665 secs
lola: 97727564 markings, 467842428 edges, 35176 markings/sec, 2670 secs
lola: 97892932 markings, 468705221 edges, 33074 markings/sec, 2675 secs
lola: 98055774 markings, 469553786 edges, 32568 markings/sec, 2680 secs
lola: 98214516 markings, 470379523 edges, 31748 markings/sec, 2685 secs
lola: 98369057 markings, 471184878 edges, 30908 markings/sec, 2690 secs
lola: 98533739 markings, 472040227 edges, 32936 markings/sec, 2695 secs
lola: 98714091 markings, 472974698 edges, 36070 markings/sec, 2700 secs
lola: 98889006 markings, 473849078 edges, 34983 markings/sec, 2705 secs
lola: 99054614 markings, 474711583 edges, 33122 markings/sec, 2710 secs
lola: 99218386 markings, 475564755 edges, 32754 markings/sec, 2715 secs
lola: 99377810 markings, 476394988 edges, 31885 markings/sec, 2720 secs
lola: 99532400 markings, 477199056 edges, 30918 markings/sec, 2725 secs
lola: 99707232 markings, 478107045 edges, 34966 markings/sec, 2730 secs
lola: 99882320 markings, 479012578 edges, 35018 markings/sec, 2735 secs
lola: 100056030 markings, 479882885 edges, 34742 markings/sec, 2740 secs
lola: 100220292 markings, 480738213 edges, 32852 markings/sec, 2745 secs
lola: 100380865 markings, 481575233 edges, 32115 markings/sec, 2750 secs
lola: 100537488 markings, 482390718 edges, 31325 markings/sec, 2755 secs
lola: 100688507 markings, 483176200 edges, 30204 markings/sec, 2760 secs
lola: 100868561 markings, 484110265 edges, 36011 markings/sec, 2765 secs
lola: 101038383 markings, 484984719 edges, 33964 markings/sec, 2770 secs
lola: time limit reached - aborting
lola:
preliminary result: no no yes yes no yes no yes no no unknown no no no yes unknown lola:
caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: no no yes yes no yes no yes no no unknown no no no yes unknown

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

BK_STOP 1589244355758

--------------------
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="CircularTrains-PT-384"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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