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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4618.230 3570179.00 3633425.00 9328.50 FFF?FFTF?FTT?TTF 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-158897552900131.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is AutoFlight-PT-96b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552900131
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.3K Mar 26 00:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 00:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 19:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 19:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 15:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 15:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 11:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 11:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.9M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589326839823

info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ AutoFlight-PT-96b @ 3570 seconds

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

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

FORMULA AutoFlight-PT-96b-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

FORMULA AutoFlight-PT-96b-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

FORMULA AutoFlight-PT-96b-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ AutoFlight-PT-96b

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

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

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

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

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 318
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (F (G ((F ((p6881 + 1 <= p4217)) AND X (X (G ((p3524 + 1 <= p74))))))))",
"processed_size": 73,
"rewrites": 121
},
"result":
{
"edges": 3693,
"markings": 3692,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"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": 353
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (F ((p2218 <= p2598))))",
"processed_size": 28,
"rewrites": 121
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 412
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (G ((p246 <= p6013))))",
"processed_size": 27,
"rewrites": 121
},
"result":
{
"edges": 3691,
"markings": 3691,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 11,
"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": 515
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "A (F (((1 <= p3050) OR (X ((1 <= p7716)) AND (X ((p741 + 1 <= p806)) U (p5750 <= p6102))))))",
"processed_size": 92,
"rewrites": 121
},
"result":
{
"edges": 3804,
"markings": 3804,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 12,
"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": 687
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(p2903 + 1 <= p228)",
"processed_size": 19,
"rewrites": 123
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2061
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "A (((F ((p3345 + 1 <= p4840)) U (p4840 <= p3345)) OR (p6176 <= 2)))",
"processed_size": 67,
"rewrites": 121
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 4102368,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X(G(**))) : FALSE : A(F(G((F(*) AND X(X(G(*))))))) : A(X(G((X((X(**) OR G(**))) OR F(**))))) : A(F(G(**))) : FALSE : A(((** OR F(**)) U X(TRUE))) : FALSE : A((G(**) OR X(G(*)))) : FALSE : A(F(**)) : A(X(F(**))) : A(((X(F(*)) R *) U (** U (X(**) U G(**))))) : TRUE : A(((F(**) U **) OR *)) : A(F((** OR (X(**) AND (X(**) U **)))))"
},
"net":
{
"arcs": 18200,
"conflict_clusters": 6918,
"places": 7894,
"places_significant": 7380,
"singleton_clusters": 0,
"transitions": 7868
},
"result":
{
"interim_value": "no no no unknown no no yes no unknown no yes yes unknown yes yes no ",
"preliminary_value": "no no no unknown no no yes no unknown no yes yes unknown yes yes 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: 15762/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 7894
lola: finding significant places
lola: 7894 places, 7868 transitions, 7380 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p7130)
lola: LP says that atomic proposition is always false: (3 <= p1040)
lola: LP says that atomic proposition is always false: (3 <= p1040)
lola: LP says that atomic proposition is always false: (2 <= p7162)
lola: LP says that atomic proposition is always false: (2 <= p7162)
lola: LP says that atomic proposition is always false: (3 <= p7212)
lola: LP says that atomic proposition is always false: (3 <= p5622)
lola: LP says that atomic proposition is always false: (3 <= p5622)
lola: LP says that atomic proposition is always false: (3 <= p3652)
lola: LP says that atomic proposition is always false: (3 <= p5146)
lola: LP says that atomic proposition is always false: (3 <= p5881)
lola: LP says that atomic proposition is always false: (2 <= p2992)
lola: LP says that atomic proposition is always false: (3 <= p2262)
lola: LP says that atomic proposition is always false: (3 <= p1877)
lola: LP says that atomic proposition is always false: (3 <= p1877)
lola: LP says that atomic proposition is always false: (3 <= p1877)
lola: A (X (G (((p246 <= p6013) OR X ((3 <= p7130)))))) : A (X ((X (G ((p2734 <= p6446))) AND ((3 <= p1040) OR F ((3 <= p1040)))))) : A (F (NOT(X (G (F (G (F ((G ((p4217 <= p6881)) OR F (X (X ((p74 <= p3524))))))))))))) : A (X (G ((X ((X ((p6337 <= p4814)) OR G ((p7720 <= p5305)))) OR F ((p6337 <= p4814)))))) : A (X (F (G (NOT(((F ((2 <= p7162)) U (2 <= p7162)) OR NOT(((p5554 + 1 <= p2437) OR F ((3 <= p7212)))))))))) : A (X ((F (G ((3 <= p5622))) AND ((G ((p4669 <= p1576)) OR F ((3 <= p5622))) U NOT(F ((p1869 <= p4360))))))) : A ((((p5121 + 1 <= p239) OR F ((1 <= p6445))) U (F (((p2360 <= p139) U X ((0 <= p3345)))) AND X (G ((0 <= p3345)))))) : A ((NOT(F ((F ((p1197 <= p4068)) OR F ((p7276 <= p2004))))) U X ((3 <= p3652)))) : A ((G ((p647 <= p3989)) OR NOT(((3 <= p5146) OR NOT(X (NOT(F ((p2108 <= p5143))))))))) : A (((p3280 <= p394) AND NOT((() OR (F (X (F ((3 <= p5881)))) U F ((2 <= p2992))))))) : A (F ((p228 <= p2903))) : A (F ((F (((p882 <= p1390) U X ((p2218 <= p2598)))) OR F ((3 <= p2262))))) : A ((NOT((G (X ((p921 <= p1582))) U (2 <= p5185))) U ((2 <= p5185) U (X ((p921 <= p1582)) U G ((p5127 <= p3321)))))) : A (((F ((p147 <= p3146)) OR G (())) OR G ((G ((0 <= p19)) U (p1105 + 1 <= p3381))))) : A (((F (((3 <= p1877) U (p3345 + 1 <= p4840))) U ((3 <= p1877) U (p4840 <= p3345))) OR NOT((X ((3 <= p1877)) U (3 <= p6176))))) : A (((1 <= p7716) U F (((1 <= p3050) OR (X ((1 <= p7716)) AND (X ((p741 + 1 <= p806)) U (p5750 <= p6102)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:122
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:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 198 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 227 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 244 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 265 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 289 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((p5121 + 1 <= p239) OR F ((1 <= p6445))) U X (TRUE)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((((p5121 + 1 <= p239) OR F ((1 <= p6445))) U X (TRUE)))
lola: processed formula length: 58
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: 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 6 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F ((p6881 + 1 <= p4217)) AND X (X (G ((p3524 + 1 <= p74))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F ((p6881 + 1 <= p4217)) AND X (X (G ((p3524 + 1 <= p74))))))))
lola: processed formula length: 73
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3692 markings, 3693 edges
lola: ========================================
lola: subprocess 7 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G ((p647 <= p3989)) OR X (G ((p5143 + 1 <= p2108)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((p647 <= p3989)) OR X (G ((p5143 + 1 <= p2108)))))
lola: processed formula length: 57
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 18158 markings, 74596 edges, 3632 markings/sec, 0 secs
lola: 31561 markings, 150597 edges, 2681 markings/sec, 5 secs
lola: 45143 markings, 225754 edges, 2716 markings/sec, 10 secs
lola: 56590 markings, 301211 edges, 2289 markings/sec, 15 secs
lola: 69440 markings, 376630 edges, 2570 markings/sec, 20 secs
lola: 82271 markings, 452423 edges, 2566 markings/sec, 25 secs
lola: 95132 markings, 528199 edges, 2572 markings/sec, 30 secs
lola: 107938 markings, 603602 edges, 2561 markings/sec, 35 secs
lola: 120692 markings, 678992 edges, 2551 markings/sec, 40 secs
lola: 132617 markings, 754383 edges, 2385 markings/sec, 45 secs
lola: 144259 markings, 829834 edges, 2328 markings/sec, 50 secs
lola: 155784 markings, 905314 edges, 2305 markings/sec, 55 secs
lola: 165432 markings, 980980 edges, 1930 markings/sec, 60 secs
lola: 176265 markings, 1056868 edges, 2167 markings/sec, 65 secs
lola: 187253 markings, 1132410 edges, 2198 markings/sec, 70 secs
lola: 198287 markings, 1208280 edges, 2207 markings/sec, 75 secs
lola: 209223 markings, 1283827 edges, 2187 markings/sec, 80 secs
lola: 220260 markings, 1359564 edges, 2207 markings/sec, 85 secs
lola: 232200 markings, 1435074 edges, 2388 markings/sec, 90 secs
lola: 244130 markings, 1510524 edges, 2386 markings/sec, 95 secs
lola: 255869 markings, 1585874 edges, 2348 markings/sec, 100 secs
lola: 267287 markings, 1661489 edges, 2284 markings/sec, 105 secs
lola: 277124 markings, 1737481 edges, 1967 markings/sec, 110 secs
lola: 287903 markings, 1813100 edges, 2156 markings/sec, 115 secs
lola: 298815 markings, 1888475 edges, 2182 markings/sec, 120 secs
lola: 309759 markings, 1964052 edges, 2189 markings/sec, 125 secs
lola: 320704 markings, 2039531 edges, 2189 markings/sec, 130 secs
lola: 331662 markings, 2114928 edges, 2192 markings/sec, 135 secs
lola: 342825 markings, 2190360 edges, 2233 markings/sec, 140 secs
lola: 353329 markings, 2266162 edges, 2101 markings/sec, 145 secs
lola: 363121 markings, 2342678 edges, 1958 markings/sec, 150 secs
lola: 373999 markings, 2419030 edges, 2176 markings/sec, 155 secs
lola: 382593 markings, 2495218 edges, 1719 markings/sec, 160 secs
lola: 391982 markings, 2571372 edges, 1878 markings/sec, 165 secs
lola: 401632 markings, 2647480 edges, 1930 markings/sec, 170 secs
lola: 411056 markings, 2723631 edges, 1885 markings/sec, 175 secs
lola: 420729 markings, 2799694 edges, 1935 markings/sec, 180 secs
lola: 430384 markings, 2875904 edges, 1931 markings/sec, 185 secs
lola: 440260 markings, 2952119 edges, 1975 markings/sec, 190 secs
lola: 450576 markings, 3028552 edges, 2063 markings/sec, 195 secs
lola: 463103 markings, 3104926 edges, 2505 markings/sec, 200 secs
lola: 474346 markings, 3181471 edges, 2249 markings/sec, 205 secs
lola: 486806 markings, 3257859 edges, 2492 markings/sec, 210 secs
lola: 496369 markings, 3334620 edges, 1913 markings/sec, 215 secs
lola: 507298 markings, 3411283 edges, 2186 markings/sec, 220 secs
lola: 518384 markings, 3487772 edges, 2217 markings/sec, 225 secs
lola: 529509 markings, 3564244 edges, 2225 markings/sec, 230 secs
lola: 540762 markings, 3640821 edges, 2251 markings/sec, 235 secs
lola: 551964 markings, 3717353 edges, 2240 markings/sec, 240 secs
lola: 563743 markings, 3793906 edges, 2356 markings/sec, 245 secs
lola: 576016 markings, 3870455 edges, 2455 markings/sec, 250 secs
lola: 587610 markings, 3946862 edges, 2319 markings/sec, 255 secs
lola: 599504 markings, 4023255 edges, 2379 markings/sec, 260 secs
lola: 609127 markings, 4099861 edges, 1925 markings/sec, 265 secs
lola: 620153 markings, 4176316 edges, 2205 markings/sec, 270 secs
lola: 631255 markings, 4252983 edges, 2220 markings/sec, 275 secs
lola: 642376 markings, 4329456 edges, 2224 markings/sec, 280 secs
lola: 653509 markings, 4406050 edges, 2227 markings/sec, 285 secs
lola: 664674 markings, 4482722 edges, 2233 markings/sec, 290 secs
lola: 676789 markings, 4559573 edges, 2423 markings/sec, 295 secs
lola: 688849 markings, 4636135 edges, 2412 markings/sec, 300 secs
lola: 700838 markings, 4712660 edges, 2398 markings/sec, 305 secs
lola: 712242 markings, 4789180 edges, 2281 markings/sec, 310 secs
lola: 722304 markings, 4865839 edges, 2012 markings/sec, 315 secs
lola: 733303 markings, 4942485 edges, 2200 markings/sec, 320 secs
lola: 744245 markings, 5019036 edges, 2188 markings/sec, 325 secs
lola: 755401 markings, 5095617 edges, 2231 markings/sec, 330 secs
lola: 766517 markings, 5172249 edges, 2223 markings/sec, 335 secs
lola: 777627 markings, 5248970 edges, 2222 markings/sec, 340 secs
lola: 789961 markings, 5325531 edges, 2467 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown no yes no unknown no unknown unknown unknown yes unknown unknown
lola: memory consumption: 1092696 KB
lola: time consumption: 742 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((X ((X ((p6337 <= p4814)) OR G ((p7720 <= p5305)))) OR F ((p6337 <= p4814))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((X ((X ((p6337 <= p4814)) OR G ((p7720 <= p5305)))) OR F ((p6337 <= p4814))))))
lola: processed formula length: 88
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 18234 markings, 75054 edges, 3647 markings/sec, 0 secs
lola: 31520 markings, 150383 edges, 2657 markings/sec, 5 secs
lola: 45092 markings, 225305 edges, 2714 markings/sec, 10 secs
lola: 56474 markings, 300507 edges, 2276 markings/sec, 15 secs
lola: 69273 markings, 375593 edges, 2560 markings/sec, 20 secs
lola: 82091 markings, 451146 edges, 2564 markings/sec, 25 secs
lola: 94846 markings, 526491 edges, 2551 markings/sec, 30 secs
lola: 107622 markings, 601731 edges, 2555 markings/sec, 35 secs
lola: 120411 markings, 677072 edges, 2558 markings/sec, 40 secs
lola: 132384 markings, 752788 edges, 2395 markings/sec, 45 secs
lola: 144017 markings, 828371 edges, 2327 markings/sec, 50 secs
lola: 155607 markings, 903948 edges, 2318 markings/sec, 55 secs
lola: 165189 markings, 979527 edges, 1916 markings/sec, 60 secs
lola: 175989 markings, 1054953 edges, 2160 markings/sec, 65 secs
lola: 186915 markings, 1130201 edges, 2185 markings/sec, 70 secs
lola: 197936 markings, 1205921 edges, 2204 markings/sec, 75 secs
lola: 208907 markings, 1281460 edges, 2194 markings/sec, 80 secs
lola: 219948 markings, 1357078 edges, 2208 markings/sec, 85 secs
lola: 231951 markings, 1433138 edges, 2401 markings/sec, 90 secs
lola: 243881 markings, 1508547 edges, 2386 markings/sec, 95 secs
lola: 255622 markings, 1584410 edges, 2348 markings/sec, 100 secs
lola: 267107 markings, 1660012 edges, 2297 markings/sec, 105 secs
lola: 276776 markings, 1735452 edges, 1934 markings/sec, 110 secs
lola: 287555 markings, 1811173 edges, 2156 markings/sec, 115 secs
lola: 298596 markings, 1886942 edges, 2208 markings/sec, 120 secs
lola: 309585 markings, 1962691 edges, 2198 markings/sec, 125 secs
lola: 320527 markings, 2038281 edges, 2188 markings/sec, 130 secs
lola: 331534 markings, 2113905 edges, 2201 markings/sec, 135 secs
lola: 342728 markings, 2189576 edges, 2239 markings/sec, 140 secs
lola: 353258 markings, 2265589 edges, 2106 markings/sec, 145 secs
lola: 362817 markings, 2340889 edges, 1912 markings/sec, 150 secs
lola: 373630 markings, 2416469 edges, 2163 markings/sec, 155 secs
lola: 382238 markings, 2492019 edges, 1722 markings/sec, 160 secs
lola: 391490 markings, 2567497 edges, 1850 markings/sec, 165 secs
lola: 401114 markings, 2643124 edges, 1925 markings/sec, 170 secs
lola: 410408 markings, 2718492 edges, 1859 markings/sec, 175 secs
lola: 420044 markings, 2794410 edges, 1927 markings/sec, 180 secs
lola: 429784 markings, 2870585 edges, 1948 markings/sec, 185 secs
lola: 439546 markings, 2946432 edges, 1952 markings/sec, 190 secs
lola: 449410 markings, 3022508 edges, 1973 markings/sec, 195 secs
lola: 461992 markings, 3097821 edges, 2516 markings/sec, 200 secs
lola: 472741 markings, 3173314 edges, 2150 markings/sec, 205 secs
lola: 485527 markings, 3248782 edges, 2557 markings/sec, 210 secs
lola: 495146 markings, 3325212 edges, 1924 markings/sec, 215 secs
lola: 505835 markings, 3401312 edges, 2138 markings/sec, 220 secs
lola: 516841 markings, 3476969 edges, 2201 markings/sec, 225 secs
lola: 527988 markings, 3552323 edges, 2229 markings/sec, 230 secs
lola: 539008 markings, 3627886 edges, 2204 markings/sec, 235 secs
lola: 549973 markings, 3703639 edges, 2193 markings/sec, 240 secs
lola: 561267 markings, 3779281 edges, 2259 markings/sec, 245 secs
lola: 573728 markings, 3854620 edges, 2492 markings/sec, 250 secs
lola: 584616 markings, 3930186 edges, 2178 markings/sec, 255 secs
lola: 597179 markings, 4005648 edges, 2513 markings/sec, 260 secs
lola: 606618 markings, 4081165 edges, 1888 markings/sec, 265 secs
lola: 617291 markings, 4156788 edges, 2135 markings/sec, 270 secs
lola: 628250 markings, 4232133 edges, 2192 markings/sec, 275 secs
lola: 639424 markings, 4307968 edges, 2235 markings/sec, 280 secs
lola: 650438 markings, 4383365 edges, 2203 markings/sec, 285 secs
lola: 661479 markings, 4459408 edges, 2208 markings/sec, 290 secs
lola: 672858 markings, 4535123 edges, 2276 markings/sec, 295 secs
lola: 685259 markings, 4610623 edges, 2480 markings/sec, 300 secs
lola: 696277 markings, 4686284 edges, 2204 markings/sec, 305 secs
lola: 708738 markings, 4762058 edges, 2492 markings/sec, 310 secs
lola: 718219 markings, 4837948 edges, 1896 markings/sec, 315 secs
lola: 729009 markings, 4913762 edges, 2158 markings/sec, 320 secs
lola: 739950 markings, 4989180 edges, 2188 markings/sec, 325 secs
lola: 750981 markings, 5064799 edges, 2206 markings/sec, 330 secs
lola: 762176 markings, 5140803 edges, 2239 markings/sec, 335 secs
lola: 773215 markings, 5216583 edges, 2208 markings/sec, 340 secs
lola: 784593 markings, 5292173 edges, 2276 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown no yes no unknown no unknown unknown unknown yes unknown unknown
lola: memory consumption: 1086904 KB
lola: time consumption: 1095 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((p2218 <= p2598))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((p2218 <= p2598))))
lola: processed formula length: 28
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 2 markings, 1 edges
lola: ========================================
lola: subprocess 10 will run for 412 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((X (F ((p1582 + 1 <= p921))) R (p5185 <= 1)) U ((2 <= p5185) U (X ((p921 <= p1582)) U G ((p5127 <= p3321))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((X (F ((p1582 + 1 <= p921))) R (p5185 <= 1)) U ((2 <= p5185) U (X ((p921 <= p1582)) U G ((p5127 <= p3321))))))
lola: processed formula length: 114
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 31 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: 31552 markings, 73110 edges, 6310 markings/sec, 0 secs
lola: 55636 markings, 147160 edges, 4817 markings/sec, 5 secs
lola: 78541 markings, 221346 edges, 4581 markings/sec, 10 secs
lola: 99138 markings, 295892 edges, 4119 markings/sec, 15 secs
lola: 124353 markings, 370160 edges, 5043 markings/sec, 20 secs
lola: 148205 markings, 444422 edges, 4770 markings/sec, 25 secs
lola: 170241 markings, 519259 edges, 4407 markings/sec, 30 secs
lola: 188333 markings, 593804 edges, 3618 markings/sec, 35 secs
lola: 207717 markings, 668525 edges, 3877 markings/sec, 40 secs
lola: 229753 markings, 742929 edges, 4407 markings/sec, 45 secs
lola: 250819 markings, 817755 edges, 4213 markings/sec, 50 secs
lola: 273302 markings, 892060 edges, 4497 markings/sec, 55 secs
lola: 293937 markings, 966386 edges, 4127 markings/sec, 60 secs
lola: 316413 markings, 1040697 edges, 4495 markings/sec, 65 secs
lola: 336997 markings, 1115123 edges, 4117 markings/sec, 70 secs
lola: 359254 markings, 1189364 edges, 4451 markings/sec, 75 secs
lola: 380473 markings, 1263965 edges, 4244 markings/sec, 80 secs
lola: 401957 markings, 1338893 edges, 4297 markings/sec, 85 secs
lola: 424701 markings, 1413788 edges, 4549 markings/sec, 90 secs
lola: 445353 markings, 1488374 edges, 4130 markings/sec, 95 secs
lola: 468033 markings, 1562540 edges, 4536 markings/sec, 100 secs
lola: 488549 markings, 1637017 edges, 4103 markings/sec, 105 secs
lola: 510097 markings, 1711379 edges, 4310 markings/sec, 110 secs
lola: 528453 markings, 1786514 edges, 3671 markings/sec, 115 secs
lola: 547181 markings, 1860930 edges, 3746 markings/sec, 120 secs
lola: 569053 markings, 1935130 edges, 4374 markings/sec, 125 secs
lola: 589607 markings, 2009433 edges, 4111 markings/sec, 130 secs
lola: 609741 markings, 2083710 edges, 4027 markings/sec, 135 secs
lola: 626037 markings, 2158307 edges, 3259 markings/sec, 140 secs
lola: 642481 markings, 2233372 edges, 3289 markings/sec, 145 secs
lola: 661349 markings, 2308100 edges, 3774 markings/sec, 150 secs
lola: 679341 markings, 2382548 edges, 3598 markings/sec, 155 secs
lola: 698183 markings, 2457111 edges, 3768 markings/sec, 160 secs
lola: 717977 markings, 2531591 edges, 3959 markings/sec, 165 secs
lola: 736093 markings, 2606300 edges, 3623 markings/sec, 170 secs
lola: 755738 markings, 2680954 edges, 3929 markings/sec, 175 secs
lola: 774300 markings, 2755560 edges, 3712 markings/sec, 180 secs
lola: 792897 markings, 2830210 edges, 3719 markings/sec, 185 secs
lola: 812581 markings, 2904874 edges, 3937 markings/sec, 190 secs
lola: 830657 markings, 2979489 edges, 3615 markings/sec, 195 secs
lola: 849774 markings, 3053784 edges, 3823 markings/sec, 200 secs
lola: 869261 markings, 3128481 edges, 3897 markings/sec, 205 secs
lola: 887342 markings, 3203241 edges, 3616 markings/sec, 210 secs
lola: 908585 markings, 3277939 edges, 4249 markings/sec, 215 secs
lola: 929305 markings, 3352579 edges, 4144 markings/sec, 220 secs
lola: 950853 markings, 3427023 edges, 4310 markings/sec, 225 secs
lola: 969980 markings, 3501384 edges, 3825 markings/sec, 230 secs
lola: 988049 markings, 3575796 edges, 3614 markings/sec, 235 secs
lola: 1009511 markings, 3650357 edges, 4292 markings/sec, 240 secs
lola: 1030073 markings, 3724651 edges, 4112 markings/sec, 245 secs
lola: 1050893 markings, 3798947 edges, 4164 markings/sec, 250 secs
lola: 1067913 markings, 3873673 edges, 3404 markings/sec, 255 secs
lola: 1084073 markings, 3948550 edges, 3232 markings/sec, 260 secs
lola: 1102499 markings, 4023514 edges, 3685 markings/sec, 265 secs
lola: 1120865 markings, 4098405 edges, 3673 markings/sec, 270 secs
lola: 1139761 markings, 4173693 edges, 3779 markings/sec, 275 secs
lola: 1159565 markings, 4248374 edges, 3961 markings/sec, 280 secs
lola: 1177541 markings, 4323252 edges, 3595 markings/sec, 285 secs
lola: 1197013 markings, 4398022 edges, 3894 markings/sec, 290 secs
lola: 1216277 markings, 4472543 edges, 3853 markings/sec, 295 secs
lola: 1234341 markings, 4547294 edges, 3613 markings/sec, 300 secs
lola: 1254149 markings, 4621761 edges, 3962 markings/sec, 305 secs
lola: 1272268 markings, 4696546 edges, 3624 markings/sec, 310 secs
lola: 1291081 markings, 4771077 edges, 3763 markings/sec, 315 secs
lola: 1310913 markings, 4845811 edges, 3966 markings/sec, 320 secs
lola: 1329101 markings, 4920569 edges, 3638 markings/sec, 325 secs
lola: 1348701 markings, 4995059 edges, 3920 markings/sec, 330 secs
lola: 1367169 markings, 5069543 edges, 3694 markings/sec, 335 secs
lola: 1385753 markings, 5143964 edges, 3717 markings/sec, 340 secs
lola: 1403857 markings, 5218543 edges, 3621 markings/sec, 345 secs
lola: 1419869 markings, 5293177 edges, 3202 markings/sec, 350 secs
lola: 1436779 markings, 5367961 edges, 3382 markings/sec, 355 secs
lola: 1456029 markings, 5442401 edges, 3850 markings/sec, 360 secs
lola: 1473909 markings, 5516948 edges, 3576 markings/sec, 365 secs
lola: 1492709 markings, 5591722 edges, 3760 markings/sec, 370 secs
lola: 1508209 markings, 5666511 edges, 3100 markings/sec, 375 secs
lola: 1522604 markings, 5741340 edges, 2879 markings/sec, 380 secs
lola: 1537833 markings, 5816620 edges, 3046 markings/sec, 385 secs
lola: 1555461 markings, 5891860 edges, 3526 markings/sec, 390 secs
lola: 1571437 markings, 5966649 edges, 3195 markings/sec, 395 secs
lola: 1588401 markings, 6042287 edges, 3393 markings/sec, 400 secs
lola: 1606113 markings, 6117028 edges, 3542 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown no yes no unknown no unknown yes unknown yes unknown unknown
lola: memory consumption: 942884 KB
lola: time consumption: 1507 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 412 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((p246 <= p6013))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((p246 <= p6013))))
lola: processed formula length: 27
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3691 markings, 3691 edges
lola: ========================================
lola: subprocess 12 will run for 515 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p3050) OR (X ((1 <= p7716)) AND (X ((p741 + 1 <= p806)) U (p5750 <= p6102))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((1 <= p3050) OR (X ((1 <= p7716)) AND (X ((p741 + 1 <= p806)) U (p5750 <= p6102))))))
lola: processed formula length: 92
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3804 markings, 3804 edges
lola: ========================================
lola: subprocess 13 will run for 687 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p228 <= p2903)))
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: (p2903 + 1 <= p228)
lola: processed formula length: 19
lola: 123 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / 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: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1031 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p5554 + 1 <= p2437))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p5554 + 1 <= p2437))))
lola: processed formula length: 32
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3747 markings, 3748 edges
lola: ========================================
lola: subprocess 15 will run for 2061 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((F ((p3345 + 1 <= p4840)) U (p4840 <= p3345)) OR (p6176 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((F ((p3345 + 1 <= p4840)) U (p4840 <= p3345)) OR (p6176 <= 2)))
lola: processed formula length: 67
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A ((G ((p647 <= p3989)) OR X (G ((p5143 + 1 <= p2108)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((p647 <= p3989)) OR X (G ((p5143 + 1 <= p2108)))))
lola: processed formula length: 57
lola: 121 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 18215 markings, 74937 edges, 3643 markings/sec, 0 secs
lola: 31581 markings, 150696 edges, 2673 markings/sec, 5 secs
lola: 45155 markings, 225843 edges, 2715 markings/sec, 10 secs
lola: 56590 markings, 301211 edges, 2287 markings/sec, 15 secs
lola: 69414 markings, 376476 edges, 2565 markings/sec, 20 secs
lola: 82199 markings, 451912 edges, 2557 markings/sec, 25 secs
lola: 95021 markings, 527517 edges, 2564 markings/sec, 30 secs
lola: 107819 markings, 602861 edges, 2560 markings/sec, 35 secs
lola: 120605 markings, 678440 edges, 2557 markings/sec, 40 secs
lola: 132672 markings, 754772 edges, 2413 markings/sec, 45 secs
lola: 144464 markings, 831024 edges, 2358 markings/sec, 50 secs
lola: 156000 markings, 907017 edges, 2307 markings/sec, 55 secs
lola: 165682 markings, 982455 edges, 1936 markings/sec, 60 secs
lola: 176449 markings, 1058132 edges, 2153 markings/sec, 65 secs
lola: 187538 markings, 1134263 edges, 2218 markings/sec, 70 secs
lola: 198527 markings, 1210011 edges, 2198 markings/sec, 75 secs
lola: 209463 markings, 1285567 edges, 2187 markings/sec, 80 secs
lola: 220458 markings, 1361100 edges, 2199 markings/sec, 85 secs
lola: 232412 markings, 1436564 edges, 2391 markings/sec, 90 secs
lola: 244308 markings, 1511959 edges, 2379 markings/sec, 95 secs
lola: 256084 markings, 1587121 edges, 2355 markings/sec, 100 secs
lola: 267252 markings, 1661211 edges, 2234 markings/sec, 105 secs
lola: 276622 markings, 1734525 edges, 1874 markings/sec, 110 secs
lola: 287417 markings, 1810243 edges, 2159 markings/sec, 115 secs
lola: 298452 markings, 1886052 edges, 2207 markings/sec, 120 secs
lola: 309479 markings, 1961953 edges, 2205 markings/sec, 125 secs
lola: 320480 markings, 2037983 edges, 2200 markings/sec, 130 secs
lola: 331491 markings, 2113595 edges, 2202 markings/sec, 135 secs
lola: 342708 markings, 2189396 edges, 2243 markings/sec, 140 secs
lola: 353235 markings, 2265408 edges, 2105 markings/sec, 145 secs
lola: 362994 markings, 2341977 edges, 1952 markings/sec, 150 secs
lola: 373896 markings, 2418300 edges, 2180 markings/sec, 155 secs
lola: 382544 markings, 2494765 edges, 1730 markings/sec, 160 secs
lola: 391964 markings, 2571231 edges, 1884 markings/sec, 165 secs
lola: 401667 markings, 2647741 edges, 1941 markings/sec, 170 secs
lola: 411132 markings, 2724238 edges, 1893 markings/sec, 175 secs
lola: 420812 markings, 2800382 edges, 1936 markings/sec, 180 secs
lola: 430491 markings, 2876897 edges, 1936 markings/sec, 185 secs
lola: 440411 markings, 2953425 edges, 1984 markings/sec, 190 secs
lola: 450839 markings, 3030230 edges, 2086 markings/sec, 195 secs
lola: 463352 markings, 3106858 edges, 2503 markings/sec, 200 secs
lola: 474774 markings, 3183545 edges, 2284 markings/sec, 205 secs
lola: 487134 markings, 3260124 edges, 2472 markings/sec, 210 secs
lola: 496660 markings, 3336987 edges, 1905 markings/sec, 215 secs
lola: 507632 markings, 3413715 edges, 2194 markings/sec, 220 secs
lola: 518779 markings, 3490448 edges, 2229 markings/sec, 225 secs
lola: 529949 markings, 3567172 edges, 2234 markings/sec, 230 secs
lola: 541125 markings, 3643895 edges, 2235 markings/sec, 235 secs
lola: 552446 markings, 3720666 edges, 2264 markings/sec, 240 secs
lola: 564311 markings, 3797396 edges, 2373 markings/sec, 245 secs
lola: 576506 markings, 3874023 edges, 2439 markings/sec, 250 secs
lola: 588286 markings, 3950680 edges, 2356 markings/sec, 255 secs
lola: 600037 markings, 4027326 edges, 2350 markings/sec, 260 secs
lola: 609820 markings, 4104165 edges, 1957 markings/sec, 265 secs
lola: 620788 markings, 4180897 edges, 2194 markings/sec, 270 secs
lola: 631962 markings, 4257593 edges, 2235 markings/sec, 275 secs
lola: 643087 markings, 4334319 edges, 2225 markings/sec, 280 secs
lola: 654203 markings, 4411081 edges, 2223 markings/sec, 285 secs
lola: 665326 markings, 4487541 edges, 2225 markings/sec, 290 secs
lola: 677480 markings, 4564366 edges, 2431 markings/sec, 295 secs
lola: 689457 markings, 4641139 edges, 2395 markings/sec, 300 secs
lola: 701563 markings, 4717898 edges, 2421 markings/sec, 305 secs
lola: 712947 markings, 4794729 edges, 2277 markings/sec, 310 secs
lola: 723111 markings, 4871666 edges, 2033 markings/sec, 315 secs
lola: 734309 markings, 4948506 edges, 2240 markings/sec, 320 secs
lola: 745306 markings, 5025319 edges, 2199 markings/sec, 325 secs
lola: 756312 markings, 5102160 edges, 2201 markings/sec, 330 secs
lola: 767468 markings, 5179037 edges, 2231 markings/sec, 335 secs
lola: 778677 markings, 5255974 edges, 2242 markings/sec, 340 secs
lola: 791221 markings, 5332743 edges, 2509 markings/sec, 345 secs
lola: 802692 markings, 5409279 edges, 2294 markings/sec, 350 secs
lola: 815093 markings, 5485915 edges, 2480 markings/sec, 355 secs
lola: 825679 markings, 5562335 edges, 2117 markings/sec, 360 secs
lola: 836291 markings, 5638970 edges, 2122 markings/sec, 365 secs
lola: 847473 markings, 5715732 edges, 2236 markings/sec, 370 secs
lola: 858576 markings, 5792488 edges, 2221 markings/sec, 375 secs
lola: 869702 markings, 5869239 edges, 2225 markings/sec, 380 secs
lola: 880693 markings, 5946032 edges, 2198 markings/sec, 385 secs
lola: 891791 markings, 6022899 edges, 2220 markings/sec, 390 secs
lola: 902915 markings, 6099704 edges, 2225 markings/sec, 395 secs
lola: 912957 markings, 6176566 edges, 2008 markings/sec, 400 secs
lola: 923579 markings, 6253353 edges, 2124 markings/sec, 405 secs
lola: 933720 markings, 6330168 edges, 2028 markings/sec, 410 secs
lola: 942178 markings, 6407152 edges, 1692 markings/sec, 415 secs
lola: 951893 markings, 6483904 edges, 1943 markings/sec, 420 secs
lola: 961651 markings, 6560789 edges, 1952 markings/sec, 425 secs
lola: 971596 markings, 6637645 edges, 1989 markings/sec, 430 secs
lola: 981374 markings, 6714517 edges, 1956 markings/sec, 435 secs
lola: 990869 markings, 6791437 edges, 1899 markings/sec, 440 secs
lola: 1000662 markings, 6868411 edges, 1959 markings/sec, 445 secs
lola: 1011355 markings, 6945272 edges, 2139 markings/sec, 450 secs
lola: 1021884 markings, 7022100 edges, 2106 markings/sec, 455 secs
lola: 1032087 markings, 7098928 edges, 2041 markings/sec, 460 secs
lola: 1042710 markings, 7175664 edges, 2125 markings/sec, 465 secs
lola: 1051155 markings, 7252581 edges, 1689 markings/sec, 470 secs
lola: 1060671 markings, 7329478 edges, 1903 markings/sec, 475 secs
lola: 1070602 markings, 7406333 edges, 1986 markings/sec, 480 secs
lola: 1080378 markings, 7483188 edges, 1955 markings/sec, 485 secs
lola: 1089866 markings, 7560045 edges, 1898 markings/sec, 490 secs
lola: 1099643 markings, 7636929 edges, 1955 markings/sec, 495 secs
lola: 1109383 markings, 7713743 edges, 1948 markings/sec, 500 secs
lola: 1119352 markings, 7790684 edges, 1994 markings/sec, 505 secs
lola: 1128849 markings, 7867607 edges, 1899 markings/sec, 510 secs
lola: 1137330 markings, 7944501 edges, 1696 markings/sec, 515 secs
lola: 1146780 markings, 8021326 edges, 1890 markings/sec, 520 secs
lola: 1155811 markings, 8098206 edges, 1806 markings/sec, 525 secs
lola: 1163416 markings, 8175193 edges, 1521 markings/sec, 530 secs
lola: 1171966 markings, 8252107 edges, 1710 markings/sec, 535 secs
lola: 1180821 markings, 8329053 edges, 1771 markings/sec, 540 secs
lola: 1189293 markings, 8405964 edges, 1694 markings/sec, 545 secs
lola: 1197889 markings, 8482843 edges, 1719 markings/sec, 550 secs
lola: 1206746 markings, 8559758 edges, 1771 markings/sec, 555 secs
lola: 1215382 markings, 8636675 edges, 1727 markings/sec, 560 secs
lola: 1223862 markings, 8713693 edges, 1696 markings/sec, 565 secs
lola: 1234366 markings, 8790530 edges, 2101 markings/sec, 570 secs
lola: 1244727 markings, 8867344 edges, 2072 markings/sec, 575 secs
lola: 1255155 markings, 8944105 edges, 2086 markings/sec, 580 secs
lola: 1265594 markings, 9020863 edges, 2088 markings/sec, 585 secs
lola: 1274052 markings, 9097798 edges, 1692 markings/sec, 590 secs
lola: 1283574 markings, 9174657 edges, 1904 markings/sec, 595 secs
lola: 1293523 markings, 9251477 edges, 1990 markings/sec, 600 secs
lola: 1303276 markings, 9328291 edges, 1951 markings/sec, 605 secs
lola: 1312871 markings, 9405167 edges, 1919 markings/sec, 610 secs
lola: 1322534 markings, 9482010 edges, 1933 markings/sec, 615 secs
lola: 1332315 markings, 9558903 edges, 1956 markings/sec, 620 secs
lola: 1342951 markings, 9635724 edges, 2127 markings/sec, 625 secs
lola: 1353576 markings, 9712506 edges, 2125 markings/sec, 630 secs
lola: 1363452 markings, 9789431 edges, 1975 markings/sec, 635 secs
lola: 1374392 markings, 9866258 edges, 2188 markings/sec, 640 secs
lola: 1383024 markings, 9943244 edges, 1726 markings/sec, 645 secs
lola: 1392502 markings, 10020154 edges, 1896 markings/sec, 650 secs
lola: 1402283 markings, 10097008 edges, 1956 markings/sec, 655 secs
lola: 1411915 markings, 10173902 edges, 1926 markings/sec, 660 secs
lola: 1421550 markings, 10250794 edges, 1927 markings/sec, 665 secs
lola: 1431337 markings, 10327710 edges, 1957 markings/sec, 670 secs
lola: 1441281 markings, 10404695 edges, 1989 markings/sec, 675 secs
lola: 1451442 markings, 10481729 edges, 2032 markings/sec, 680 secs
lola: 1462358 markings, 10558718 edges, 2183 markings/sec, 685 secs
lola: 1471952 markings, 10635793 edges, 1919 markings/sec, 690 secs
lola: 1482921 markings, 10712720 edges, 2194 markings/sec, 695 secs
lola: 1492183 markings, 10789776 edges, 1852 markings/sec, 700 secs
lola: 1501454 markings, 10866851 edges, 1854 markings/sec, 705 secs
lola: 1511100 markings, 10943882 edges, 1929 markings/sec, 710 secs
lola: 1520736 markings, 11020857 edges, 1927 markings/sec, 715 secs
lola: 1530495 markings, 11097875 edges, 1952 markings/sec, 720 secs
lola: 1540466 markings, 11174889 edges, 1994 markings/sec, 725 secs
lola: 1550253 markings, 11251986 edges, 1957 markings/sec, 730 secs
lola: 1560060 markings, 11329157 edges, 1961 markings/sec, 735 secs
lola: 1572950 markings, 11405858 edges, 2578 markings/sec, 740 secs
lola: 1583942 markings, 11482732 edges, 2198 markings/sec, 745 secs
lola: 1596903 markings, 11559354 edges, 2592 markings/sec, 750 secs
lola: 1606570 markings, 11636265 edges, 1933 markings/sec, 755 secs
lola: 1617386 markings, 11713113 edges, 2163 markings/sec, 760 secs
lola: 1628580 markings, 11789961 edges, 2239 markings/sec, 765 secs
lola: 1639825 markings, 11866789 edges, 2249 markings/sec, 770 secs
lola: 1651108 markings, 11943655 edges, 2257 markings/sec, 775 secs
lola: 1662303 markings, 12020545 edges, 2239 markings/sec, 780 secs
lola: 1673441 markings, 12097479 edges, 2228 markings/sec, 785 secs
lola: 1684349 markings, 12174372 edges, 2182 markings/sec, 790 secs
lola: 1693961 markings, 12251339 edges, 1922 markings/sec, 795 secs
lola: 1704907 markings, 12328139 edges, 2189 markings/sec, 800 secs
lola: 1714216 markings, 12405050 edges, 1862 markings/sec, 805 secs
lola: 1723400 markings, 12482045 edges, 1837 markings/sec, 810 secs
lola: 1733044 markings, 12559003 edges, 1929 markings/sec, 815 secs
lola: 1742678 markings, 12635953 edges, 1927 markings/sec, 820 secs
lola: 1752471 markings, 12712940 edges, 1959 markings/sec, 825 secs
lola: 1762421 markings, 12789904 edges, 1990 markings/sec, 830 secs
lola: 1772183 markings, 12866925 edges, 1952 markings/sec, 835 secs
lola: 1781724 markings, 12944000 edges, 1908 markings/sec, 840 secs
lola: 1792920 markings, 13020856 edges, 2239 markings/sec, 845 secs
lola: 1802789 markings, 13097749 edges, 1974 markings/sec, 850 secs
lola: 1813418 markings, 13174573 edges, 2126 markings/sec, 855 secs
lola: 1823468 markings, 13251437 edges, 2010 markings/sec, 860 secs
lola: 1832155 markings, 13328444 edges, 1737 markings/sec, 865 secs
lola: 1841783 markings, 13405368 edges, 1926 markings/sec, 870 secs
lola: 1851537 markings, 13482319 edges, 1951 markings/sec, 875 secs
lola: 1861499 markings, 13559238 edges, 1992 markings/sec, 880 secs
lola: 1871262 markings, 13636202 edges, 1953 markings/sec, 885 secs
lola: 1880870 markings, 13713189 edges, 1922 markings/sec, 890 secs
lola: 1890557 markings, 13790213 edges, 1937 markings/sec, 895 secs
lola: 1900354 markings, 13867206 edges, 1959 markings/sec, 900 secs
lola: 1909738 markings, 13944161 edges, 1877 markings/sec, 905 secs
lola: 1918401 markings, 14021151 edges, 1733 markings/sec, 910 secs
lola: 1928014 markings, 14098001 edges, 1923 markings/sec, 915 secs
lola: 1936265 markings, 14175009 edges, 1650 markings/sec, 920 secs
lola: 1944404 markings, 14252076 edges, 1628 markings/sec, 925 secs
lola: 1952832 markings, 14329065 edges, 1686 markings/sec, 930 secs
lola: 1961520 markings, 14406075 edges, 1738 markings/sec, 935 secs
lola: 1970360 markings, 14483067 edges, 1768 markings/sec, 940 secs
lola: 1978820 markings, 14560084 edges, 1692 markings/sec, 945 secs
lola: 1987488 markings, 14637086 edges, 1734 markings/sec, 950 secs
lola: 1996353 markings, 14714141 edges, 1773 markings/sec, 955 secs
lola: 2005234 markings, 14791239 edges, 1776 markings/sec, 960 secs
lola: 2016227 markings, 14868148 edges, 2199 markings/sec, 965 secs
lola: 2026022 markings, 14945076 edges, 1959 markings/sec, 970 secs
lola: 2036756 markings, 15021904 edges, 2147 markings/sec, 975 secs
lola: 2046575 markings, 15098819 edges, 1964 markings/sec, 980 secs
lola: 2055507 markings, 15175858 edges, 1786 markings/sec, 985 secs
lola: 2064985 markings, 15252651 edges, 1896 markings/sec, 990 secs
lola: 2074715 markings, 15329307 edges, 1946 markings/sec, 995 secs
lola: 2084497 markings, 15405892 edges, 1956 markings/sec, 1000 secs
lola: 2094372 markings, 15482487 edges, 1975 markings/sec, 1005 secs
lola: 2103974 markings, 15559109 edges, 1920 markings/sec, 1010 secs
lola: 2113568 markings, 15635794 edges, 1919 markings/sec, 1015 secs
lola: 2124460 markings, 15712316 edges, 2178 markings/sec, 1020 secs
lola: 2134523 markings, 15788854 edges, 2013 markings/sec, 1025 secs
lola: 2145098 markings, 15865330 edges, 2115 markings/sec, 1030 secs
lola: 2155315 markings, 15941887 edges, 2043 markings/sec, 1035 secs
lola: 2163743 markings, 16018545 edges, 1686 markings/sec, 1040 secs
lola: 2173334 markings, 16095095 edges, 1918 markings/sec, 1045 secs
lola: 2183148 markings, 16171633 edges, 1963 markings/sec, 1050 secs
lola: 2192987 markings, 16248168 edges, 1968 markings/sec, 1055 secs
lola: 2202573 markings, 16324741 edges, 1917 markings/sec, 1060 secs
lola: 2212145 markings, 16401287 edges, 1914 markings/sec, 1065 secs
lola: 2221881 markings, 16477947 edges, 1947 markings/sec, 1070 secs
lola: 2232496 markings, 16554623 edges, 2123 markings/sec, 1075 secs
lola: 2243107 markings, 16631315 edges, 2122 markings/sec, 1080 secs
lola: 2253126 markings, 16708021 edges, 2004 markings/sec, 1085 secs
lola: 2263903 markings, 16784593 edges, 2155 markings/sec, 1090 secs
lola: 2272470 markings, 16861319 edges, 1713 markings/sec, 1095 secs
lola: 2281877 markings, 16938020 edges, 1881 markings/sec, 1100 secs
lola: 2291711 markings, 17014693 edges, 1967 markings/sec, 1105 secs
lola: 2301316 markings, 17091370 edges, 1921 markings/sec, 1110 secs
lola: 2310898 markings, 17167988 edges, 1916 markings/sec, 1115 secs
lola: 2320643 markings, 17244664 edges, 1949 markings/sec, 1120 secs
lola: 2330573 markings, 17321438 edges, 1986 markings/sec, 1125 secs
lola: 2340733 markings, 17398228 edges, 2032 markings/sec, 1130 secs
lola: 2351602 markings, 17474857 edges, 2174 markings/sec, 1135 secs
lola: 2361114 markings, 17551500 edges, 1902 markings/sec, 1140 secs
lola: 2372040 markings, 17627997 edges, 2185 markings/sec, 1145 secs
lola: 2381241 markings, 17704646 edges, 1840 markings/sec, 1150 secs
lola: 2390460 markings, 17781346 edges, 1844 markings/sec, 1155 secs
lola: 2400061 markings, 17857969 edges, 1920 markings/sec, 1160 secs
lola: 2409639 markings, 17934568 edges, 1916 markings/sec, 1165 secs
lola: 2419381 markings, 18011186 edges, 1948 markings/sec, 1170 secs
lola: 2429290 markings, 18087813 edges, 1982 markings/sec, 1175 secs
lola: 2439009 markings, 18164496 edges, 1944 markings/sec, 1180 secs
lola: 2448510 markings, 18241251 edges, 1900 markings/sec, 1185 secs
lola: 2458257 markings, 18317941 edges, 1949 markings/sec, 1190 secs
lola: 2467250 markings, 18394638 edges, 1799 markings/sec, 1195 secs
lola: 2476338 markings, 18471298 edges, 1818 markings/sec, 1200 secs
lola: 2485823 markings, 18547922 edges, 1897 markings/sec, 1205 secs
lola: 2493549 markings, 18624602 edges, 1545 markings/sec, 1210 secs
lola: 2501892 markings, 18701287 edges, 1669 markings/sec, 1215 secs
lola: 2510285 markings, 18777946 edges, 1679 markings/sec, 1220 secs
lola: 2518912 markings, 18854597 edges, 1725 markings/sec, 1225 secs
lola: 2527738 markings, 18931286 edges, 1765 markings/sec, 1230 secs
lola: 2536316 markings, 19007983 edges, 1716 markings/sec, 1235 secs
lola: 2544795 markings, 19084679 edges, 1696 markings/sec, 1240 secs
lola: 2553540 markings, 19161453 edges, 1749 markings/sec, 1245 secs
lola: 2562597 markings, 19238233 edges, 1811 markings/sec, 1250 secs
lola: 2572108 markings, 19314958 edges, 1902 markings/sec, 1255 secs
lola: 2580714 markings, 19391578 edges, 1721 markings/sec, 1260 secs
lola: 2590147 markings, 19468139 edges, 1887 markings/sec, 1265 secs
lola: 2599269 markings, 19544718 edges, 1824 markings/sec, 1270 secs
lola: 2606816 markings, 19621376 edges, 1509 markings/sec, 1275 secs
lola: 2615294 markings, 19698030 edges, 1696 markings/sec, 1280 secs
lola: 2624034 markings, 19774705 edges, 1748 markings/sec, 1285 secs
lola: 2632457 markings, 19851304 edges, 1685 markings/sec, 1290 secs
lola: 2641078 markings, 19927958 edges, 1724 markings/sec, 1295 secs
lola: 2649899 markings, 20004608 edges, 1764 markings/sec, 1300 secs
lola: 2658306 markings, 20081320 edges, 1681 markings/sec, 1305 secs
lola: 2666938 markings, 20158074 edges, 1726 markings/sec, 1310 secs
lola: 2675772 markings, 20234799 edges, 1767 markings/sec, 1315 secs
lola: 2684209 markings, 20311551 edges, 1687 markings/sec, 1320 secs
lola: 2691855 markings, 20388194 edges, 1529 markings/sec, 1325 secs
lola: 2700258 markings, 20464814 edges, 1681 markings/sec, 1330 secs
lola: 2708619 markings, 20541398 edges, 1672 markings/sec, 1335 secs
lola: 2715591 markings, 20618048 edges, 1394 markings/sec, 1340 secs
lola: 2723034 markings, 20694759 edges, 1489 markings/sec, 1345 secs
lola: 2730604 markings, 20771397 edges, 1514 markings/sec, 1350 secs
lola: 2738496 markings, 20848055 edges, 1578 markings/sec, 1355 secs
lola: 2746240 markings, 20924698 edges, 1549 markings/sec, 1360 secs
lola: 2753859 markings, 21001252 edges, 1524 markings/sec, 1365 secs
lola: 2761699 markings, 21077034 edges, 1568 markings/sec, 1370 secs
lola: 2769265 markings, 21153745 edges, 1513 markings/sec, 1375 secs
lola: 2777056 markings, 21230524 edges, 1558 markings/sec, 1380 secs
lola: 2785771 markings, 21307272 edges, 1743 markings/sec, 1385 secs
lola: 2795241 markings, 21383935 edges, 1894 markings/sec, 1390 secs
lola: 2803774 markings, 21460554 edges, 1707 markings/sec, 1395 secs
lola: 2813152 markings, 21537111 edges, 1876 markings/sec, 1400 secs
lola: 2822203 markings, 21613714 edges, 1810 markings/sec, 1405 secs
lola: 2829802 markings, 21690420 edges, 1520 markings/sec, 1410 secs
lola: 2838232 markings, 21766903 edges, 1686 markings/sec, 1415 secs
lola: 2847029 markings, 21843526 edges, 1759 markings/sec, 1420 secs
lola: 2855448 markings, 21920152 edges, 1684 markings/sec, 1425 secs
lola: 2864074 markings, 21996790 edges, 1725 markings/sec, 1430 secs
lola: 2872897 markings, 22073451 edges, 1765 markings/sec, 1435 secs
lola: 2881430 markings, 22150160 edges, 1707 markings/sec, 1440 secs
lola: 2889987 markings, 22226923 edges, 1711 markings/sec, 1445 secs
lola: 2899385 markings, 22303614 edges, 1880 markings/sec, 1450 secs
lola: 2908799 markings, 22380218 edges, 1883 markings/sec, 1455 secs
lola: 2917221 markings, 22456895 edges, 1684 markings/sec, 1460 secs
lola: 2926888 markings, 22533448 edges, 1933 markings/sec, 1465 secs
lola: 2935449 markings, 22610102 edges, 1712 markings/sec, 1470 secs
lola: 2943199 markings, 22686831 edges, 1550 markings/sec, 1475 secs
lola: 2951737 markings, 22763446 edges, 1708 markings/sec, 1480 secs
lola: 2960515 markings, 22840094 edges, 1756 markings/sec, 1485 secs
lola: 2969176 markings, 22916732 edges, 1732 markings/sec, 1490 secs
lola: 2977579 markings, 22993397 edges, 1681 markings/sec, 1495 secs
lola: 2986239 markings, 23070051 edges, 1732 markings/sec, 1500 secs
lola: 2995032 markings, 23146793 edges, 1759 markings/sec, 1505 secs
lola: 3003472 markings, 23223602 edges, 1688 markings/sec, 1510 secs
lola: 3013128 markings, 23300372 edges, 1931 markings/sec, 1515 secs
lola: 3022316 markings, 23377157 edges, 1838 markings/sec, 1520 secs
lola: 3031275 markings, 23453941 edges, 1792 markings/sec, 1525 secs
lola: 3040736 markings, 23530661 edges, 1892 markings/sec, 1530 secs
lola: 3048640 markings, 23607465 edges, 1581 markings/sec, 1535 secs
lola: 3056886 markings, 23684262 edges, 1649 markings/sec, 1540 secs
lola: 3065323 markings, 23761014 edges, 1687 markings/sec, 1545 secs
lola: 3073964 markings, 23837758 edges, 1728 markings/sec, 1550 secs
lola: 3082796 markings, 23914523 edges, 1766 markings/sec, 1555 secs
lola: 3091336 markings, 23991316 edges, 1708 markings/sec, 1560 secs
lola: 3099899 markings, 24068118 edges, 1713 markings/sec, 1565 secs
lola: 3108701 markings, 24144986 edges, 1760 markings/sec, 1570 secs
lola: 3118387 markings, 24221801 edges, 1937 markings/sec, 1575 secs
lola: 3130840 markings, 24298235 edges, 2491 markings/sec, 1580 secs
lola: 3142296 markings, 24374686 edges, 2291 markings/sec, 1585 secs
lola: 3154538 markings, 24451029 edges, 2448 markings/sec, 1590 secs
lola: 3163987 markings, 24527623 edges, 1890 markings/sec, 1595 secs
lola: 3174974 markings, 24604077 edges, 2197 markings/sec, 1600 secs
lola: 3186104 markings, 24680565 edges, 2226 markings/sec, 1605 secs
lola: 3197177 markings, 24756785 edges, 2215 markings/sec, 1610 secs
lola: 3208319 markings, 24833279 edges, 2228 markings/sec, 1615 secs
lola: 3219609 markings, 24909809 edges, 2258 markings/sec, 1620 secs
lola: 3230764 markings, 24986383 edges, 2231 markings/sec, 1625 secs
lola: 3241480 markings, 25062949 edges, 2143 markings/sec, 1630 secs
lola: 3250943 markings, 25139537 edges, 1893 markings/sec, 1635 secs
lola: 3262033 markings, 25215914 edges, 2218 markings/sec, 1640 secs
lola: 3270987 markings, 25292500 edges, 1791 markings/sec, 1645 secs
lola: 3280283 markings, 25369066 edges, 1859 markings/sec, 1650 secs
lola: 3289956 markings, 25445578 edges, 1935 markings/sec, 1655 secs
lola: 3299473 markings, 25522125 edges, 1903 markings/sec, 1660 secs
lola: 3309144 markings, 25598700 edges, 1934 markings/sec, 1665 secs
lola: 3319009 markings, 25675300 edges, 1973 markings/sec, 1670 secs
lola: 3328786 markings, 25751890 edges, 1955 markings/sec, 1675 secs
lola: 3338544 markings, 25828636 edges, 1952 markings/sec, 1680 secs
lola: 3349514 markings, 25905231 edges, 2194 markings/sec, 1685 secs
lola: 3359310 markings, 25981814 edges, 1959 markings/sec, 1690 secs
lola: 3369984 markings, 26058321 edges, 2135 markings/sec, 1695 secs
lola: 3379817 markings, 26134872 edges, 1967 markings/sec, 1700 secs
lola: 3388629 markings, 26211718 edges, 1762 markings/sec, 1705 secs
lola: 3398073 markings, 26287639 edges, 1889 markings/sec, 1710 secs
lola: 3407742 markings, 26364140 edges, 1934 markings/sec, 1715 secs
lola: 3417628 markings, 26440744 edges, 1977 markings/sec, 1720 secs
lola: 3427387 markings, 26517361 edges, 1952 markings/sec, 1725 secs
lola: 3436988 markings, 26594008 edges, 1920 markings/sec, 1730 secs
lola: 3446603 markings, 26670742 edges, 1923 markings/sec, 1735 secs
lola: 3456348 markings, 26747328 edges, 1949 markings/sec, 1740 secs
lola: 3465676 markings, 26823974 edges, 1866 markings/sec, 1745 secs
lola: 3474314 markings, 26900622 edges, 1728 markings/sec, 1750 secs
lola: 3483879 markings, 26977114 edges, 1913 markings/sec, 1755 secs
lola: 3492093 markings, 27053778 edges, 1643 markings/sec, 1760 secs
lola: 3500185 markings, 27130482 edges, 1618 markings/sec, 1765 secs
lola: 3508579 markings, 27207112 edges, 1679 markings/sec, 1770 secs
lola: 3517232 markings, 27283743 edges, 1731 markings/sec, 1775 secs
lola: 3526016 markings, 27360367 edges, 1757 markings/sec, 1780 secs
lola: 3534439 markings, 27437019 edges, 1685 markings/sec, 1785 secs
lola: 3543084 markings, 27513657 edges, 1729 markings/sec, 1790 secs
lola: 3551913 markings, 27590377 edges, 1766 markings/sec, 1795 secs
lola: 3560608 markings, 27667168 edges, 1739 markings/sec, 1800 secs
lola: 3571577 markings, 27743687 edges, 2194 markings/sec, 1805 secs
lola: 3581399 markings, 27820257 edges, 1964 markings/sec, 1810 secs
lola: 3592037 markings, 27896757 edges, 2128 markings/sec, 1815 secs
lola: 3601919 markings, 27973317 edges, 1976 markings/sec, 1820 secs
lola: 3610662 markings, 28050008 edges, 1749 markings/sec, 1825 secs
lola: 3620223 markings, 28126575 edges, 1912 markings/sec, 1830 secs
lola: 3629895 markings, 28203146 edges, 1934 markings/sec, 1835 secs
lola: 3639792 markings, 28279716 edges, 1979 markings/sec, 1840 secs
lola: 3649533 markings, 28356314 edges, 1948 markings/sec, 1845 secs
lola: 3659114 markings, 28432951 edges, 1916 markings/sec, 1850 secs
lola: 3668745 markings, 28509664 edges, 1926 markings/sec, 1855 secs
lola: 3679543 markings, 28586281 edges, 2160 markings/sec, 1860 secs
lola: 3689814 markings, 28662871 edges, 2054 markings/sec, 1865 secs
lola: 3700240 markings, 28739425 edges, 2085 markings/sec, 1870 secs
lola: 3710633 markings, 28815948 edges, 2079 markings/sec, 1875 secs
lola: 3719060 markings, 28892612 edges, 1685 markings/sec, 1880 secs
lola: 3728569 markings, 28969191 edges, 1902 markings/sec, 1885 secs
lola: 3738466 markings, 29045700 edges, 1979 markings/sec, 1890 secs
lola: 3748186 markings, 29122210 edges, 1944 markings/sec, 1895 secs
lola: 3757735 markings, 29198761 edges, 1910 markings/sec, 1900 secs
lola: 3767371 markings, 29275310 edges, 1927 markings/sec, 1905 secs
lola: 3777110 markings, 29351937 edges, 1948 markings/sec, 1910 secs
lola: 3787729 markings, 29428590 edges, 2124 markings/sec, 1915 secs
lola: 3798337 markings, 29505219 edges, 2122 markings/sec, 1920 secs
lola: 3808113 markings, 29581852 edges, 1955 markings/sec, 1925 secs
lola: 3819043 markings, 29658401 edges, 2186 markings/sec, 1930 secs
lola: 3827696 markings, 29735050 edges, 1731 markings/sec, 1935 secs
lola: 3837143 markings, 29811680 edges, 1889 markings/sec, 1940 secs
lola: 3846858 markings, 29888295 edges, 1943 markings/sec, 1945 secs
lola: 3856387 markings, 29964910 edges, 1906 markings/sec, 1950 secs
lola: 3866056 markings, 30041526 edges, 1934 markings/sec, 1955 secs
lola: 3875793 markings, 30118162 edges, 1947 markings/sec, 1960 secs
lola: 3885714 markings, 30194845 edges, 1984 markings/sec, 1965 secs
lola: 3896189 markings, 30271580 edges, 2095 markings/sec, 1970 secs
lola: 3908653 markings, 30348034 edges, 2493 markings/sec, 1975 secs
lola: 3920113 markings, 30424557 edges, 2292 markings/sec, 1980 secs
lola: 3932393 markings, 30501006 edges, 2456 markings/sec, 1985 secs
lola: 3941862 markings, 30577707 edges, 1894 markings/sec, 1990 secs
lola: 3952849 markings, 30654229 edges, 2197 markings/sec, 1995 secs
lola: 3963972 markings, 30730748 edges, 2225 markings/sec, 2000 secs
lola: 3975102 markings, 30807314 edges, 2226 markings/sec, 2005 secs
lola: 3986247 markings, 30883830 edges, 2229 markings/sec, 2010 secs
lola: 3997545 markings, 30960414 edges, 2260 markings/sec, 2015 secs
lola: 4008706 markings, 31037038 edges, 2232 markings/sec, 2020 secs
lola: 4019425 markings, 31113669 edges, 2144 markings/sec, 2025 secs
lola: 4028908 markings, 31190364 edges, 1897 markings/sec, 2030 secs
lola: 4040024 markings, 31266869 edges, 2223 markings/sec, 2035 secs
lola: 4048969 markings, 31343553 edges, 1789 markings/sec, 2040 secs
lola: 4058268 markings, 31420150 edges, 1860 markings/sec, 2045 secs
lola: 4067972 markings, 31496702 edges, 1941 markings/sec, 2050 secs
lola: 4077480 markings, 31573328 edges, 1902 markings/sec, 2055 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no unknown no no yes no unknown no yes yes unknown yes yes no lola:
caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: no no no unknown no no yes no unknown no yes yes unknown yes yes no

preliminary result: no no no unknown no no yes no unknown no yes yes unknown yes yes no
lola: memory consumption: 4102368 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no unknown no no yes no unknown no yes yes unknown yes yes no
rslt: finished

BK_STOP 1589330410002

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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