fond
Model Checking Contest 2021
11th edition, Paris, France, June 23, 2021
Execution of r284-smll-162123894300053
Last Updated
Jun 28, 2021

About the Execution of 2020-gold for TokenRing-PT-020

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4487.403 3600000.00 3637513.00 10892.40 FTTTFFTFTT??FT?F normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r284-smll-162123894300053.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 TokenRing-PT-020, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r284-smll-162123894300053
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 80M
-rw-r--r-- 1 mcc users 731K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 3.6M May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.2M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 33M May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 258K Mar 28 16:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 896K Mar 28 16:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8M Mar 28 16:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 4.8M Mar 28 16:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 197K Mar 27 14:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 623K Mar 27 14:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.0M Mar 25 20:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14M Mar 25 20:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 50K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 121K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 6.0M May 5 16:52 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 TokenRing-PT-020-00
FORMULA_NAME TokenRing-PT-020-01
FORMULA_NAME TokenRing-PT-020-02
FORMULA_NAME TokenRing-PT-020-03
FORMULA_NAME TokenRing-PT-020-04
FORMULA_NAME TokenRing-PT-020-05
FORMULA_NAME TokenRing-PT-020-06
FORMULA_NAME TokenRing-PT-020-07
FORMULA_NAME TokenRing-PT-020-08
FORMULA_NAME TokenRing-PT-020-09
FORMULA_NAME TokenRing-PT-020-10
FORMULA_NAME TokenRing-PT-020-11
FORMULA_NAME TokenRing-PT-020-12
FORMULA_NAME TokenRing-PT-020-13
FORMULA_NAME TokenRing-PT-020-14
FORMULA_NAME TokenRing-PT-020-15

=== Now, execution of the tool begins

BK_START 1621414066521

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-19 08:47:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-19 08:47:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-19 08:47:49] [INFO ] Load time of PNML (sax parser for PT used): 637 ms
[2021-05-19 08:47:49] [INFO ] Transformed 441 places.
[2021-05-19 08:47:49] [INFO ] Transformed 8421 transitions.
[2021-05-19 08:47:49] [INFO ] Found NUPN structural information;
[2021-05-19 08:47:49] [INFO ] Parsed PT model containing 441 places and 8421 transitions in 754 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 253 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 0 resets, run finished after 981 ms. (steps per millisecond=101 ) properties seen :[1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 8421 rows 441 cols
[2021-05-19 08:47:51] [INFO ] Computed 21 place invariants in 56 ms
[2021-05-19 08:47:51] [INFO ] [Real]Absence check using 21 positive place invariants in 52 ms returned sat
[2021-05-19 08:47:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 08:47:58] [INFO ] [Real]Absence check using state equation in 6619 ms returned sat
[2021-05-19 08:47:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 08:47:59] [INFO ] [Nat]Absence check using 21 positive place invariants in 23 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2021-05-19 08:48:00] [INFO ] Initial state reduction rules for CTL removed 9 formulas.
[2021-05-19 08:48:00] [INFO ] Flatten gal took : 699 ms
FORMULA TokenRing-PT-020-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-19 08:48:00] [INFO ] Applying decomposition
[2021-05-19 08:48:00] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2021-05-19 08:48:00] [INFO ] Flatten gal took : 393 ms
[2021-05-19 08:48:00] [INFO ] Decomposing Gal with order
[2021-05-19 08:48:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 08:48:06] [INFO ] Removed a total of 7980 redundant transitions.
[2021-05-19 08:48:06] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2021-05-19 08:48:06] [INFO ] Flatten gal took : 5136 ms
[2021-05-19 08:48:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 8400 labels/synchronizations in 1642 ms.
[2021-05-19 08:48:08] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
FORMULA TokenRing-PT-020-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-19 08:48:08] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLCardinality.sr.xml took 6 ms.
[2021-05-19 08:48:08] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 103 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ TokenRing-PT-020 @ 3570 seconds

