fond
Model Checking Contest 2021
11th edition, Paris, France, June 23, 2021
Execution of r011-tall-162038006300318
Last Updated
Jun 28, 2021

About the Execution of 2020-gold for BART-PT-040

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16254.315 3600000.00 3558598.00 42966.30 TFFFFFFFFF?FF?FF normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r011-tall-162038006300318.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is BART-PT-040, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-tall-162038006300318
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.6M
-rw-r--r-- 1 mcc users 4.2K Mar 20 13:27 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 20 13:27 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.5K Jun 8 09:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Jun 8 09:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Jun 8 09:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Jun 8 09:43 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jun 8 09:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Jun 8 09:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Jun 8 09:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jun 8 09:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 8 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Jun 8 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 20 13:27 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 20 13:27 instance
-rw-r--r-- 1 mcc users 6 Mar 20 13:27 iscolored
-rw-r--r-- 1 mcc users 9.5M Mar 20 13:27 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 BART-PT-040-00
FORMULA_NAME BART-PT-040-01
FORMULA_NAME BART-PT-040-02
FORMULA_NAME BART-PT-040-03
FORMULA_NAME BART-PT-040-04
FORMULA_NAME BART-PT-040-05
FORMULA_NAME BART-PT-040-06
FORMULA_NAME BART-PT-040-07
FORMULA_NAME BART-PT-040-08
FORMULA_NAME BART-PT-040-09
FORMULA_NAME BART-PT-040-10
FORMULA_NAME BART-PT-040-11
FORMULA_NAME BART-PT-040-12
FORMULA_NAME BART-PT-040-13
FORMULA_NAME BART-PT-040-14
FORMULA_NAME BART-PT-040-15

=== Now, execution of the tool begins

