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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4313.340 3570102.00 3614696.00 9599.70 FTFT??FFF?TTFFFF normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r015-smll-158897552700026.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is ASLink-PT-06b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552700026
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 921K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-06b-00
FORMULA_NAME ASLink-PT-06b-01
FORMULA_NAME ASLink-PT-06b-02
FORMULA_NAME ASLink-PT-06b-03
FORMULA_NAME ASLink-PT-06b-04
FORMULA_NAME ASLink-PT-06b-05
FORMULA_NAME ASLink-PT-06b-06
FORMULA_NAME ASLink-PT-06b-07
FORMULA_NAME ASLink-PT-06b-08
FORMULA_NAME ASLink-PT-06b-09
FORMULA_NAME ASLink-PT-06b-10
FORMULA_NAME ASLink-PT-06b-11
FORMULA_NAME ASLink-PT-06b-12
FORMULA_NAME ASLink-PT-06b-13
FORMULA_NAME ASLink-PT-06b-14
FORMULA_NAME ASLink-PT-06b-15

=== Now, execution of the tool begins

BK_START 1589175502585

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

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

FORMULA ASLink-PT-06b-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA ASLink-PT-06b-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-06b-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

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

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

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

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

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

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

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 278
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 0,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((F (FIREABLE(t2325)) U X ((NOT FIREABLE(t2325) OR F (NOT FIREABLE(t391))))))",
"processed_size": 79,
"rewrites": 48
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"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": 308
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 1,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 2,
"tneg": 0,
"transition_references": 5,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((F (FIREABLE(t94)) OR (X (NOT FIREABLE(t444)) OR (G (F ((FIREABLE(t444) AND X (FIREABLE(t94))))) AND X (F (NOT FIREABLE(t444)))))))",
"processed_size": 134,
"rewrites": 48
},
"result":
{
"edges": 4,
"markings": 5,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 695
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 5,
"unfir": 3,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (F (G ((F ((FIREABLE(t2075) AND NOT FIREABLE(t636))) AND (NOT FIREABLE(t2044) OR (FIREABLE(t2075) AND NOT FIREABLE(t636)))))))",
"processed_size": 128,
"rewrites": 48
},
"result":
{
"edges": 496,
"markings": 495,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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": 926
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 926
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((NOT FIREABLE(t1032) U FIREABLE(t2303)))",
"processed_size": 43,
"rewrites": 52
},
"result":
{
"edges": 320,
"markings": 320,
"produced_by": "state space /ER",
"value": false
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"type": "universal_until"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 13,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1390
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(t58)",
"processed_size": 13,
"rewrites": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2780
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "NOT FIREABLE(t2263)",
"processed_size": 19,
"rewrites": 50
},
"result":
{
"edges": 320,
"markings": 320,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 30
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 2480744,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X(G(**))) : A((F(**) OR (* AND (* OR X(G(*)))))) : A(F(G((F(**) AND (** OR **))))) : A((** OR F((** OR G(F(**)))))) : A(X(X(X(G((X(**) OR F((F(**) OR G(*))))))))) : A(X((X(G(*)) U G(**)))) : (A((** OR (F(**) AND F(G(**))))) AND A(F(**))) : (** AND A((F(**) OR G(**)))) : A(X(G(**))) : A(G((** OR (** AND X(**))))) : A((F(**) U X((** OR F(*))))) : A((F(**) OR (X(**) OR (G(F((** AND X(**)))) AND X(F(**)))))) : A(F(G(**))) : A(G(F(**))) : (A(G(*)) AND A((** U **))) : A((** OR (X(**) OR F(**))))"
},
"net":
{
"arcs": 10709,
"conflict_clusters": 1883,
"places": 2826,
"places_significant": 2549,
"singleton_clusters": 0,
"transitions": 3513
},
"result":
{
"interim_value": "no yes no yes unknown unknown no no no unknown yes yes no no no no ",
"preliminary_value": "no yes no yes unknown unknown no no no unknown yes yes no no no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 6339/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2826
lola: finding significant places
lola: 2826 places, 3513 transitions, 2549 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (X (G (NOT FIREABLE(t1411)))) : A ((F (FIREABLE(t1087)) OR NOT((FIREABLE(t391) OR (FIREABLE(t3010) AND F (X (FIREABLE(t1767)))))))) : A (F (G ((NOT FIREABLE(t2044) U (FIREABLE(t2075) AND NOT FIREABLE(t636)))))) : A ((FIREABLE(t2920) OR F ((NOT FIREABLE(t1685) OR F (G (F (NOT FIREABLE(t1757)))))))) : A (X (G (X (X ((X (FIREABLE(t1679)) OR F ((F (FIREABLE(t1679)) OR NOT(F (FIREABLE(t1181))))))))))) : A ((NOT(X (F ((FIREABLE(t1808) U X (FIREABLE(t1808)))))) U G (X (FIREABLE(t2354))))) : A ((((FIREABLE(t2263) U F (G (FIREABLE(t2263)))) U FIREABLE(t2028)) AND F (FIREABLE(t2263)))) : A ((FIREABLE(t58) AND (F (FIREABLE(t1800)) OR G (FIREABLE(t2408))))) : A ((X (FIREABLE(t1734)) AND G (X (FIREABLE(t1734))))) : A (G ((FIREABLE(t3335) OR (NOT FIREABLE(t3427) AND X (NOT FIREABLE(t3427)))))) : A ((F (FIREABLE(t2325)) U X ((NOT FIREABLE(t2325) OR NOT(G (FIREABLE(t391))))))) : A ((F (FIREABLE(t94)) OR (G (F ((FIREABLE(t444) AND X (FIREABLE(t94))))) U X (NOT FIREABLE(t444))))) : A (F (X (G (FIREABLE(t584))))) : A (G (F (NOT(G (NOT(F (FIREABLE(t3304)))))))) : A ((NOT(F ((FIREABLE(t3195) OR FIREABLE(t1032)))) AND (NOT FIREABLE(t1032) U FIREABLE(t2303)))) : A (((FIREABLE(t832) OR X (FIREABLE(t2087))) OR (X (X ((FIREABLE(t2087) OR FIREABLE(t928)))) U F (FIREABLE(t143)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:491
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (NOT FIREABLE(t1411))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (NOT FIREABLE(t1411))))
lola: processed formula length: 31
lola: 48 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 875 markings, 880 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(t1087)) OR (NOT FIREABLE(t391) AND (NOT FIREABLE(t3010) OR X (G (NOT FIREABLE(t1767)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(t1087)) OR (NOT FIREABLE(t391) AND (NOT FIREABLE(t3010) OR X (G (NOT FIREABLE(t1767)))))))
lola: processed formula length: 106
lola: 48 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (G ((X (FIREABLE(t1679)) OR F ((F (FIREABLE(t1679)) OR G (NOT FIREABLE(t1181))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (G ((X (FIREABLE(t1679)) OR F ((F (FIREABLE(t1679)) OR G (NOT FIREABLE(t1181))))))))))
lola: processed formula length: 97
lola: 48 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 39576 markings, 210330 edges, 7915 markings/sec, 0 secs
lola: 75422 markings, 438281 edges, 7169 markings/sec, 5 secs
lola: 113457 markings, 664518 edges, 7607 markings/sec, 10 secs
lola: 150038 markings, 891144 edges, 7316 markings/sec, 15 secs
lola: 182540 markings, 1117997 edges, 6500 markings/sec, 20 secs
lola: 216667 markings, 1343435 edges, 6825 markings/sec, 25 secs
lola: 249869 markings, 1569976 edges, 6640 markings/sec, 30 secs
lola: 282181 markings, 1796622 edges, 6462 markings/sec, 35 secs
lola: 316509 markings, 2022713 edges, 6866 markings/sec, 40 secs
lola: 347571 markings, 2249509 edges, 6212 markings/sec, 45 secs
lola: 375789 markings, 2476565 edges, 5644 markings/sec, 50 secs
lola: 409043 markings, 2702401 edges, 6651 markings/sec, 55 secs
lola: 442424 markings, 2928196 edges, 6676 markings/sec, 60 secs
lola: 474625 markings, 3155151 edges, 6440 markings/sec, 65 secs
lola: 508779 markings, 3380745 edges, 6831 markings/sec, 70 secs
lola: 540488 markings, 3606640 edges, 6342 markings/sec, 75 secs
lola: 568855 markings, 3832903 edges, 5673 markings/sec, 80 secs
lola: 598273 markings, 4058938 edges, 5884 markings/sec, 85 secs
lola: 626375 markings, 4285220 edges, 5620 markings/sec, 90 secs
lola: 656284 markings, 4511246 edges, 5982 markings/sec, 95 secs
lola: 685322 markings, 4737574 edges, 5808 markings/sec, 100 secs
lola: 714013 markings, 4963879 edges, 5738 markings/sec, 105 secs
lola: 741312 markings, 5190421 edges, 5460 markings/sec, 110 secs
lola: 766319 markings, 5416926 edges, 5001 markings/sec, 115 secs
lola: 795193 markings, 5645106 edges, 5775 markings/sec, 120 secs
lola: 823477 markings, 5873139 edges, 5657 markings/sec, 125 secs
lola: 853905 markings, 6102124 edges, 6086 markings/sec, 130 secs
lola: 884792 markings, 6330984 edges, 6177 markings/sec, 135 secs
lola: 917451 markings, 6559877 edges, 6532 markings/sec, 140 secs
lola: 951896 markings, 6787488 edges, 6889 markings/sec, 145 secs
lola: 983498 markings, 7015762 edges, 6320 markings/sec, 150 secs
lola: 1011943 markings, 7244196 edges, 5689 markings/sec, 155 secs
lola: 1042073 markings, 7472615 edges, 6026 markings/sec, 160 secs
lola: 1070780 markings, 7701532 edges, 5741 markings/sec, 165 secs
lola: 1100811 markings, 7930132 edges, 6006 markings/sec, 170 secs
lola: 1130014 markings, 8158655 edges, 5841 markings/sec, 175 secs
lola: 1158557 markings, 8387398 edges, 5709 markings/sec, 180 secs
lola: 1186195 markings, 8616427 edges, 5528 markings/sec, 185 secs
lola: 1211486 markings, 8845997 edges, 5058 markings/sec, 190 secs
lola: 1240918 markings, 9072518 edges, 5886 markings/sec, 195 secs
lola: 1269862 markings, 9301020 edges, 5789 markings/sec, 200 secs
lola: 1299374 markings, 9530109 edges, 5902 markings/sec, 205 secs
lola: 1328728 markings, 9758920 edges, 5871 markings/sec, 210 secs
lola: 1357093 markings, 9987127 edges, 5673 markings/sec, 215 secs
lola: 1384423 markings, 10215259 edges, 5466 markings/sec, 220 secs
lola: 1409742 markings, 10443864 edges, 5064 markings/sec, 225 secs
lola: 1436482 markings, 10672329 edges, 5348 markings/sec, 230 secs
lola: 1461632 markings, 10901420 edges, 5030 markings/sec, 235 secs
lola: 1488334 markings, 11129852 edges, 5340 markings/sec, 240 secs
lola: 1514121 markings, 11358747 edges, 5157 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 297132 KB
lola: time consumption: 259 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((X (G (NOT FIREABLE(t1808))) U G (FIREABLE(t2354)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((X (G (NOT FIREABLE(t1808))) U G (FIREABLE(t2354)))))
lola: processed formula length: 59
lola: 48 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 39788 markings, 211703 edges, 7958 markings/sec, 0 secs
lola: 75701 markings, 440129 edges, 7183 markings/sec, 5 secs
lola: 113719 markings, 666343 edges, 7604 markings/sec, 10 secs
lola: 150213 markings, 892489 edges, 7299 markings/sec, 15 secs
lola: 182748 markings, 1119345 edges, 6507 markings/sec, 20 secs
lola: 216988 markings, 1345622 edges, 6848 markings/sec, 25 secs
lola: 250216 markings, 1572233 edges, 6646 markings/sec, 30 secs
lola: 282527 markings, 1799171 edges, 6462 markings/sec, 35 secs
lola: 316835 markings, 2025102 edges, 6862 markings/sec, 40 secs
lola: 347899 markings, 2251891 edges, 6213 markings/sec, 45 secs
lola: 376142 markings, 2479239 edges, 5649 markings/sec, 50 secs
lola: 409471 markings, 2705448 edges, 6666 markings/sec, 55 secs
lola: 442894 markings, 2931741 edges, 6685 markings/sec, 60 secs
lola: 475246 markings, 3159083 edges, 6470 markings/sec, 65 secs
lola: 509435 markings, 3384907 edges, 6838 markings/sec, 70 secs
lola: 541023 markings, 3611206 edges, 6318 markings/sec, 75 secs
lola: 569360 markings, 3837658 edges, 5667 markings/sec, 80 secs
lola: 598885 markings, 4064019 edges, 5905 markings/sec, 85 secs
lola: 627047 markings, 4290941 edges, 5632 markings/sec, 90 secs
lola: 657050 markings, 4516952 edges, 6001 markings/sec, 95 secs
lola: 686102 markings, 4743331 edges, 5810 markings/sec, 100 secs
lola: 714719 markings, 4969947 edges, 5723 markings/sec, 105 secs
lola: 742063 markings, 5196800 edges, 5469 markings/sec, 110 secs
lola: 766992 markings, 5423917 edges, 4986 markings/sec, 115 secs
lola: 795916 markings, 5650281 edges, 5785 markings/sec, 120 secs
lola: 824103 markings, 5876546 edges, 5637 markings/sec, 125 secs
lola: 854095 markings, 6103569 edges, 5998 markings/sec, 130 secs
lola: 884718 markings, 6330439 edges, 6125 markings/sec, 135 secs
lola: 917057 markings, 6557470 edges, 6468 markings/sec, 140 secs
lola: 951269 markings, 6783379 edges, 6842 markings/sec, 145 secs
lola: 982803 markings, 7009838 edges, 6307 markings/sec, 150 secs
lola: 1011113 markings, 7236372 edges, 5662 markings/sec, 155 secs
lola: 1040682 markings, 7462945 edges, 5914 markings/sec, 160 secs
lola: 1068939 markings, 7690079 edges, 5651 markings/sec, 165 secs
lola: 1099022 markings, 7916787 edges, 6017 markings/sec, 170 secs
lola: 1128153 markings, 8143851 edges, 5826 markings/sec, 175 secs
lola: 1156780 markings, 8370761 edges, 5725 markings/sec, 180 secs
lola: 1184157 markings, 8598143 edges, 5475 markings/sec, 185 secs
lola: 1209034 markings, 8825682 edges, 4975 markings/sec, 190 secs
lola: 1238232 markings, 9052446 edges, 5840 markings/sec, 195 secs
lola: 1266554 markings, 9278948 edges, 5664 markings/sec, 200 secs
lola: 1296451 markings, 9506295 edges, 5979 markings/sec, 205 secs
lola: 1325570 markings, 9733309 edges, 5824 markings/sec, 210 secs
lola: 1353919 markings, 9959509 edges, 5670 markings/sec, 215 secs
lola: 1381287 markings, 10186061 edges, 5474 markings/sec, 220 secs
lola: 1406146 markings, 10412917 edges, 4972 markings/sec, 225 secs
lola: 1432632 markings, 10639555 edges, 5297 markings/sec, 230 secs
lola: 1457802 markings, 10866879 edges, 5034 markings/sec, 235 secs
lola: 1484293 markings, 11093567 edges, 5298 markings/sec, 240 secs
lola: 1509224 markings, 11320667 edges, 4986 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 296372 KB
lola: time consumption: 513 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (FIREABLE(t1734))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (FIREABLE(t1734))))
lola: processed formula length: 27
lola: 48 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 499 markings, 499 edges
lola: ========================================
lola: subprocess 5 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t3335) OR (NOT FIREABLE(t3427) AND X (NOT FIREABLE(t3427))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((FIREABLE(t3335) OR (NOT FIREABLE(t3427) AND X (NOT FIREABLE(t3427))))))
lola: processed formula length: 78
lola: 48 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 43737 markings, 223903 edges, 8747 markings/sec, 0 secs
lola: 84089 markings, 451679 edges, 8070 markings/sec, 5 secs
lola: 120521 markings, 680001 edges, 7286 markings/sec, 10 secs
lola: 155115 markings, 908393 edges, 6919 markings/sec, 15 secs
lola: 193369 markings, 1135068 edges, 7651 markings/sec, 20 secs
lola: 231825 markings, 1360253 edges, 7691 markings/sec, 25 secs
lola: 268743 markings, 1585737 edges, 7384 markings/sec, 30 secs
lola: 304530 markings, 1811648 edges, 7157 markings/sec, 35 secs
lola: 338113 markings, 2038397 edges, 6717 markings/sec, 40 secs
lola: 369147 markings, 2265746 edges, 6207 markings/sec, 45 secs
lola: 404563 markings, 2491717 edges, 7083 markings/sec, 50 secs
lola: 437845 markings, 2718117 edges, 6656 markings/sec, 55 secs
lola: 468841 markings, 2945141 edges, 6199 markings/sec, 60 secs
lola: 504495 markings, 3171155 edges, 7131 markings/sec, 65 secs
lola: 537579 markings, 3397971 edges, 6617 markings/sec, 70 secs
lola: 569579 markings, 3627443 edges, 6400 markings/sec, 75 secs
lola: 605013 markings, 3854939 edges, 7087 markings/sec, 80 secs
lola: 638102 markings, 4083234 edges, 6618 markings/sec, 85 secs
lola: 670059 markings, 4312084 edges, 6391 markings/sec, 90 secs
lola: 700681 markings, 4540632 edges, 6124 markings/sec, 95 secs
lola: 730105 markings, 4769510 edges, 5885 markings/sec, 100 secs
lola: 757711 markings, 4999009 edges, 5521 markings/sec, 105 secs
lola: 791787 markings, 5227066 edges, 6815 markings/sec, 110 secs
lola: 825663 markings, 5454350 edges, 6775 markings/sec, 115 secs
lola: 857135 markings, 5682200 edges, 6294 markings/sec, 120 secs
lola: 892653 markings, 5911107 edges, 7104 markings/sec, 125 secs
lola: 926556 markings, 6140084 edges, 6781 markings/sec, 130 secs
lola: 957823 markings, 6369065 edges, 6253 markings/sec, 135 secs
lola: 993483 markings, 6596462 edges, 7132 markings/sec, 140 secs
lola: 1026831 markings, 6823724 edges, 6670 markings/sec, 145 secs
lola: 1058012 markings, 7052296 edges, 6236 markings/sec, 150 secs
lola: 1089327 markings, 7280143 edges, 6263 markings/sec, 155 secs
lola: 1118671 markings, 7508601 edges, 5869 markings/sec, 160 secs
lola: 1146121 markings, 7737114 edges, 5490 markings/sec, 165 secs
lola: 1177281 markings, 7965507 edges, 6232 markings/sec, 170 secs
lola: 1206589 markings, 8193459 edges, 5862 markings/sec, 175 secs
lola: 1234807 markings, 8421896 edges, 5644 markings/sec, 180 secs
lola: 1264485 markings, 8650485 edges, 5936 markings/sec, 185 secs
lola: 1294087 markings, 8878479 edges, 5920 markings/sec, 190 secs
lola: 1323265 markings, 9106796 edges, 5836 markings/sec, 195 secs
lola: 1350847 markings, 9335969 edges, 5516 markings/sec, 200 secs
lola: 1381917 markings, 9564048 edges, 6214 markings/sec, 205 secs
lola: 1411296 markings, 9792680 edges, 5876 markings/sec, 210 secs
lola: 1438803 markings, 10021604 edges, 5501 markings/sec, 215 secs
lola: 1467781 markings, 10250386 edges, 5796 markings/sec, 220 secs
lola: 1493690 markings, 10479488 edges, 5182 markings/sec, 225 secs
lola: 1519681 markings, 10708552 edges, 5198 markings/sec, 230 secs
lola: 1544431 markings, 10938213 edges, 4950 markings/sec, 235 secs
lola: 1574659 markings, 11166293 edges, 6046 markings/sec, 240 secs
lola: 1603774 markings, 11394072 edges, 5823 markings/sec, 245 secs
lola: 1631457 markings, 11622249 edges, 5537 markings/sec, 250 secs
lola: 1662414 markings, 11850906 edges, 6191 markings/sec, 255 secs
lola: 1691863 markings, 12080269 edges, 5890 markings/sec, 260 secs
lola: 1720827 markings, 12309699 edges, 5793 markings/sec, 265 secs
lola: 1750161 markings, 12538805 edges, 5867 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 310780 KB
lola: time consumption: 790 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(t2325)) U X ((NOT FIREABLE(t2325) OR F (NOT FIREABLE(t391))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(t2325)) U X ((NOT FIREABLE(t2325) OR F (NOT FIREABLE(t391))))))
lola: processed formula length: 79
lola: 48 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 7 will run for 308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(t94)) OR (X (NOT FIREABLE(t444)) OR (G (F ((FIREABLE(t444) AND X (FIREABLE(t94))))) AND X (F (NOT FIREABLE(t444)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(t94)) OR (X (NOT FIREABLE(t444)) OR (G (F ((FIREABLE(t444) AND X (FIREABLE(t94))))) AND X (F (NOT FIREABLE(t444)))))))
lola: processed formula length: 134
lola: 48 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 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: 5 markings, 4 edges
lola: ========================================
lola: subprocess 8 will run for 347 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t832) OR (X (FIREABLE(t2087)) OR F (FIREABLE(t143)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t832) OR (X (FIREABLE(t2087)) OR F (FIREABLE(t143)))))
lola: processed formula length: 67
lola: 48 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 499 markings, 499 edges
lola: ========================================
lola: subprocess 9 will run for 397 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t3304))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t3304))))
lola: processed formula length: 27
lola: 48 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 317 markings, 317 edges
lola: ========================================
lola: subprocess 10 will run for 463 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(t584))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(t584))))
lola: processed formula length: 26
lola: 48 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 321 markings, 322 edges
lola: ========================================
lola: subprocess 11 will run for 556 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t2920) OR F ((NOT FIREABLE(t1685) OR G (F (NOT FIREABLE(t1757)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t2920) OR F ((NOT FIREABLE(t1685) OR G (F (NOT FIREABLE(t1757)))))))
lola: processed formula length: 81
lola: 48 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 695 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F ((FIREABLE(t2075) AND NOT FIREABLE(t636))) AND (NOT FIREABLE(t2044) OR (FIREABLE(t2075) AND NOT FIREABLE(t636)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F ((FIREABLE(t2075) AND NOT FIREABLE(t636))) AND (NOT FIREABLE(t2044) OR (FIREABLE(t2075) AND NOT FIREABLE(t636)))))))
lola: processed formula length: 128
lola: 48 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 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: 495 markings, 496 edges
lola: ========================================
lola: subprocess 13 will run for 926 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((NOT FIREABLE(t3195) AND NOT FIREABLE(t1032)))) AND A ((NOT FIREABLE(t1032) U FIREABLE(t2303))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 926 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(t1032) U FIREABLE(t2303)))
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 ((NOT FIREABLE(t1032) U FIREABLE(t2303)))
lola: processed formula length: 43
lola: 52 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /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: 1
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 320 markings, 320 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 14 will run for 1390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t58) AND A ((F (FIREABLE(t1800)) OR G (FIREABLE(t2408)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t58)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t58)
lola: processed formula length: 13
lola: 48 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 2780 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((FIREABLE(t2028) OR (F (FIREABLE(t2028)) AND F (G (FIREABLE(t2263)))))) AND A (F (FIREABLE(t2263))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2780 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t2263)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(t2263)
lola: processed formula length: 19
lola: 50 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 320 markings, 320 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (X (X (G ((X (FIREABLE(t1679)) OR F ((F (FIREABLE(t1679)) OR G (NOT FIREABLE(t1181))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (G ((X (FIREABLE(t1679)) OR F ((F (FIREABLE(t1679)) OR G (NOT FIREABLE(t1181))))))))))
lola: processed formula length: 97
lola: 48 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 42331 markings, 227917 edges, 8466 markings/sec, 0 secs
lola: 77943 markings, 457064 edges, 7122 markings/sec, 5 secs
lola: 116585 markings, 683321 edges, 7728 markings/sec, 10 secs
lola: 152938 markings, 910114 edges, 7271 markings/sec, 15 secs
lola: 183632 markings, 1125792 edges, 6139 markings/sec, 20 secs
lola: 217833 markings, 1351061 edges, 6840 markings/sec, 25 secs
lola: 251031 markings, 1577506 edges, 6640 markings/sec, 30 secs
lola: 283225 markings, 1804349 edges, 6439 markings/sec, 35 secs
lola: 317507 markings, 2030112 edges, 6856 markings/sec, 40 secs
lola: 348455 markings, 2256090 edges, 6190 markings/sec, 45 secs
lola: 376680 markings, 2483233 edges, 5645 markings/sec, 50 secs
lola: 409939 markings, 2709135 edges, 6652 markings/sec, 55 secs
lola: 443333 markings, 2935050 edges, 6679 markings/sec, 60 secs
lola: 475706 markings, 3162152 edges, 6475 markings/sec, 65 secs
lola: 509845 markings, 3387575 edges, 6828 markings/sec, 70 secs
lola: 541243 markings, 3613105 edges, 6280 markings/sec, 75 secs
lola: 569545 markings, 3839445 edges, 5660 markings/sec, 80 secs
lola: 599062 markings, 4065571 edges, 5903 markings/sec, 85 secs
lola: 627155 markings, 4291917 edges, 5619 markings/sec, 90 secs
lola: 657158 markings, 4517814 edges, 6001 markings/sec, 95 secs
lola: 686206 markings, 4744079 edges, 5810 markings/sec, 100 secs
lola: 714781 markings, 4970498 edges, 5715 markings/sec, 105 secs
lola: 742085 markings, 5196996 edges, 5461 markings/sec, 110 secs
lola: 766977 markings, 5423736 edges, 4978 markings/sec, 115 secs
lola: 795847 markings, 5649853 edges, 5774 markings/sec, 120 secs
lola: 823973 markings, 5875797 edges, 5625 markings/sec, 125 secs
lola: 853973 markings, 6102645 edges, 6000 markings/sec, 130 secs
lola: 884577 markings, 6329459 edges, 6121 markings/sec, 135 secs
lola: 916849 markings, 6556088 edges, 6454 markings/sec, 140 secs
lola: 951074 markings, 6782121 edges, 6845 markings/sec, 145 secs
lola: 982601 markings, 7008126 edges, 6305 markings/sec, 150 secs
lola: 1010910 markings, 7234374 edges, 5662 markings/sec, 155 secs
lola: 1040442 markings, 7460783 edges, 5906 markings/sec, 160 secs
lola: 1068618 markings, 7687836 edges, 5635 markings/sec, 165 secs
lola: 1098681 markings, 7914250 edges, 6013 markings/sec, 170 secs
lola: 1127757 markings, 8140746 edges, 5815 markings/sec, 175 secs
lola: 1156356 markings, 8367424 edges, 5720 markings/sec, 180 secs
lola: 1183740 markings, 8594456 edges, 5477 markings/sec, 185 secs
lola: 1208626 markings, 8821610 edges, 4977 markings/sec, 190 secs
lola: 1237584 markings, 9047720 edges, 5792 markings/sec, 195 secs
lola: 1265810 markings, 9274049 edges, 5645 markings/sec, 200 secs
lola: 1295736 markings, 9500794 edges, 5985 markings/sec, 205 secs
lola: 1324841 markings, 9727505 edges, 5821 markings/sec, 210 secs
lola: 1353236 markings, 9953117 edges, 5679 markings/sec, 215 secs
lola: 1380466 markings, 10179174 edges, 5446 markings/sec, 220 secs
lola: 1405205 markings, 10405701 edges, 4948 markings/sec, 225 secs
lola: 1431846 markings, 10632124 edges, 5328 markings/sec, 230 secs
lola: 1456868 markings, 10858982 edges, 5004 markings/sec, 235 secs
lola: 1483338 markings, 11085512 edges, 5294 markings/sec, 240 secs
lola: 1508357 markings, 11312372 edges, 5004 markings/sec, 245 secs
lola: 1534924 markings, 11538801 edges, 5313 markings/sec, 250 secs
lola: 1559781 markings, 11765806 edges, 4971 markings/sec, 255 secs
lola: 1583596 markings, 11991721 edges, 4763 markings/sec, 260 secs
lola: 1606024 markings, 12218547 edges, 4486 markings/sec, 265 secs
lola: 1632208 markings, 12444523 edges, 5237 markings/sec, 270 secs
lola: 1655020 markings, 12652285 edges, 4562 markings/sec, 275 secs
lola: 1680395 markings, 12869122 edges, 5075 markings/sec, 280 secs
lola: 1705378 markings, 13096567 edges, 4997 markings/sec, 285 secs
lola: 1735230 markings, 13323559 edges, 5970 markings/sec, 290 secs
lola: 1765693 markings, 13550426 edges, 6093 markings/sec, 295 secs
lola: 1797824 markings, 13777378 edges, 6426 markings/sec, 300 secs
lola: 1836756 markings, 14003639 edges, 7786 markings/sec, 305 secs
lola: 1871325 markings, 14230297 edges, 6914 markings/sec, 310 secs
lola: 1905941 markings, 14456792 edges, 6923 markings/sec, 315 secs
lola: 1939601 markings, 14683086 edges, 6732 markings/sec, 320 secs
lola: 1974251 markings, 14908727 edges, 6930 markings/sec, 325 secs
lola: 2005018 markings, 15134972 edges, 6153 markings/sec, 330 secs
lola: 2036484 markings, 15360631 edges, 6293 markings/sec, 335 secs
lola: 2067204 markings, 15586492 edges, 6144 markings/sec, 340 secs
lola: 2098679 markings, 15812233 edges, 6295 markings/sec, 345 secs
lola: 2129411 markings, 16038183 edges, 6146 markings/sec, 350 secs
lola: 2159056 markings, 16263846 edges, 5929 markings/sec, 355 secs
lola: 2186016 markings, 16489718 edges, 5392 markings/sec, 360 secs
lola: 2213096 markings, 16715059 edges, 5416 markings/sec, 365 secs
lola: 2241114 markings, 16940596 edges, 5604 markings/sec, 370 secs
lola: 2267132 markings, 17165599 edges, 5204 markings/sec, 375 secs
lola: 2299482 markings, 17390974 edges, 6470 markings/sec, 380 secs
lola: 2328807 markings, 17616539 edges, 5865 markings/sec, 385 secs
lola: 2358229 markings, 17842031 edges, 5884 markings/sec, 390 secs
lola: 2384456 markings, 18067285 edges, 5245 markings/sec, 395 secs
lola: 2412225 markings, 18292283 edges, 5554 markings/sec, 400 secs
lola: 2439039 markings, 18517232 edges, 5363 markings/sec, 405 secs
lola: 2467659 markings, 18742154 edges, 5724 markings/sec, 410 secs
lola: 2498369 markings, 18967899 edges, 6142 markings/sec, 415 secs
lola: 2528653 markings, 19193598 edges, 6057 markings/sec, 420 secs
lola: 2556055 markings, 19419226 edges, 5480 markings/sec, 425 secs
lola: 2581934 markings, 19644497 edges, 5176 markings/sec, 430 secs
lola: 2611138 markings, 19869784 edges, 5841 markings/sec, 435 secs
lola: 2637184 markings, 20094890 edges, 5209 markings/sec, 440 secs
lola: 2668717 markings, 20320367 edges, 6307 markings/sec, 445 secs
lola: 2698411 markings, 20546321 edges, 5939 markings/sec, 450 secs
lola: 2727752 markings, 20771931 edges, 5868 markings/sec, 455 secs
lola: 2754464 markings, 20997878 edges, 5342 markings/sec, 460 secs
lola: 2782135 markings, 21223508 edges, 5534 markings/sec, 465 secs
lola: 2808884 markings, 21449005 edges, 5350 markings/sec, 470 secs
lola: 2836107 markings, 21674577 edges, 5445 markings/sec, 475 secs
lola: 2864141 markings, 21900346 edges, 5607 markings/sec, 480 secs
lola: 2889950 markings, 22125736 edges, 5162 markings/sec, 485 secs
lola: 2922623 markings, 22351398 edges, 6535 markings/sec, 490 secs
lola: 2951750 markings, 22577207 edges, 5825 markings/sec, 495 secs
lola: 2984787 markings, 22802767 edges, 6607 markings/sec, 500 secs
lola: 3013912 markings, 23028519 edges, 5825 markings/sec, 505 secs
lola: 3043436 markings, 23254282 edges, 5905 markings/sec, 510 secs
lola: 3069576 markings, 23479856 edges, 5228 markings/sec, 515 secs
lola: 3097545 markings, 23705098 edges, 5594 markings/sec, 520 secs
lola: 3124506 markings, 23930320 edges, 5392 markings/sec, 525 secs
lola: 3151889 markings, 24155713 edges, 5477 markings/sec, 530 secs
lola: 3179094 markings, 24381151 edges, 5441 markings/sec, 535 secs
lola: 3205592 markings, 24606417 edges, 5300 markings/sec, 540 secs
lola: 3234321 markings, 24832296 edges, 5746 markings/sec, 545 secs
lola: 3260434 markings, 25058037 edges, 5223 markings/sec, 550 secs
lola: 3286373 markings, 25283620 edges, 5188 markings/sec, 555 secs
lola: 3317757 markings, 25509081 edges, 6277 markings/sec, 560 secs
lola: 3351777 markings, 25734083 edges, 6804 markings/sec, 565 secs
lola: 3383598 markings, 25959801 edges, 6364 markings/sec, 570 secs
lola: 3412300 markings, 26186259 edges, 5740 markings/sec, 575 secs
lola: 3441507 markings, 26412469 edges, 5841 markings/sec, 580 secs
lola: 3469459 markings, 26638767 edges, 5590 markings/sec, 585 secs
lola: 3499024 markings, 26864785 edges, 5913 markings/sec, 590 secs
lola: 3527907 markings, 27090246 edges, 5777 markings/sec, 595 secs
lola: 3552963 markings, 27287445 edges, 5011 markings/sec, 600 secs
lola: 3580183 markings, 27513817 edges, 5444 markings/sec, 605 secs
lola: 3605468 markings, 27740386 edges, 5057 markings/sec, 610 secs
lola: 3633634 markings, 27966513 edges, 5633 markings/sec, 615 secs
lola: 3661477 markings, 28191961 edges, 5569 markings/sec, 620 secs
lola: 3691368 markings, 28418800 edges, 5978 markings/sec, 625 secs
lola: 3720285 markings, 28644961 edges, 5783 markings/sec, 630 secs
lola: 3748543 markings, 28870556 edges, 5652 markings/sec, 635 secs
lola: 3775641 markings, 29096184 edges, 5420 markings/sec, 640 secs
lola: 3800356 markings, 29322077 edges, 4943 markings/sec, 645 secs
lola: 3826649 markings, 29547916 edges, 5259 markings/sec, 650 secs
lola: 3851502 markings, 29773909 edges, 4971 markings/sec, 655 secs
lola: 3877883 markings, 29999560 edges, 5276 markings/sec, 660 secs
lola: 3902829 markings, 30225705 edges, 4989 markings/sec, 665 secs
lola: 3928900 markings, 30451392 edges, 5214 markings/sec, 670 secs
lola: 3953775 markings, 30677583 edges, 4975 markings/sec, 675 secs
lola: 3976899 markings, 30903642 edges, 4625 markings/sec, 680 secs
lola: 4000059 markings, 31129952 edges, 4632 markings/sec, 685 secs
lola: 4025831 markings, 31355067 edges, 5154 markings/sec, 690 secs
lola: 4051315 markings, 31580979 edges, 5097 markings/sec, 695 secs
lola: 4076983 markings, 31807491 edges, 5134 markings/sec, 700 secs
lola: 4104011 markings, 32033944 edges, 5406 markings/sec, 705 secs
lola: 4132079 markings, 32260533 edges, 5614 markings/sec, 710 secs
lola: 4161757 markings, 32486266 edges, 5936 markings/sec, 715 secs
lola: 4189414 markings, 32709670 edges, 5531 markings/sec, 720 secs
lola: 4214859 markings, 32930599 edges, 5089 markings/sec, 725 secs
lola: 4239389 markings, 33148649 edges, 4906 markings/sec, 730 secs
lola: 4264621 markings, 33369501 edges, 5046 markings/sec, 735 secs
lola: 4289640 markings, 33591641 edges, 5004 markings/sec, 740 secs
lola: 4315310 markings, 33817640 edges, 5134 markings/sec, 745 secs
lola: 4340972 markings, 34043520 edges, 5132 markings/sec, 750 secs
lola: 4366225 markings, 34269141 edges, 5051 markings/sec, 755 secs
lola: 4390441 markings, 34493930 edges, 4843 markings/sec, 760 secs
lola: 4413418 markings, 34721037 edges, 4595 markings/sec, 765 secs
lola: 4437975 markings, 34949200 edges, 4911 markings/sec, 770 secs
lola: 4463403 markings, 35176609 edges, 5086 markings/sec, 775 secs
lola: 4489554 markings, 35404677 edges, 5230 markings/sec, 780 secs
lola: 4514612 markings, 35633902 edges, 5012 markings/sec, 785 secs
lola: 4541168 markings, 35861563 edges, 5311 markings/sec, 790 secs
lola: 4566350 markings, 36089515 edges, 5036 markings/sec, 795 secs
lola: 4590344 markings, 36317015 edges, 4799 markings/sec, 800 secs
lola: 4612819 markings, 36544172 edges, 4495 markings/sec, 805 secs
lola: 4636572 markings, 36772101 edges, 4751 markings/sec, 810 secs
lola: 4659147 markings, 37000268 edges, 4515 markings/sec, 815 secs
lola: 4682978 markings, 37227721 edges, 4766 markings/sec, 820 secs
lola: 4705319 markings, 37455525 edges, 4468 markings/sec, 825 secs
lola: 4729291 markings, 37682708 edges, 4794 markings/sec, 830 secs
lola: 4751771 markings, 37910370 edges, 4496 markings/sec, 835 secs
lola: 4774085 markings, 38138567 edges, 4463 markings/sec, 840 secs
lola: 4795047 markings, 38366659 edges, 4192 markings/sec, 845 secs
lola: 4817160 markings, 38594908 edges, 4423 markings/sec, 850 secs
lola: 4840117 markings, 38821277 edges, 4591 markings/sec, 855 secs
lola: 4863249 markings, 39048798 edges, 4626 markings/sec, 860 secs
lola: 4886600 markings, 39277611 edges, 4670 markings/sec, 865 secs
lola: 4910515 markings, 39506260 edges, 4783 markings/sec, 870 secs
lola: 4936289 markings, 39734293 edges, 5155 markings/sec, 875 secs
lola: 4963658 markings, 39963188 edges, 5474 markings/sec, 880 secs
lola: 4992071 markings, 40192488 edges, 5683 markings/sec, 885 secs
lola: 5025414 markings, 40420924 edges, 6669 markings/sec, 890 secs
lola: 5056495 markings, 40649193 edges, 6216 markings/sec, 895 secs
lola: 5086184 markings, 40876834 edges, 5938 markings/sec, 900 secs
lola: 5116262 markings, 41103889 edges, 6016 markings/sec, 905 secs
lola: 5144483 markings, 41330967 edges, 5644 markings/sec, 910 secs
lola: 5170616 markings, 41557584 edges, 5227 markings/sec, 915 secs
lola: 5199800 markings, 41784495 edges, 5837 markings/sec, 920 secs
lola: 5226151 markings, 42011376 edges, 5270 markings/sec, 925 secs
lola: 5254198 markings, 42238398 edges, 5609 markings/sec, 930 secs
lola: 5281458 markings, 42465575 edges, 5452 markings/sec, 935 secs
lola: 5307945 markings, 42692522 edges, 5297 markings/sec, 940 secs
lola: 5332726 markings, 42919598 edges, 4956 markings/sec, 945 secs
lola: 5356204 markings, 43146365 edges, 4696 markings/sec, 950 secs
lola: 5381733 markings, 43372546 edges, 5106 markings/sec, 955 secs
lola: 5405757 markings, 43599267 edges, 4805 markings/sec, 960 secs
lola: 5431087 markings, 43825738 edges, 5066 markings/sec, 965 secs
lola: 5458751 markings, 44052377 edges, 5533 markings/sec, 970 secs
lola: 5484754 markings, 44278537 edges, 5201 markings/sec, 975 secs
lola: 5510980 markings, 44505240 edges, 5245 markings/sec, 980 secs
lola: 5534687 markings, 44731827 edges, 4741 markings/sec, 985 secs
lola: 5559321 markings, 44958191 edges, 4927 markings/sec, 990 secs
lola: 5583776 markings, 45184239 edges, 4891 markings/sec, 995 secs
lola: 5607033 markings, 45409520 edges, 4651 markings/sec, 1000 secs
lola: 5635896 markings, 45636078 edges, 5773 markings/sec, 1005 secs
lola: 5662157 markings, 45862949 edges, 5252 markings/sec, 1010 secs
lola: 5688428 markings, 46089983 edges, 5254 markings/sec, 1015 secs
lola: 5712388 markings, 46316508 edges, 4792 markings/sec, 1020 secs
lola: 5736392 markings, 46542208 edges, 4801 markings/sec, 1025 secs
lola: 5762122 markings, 46768578 edges, 5146 markings/sec, 1030 secs
lola: 5785600 markings, 46994940 edges, 4696 markings/sec, 1035 secs
lola: 5812382 markings, 47221552 edges, 5356 markings/sec, 1040 secs
lola: 5839413 markings, 47448750 edges, 5406 markings/sec, 1045 secs
lola: 5866086 markings, 47675661 edges, 5335 markings/sec, 1050 secs
lola: 5890931 markings, 47902794 edges, 4969 markings/sec, 1055 secs
lola: 5914576 markings, 48129715 edges, 4729 markings/sec, 1060 secs
lola: 5940030 markings, 48356772 edges, 5091 markings/sec, 1065 secs
lola: 5964012 markings, 48583491 edges, 4796 markings/sec, 1070 secs
lola: 5988240 markings, 48809392 edges, 4846 markings/sec, 1075 secs
lola: 6013437 markings, 49035616 edges, 5039 markings/sec, 1080 secs
lola: 6037027 markings, 49262416 edges, 4718 markings/sec, 1085 secs
lola: 6064392 markings, 49489205 edges, 5473 markings/sec, 1090 secs
lola: 6091350 markings, 49716320 edges, 5392 markings/sec, 1095 secs
lola: 6118972 markings, 49942928 edges, 5524 markings/sec, 1100 secs
lola: 6146174 markings, 50170166 edges, 5440 markings/sec, 1105 secs
lola: 6173010 markings, 50397253 edges, 5367 markings/sec, 1110 secs
lola: 6198569 markings, 50624514 edges, 5112 markings/sec, 1115 secs
lola: 6221991 markings, 50851395 edges, 4684 markings/sec, 1120 secs
lola: 6247244 markings, 51078260 edges, 5051 markings/sec, 1125 secs
lola: 6271219 markings, 51305005 edges, 4795 markings/sec, 1130 secs
lola: 6295136 markings, 51531623 edges, 4783 markings/sec, 1135 secs
lola: 6321114 markings, 51758701 edges, 5196 markings/sec, 1140 secs
lola: 6344701 markings, 51985520 edges, 4717 markings/sec, 1145 secs
lola: 6369649 markings, 52212129 edges, 4990 markings/sec, 1150 secs
lola: 6393761 markings, 52439299 edges, 4822 markings/sec, 1155 secs
lola: 6417424 markings, 52666371 edges, 4733 markings/sec, 1160 secs
lola: 6441697 markings, 52893493 edges, 4855 markings/sec, 1165 secs
lola: 6469342 markings, 53120831 edges, 5529 markings/sec, 1170 secs
lola: 6501722 markings, 53349222 edges, 6476 markings/sec, 1175 secs
lola: 6536807 markings, 53577616 edges, 7017 markings/sec, 1180 secs
lola: 6567925 markings, 53805921 edges, 6224 markings/sec, 1185 secs
lola: 6598062 markings, 54034698 edges, 6027 markings/sec, 1190 secs
lola: 6627853 markings, 54263231 edges, 5958 markings/sec, 1195 secs
lola: 6658409 markings, 54491004 edges, 6111 markings/sec, 1200 secs
lola: 6687883 markings, 54718985 edges, 5895 markings/sec, 1205 secs
lola: 6715145 markings, 54946802 edges, 5452 markings/sec, 1210 secs
lola: 6742786 markings, 55174724 edges, 5528 markings/sec, 1215 secs
lola: 6770140 markings, 55402658 edges, 5471 markings/sec, 1220 secs
lola: 6797445 markings, 55630268 edges, 5461 markings/sec, 1225 secs
lola: 6825916 markings, 55858431 edges, 5694 markings/sec, 1230 secs
lola: 6852274 markings, 56086252 edges, 5272 markings/sec, 1235 secs
lola: 6878458 markings, 56311847 edges, 5237 markings/sec, 1240 secs
lola: 6902418 markings, 56539742 edges, 4792 markings/sec, 1245 secs
lola: 6927024 markings, 56766742 edges, 4921 markings/sec, 1250 secs
lola: 6951906 markings, 56994302 edges, 4976 markings/sec, 1255 secs
lola: 6975481 markings, 57221296 edges, 4715 markings/sec, 1260 secs
lola: 7003740 markings, 57448673 edges, 5652 markings/sec, 1265 secs
lola: 7030462 markings, 57676347 edges, 5344 markings/sec, 1270 secs
lola: 7056796 markings, 57903978 edges, 5267 markings/sec, 1275 secs
lola: 7080923 markings, 58131581 edges, 4825 markings/sec, 1280 secs
lola: 7104553 markings, 58358168 edges, 4726 markings/sec, 1285 secs
lola: 7130759 markings, 58585358 edges, 5241 markings/sec, 1290 secs
lola: 7154510 markings, 58812337 edges, 4750 markings/sec, 1295 secs
lola: 7180858 markings, 59039405 edges, 5270 markings/sec, 1300 secs
lola: 7207864 markings, 59267170 edges, 5401 markings/sec, 1305 secs
lola: 7234740 markings, 59494812 edges, 5375 markings/sec, 1310 secs
lola: 7260115 markings, 59722493 edges, 5075 markings/sec, 1315 secs
lola: 7283736 markings, 59949547 edges, 4724 markings/sec, 1320 secs
lola: 7308845 markings, 60176472 edges, 5022 markings/sec, 1325 secs
lola: 7332852 markings, 60403565 edges, 4801 markings/sec, 1330 secs
lola: 7357673 markings, 60630407 edges, 4964 markings/sec, 1335 secs
lola: 7386052 markings, 60858513 edges, 5676 markings/sec, 1340 secs
lola: 7412343 markings, 61086225 edges, 5258 markings/sec, 1345 secs
lola: 7438839 markings, 61313962 edges, 5299 markings/sec, 1350 secs
lola: 7462545 markings, 61540188 edges, 4741 markings/sec, 1355 secs
lola: 7487277 markings, 61767654 edges, 4946 markings/sec, 1360 secs
lola: 7512140 markings, 61995545 edges, 4973 markings/sec, 1365 secs
lola: 7535687 markings, 62222784 edges, 4709 markings/sec, 1370 secs
lola: 7561377 markings, 62450284 edges, 5138 markings/sec, 1375 secs
lola: 7585498 markings, 62678139 edges, 4824 markings/sec, 1380 secs
lola: 7611026 markings, 62905748 edges, 5106 markings/sec, 1385 secs
lola: 7638763 markings, 63133688 edges, 5547 markings/sec, 1390 secs
lola: 7664942 markings, 63361247 edges, 5236 markings/sec, 1395 secs
lola: 7694406 markings, 63588970 edges, 5893 markings/sec, 1400 secs
lola: 7720687 markings, 63816710 edges, 5256 markings/sec, 1405 secs
lola: 7746917 markings, 64044469 edges, 5246 markings/sec, 1410 secs
lola: 7771014 markings, 64272106 edges, 4819 markings/sec, 1415 secs
lola: 7795538 markings, 64499509 edges, 4905 markings/sec, 1420 secs
lola: 7820593 markings, 64727027 edges, 5011 markings/sec, 1425 secs
lola: 7844340 markings, 64954376 edges, 4749 markings/sec, 1430 secs
lola: 7869601 markings, 65181775 edges, 5052 markings/sec, 1435 secs
lola: 7893670 markings, 65409033 edges, 4814 markings/sec, 1440 secs
lola: 7918095 markings, 65636320 edges, 4885 markings/sec, 1445 secs
lola: 7943620 markings, 65864317 edges, 5105 markings/sec, 1450 secs
lola: 7967253 markings, 66092251 edges, 4727 markings/sec, 1455 secs
lola: 7989431 markings, 66304803 edges, 4436 markings/sec, 1460 secs
lola: 8014733 markings, 66532552 edges, 5060 markings/sec, 1465 secs
lola: 8044979 markings, 66760401 edges, 6049 markings/sec, 1470 secs
lola: 8072953 markings, 66988782 edges, 5595 markings/sec, 1475 secs
lola: 8099143 markings, 67216278 edges, 5238 markings/sec, 1480 secs
lola: 8125936 markings, 67443245 edges, 5359 markings/sec, 1485 secs
lola: 8152195 markings, 67669658 edges, 5252 markings/sec, 1490 secs
lola: 8176901 markings, 67896612 edges, 4941 markings/sec, 1495 secs
lola: 8200280 markings, 68123333 edges, 4676 markings/sec, 1500 secs
lola: 8226286 markings, 68349961 edges, 5201 markings/sec, 1505 secs
lola: 8250063 markings, 68576737 edges, 4755 markings/sec, 1510 secs
lola: 8274669 markings, 68803252 edges, 4921 markings/sec, 1515 secs
lola: 8299464 markings, 69030248 edges, 4959 markings/sec, 1520 secs
lola: 8323009 markings, 69257012 edges, 4709 markings/sec, 1525 secs
lola: 8346428 markings, 69483846 edges, 4684 markings/sec, 1530 secs
lola: 8368091 markings, 69710585 edges, 4333 markings/sec, 1535 secs
lola: 8389472 markings, 69937054 edges, 4276 markings/sec, 1540 secs
lola: 8413008 markings, 70163557 edges, 4707 markings/sec, 1545 secs
lola: 8434441 markings, 70390068 edges, 4287 markings/sec, 1550 secs
lola: 8456624 markings, 70616401 edges, 4437 markings/sec, 1555 secs
lola: 8482101 markings, 70843156 edges, 5095 markings/sec, 1560 secs
lola: 8505502 markings, 71069893 edges, 4680 markings/sec, 1565 secs
lola: 8529160 markings, 71296550 edges, 4732 markings/sec, 1570 secs
lola: 8551131 markings, 71523196 edges, 4394 markings/sec, 1575 secs
lola: 8572445 markings, 71749443 edges, 4263 markings/sec, 1580 secs
lola: 8595386 markings, 71975683 edges, 4588 markings/sec, 1585 secs
lola: 8617002 markings, 72202067 edges, 4323 markings/sec, 1590 secs
lola: 8638331 markings, 72428140 edges, 4266 markings/sec, 1595 secs
lola: 8664417 markings, 72655134 edges, 5217 markings/sec, 1600 secs
lola: 8688169 markings, 72882116 edges, 4750 markings/sec, 1605 secs
lola: 8711661 markings, 73108848 edges, 4698 markings/sec, 1610 secs
lola: 8733987 markings, 73335328 edges, 4465 markings/sec, 1615 secs
lola: 8755388 markings, 73561593 edges, 4280 markings/sec, 1620 secs
lola: 8778037 markings, 73787778 edges, 4530 markings/sec, 1625 secs
lola: 8799975 markings, 74014289 edges, 4388 markings/sec, 1630 secs
lola: 8821297 markings, 74240556 edges, 4264 markings/sec, 1635 secs
lola: 8846399 markings, 74467508 edges, 5020 markings/sec, 1640 secs
lola: 8870512 markings, 74694573 edges, 4823 markings/sec, 1645 secs
lola: 8894252 markings, 74921468 edges, 4748 markings/sec, 1650 secs
lola: 8917062 markings, 75148558 edges, 4562 markings/sec, 1655 secs
lola: 8938474 markings, 75375473 edges, 4282 markings/sec, 1660 secs
lola: 8960723 markings, 75602248 edges, 4450 markings/sec, 1665 secs
lola: 8983138 markings, 75829185 edges, 4483 markings/sec, 1670 secs
lola: 9004537 markings, 76055770 edges, 4280 markings/sec, 1675 secs
lola: 9027295 markings, 76282541 edges, 4552 markings/sec, 1680 secs
lola: 9049208 markings, 76509661 edges, 4383 markings/sec, 1685 secs
lola: 9070536 markings, 76736475 edges, 4266 markings/sec, 1690 secs
lola: 9095975 markings, 76963714 edges, 5088 markings/sec, 1695 secs
lola: 9119933 markings, 77190863 edges, 4792 markings/sec, 1700 secs
lola: 9144481 markings, 77417983 edges, 4910 markings/sec, 1705 secs
lola: 9169359 markings, 77645180 edges, 4976 markings/sec, 1710 secs
lola: 9193015 markings, 77872287 edges, 4731 markings/sec, 1715 secs
lola: 9216385 markings, 78099490 edges, 4674 markings/sec, 1720 secs
lola: 9238204 markings, 78326572 edges, 4364 markings/sec, 1725 secs
lola: 9259631 markings, 78553480 edges, 4285 markings/sec, 1730 secs
lola: 9283140 markings, 78780399 edges, 4702 markings/sec, 1735 secs
lola: 9304595 markings, 79007131 edges, 4291 markings/sec, 1740 secs
lola: 9326392 markings, 79233858 edges, 4359 markings/sec, 1745 secs
lola: 9349528 markings, 79461067 edges, 4627 markings/sec, 1750 secs
lola: 9371010 markings, 79687823 edges, 4296 markings/sec, 1755 secs
lola: 9393141 markings, 79914643 edges, 4426 markings/sec, 1760 secs
lola: 9415799 markings, 80142090 edges, 4532 markings/sec, 1765 secs
lola: 9437190 markings, 80369312 edges, 4278 markings/sec, 1770 secs
lola: 9458551 markings, 80596404 edges, 4272 markings/sec, 1775 secs
lola: 9481288 markings, 80823806 edges, 4547 markings/sec, 1780 secs
lola: 9506447 markings, 81051314 edges, 5032 markings/sec, 1785 secs
lola: 9537662 markings, 81280056 edges, 6243 markings/sec, 1790 secs
lola: 9575681 markings, 81507433 edges, 7604 markings/sec, 1795 secs
lola: 9612620 markings, 81734258 edges, 7388 markings/sec, 1800 secs
lola: 9645061 markings, 81961926 edges, 6488 markings/sec, 1805 secs
lola: 9679419 markings, 82188839 edges, 6872 markings/sec, 1810 secs
lola: 9712638 markings, 82416028 edges, 6644 markings/sec, 1815 secs
lola: 9745273 markings, 82643476 edges, 6527 markings/sec, 1820 secs
lola: 9779636 markings, 82869956 edges, 6873 markings/sec, 1825 secs
lola: 9810693 markings, 83097318 edges, 6211 markings/sec, 1830 secs
lola: 9839037 markings, 83324950 edges, 5669 markings/sec, 1835 secs
lola: 9872465 markings, 83551655 edges, 6686 markings/sec, 1840 secs
lola: 9905978 markings, 83778598 edges, 6703 markings/sec, 1845 secs
lola: 9938317 markings, 84006523 edges, 6468 markings/sec, 1850 secs
lola: 9972622 markings, 84233054 edges, 6861 markings/sec, 1855 secs
lola: 10004413 markings, 84460009 edges, 6358 markings/sec, 1860 secs
lola: 10032837 markings, 84686997 edges, 5685 markings/sec, 1865 secs
lola: 10062414 markings, 84913952 edges, 5915 markings/sec, 1870 secs
lola: 10090626 markings, 85141305 edges, 5642 markings/sec, 1875 secs
lola: 10120690 markings, 85367965 edges, 6013 markings/sec, 1880 secs
lola: 10149859 markings, 85595186 edges, 5834 markings/sec, 1885 secs
lola: 10178517 markings, 85822272 edges, 5732 markings/sec, 1890 secs
lola: 10205941 markings, 86049645 edges, 5485 markings/sec, 1895 secs
lola: 10230861 markings, 86277133 edges, 4984 markings/sec, 1900 secs
lola: 10259956 markings, 86504061 edges, 5819 markings/sec, 1905 secs
lola: 10288259 markings, 86730917 edges, 5661 markings/sec, 1910 secs
lola: 10318298 markings, 86958693 edges, 6008 markings/sec, 1915 secs
lola: 10349010 markings, 87186360 edges, 6142 markings/sec, 1920 secs
lola: 10381541 markings, 87414015 edges, 6506 markings/sec, 1925 secs
lola: 10415827 markings, 87640479 edges, 6857 markings/sec, 1930 secs
lola: 10447233 markings, 87867529 edges, 6281 markings/sec, 1935 secs
lola: 10475545 markings, 88094775 edges, 5662 markings/sec, 1940 secs
lola: 10505479 markings, 88321876 edges, 5987 markings/sec, 1945 secs
lola: 10533946 markings, 88549486 edges, 5693 markings/sec, 1950 secs
lola: 10563810 markings, 88776460 edges, 5973 markings/sec, 1955 secs
lola: 10592983 markings, 89003870 edges, 5835 markings/sec, 1960 secs
lola: 10621468 markings, 89231374 edges, 5697 markings/sec, 1965 secs
lola: 10648980 markings, 89459131 edges, 5502 markings/sec, 1970 secs
lola: 10673979 markings, 89687052 edges, 5000 markings/sec, 1975 secs
lola: 10703285 markings, 89914131 edges, 5861 markings/sec, 1980 secs
lola: 10731930 markings, 90141302 edges, 5729 markings/sec, 1985 secs
lola: 10761622 markings, 90369298 edges, 5938 markings/sec, 1990 secs
lola: 10790694 markings, 90596906 edges, 5814 markings/sec, 1995 secs
lola: 10818963 markings, 90823767 edges, 5654 markings/sec, 2000 secs
lola: 10846388 markings, 91050723 edges, 5485 markings/sec, 2005 secs
lola: 10871443 markings, 91278002 edges, 5011 markings/sec, 2010 secs
lola: 10897999 markings, 91505218 edges, 5311 markings/sec, 2015 secs
lola: 10923121 markings, 91732996 edges, 5024 markings/sec, 2020 secs
lola: 10949788 markings, 91960181 edges, 5333 markings/sec, 2025 secs
lola: 10974826 markings, 92187758 edges, 5008 markings/sec, 2030 secs
lola: 11001271 markings, 92414725 edges, 5289 markings/sec, 2035 secs
lola: 11026411 markings, 92642066 edges, 5028 markings/sec, 2040 secs
lola: 11049852 markings, 92868926 edges, 4688 markings/sec, 2045 secs
lola: 11072336 markings, 93096532 edges, 4497 markings/sec, 2050 secs
lola: 11098896 markings, 93322965 edges, 5312 markings/sec, 2055 secs
lola: 11124337 markings, 93550057 edges, 5088 markings/sec, 2060 secs
lola: 11150618 markings, 93778111 edges, 5256 markings/sec, 2065 secs
lola: 11177142 markings, 94005989 edges, 5305 markings/sec, 2070 secs
lola: 11206338 markings, 94233765 edges, 5839 markings/sec, 2075 secs
lola: 11238167 markings, 94461692 edges, 6366 markings/sec, 2080 secs
lola: 11271076 markings, 94689834 edges, 6582 markings/sec, 2085 secs
lola: 11310027 markings, 94916724 edges, 7790 markings/sec, 2090 secs
lola: 11344625 markings, 95144032 edges, 6920 markings/sec, 2095 secs
lola: 11378599 markings, 95371082 edges, 6795 markings/sec, 2100 secs
lola: 11413354 markings, 95597525 edges, 6951 markings/sec, 2105 secs
lola: 11447231 markings, 95823894 edges, 6775 markings/sec, 2110 secs
lola: 11476875 markings, 96049681 edges, 5929 markings/sec, 2115 secs
lola: 11509375 markings, 96275150 edges, 6500 markings/sec, 2120 secs
lola: 11538985 markings, 96500597 edges, 5922 markings/sec, 2125 secs
lola: 11571503 markings, 96726328 edges, 6504 markings/sec, 2130 secs
lola: 11601208 markings, 96952451 edges, 5941 markings/sec, 2135 secs
lola: 11630672 markings, 97178521 edges, 5893 markings/sec, 2140 secs
lola: 11657525 markings, 97404875 edges, 5371 markings/sec, 2145 secs
lola: 11685181 markings, 97630749 edges, 5531 markings/sec, 2150 secs
lola: 11712120 markings, 97856784 edges, 5388 markings/sec, 2155 secs
lola: 11739855 markings, 98082099 edges, 5547 markings/sec, 2160 secs
lola: 11771428 markings, 98307686 edges, 6315 markings/sec, 2165 secs
lola: 11801302 markings, 98532727 edges, 5975 markings/sec, 2170 secs
lola: 11829358 markings, 98758629 edges, 5611 markings/sec, 2175 secs
lola: 11855364 markings, 98983862 edges, 5201 markings/sec, 2180 secs
lola: 11884330 markings, 99208999 edges, 5793 markings/sec, 2185 secs
lola: 11910535 markings, 99434296 edges, 5241 markings/sec, 2190 secs
lola: 11940866 markings, 99659567 edges, 6066 markings/sec, 2195 secs
lola: 11971324 markings, 99885450 edges, 6092 markings/sec, 2200 secs
lola: 12000534 markings, 100111128 edges, 5842 markings/sec, 2205 secs
lola: 12027535 markings, 100337111 edges, 5400 markings/sec, 2210 secs
lola: 12055012 markings, 100562641 edges, 5495 markings/sec, 2215 secs
lola: 12082344 markings, 100788248 edges, 5466 markings/sec, 2220 secs
lola: 12108537 markings, 101013505 edges, 5239 markings/sec, 2225 secs
lola: 12141246 markings, 101239368 edges, 6542 markings/sec, 2230 secs
lola: 12170597 markings, 101464772 edges, 5870 markings/sec, 2235 secs
lola: 12199737 markings, 101690941 edges, 5828 markings/sec, 2240 secs
lola: 12225817 markings, 101916861 edges, 5216 markings/sec, 2245 secs
lola: 12254363 markings, 102142474 edges, 5709 markings/sec, 2250 secs
lola: 12280928 markings, 102367956 edges, 5313 markings/sec, 2255 secs
lola: 12308573 markings, 102593212 edges, 5529 markings/sec, 2260 secs
lola: 12335334 markings, 102819241 edges, 5352 markings/sec, 2265 secs
lola: 12363641 markings, 103044473 edges, 5661 markings/sec, 2270 secs
lola: 12394630 markings, 103270373 edges, 6198 markings/sec, 2275 secs
lola: 12425806 markings, 103495873 edges, 6235 markings/sec, 2280 secs
lola: 12456741 markings, 103721204 edges, 6187 markings/sec, 2285 secs
lola: 12486901 markings, 103946527 edges, 6032 markings/sec, 2290 secs
lola: 12514817 markings, 104172132 edges, 5583 markings/sec, 2295 secs
lola: 12540656 markings, 104397343 edges, 5168 markings/sec, 2300 secs
lola: 12569666 markings, 104622203 edges, 5802 markings/sec, 2305 secs
lola: 12595708 markings, 104847298 edges, 5208 markings/sec, 2310 secs
lola: 12623766 markings, 105072615 edges, 5612 markings/sec, 2315 secs
lola: 12650742 markings, 105298429 edges, 5395 markings/sec, 2320 secs
lola: 12678104 markings, 105523866 edges, 5472 markings/sec, 2325 secs
lola: 12705294 markings, 105749477 edges, 5438 markings/sec, 2330 secs
lola: 12731675 markings, 105974610 edges, 5276 markings/sec, 2335 secs
lola: 12759172 markings, 106200219 edges, 5499 markings/sec, 2340 secs
lola: 12790916 markings, 106425994 edges, 6349 markings/sec, 2345 secs
lola: 12824981 markings, 106651221 edges, 6813 markings/sec, 2350 secs
lola: 12855809 markings, 106877452 edges, 6166 markings/sec, 2355 secs
lola: 12883919 markings, 107104255 edges, 5622 markings/sec, 2360 secs
lola: 12913582 markings, 107330568 edges, 5933 markings/sec, 2365 secs
lola: 12942437 markings, 107557017 edges, 5771 markings/sec, 2370 secs
lola: 12971165 markings, 107783298 edges, 5746 markings/sec, 2375 secs
lola: 13000358 markings, 108009485 edges, 5839 markings/sec, 2380 secs
lola: 13028356 markings, 108235980 edges, 5600 markings/sec, 2385 secs
lola: 13055026 markings, 108462162 edges, 5334 markings/sec, 2390 secs
lola: 13080243 markings, 108688924 edges, 5043 markings/sec, 2395 secs
lola: 13109743 markings, 108914336 edges, 5900 markings/sec, 2400 secs
lola: 13138510 markings, 109140764 edges, 5753 markings/sec, 2405 secs
lola: 13166612 markings, 109367943 edges, 5620 markings/sec, 2410 secs
lola: 13196375 markings, 109593741 edges, 5953 markings/sec, 2415 secs
lola: 13224398 markings, 109819845 edges, 5605 markings/sec, 2420 secs
lola: 13250380 markings, 110045887 edges, 5196 markings/sec, 2425 secs
lola: 13275844 markings, 110272103 edges, 5093 markings/sec, 2430 secs
lola: 13301572 markings, 110498058 edges, 5146 markings/sec, 2435 secs
lola: 13327254 markings, 110724525 edges, 5136 markings/sec, 2440 secs
lola: 13352588 markings, 110950476 edges, 5067 markings/sec, 2445 secs
lola: 13378241 markings, 111176802 edges, 5131 markings/sec, 2450 secs
lola: 13403470 markings, 111402896 edges, 5046 markings/sec, 2455 secs
lola: 13427826 markings, 111629122 edges, 4871 markings/sec, 2460 secs
lola: 13450514 markings, 111855535 edges, 4538 markings/sec, 2465 secs
lola: 13475407 markings, 112081854 edges, 4979 markings/sec, 2470 secs
lola: 13500220 markings, 112307650 edges, 4963 markings/sec, 2475 secs
lola: 13526641 markings, 112534573 edges, 5284 markings/sec, 2480 secs
lola: 13551598 markings, 112761443 edges, 4991 markings/sec, 2485 secs
lola: 13580843 markings, 112988015 edges, 5849 markings/sec, 2490 secs
lola: 13609578 markings, 113214549 edges, 5747 markings/sec, 2495 secs
lola: 13638391 markings, 113440310 edges, 5763 markings/sec, 2500 secs
lola: 13665532 markings, 113666582 edges, 5428 markings/sec, 2505 secs
lola: 13690528 markings, 113892818 edges, 4999 markings/sec, 2510 secs
lola: 13716831 markings, 114119097 edges, 5261 markings/sec, 2515 secs
lola: 13741654 markings, 114345574 edges, 4965 markings/sec, 2520 secs
lola: 13767999 markings, 114571806 edges, 5269 markings/sec, 2525 secs
lola: 13792853 markings, 114798385 edges, 4971 markings/sec, 2530 secs
lola: 13819292 markings, 115024606 edges, 5288 markings/sec, 2535 secs
lola: 13844141 markings, 115251109 edges, 4970 markings/sec, 2540 secs
lola: 13867585 markings, 115477450 edges, 4689 markings/sec, 2545 secs
lola: 13890011 markings, 115704270 edges, 4485 markings/sec, 2550 secs
lola: 13916249 markings, 115929977 edges, 5248 markings/sec, 2555 secs
lola: 13941702 markings, 116156066 edges, 5091 markings/sec, 2560 secs
lola: 13967638 markings, 116382952 edges, 5187 markings/sec, 2565 secs
lola: 13993236 markings, 116609576 edges, 5120 markings/sec, 2570 secs
lola: 14018684 markings, 116835229 edges, 5090 markings/sec, 2575 secs
lola: 14043250 markings, 117061238 edges, 4913 markings/sec, 2580 secs
lola: 14066046 markings, 117286776 edges, 4559 markings/sec, 2585 secs
lola: 14089104 markings, 117512891 edges, 4612 markings/sec, 2590 secs
lola: 14112127 markings, 117738993 edges, 4605 markings/sec, 2595 secs
lola: 14135007 markings, 117965463 edges, 4576 markings/sec, 2600 secs
lola: 14158124 markings, 118191404 edges, 4623 markings/sec, 2605 secs
lola: 14180884 markings, 118417405 edges, 4552 markings/sec, 2610 secs
lola: 14203952 markings, 118642890 edges, 4614 markings/sec, 2615 secs
lola: 14226283 markings, 118868600 edges, 4466 markings/sec, 2620 secs
lola: 14247466 markings, 119093907 edges, 4237 markings/sec, 2625 secs
lola: 14267660 markings, 119319750 edges, 4039 markings/sec, 2630 secs
lola: 14290820 markings, 119545317 edges, 4632 markings/sec, 2635 secs
lola: 14313099 markings, 119770998 edges, 4456 markings/sec, 2640 secs
lola: 14336908 markings, 119997545 edges, 4762 markings/sec, 2645 secs
lola: 14359205 markings, 120224147 edges, 4459 markings/sec, 2650 secs
lola: 14384854 markings, 120451015 edges, 5130 markings/sec, 2655 secs
lola: 14409722 markings, 120677847 edges, 4974 markings/sec, 2660 secs
lola: 14439044 markings, 120904996 edges, 5864 markings/sec, 2665 secs
lola: 14467819 markings, 121132622 edges, 5755 markings/sec, 2670 secs
lola: 14501469 markings, 121358414 edges, 6730 markings/sec, 2675 secs
lola: 14530661 markings, 121584146 edges, 5838 markings/sec, 2680 secs
lola: 14560707 markings, 121809056 edges, 6009 markings/sec, 2685 secs
lola: 14590157 markings, 122033778 edges, 5890 markings/sec, 2690 secs
lola: 14616777 markings, 122258724 edges, 5324 markings/sec, 2695 secs
lola: 14644110 markings, 122483325 edges, 5467 markings/sec, 2700 secs
lola: 14671865 markings, 122708160 edges, 5551 markings/sec, 2705 secs
lola: 14697649 markings, 122932873 edges, 5157 markings/sec, 2710 secs
lola: 14726640 markings, 123157595 edges, 5798 markings/sec, 2715 secs
lola: 14752649 markings, 123382464 edges, 5202 markings/sec, 2720 secs
lola: 14778714 markings, 123607305 edges, 5213 markings/sec, 2725 secs
lola: 14802489 markings, 123832127 edges, 4755 markings/sec, 2730 secs
lola: 14826152 markings, 124056098 edges, 4733 markings/sec, 2735 secs
lola: 14851778 markings, 124280222 edges, 5125 markings/sec, 2740 secs
lola: 14875159 markings, 124504635 edges, 4676 markings/sec, 2745 secs
lola: 14901414 markings, 124729367 edges, 5251 markings/sec, 2750 secs
lola: 14927888 markings, 124953490 edges, 5295 markings/sec, 2755 secs
lola: 14954403 markings, 125177476 edges, 5303 markings/sec, 2760 secs
lola: 14979363 markings, 125401186 edges, 4992 markings/sec, 2765 secs
lola: 15002605 markings, 125625098 edges, 4648 markings/sec, 2770 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes no yes unknown unknown no no no unknown yes yes no no no no
lola:
preliminary result: no yes no yes unknown unknown no no no unknown yes yes no no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no yes unknown unknown no no no unknown yes yes no no no no
lola: memory consumption: 2480744 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no yes unknown unknown no no no unknown yes yes no no no no
rslt: finished

BK_STOP 1589179072687

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-06b"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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