FORMULA TokenRing-PT-020-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ TokenRing-PT-020

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 890
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 6,
"adisj": 3,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (F ((G ((((p332 <= 0)) OR ((1 <= p93)))) AND ((((p372 <= 0)) OR ((1 <= p11))) AND (((p332 <= 0)) OR ((1 <= p93)))))))",
"processed_size": 122,
"rewrites": 22
},
"result":
{
"edges": 502,
"markings": 502,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 228584,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "G(F(*)) : G((F((X(F(**)) AND **)) AND (X(F(*)) OR (X(F(**)) AND **)))) : X(F((G(**) AND (** AND **)))) : (F(**) OR X(G(**)))"
},
"net":
{
"arcs": 33684,
"conflict_clusters": 1,
"places": 441,
"places_significant": 420,
"singleton_clusters": 0,
"transitions": 8421
},
"result":
{
"interim_value": "unknown unknown no unknown ",
"preliminary_value": "unknown unknown no unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 8862/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 441
lola: finding significant places
lola: 441 places, 8421 transitions, 420 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLCardinality.xml
lola: LP says that atomic proposition is always true: (p270 <= 1)
lola: LP says that atomic proposition is always true: (p270 <= 1)
lola: LP says that atomic proposition is always true: (p368 <= 1)
lola: LP says that atomic proposition is always true: (p277 <= 1)
lola: LP says that atomic proposition is always true: (p194 <= 1)
lola: LP says that atomic proposition is always true: (p317 <= 1)
lola: LP says that atomic proposition is always true: (p93 <= 1)
lola: LP says that atomic proposition is always true: (p136 <= 1)
lola: LP says that atomic proposition is always true: (p93 <= 1)
lola: LP says that atomic proposition is always true: (p11 <= 1)
lola: LP says that atomic proposition is always true: (p93 <= 1)
lola: LP says that atomic proposition is always true: (p85 <= 1)
lola: LP says that atomic proposition is always true: (p420 <= 1)
lola: (X (X (((1 <= p270)))) U (F (((1 <= p270))) U NOT(F (G ((((p283 <= 0)) OR ((1 <= p368)))))))) : G ((F (NOT(X ((((p220 <= 0)) OR ((1 <= p277)))))) U (X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317)))))) : F ((((((p332 <= 0)) OR ((1 <= p93))) U ((((p228 <= 0)) OR ((1 <= p136))) U (1 <= 0))) OR X (F (((G ((((p332 <= 0)) OR ((1 <= p93)))) AND (((p372 <= 0)) OR ((1 <= p11)))) AND (((p332 <= 0)) OR ((1 <= p93)))))))) : (((1 <= 0) U ((0 <= 0) U ((1 <= p85)))) OR G (X ((((p31 <= 0)) OR ((1 <= p420))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:425
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:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 890 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F ((X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317))))) AND (X (F ((((1 <= p220)) AND ((p277 <= 0))))) OR (X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F ((X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317))))) AND (X (F ((((1 <= p220)) AND ((p277 <= 0))))) OR (X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317)))))))
lola: processed formula length: 184
lola: 22 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 166186 markings, 775095 edges, 33237 markings/sec, 0 secs
lola: 326767 markings, 1675154 edges, 32116 markings/sec, 5 secs
lola: 470622 markings, 2546061 edges, 28771 markings/sec, 10 secs
lola: 621614 markings, 3445998 edges, 30198 markings/sec, 15 secs
lola: 777708 markings, 4340945 edges, 31219 markings/sec, 20 secs
lola: 939388 markings, 5222674 edges, 32336 markings/sec, 25 secs
lola: 1097953 markings, 6115405 edges, 31713 markings/sec, 30 secs
lola: 1247255 markings, 7008268 edges, 29860 markings/sec, 35 secs
lola: 1379173 markings, 7895775 edges, 26384 markings/sec, 40 secs
lola: 1524773 markings, 8806116 edges, 29120 markings/sec, 45 secs
lola: 1665861 markings, 9722490 edges, 28218 markings/sec, 50 secs
lola: 1796539 markings, 10650988 edges, 26136 markings/sec, 55 secs
lola: 1927009 markings, 11586832 edges, 26094 markings/sec, 60 secs
lola: 2069007 markings, 12485338 edges, 28400 markings/sec, 65 secs
lola: 2197881 markings, 13401858 edges, 25775 markings/sec, 70 secs
lola: 2343730 markings, 14305169 edges, 29170 markings/sec, 75 secs
lola: 2493199 markings, 15202220 edges, 29894 markings/sec, 80 secs
lola: 2642979 markings, 16097922 edges, 29956 markings/sec, 85 secs
lola: 2786133 markings, 17012910 edges, 28631 markings/sec, 90 secs
lola: 2935351 markings, 17901965 edges, 29844 markings/sec, 95 secs
lola: 3075042 markings, 18813606 edges, 27938 markings/sec, 100 secs
lola: 3211123 markings, 19720368 edges, 27216 markings/sec, 105 secs
lola: 3339090 markings, 20646869 edges, 25593 markings/sec, 110 secs
lola: 3463298 markings, 21573424 edges, 24842 markings/sec, 115 secs
lola: 3598024 markings, 22488207 edges, 26945 markings/sec, 120 secs
lola: 3732731 markings, 23402436 edges, 26941 markings/sec, 125 secs
lola: 3861455 markings, 24325297 edges, 25745 markings/sec, 130 secs
lola: 3981854 markings, 25256325 edges, 24080 markings/sec, 135 secs
lola: 4098964 markings, 26191249 edges, 23422 markings/sec, 140 secs
lola: 4247693 markings, 27082886 edges, 29746 markings/sec, 145 secs
lola: 4384069 markings, 27995981 edges, 27275 markings/sec, 150 secs
lola: 4513596 markings, 28922664 edges, 25905 markings/sec, 155 secs
lola: 4638147 markings, 29850603 edges, 24910 markings/sec, 160 secs
lola: 4765676 markings, 30764496 edges, 25506 markings/sec, 165 secs
lola: 4896180 markings, 31676957 edges, 26101 markings/sec, 170 secs
lola: 5050351 markings, 32580429 edges, 30834 markings/sec, 175 secs
lola: 5201244 markings, 33484117 edges, 30179 markings/sec, 180 secs
lola: 5340579 markings, 34412532 edges, 27867 markings/sec, 185 secs
lola: 5476935 markings, 35340504 edges, 27271 markings/sec, 190 secs
lola: 5617351 markings, 36261000 edges, 28083 markings/sec, 195 secs
lola: 5755723 markings, 37188973 edges, 27674 markings/sec, 200 secs
lola: 5905234 markings, 38079071 edges, 29902 markings/sec, 205 secs
lola: 6047254 markings, 38987603 edges, 28404 markings/sec, 210 secs
lola: 6180365 markings, 39917206 edges, 26622 markings/sec, 215 secs
lola: 6314411 markings, 40856352 edges, 26809 markings/sec, 220 secs
lola: 6454248 markings, 41763738 edges, 27967 markings/sec, 225 secs
lola: 6582334 markings, 42685269 edges, 25617 markings/sec, 230 secs
lola: 6714784 markings, 43606827 edges, 26490 markings/sec, 235 secs
lola: 6843447 markings, 44537486 edges, 25733 markings/sec, 240 secs
lola: 6963008 markings, 45482036 edges, 23912 markings/sec, 245 secs
lola: 7085791 markings, 46424832 edges, 24557 markings/sec, 250 secs
lola: 7206029 markings, 47364798 edges, 24048 markings/sec, 255 secs
lola: 7330932 markings, 48310249 edges, 24981 markings/sec, 260 secs
lola: 7460226 markings, 49233546 edges, 25859 markings/sec, 265 secs
lola: 7595680 markings, 50157829 edges, 27091 markings/sec, 270 secs
lola: 7723946 markings, 51090165 edges, 25653 markings/sec, 275 secs
lola: 7859059 markings, 52003302 edges, 27023 markings/sec, 280 secs
lola: 7986893 markings, 52916106 edges, 25567 markings/sec, 285 secs
lola: 8111131 markings, 53847357 edges, 24848 markings/sec, 290 secs
lola: 8239555 markings, 54765742 edges, 25685 markings/sec, 295 secs
lola: 8362397 markings, 55683681 edges, 24568 markings/sec, 300 secs
lola: 8484147 markings, 56611266 edges, 24350 markings/sec, 305 secs
lola: 8600748 markings, 57529723 edges, 23320 markings/sec, 310 secs
lola: 8712508 markings, 58464510 edges, 22352 markings/sec, 315 secs
lola: 8822585 markings, 59411333 edges, 22015 markings/sec, 320 secs
lola: 8938406 markings, 60344040 edges, 23164 markings/sec, 325 secs
lola: 9056068 markings, 61280106 edges, 23532 markings/sec, 330 secs
lola: 9182167 markings, 62175784 edges, 25220 markings/sec, 335 secs
lola: 9308214 markings, 63068149 edges, 25209 markings/sec, 340 secs
lola: 9426206 markings, 63968224 edges, 23598 markings/sec, 345 secs
lola: 9539486 markings, 64879254 edges, 22656 markings/sec, 350 secs
lola: 9674611 markings, 65778290 edges, 27025 markings/sec, 355 secs
lola: 9809543 markings, 66676865 edges, 26986 markings/sec, 360 secs
lola: 9935751 markings, 67591813 edges, 25242 markings/sec, 365 secs
lola: 10067852 markings, 68498464 edges, 26420 markings/sec, 370 secs
lola: 10190989 markings, 69421414 edges, 24627 markings/sec, 375 secs
lola: 10307939 markings, 70342599 edges, 23390 markings/sec, 380 secs
lola: 10444778 markings, 71245474 edges, 27368 markings/sec, 385 secs
lola: 10576704 markings, 72154139 edges, 26385 markings/sec, 390 secs
lola: 10736386 markings, 73036834 edges, 31936 markings/sec, 395 secs
lola: 10880511 markings, 73936601 edges, 28825 markings/sec, 400 secs
lola: 11025547 markings, 74834675 edges, 29007 markings/sec, 405 secs
lola: 11179922 markings, 75718821 edges, 30875 markings/sec, 410 secs
lola: 11327266 markings, 76613042 edges, 29469 markings/sec, 415 secs
lola: 11458064 markings, 77528219 edges, 26160 markings/sec, 420 secs
lola: 11592808 markings, 78430255 edges, 26949 markings/sec, 425 secs
lola: 11713868 markings, 79348239 edges, 24212 markings/sec, 430 secs
lola: 11846887 markings, 80249560 edges, 26604 markings/sec, 435 secs
lola: 11982603 markings, 81138150 edges, 27143 markings/sec, 440 secs
lola: 12124708 markings, 82025244 edges, 28421 markings/sec, 445 secs
lola: 12265612 markings, 82915188 edges, 28181 markings/sec, 450 secs
lola: 12397989 markings, 83837474 edges, 26475 markings/sec, 455 secs
lola: 12519993 markings, 84756245 edges, 24401 markings/sec, 460 secs
lola: 12653987 markings, 85656265 edges, 26799 markings/sec, 465 secs
lola: 12789957 markings, 86560867 edges, 27194 markings/sec, 470 secs
lola: 12920771 markings, 87463770 edges, 26163 markings/sec, 475 secs
lola: 13044980 markings, 88379137 edges, 24842 markings/sec, 480 secs
lola: 13164958 markings, 89307783 edges, 23996 markings/sec, 485 secs
lola: 13285189 markings, 90210531 edges, 24046 markings/sec, 490 secs
lola: 13395800 markings, 91129210 edges, 22122 markings/sec, 495 secs
lola: 13514002 markings, 92045067 edges, 23640 markings/sec, 500 secs
lola: 13628607 markings, 92959570 edges, 22921 markings/sec, 505 secs
lola: 13760037 markings, 93857355 edges, 26286 markings/sec, 510 secs
lola: 13898559 markings, 94759169 edges, 27704 markings/sec, 515 secs
lola: 14037208 markings, 95680363 edges, 27730 markings/sec, 520 secs
lola: 14177008 markings, 96592328 edges, 27960 markings/sec, 525 secs
lola: 14309412 markings, 97510950 edges, 26481 markings/sec, 530 secs
lola: 14428341 markings, 98443312 edges, 23786 markings/sec, 535 secs
lola: 14555605 markings, 99315043 edges, 25453 markings/sec, 540 secs
lola: 14682328 markings, 100217719 edges, 25345 markings/sec, 545 secs
lola: 14801288 markings, 101113213 edges, 23792 markings/sec, 550 secs
lola: 14922873 markings, 102019617 edges, 24317 markings/sec, 555 secs
lola: 15039828 markings, 102935171 edges, 23391 markings/sec, 560 secs
lola: 15148639 markings, 103862424 edges, 21762 markings/sec, 565 secs
lola: 15264602 markings, 104774275 edges, 23193 markings/sec, 570 secs
lola: 15383307 markings, 105653522 edges, 23741 markings/sec, 575 secs
lola: 15501662 markings, 106568160 edges, 23671 markings/sec, 580 secs
lola: 15614015 markings, 107482118 edges, 22471 markings/sec, 585 secs
lola: 15717188 markings, 108359647 edges, 20635 markings/sec, 590 secs
lola: 15817001 markings, 109251648 edges, 19963 markings/sec, 595 secs
lola: 15949608 markings, 110152840 edges, 26521 markings/sec, 600 secs
lola: 16071920 markings, 111054566 edges, 24462 markings/sec, 605 secs
lola: 16193242 markings, 111987995 edges, 24264 markings/sec, 610 secs
lola: 16304697 markings, 112920809 edges, 22291 markings/sec, 615 secs
lola: 16423817 markings, 113835105 edges, 23824 markings/sec, 620 secs
lola: 16533982 markings, 114764323 edges, 22033 markings/sec, 625 secs
lola: 16683311 markings, 115663905 edges, 29866 markings/sec, 630 secs
lola: 16816930 markings, 116599795 edges, 26724 markings/sec, 635 secs
lola: 16950424 markings, 117518761 edges, 26699 markings/sec, 640 secs
lola: 17085901 markings, 118428972 edges, 27095 markings/sec, 645 secs
lola: 17221002 markings, 119327509 edges, 27020 markings/sec, 650 secs
lola: 17345722 markings, 120253888 edges, 24944 markings/sec, 655 secs
lola: 17472601 markings, 121167995 edges, 25376 markings/sec, 660 secs
lola: 17597521 markings, 122083273 edges, 24984 markings/sec, 665 secs
lola: 17712118 markings, 123016908 edges, 22919 markings/sec, 670 secs
lola: 17826470 markings, 123952053 edges, 22870 markings/sec, 675 secs
lola: 17948210 markings, 124876455 edges, 24348 markings/sec, 680 secs
lola: 18080914 markings, 125775259 edges, 26541 markings/sec, 685 secs
lola: 18207435 markings, 126689506 edges, 25304 markings/sec, 690 secs
lola: 18331223 markings, 127618973 edges, 24758 markings/sec, 695 secs
lola: 18445385 markings, 128562236 edges, 22832 markings/sec, 700 secs
lola: 18566569 markings, 129487223 edges, 24237 markings/sec, 705 secs
lola: 18690835 markings, 130400558 edges, 24853 markings/sec, 710 secs
lola: 18806863 markings, 131335866 edges, 23206 markings/sec, 715 secs
lola: 18921880 markings, 132263283 edges, 23003 markings/sec, 720 secs
lola: 19034483 markings, 133189465 edges, 22521 markings/sec, 725 secs
lola: 19143448 markings, 134124766 edges, 21793 markings/sec, 730 secs
lola: 19248328 markings, 135070496 edges, 20976 markings/sec, 735 secs
lola: 19355872 markings, 135991765 edges, 21509 markings/sec, 740 secs
lola: 19479321 markings, 136908454 edges, 24690 markings/sec, 745 secs
lola: 19594742 markings, 137845807 edges, 23084 markings/sec, 750 secs
lola: 19718789 markings, 138755541 edges, 24809 markings/sec, 755 secs
lola: 19838358 markings, 139675652 edges, 23914 markings/sec, 760 secs
lola: 19955219 markings, 140591191 edges, 23372 markings/sec, 765 secs
lola: 20067317 markings, 141507821 edges, 22420 markings/sec, 770 secs
lola: 20171409 markings, 142441474 edges, 20818 markings/sec, 775 secs
lola: 20286054 markings, 143352792 edges, 22929 markings/sec, 780 secs
lola: 20394869 markings, 144286863 edges, 21763 markings/sec, 785 secs
lola: 20505651 markings, 145213350 edges, 22156 markings/sec, 790 secs
lola: 20609149 markings, 146147686 edges, 20700 markings/sec, 795 secs
lola: 20707059 markings, 147087588 edges, 19582 markings/sec, 800 secs
lola: 20814887 markings, 148013997 edges, 21566 markings/sec, 805 secs
lola: 20929563 markings, 148917783 edges, 22935 markings/sec, 810 secs
lola: 21039328 markings, 149797746 edges, 21953 markings/sec, 815 secs
lola: 21145096 markings, 150656074 edges, 21154 markings/sec, 820 secs
lola: 21245747 markings, 151541237 edges, 20130 markings/sec, 825 secs
lola: 21373893 markings, 152427566 edges, 25629 markings/sec, 830 secs
lola: 21492332 markings, 153306195 edges, 23688 markings/sec, 835 secs
lola: 21614817 markings, 154206319 edges, 24497 markings/sec, 840 secs
lola: 21727167 markings, 155120690 edges, 22470 markings/sec, 845 secs
lola: 21847425 markings, 156025231 edges, 24052 markings/sec, 850 secs
lola: 21960404 markings, 156941217 edges, 22596 markings/sec, 855 secs
lola: 22070070 markings, 157852578 edges, 21933 markings/sec, 860 secs
lola: 22186671 markings, 158752367 edges, 23320 markings/sec, 865 secs
lola: 22310765 markings, 159657803 edges, 24819 markings/sec, 870 secs
lola: 22435832 markings, 160562446 edges, 25013 markings/sec, 875 secs
lola: 22590560 markings, 161420699 edges, 30946 markings/sec, 880 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown
lola: memory consumption: 3804724 KB
lola: time consumption: 900 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 890 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G ((((p332 <= 0)) OR ((1 <= p93)))) AND ((((p372 <= 0)) OR ((1 <= p11))) AND (((p332 <= 0)) OR ((1 <= p93)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G ((((p332 <= 0)) OR ((1 <= p93)))) AND ((((p372 <= 0)) OR ((1 <= p11))) AND (((p332 <= 0)) OR ((1 <= p93)))))))
lola: processed formula length: 122
lola: 22 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 502 markings, 502 edges
lola: ========================================
lola: subprocess 2 will run for 1335 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p85))) OR X (G ((((p31 <= 0)) OR ((1 <= p420))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 1335 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p85)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p85 <= 0))
lola: processed formula length: 12
lola: 24 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 3392 markings, 8623 edges, 678 markings/sec, 0 secs
lola: 6853 markings, 21085 edges, 692 markings/sec, 5 secs
lola: 10444 markings, 32695 edges, 718 markings/sec, 10 secs
lola: 13973 markings, 44748 edges, 706 markings/sec, 15 secs
lola: 17405 markings, 56757 edges, 686 markings/sec, 20 secs
lola: 20909 markings, 69433 edges, 701 markings/sec, 25 secs
lola: 24278 markings, 84349 edges, 674 markings/sec, 30 secs
lola: 27658 markings, 100180 edges, 676 markings/sec, 35 secs
lola: 31198 markings, 116161 edges, 708 markings/sec, 40 secs
lola: 34672 markings, 131291 edges, 695 markings/sec, 45 secs
lola: 38155 markings, 146219 edges, 697 markings/sec, 50 secs
lola: 41566 markings, 162217 edges, 682 markings/sec, 55 secs
lola: 45115 markings, 176662 edges, 710 markings/sec, 60 secs
lola: 48557 markings, 188367 edges, 688 markings/sec, 65 secs
lola: 52025 markings, 200460 edges, 694 markings/sec, 70 secs
lola: 55423 markings, 213435 edges, 680 markings/sec, 75 secs
lola: 58773 markings, 228042 edges, 670 markings/sec, 80 secs
lola: 62213 markings, 243617 edges, 688 markings/sec, 85 secs
lola: 65664 markings, 259072 edges, 690 markings/sec, 90 secs
lola: 69086 markings, 274818 edges, 684 markings/sec, 95 secs
lola: 72612 markings, 289075 edges, 705 markings/sec, 100 secs
lola: 76098 markings, 304405 edges, 697 markings/sec, 105 secs
lola: 79548 markings, 316898 edges, 690 markings/sec, 110 secs
lola: 83068 markings, 329823 edges, 704 markings/sec, 115 secs
lola: 86400 markings, 343520 edges, 666 markings/sec, 120 secs
lola: 89781 markings, 359247 edges, 676 markings/sec, 125 secs
lola: 93208 markings, 375619 edges, 685 markings/sec, 130 secs
lola: 96655 markings, 392006 edges, 689 markings/sec, 135 secs
lola: 100067 markings, 406984 edges, 682 markings/sec, 140 secs
lola: 103500 markings, 421868 edges, 687 markings/sec, 145 secs
lola: 106932 markings, 435811 edges, 686 markings/sec, 150 secs
lola: 110337 markings, 451338 edges, 681 markings/sec, 155 secs
lola: 113724 markings, 467224 edges, 677 markings/sec, 160 secs
lola: 117134 markings, 483294 edges, 682 markings/sec, 165 secs
lola: 120555 markings, 498963 edges, 684 markings/sec, 170 secs
lola: 123946 markings, 514217 edges, 678 markings/sec, 175 secs
lola: 127374 markings, 530681 edges, 686 markings/sec, 180 secs
lola: 130678 markings, 548706 edges, 661 markings/sec, 185 secs
lola: 134011 markings, 567178 edges, 667 markings/sec, 190 secs
lola: 137352 markings, 585721 edges, 668 markings/sec, 195 secs
lola: 140637 markings, 603897 edges, 657 markings/sec, 200 secs
lola: 143959 markings, 622577 edges, 664 markings/sec, 205 secs
lola: 147140 markings, 640603 edges, 636 markings/sec, 210 secs
lola: 150147 markings, 657819 edges, 601 markings/sec, 215 secs
lola: 153439 markings, 676422 edges, 658 markings/sec, 220 secs
lola: 156835 markings, 695520 edges, 679 markings/sec, 225 secs
lola: 160228 markings, 714347 edges, 679 markings/sec, 230 secs
lola: 163718 markings, 731659 edges, 698 markings/sec, 235 secs
lola: 167152 markings, 749064 edges, 687 markings/sec, 240 secs
lola: 170531 markings, 768175 edges, 676 markings/sec, 245 secs
lola: 173793 markings, 786294 edges, 652 markings/sec, 250 secs
lola: 177260 markings, 803068 edges, 693 markings/sec, 255 secs
lola: 180732 markings, 819214 edges, 694 markings/sec, 260 secs
lola: 184155 markings, 838139 edges, 685 markings/sec, 265 secs
lola: 187658 markings, 855819 edges, 701 markings/sec, 270 secs
lola: 191210 markings, 872393 edges, 710 markings/sec, 275 secs
lola: 194833 markings, 887303 edges, 725 markings/sec, 280 secs
lola: 198214 markings, 898812 edges, 676 markings/sec, 285 secs
lola: 201689 markings, 910361 edges, 695 markings/sec, 290 secs
lola: 204995 markings, 923870 edges, 661 markings/sec, 295 secs
lola: 208306 markings, 938079 edges, 662 markings/sec, 300 secs
lola: 211651 markings, 952614 edges, 669 markings/sec, 305 secs
lola: 215015 markings, 967494 edges, 673 markings/sec, 310 secs
lola: 218424 markings, 982792 edges, 682 markings/sec, 315 secs
lola: 221886 markings, 998405 edges, 692 markings/sec, 320 secs
lola: 225375 markings, 1014139 edges, 698 markings/sec, 325 secs
lola: 228971 markings, 1029823 edges, 719 markings/sec, 330 secs
lola: 232632 markings, 1045321 edges, 732 markings/sec, 335 secs
lola: 236047 markings, 1058779 edges, 683 markings/sec, 340 secs
lola: 239385 markings, 1072566 edges, 668 markings/sec, 345 secs
lola: 242768 markings, 1086804 edges, 677 markings/sec, 350 secs
lola: 246202 markings, 1102030 edges, 687 markings/sec, 355 secs
lola: 249679 markings, 1117104 edges, 695 markings/sec, 360 secs
lola: 253145 markings, 1132361 edges, 693 markings/sec, 365 secs
lola: 256594 markings, 1147546 edges, 690 markings/sec, 370 secs
lola: 260045 markings, 1162485 edges, 690 markings/sec, 375 secs
lola: 263352 markings, 1177955 edges, 661 markings/sec, 380 secs
lola: 266660 markings, 1193416 edges, 662 markings/sec, 385 secs
lola: 269982 markings, 1209195 edges, 664 markings/sec, 390 secs
lola: 273261 markings, 1224810 edges, 656 markings/sec, 395 secs
lola: 276528 markings, 1241467 edges, 653 markings/sec, 400 secs
lola: 279701 markings, 1258412 edges, 635 markings/sec, 405 secs
lola: 283045 markings, 1274919 edges, 669 markings/sec, 410 secs
lola: 286365 markings, 1292362 edges, 664 markings/sec, 415 secs
lola: 289728 markings, 1309446 edges, 673 markings/sec, 420 secs
lola: 292974 markings, 1325564 edges, 649 markings/sec, 425 secs
lola: 296319 markings, 1342709 edges, 669 markings/sec, 430 secs
lola: 299680 markings, 1360036 edges, 672 markings/sec, 435 secs
lola: 303049 markings, 1378170 edges, 674 markings/sec, 440 secs
lola: 306411 markings, 1396369 edges, 672 markings/sec, 445 secs
lola: 309844 markings, 1414250 edges, 687 markings/sec, 450 secs
lola: 313222 markings, 1433070 edges, 676 markings/sec, 455 secs
lola: 316684 markings, 1451315 edges, 692 markings/sec, 460 secs
lola: 320165 markings, 1469901 edges, 696 markings/sec, 465 secs
lola: 323565 markings, 1487870 edges, 680 markings/sec, 470 secs
lola: 326988 markings, 1506394 edges, 685 markings/sec, 475 secs
lola: 330512 markings, 1525267 edges, 705 markings/sec, 480 secs
lola: 333932 markings, 1543025 edges, 684 markings/sec, 485 secs
lola: 337436 markings, 1561882 edges, 701 markings/sec, 490 secs
lola: 340886 markings, 1580037 edges, 690 markings/sec, 495 secs
lola: 344382 markings, 1598787 edges, 699 markings/sec, 500 secs
lola: 347836 markings, 1617019 edges, 691 markings/sec, 505 secs
lola: 351296 markings, 1635300 edges, 692 markings/sec, 510 secs
lola: 354882 markings, 1654207 edges, 717 markings/sec, 515 secs
lola: 358462 markings, 1671681 edges, 716 markings/sec, 520 secs
lola: 361910 markings, 1683815 edges, 690 markings/sec, 525 secs
lola: 365193 markings, 1697286 edges, 657 markings/sec, 530 secs
lola: 368543 markings, 1712287 edges, 670 markings/sec, 535 secs
lola: 371935 markings, 1727384 edges, 678 markings/sec, 540 secs
lola: 375470 markings, 1742650 edges, 707 markings/sec, 545 secs
lola: 379095 markings, 1757585 edges, 725 markings/sec, 550 secs
lola: 382710 markings, 1772992 edges, 723 markings/sec, 555 secs
lola: 386090 markings, 1787361 edges, 676 markings/sec, 560 secs
lola: 389401 markings, 1803742 edges, 662 markings/sec, 565 secs
lola: 392710 markings, 1820480 edges, 662 markings/sec, 570 secs
lola: 396055 markings, 1837240 edges, 669 markings/sec, 575 secs
lola: 399450 markings, 1853842 edges, 679 markings/sec, 580 secs
lola: 402815 markings, 1870549 edges, 673 markings/sec, 585 secs
lola: 406209 markings, 1887717 edges, 679 markings/sec, 590 secs
lola: 409604 markings, 1904805 edges, 679 markings/sec, 595 secs
lola: 413085 markings, 1922841 edges, 696 markings/sec, 600 secs
lola: 416508 markings, 1940252 edges, 685 markings/sec, 605 secs
lola: 419946 markings, 1958065 edges, 688 markings/sec, 610 secs
lola: 423390 markings, 1975725 edges, 689 markings/sec, 615 secs
lola: 426900 markings, 1992707 edges, 702 markings/sec, 620 secs
lola: 430429 markings, 2010262 edges, 706 markings/sec, 625 secs
lola: 433838 markings, 2027617 edges, 682 markings/sec, 630 secs
lola: 437278 markings, 2045303 edges, 688 markings/sec, 635 secs
lola: 440678 markings, 2063054 edges, 680 markings/sec, 640 secs
lola: 444056 markings, 2080759 edges, 676 markings/sec, 645 secs
lola: 447467 markings, 2098457 edges, 682 markings/sec, 650 secs
lola: 450908 markings, 2116097 edges, 688 markings/sec, 655 secs
lola: 454427 markings, 2133223 edges, 704 markings/sec, 660 secs
lola: 457883 markings, 2146631 edges, 691 markings/sec, 665 secs
lola: 461277 markings, 2160514 edges, 679 markings/sec, 670 secs
lola: 464545 markings, 2175729 edges, 654 markings/sec, 675 secs
lola: 467868 markings, 2191373 edges, 665 markings/sec, 680 secs
lola: 471238 markings, 2207233 edges, 674 markings/sec, 685 secs
lola: 474656 markings, 2223418 edges, 684 markings/sec, 690 secs
lola: 478067 markings, 2239426 edges, 682 markings/sec, 695 secs
lola: 481248 markings, 2254390 edges, 636 markings/sec, 700 secs
lola: 484539 markings, 2272940 edges, 658 markings/sec, 705 secs
lola: 487829 markings, 2291603 edges, 658 markings/sec, 710 secs
lola: 491116 markings, 2310332 edges, 657 markings/sec, 715 secs
lola: 494456 markings, 2328680 edges, 668 markings/sec, 720 secs
lola: 497816 markings, 2345359 edges, 672 markings/sec, 725 secs
lola: 501110 markings, 2362636 edges, 659 markings/sec, 730 secs
lola: 504376 markings, 2381145 edges, 653 markings/sec, 735 secs
lola: 507408 markings, 2398415 edges, 606 markings/sec, 740 secs
lola: 510732 markings, 2415602 edges, 665 markings/sec, 745 secs
lola: 514061 markings, 2433588 edges, 666 markings/sec, 750 secs
lola: 517420 markings, 2452553 edges, 672 markings/sec, 755 secs
lola: 520835 markings, 2470008 edges, 683 markings/sec, 760 secs
lola: 524264 markings, 2489252 edges, 686 markings/sec, 765 secs
lola: 527728 markings, 2507488 edges, 693 markings/sec, 770 secs
lola: 531259 markings, 2526380 edges, 706 markings/sec, 775 secs
lola: 534941 markings, 2545393 edges, 736 markings/sec, 780 secs
lola: 538382 markings, 2563443 edges, 688 markings/sec, 785 secs
lola: 541902 markings, 2581928 edges, 704 markings/sec, 790 secs
lola: 545450 markings, 2600810 edges, 710 markings/sec, 795 secs
lola: 548990 markings, 2619610 edges, 708 markings/sec, 800 secs
lola: 552519 markings, 2638139 edges, 706 markings/sec, 805 secs
lola: 556011 markings, 2655606 edges, 698 markings/sec, 810 secs
lola: 559305 markings, 2672708 edges, 659 markings/sec, 815 secs
lola: 562601 markings, 2689967 edges, 659 markings/sec, 820 secs
lola: 565910 markings, 2707413 edges, 662 markings/sec, 825 secs
lola: 569191 markings, 2727090 edges, 656 markings/sec, 830 secs
lola: 572490 markings, 2745634 edges, 660 markings/sec, 835 secs
lola: 575825 markings, 2763768 edges, 667 markings/sec, 840 secs
lola: 579123 markings, 2783168 edges, 660 markings/sec, 845 secs
lola: 582449 markings, 2802551 edges, 665 markings/sec, 850 secs
lola: 585726 markings, 2822700 edges, 655 markings/sec, 855 secs
lola: 589013 markings, 2842615 edges, 657 markings/sec, 860 secs
lola: 592313 markings, 2862193 edges, 660 markings/sec, 865 secs
lola: 595633 markings, 2880988 edges, 664 markings/sec, 870 secs
lola: 598951 markings, 2900636 edges, 664 markings/sec, 875 secs
lola: 602248 markings, 2920726 edges, 659 markings/sec, 880 secs
lola: 605560 markings, 2940873 edges, 662 markings/sec, 885 secs
lola: 608889 markings, 2960926 edges, 666 markings/sec, 890 secs
lola: 612220 markings, 2981382 edges, 666 markings/sec, 895 secs
lola: 615584 markings, 3000020 edges, 673 markings/sec, 900 secs
lola: 618928 markings, 3019685 edges, 669 markings/sec, 905 secs
lola: 622253 markings, 3039756 edges, 665 markings/sec, 910 secs
lola: 625591 markings, 3060330 edges, 668 markings/sec, 915 secs
lola: 629013 markings, 3079138 edges, 684 markings/sec, 920 secs
lola: 632450 markings, 3098448 edges, 687 markings/sec, 925 secs
lola: 635771 markings, 3118727 edges, 664 markings/sec, 930 secs
lola: 639137 markings, 3138212 edges, 673 markings/sec, 935 secs
lola: 642343 markings, 3156897 edges, 641 markings/sec, 940 secs
lola: 645664 markings, 3177148 edges, 664 markings/sec, 945 secs
lola: 648885 markings, 3196516 edges, 644 markings/sec, 950 secs
lola: 652237 markings, 3217018 edges, 670 markings/sec, 955 secs
lola: 655628 markings, 3237259 edges, 678 markings/sec, 960 secs
lola: 658970 markings, 3257447 edges, 668 markings/sec, 965 secs
lola: 662342 markings, 3277636 edges, 674 markings/sec, 970 secs
lola: 665698 markings, 3297569 edges, 671 markings/sec, 975 secs
lola: 669043 markings, 3317998 edges, 669 markings/sec, 980 secs
lola: 672474 markings, 3338498 edges, 686 markings/sec, 985 secs
lola: 675870 markings, 3359840 edges, 679 markings/sec, 990 secs
lola: 679304 markings, 3381332 edges, 687 markings/sec, 995 secs
lola: 682748 markings, 3401936 edges, 689 markings/sec, 1000 secs
lola: 686264 markings, 3423798 edges, 703 markings/sec, 1005 secs
lola: 689643 markings, 3444838 edges, 676 markings/sec, 1010 secs
lola: 692968 markings, 3463781 edges, 665 markings/sec, 1015 secs
lola: 696255 markings, 3483945 edges, 657 markings/sec, 1020 secs
lola: 699604 markings, 3503924 edges, 670 markings/sec, 1025 secs
lola: 702919 markings, 3523913 edges, 663 markings/sec, 1030 secs
lola: 706337 markings, 3544553 edges, 684 markings/sec, 1035 secs
lola: 709779 markings, 3566199 edges, 688 markings/sec, 1040 secs
lola: 713165 markings, 3587595 edges, 677 markings/sec, 1045 secs
lola: 716652 markings, 3609364 edges, 697 markings/sec, 1050 secs
lola: 720043 markings, 3628539 edges, 678 markings/sec, 1055 secs
lola: 723423 markings, 3648642 edges, 676 markings/sec, 1060 secs
lola: 726904 markings, 3669093 edges, 696 markings/sec, 1065 secs
lola: 730344 markings, 3690273 edges, 688 markings/sec, 1070 secs
lola: 733777 markings, 3711504 edges, 687 markings/sec, 1075 secs
lola: 737204 markings, 3732640 edges, 685 markings/sec, 1080 secs
lola: 740733 markings, 3754535 edges, 706 markings/sec, 1085 secs
lola: 744114 markings, 3773958 edges, 676 markings/sec, 1090 secs
lola: 747537 markings, 3794188 edges, 685 markings/sec, 1095 secs
lola: 750956 markings, 3815206 edges, 684 markings/sec, 1100 secs
lola: 754401 markings, 3836466 edges, 689 markings/sec, 1105 secs
lola: 757831 markings, 3857124 edges, 686 markings/sec, 1110 secs
lola: 761210 markings, 3877204 edges, 676 markings/sec, 1115 secs
lola: 764605 markings, 3898008 edges, 679 markings/sec, 1120 secs
lola: 768032 markings, 3919190 edges, 685 markings/sec, 1125 secs
lola: 771459 markings, 3940690 edges, 685 markings/sec, 1130 secs
lola: 774856 markings, 3961149 edges, 679 markings/sec, 1135 secs
lola: 778285 markings, 3981411 edges, 686 markings/sec, 1140 secs
lola: 781746 markings, 4002441 edges, 692 markings/sec, 1145 secs
lola: 785304 markings, 4024116 edges, 712 markings/sec, 1150 secs
lola: 788895 markings, 4045581 edges, 718 markings/sec, 1155 secs
lola: 792391 markings, 4066197 edges, 699 markings/sec, 1160 secs
lola: 795942 markings, 4086614 edges, 710 markings/sec, 1165 secs
lola: 799580 markings, 4103037 edges, 728 markings/sec, 1170 secs
lola: 802980 markings, 4114833 edges, 680 markings/sec, 1175 secs
lola: 806541 markings, 4126555 edges, 712 markings/sec, 1180 secs
lola: 810059 markings, 4139196 edges, 704 markings/sec, 1185 secs
lola: 813389 markings, 4151949 edges, 666 markings/sec, 1190 secs
lola: 816790 markings, 4166401 edges, 680 markings/sec, 1195 secs
lola: 820111 markings, 4182064 edges, 664 markings/sec, 1200 secs
lola: 823463 markings, 4197769 edges, 670 markings/sec, 1205 secs
lola: 826955 markings, 4213821 edges, 698 markings/sec, 1210 secs
lola: 830561 markings, 4229738 edges, 721 markings/sec, 1215 secs
lola: 834311 markings, 4245010 edges, 750 markings/sec, 1220 secs
lola: 837932 markings, 4258285 edges, 724 markings/sec, 1225 secs
lola: 841351 markings, 4271038 edges, 684 markings/sec, 1230 secs
lola: 844779 markings, 4285731 edges, 686 markings/sec, 1235 secs
lola: 848129 markings, 4301233 edges, 670 markings/sec, 1240 secs
lola: 851525 markings, 4317093 edges, 679 markings/sec, 1245 secs
lola: 855115 markings, 4333542 edges, 718 markings/sec, 1250 secs
lola: 858549 markings, 4346870 edges, 687 markings/sec, 1255 secs
lola: 861985 markings, 4362430 edges, 687 markings/sec, 1260 secs
lola: 865433 markings, 4378361 edges, 690 markings/sec, 1265 secs
lola: 868880 markings, 4394247 edges, 689 markings/sec, 1270 secs
lola: 872315 markings, 4409807 edges, 687 markings/sec, 1275 secs
lola: 875793 markings, 4425380 edges, 696 markings/sec, 1280 secs
lola: 879084 markings, 4441343 edges, 658 markings/sec, 1285 secs
lola: 882377 markings, 4459696 edges, 659 markings/sec, 1290 secs
lola: 885669 markings, 4477106 edges, 658 markings/sec, 1295 secs
lola: 888997 markings, 4495041 edges, 666 markings/sec, 1300 secs
lola: 892305 markings, 4513053 edges, 662 markings/sec, 1305 secs
lola: 895653 markings, 4531127 edges, 670 markings/sec, 1310 secs
lola: 898983 markings, 4549208 edges, 666 markings/sec, 1315 secs
lola: 902341 markings, 4567902 edges, 672 markings/sec, 1320 secs
lola: 905700 markings, 4585783 edges, 672 markings/sec, 1325 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no unknown
lola: memory consumption: 292380 KB
lola: time consumption: 2235 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: memory consumption: 292380 KB
lola: time consumption: 2235 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 1335 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((((1 <= p283)) AND ((p368 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((((1 <= p283)) AND ((p368 <= 0)))))
lola: processed formula length: 41
lola: 22 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 3476 markings, 9872 edges, 695 markings/sec, 0 secs
lola: 6891 markings, 24189 edges, 683 markings/sec, 5 secs
lola: 10452 markings, 39480 edges, 712 markings/sec, 10 secs
lola: 14069 markings, 54553 edges, 723 markings/sec, 15 secs
lola: 17507 markings, 69280 edges, 688 markings/sec, 20 secs
lola: 20939 markings, 81445 edges, 686 markings/sec, 25 secs
lola: 24351 markings, 96652 edges, 682 markings/sec, 30 secs
lola: 27723 markings, 111261 edges, 674 markings/sec, 35 secs
lola: 31122 markings, 125320 edges, 680 markings/sec, 40 secs
lola: 34509 markings, 139497 edges, 677 markings/sec, 45 secs
lola: 37893 markings, 156459 edges, 677 markings/sec, 50 secs
lola: 41288 markings, 175078 edges, 679 markings/sec, 55 secs
lola: 44702 markings, 193205 edges, 683 markings/sec, 60 secs
lola: 48015 markings, 210941 edges, 663 markings/sec, 65 secs
lola: 51431 markings, 229040 edges, 683 markings/sec, 70 secs
lola: 54896 markings, 247456 edges, 693 markings/sec, 75 secs
lola: 58425 markings, 265219 edges, 706 markings/sec, 80 secs
lola: 61831 markings, 282526 edges, 681 markings/sec, 85 secs
lola: 65289 markings, 299149 edges, 692 markings/sec, 90 secs
lola: 68789 markings, 319378 edges, 700 markings/sec, 95 secs
lola: 72276 markings, 337273 edges, 697 markings/sec, 100 secs
lola: 75850 markings, 356966 edges, 715 markings/sec, 105 secs
lola: 79356 markings, 374819 edges, 701 markings/sec, 110 secs
lola: 82846 markings, 393362 edges, 698 markings/sec, 115 secs
lola: 86312 markings, 411313 edges, 693 markings/sec, 120 secs
lola: 89723 markings, 425298 edges, 682 markings/sec, 125 secs
lola: 93222 markings, 440750 edges, 700 markings/sec, 130 secs
lola: 96590 markings, 457946 edges, 674 markings/sec, 135 secs
lola: 99976 markings, 475449 edges, 677 markings/sec, 140 secs
lola: 103403 markings, 493549 edges, 685 markings/sec, 145 secs
lola: 106845 markings, 510961 edges, 688 markings/sec, 150 secs
lola: 110215 markings, 527758 edges, 674 markings/sec, 155 secs
lola: 113271 markings, 541025 edges, 611 markings/sec, 160 secs
lola: 116633 markings, 556294 edges, 672 markings/sec, 165 secs
lola: 120015 markings, 572730 edges, 676 markings/sec, 170 secs
lola: 123460 markings, 589854 edges, 689 markings/sec, 175 secs
lola: 126910 markings, 607539 edges, 690 markings/sec, 180 secs
lola: 130427 markings, 625179 edges, 703 markings/sec, 185 secs
lola: 133796 markings, 642697 edges, 674 markings/sec, 190 secs
lola: 137156 markings, 661312 edges, 672 markings/sec, 195 secs
lola: 140498 markings, 683075 edges, 668 markings/sec, 200 secs
lola: 143815 markings, 703639 edges, 663 markings/sec, 205 secs
lola: 147049 markings, 723359 edges, 647 markings/sec, 210 secs
lola: 149632 markings, 738122 edges, 517 markings/sec, 215 secs
lola: 153002 markings, 756911 edges, 674 markings/sec, 220 secs
lola: 156364 markings, 774435 edges, 672 markings/sec, 225 secs
lola: 159896 markings, 788645 edges, 706 markings/sec, 230 secs
lola: 163310 markings, 805350 edges, 683 markings/sec, 235 secs
lola: 166713 markings, 822634 edges, 681 markings/sec, 240 secs
lola: 169452 markings, 835965 edges, 548 markings/sec, 245 secs
lola: 172714 markings, 853502 edges, 652 markings/sec, 250 secs
lola: 176070 markings, 873452 edges, 671 markings/sec, 255 secs
lola: 179437 markings, 894436 edges, 673 markings/sec, 260 secs
lola: 181849 markings, 908881 edges, 482 markings/sec, 265 secs
lola: 185340 markings, 928006 edges, 698 markings/sec, 270 secs
lola: 188735 markings, 946284 edges, 679 markings/sec, 275 secs
lola: 192127 markings, 964953 edges, 678 markings/sec, 280 secs
lola: 195505 markings, 986127 edges, 676 markings/sec, 285 secs
lola: 198181 markings, 1002763 edges, 535 markings/sec, 290 secs
lola: 200338 markings, 1016175 edges, 431 markings/sec, 295 secs
lola: 203829 markings, 1032862 edges, 698 markings/sec, 300 secs
lola: 207414 markings, 1049631 edges, 717 markings/sec, 305 secs
lola: 210818 markings, 1066286 edges, 681 markings/sec, 310 secs
lola: 214191 markings, 1084641 edges, 675 markings/sec, 315 secs
lola: 217105 markings, 1102811 edges, 583 markings/sec, 320 secs
lola: 220062 markings, 1119437 edges, 591 markings/sec, 325 secs
lola: 223507 markings, 1138628 edges, 689 markings/sec, 330 secs
lola: 226892 markings, 1156704 edges, 677 markings/sec, 335 secs
lola: 229825 markings, 1174701 edges, 587 markings/sec, 340 secs
lola: 231879 markings, 1187531 edges, 411 markings/sec, 345 secs
lola: 235300 markings, 1204449 edges, 684 markings/sec, 350 secs
lola: 238701 markings, 1219437 edges, 680 markings/sec, 355 secs
lola: 242142 markings, 1236548 edges, 688 markings/sec, 360 secs
lola: 245522 markings, 1252800 edges, 676 markings/sec, 365 secs
lola: 248886 markings, 1268242 edges, 673 markings/sec, 370 secs
lola: 252291 markings, 1287247 edges, 681 markings/sec, 375 secs
lola: 255599 markings, 1304241 edges, 662 markings/sec, 380 secs
lola: 258994 markings, 1322152 edges, 679 markings/sec, 385 secs
lola: 262346 markings, 1343129 edges, 670 markings/sec, 390 secs
lola: 265723 markings, 1364502 edges, 675 markings/sec, 395 secs
lola: 269114 markings, 1383679 edges, 678 markings/sec, 400 secs
lola: 272559 markings, 1401908 edges, 689 markings/sec, 405 secs
lola: 275942 markings, 1421461 edges, 677 markings/sec, 410 secs
lola: 279390 markings, 1441858 edges, 690 markings/sec, 415 secs
lola: 282813 markings, 1461957 edges, 685 markings/sec, 420 secs
lola: 286205 markings, 1479724 edges, 678 markings/sec, 425 secs
lola: 289596 markings, 1498482 edges, 678 markings/sec, 430 secs
lola: 292981 markings, 1520203 edges, 677 markings/sec, 435 secs
lola: 296368 markings, 1541189 edges, 677 markings/sec, 440 secs
lola: 299635 markings, 1560841 edges, 653 markings/sec, 445 secs
lola: 302582 markings, 1578775 edges, 589 markings/sec, 450 secs
lola: 305955 markings, 1596562 edges, 675 markings/sec, 455 secs
lola: 309357 markings, 1615407 edges, 680 markings/sec, 460 secs
lola: 312709 markings, 1636270 edges, 670 markings/sec, 465 secs
lola: 315621 markings, 1654229 edges, 582 markings/sec, 470 secs
lola: 318851 markings, 1673971 edges, 646 markings/sec, 475 secs
lola: 322212 markings, 1694936 edges, 672 markings/sec, 480 secs
lola: 325560 markings, 1717909 edges, 670 markings/sec, 485 secs
lola: 328900 markings, 1742158 edges, 668 markings/sec, 490 secs
lola: 330776 markings, 1755525 edges, 375 markings/sec, 495 secs
lola: 333299 markings, 1773407 edges, 505 markings/sec, 500 secs
lola: 336711 markings, 1792169 edges, 682 markings/sec, 505 secs
lola: 340123 markings, 1812530 edges, 682 markings/sec, 510 secs
lola: 342978 markings, 1829696 edges, 571 markings/sec, 515 secs
lola: 346364 markings, 1849938 edges, 677 markings/sec, 520 secs
lola: 349698 markings, 1872203 edges, 667 markings/sec, 525 secs
lola: 352182 markings, 1890134 edges, 497 markings/sec, 530 secs
lola: 355184 markings, 1911324 edges, 600 markings/sec, 535 secs
lola: 358679 markings, 1926556 edges, 699 markings/sec, 540 secs
lola: 361619 markings, 1940752 edges, 588 markings/sec, 545 secs
lola: 364800 markings, 1956275 edges, 636 markings/sec, 550 secs
lola: 368159 markings, 1975950 edges, 672 markings/sec, 555 secs
lola: 371287 markings, 1994186 edges, 626 markings/sec, 560 secs
lola: 374531 markings, 2012211 edges, 649 markings/sec, 565 secs
lola: 377810 markings, 2030823 edges, 656 markings/sec, 570 secs
lola: 381098 markings, 2049343 edges, 658 markings/sec, 575 secs
lola: 384537 markings, 2068530 edges, 688 markings/sec, 580 secs
lola: 387975 markings, 2089403 edges, 688 markings/sec, 585 secs
lola: 391411 markings, 2112892 edges, 687 markings/sec, 590 secs
lola: 394074 markings, 2130605 edges, 533 markings/sec, 595 secs
lola: 396204 markings, 2145310 edges, 426 markings/sec, 600 secs
lola: 399321 markings, 2163902 edges, 623 markings/sec, 605 secs
lola: 402775 markings, 2186587 edges, 691 markings/sec, 610 secs
lola: 406267 markings, 2207832 edges, 698 markings/sec, 615 secs
lola: 409711 markings, 2222453 edges, 689 markings/sec, 620 secs
lola: 413162 markings, 2237330 edges, 690 markings/sec, 625 secs
lola: 416517 markings, 2254960 edges, 671 markings/sec, 630 secs
lola: 419894 markings, 2271940 edges, 675 markings/sec, 635 secs
lola: 423331 markings, 2288736 edges, 687 markings/sec, 640 secs
lola: 426835 markings, 2307710 edges, 701 markings/sec, 645 secs
lola: 430248 markings, 2325631 edges, 683 markings/sec, 650 secs
lola: 433629 markings, 2344918 edges, 676 markings/sec, 655 secs
lola: 436996 markings, 2366305 edges, 673 markings/sec, 660 secs
lola: 439813 markings, 2383268 edges, 563 markings/sec, 665 secs
lola: 443106 markings, 2402175 edges, 659 markings/sec, 670 secs
lola: 446446 markings, 2420123 edges, 668 markings/sec, 675 secs
lola: 449456 markings, 2438438 edges, 602 markings/sec, 680 secs
lola: 452241 markings, 2455383 edges, 557 markings/sec, 685 secs
lola: 455359 markings, 2471908 edges, 624 markings/sec, 690 secs
lola: 458353 markings, 2487931 edges, 599 markings/sec, 695 secs
lola: 461432 markings, 2507303 edges, 616 markings/sec, 700 secs
lola: 464529 markings, 2526086 edges, 619 markings/sec, 705 secs
lola: 467793 markings, 2545965 edges, 653 markings/sec, 710 secs
lola: 471155 markings, 2568644 edges, 672 markings/sec, 715 secs
lola: 473318 markings, 2584153 edges, 433 markings/sec, 720 secs
lola: 476050 markings, 2601724 edges, 546 markings/sec, 725 secs
lola: 479472 markings, 2622644 edges, 684 markings/sec, 730 secs
lola: 482912 markings, 2637711 edges, 688 markings/sec, 735 secs
lola: 486335 markings, 2655549 edges, 685 markings/sec, 740 secs
lola: 488904 markings, 2670311 edges, 514 markings/sec, 745 secs
lola: 491749 markings, 2686407 edges, 569 markings/sec, 750 secs
lola: 494203 markings, 2700998 edges, 491 markings/sec, 755 secs
lola: 496989 markings, 2716560 edges, 557 markings/sec, 760 secs
lola: 500592 markings, 2734822 edges, 721 markings/sec, 765 secs
lola: 504023 markings, 2753961 edges, 686 markings/sec, 770 secs
lola: 507483 markings, 2774260 edges, 692 markings/sec, 775 secs
lola: 510591 markings, 2791915 edges, 622 markings/sec, 780 secs
lola: 513530 markings, 2808859 edges, 588 markings/sec, 785 secs
lola: 516345 markings, 2827857 edges, 563 markings/sec, 790 secs
lola: 519037 markings, 2845503 edges, 538 markings/sec, 795 secs
lola: 521609 markings, 2862485 edges, 514 markings/sec, 800 secs
lola: 523862 markings, 2878239 edges, 451 markings/sec, 805 secs
lola: 526600 markings, 2896541 edges, 548 markings/sec, 810 secs
lola: 529289 markings, 2914416 edges, 538 markings/sec, 815 secs
lola: 532392 markings, 2933137 edges, 621 markings/sec, 820 secs
lola: 535236 markings, 2950940 edges, 569 markings/sec, 825 secs
lola: 537767 markings, 2968346 edges, 506 markings/sec, 830 secs
lola: 541045 markings, 2987519 edges, 656 markings/sec, 835 secs
lola: 543862 markings, 3003992 edges, 563 markings/sec, 840 secs
lola: 547271 markings, 3020303 edges, 682 markings/sec, 845 secs
lola: 550431 markings, 3037008 edges, 632 markings/sec, 850 secs
lola: 553211 markings, 3052974 edges, 556 markings/sec, 855 secs
lola: 555727 markings, 3067371 edges, 503 markings/sec, 860 secs
lola: 559107 markings, 3085134 edges, 676 markings/sec, 865 secs
lola: 562469 markings, 3104215 edges, 672 markings/sec, 870 secs
lola: 565508 markings, 3121903 edges, 608 markings/sec, 875 secs
lola: 568297 markings, 3140713 edges, 558 markings/sec, 880 secs
lola: 570532 markings, 3155805 edges, 447 markings/sec, 885 secs
lola: 573176 markings, 3173469 edges, 529 markings/sec, 890 secs
lola: 576267 markings, 3191252 edges, 618 markings/sec, 895 secs
lola: 578531 markings, 3206641 edges, 453 markings/sec, 900 secs
lola: 581394 markings, 3223622 edges, 573 markings/sec, 905 secs
lola: 584302 markings, 3239568 edges, 582 markings/sec, 910 secs
lola: 587720 markings, 3258217 edges, 684 markings/sec, 915 secs
lola: 590929 markings, 3276485 edges, 642 markings/sec, 920 secs
lola: 594204 markings, 3296825 edges, 655 markings/sec, 925 secs
lola: 597447 markings, 3317018 edges, 649 markings/sec, 930 secs
lola: 600657 markings, 3336132 edges, 642 markings/sec, 935 secs
lola: 603660 markings, 3355519 edges, 601 markings/sec, 940 secs
lola: 606877 markings, 3373156 edges, 643 markings/sec, 945 secs
lola: 610364 markings, 3391769 edges, 697 markings/sec, 950 secs
lola: 613879 markings, 3411354 edges, 703 markings/sec, 955 secs
lola: 617298 markings, 3432109 edges, 684 markings/sec, 960 secs
lola: 620783 markings, 3452536 edges, 697 markings/sec, 965 secs
lola: 623871 markings, 3470195 edges, 618 markings/sec, 970 secs
lola: 626783 markings, 3488595 edges, 582 markings/sec, 975 secs
lola: 629555 markings, 3504869 edges, 554 markings/sec, 980 secs
lola: 632337 markings, 3522474 edges, 556 markings/sec, 985 secs
lola: 635210 markings, 3540785 edges, 575 markings/sec, 990 secs
lola: 638762 markings, 3558355 edges, 710 markings/sec, 995 secs
lola: 642249 markings, 3578286 edges, 697 markings/sec, 1000 secs
lola: 645689 markings, 3597370 edges, 688 markings/sec, 1005 secs
lola: 648682 markings, 3615175 edges, 599 markings/sec, 1010 secs
lola: 651568 markings, 3632996 edges, 577 markings/sec, 1015 secs
lola: 654915 markings, 3650181 edges, 669 markings/sec, 1020 secs
lola: 658137 markings, 3667776 edges, 644 markings/sec, 1025 secs
lola: 661287 markings, 3686974 edges, 630 markings/sec, 1030 secs
lola: 664169 markings, 3704171 edges, 576 markings/sec, 1035 secs
lola: 666902 markings, 3720480 edges, 547 markings/sec, 1040 secs
lola: 670201 markings, 3735063 edges, 660 markings/sec, 1045 secs
lola: 673782 markings, 3750853 edges, 716 markings/sec, 1050 secs
lola: 676939 markings, 3767155 edges, 631 markings/sec, 1055 secs
lola: 680328 markings, 3782881 edges, 678 markings/sec, 1060 secs
lola: 683716 markings, 3798955 edges, 678 markings/sec, 1065 secs
lola: 687120 markings, 3817868 edges, 681 markings/sec, 1070 secs
lola: 690581 markings, 3835820 edges, 692 markings/sec, 1075 secs
lola: 693748 markings, 3852762 edges, 633 markings/sec, 1080 secs
lola: 697044 markings, 3873753 edges, 659 markings/sec, 1085 secs
lola: 700256 markings, 3893353 edges, 642 markings/sec, 1090 secs
lola: 703581 markings, 3912342 edges, 665 markings/sec, 1095 secs
lola: 707082 markings, 3930427 edges, 700 markings/sec, 1100 secs
lola: 710422 markings, 3949904 edges, 668 markings/sec, 1105 secs
lola: 713851 markings, 3970237 edges, 686 markings/sec, 1110 secs
lola: 717242 markings, 3989867 edges, 678 markings/sec, 1115 secs
lola: 720643 markings, 4007873 edges, 680 markings/sec, 1120 secs
lola: 724032 markings, 4026818 edges, 678 markings/sec, 1125 secs
lola: 727406 markings, 4048356 edges, 675 markings/sec, 1130 secs
lola: 730763 markings, 4069266 edges, 671 markings/sec, 1135 secs
lola: 733912 markings, 4088524 edges, 630 markings/sec, 1140 secs
lola: 736621 markings, 4105245 edges, 542 markings/sec, 1145 secs
lola: 740006 markings, 4123189 edges, 677 markings/sec, 1150 secs
lola: 743405 markings, 4141920 edges, 680 markings/sec, 1155 secs
lola: 746771 markings, 4162976 edges, 673 markings/sec, 1160 secs
lola: 749399 markings, 4179343 edges, 526 markings/sec, 1165 secs
lola: 752013 markings, 4195317 edges, 523 markings/sec, 1170 secs
lola: 755392 markings, 4216115 edges, 676 markings/sec, 1175 secs
lola: 758772 markings, 4238263 edges, 676 markings/sec, 1180 secs
lola: 762126 markings, 4262592 edges, 671 markings/sec, 1185 secs
lola: 764474 markings, 4279435 edges, 470 markings/sec, 1190 secs
lola: 765863 markings, 4289642 edges, 278 markings/sec, 1195 secs
lola: 769235 markings, 4310747 edges, 674 markings/sec, 1200 secs
lola: 772649 markings, 4329566 edges, 683 markings/sec, 1205 secs
lola: 775550 markings, 4347698 edges, 580 markings/sec, 1210 secs
lola: 778622 markings, 4366415 edges, 614 markings/sec, 1215 secs
lola: 781973 markings, 4387010 edges, 670 markings/sec, 1220 secs
lola: 785189 markings, 4409415 edges, 643 markings/sec, 1225 secs
lola: 786841 markings, 4421464 edges, 330 markings/sec, 1230 secs
lola: 790080 markings, 4442361 edges, 648 markings/sec, 1235 secs
lola: 793128 markings, 4458070 edges, 610 markings/sec, 1240 secs
lola: 796307 markings, 4476227 edges, 636 markings/sec, 1245 secs
lola: 799301 markings, 4494506 edges, 599 markings/sec, 1250 secs
lola: 802469 markings, 4512625 edges, 634 markings/sec, 1255 secs
lola: 805609 markings, 4531406 edges, 628 markings/sec, 1260 secs
lola: 808971 markings, 4552984 edges, 672 markings/sec, 1265 secs
lola: 811620 markings, 4572381 edges, 530 markings/sec, 1270 secs
lola: 813887 markings, 4588970 edges, 453 markings/sec, 1275 secs
lola: 817163 markings, 4608293 edges, 655 markings/sec, 1280 secs
lola: 820440 markings, 4625246 edges, 655 markings/sec, 1285 secs
lola: 823831 markings, 4644156 edges, 678 markings/sec, 1290 secs
lola: 827229 markings, 4665430 edges, 680 markings/sec, 1295 secs
lola: 830320 markings, 4684016 edges, 618 markings/sec, 1300 secs
lola: 833393 markings, 4702526 edges, 615 markings/sec, 1305 secs
lola: 836625 markings, 4722302 edges, 646 markings/sec, 1310 secs
lola: 839982 markings, 4743519 edges, 671 markings/sec, 1315 secs
lola: 843311 markings, 4766884 edges, 666 markings/sec, 1320 secs
lola: 846645 markings, 4791013 edges, 667 markings/sec, 1325 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown
lola: lola: caught signal User defined signal 1 - aborting LoLA

preliminary result: unknown unknown no unknown
lola:
preliminary result: unknown unknown no unknown
lola: memory consumption: 355724 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: lola: memory consumption: 228584 KB
...considering subproblem: G ((F ((X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317))))) AND (X (F ((((1 <= p220)) AND ((p277 <= 0))))) OR (X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317)))))))lola:
lola: time consumption: 3570 seconds
========================================lola:
lola: print data as JSON (--json)
SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: processed formula: G ((F ((X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317))))) AND (X (F ((((1 <= p220)) AND ((p277 <= 0))))) OR (X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317)))))))
lola: processed formula length: 184
lola: 22 rewrites
lola: closed formula file LTLCardinality.xml
lola: caught signal User defined signal 1 - aborting LoLA
rslt: finished
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 15823608 kB
After kill :
MemTotal: 16427332 kB
MemFree: 15823372 kB

--------------------
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="TokenRing-PT-020"
export BK_EXAMINATION="LTLCardinality"
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 TokenRing-PT-020, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r284-smll-162123894300053"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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