fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r120-csrt-158961292500113
Last Updated
Jun 28, 2020

About the Execution of 2019-Gold for NoC3x3-PT-8B

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
5045.120 3570179.00 3648754.00 352.50 TTTF?FFFFTTFF?TF normal

Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r120-csrt-158961292500113.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 win2019
Input is NoC3x3-PT-8B, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-csrt-158961292500113
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 4.1K Apr 8 15:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 8 15:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 18:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 7 18:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 6 20:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 6 20:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 6 04:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 6 04:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 3.0M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1590343017540

info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ NoC3x3-PT-8B @ 3570 seconds

FORMULA NoC3x3-PT-8B-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-8B-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-8B-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-8B-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-8B-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-8B-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-8B-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-8B-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-8B-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-8B-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-8B-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-8B-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-8B-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-8B-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ NoC3x3-PT-8B

{
"exit":
{
"memory": 798972,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G (F ((p2975 <= p310))))",
"processed_size": 27,
"rewrites": 100
},
"result":
{
"preliminary_value": "yes yes yes no unknown no no no no yes yes no no unknown yes no "
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 23717/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 9140
lola: finding significant places
lola: 9140 places, 14577 transitions, 9041 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLCardinality.xml
lola: LP says that atomic proposition is always false: (2 <= p6441)
lola: LP says that atomic proposition is always false: (2 <= p8007)
lola: LP says that atomic proposition is always false: (3 <= p8323)
lola: LP says that atomic proposition is always false: (3 <= p8323)
lola: LP says that atomic proposition is always false: (2 <= p8)
lola: LP says that atomic proposition is always false: (3 <= p7957)
lola: LP says that atomic proposition is always false: (3 <= p7957)
lola: LP says that atomic proposition is always false: (3 <= p7957)
lola: LP says that atomic proposition is always false: (2 <= p659)
lola: LP says that atomic proposition is always false: (3 <= p6864)
lola: LP says that atomic proposition is always false: (3 <= p6864)
lola: LP says that atomic proposition is always false: (2 <= p6920)
lola: LP says that atomic proposition is always false: (3 <= p8624)
lola: LP says that atomic proposition is always false: (3 <= p8624)
lola: A (G (((G ((p6628 <= p7009)) OR G ((0 <= p2666))) OR ((p6628 <= p7009) U (p4838 <= p8878))))) : A (X ((F ((p2230 <= p8304)) OR X (G (((((p6139 <= p2678) OR (2 <= p3130)) OR X ((p2230 <= p8304))) OR X ((3 <= p2412)))))))) : A (X (G (X (F ((G ((p6710 <= p7559)) OR NOT(X (())))))))) : A (X (G (X (NOT(G (X ((p847 <= p3368)))))))) : A (F (G ((F ((p2988 <= 2)) OR F (G ((p4733 <= p7476))))))) : A (G (NOT((G (((p6959 <= p708) U F ((p6959 <= p708)))) AND X (F ((p6959 <= p708))))))) : A (NOT(X (NOT(((p1095 <= p1693) AND X (NOT(G (X (NOT(G ((2 <= p8007)))))))))))) : A (X ((G (NOT(((3 <= p8323) U X (NOT(G (X ((3 <= p8323)))))))) U (2 <= p8)))) : A (G ((p2685 + 1 <= p466))) : A (X ((G ((p7957 <= 2)) AND (X ((3 <= p7957)) U ((p4890 <= p328) AND NOT(F (X ((3 <= p7957))))))))) : A (F ((p659 <= 1))) : A (((p6650 + 1 <= p1406) OR (F ((p2525 <= p1358)) AND X ((p1358 + 1 <= p2525))))) : A (F (G (((() AND X ((p4224 <= p2218))) OR X (NOT(X ((p6864 <= 2)))))))) : A (G (((2 <= p6920) OR F ((p2975 <= p310))))) : A (((3 <= p8624) OR X (((p8407 <= p2850) OR X ((G ((3 <= p8624)) U ((p1986 <= p2061) U (p3700 <= p6587)))))))) : A (((1 <= p3717) OR F ((F ((p4717 + 1 <= p3136)) AND NOT(((p3838 <= 0) OR X ((1 <= p3717))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 198 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 226 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 244 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 264 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 6 will run for 317 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((p4890 <= p328)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((p4890 <= p328)))
lola: processed formula length: 23
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 7 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((F (G ((p708 + 1 <= p6959))) OR X (G ((p708 + 1 <= p6959))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((F (G ((p708 + 1 <= p6959))) OR X (G ((p708 + 1 <= p6959))))))
lola: processed formula length: 68
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 34 markings, 35 edges
lola: ========================================
lola: subprocess 8 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p6650 + 1 <= p1406) OR (F ((p2525 <= p1358)) AND X ((p1358 + 1 <= p2525)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p6650 + 1 <= p1406) OR (F ((p2525 <= p1358)) AND X ((p1358 + 1 <= p2525)))))
lola: processed formula length: 81
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 33 markings, 33 edges
lola: ========================================
lola: subprocess 9 will run for 453 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((F ((p2230 <= p8304)) OR X (G ((((p6139 <= p2678) OR (2 <= p3130)) OR X (((p2230 <= p8304) OR (3 <= p2412)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F ((p2230 <= p8304)) OR X (G ((((p6139 <= p2678) OR (2 <= p3130)) OR X (((p2230 <= p8304) OR (3 <= p2412)))))))))
lola: processed formula length: 121
lola: 100 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: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 10 will run for 529 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((p8407 <= p2850) OR X (((p1986 <= p2061) U (p3700 <= p6587))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((p8407 <= p2850) OR X (((p1986 <= p2061) U (p3700 <= p6587))))))
lola: processed formula length: 71
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 11 will run for 635 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((1 <= p3717) OR F ((F ((p4717 + 1 <= p3136)) AND ((1 <= p3838) AND X ((p3717 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((1 <= p3717) OR F ((F ((p4717 + 1 <= p3136)) AND ((1 <= p3838) AND X ((p3717 <= 0)))))))
lola: processed formula length: 92
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 33 markings, 33 edges
lola: ========================================
lola: subprocess 12 will run for 793 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p2685 + 1 <= p466)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((p2685 + 1 <= p466)))
lola: processed formula length: 27
lola: 102 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p466 <= p2685)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 1058 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p3368 + 1 <= p847))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p3368 + 1 <= p847))))
lola: processed formula length: 31
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 257 markings, 257 edges
lola: ========================================
lola: subprocess 14 will run for 1587 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p2975 <= p310))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p2975 <= p310))))
lola: processed formula length: 27
lola: 100 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: 19416 markings, 76417 edges, 3883 markings/sec, 0 secs
lola: 38125 markings, 153765 edges, 3742 markings/sec, 5 secs
lola: 56899 markings, 231756 edges, 3755 markings/sec, 10 secs
lola: 75771 markings, 310367 edges, 3774 markings/sec, 15 secs
lola: 90905 markings, 390023 edges, 3027 markings/sec, 20 secs
lola: 109249 markings, 466944 edges, 3669 markings/sec, 25 secs
lola: 125593 markings, 546683 edges, 3269 markings/sec, 30 secs
lola: 145658 markings, 623910 edges, 4013 markings/sec, 35 secs
lola: 163743 markings, 702491 edges, 3617 markings/sec, 40 secs
lola: 181419 markings, 780260 edges, 3535 markings/sec, 45 secs
lola: 194177 markings, 852506 edges, 2552 markings/sec, 50 secs
lola: 211841 markings, 921431 edges, 3533 markings/sec, 55 secs
lola: 227047 markings, 994977 edges, 3041 markings/sec, 60 secs
lola: 247253 markings, 1071808 edges, 4041 markings/sec, 65 secs
lola: 265788 markings, 1152254 edges, 3707 markings/sec, 70 secs
lola: 282403 markings, 1227116 edges, 3323 markings/sec, 75 secs
lola: 295909 markings, 1304450 edges, 2701 markings/sec, 80 secs
lola: 311248 markings, 1373878 edges, 3068 markings/sec, 85 secs
lola: 325702 markings, 1445447 edges, 2891 markings/sec, 90 secs
lola: 342625 markings, 1516028 edges, 3385 markings/sec, 95 secs
lola: 359023 markings, 1588455 edges, 3280 markings/sec, 100 secs
lola: 374100 markings, 1661353 edges, 3015 markings/sec, 105 secs
lola: 390516 markings, 1732163 edges, 3283 markings/sec, 110 secs
lola: 404778 markings, 1809992 edges, 2852 markings/sec, 115 secs
lola: 419189 markings, 1883985 edges, 2882 markings/sec, 120 secs
lola: 435206 markings, 1954324 edges, 3203 markings/sec, 125 secs
lola: 449769 markings, 2027417 edges, 2913 markings/sec, 130 secs
lola: 465135 markings, 2098259 edges, 3073 markings/sec, 135 secs
lola: 481670 markings, 2168818 edges, 3307 markings/sec, 140 secs
lola: 498377 markings, 2243672 edges, 3341 markings/sec, 145 secs
lola: 515718 markings, 2315071 edges, 3468 markings/sec, 150 secs
lola: 538035 markings, 2383112 edges, 4463 markings/sec, 155 secs
lola: 553226 markings, 2454259 edges, 3038 markings/sec, 160 secs
lola: 570728 markings, 2527140 edges, 3500 markings/sec, 165 secs
lola: 586539 markings, 2597574 edges, 3162 markings/sec, 170 secs
lola: 602013 markings, 2668402 edges, 3095 markings/sec, 175 secs
lola: 618893 markings, 2740832 edges, 3376 markings/sec, 180 secs
lola: 632552 markings, 2815325 edges, 2732 markings/sec, 185 secs
lola: 644209 markings, 2888087 edges, 2331 markings/sec, 190 secs
lola: 658384 markings, 2960074 edges, 2835 markings/sec, 195 secs
lola: 674880 markings, 3030734 edges, 3299 markings/sec, 200 secs
lola: 690656 markings, 3102243 edges, 3155 markings/sec, 205 secs
lola: 706117 markings, 3175729 edges, 3092 markings/sec, 210 secs
lola: 720340 markings, 3246691 edges, 2845 markings/sec, 215 secs
lola: 736967 markings, 3317692 edges, 3325 markings/sec, 220 secs
lola: 751936 markings, 3386593 edges, 2994 markings/sec, 225 secs
lola: 767789 markings, 3457256 edges, 3171 markings/sec, 230 secs
lola: 784008 markings, 3527563 edges, 3244 markings/sec, 235 secs
lola: 798569 markings, 3599327 edges, 2912 markings/sec, 240 secs
lola: 816556 markings, 3669773 edges, 3597 markings/sec, 245 secs
lola: 831751 markings, 3740543 edges, 3039 markings/sec, 250 secs
lola: 850461 markings, 3810464 edges, 3742 markings/sec, 255 secs
lola: 863876 markings, 3882972 edges, 2683 markings/sec, 260 secs
lola: 876003 markings, 3954970 edges, 2425 markings/sec, 265 secs
lola: 889039 markings, 4027232 edges, 2607 markings/sec, 270 secs
lola: 901206 markings, 4099208 edges, 2433 markings/sec, 275 secs
lola: 914364 markings, 4170174 edges, 2632 markings/sec, 280 secs
lola: 926361 markings, 4241424 edges, 2399 markings/sec, 285 secs
lola: 943358 markings, 4312032 edges, 3399 markings/sec, 290 secs
lola: 958135 markings, 4382988 edges, 2955 markings/sec, 295 secs
lola: 976432 markings, 4455038 edges, 3659 markings/sec, 300 secs
lola: 992249 markings, 4532992 edges, 3163 markings/sec, 305 secs
lola: 1007256 markings, 4611109 edges, 3001 markings/sec, 310 secs
lola: 1019884 markings, 4690233 edges, 2526 markings/sec, 315 secs
lola: 1036817 markings, 4769013 edges, 3387 markings/sec, 320 secs
lola: 1053581 markings, 4843756 edges, 3353 markings/sec, 325 secs
lola: 1065647 markings, 4921916 edges, 2413 markings/sec, 330 secs
lola: 1077869 markings, 4999860 edges, 2444 markings/sec, 335 secs
lola: 1089412 markings, 5078224 edges, 2309 markings/sec, 340 secs
lola: 1109082 markings, 5155562 edges, 3934 markings/sec, 345 secs
lola: 1126950 markings, 5233174 edges, 3574 markings/sec, 350 secs
lola: 1141045 markings, 5311660 edges, 2819 markings/sec, 355 secs
lola: 1151881 markings, 5391161 edges, 2167 markings/sec, 360 secs
lola: 1166763 markings, 5469061 edges, 2976 markings/sec, 365 secs
lola: 1181512 markings, 5547757 edges, 2950 markings/sec, 370 secs
lola: 1195973 markings, 5623952 edges, 2892 markings/sec, 375 secs
lola: 1209299 markings, 5701617 edges, 2665 markings/sec, 380 secs
lola: 1224407 markings, 5779521 edges, 3022 markings/sec, 385 secs
lola: 1242835 markings, 5856794 edges, 3686 markings/sec, 390 secs
lola: 1257557 markings, 5935268 edges, 2944 markings/sec, 395 secs
lola: 1278062 markings, 6012538 edges, 4101 markings/sec, 400 secs
lola: 1295088 markings, 6090895 edges, 3405 markings/sec, 405 secs
lola: 1313205 markings, 6167552 edges, 3623 markings/sec, 410 secs
lola: 1327730 markings, 6244767 edges, 2905 markings/sec, 415 secs
lola: 1342138 markings, 6321593 edges, 2882 markings/sec, 420 secs
lola: 1355941 markings, 6398460 edges, 2761 markings/sec, 425 secs
lola: 1375225 markings, 6473367 edges, 3857 markings/sec, 430 secs
lola: 1389611 markings, 6544570 edges, 2877 markings/sec, 435 secs
lola: 1400866 markings, 6616870 edges, 2251 markings/sec, 440 secs
lola: 1417933 markings, 6691184 edges, 3413 markings/sec, 445 secs
lola: 1434885 markings, 6770666 edges, 3390 markings/sec, 450 secs
lola: 1450721 markings, 6851708 edges, 3167 markings/sec, 455 secs
lola: 1466742 markings, 6930263 edges, 3204 markings/sec, 460 secs
lola: 1478981 markings, 7010368 edges, 2448 markings/sec, 465 secs
lola: 1493907 markings, 7091137 edges, 2985 markings/sec, 470 secs
lola: 1510132 markings, 7169179 edges, 3245 markings/sec, 475 secs
lola: 1527721 markings, 7247492 edges, 3518 markings/sec, 480 secs
lola: 1547589 markings, 7325980 edges, 3974 markings/sec, 485 secs
lola: 1562706 markings, 7406288 edges, 3023 markings/sec, 490 secs
lola: 1577872 markings, 7487026 edges, 3033 markings/sec, 495 secs
lola: 1591449 markings, 7568244 edges, 2715 markings/sec, 500 secs
lola: 1606119 markings, 7648702 edges, 2934 markings/sec, 505 secs
lola: 1625430 markings, 7729597 edges, 3862 markings/sec, 510 secs
lola: 1643777 markings, 7806364 edges, 3669 markings/sec, 515 secs
lola: 1660274 markings, 7875263 edges, 3299 markings/sec, 520 secs
lola: 1674556 markings, 7941983 edges, 2856 markings/sec, 525 secs
lola: 1687277 markings, 8013822 edges, 2544 markings/sec, 530 secs
lola: 1699339 markings, 8087859 edges, 2412 markings/sec, 535 secs
lola: 1711284 markings, 8165864 edges, 2389 markings/sec, 540 secs
lola: 1722660 markings, 8244436 edges, 2275 markings/sec, 545 secs
lola: 1736229 markings, 8324120 edges, 2714 markings/sec, 550 secs
lola: 1752829 markings, 8404744 edges, 3320 markings/sec, 555 secs
lola: 1768460 markings, 8480323 edges, 3126 markings/sec, 560 secs
lola: 1783877 markings, 8555643 edges, 3083 markings/sec, 565 secs
lola: 1798650 markings, 8628023 edges, 2955 markings/sec, 570 secs
lola: 1810117 markings, 8708044 edges, 2293 markings/sec, 575 secs
lola: 1820523 markings, 8786001 edges, 2081 markings/sec, 580 secs
lola: 1830579 markings, 8864543 edges, 2011 markings/sec, 585 secs
lola: 1840831 markings, 8943235 edges, 2050 markings/sec, 590 secs
lola: 1852072 markings, 9020930 edges, 2248 markings/sec, 595 secs
lola: 1868580 markings, 9099890 edges, 3302 markings/sec, 600 secs
lola: 1885858 markings, 9177686 edges, 3456 markings/sec, 605 secs
lola: 1898843 markings, 9253265 edges, 2597 markings/sec, 610 secs
lola: 1909851 markings, 9331397 edges, 2202 markings/sec, 615 secs
lola: 1921539 markings, 9408868 edges, 2338 markings/sec, 620 secs
lola: 1937715 markings, 9487754 edges, 3235 markings/sec, 625 secs
lola: 1953066 markings, 9563746 edges, 3070 markings/sec, 630 secs
lola: 1968285 markings, 9637470 edges, 3044 markings/sec, 635 secs
lola: 1983118 markings, 9708797 edges, 2967 markings/sec, 640 secs
lola: 1996304 markings, 9779481 edges, 2637 markings/sec, 645 secs
lola: 2009444 markings, 9856887 edges, 2628 markings/sec, 650 secs
lola: 2022919 markings, 9933967 edges, 2695 markings/sec, 655 secs
lola: 2036159 markings, 10011658 edges, 2648 markings/sec, 660 secs
lola: 2050853 markings, 10090185 edges, 2939 markings/sec, 665 secs
lola: 2067335 markings, 10165972 edges, 3296 markings/sec, 670 secs
lola: 2081263 markings, 10240293 edges, 2786 markings/sec, 675 secs
lola: 2093572 markings, 10318030 edges, 2462 markings/sec, 680 secs
lola: 2111159 markings, 10395709 edges, 3517 markings/sec, 685 secs
lola: 2130613 markings, 10470044 edges, 3891 markings/sec, 690 secs
lola: 2144009 markings, 10546724 edges, 2679 markings/sec, 695 secs
lola: 2155500 markings, 10624919 edges, 2298 markings/sec, 700 secs
lola: 2167710 markings, 10704613 edges, 2442 markings/sec, 705 secs
lola: 2182977 markings, 10785054 edges, 3053 markings/sec, 710 secs
lola: 2197122 markings, 10857328 edges, 2829 markings/sec, 715 secs
lola: 2206419 markings, 10934578 edges, 1859 markings/sec, 720 secs
lola: 2217979 markings, 11012097 edges, 2312 markings/sec, 725 secs
lola: 2235434 markings, 11092683 edges, 3491 markings/sec, 730 secs
lola: 2251575 markings, 11164966 edges, 3228 markings/sec, 735 secs
lola: 2263060 markings, 11240132 edges, 2297 markings/sec, 740 secs
lola: 2274280 markings, 11316327 edges, 2244 markings/sec, 745 secs
lola: 2285591 markings, 11397678 edges, 2262 markings/sec, 750 secs
lola: 2299466 markings, 11476436 edges, 2775 markings/sec, 755 secs
lola: 2313342 markings, 11549401 edges, 2775 markings/sec, 760 secs
lola: 2325373 markings, 11615062 edges, 2406 markings/sec, 765 secs
lola: 2334558 markings, 11687517 edges, 1837 markings/sec, 770 secs
lola: 2344528 markings, 11759433 edges, 1994 markings/sec, 775 secs
lola: 2353240 markings, 11833584 edges, 1742 markings/sec, 780 secs
lola: 2370233 markings, 11913193 edges, 3399 markings/sec, 785 secs
lola: 2384828 markings, 11991698 edges, 2919 markings/sec, 790 secs
lola: 2398116 markings, 12071532 edges, 2658 markings/sec, 795 secs
lola: 2413823 markings, 12147416 edges, 3141 markings/sec, 800 secs
lola: 2427573 markings, 12221585 edges, 2750 markings/sec, 805 secs
lola: 2441126 markings, 12297776 edges, 2711 markings/sec, 810 secs
lola: 2452918 markings, 12374325 edges, 2358 markings/sec, 815 secs
lola: 2466547 markings, 12452930 edges, 2726 markings/sec, 820 secs
lola: 2482616 markings, 12530304 edges, 3214 markings/sec, 825 secs
lola: 2496288 markings, 12606899 edges, 2734 markings/sec, 830 secs
lola: 2508671 markings, 12683910 edges, 2477 markings/sec, 835 secs
lola: 2526415 markings, 12763950 edges, 3549 markings/sec, 840 secs
lola: 2544314 markings, 12840351 edges, 3580 markings/sec, 845 secs
lola: 2562128 markings, 12915312 edges, 3563 markings/sec, 850 secs
lola: 2579410 markings, 12985327 edges, 3456 markings/sec, 855 secs
lola: 2592295 markings, 13055723 edges, 2577 markings/sec, 860 secs
lola: 2603722 markings, 13127706 edges, 2285 markings/sec, 865 secs
lola: 2618279 markings, 13198535 edges, 2911 markings/sec, 870 secs
lola: 2633245 markings, 13266589 edges, 2993 markings/sec, 875 secs
lola: 2645957 markings, 13334038 edges, 2542 markings/sec, 880 secs
lola: 2657002 markings, 13410053 edges, 2209 markings/sec, 885 secs
lola: 2670156 markings, 13490903 edges, 2631 markings/sec, 890 secs
lola: 2690180 markings, 13569477 edges, 4005 markings/sec, 895 secs
lola: 2708201 markings, 13643860 edges, 3604 markings/sec, 900 secs
lola: 2721202 markings, 13721969 edges, 2600 markings/sec, 905 secs
lola: 2733585 markings, 13799587 edges, 2477 markings/sec, 910 secs
lola: 2744579 markings, 13877678 edges, 2199 markings/sec, 915 secs
lola: 2756814 markings, 13958511 edges, 2447 markings/sec, 920 secs
lola: 2772504 markings, 14035967 edges, 3138 markings/sec, 925 secs
lola: 2787315 markings, 14109435 edges, 2962 markings/sec, 930 secs
lola: 2801838 markings, 14179408 edges, 2905 markings/sec, 935 secs
lola: 2816436 markings, 14250579 edges, 2920 markings/sec, 940 secs
lola: 2830270 markings, 14324387 edges, 2767 markings/sec, 945 secs
lola: 2842491 markings, 14405077 edges, 2444 markings/sec, 950 secs
lola: 2854685 markings, 14487645 edges, 2439 markings/sec, 955 secs
lola: 2870173 markings, 14568198 edges, 3098 markings/sec, 960 secs
lola: 2884803 markings, 14643157 edges, 2926 markings/sec, 965 secs
lola: 2895184 markings, 14723893 edges, 2076 markings/sec, 970 secs
lola: 2905019 markings, 14805231 edges, 1967 markings/sec, 975 secs
lola: 2917893 markings, 14885328 edges, 2575 markings/sec, 980 secs
lola: 2934973 markings, 14964347 edges, 3416 markings/sec, 985 secs
lola: 2951902 markings, 15039834 edges, 3386 markings/sec, 990 secs
lola: 2962716 markings, 15119840 edges, 2163 markings/sec, 995 secs
lola: 2977742 markings, 15190905 edges, 3005 markings/sec, 1000 secs
lola: 2990914 markings, 15267909 edges, 2634 markings/sec, 1005 secs
lola: 3005837 markings, 15343360 edges, 2985 markings/sec, 1010 secs
lola: 3029807 markings, 15414706 edges, 4794 markings/sec, 1015 secs
lola: 3049893 markings, 15493852 edges, 4017 markings/sec, 1020 secs
lola: 3066472 markings, 15572747 edges, 3316 markings/sec, 1025 secs
lola: 3085167 markings, 15651851 edges, 3739 markings/sec, 1030 secs
lola: 3100405 markings, 15732594 edges, 3048 markings/sec, 1035 secs
lola: 3120317 markings, 15812168 edges, 3982 markings/sec, 1040 secs
lola: 3136946 markings, 15892800 edges, 3326 markings/sec, 1045 secs
lola: 3156526 markings, 15971751 edges, 3916 markings/sec, 1050 secs
lola: 3172352 markings, 16051713 edges, 3165 markings/sec, 1055 secs
lola: 3187078 markings, 16132461 edges, 2945 markings/sec, 1060 secs
lola: 3201733 markings, 16211499 edges, 2931 markings/sec, 1065 secs
lola: 3221563 markings, 16290759 edges, 3966 markings/sec, 1070 secs
lola: 3239465 markings, 16370389 edges, 3580 markings/sec, 1075 secs
lola: 3255741 markings, 16448900 edges, 3255 markings/sec, 1080 secs
lola: 3271159 markings, 16528467 edges, 3084 markings/sec, 1085 secs
lola: 3289923 markings, 16606655 edges, 3753 markings/sec, 1090 secs
lola: 3309725 markings, 16681669 edges, 3960 markings/sec, 1095 secs
lola: 3321721 markings, 16760871 edges, 2399 markings/sec, 1100 secs
lola: 3334803 markings, 16840377 edges, 2616 markings/sec, 1105 secs
lola: 3350522 markings, 16920583 edges, 3144 markings/sec, 1110 secs
lola: 3367382 markings, 16997419 edges, 3372 markings/sec, 1115 secs
lola: 3380877 markings, 17074313 edges, 2699 markings/sec, 1120 secs
lola: 3392388 markings, 17153342 edges, 2302 markings/sec, 1125 secs
lola: 3407965 markings, 17232261 edges, 3115 markings/sec, 1130 secs
lola: 3424133 markings, 17309811 edges, 3234 markings/sec, 1135 secs
lola: 3436141 markings, 17389164 edges, 2402 markings/sec, 1140 secs
lola: 3452483 markings, 17468183 edges, 3268 markings/sec, 1145 secs
lola: 3467544 markings, 17543766 edges, 3012 markings/sec, 1150 secs
lola: 3481350 markings, 17620376 edges, 2761 markings/sec, 1155 secs
lola: 3494087 markings, 17697327 edges, 2547 markings/sec, 1160 secs
lola: 3509916 markings, 17774818 edges, 3166 markings/sec, 1165 secs
lola: 3529148 markings, 17850422 edges, 3846 markings/sec, 1170 secs
lola: 3544446 markings, 17921960 edges, 3060 markings/sec, 1175 secs
lola: 3556205 markings, 17993830 edges, 2352 markings/sec, 1180 secs
lola: 3567775 markings, 18066307 edges, 2314 markings/sec, 1185 secs
lola: 3584153 markings, 18142755 edges, 3276 markings/sec, 1190 secs
lola: 3600877 markings, 18217347 edges, 3345 markings/sec, 1195 secs
lola: 3611865 markings, 18293248 edges, 2198 markings/sec, 1200 secs
lola: 3626365 markings, 18369336 edges, 2900 markings/sec, 1205 secs
lola: 3643763 markings, 18444916 edges, 3480 markings/sec, 1210 secs
lola: 3659701 markings, 18518074 edges, 3188 markings/sec, 1215 secs
lola: 3671749 markings, 18589505 edges, 2410 markings/sec, 1220 secs
lola: 3684828 markings, 18661090 edges, 2616 markings/sec, 1225 secs
lola: 3698484 markings, 18731133 edges, 2731 markings/sec, 1230 secs
lola: 3709899 markings, 18801769 edges, 2283 markings/sec, 1235 secs
lola: 3720830 markings, 18872960 edges, 2186 markings/sec, 1240 secs
lola: 3731356 markings, 18942652 edges, 2105 markings/sec, 1245 secs
lola: 3741648 markings, 19016222 edges, 2058 markings/sec, 1250 secs
lola: 3749706 markings, 19088482 edges, 1612 markings/sec, 1255 secs
lola: 3761080 markings, 19159775 edges, 2275 markings/sec, 1260 secs
lola: 3773444 markings, 19226805 edges, 2473 markings/sec, 1265 secs
lola: 3785801 markings, 19295522 edges, 2471 markings/sec, 1270 secs
lola: 3797559 markings, 19363101 edges, 2352 markings/sec, 1275 secs
lola: 3809445 markings, 19432570 edges, 2377 markings/sec, 1280 secs
lola: 3821083 markings, 19503640 edges, 2328 markings/sec, 1285 secs
lola: 3831831 markings, 19573413 edges, 2150 markings/sec, 1290 secs
lola: 3842637 markings, 19651406 edges, 2161 markings/sec, 1295 secs
lola: 3855411 markings, 19731317 edges, 2555 markings/sec, 1300 secs
lola: 3870172 markings, 19809551 edges, 2952 markings/sec, 1305 secs
lola: 3882470 markings, 19889635 edges, 2460 markings/sec, 1310 secs
lola: 3893831 markings, 19968939 edges, 2272 markings/sec, 1315 secs
lola: 3903257 markings, 20048788 edges, 1885 markings/sec, 1320 secs
lola: 3917162 markings, 20126650 edges, 2781 markings/sec, 1325 secs
lola: 3930003 markings, 20205538 edges, 2568 markings/sec, 1330 secs
lola: 3944292 markings, 20283748 edges, 2858 markings/sec, 1335 secs
lola: 3958650 markings, 20361883 edges, 2872 markings/sec, 1340 secs
lola: 3973043 markings, 20439932 edges, 2879 markings/sec, 1345 secs
lola: 3986077 markings, 20517416 edges, 2607 markings/sec, 1350 secs
lola: 3998600 markings, 20594880 edges, 2505 markings/sec, 1355 secs
lola: 4010816 markings, 20672410 edges, 2443 markings/sec, 1360 secs
lola: 4021329 markings, 20749757 edges, 2103 markings/sec, 1365 secs
lola: 4033655 markings, 20821889 edges, 2465 markings/sec, 1370 secs
lola: 4048362 markings, 20891726 edges, 2941 markings/sec, 1375 secs
lola: 4060176 markings, 20961203 edges, 2363 markings/sec, 1380 secs
lola: 4071548 markings, 21032832 edges, 2274 markings/sec, 1385 secs
lola: 4082447 markings, 21104796 edges, 2180 markings/sec, 1390 secs
lola: 4092881 markings, 21177408 edges, 2087 markings/sec, 1395 secs
lola: 4101524 markings, 21253474 edges, 1729 markings/sec, 1400 secs
lola: 4114995 markings, 21332808 edges, 2694 markings/sec, 1405 secs
lola: 4128871 markings, 21411627 edges, 2775 markings/sec, 1410 secs
lola: 4142337 markings, 21485383 edges, 2693 markings/sec, 1415 secs
lola: 4154806 markings, 21558287 edges, 2494 markings/sec, 1420 secs
lola: 4165953 markings, 21627234 edges, 2229 markings/sec, 1425 secs
lola: 4177761 markings, 21698439 edges, 2362 markings/sec, 1430 secs
lola: 4188731 markings, 21769783 edges, 2194 markings/sec, 1435 secs
lola: 4199023 markings, 21841433 edges, 2058 markings/sec, 1440 secs
lola: 4210029 markings, 21913187 edges, 2201 markings/sec, 1445 secs
lola: 4222503 markings, 21985814 edges, 2495 markings/sec, 1450 secs
lola: 4233052 markings, 22056648 edges, 2110 markings/sec, 1455 secs
lola: 4243830 markings, 22134790 edges, 2156 markings/sec, 1460 secs
lola: 4254242 markings, 22214445 edges, 2082 markings/sec, 1465 secs
lola: 4264360 markings, 22293342 edges, 2024 markings/sec, 1470 secs
lola: 4272871 markings, 22374178 edges, 1702 markings/sec, 1475 secs
lola: 4283658 markings, 22455386 edges, 2157 markings/sec, 1480 secs
lola: 4296147 markings, 22534827 edges, 2498 markings/sec, 1485 secs
lola: 4306932 markings, 22604068 edges, 2157 markings/sec, 1490 secs
lola: 4317002 markings, 22674264 edges, 2014 markings/sec, 1495 secs
lola: 4327589 markings, 22743584 edges, 2117 markings/sec, 1500 secs
lola: 4338488 markings, 22814679 edges, 2180 markings/sec, 1505 secs
lola: 4348552 markings, 22884751 edges, 2013 markings/sec, 1510 secs
lola: 4358652 markings, 22955809 edges, 2020 markings/sec, 1515 secs
lola: 4368698 markings, 23035738 edges, 2009 markings/sec, 1520 secs
lola: 4383507 markings, 23114949 edges, 2962 markings/sec, 1525 secs
lola: 4396926 markings, 23195428 edges, 2684 markings/sec, 1530 secs
lola: 4409068 markings, 23275897 edges, 2428 markings/sec, 1535 secs
lola: 4420570 markings, 23356942 edges, 2300 markings/sec, 1540 secs
lola: 4430630 markings, 23438017 edges, 2012 markings/sec, 1545 secs
lola: 4445161 markings, 23516773 edges, 2906 markings/sec, 1550 secs
lola: 4459609 markings, 23594037 edges, 2890 markings/sec, 1555 secs
lola: 4472674 markings, 23673016 edges, 2613 markings/sec, 1560 secs
lola: 4485845 markings, 23752309 edges, 2634 markings/sec, 1565 secs
lola: 4497918 markings, 23828176 edges, 2415 markings/sec, 1570 secs
lola: 4512304 markings, 23904434 edges, 2877 markings/sec, 1575 secs
lola: 4524914 markings, 23980219 edges, 2522 markings/sec, 1580 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes yes no unknown no no no no yes yes no no unknown yes no
lola: memory consumption: 3960536 KB
lola: time consumption: 1983 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 15 will run for 1587 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (((p2988 <= 2) OR G ((p4733 <= p7476))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((p2988 <= 2) OR G ((p4733 <= p7476))))))
lola: processed formula length: 50
lola: 100 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 19145 markings, 75203 edges, 3829 markings/sec, 0 secs
lola: 37471 markings, 151366 edges, 3665 markings/sec, 5 secs
lola: 56017 markings, 227732 edges, 3709 markings/sec, 10 secs
lola: 74934 markings, 305258 edges, 3783 markings/sec, 15 secs
lola: 89659 markings, 383514 edges, 2945 markings/sec, 20 secs
lola: 107201 markings, 459004 edges, 3508 markings/sec, 25 secs
lola: 123225 markings, 536351 edges, 3205 markings/sec, 30 secs
lola: 142209 markings, 612326 edges, 3797 markings/sec, 35 secs
lola: 160355 markings, 688862 edges, 3629 markings/sec, 40 secs
lola: 178089 markings, 765524 edges, 3547 markings/sec, 45 secs
lola: 192714 markings, 843355 edges, 2925 markings/sec, 50 secs
lola: 211261 markings, 918276 edges, 3709 markings/sec, 55 secs
lola: 227429 markings, 996649 edges, 3234 markings/sec, 60 secs
lola: 247275 markings, 1071939 edges, 3969 markings/sec, 65 secs
lola: 264951 markings, 1149072 edges, 3535 markings/sec, 70 secs
lola: 282205 markings, 1225983 edges, 3451 markings/sec, 75 secs
lola: 295874 markings, 1304254 edges, 2734 markings/sec, 80 secs
lola: 312508 markings, 1381434 edges, 3327 markings/sec, 85 secs
lola: 327979 markings, 1459183 edges, 3094 markings/sec, 90 secs
lola: 347714 markings, 1534872 edges, 3947 markings/sec, 95 secs
lola: 363953 markings, 1612902 edges, 3248 markings/sec, 100 secs
lola: 381746 markings, 1692592 edges, 3559 markings/sec, 105 secs
lola: 398563 markings, 1773051 edges, 3363 markings/sec, 110 secs
lola: 412269 markings, 1854558 edges, 2741 markings/sec, 115 secs
lola: 430989 markings, 1929956 edges, 3744 markings/sec, 120 secs
lola: 446155 markings, 2009214 edges, 3033 markings/sec, 125 secs
lola: 462753 markings, 2087536 edges, 3320 markings/sec, 130 secs
lola: 480568 markings, 2164209 edges, 3563 markings/sec, 135 secs
lola: 498034 markings, 2242172 edges, 3493 markings/sec, 140 secs
lola: 517454 markings, 2320753 edges, 3884 markings/sec, 145 secs
lola: 539975 markings, 2391560 edges, 4504 markings/sec, 150 secs
lola: 554816 markings, 2463130 edges, 2968 markings/sec, 155 secs
lola: 572415 markings, 2533391 edges, 3520 markings/sec, 160 secs
lola: 588438 markings, 2605865 edges, 3205 markings/sec, 165 secs
lola: 605215 markings, 2683838 edges, 3355 markings/sec, 170 secs
lola: 623165 markings, 2761511 edges, 3590 markings/sec, 175 secs
lola: 636988 markings, 2839943 edges, 2765 markings/sec, 180 secs
lola: 649316 markings, 2919240 edges, 2466 markings/sec, 185 secs
lola: 665967 markings, 2996823 edges, 3330 markings/sec, 190 secs
lola: 685071 markings, 3074248 edges, 3821 markings/sec, 195 secs
lola: 702916 markings, 3151961 edges, 3569 markings/sec, 200 secs
lola: 717374 markings, 3230023 edges, 2892 markings/sec, 205 secs
lola: 734852 markings, 3307898 edges, 3496 markings/sec, 210 secs
lola: 751776 markings, 3385735 edges, 3385 markings/sec, 215 secs
lola: 769536 markings, 3463346 edges, 3552 markings/sec, 220 secs
lola: 787371 markings, 3540692 edges, 3567 markings/sec, 225 secs
lola: 803693 markings, 3618632 edges, 3264 markings/sec, 230 secs
lola: 822497 markings, 3695906 edges, 3761 markings/sec, 235 secs
lola: 843123 markings, 3772530 edges, 4125 markings/sec, 240 secs
lola: 858158 markings, 3850211 edges, 3007 markings/sec, 245 secs
lola: 871122 markings, 3929331 edges, 2593 markings/sec, 250 secs
lola: 885322 markings, 4008653 edges, 2840 markings/sec, 255 secs
lola: 899055 markings, 4087572 edges, 2747 markings/sec, 260 secs
lola: 913430 markings, 4165386 edges, 2875 markings/sec, 265 secs
lola: 926689 markings, 4243234 edges, 2652 markings/sec, 270 secs
lola: 945726 markings, 4320052 edges, 3807 markings/sec, 275 secs
lola: 962363 markings, 4397928 edges, 3327 markings/sec, 280 secs
lola: 980332 markings, 4475926 edges, 3594 markings/sec, 285 secs
lola: 995285 markings, 4554166 edges, 2991 markings/sec, 290 secs
lola: 1010875 markings, 4632344 edges, 3118 markings/sec, 295 secs
lola: 1024433 markings, 4711706 edges, 2712 markings/sec, 300 secs
lola: 1041327 markings, 4789266 edges, 3379 markings/sec, 305 secs
lola: 1057030 markings, 4863976 edges, 3141 markings/sec, 310 secs
lola: 1068755 markings, 4943050 edges, 2345 markings/sec, 315 secs
lola: 1080889 markings, 5022146 edges, 2427 markings/sec, 320 secs
lola: 1094073 markings, 5100592 edges, 2637 markings/sec, 325 secs
lola: 1113007 markings, 5178052 edges, 3787 markings/sec, 330 secs
lola: 1131567 markings, 5255751 edges, 3712 markings/sec, 335 secs
lola: 1144839 markings, 5334968 edges, 2654 markings/sec, 340 secs
lola: 1156523 markings, 5414769 edges, 2337 markings/sec, 345 secs
lola: 1171561 markings, 5493173 edges, 3008 markings/sec, 350 secs
lola: 1186560 markings, 5571613 edges, 3000 markings/sec, 355 secs
lola: 1200267 markings, 5649380 edges, 2741 markings/sec, 360 secs
lola: 1213961 markings, 5727664 edges, 2739 markings/sec, 365 secs
lola: 1231261 markings, 5805916 edges, 3460 markings/sec, 370 secs
lola: 1247373 markings, 5883955 edges, 3222 markings/sec, 375 secs
lola: 1263914 markings, 5960006 edges, 3308 markings/sec, 380 secs
lola: 1281058 markings, 6030578 edges, 3429 markings/sec, 385 secs
lola: 1297929 markings, 6101327 edges, 3374 markings/sec, 390 secs
lola: 1313806 markings, 6171786 edges, 3175 markings/sec, 395 secs
lola: 1328449 markings, 6249462 edges, 2929 markings/sec, 400 secs
lola: 1342504 markings, 6323302 edges, 2811 markings/sec, 405 secs
lola: 1356545 markings, 6401268 edges, 2808 markings/sec, 410 secs
lola: 1376822 markings, 6478995 edges, 4055 markings/sec, 415 secs
lola: 1391652 markings, 6558095 edges, 2966 markings/sec, 420 secs
lola: 1405069 markings, 6637689 edges, 2683 markings/sec, 425 secs
lola: 1424942 markings, 6715744 edges, 3975 markings/sec, 430 secs
lola: 1439545 markings, 6795234 edges, 2921 markings/sec, 435 secs
lola: 1456052 markings, 6874055 edges, 3301 markings/sec, 440 secs
lola: 1470562 markings, 6952753 edges, 2902 markings/sec, 445 secs
lola: 1482344 markings, 7032931 edges, 2356 markings/sec, 450 secs
lola: 1498350 markings, 7112862 edges, 3201 markings/sec, 455 secs
lola: 1514655 markings, 7189929 edges, 3261 markings/sec, 460 secs
lola: 1532167 markings, 7268542 edges, 3502 markings/sec, 465 secs
lola: 1550812 markings, 7345817 edges, 3729 markings/sec, 470 secs
lola: 1566366 markings, 7424462 edges, 3111 markings/sec, 475 secs
lola: 1580743 markings, 7504058 edges, 2875 markings/sec, 480 secs
lola: 1594343 markings, 7584077 edges, 2720 markings/sec, 485 secs
lola: 1609548 markings, 7664816 edges, 3041 markings/sec, 490 secs
lola: 1628718 markings, 7743895 edges, 3834 markings/sec, 495 secs
lola: 1647353 markings, 7821021 edges, 3727 markings/sec, 500 secs
lola: 1665510 markings, 7896427 edges, 3631 markings/sec, 505 secs
lola: 1680458 markings, 7974308 edges, 2990 markings/sec, 510 secs
lola: 1693753 markings, 8054417 edges, 2659 markings/sec, 515 secs
lola: 1706400 markings, 8134597 edges, 2529 markings/sec, 520 secs
lola: 1717990 markings, 8215699 edges, 2318 markings/sec, 525 secs
lola: 1730926 markings, 8296519 edges, 2587 markings/sec, 530 secs
lola: 1747565 markings, 8377556 edges, 3328 markings/sec, 535 secs
lola: 1763521 markings, 8456228 edges, 3191 markings/sec, 540 secs
lola: 1779084 markings, 8532689 edges, 3113 markings/sec, 545 secs
lola: 1794849 markings, 8606612 edges, 3153 markings/sec, 550 secs
lola: 1806193 markings, 8684097 edges, 2269 markings/sec, 555 secs
lola: 1818092 markings, 8763786 edges, 2380 markings/sec, 560 secs
lola: 1828147 markings, 8844268 edges, 2011 markings/sec, 565 secs
lola: 1838686 markings, 8924637 edges, 2108 markings/sec, 570 secs
lola: 1849235 markings, 9004572 edges, 2110 markings/sec, 575 secs
lola: 1865342 markings, 9084317 edges, 3221 markings/sec, 580 secs
lola: 1882293 markings, 9162098 edges, 3390 markings/sec, 585 secs
lola: 1896907 markings, 9239914 edges, 2923 markings/sec, 590 secs
lola: 1908446 markings, 9320125 edges, 2308 markings/sec, 595 secs
lola: 1920231 markings, 9399964 edges, 2357 markings/sec, 600 secs
lola: 1936310 markings, 9480603 edges, 3216 markings/sec, 605 secs
lola: 1952090 markings, 9559207 edges, 3156 markings/sec, 610 secs
lola: 1967858 markings, 9635164 edges, 3154 markings/sec, 615 secs
lola: 1983125 markings, 9708842 edges, 3053 markings/sec, 620 secs
lola: 1996936 markings, 9783096 edges, 2762 markings/sec, 625 secs
lola: 2010389 markings, 9862476 edges, 2691 markings/sec, 630 secs
lola: 2024610 markings, 9941949 edges, 2844 markings/sec, 635 secs
lola: 2037568 markings, 10021585 edges, 2592 markings/sec, 640 secs
lola: 2053389 markings, 10102121 edges, 3164 markings/sec, 645 secs
lola: 2070448 markings, 10179700 edges, 3412 markings/sec, 650 secs
lola: 2083770 markings, 10257187 edges, 2664 markings/sec, 655 secs
lola: 2096798 markings, 10336851 edges, 2606 markings/sec, 660 secs
lola: 2116500 markings, 10416089 edges, 3940 markings/sec, 665 secs
lola: 2135269 markings, 10492633 edges, 3754 markings/sec, 670 secs
lola: 2147889 markings, 10572403 edges, 2524 markings/sec, 675 secs
lola: 2159006 markings, 10652536 edges, 2223 markings/sec, 680 secs
lola: 2172985 markings, 10732530 edges, 2796 markings/sec, 685 secs
lola: 2187617 markings, 10809712 edges, 2926 markings/sec, 690 secs
lola: 2200653 markings, 10885810 edges, 2607 markings/sec, 695 secs
lola: 2211359 markings, 10965945 edges, 2141 markings/sec, 700 secs
lola: 2225500 markings, 11046807 edges, 2828 markings/sec, 705 secs
lola: 2242665 markings, 11125347 edges, 3433 markings/sec, 710 secs
lola: 2257612 markings, 11202488 edges, 2989 markings/sec, 715 secs
lola: 2268938 markings, 11282027 edges, 2265 markings/sec, 720 secs
lola: 2280910 markings, 11361046 edges, 2394 markings/sec, 725 secs
lola: 2292817 markings, 11441692 edges, 2381 markings/sec, 730 secs
lola: 2308029 markings, 11521149 edges, 3042 markings/sec, 735 secs
lola: 2322918 markings, 11597424 edges, 2978 markings/sec, 740 secs
lola: 2333382 markings, 11677129 edges, 2093 markings/sec, 745 secs
lola: 2344232 markings, 11757138 edges, 2170 markings/sec, 750 secs
lola: 2353848 markings, 11836953 edges, 1923 markings/sec, 755 secs
lola: 2370871 markings, 11915951 edges, 3405 markings/sec, 760 secs
lola: 2385213 markings, 11994153 edges, 2868 markings/sec, 765 secs
lola: 2398657 markings, 12073814 edges, 2689 markings/sec, 770 secs
lola: 2414793 markings, 12152291 edges, 3227 markings/sec, 775 secs
lola: 2429003 markings, 12229301 edges, 2842 markings/sec, 780 secs
lola: 2442460 markings, 12308573 edges, 2691 markings/sec, 785 secs
lola: 2454751 markings, 12385656 edges, 2458 markings/sec, 790 secs
lola: 2469005 markings, 12465201 edges, 2851 markings/sec, 795 secs
lola: 2485228 markings, 12543811 edges, 3245 markings/sec, 800 secs
lola: 2498732 markings, 12622810 edges, 2701 markings/sec, 805 secs
lola: 2512201 markings, 12702295 edges, 2694 markings/sec, 810 secs
lola: 2530289 markings, 12780484 edges, 3618 markings/sec, 815 secs
lola: 2548665 markings, 12858492 edges, 3675 markings/sec, 820 secs
lola: 2566202 markings, 12932426 edges, 3507 markings/sec, 825 secs
lola: 2583035 markings, 12999864 edges, 3367 markings/sec, 830 secs
lola: 2594926 markings, 13071070 edges, 2378 markings/sec, 835 secs
lola: 2606647 markings, 13144276 edges, 2344 markings/sec, 840 secs
lola: 2623964 markings, 13224270 edges, 3463 markings/sec, 845 secs
lola: 2641142 markings, 13300860 edges, 3436 markings/sec, 850 secs
lola: 2652700 markings, 13379055 edges, 2312 markings/sec, 855 secs
lola: 2664738 markings, 13457594 edges, 2408 markings/sec, 860 secs
lola: 2680050 markings, 13529998 edges, 3062 markings/sec, 865 secs
lola: 2698148 markings, 13600540 edges, 3620 markings/sec, 870 secs
lola: 2711953 markings, 13670732 edges, 2761 markings/sec, 875 secs
lola: 2725704 markings, 13748512 edges, 2750 markings/sec, 880 secs
lola: 2737866 markings, 13827612 edges, 2432 markings/sec, 885 secs
lola: 2749491 markings, 13907775 edges, 2325 markings/sec, 890 secs
lola: 2761855 markings, 13986227 edges, 2473 markings/sec, 895 secs
lola: 2777145 markings, 14058803 edges, 3058 markings/sec, 900 secs
lola: 2791508 markings, 14129764 edges, 2873 markings/sec, 905 secs
lola: 2806090 markings, 14201113 edges, 2916 markings/sec, 910 secs
lola: 2821769 markings, 14275207 edges, 3136 markings/sec, 915 secs
lola: 2834812 markings, 14352501 edges, 2609 markings/sec, 920 secs
lola: 2845913 markings, 14432272 edges, 2220 markings/sec, 925 secs
lola: 2859622 markings, 14512809 edges, 2742 markings/sec, 930 secs
lola: 2874625 markings, 14591777 edges, 3001 markings/sec, 935 secs
lola: 2888240 markings, 14668698 edges, 2723 markings/sec, 940 secs
lola: 2898800 markings, 14748994 edges, 2112 markings/sec, 945 secs
lola: 2909425 markings, 14829885 edges, 2125 markings/sec, 950 secs
lola: 2923216 markings, 14909839 edges, 2758 markings/sec, 955 secs
lola: 2940358 markings, 14988509 edges, 3428 markings/sec, 960 secs
lola: 2955596 markings, 15065646 edges, 3048 markings/sec, 965 secs
lola: 2967865 markings, 15141425 edges, 2454 markings/sec, 970 secs
lola: 2982059 markings, 15214271 edges, 2839 markings/sec, 975 secs
lola: 2994608 markings, 15291967 edges, 2510 markings/sec, 980 secs
lola: 3011117 markings, 15362088 edges, 3302 markings/sec, 985 secs
lola: 3035264 markings, 15436592 edges, 4829 markings/sec, 990 secs
lola: 3054109 markings, 15514265 edges, 3769 markings/sec, 995 secs
lola: 3070838 markings, 15592817 edges, 3346 markings/sec, 1000 secs
lola: 3088208 markings, 15669403 edges, 3474 markings/sec, 1005 secs
lola: 3103804 markings, 15748331 edges, 3119 markings/sec, 1010 secs
lola: 3123414 markings, 15826282 edges, 3922 markings/sec, 1015 secs
lola: 3140290 markings, 15905181 edges, 3375 markings/sec, 1020 secs
lola: 3158944 markings, 15982660 edges, 3731 markings/sec, 1025 secs
lola: 3174057 markings, 16061437 edges, 3023 markings/sec, 1030 secs
lola: 3188731 markings, 16140151 edges, 2935 markings/sec, 1035 secs
lola: 3202884 markings, 16218828 edges, 2831 markings/sec, 1040 secs
lola: 3222582 markings, 16294471 edges, 3940 markings/sec, 1045 secs
lola: 3239223 markings, 16369496 edges, 3328 markings/sec, 1050 secs
lola: 3254576 markings, 16440027 edges, 3071 markings/sec, 1055 secs
lola: 3268250 markings, 16511742 edges, 2735 markings/sec, 1060 secs
lola: 3284770 markings, 16586250 edges, 3304 markings/sec, 1065 secs
lola: 3304885 markings, 16663986 edges, 4023 markings/sec, 1070 secs
lola: 3318606 markings, 16742951 edges, 2744 markings/sec, 1075 secs
lola: 3332303 markings, 16822459 edges, 2739 markings/sec, 1080 secs
lola: 3346830 markings, 16903450 edges, 2905 markings/sec, 1085 secs
lola: 3364022 markings, 16982330 edges, 3438 markings/sec, 1090 secs
lola: 3378985 markings, 17059903 edges, 2993 markings/sec, 1095 secs
lola: 3390017 markings, 17139920 edges, 2206 markings/sec, 1100 secs
lola: 3404801 markings, 17219318 edges, 2957 markings/sec, 1105 secs
lola: 3422274 markings, 17297769 edges, 3495 markings/sec, 1110 secs
lola: 3434308 markings, 17377790 edges, 2407 markings/sec, 1115 secs
lola: 3450145 markings, 17457247 edges, 3167 markings/sec, 1120 secs
lola: 3466465 markings, 17534491 edges, 3264 markings/sec, 1125 secs
lola: 3480276 markings, 17612518 edges, 2762 markings/sec, 1130 secs
lola: 3492892 markings, 17691446 edges, 2523 markings/sec, 1135 secs
lola: 3508859 markings, 17771369 edges, 3193 markings/sec, 1140 secs
lola: 3529103 markings, 17850194 edges, 4049 markings/sec, 1145 secs
lola: 3545596 markings, 17927920 edges, 3299 markings/sec, 1150 secs
lola: 3558652 markings, 18007356 edges, 2611 markings/sec, 1155 secs
lola: 3572108 markings, 18087852 edges, 2691 markings/sec, 1160 secs
lola: 3589538 markings, 18166909 edges, 3486 markings/sec, 1165 secs
lola: 3605147 markings, 18243515 edges, 3122 markings/sec, 1170 secs
lola: 3617704 markings, 18322455 edges, 2511 markings/sec, 1175 secs
lola: 3633447 markings, 18399721 edges, 3149 markings/sec, 1180 secs
lola: 3650537 markings, 18474845 edges, 3418 markings/sec, 1185 secs
lola: 3665148 markings, 18551647 edges, 2922 markings/sec, 1190 secs
lola: 3678259 markings, 18631122 edges, 2622 markings/sec, 1195 secs
lola: 3694691 markings, 18709656 edges, 3286 markings/sec, 1200 secs
lola: 3707966 markings, 18788893 edges, 2655 markings/sec, 1205 secs
lola: 3720290 markings, 18869235 edges, 2465 markings/sec, 1210 secs
lola: 3732483 markings, 18949154 edges, 2439 markings/sec, 1215 secs
lola: 3743222 markings, 19029290 edges, 2148 markings/sec, 1220 secs
lola: 3752652 markings, 19109664 edges, 1886 markings/sec, 1225 secs
lola: 3766633 markings, 19188626 edges, 2796 markings/sec, 1230 secs
lola: 3780179 markings, 19267135 edges, 2709 markings/sec, 1235 secs
lola: 3794555 markings, 19344957 edges, 2875 markings/sec, 1240 secs
lola: 3807981 markings, 19423935 edges, 2685 markings/sec, 1245 secs
lola: 3820928 markings, 19502716 edges, 2589 markings/sec, 1250 secs
lola: 3832840 markings, 19580189 edges, 2382 markings/sec, 1255 secs
lola: 3842710 markings, 19651893 edges, 1974 markings/sec, 1260 secs
lola: 3854413 markings, 19724624 edges, 2341 markings/sec, 1265 secs
lola: 3868692 markings, 19799127 edges, 2856 markings/sec, 1270 secs
lola: 3880478 markings, 19877335 edges, 2357 markings/sec, 1275 secs
lola: 3892407 markings, 19957316 edges, 2386 markings/sec, 1280 secs
lola: 3901657 markings, 20037866 edges, 1850 markings/sec, 1285 secs
lola: 3915629 markings, 20116525 edges, 2794 markings/sec, 1290 secs
lola: 3928333 markings, 20195734 edges, 2541 markings/sec, 1295 secs
lola: 3942640 markings, 20273897 edges, 2861 markings/sec, 1300 secs
lola: 3957039 markings, 20353089 edges, 2880 markings/sec, 1305 secs
lola: 3971483 markings, 20431197 edges, 2889 markings/sec, 1310 secs
lola: 3984703 markings, 20509311 edges, 2644 markings/sec, 1315 secs
lola: 3997350 markings, 20587968 edges, 2529 markings/sec, 1320 secs
lola: 4009805 markings, 20666395 edges, 2491 markings/sec, 1325 secs
lola: 4020959 markings, 20744939 edges, 2231 markings/sec, 1330 secs
lola: 4034353 markings, 20824913 edges, 2679 markings/sec, 1335 secs
lola: 4050298 markings, 20903019 edges, 3189 markings/sec, 1340 secs
lola: 4063460 markings, 20982066 edges, 2632 markings/sec, 1345 secs
lola: 4075667 markings, 21061737 edges, 2441 markings/sec, 1350 secs
lola: 4088030 markings, 21141536 edges, 2473 markings/sec, 1355 secs
lola: 4098545 markings, 21222075 edges, 2103 markings/sec, 1360 secs
lola: 4109318 markings, 21302946 edges, 2155 markings/sec, 1365 secs
lola: 4123759 markings, 21381072 edges, 2888 markings/sec, 1370 secs
lola: 4137902 markings, 21460583 edges, 2829 markings/sec, 1375 secs
lola: 4151593 markings, 21539762 edges, 2738 markings/sec, 1380 secs
lola: 4164297 markings, 21618164 edges, 2541 markings/sec, 1385 secs
lola: 4177515 markings, 21696900 edges, 2644 markings/sec, 1390 secs
lola: 4189457 markings, 21775882 edges, 2388 markings/sec, 1395 secs
lola: 4201961 markings, 21854997 edges, 2501 markings/sec, 1400 secs
lola: 4214112 markings, 21934832 edges, 2430 markings/sec, 1405 secs
lola: 4227024 markings, 22013785 edges, 2582 markings/sec, 1410 secs
lola: 4238126 markings, 22093415 edges, 2220 markings/sec, 1415 secs
lola: 4248676 markings, 22173732 edges, 2110 markings/sec, 1420 secs
lola: 4259560 markings, 22254181 edges, 2177 markings/sec, 1425 secs
lola: 4268933 markings, 22335359 edges, 1875 markings/sec, 1430 secs
lola: 4277591 markings, 22416228 edges, 1732 markings/sec, 1435 secs
lola: 4290127 markings, 22496740 edges, 2507 markings/sec, 1440 secs
lola: 4302396 markings, 22574610 edges, 2454 markings/sec, 1445 secs
lola: 4313893 markings, 22651991 edges, 2299 markings/sec, 1450 secs
lola: 4326113 markings, 22732213 edges, 2444 markings/sec, 1455 secs
lola: 4338006 markings, 22811662 edges, 2379 markings/sec, 1460 secs
lola: 4349196 markings, 22889359 edges, 2238 markings/sec, 1465 secs
lola: 4360276 markings, 22969464 edges, 2216 markings/sec, 1470 secs
lola: 4371088 markings, 23049109 edges, 2162 markings/sec, 1475 secs
lola: 4385469 markings, 23128463 edges, 2876 markings/sec, 1480 secs
lola: 4398858 markings, 23208119 edges, 2678 markings/sec, 1485 secs
lola: 4410870 markings, 23287931 edges, 2402 markings/sec, 1490 secs
lola: 4422084 markings, 23368410 edges, 2243 markings/sec, 1495 secs
lola: 4432490 markings, 23448495 edges, 2081 markings/sec, 1500 secs
lola: 4446706 markings, 23526513 edges, 2843 markings/sec, 1505 secs
lola: 4461543 markings, 23605937 edges, 2967 markings/sec, 1510 secs
lola: 4474931 markings, 23685703 edges, 2678 markings/sec, 1515 secs
lola: 4487694 markings, 23766526 edges, 2553 markings/sec, 1520 secs
lola: 4500701 markings, 23843193 edges, 2601 markings/sec, 1525 secs
lola: 4515079 markings, 23921014 edges, 2876 markings/sec, 1530 secs
lola: 4528320 markings, 23999078 edges, 2648 markings/sec, 1535 secs
lola: 4540605 markings, 24077247 edges, 2457 markings/sec, 1540 secs
lola: 4551905 markings, 24156236 edges, 2260 markings/sec, 1545 secs
lola: 4561869 markings, 24236069 edges, 1993 markings/sec, 1550 secs
lola: 4573270 markings, 24315492 edges, 2280 markings/sec, 1555 secs
lola: 4583673 markings, 24395169 edges, 2081 markings/sec, 1560 secs
lola: 4593700 markings, 24474503 edges, 2005 markings/sec, 1565 secs
lola: 4602196 markings, 24555101 edges, 1699 markings/sec, 1570 secs
lola: 4614295 markings, 24634363 edges, 2420 markings/sec, 1575 secs
lola: 4627360 markings, 24713764 edges, 2613 markings/sec, 1580 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes yes no unknown no no no no yes yes no no unknown yes no
lola: memory consumption: 4027876 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: ...considering subproblem: A (G (F ((p2975 <= p310))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p2975 <= p310))))
lola: processed formula length: 27
lola: 100 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: time limit reached - aborting
lola:
preliminary result: yes yes yes no unknown no no no no yes yes no no unknown yes no
lola: lola: caught signal User defined signal 1 - aborting LoLA

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

BK_STOP 1590346587719

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is NoC3x3-PT-8B, 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 r120-csrt-158961292500113"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-8B.tgz
mv NoC3x3-PT-8B 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 ;