BK_START 1623183535930

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-06-08 20:18:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-06-08 20:18:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-06-08 20:18:57] [INFO ] Load time of PNML (sax parser for PT used): 453 ms
[2021-06-08 20:18:57] [INFO ] Transformed 5490 places.
[2021-06-08 20:18:58] [INFO ] Transformed 8080 transitions.
[2021-06-08 20:18:58] [INFO ] Found NUPN structural information;
[2021-06-08 20:18:58] [INFO ] Parsed PT model containing 5490 places and 8080 transitions in 546 ms.
Reduce places removed 210 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 77 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 67540 steps, including 0 resets, run visited all 43 properties in 504 ms. (steps per millisecond=134 )
[2021-06-08 20:18:59] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2021-06-08 20:18:59] [INFO ] Flatten gal took : 333 ms
FORMULA BART-PT-040-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-PT-040-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-06-08 20:18:59] [INFO ] Applying decomposition
[2021-06-08 20:18:59] [INFO ] Flatten gal took : 184 ms
[2021-06-08 20:18:59] [INFO ] Decomposing Gal with order
[2021-06-08 20:18:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-06-08 20:19:00] [INFO ] Removed a total of 1148 redundant transitions.
[2021-06-08 20:19:00] [INFO ] Flatten gal took : 391 ms
[2021-06-08 20:19:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 381 labels/synchronizations in 80 ms.
[2021-06-08 20:19:00] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 5 ms.
[2021-06-08 20:19:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 58 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ BART-PT-040 @ 3570 seconds

FORMULA BART-PT-040-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BART-PT-040-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BART-PT-040-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BART-PT-040-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BART-PT-040-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BART-PT-040-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BART-PT-040-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BART-PT-040-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BART-PT-040-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BART-PT-040-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BART-PT-040-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BART-PT-040-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BART-PT-040-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ BART-PT-040

{
"exit":
{
"memory": 7527952,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (X (G (((p1005 <= 0)))))",
"processed_size": 26,
"rewrites": 66
},
"result":
{
"preliminary_value": "no no no no no no no no unknown no no unknown no no "
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
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: 13360/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 5280
lola: finding significant places
lola: 5280 places, 8080 transitions, 5240 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (p3823 <= 1)
lola: LP says that atomic proposition is always true: (p5096 <= 1)
lola: LP says that atomic proposition is always true: (p2960 <= 1)
lola: LP says that atomic proposition is always true: (p32 <= 1)
lola: LP says that atomic proposition is always true: (p3957 <= 1)
lola: LP says that atomic proposition is always true: (p374 <= 1)
lola: LP says that atomic proposition is always true: (p3280 <= 1)
lola: LP says that atomic proposition is always true: (p31 <= 1)
lola: LP says that atomic proposition is always true: (p797 <= 1)
lola: LP says that atomic proposition is always true: (p596 <= 1)
lola: LP says that atomic proposition is always true: (p25 <= 1)
lola: LP says that atomic proposition is always true: (p2837 <= 1)
lola: LP says that atomic proposition is always true: (p120 <= 1)
lola: LP says that atomic proposition is always true: (p120 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p2690 <= 1)
lola: LP says that atomic proposition is always true: (p1972 <= 1)
lola: LP says that atomic proposition is always true: (p2688 <= 1)
lola: LP says that atomic proposition is always true: (p4710 <= 1)
lola: LP says that atomic proposition is always true: (p4918 <= 1)
lola: LP says that atomic proposition is always true: (p523 <= 1)
lola: LP says that atomic proposition is always true: (p4083 <= 1)
lola: LP says that atomic proposition is always true: (p4730 <= 1)
lola: LP says that atomic proposition is always true: (p3783 <= 1)
lola: LP says that atomic proposition is always true: (p2335 <= 1)
lola: LP says that atomic proposition is always true: (p777 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p3348 <= 1)
lola: LP says that atomic proposition is always true: (p2270 <= 1)
lola: LP says that atomic proposition is always true: (p2116 <= 1)
lola: LP says that atomic proposition is always true: (p1085 <= 1)
lola: LP says that atomic proposition is always true: (p2116 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p3787 <= 1)
lola: LP says that atomic proposition is always true: (p1005 <= 1)
lola: LP says that atomic proposition is always true: (p3825 <= 1)
lola: LP says that atomic proposition is always true: (p4612 <= 1)
lola: LP says that atomic proposition is always true: (p4328 <= 1)
lola: LP says that atomic proposition is always true: (p2164 <= 1)
lola: LP says that atomic proposition is always true: (p742 <= 1)
lola: LP says that atomic proposition is always true: (p4977 <= 1)
lola: LP says that atomic proposition is always true: (p4974 <= 1)
lola: LP says that atomic proposition is always true: (p742 <= 1)
lola: LP says that atomic proposition is always true: (p4974 <= 1)
lola: G ((G (F (G (((X (G (F (((p3823 <= 0))))) OR ((1 <= p5096))) OR ((1 <= p2960)))))) OR ((1 <= p32)))) : ((X (F (((p3957 <= 0)))) U ((1 <= p374) AND (1 <= p3280))) OR G (((1 <= p31)))) : G ((F (((1 <= p797))) AND (((1 <= p596)) OR ((1 <= p25))))) : X ((NOT(G (((1 <= p2837)))) OR (X (F (((1 <= p120)))) AND G (((1 <= p120)))))) : X (X ((X (X (F (G ((((1 <= p12)) U ((1 <= p7))))))) U ((1 <= p7))))) : G ((NOT((((1 <= p2690)) U ((1 <= p1972)))) OR ((1 <= p2688)))) : ((NOT(G ((((1 <= p4710)) U X (X (((1 <= p4918))))))) OR F (X (F (((1 <= p523)))))) OR ((1 <= p4083))) : X (F (((1 <= p4730)))) : X (X ((F (NOT(F (X (((1 <= p3783)))))) AND ((p2335 <= 0))))) : (G ((NOT(G (((1 <= p777)))) OR (NOT(G (((1 <= p35)))) AND ((p3348 <= 0))))) U F (X (((1 <= p2270))))) : (((1 <= p2116) AND ((p1085 <= 0))) U F (((((1 <= p2116)) U ((p21 <= 0))) AND ((1 <= p3787))))) : G (X (NOT(X (F (((1 <= p1005))))))) : F (((((p3825 <= 0)) U F (((1 <= p4612)))) OR G ((((1 <= p4328)) OR ((1 <= p2164)))))) : (X (F ((((1 <= p742)) U ((1 <= p4977))))) AND NOT(F (((G (X (((1 <= p4974)))) AND ((1 <= p742))) AND ((1 <= p4974))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X (F (((p3957 <= 0)))) U ((1 <= p374) AND (1 <= p3280))) OR G (((1 <= p31))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p31)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p31)))
lola: processed formula length: 16
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1597 markings, 2120 edges
lola: ========================================
lola: subprocess 1 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F (((p3957 <= 0)))) U ((1 <= p374) AND (1 <= p3280)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (F (((p3957 <= 0)))) U ((1 <= p374) AND (1 <= p3280)))
lola: processed formula length: 57
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 785 markings, 786 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F (((p2837 <= 0))) OR (X (F (((1 <= p120)))) AND G (((1 <= p120))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F (((p2837 <= 0))) OR (X (F (((1 <= p120)))) AND G (((1 <= p120))))))
lola: processed formula length: 73
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3152 markings, 3152 edges
lola: ========================================
lola: subprocess 2 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((((1 <= p7)) OR (F (((1 <= p7))) AND F (G ((F (((1 <= p7))) AND (((1 <= p12)) OR ((1 <= p7))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((((1 <= p7)) OR (F (((1 <= p7))) AND F (G ((F (((1 <= p7))) AND (((1 <= p12)) OR ((1 <= p7))))))))))
lola: processed formula length: 106
lola: 66 rewrites
lola: closed formula file LTLFireability.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: 415 markings, 415 edges
lola: ========================================
lola: subprocess 3 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F ((G (((p4918 <= 0))) OR (((p4710 <= 0)) AND X (X (((p4918 <= 0))))))) OR (X (F (((1 <= p523)))) OR ((1 <= p4083))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p4083))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p4083))
lola: processed formula length: 14
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 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 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p523))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p523))))
lola: processed formula length: 21
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 393 markings, 393 edges
lola: ========================================
lola: subprocess 5 will run for 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G (((p4918 <= 0))) OR (((p4710 <= 0)) AND X (X (((p4918 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G (((p4918 <= 0))) OR (((p4710 <= 0)) AND X (X (((p4918 <= 0)))))))
lola: processed formula length: 71
lola: 66 rewrites
lola: closed formula file LTLFireability.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: 90670 markings, 92788 edges, 18134 markings/sec, 0 secs
lola: 177580 markings, 186199 edges, 17382 markings/sec, 5 secs
lola: 254192 markings, 272536 edges, 15322 markings/sec, 10 secs
lola: 328148 markings, 360092 edges, 14791 markings/sec, 15 secs
lola: 397748 markings, 447045 edges, 13920 markings/sec, 20 secs
lola: 465748 markings, 536881 edges, 13600 markings/sec, 25 secs
lola: 530555 markings, 627847 edges, 12961 markings/sec, 30 secs
lola: 597480 markings, 728287 edges, 13385 markings/sec, 35 secs
lola: 662258 markings, 833683 edges, 12956 markings/sec, 40 secs
lola: 722758 markings, 940940 edges, 12100 markings/sec, 45 secs
lola: 778287 markings, 1049849 edges, 11106 markings/sec, 50 secs
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: 802028 markings, 1100042 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p4730))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p4730))))
lola: processed formula length: 22
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 393 markings, 393 edges
lola: ========================================
lola: subprocess 5 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((F (G (((p3783 <= 0)))) AND ((p2335 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((F (G (((p3783 <= 0)))) AND ((p2335 <= 0)))))
lola: processed formula length: 51
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 80064 markings, 121671 edges, 16013 markings/sec, 0 secs
lola: 155894 markings, 243926 edges, 15166 markings/sec, 5 secs
lola: 231339 markings, 366372 edges, 15089 markings/sec, 10 secs
lola: 304161 markings, 488597 edges, 14564 markings/sec, 15 secs
lola: 377835 markings, 611363 edges, 14735 markings/sec, 20 secs
lola: 453539 markings, 736769 edges, 15141 markings/sec, 25 secs
lola: 524688 markings, 858553 edges, 14230 markings/sec, 30 secs
lola: 595785 markings, 981211 edges, 14219 markings/sec, 35 secs
lola: 665755 markings, 1104300 edges, 13994 markings/sec, 40 secs
lola: 739207 markings, 1225616 edges, 14690 markings/sec, 45 secs
lola: 811419 markings, 1346814 edges, 14442 markings/sec, 50 secs
lola: 883953 markings, 1470421 edges, 14507 markings/sec, 55 secs
lola: 955808 markings, 1594865 edges, 14371 markings/sec, 60 secs
lola: 1025412 markings, 1718817 edges, 13921 markings/sec, 65 secs
lola: 1097376 markings, 1842199 edges, 14393 markings/sec, 70 secs
lola: 1167729 markings, 1966120 edges, 14071 markings/sec, 75 secs
lola: 1237422 markings, 2089844 edges, 13939 markings/sec, 80 secs
lola: 1305331 markings, 2213626 edges, 13582 markings/sec, 85 secs
lola: 1374845 markings, 2337829 edges, 13903 markings/sec, 90 secs
lola: 1449812 markings, 2461205 edges, 14993 markings/sec, 95 secs
lola: 1522079 markings, 2585595 edges, 14453 markings/sec, 100 secs
lola: 1595528 markings, 2709928 edges, 14690 markings/sec, 105 secs
lola: 1665946 markings, 2833940 edges, 14084 markings/sec, 110 secs
lola: 1737346 markings, 2957211 edges, 14280 markings/sec, 115 secs
lola: 1808050 markings, 3080383 edges, 14141 markings/sec, 120 secs
lola: 1877801 markings, 3205060 edges, 13950 markings/sec, 125 secs
lola: 1947563 markings, 3330462 edges, 13952 markings/sec, 130 secs
lola: 2014806 markings, 3455076 edges, 13449 markings/sec, 135 secs
lola: 2087287 markings, 3579676 edges, 14496 markings/sec, 140 secs
lola: 2158760 markings, 3704904 edges, 14295 markings/sec, 145 secs
lola: 2229046 markings, 3830085 edges, 14057 markings/sec, 150 secs
lola: 2297966 markings, 3954817 edges, 13784 markings/sec, 155 secs
lola: 2365442 markings, 4080835 edges, 13495 markings/sec, 160 secs
lola: 2436095 markings, 4206116 edges, 14131 markings/sec, 165 secs
lola: 2504009 markings, 4330699 edges, 13583 markings/sec, 170 secs
lola: 2571036 markings, 4455436 edges, 13405 markings/sec, 175 secs
lola: 2637418 markings, 4580339 edges, 13276 markings/sec, 180 secs
lola: 2702185 markings, 4705440 edges, 12953 markings/sec, 185 secs
lola: 2778403 markings, 4829619 edges, 15244 markings/sec, 190 secs
lola: 2852338 markings, 4954460 edges, 14787 markings/sec, 195 secs
lola: 2925265 markings, 5078355 edges, 14585 markings/sec, 200 secs
lola: 2995895 markings, 5202257 edges, 14126 markings/sec, 205 secs
lola: 3067085 markings, 5326443 edges, 14238 markings/sec, 210 secs
lola: 3138716 markings, 5450505 edges, 14326 markings/sec, 215 secs
lola: 3208239 markings, 5575098 edges, 13905 markings/sec, 220 secs
lola: 3278240 markings, 5699453 edges, 14000 markings/sec, 225 secs
lola: 3346583 markings, 5824911 edges, 13669 markings/sec, 230 secs
lola: 3417833 markings, 5950030 edges, 14250 markings/sec, 235 secs
lola: 3489648 markings, 6074987 edges, 14363 markings/sec, 240 secs
lola: 3559736 markings, 6200291 edges, 14018 markings/sec, 245 secs
lola: 3629412 markings, 6325521 edges, 13935 markings/sec, 250 secs
lola: 3697152 markings, 6451079 edges, 13548 markings/sec, 255 secs
lola: 3767383 markings, 6576190 edges, 14046 markings/sec, 260 secs
lola: 3835698 markings, 6701256 edges, 13663 markings/sec, 265 secs
lola: 3903178 markings, 6826352 edges, 13496 markings/sec, 270 secs
lola: 3969688 markings, 6951515 edges, 13302 markings/sec, 275 secs
lola: 4034570 markings, 7076960 edges, 12976 markings/sec, 280 secs
lola: 4106721 markings, 7201586 edges, 14430 markings/sec, 285 secs
lola: 4177869 markings, 7326207 edges, 14230 markings/sec, 290 secs
lola: 4247931 markings, 7451001 edges, 14012 markings/sec, 295 secs
lola: 4316982 markings, 7576022 edges, 13810 markings/sec, 300 secs
lola: 4384086 markings, 7701233 edges, 13421 markings/sec, 305 secs
lola: 4454435 markings, 7826026 edges, 14070 markings/sec, 310 secs
lola: 4522608 markings, 7951047 edges, 13635 markings/sec, 315 secs
lola: 4589868 markings, 8076311 edges, 13452 markings/sec, 320 secs
lola: 4656486 markings, 8201563 edges, 13324 markings/sec, 325 secs
lola: 4721188 markings, 8327091 edges, 12940 markings/sec, 330 secs
lola: 4791245 markings, 8451430 edges, 14011 markings/sec, 335 secs
lola: 4859441 markings, 8576567 edges, 13639 markings/sec, 340 secs
lola: 4926691 markings, 8701799 edges, 13450 markings/sec, 345 secs
lola: 4993369 markings, 8827156 edges, 13336 markings/sec, 350 secs
lola: 5057934 markings, 8952748 edges, 12913 markings/sec, 355 secs
lola: 5125600 markings, 9077858 edges, 13533 markings/sec, 360 secs
lola: 5191302 markings, 9203223 edges, 13140 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no no unknown no no unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4537776 KB
lola: time consumption: 594 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F (((1 <= p2270)))) OR (G ((F (((p777 <= 0))) OR (F (((p35 <= 0))) AND ((p3348 <= 0))))) AND X (F (((1 <= p2270))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((p777 <= 0))) OR (F (((p35 <= 0))) AND ((p3348 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((p777 <= 0))) OR (F (((p35 <= 0))) AND ((p3348 <= 0)))))
lola: processed formula length: 64
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7834 markings, 11946 edges
lola: ========================================
lola: subprocess 7 will run for 425 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p2270))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p2270))))
lola: processed formula length: 22
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 393 markings, 393 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: subprocess 7 will run for 425 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (G (((p1005 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G (((p1005 <= 0)))))
lola: processed formula length: 26
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 81314 markings, 123662 edges, 16263 markings/sec, 0 secs
lola: 158379 markings, 247983 edges, 15413 markings/sec, 5 secs
lola: 234949 markings, 372406 edges, 15314 markings/sec, 10 secs
lola: 309173 markings, 496952 edges, 14845 markings/sec, 15 secs
lola: 384008 markings, 621721 edges, 14967 markings/sec, 20 secs
lola: 459452 markings, 746804 edges, 15089 markings/sec, 25 secs
lola: 532746 markings, 872153 edges, 14659 markings/sec, 30 secs
lola: 605625 markings, 997545 edges, 14576 markings/sec, 35 secs
lola: 675950 markings, 1123335 edges, 14065 markings/sec, 40 secs
lola: 752224 markings, 1247449 edges, 15255 markings/sec, 45 secs
lola: 826143 markings, 1372214 edges, 14784 markings/sec, 50 secs
lola: 899523 markings, 1496938 edges, 14676 markings/sec, 55 secs
lola: 970963 markings, 1621830 edges, 14288 markings/sec, 60 secs
lola: 1042276 markings, 1746794 edges, 14263 markings/sec, 65 secs
lola: 1114527 markings, 1871466 edges, 14450 markings/sec, 70 secs
lola: 1184017 markings, 1996706 edges, 13898 markings/sec, 75 secs
lola: 1255023 markings, 2121723 edges, 14201 markings/sec, 80 secs
lola: 1323382 markings, 2247075 edges, 13672 markings/sec, 85 secs
lola: 1395729 markings, 2371869 edges, 14469 markings/sec, 90 secs
lola: 1470712 markings, 2496247 edges, 14997 markings/sec, 95 secs
lola: 1543708 markings, 2620919 edges, 14599 markings/sec, 100 secs
lola: 1616054 markings, 2745620 edges, 14469 markings/sec, 105 secs
lola: 1685747 markings, 2870482 edges, 13939 markings/sec, 110 secs
lola: 1759226 markings, 2995007 edges, 14696 markings/sec, 115 secs
lola: 1830116 markings, 3119705 edges, 14178 markings/sec, 120 secs
lola: 1900138 markings, 3244710 edges, 14004 markings/sec, 125 secs
lola: 1969372 markings, 3369788 edges, 13847 markings/sec, 130 secs
lola: 2037521 markings, 3495169 edges, 13630 markings/sec, 135 secs
lola: 2109953 markings, 3619970 edges, 14486 markings/sec, 140 secs
lola: 2180964 markings, 3745100 edges, 14202 markings/sec, 145 secs
lola: 2251502 markings, 3870202 edges, 14108 markings/sec, 150 secs
lola: 2319913 markings, 3995588 edges, 13682 markings/sec, 155 secs
lola: 2388724 markings, 4120869 edges, 13762 markings/sec, 160 secs
lola: 2458144 markings, 4246069 edges, 13884 markings/sec, 165 secs
lola: 2525326 markings, 4371503 edges, 13436 markings/sec, 170 secs
lola: 2593297 markings, 4496853 edges, 13594 markings/sec, 175 secs
lola: 2659413 markings, 4622739 edges, 13223 markings/sec, 180 secs
lola: 2729195 markings, 4748103 edges, 13956 markings/sec, 185 secs
lola: 2804459 markings, 4872615 edges, 15053 markings/sec, 190 secs
lola: 2877451 markings, 4997508 edges, 14598 markings/sec, 195 secs
lola: 2949924 markings, 5122292 edges, 14495 markings/sec, 200 secs
lola: 3021032 markings, 5247473 edges, 14222 markings/sec, 205 secs
lola: 3093973 markings, 5372378 edges, 14588 markings/sec, 210 secs
lola: 3165246 markings, 5497370 edges, 14255 markings/sec, 215 secs
lola: 3235572 markings, 5622529 edges, 14065 markings/sec, 220 secs
lola: 3304893 markings, 5747786 edges, 13864 markings/sec, 225 secs
lola: 3371885 markings, 5873474 edges, 13398 markings/sec, 230 secs
lola: 3445539 markings, 5998089 edges, 14731 markings/sec, 235 secs
lola: 3516557 markings, 6123227 edges, 14204 markings/sec, 240 secs
lola: 3586908 markings, 6248242 edges, 14070 markings/sec, 245 secs
lola: 3655791 markings, 6373395 edges, 13777 markings/sec, 250 secs
lola: 3723898 markings, 6498988 edges, 13621 markings/sec, 255 secs
lola: 3793364 markings, 6624082 edges, 13893 markings/sec, 260 secs
lola: 3861357 markings, 6749220 edges, 13599 markings/sec, 265 secs
lola: 3929072 markings, 6874458 edges, 13543 markings/sec, 270 secs
lola: 3995135 markings, 6999829 edges, 13213 markings/sec, 275 secs
lola: 4062019 markings, 7125293 edges, 13377 markings/sec, 280 secs
lola: 4134387 markings, 7249856 edges, 14474 markings/sec, 285 secs
lola: 4204545 markings, 7374746 edges, 14032 markings/sec, 290 secs
lola: 4274832 markings, 7499382 edges, 14057 markings/sec, 295 secs
lola: 4343235 markings, 7624388 edges, 13681 markings/sec, 300 secs
lola: 4411846 markings, 7749334 edges, 13722 markings/sec, 305 secs
lola: 4481046 markings, 7874214 edges, 13840 markings/sec, 310 secs
lola: 4547606 markings, 7999341 edges, 13312 markings/sec, 315 secs
lola: 4615754 markings, 8124375 edges, 13630 markings/sec, 320 secs
lola: 4681468 markings, 8249694 edges, 13143 markings/sec, 325 secs
lola: 4748740 markings, 8374860 edges, 13454 markings/sec, 330 secs
lola: 4817915 markings, 8499742 edges, 13835 markings/sec, 335 secs
lola: 4884449 markings, 8624972 edges, 13307 markings/sec, 340 secs
lola: 4952624 markings, 8749979 edges, 13635 markings/sec, 345 secs
lola: 5018395 markings, 8875425 edges, 13154 markings/sec, 350 secs
lola: 5084475 markings, 9000822 edges, 13216 markings/sec, 355 secs
lola: 5151146 markings, 9126139 edges, 13334 markings/sec, 360 secs
lola: 5215682 markings, 9251675 edges, 12907 markings/sec, 365 secs
lola: 5281055 markings, 9376905 edges, 13075 markings/sec, 370 secs
lola: 5344461 markings, 9502511 edges, 12681 markings/sec, 375 secs
lola: 5411038 markings, 9628090 edges, 13315 markings/sec, 380 secs
lola: 5486512 markings, 9752240 edges, 15095 markings/sec, 385 secs
lola: 5559031 markings, 9877018 edges, 14504 markings/sec, 390 secs
lola: 5632444 markings, 10001353 edges, 14683 markings/sec, 395 secs
lola: 5703323 markings, 10126287 edges, 14176 markings/sec, 400 secs
lola: 5775587 markings, 10250844 edges, 14453 markings/sec, 405 secs
lola: 5846970 markings, 10375460 edges, 14277 markings/sec, 410 secs
lola: 5917054 markings, 10500401 edges, 14017 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no no unknown no no unknown no unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown no unknown no no unknown no no unknown no unknown unknown unknown unknown
lola: memory consumption: 5175048 KB
lola: time consumption: 1020 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 425 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F (((1 <= p4977)))) AND G ((X (F (((p4974 <= 0)))) OR (((p742 <= 0)) OR ((p4974 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 425 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p4977))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p4977))))
lola: processed formula length: 22
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 393 markings, 393 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 510 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((((1 <= p2116)) U ((p21 <= 0))) AND ((1 <= p3787))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (((((1 <= p2116)) U ((p21 <= 0))) AND ((1 <= p3787))))
lola: processed formula length: 56
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 22 markings, 22 edges
lola: ========================================
lola: subprocess 10 will run for 637 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((1 <= p797))) AND (((1 <= p596)) OR ((1 <= p25)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((1 <= p797))) AND (((1 <= p596)) OR ((1 <= p25)))))
lola: processed formula length: 60
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 12 markings, 12 edges
lola: ========================================
lola: subprocess 11 will run for 850 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F (((1 <= p4612))) OR G ((((1 <= p4328)) OR ((1 <= p2164))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F (((1 <= p4612))) OR G ((((1 <= p4328)) OR ((1 <= p2164))))))
lola: processed formula length: 67
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 12 markings, 12 edges
lola: ========================================
lola: subprocess 12 will run for 1275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((((p2690 <= 0)) R ((p1972 <= 0))) OR ((1 <= p2688))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((((p2690 <= 0)) R ((p1972 <= 0))) OR ((1 <= p2688))))
lola: processed formula length: 57
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 38893 markings, 52902 edges
lola: ========================================
lola: subprocess 13 will run for 2547 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (G ((G (F (((p3823 <= 0)))) OR (((1 <= p5096)) OR ((1 <= p2960)))))) OR ((1 <= p32))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (G ((G (F (((p3823 <= 0)))) OR (((1 <= p5096)) OR ((1 <= p2960)))))) OR ((1 <= p32))))
lola: processed formula length: 92
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 40243 markings, 55126 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (X ((F (G (((p3783 <= 0)))) AND ((p2335 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((F (G (((p3783 <= 0)))) AND ((p2335 <= 0)))))
lola: processed formula length: 51
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 81151 markings, 123429 edges, 16230 markings/sec, 0 secs
lola: 158104 markings, 247523 edges, 15391 markings/sec, 5 secs
lola: 234538 markings, 371728 edges, 15287 markings/sec, 10 secs
lola: 308751 markings, 496232 edges, 14843 markings/sec, 15 secs
lola: 383550 markings, 620912 edges, 14960 markings/sec, 20 secs
lola: 458841 markings, 745791 edges, 15058 markings/sec, 25 secs
lola: 532144 markings, 871118 edges, 14661 markings/sec, 30 secs
lola: 604994 markings, 996445 edges, 14570 markings/sec, 35 secs
lola: 675312 markings, 1122126 edges, 14064 markings/sec, 40 secs
lola: 751666 markings, 1246463 edges, 15271 markings/sec, 45 secs
lola: 825602 markings, 1371224 edges, 14787 markings/sec, 50 secs
lola: 898972 markings, 1496004 edges, 14674 markings/sec, 55 secs
lola: 970511 markings, 1620994 edges, 14308 markings/sec, 60 secs
lola: 1041897 markings, 1746116 edges, 14277 markings/sec, 65 secs
lola: 1114196 markings, 1870880 edges, 14460 markings/sec, 70 secs
lola: 1183351 markings, 1995371 edges, 13831 markings/sec, 75 secs
lola: 1254040 markings, 2119878 edges, 14138 markings/sec, 80 secs
lola: 1322105 markings, 2244715 edges, 13613 markings/sec, 85 secs
lola: 1393884 markings, 2368908 edges, 14356 markings/sec, 90 secs
lola: 1468097 markings, 2491888 edges, 14843 markings/sec, 95 secs
lola: 1540224 markings, 2615163 edges, 14425 markings/sec, 100 secs
lola: 1611909 markings, 2738541 edges, 14337 markings/sec, 105 secs
lola: 1681644 markings, 2862700 edges, 13947 markings/sec, 110 secs
lola: 1754365 markings, 2986610 edges, 14544 markings/sec, 115 secs
lola: 1825063 markings, 3110728 edges, 14140 markings/sec, 120 secs
lola: 1894786 markings, 3234941 edges, 13945 markings/sec, 125 secs
lola: 1964741 markings, 3361424 edges, 13991 markings/sec, 130 secs
lola: 2033413 markings, 3488482 edges, 13734 markings/sec, 135 secs
lola: 2107247 markings, 3615035 edges, 14767 markings/sec, 140 secs
lola: 2179008 markings, 3741495 edges, 14352 markings/sec, 145 secs
lola: 2250329 markings, 3868012 edges, 14264 markings/sec, 150 secs
lola: 2319363 markings, 3994584 edges, 13807 markings/sec, 155 secs
lola: 2388252 markings, 4120079 edges, 13778 markings/sec, 160 secs
lola: 2457642 markings, 4245178 edges, 13878 markings/sec, 165 secs
lola: 2524809 markings, 4370540 edges, 13433 markings/sec, 170 secs
lola: 2592655 markings, 4495664 edges, 13569 markings/sec, 175 secs
lola: 2658489 markings, 4621057 edges, 13167 markings/sec, 180 secs
lola: 2728094 markings, 4746262 edges, 13921 markings/sec, 185 secs
lola: 2803123 markings, 4870531 edges, 15006 markings/sec, 190 secs
lola: 2876154 markings, 4995403 edges, 14606 markings/sec, 195 secs
lola: 2948736 markings, 5120014 edges, 14516 markings/sec, 200 secs
lola: 3019830 markings, 5245258 edges, 14219 markings/sec, 205 secs
lola: 3092523 markings, 5369875 edges, 14539 markings/sec, 210 secs
lola: 3163631 markings, 5494604 edges, 14222 markings/sec, 215 secs
lola: 3233899 markings, 5619649 edges, 14054 markings/sec, 220 secs
lola: 3303245 markings, 5744725 edges, 13869 markings/sec, 225 secs
lola: 3370084 markings, 5870348 edges, 13368 markings/sec, 230 secs
lola: 3443673 markings, 5994760 edges, 14718 markings/sec, 235 secs
lola: 3514448 markings, 6119299 edges, 14155 markings/sec, 240 secs
lola: 3584504 markings, 6244054 edges, 14011 markings/sec, 245 secs
lola: 3653409 markings, 6368932 edges, 13781 markings/sec, 250 secs
lola: 3721121 markings, 6494130 edges, 13542 markings/sec, 255 secs
lola: 3790551 markings, 6619176 edges, 13886 markings/sec, 260 secs
lola: 3858827 markings, 6744420 edges, 13655 markings/sec, 265 secs
lola: 3926428 markings, 6869539 edges, 13520 markings/sec, 270 secs
lola: 3992386 markings, 6994496 edges, 13192 markings/sec, 275 secs
lola: 4058611 markings, 7119569 edges, 13245 markings/sec, 280 secs
lola: 4130776 markings, 7243880 edges, 14433 markings/sec, 285 secs
lola: 4201025 markings, 7368314 edges, 14050 markings/sec, 290 secs
lola: 4271324 markings, 7492767 edges, 14060 markings/sec, 295 secs
lola: 4339595 markings, 7617800 edges, 13654 markings/sec, 300 secs
lola: 4408162 markings, 7742699 edges, 13713 markings/sec, 305 secs
lola: 4477244 markings, 7867336 edges, 13816 markings/sec, 310 secs
lola: 4544125 markings, 7992330 edges, 13376 markings/sec, 315 secs
lola: 4611999 markings, 8117385 edges, 13575 markings/sec, 320 secs
lola: 4677833 markings, 8242824 edges, 13167 markings/sec, 325 secs
lola: 4745058 markings, 8368286 edges, 13445 markings/sec, 330 secs
lola: 4814407 markings, 8493357 edges, 13870 markings/sec, 335 secs
lola: 4881363 markings, 8618642 edges, 13391 markings/sec, 340 secs
lola: 4949445 markings, 8743979 edges, 13616 markings/sec, 345 secs
lola: 5015376 markings, 8869633 edges, 13186 markings/sec, 350 secs
lola: 5081620 markings, 8995426 edges, 13249 markings/sec, 355 secs
lola: 5148447 markings, 9121146 edges, 13365 markings/sec, 360 secs
lola: 5213427 markings, 9247034 edges, 12996 markings/sec, 365 secs
lola: 5278745 markings, 9372379 edges, 13064 markings/sec, 370 secs
lola: 5342308 markings, 9498080 edges, 12713 markings/sec, 375 secs
lola: 5408366 markings, 9623770 edges, 13212 markings/sec, 380 secs
lola: 5483922 markings, 9748119 edges, 15111 markings/sec, 385 secs
lola: 5556555 markings, 9872968 edges, 14527 markings/sec, 390 secs
lola: 5630409 markings, 9997772 edges, 14771 markings/sec, 395 secs
lola: 5701414 markings, 10122736 edges, 14201 markings/sec, 400 secs
lola: 5773615 markings, 10247506 edges, 14440 markings/sec, 405 secs
lola: 5845221 markings, 10372265 edges, 14321 markings/sec, 410 secs
lola: 5915172 markings, 10497274 edges, 13990 markings/sec, 415 secs
lola: 5984557 markings, 10622003 edges, 13877 markings/sec, 420 secs
lola: 6052196 markings, 10747401 edges, 13528 markings/sec, 425 secs
lola: 6124698 markings, 10872042 edges, 14500 markings/sec, 430 secs
lola: 6195895 markings, 10996758 edges, 14239 markings/sec, 435 secs
lola: 6266129 markings, 11121849 edges, 14047 markings/sec, 440 secs
lola: 6335263 markings, 11247028 edges, 13827 markings/sec, 445 secs
lola: 6402612 markings, 11372643 edges, 13470 markings/sec, 450 secs
lola: 6473148 markings, 11497797 edges, 14107 markings/sec, 455 secs
lola: 6541463 markings, 11623144 edges, 13663 markings/sec, 460 secs
lola: 6608874 markings, 11748654 edges, 13482 markings/sec, 465 secs
lola: 6675697 markings, 11874319 edges, 13365 markings/sec, 470 secs
lola: 6740992 markings, 12000135 edges, 13059 markings/sec, 475 secs
lola: 6814329 markings, 12125367 edges, 14667 markings/sec, 480 secs
lola: 6885929 markings, 12251593 edges, 14320 markings/sec, 485 secs
lola: 6957171 markings, 12378055 edges, 14248 markings/sec, 490 secs
lola: 7026439 markings, 12504600 edges, 13854 markings/sec, 495 secs
lola: 7095815 markings, 12631482 edges, 13875 markings/sec, 500 secs
lola: 7165879 markings, 12757812 edges, 14013 markings/sec, 505 secs
lola: 7233518 markings, 12883772 edges, 13528 markings/sec, 510 secs
lola: 7301649 markings, 13009442 edges, 13626 markings/sec, 515 secs
lola: 7367032 markings, 13134045 edges, 13077 markings/sec, 520 secs
lola: 7433562 markings, 13258524 edges, 13306 markings/sec, 525 secs
lola: 7502377 markings, 13382619 edges, 13763 markings/sec, 530 secs
lola: 7568859 markings, 13506343 edges, 13296 markings/sec, 535 secs
lola: 7635963 markings, 13630046 edges, 13421 markings/sec, 540 secs
lola: 7701511 markings, 13755211 edges, 13110 markings/sec, 545 secs
lola: 7766849 markings, 13879514 edges, 13068 markings/sec, 550 secs
lola: 7833791 markings, 14005230 edges, 13388 markings/sec, 555 secs
lola: 7900463 markings, 14133662 edges, 13334 markings/sec, 560 secs
lola: 7965766 markings, 14259174 edges, 13061 markings/sec, 565 secs
lola: 8028965 markings, 14383824 edges, 12640 markings/sec, 570 secs
lola: 8094503 markings, 14511667 edges, 13108 markings/sec, 575 secs
lola: 8167704 markings, 14637646 edges, 14640 markings/sec, 580 secs
lola: 8238217 markings, 14762644 edges, 14103 markings/sec, 585 secs
lola: 8308365 markings, 14886844 edges, 14030 markings/sec, 590 secs
lola: 8376520 markings, 15011636 edges, 13631 markings/sec, 595 secs
lola: 8445886 markings, 15137985 edges, 13873 markings/sec, 600 secs
lola: 8515632 markings, 15263828 edges, 13949 markings/sec, 605 secs
lola: 8582891 markings, 15389906 edges, 13452 markings/sec, 610 secs
lola: 8651265 markings, 15515565 edges, 13675 markings/sec, 615 secs
lola: 8717402 markings, 15641700 edges, 13227 markings/sec, 620 secs
lola: 8784555 markings, 15766778 edges, 13431 markings/sec, 625 secs
lola: 8854159 markings, 15892349 edges, 13921 markings/sec, 630 secs
lola: 8920259 markings, 16016597 edges, 13220 markings/sec, 635 secs
lola: 8987572 markings, 16140055 edges, 13463 markings/sec, 640 secs
lola: 9052942 markings, 16264769 edges, 13074 markings/sec, 645 secs
lola: 9118466 markings, 16389157 edges, 13105 markings/sec, 650 secs
lola: 9184476 markings, 16513378 edges, 13202 markings/sec, 655 secs
lola: 9248962 markings, 16638144 edges, 12897 markings/sec, 660 secs
lola: 9314027 markings, 16762991 edges, 13013 markings/sec, 665 secs
lola: 9377377 markings, 16888187 edges, 12670 markings/sec, 670 secs
lola: 9441024 markings, 17013040 edges, 12729 markings/sec, 675 secs
lola: 9509943 markings, 17137348 edges, 13784 markings/sec, 680 secs
lola: 9578141 markings, 17262437 edges, 13640 markings/sec, 685 secs
lola: 9644620 markings, 17385347 edges, 13296 markings/sec, 690 secs
lola: 9709772 markings, 17508865 edges, 13030 markings/sec, 695 secs
lola: 9774036 markings, 17632767 edges, 12853 markings/sec, 700 secs
lola: 9840315 markings, 17756349 edges, 13256 markings/sec, 705 secs
lola: 9905946 markings, 17881713 edges, 13126 markings/sec, 710 secs
lola: 9970423 markings, 18006440 edges, 12895 markings/sec, 715 secs
lola: 10033442 markings, 18129870 edges, 12604 markings/sec, 720 secs
lola: 10095198 markings, 18255049 edges, 12351 markings/sec, 725 secs
lola: 10161561 markings, 18377805 edges, 13273 markings/sec, 730 secs
lola: 10226126 markings, 18500788 edges, 12913 markings/sec, 735 secs
lola: 10290863 markings, 18625796 edges, 12947 markings/sec, 740 secs
lola: 10355526 markings, 18752311 edges, 12933 markings/sec, 745 secs
lola: 10418254 markings, 18877464 edges, 12546 markings/sec, 750 secs
lola: 10481876 markings, 19001360 edges, 12724 markings/sec, 755 secs
lola: 10545075 markings, 19125547 edges, 12640 markings/sec, 760 secs
lola: 10605901 markings, 19249213 edges, 12165 markings/sec, 765 secs
lola: 10667982 markings, 19372755 edges, 12416 markings/sec, 770 secs
lola: 10728131 markings, 19496669 edges, 12030 markings/sec, 775 secs
lola: 10792859 markings, 19621838 edges, 12946 markings/sec, 780 secs
lola: 10867639 markings, 19744835 edges, 14956 markings/sec, 785 secs
lola: 10938315 markings, 19866483 edges, 14135 markings/sec, 790 secs
lola: 11010947 markings, 19989097 edges, 14526 markings/sec, 795 secs
lola: 11080909 markings, 20112157 edges, 13992 markings/sec, 800 secs
lola: 11151003 markings, 20233925 edges, 14019 markings/sec, 805 secs
lola: 11220820 markings, 20354847 edges, 13963 markings/sec, 810 secs
lola: 11289274 markings, 20477325 edges, 13691 markings/sec, 815 secs
lola: 11357620 markings, 20600097 edges, 13669 markings/sec, 820 secs
lola: 11423793 markings, 20721581 edges, 13235 markings/sec, 825 secs
lola: 11494806 markings, 20845296 edges, 14203 markings/sec, 830 secs
lola: 11565365 markings, 20968528 edges, 14112 markings/sec, 835 secs
lola: 11634116 markings, 21091220 edges, 13750 markings/sec, 840 secs
lola: 11702306 markings, 21213898 edges, 13638 markings/sec, 845 secs
lola: 11768994 markings, 21337338 edges, 13338 markings/sec, 850 secs
lola: 11838344 markings, 21461034 edges, 13870 markings/sec, 855 secs
lola: 11906060 markings, 21585116 edges, 13543 markings/sec, 860 secs
lola: 11973181 markings, 21709462 edges, 13424 markings/sec, 865 secs
lola: 12039021 markings, 21833222 edges, 13168 markings/sec, 870 secs
lola: 12104495 markings, 21959299 edges, 13095 markings/sec, 875 secs
lola: 12175658 markings, 22082861 edges, 14233 markings/sec, 880 secs
lola: 12245905 markings, 22206096 edges, 14049 markings/sec, 885 secs
lola: 12315635 markings, 22330152 edges, 13946 markings/sec, 890 secs
lola: 12385217 markings, 22455717 edges, 13916 markings/sec, 895 secs
lola: 12452296 markings, 22581725 edges, 13416 markings/sec, 900 secs
lola: 12523365 markings, 22706981 edges, 14214 markings/sec, 905 secs
lola: 12591940 markings, 22832701 edges, 13715 markings/sec, 910 secs
lola: 12659132 markings, 22957583 edges, 13438 markings/sec, 915 secs
lola: 12725297 markings, 23082265 edges, 13233 markings/sec, 920 secs
lola: 12789746 markings, 23208487 edges, 12890 markings/sec, 925 secs
lola: 12861683 markings, 23335230 edges, 14387 markings/sec, 930 secs
lola: 12931022 markings, 23462447 edges, 13868 markings/sec, 935 secs
lola: 12999345 markings, 23589675 edges, 13665 markings/sec, 940 secs
lola: 13066878 markings, 23716645 edges, 13507 markings/sec, 945 secs
lola: 13132717 markings, 23844402 edges, 13168 markings/sec, 950 secs
lola: 13201325 markings, 23971656 edges, 13722 markings/sec, 955 secs
lola: 13268100 markings, 24099235 edges, 13355 markings/sec, 960 secs
lola: 13334110 markings, 24226957 edges, 13202 markings/sec, 965 secs
lola: 13399285 markings, 24354806 edges, 13035 markings/sec, 970 secs
lola: 13462291 markings, 24482986 edges, 12601 markings/sec, 975 secs
lola: 13537160 markings, 24609440 edges, 14974 markings/sec, 980 secs
lola: 13609070 markings, 24736335 edges, 14382 markings/sec, 985 secs
lola: 13680635 markings, 24863344 edges, 14313 markings/sec, 990 secs
lola: 13750517 markings, 24990555 edges, 13976 markings/sec, 995 secs
lola: 13819690 markings, 25117867 edges, 13835 markings/sec, 1000 secs
lola: 13890458 markings, 25245009 edges, 14154 markings/sec, 1005 secs
lola: 13959048 markings, 25372347 edges, 13718 markings/sec, 1010 secs
lola: 14028110 markings, 25499815 edges, 13812 markings/sec, 1015 secs
lola: 14095004 markings, 25627385 edges, 13379 markings/sec, 1020 secs
lola: 14163328 markings, 25754908 edges, 13665 markings/sec, 1025 secs
lola: 14233789 markings, 25882007 edges, 14092 markings/sec, 1030 secs
lola: 14301684 markings, 26009344 edges, 13579 markings/sec, 1035 secs
lola: 14370903 markings, 26136551 edges, 13844 markings/sec, 1040 secs
lola: 14437799 markings, 26264191 edges, 13379 markings/sec, 1045 secs
lola: 14505117 markings, 26391731 edges, 13464 markings/sec, 1050 secs
lola: 14572833 markings, 26519210 edges, 13543 markings/sec, 1055 secs
lola: 14638211 markings, 26646971 edges, 13076 markings/sec, 1060 secs
lola: 14704932 markings, 26774568 edges, 13344 markings/sec, 1065 secs
lola: 14769510 markings, 26902598 edges, 12916 markings/sec, 1070 secs
lola: 14836377 markings, 27030306 edges, 13373 markings/sec, 1075 secs
lola: 14906874 markings, 27157498 edges, 14099 markings/sec, 1080 secs
lola: 14974839 markings, 27284995 edges, 13593 markings/sec, 1085 secs
lola: 15044098 markings, 27412272 edges, 13852 markings/sec, 1090 secs
lola: 15110953 markings, 27539813 edges, 13371 markings/sec, 1095 secs
lola: 15178319 markings, 27667441 edges, 13473 markings/sec, 1100 secs
lola: 15245876 markings, 27794631 edges, 13511 markings/sec, 1105 secs
lola: 15311310 markings, 27922555 edges, 13087 markings/sec, 1110 secs
lola: 15378099 markings, 28050211 edges, 13358 markings/sec, 1115 secs
lola: 15442658 markings, 28178210 edges, 12912 markings/sec, 1120 secs
lola: 15508499 markings, 28306158 edges, 13168 markings/sec, 1125 secs
lola: 15576330 markings, 28433751 edges, 13566 markings/sec, 1130 secs
lola: 15642226 markings, 28561481 edges, 13179 markings/sec, 1135 secs
lola: 15708826 markings, 28689289 edges, 13320 markings/sec, 1140 secs
lola: 15773368 markings, 28817226 edges, 12908 markings/sec, 1145 secs
lola: 15837854 markings, 28945439 edges, 12897 markings/sec, 1150 secs
lola: 15903412 markings, 29073470 edges, 13112 markings/sec, 1155 secs
lola: 15967782 markings, 29201549 edges, 12874 markings/sec, 1160 secs
lola: 16031786 markings, 29329838 edges, 12801 markings/sec, 1165 secs
lola: 16094751 markings, 29458301 edges, 12593 markings/sec, 1170 secs
lola: 16156351 markings, 29587065 edges, 12320 markings/sec, 1175 secs
lola: 16230658 markings, 29713271 edges, 14861 markings/sec, 1180 secs
lola: 16302742 markings, 29840441 edges, 14417 markings/sec, 1185 secs
lola: 16374386 markings, 29967720 edges, 14329 markings/sec, 1190 secs
lola: 16444303 markings, 30095214 edges, 13983 markings/sec, 1195 secs
lola: 16513987 markings, 30222785 edges, 13937 markings/sec, 1200 secs
lola: 16584683 markings, 30350206 edges, 14139 markings/sec, 1205 secs
lola: 16653116 markings, 30477756 edges, 13687 markings/sec, 1210 secs
lola: 16722316 markings, 30605332 edges, 13840 markings/sec, 1215 secs
lola: 16789417 markings, 30733228 edges, 13420 markings/sec, 1220 secs
lola: 16858006 markings, 30860942 edges, 13718 markings/sec, 1225 secs
lola: 16928611 markings, 30988404 edges, 14121 markings/sec, 1230 secs
lola: 16996722 markings, 31116115 edges, 13622 markings/sec, 1235 secs
lola: 17065949 markings, 31243658 edges, 13845 markings/sec, 1240 secs
lola: 17132963 markings, 31371598 edges, 13403 markings/sec, 1245 secs
lola: 17200652 markings, 31499667 edges, 13538 markings/sec, 1250 secs
lola: 17268468 markings, 31627504 edges, 13563 markings/sec, 1255 secs
lola: 17334122 markings, 31755518 edges, 13131 markings/sec, 1260 secs
lola: 17400788 markings, 31883453 edges, 13333 markings/sec, 1265 secs
lola: 17465484 markings, 32011816 edges, 12939 markings/sec, 1270 secs
lola: 17533026 markings, 32139765 edges, 13508 markings/sec, 1275 secs
lola: 17603451 markings, 32267160 edges, 14085 markings/sec, 1280 secs
lola: 17671754 markings, 32394889 edges, 13661 markings/sec, 1285 secs
lola: 17740756 markings, 32522594 edges, 13800 markings/sec, 1290 secs
lola: 17807887 markings, 32650672 edges, 13426 markings/sec, 1295 secs
lola: 17875550 markings, 32778636 edges, 13533 markings/sec, 1300 secs
lola: 17943488 markings, 32906553 edges, 13588 markings/sec, 1305 secs
lola: 18009261 markings, 33034758 edges, 13155 markings/sec, 1310 secs
lola: 18075790 markings, 33162832 edges, 13306 markings/sec, 1315 secs
lola: 18140431 markings, 33291187 edges, 12928 markings/sec, 1320 secs
lola: 18206915 markings, 33419313 edges, 13297 markings/sec, 1325 secs
lola: 18274802 markings, 33547207 edges, 13577 markings/sec, 1330 secs
lola: 18340354 markings, 33675543 edges, 13110 markings/sec, 1335 secs
lola: 18407422 markings, 33803618 edges, 13414 markings/sec, 1340 secs
lola: 18472149 markings, 33932002 edges, 12945 markings/sec, 1345 secs
lola: 18537172 markings, 34060393 edges, 13005 markings/sec, 1350 secs
lola: 18602678 markings, 34188717 edges, 13101 markings/sec, 1355 secs
lola: 18666578 markings, 34317081 edges, 12780 markings/sec, 1360 secs
lola: 18730942 markings, 34445493 edges, 12873 markings/sec, 1365 secs
lola: 18793722 markings, 34574185 edges, 12556 markings/sec, 1370 secs
lola: 18856943 markings, 34702858 edges, 12644 markings/sec, 1375 secs
lola: 18927791 markings, 34830306 edges, 14170 markings/sec, 1380 secs
lola: 18997257 markings, 34957808 edges, 13893 markings/sec, 1385 secs
lola: 19066061 markings, 35085112 edges, 13761 markings/sec, 1390 secs
lola: 19132763 markings, 35211782 edges, 13340 markings/sec, 1395 secs
lola: 19198594 markings, 35337980 edges, 13166 markings/sec, 1400 secs
lola: 19265610 markings, 35464022 edges, 13403 markings/sec, 1405 secs
lola: 19331585 markings, 35590013 edges, 13195 markings/sec, 1410 secs
lola: 19397241 markings, 35716565 edges, 13131 markings/sec, 1415 secs
lola: 19461540 markings, 35842963 edges, 12860 markings/sec, 1420 secs
lola: 19523106 markings, 35966976 edges, 12313 markings/sec, 1425 secs
lola: 19591326 markings, 36093365 edges, 13644 markings/sec, 1430 secs
lola: 19657601 markings, 36219827 edges, 13255 markings/sec, 1435 secs
lola: 19723046 markings, 36346402 edges, 13089 markings/sec, 1440 secs
lola: 19787278 markings, 36472222 edges, 12846 markings/sec, 1445 secs
lola: 19850085 markings, 36599486 edges, 12561 markings/sec, 1450 secs
lola: 19916127 markings, 36726328 edges, 13208 markings/sec, 1455 secs
lola: 19980096 markings, 36853265 edges, 12794 markings/sec, 1460 secs
lola: 20043420 markings, 36980457 edges, 12665 markings/sec, 1465 secs
lola: 20105854 markings, 37107578 edges, 12487 markings/sec, 1470 secs
lola: 20167796 markings, 37234957 edges, 12388 markings/sec, 1475 secs
lola: 20233600 markings, 37362212 edges, 13161 markings/sec, 1480 secs
lola: 20301018 markings, 37489192 edges, 13484 markings/sec, 1485 secs
lola: 20366412 markings, 37616528 edges, 13079 markings/sec, 1490 secs
lola: 20432059 markings, 37743364 edges, 13129 markings/sec, 1495 secs
lola: 20495970 markings, 37870128 edges, 12782 markings/sec, 1500 secs
lola: 20560694 markings, 37997507 edges, 12945 markings/sec, 1505 secs
lola: 20625742 markings, 38124901 edges, 13010 markings/sec, 1510 secs
lola: 20688679 markings, 38252049 edges, 12587 markings/sec, 1515 secs
lola: 20752410 markings, 38379027 edges, 12746 markings/sec, 1520 secs
lola: 20814482 markings, 38506350 edges, 12414 markings/sec, 1525 secs
lola: 20876511 markings, 38634141 edges, 12406 markings/sec, 1530 secs
lola: 20941808 markings, 38761143 edges, 13059 markings/sec, 1535 secs
lola: 21005869 markings, 38888259 edges, 12812 markings/sec, 1540 secs
lola: 21069156 markings, 39015389 edges, 12657 markings/sec, 1545 secs
lola: 21131499 markings, 39142242 edges, 12469 markings/sec, 1550 secs
lola: 21192412 markings, 39269927 edges, 12183 markings/sec, 1555 secs
lola: 21255764 markings, 39396609 edges, 12670 markings/sec, 1560 secs
lola: 21317757 markings, 39523772 edges, 12399 markings/sec, 1565 secs
lola: 21378453 markings, 39651159 edges, 12139 markings/sec, 1570 secs
lola: 21439435 markings, 39778230 edges, 12196 markings/sec, 1575 secs
lola: 21499257 markings, 39905964 edges, 11964 markings/sec, 1580 secs
lola: 21561869 markings, 40027306 edges, 12522 markings/sec, 1585 secs
lola: 21620836 markings, 40125173 edges, 11793 markings/sec, 1590 secs
lola: 21674892 markings, 40215475 edges, 10811 markings/sec, 1595 secs
lola: 21730277 markings, 40309986 edges, 11077 markings/sec, 1600 secs
lola: 21785624 markings, 40405911 edges, 11069 markings/sec, 1605 secs
lola: 21843706 markings, 40507497 edges, 11616 markings/sec, 1610 secs
lola: 21897729 markings, 40601846 edges, 10805 markings/sec, 1615 secs
lola: 21952406 markings, 40696398 edges, 10935 markings/sec, 1620 secs
lola: 22010186 markings, 40797580 edges, 11556 markings/sec, 1625 secs
lola: 22063734 markings, 40893152 edges, 10710 markings/sec, 1630 secs
lola: 22116046 markings, 40987075 edges, 10462 markings/sec, 1635 secs
lola: 22168551 markings, 41083194 edges, 10501 markings/sec, 1640 secs
lola: 22219874 markings, 41177262 edges, 10265 markings/sec, 1645 secs
lola: 22276683 markings, 41273868 edges, 11362 markings/sec, 1650 secs
lola: 22332503 markings, 41371810 edges, 11164 markings/sec, 1655 secs
lola: 22387084 markings, 41469656 edges, 10916 markings/sec, 1660 secs
lola: 22441509 markings, 41566076 edges, 10885 markings/sec, 1665 secs
lola: 22496319 markings, 41666046 edges, 10962 markings/sec, 1670 secs
lola: 22547047 markings, 41761675 edges, 10146 markings/sec, 1675 secs
lola: 22599242 markings, 41852977 edges, 10439 markings/sec, 1680 secs
lola: 22650882 markings, 41946979 edges, 10328 markings/sec, 1685 secs
lola: 22707064 markings, 42052141 edges, 11236 markings/sec, 1690 secs
lola: 22762988 markings, 42154807 edges, 11185 markings/sec, 1695 secs
lola: 22809086 markings, 42242007 edges, 9220 markings/sec, 1700 secs
lola: 22862353 markings, 42344676 edges, 10653 markings/sec, 1705 secs
lola: 22903576 markings, 42419126 edges, 8245 markings/sec, 1710 secs
lola: 22946679 markings, 42492730 edges, 8621 markings/sec, 1715 secs
lola: 22982864 markings, 42555735 edges, 7237 markings/sec, 1720 secs
lola: 23023124 markings, 42627139 edges, 8052 markings/sec, 1725 secs
lola: 23077768 markings, 42724364 edges, 10929 markings/sec, 1730 secs
lola: 23106930 markings, 42776391 edges, 5832 markings/sec, 1735 secs
lola: 23148306 markings, 42851620 edges, 8275 markings/sec, 1740 secs
lola: 23185625 markings, 42920477 edges, 7464 markings/sec, 1745 secs
lola: 23221384 markings, 42987923 edges, 7152 markings/sec, 1750 secs
lola: 23259132 markings, 43054174 edges, 7550 markings/sec, 1755 secs
lola: 23313913 markings, 43152884 edges, 10956 markings/sec, 1760 secs
lola: 23358126 markings, 43234331 edges, 8843 markings/sec, 1765 secs
lola: 23402610 markings, 43317359 edges, 8897 markings/sec, 1770 secs
lola: 23455876 markings, 43416373 edges, 10653 markings/sec, 1775 secs
lola: 23501155 markings, 43502414 edges, 9056 markings/sec, 1780 secs
lola: 23548433 markings, 43594991 edges, 9456 markings/sec, 1785 secs
lola: 23606905 markings, 43698743 edges, 11694 markings/sec, 1790 secs
lola: 23653146 markings, 43782631 edges, 9248 markings/sec, 1795 secs
lola: 23704183 markings, 43877331 edges, 10207 markings/sec, 1800 secs
lola: 23751712 markings, 43965160 edges, 9506 markings/sec, 1805 secs
lola: 23799347 markings, 44054743 edges, 9527 markings/sec, 1810 secs
lola: 23847875 markings, 44147393 edges, 9706 markings/sec, 1815 secs
lola: 23900519 markings, 44248832 edges, 10529 markings/sec, 1820 secs
lola: 23956617 markings, 44352466 edges, 11220 markings/sec, 1825 secs
lola: 23988166 markings, 44412266 edges, 6310 markings/sec, 1830 secs
lola: 24035898 markings, 44504286 edges, 9546 markings/sec, 1835 secs
lola: 24060266 markings, 44552814 edges, 4874 markings/sec, 1840 secs
lola: 24096709 markings, 44621664 edges, 7289 markings/sec, 1845 secs
lola: 24104072 markings, 44635883 edges, 1473 markings/sec, 1850 secs
lola: 24125312 markings, 44677246 edges, 4248 markings/sec, 1855 secs
lola: 24147125 markings, 44720677 edges, 4363 markings/sec, 1860 secs
lola: 24150534 markings, 44727175 edges, 682 markings/sec, 1865 secs
lola: 24169114 markings, 44763582 edges, 3716 markings/sec, 1870 secs
lola: 24170256 markings, 44765811 edges, 228 markings/sec, 1875 secs
lola: 24171248 markings, 44767827 edges, 198 markings/sec, 1880 secs
lola: 24177167 markings, 44779714 edges, 1184 markings/sec, 1885 secs
lola: 24177612 markings, 44780588 edges, 89 markings/sec, 1890 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (X (G (((p1005 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G (((p1005 <= 0)))))
lola: processed formula length: 26
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 77377 markings, 117213 edges, 15475 markings/sec, 0 secs
lola: 154017 markings, 240954 edges, 15328 markings/sec, 5 secs
lola: 230255 markings, 364628 edges, 15248 markings/sec, 10 secs
lola: 304183 markings, 488635 edges, 14786 markings/sec, 15 secs
lola: 378559 markings, 612550 edges, 14875 markings/sec, 20 secs
lola: 448176 markings, 727974 edges, 13923 markings/sec, 25 secs
lola: 515133 markings, 843100 edges, 13391 markings/sec, 30 secs
lola: 584105 markings, 959970 edges, 13794 markings/sec, 35 secs
lola: 649039 markings, 1074017 edges, 12987 markings/sec, 40 secs
lola: 718065 markings, 1191206 edges, 13805 markings/sec, 45 secs
lola: 791490 markings, 1312755 edges, 14685 markings/sec, 50 secs
lola: 865213 markings, 1438848 edges, 14745 markings/sec, 55 secs
lola: 938528 markings, 1565031 edges, 14663 markings/sec, 60 secs
lola: 1009689 markings, 1691750 edges, 14232 markings/sec, 65 secs
lola: 1083864 markings, 1818002 edges, 14835 markings/sec, 70 secs
lola: 1155918 markings, 1944651 edges, 14411 markings/sec, 75 secs
lola: 1226916 markings, 2071491 edges, 14200 markings/sec, 80 secs
lola: 1297129 markings, 2198320 edges, 14043 markings/sec, 85 secs
lola: 1367088 markings, 2325373 edges, 13992 markings/sec, 90 secs
lola: 1443864 markings, 2451503 edges, 15355 markings/sec, 95 secs
lola: 1517635 markings, 2577770 edges, 14754 markings/sec, 100 secs
lola: 1592084 markings, 2703785 edges, 14890 markings/sec, 105 secs
lola: 1664052 markings, 2830444 edges, 14394 markings/sec, 110 secs
lola: 1737324 markings, 2957178 edges, 14654 markings/sec, 115 secs
lola: 1809868 markings, 3083700 edges, 14509 markings/sec, 120 secs
lola: 1881110 markings, 3210647 edges, 14248 markings/sec, 125 secs
lola: 1951634 markings, 3337771 edges, 14105 markings/sec, 130 secs
lola: 2019950 markings, 3465024 edges, 13663 markings/sec, 135 secs
lola: 2094138 markings, 3591505 edges, 14838 markings/sec, 140 secs
lola: 2166283 markings, 3718359 edges, 14429 markings/sec, 145 secs
lola: 2237485 markings, 3845365 edges, 14240 markings/sec, 150 secs
lola: 2307762 markings, 3972577 edges, 14055 markings/sec, 155 secs
lola: 2376743 markings, 4100001 edges, 13796 markings/sec, 160 secs
lola: 2447342 markings, 4227122 edges, 14120 markings/sec, 165 secs
lola: 2516554 markings, 4354490 edges, 13842 markings/sec, 170 secs
lola: 2585436 markings, 4481791 edges, 13776 markings/sec, 175 secs
lola: 2652548 markings, 4609490 edges, 13422 markings/sec, 180 secs
lola: 2722085 markings, 4736620 edges, 13907 markings/sec, 185 secs
lola: 2798678 markings, 4862868 edges, 15319 markings/sec, 190 secs
lola: 2872537 markings, 4989501 edges, 14772 markings/sec, 195 secs
lola: 2946519 markings, 5115892 edges, 14796 markings/sec, 200 secs
lola: 3018495 markings, 5242868 edges, 14395 markings/sec, 205 secs
lola: 3092312 markings, 5369509 edges, 14763 markings/sec, 210 secs
lola: 3164693 markings, 5496427 edges, 14476 markings/sec, 215 secs
lola: 3236112 markings, 5623490 edges, 14284 markings/sec, 220 secs
lola: 3306405 markings, 5750584 edges, 14059 markings/sec, 225 secs
lola: 3374892 markings, 5878117 edges, 13697 markings/sec, 230 secs
lola: 3449184 markings, 6004612 edges, 14858 markings/sec, 235 secs
lola: 3521158 markings, 6131511 edges, 14395 markings/sec, 240 secs
lola: 3592693 markings, 6258546 edges, 14307 markings/sec, 245 secs
lola: 3662353 markings, 6385752 edges, 13932 markings/sec, 250 secs
lola: 3731946 markings, 6513029 edges, 13919 markings/sec, 255 secs
lola: 3802440 markings, 6640065 edges, 14099 markings/sec, 260 secs
lola: 3870749 markings, 6767453 edges, 13662 markings/sec, 265 secs
lola: 3939872 markings, 6894861 edges, 13825 markings/sec, 270 secs
lola: 4006766 markings, 7022401 edges, 13379 markings/sec, 275 secs
lola: 4076533 markings, 7149623 edges, 13953 markings/sec, 280 secs
lola: 4149747 markings, 7276464 edges, 14643 markings/sec, 285 secs
lola: 4220733 markings, 7403468 edges, 14197 markings/sec, 290 secs
lola: 4291752 markings, 7530418 edges, 14204 markings/sec, 295 secs
lola: 4360887 markings, 7657455 edges, 13827 markings/sec, 300 secs
lola: 4431560 markings, 7784399 edges, 14135 markings/sec, 305 secs
lola: 4501298 markings, 7911518 edges, 13948 markings/sec, 310 secs
lola: 4569706 markings, 8038857 edges, 13682 markings/sec, 315 secs
lola: 4637660 markings, 8166305 edges, 13591 markings/sec, 320 secs
lola: 4704024 markings, 8293966 edges, 13273 markings/sec, 325 secs
lola: 4774644 markings, 8421066 edges, 14124 markings/sec, 330 secs
lola: 4844151 markings, 8548319 edges, 13901 markings/sec, 335 secs
lola: 4912865 markings, 8675630 edges, 13743 markings/sec, 340 secs
lola: 4980684 markings, 8803202 edges, 13564 markings/sec, 345 secs
lola: 5046560 markings, 8931014 edges, 13175 markings/sec, 350 secs
lola: 5115347 markings, 9058488 edges, 13757 markings/sec, 355 secs
lola: 5182361 markings, 9186090 edges, 13403 markings/sec, 360 secs
lola: 5248339 markings, 9313528 edges, 13196 markings/sec, 365 secs
lola: 5313526 markings, 9441078 edges, 13037 markings/sec, 370 secs
lola: 5377311 markings, 9569012 edges, 12757 markings/sec, 375 secs
lola: 5452207 markings, 9695280 edges, 14979 markings/sec, 380 secs
lola: 5527279 markings, 9821160 edges, 15014 markings/sec, 385 secs
lola: 5600593 markings, 9946447 edges, 14663 markings/sec, 390 secs
lola: 5673393 markings, 10072741 edges, 14560 markings/sec, 395 secs
lola: 5745087 markings, 10199258 edges, 14339 markings/sec, 400 secs
lola: 5818434 markings, 10325481 edges, 14669 markings/sec, 405 secs
lola: 5889278 markings, 10452076 edges, 14169 markings/sec, 410 secs
lola: 5960751 markings, 10578399 edges, 14295 markings/sec, 415 secs
lola: 6029954 markings, 10705275 edges, 13841 markings/sec, 420 secs
lola: 6101058 markings, 10831467 edges, 14221 markings/sec, 425 secs
lola: 6174088 markings, 10957916 edges, 14606 markings/sec, 430 secs
lola: 6244807 markings, 11084353 edges, 14144 markings/sec, 435 secs
lola: 6315219 markings, 11211186 edges, 14082 markings/sec, 440 secs
lola: 6384398 markings, 11338309 edges, 13836 markings/sec, 445 secs
lola: 6455169 markings, 11464898 edges, 14154 markings/sec, 450 secs
lola: 6524513 markings, 11592034 edges, 13869 markings/sec, 455 secs
lola: 6593068 markings, 11718930 edges, 13711 markings/sec, 460 secs
lola: 6660849 markings, 11846437 edges, 13556 markings/sec, 465 secs
lola: 6726772 markings, 11973962 edges, 13185 markings/sec, 470 secs
lola: 6800360 markings, 12100608 edges, 14718 markings/sec, 475 secs
lola: 6872377 markings, 12227068 edges, 14403 markings/sec, 480 secs
lola: 6943505 markings, 12354011 edges, 14226 markings/sec, 485 secs
lola: 7013648 markings, 12480732 edges, 14029 markings/sec, 490 secs
lola: 7082279 markings, 12608000 edges, 13726 markings/sec, 495 secs
lola: 7152965 markings, 12734797 edges, 14137 markings/sec, 500 secs
lola: 7222232 markings, 12861973 edges, 13853 markings/sec, 505 secs
lola: 7290797 markings, 12988912 edges, 13713 markings/sec, 510 secs
lola: 7358087 markings, 13116478 edges, 13458 markings/sec, 515 secs
lola: 7425140 markings, 13243803 edges, 13411 markings/sec, 520 secs
lola: 7495799 markings, 13370934 edges, 14132 markings/sec, 525 secs
lola: 7564591 markings, 13498123 edges, 13758 markings/sec, 530 secs
lola: 7633528 markings, 13625411 edges, 13787 markings/sec, 535 secs
lola: 7700353 markings, 13752802 edges, 13365 markings/sec, 540 secs
lola: 7767303 markings, 13880361 edges, 13390 markings/sec, 545 secs
lola: 7835096 markings, 14007602 edges, 13559 markings/sec, 550 secs
lola: 7901222 markings, 14135258 edges, 13225 markings/sec, 555 secs
lola: 7967609 markings, 14262723 edges, 13277 markings/sec, 560 secs
lola: 8032343 markings, 14390643 edges, 12947 markings/sec, 565 secs
lola: 8098394 markings, 14518193 edges, 13210 markings/sec, 570 secs
lola: 8171972 markings, 14644824 edges, 14716 markings/sec, 575 secs
lola: 8243042 markings, 14771647 edges, 14214 markings/sec, 580 secs
lola: 8314759 markings, 14898447 edges, 14343 markings/sec, 585 secs
lola: 8384085 markings, 15025474 edges, 13865 markings/sec, 590 secs
lola: 8454070 markings, 15152628 edges, 13997 markings/sec, 595 secs
lola: 8524215 markings, 15279481 edges, 14029 markings/sec, 600 secs
lola: 8592401 markings, 15406905 edges, 13637 markings/sec, 605 secs
lola: 8660954 markings, 15534180 edges, 13711 markings/sec, 610 secs
lola: 8727771 markings, 15661856 edges, 13363 markings/sec, 615 secs
lola: 8796760 markings, 15788702 edges, 13798 markings/sec, 620 secs
lola: 8866980 markings, 15915748 edges, 14044 markings/sec, 625 secs
lola: 8935141 markings, 16042857 edges, 13632 markings/sec, 630 secs
lola: 9003098 markings, 16170198 edges, 13591 markings/sec, 635 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no no no no no no unknown no no unknown no no
lola:
preliminary result: no no no no no no no no unknown no no unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no no no no no unknown no no unknown no no
lola: memory consumption: 7527952 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no no no no no unknown no no unknown no no
lola: memory consumption: 7527952 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

--------------------
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="BART-PT-040"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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 gold2020"
echo " Input is BART-PT-040, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-tall-162038006300318"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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