fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r221-tajo-159033501800045
Last Updated
Jun 28, 2020

About the Execution of 2019-Gold for ShieldIIPs-PT-040B

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
8526.290 3570127.00 3690327.00 472.50 FT?TFFFTFFF?TTTT normal

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r221-tajo-159033501800045.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is ShieldIIPs-PT-040B, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r221-tajo-159033501800045
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 3.1K May 14 00:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 14 00:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 17:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 17:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.0K May 13 13:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K May 13 13:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 07:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 07:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 675K May 12 20:42 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 ShieldIIPs-PT-040B-00
FORMULA_NAME ShieldIIPs-PT-040B-01
FORMULA_NAME ShieldIIPs-PT-040B-02
FORMULA_NAME ShieldIIPs-PT-040B-03
FORMULA_NAME ShieldIIPs-PT-040B-04
FORMULA_NAME ShieldIIPs-PT-040B-05
FORMULA_NAME ShieldIIPs-PT-040B-06
FORMULA_NAME ShieldIIPs-PT-040B-07
FORMULA_NAME ShieldIIPs-PT-040B-08
FORMULA_NAME ShieldIIPs-PT-040B-09
FORMULA_NAME ShieldIIPs-PT-040B-10
FORMULA_NAME ShieldIIPs-PT-040B-11
FORMULA_NAME ShieldIIPs-PT-040B-12
FORMULA_NAME ShieldIIPs-PT-040B-13
FORMULA_NAME ShieldIIPs-PT-040B-14
FORMULA_NAME ShieldIIPs-PT-040B-15

=== Now, execution of the tool begins

BK_START 1590882767744

info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ ShieldIIPs-PT-040B @ 3570 seconds

FORMULA ShieldIIPs-PT-040B-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

FORMULA ShieldIIPs-PT-040B-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA ShieldIIPs-PT-040B-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ShieldIIPs-PT-040B-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ShieldIIPs-PT-040B-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ShieldIIPs-PT-040B-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ShieldIIPs-PT-040B-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ShieldIIPs-PT-040B-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ShieldIIPs-PT-040B-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ShieldIIPs-PT-040B-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ ShieldIIPs-PT-040B

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 221
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"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": "(p999 + 1 <= p1842)",
"processed_size": 19,
"rewrites": 140
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

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

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

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

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 393
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"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": "(p2032 <= p1597)",
"processed_size": 16,
"rewrites": 140
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 7,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

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

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

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1474
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 2,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 5,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 2,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "A (X (F ((G ((p1799 <= 0)) OR (X (X (F (((p1799 <= 0) AND (F ((p1799 <= 0)) OR G ((p1799 <= 0))))))) AND (p1799 <= 0))))))",
"processed_size": 122,
"rewrites": 140
},
"result":
{
"edges": 8,
"markings": 8,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 10
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 60620,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "** : A(X(X((G(**) OR (F(**) OR (G((** AND F(**))) AND F(**))))))) : A(F(G((F(**) AND (F(**) OR **))))) : A(X(TRUE)) : FALSE : FALSE : FALSE : TRUE : A(X(X(G(**)))) : FALSE : FALSE : A(F((** AND X(**)))) : ** : A((** OR X(TRUE))) : TRUE : A(X(F((G(*) OR (X(X(F((* AND (F(*) OR G(*)))))) AND *)))))"
},
"net":
{
"arcs": 7126,
"conflict_clusters": 1683,
"places": 2403,
"places_significant": 2042,
"singleton_clusters": 0,
"transitions": 2363
},
"result":
{
"interim_value": "no yes unknown yes no no no yes no no no unknown yes yes yes yes ",
"preliminary_value": "no yes unknown yes no no no yes no no no unknown yes yes yes yes "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 4766/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2403
lola: finding significant places
lola: 2403 places, 2363 transitions, 2042 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p2162)
lola: LP says that atomic proposition is always false: (3 <= p2162)
lola: LP says that atomic proposition is always false: (3 <= p2260)
lola: LP says that atomic proposition is always false: (2 <= p2196)
lola: LP says that atomic proposition is always false: (3 <= p188)
lola: LP says that atomic proposition is always false: (2 <= p197)
lola: LP says that atomic proposition is always false: (3 <= p305)
lola: LP says that atomic proposition is always false: (3 <= p305)
lola: LP says that atomic proposition is always false: (2 <= p272)
lola: LP says that atomic proposition is always false: (2 <= p639)
lola: LP says that atomic proposition is always false: (2 <= p639)
lola: LP says that atomic proposition is always false: (3 <= p714)
lola: LP says that atomic proposition is always false: (3 <= p1107)
lola: LP says that atomic proposition is always false: (3 <= p1448)
lola: LP says that atomic proposition is always false: (3 <= p1448)
lola: LP says that atomic proposition is always false: (2 <= p1397)
lola: LP says that atomic proposition is always false: (2 <= p1686)
lola: LP says that atomic proposition is always false: (3 <= p244)
lola: LP says that atomic proposition is always false: (3 <= p1892)
lola: LP says that atomic proposition is always false: (3 <= p160)
lola: A (((p999 + 1 <= p1842) OR (((3 <= p2162) AND (X ((p999 + 1 <= p1842)) U (p1842 <= p999))) AND G ((3 <= p2162))))) : A (X (X ((((3 <= p2260) OR G ((p841 <= p2298))) OR (G (((p411 <= p2317) AND F ((p841 <= p2298)))) U F ((p411 <= p2317))))))) : A (F (G (F ((NOT(X ((p195 <= p351))) U G ((F (X (F ((p302 <= p2032)))) U X ((p195 <= p351))))))))) : A (G (X (X (F (NOT(G ((2 <= p2196)))))))) : A ((X ((3 <= p188)) AND X (F (G (F (G ((F ((2 <= p197)) U (1 <= p2199))))))))) : A (F ((((p2245 + 1 <= p872) AND NOT(F (((3 <= p305) U (p911 <= p574))))) AND (G ((p1934 <= p1237)) U (3 <= p305))))) : A (F (G (()))) : A ((G ((2 <= p639)) OR NOT(((2 <= p639) OR G (X ((3 <= p714))))))) : A (X (X (G ((1 <= p1631))))) : A (X (G ((3 <= p1107)))) : A (F ((G (F (X (((3 <= p1448) AND NOT(F (NOT(G ((p2264 <= p492))))))))) U F ((3 <= p1448))))) : A (F (((p1157 + 1 <= p648) AND (X ((p162 <= p2287)) OR F ((2 <= p1397)))))) : A ((F (((2 <= p1686) AND G ((X ((p2189 + 1 <= p1106)) OR ((3 <= p244) AND F ((p1106 <= p2189))))))) U (p2032 <= p1597))) : A ((((p837 <= p1945) AND (p978 <= p1773)) OR X (G (F ((0 <= p1850)))))) : A (NOT((G ((3 <= p1892)) OR NOT(G (X (NOT(F ((3 <= p160))))))))) : A (X (NOT(G ((G (X (G (X ((G ((1 <= p1799)) U (1 <= p1799)))))) U (1 <= p1799))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:121
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:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:347
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:154
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:157
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:117
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: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:163
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:122
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
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:122
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p999 + 1 <= p1842)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p999 + 1 <= p1842)
lola: processed formula length: 19
lola: 140 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 235 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: 140 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 252 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: 140 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 272 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: 140 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 294 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: 140 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 321 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: 140 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 6 will run for 353 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: 140 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 7 will run for 393 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p2032 <= p1597)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p2032 <= p1597)
lola: processed formula length: 16
lola: 140 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 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 8 will run for 442 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: 140 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 9 will run for 505 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: 140 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 10 will run for 589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((p1157 + 1 <= p648) AND X ((p162 <= p2287)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((p1157 + 1 <= p648) AND X ((p162 <= p2287)))))
lola: processed formula length: 53
lola: 140 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 128829 markings, 360553 edges, 25766 markings/sec, 0 secs
lola: 227517 markings, 755783 edges, 19738 markings/sec, 5 secs
lola: 316965 markings, 1149313 edges, 17890 markings/sec, 10 secs
lola: 409313 markings, 1542564 edges, 18470 markings/sec, 15 secs
lola: 496109 markings, 1936722 edges, 17359 markings/sec, 20 secs
lola: 577157 markings, 2330038 edges, 16210 markings/sec, 25 secs
lola: 660149 markings, 2698869 edges, 16598 markings/sec, 30 secs
lola: 746827 markings, 3092595 edges, 17336 markings/sec, 35 secs
lola: 830389 markings, 3485928 edges, 16712 markings/sec, 40 secs
lola: 911426 markings, 3878790 edges, 16207 markings/sec, 45 secs
lola: 990877 markings, 4271908 edges, 15890 markings/sec, 50 secs
lola: 1067348 markings, 4664880 edges, 15294 markings/sec, 55 secs
lola: 1137753 markings, 5058047 edges, 14081 markings/sec, 60 secs
lola: 1231661 markings, 5451132 edges, 18782 markings/sec, 65 secs
lola: 1317109 markings, 5844374 edges, 17090 markings/sec, 70 secs
lola: 1396415 markings, 6237808 edges, 15861 markings/sec, 75 secs
lola: 1478960 markings, 6630503 edges, 16509 markings/sec, 80 secs
lola: 1557183 markings, 7023172 edges, 15645 markings/sec, 85 secs
lola: 1632462 markings, 7415541 edges, 15056 markings/sec, 90 secs
lola: 1711045 markings, 7807421 edges, 15717 markings/sec, 95 secs
lola: 1799968 markings, 8199701 edges, 17785 markings/sec, 100 secs
lola: 1883923 markings, 8591802 edges, 16791 markings/sec, 105 secs
lola: 1963399 markings, 8984073 edges, 15895 markings/sec, 110 secs
lola: 2042763 markings, 9360722 edges, 15873 markings/sec, 115 secs
lola: 2119514 markings, 9752083 edges, 15350 markings/sec, 120 secs
lola: 2192107 markings, 10143410 edges, 14519 markings/sec, 125 secs
lola: 2277458 markings, 10534037 edges, 17070 markings/sec, 130 secs
lola: 2364088 markings, 10925801 edges, 17326 markings/sec, 135 secs
lola: 2446360 markings, 11316581 edges, 16454 markings/sec, 140 secs
lola: 2527150 markings, 11706904 edges, 16158 markings/sec, 145 secs
lola: 2605810 markings, 12097480 edges, 15732 markings/sec, 150 secs
lola: 2681504 markings, 12487160 edges, 15139 markings/sec, 155 secs
lola: 2751199 markings, 12876849 edges, 13939 markings/sec, 160 secs
lola: 2854675 markings, 13264019 edges, 20695 markings/sec, 165 secs
lola: 2948805 markings, 13652676 edges, 18826 markings/sec, 170 secs
lola: 3036152 markings, 14040686 edges, 17469 markings/sec, 175 secs
lola: 3126732 markings, 14428721 edges, 18116 markings/sec, 180 secs
lola: 3210824 markings, 14817090 edges, 16818 markings/sec, 185 secs
lola: 3287459 markings, 15205879 edges, 15327 markings/sec, 190 secs
lola: 3380415 markings, 15593912 edges, 18591 markings/sec, 195 secs
lola: 3465045 markings, 15982840 edges, 16926 markings/sec, 200 secs
lola: 3543327 markings, 16370401 edges, 15656 markings/sec, 205 secs
lola: 3624618 markings, 16757818 edges, 16258 markings/sec, 210 secs
lola: 3701412 markings, 17144684 edges, 15359 markings/sec, 215 secs
lola: 3769494 markings, 17495474 edges, 13616 markings/sec, 220 secs
lola: 3837630 markings, 17867093 edges, 13627 markings/sec, 225 secs
lola: 3917587 markings, 18241447 edges, 15991 markings/sec, 230 secs
lola: 3991156 markings, 18616201 edges, 14714 markings/sec, 235 secs
lola: 4061337 markings, 18990224 edges, 14036 markings/sec, 240 secs
lola: 4130757 markings, 19363426 edges, 13884 markings/sec, 245 secs
lola: 4200741 markings, 19736542 edges, 13997 markings/sec, 250 secs
lola: 4267298 markings, 20109326 edges, 13311 markings/sec, 255 secs
lola: 4330923 markings, 20481396 edges, 12725 markings/sec, 260 secs
lola: 4404909 markings, 20853751 edges, 14797 markings/sec, 265 secs
lola: 4488689 markings, 21226980 edges, 16756 markings/sec, 270 secs
lola: 4568445 markings, 21601247 edges, 15951 markings/sec, 275 secs
lola: 4643290 markings, 21973127 edges, 14969 markings/sec, 280 secs
lola: 4723170 markings, 22346455 edges, 15976 markings/sec, 285 secs
lola: 4796474 markings, 22719424 edges, 14661 markings/sec, 290 secs
lola: 4866558 markings, 23092009 edges, 14017 markings/sec, 295 secs
lola: 4939327 markings, 23464272 edges, 14554 markings/sec, 300 secs
lola: 5015474 markings, 23835161 edges, 15229 markings/sec, 305 secs
lola: 5088003 markings, 24206770 edges, 14506 markings/sec, 310 secs
lola: 5155811 markings, 24578215 edges, 13562 markings/sec, 315 secs
lola: 5226892 markings, 24948542 edges, 14216 markings/sec, 320 secs
lola: 5294360 markings, 25319772 edges, 13494 markings/sec, 325 secs
lola: 5362363 markings, 25700275 edges, 13601 markings/sec, 330 secs
lola: 5426842 markings, 26086822 edges, 12896 markings/sec, 335 secs
lola: 5499679 markings, 26474540 edges, 14567 markings/sec, 340 secs
lola: 5569746 markings, 26863365 edges, 14013 markings/sec, 345 secs
lola: 5638437 markings, 27248859 edges, 13738 markings/sec, 350 secs
lola: 5694710 markings, 27585173 edges, 11255 markings/sec, 355 secs
lola: 5756563 markings, 27937400 edges, 12371 markings/sec, 360 secs
lola: 5816526 markings, 28291958 edges, 11993 markings/sec, 365 secs
lola: 5878019 markings, 28669328 edges, 12299 markings/sec, 370 secs
lola: 5939717 markings, 29056881 edges, 12340 markings/sec, 375 secs
lola: 6010258 markings, 29444751 edges, 14108 markings/sec, 380 secs
lola: 6098634 markings, 29834121 edges, 17675 markings/sec, 385 secs
lola: 6177068 markings, 30199612 edges, 15687 markings/sec, 390 secs
lola: 6255104 markings, 30589409 edges, 15607 markings/sec, 395 secs
lola: 6338317 markings, 30978648 edges, 16643 markings/sec, 400 secs
lola: 6414480 markings, 31368164 edges, 15233 markings/sec, 405 secs
lola: 6487438 markings, 31757925 edges, 14592 markings/sec, 410 secs
lola: 6565472 markings, 32146488 edges, 15607 markings/sec, 415 secs
lola: 6643073 markings, 32536188 edges, 15520 markings/sec, 420 secs
lola: 6718210 markings, 32925405 edges, 15027 markings/sec, 425 secs
lola: 6788828 markings, 33314884 edges, 14124 markings/sec, 430 secs
lola: 6864843 markings, 33703767 edges, 15203 markings/sec, 435 secs
lola: 6934479 markings, 34092919 edges, 13927 markings/sec, 440 secs
lola: 7002575 markings, 34481773 edges, 13619 markings/sec, 445 secs
lola: 7068777 markings, 34870664 edges, 13240 markings/sec, 450 secs
lola: 7138882 markings, 35236485 edges, 14021 markings/sec, 455 secs
lola: 7208952 markings, 35627002 edges, 14014 markings/sec, 460 secs
lola: 7276893 markings, 36017820 edges, 13588 markings/sec, 465 secs
lola: 7342527 markings, 36408270 edges, 13127 markings/sec, 470 secs
lola: 7410365 markings, 36797689 edges, 13568 markings/sec, 475 secs
lola: 7474002 markings, 37187666 edges, 12727 markings/sec, 480 secs
lola: 7536792 markings, 37576573 edges, 12558 markings/sec, 485 secs
lola: 7597367 markings, 37965068 edges, 12115 markings/sec, 490 secs
lola: 7689839 markings, 38354193 edges, 18494 markings/sec, 495 secs
lola: 7774458 markings, 38743456 edges, 16924 markings/sec, 500 secs
lola: 7851823 markings, 39131509 edges, 15473 markings/sec, 505 secs
lola: 7934538 markings, 39519976 edges, 16543 markings/sec, 510 secs
lola: 8011441 markings, 39909308 edges, 15381 markings/sec, 515 secs
lola: 8085934 markings, 40298294 edges, 14899 markings/sec, 520 secs
lola: 8160837 markings, 40686905 edges, 14981 markings/sec, 525 secs
lola: 8240743 markings, 41075237 edges, 15981 markings/sec, 530 secs
lola: 8316634 markings, 41463915 edges, 15178 markings/sec, 535 secs
lola: 8387257 markings, 41852751 edges, 14125 markings/sec, 540 secs
lola: 8461599 markings, 42241073 edges, 14868 markings/sec, 545 secs
lola: 8530977 markings, 42629267 edges, 13876 markings/sec, 550 secs
lola: 8600032 markings, 43017584 edges, 13811 markings/sec, 555 secs
lola: 8664200 markings, 43405689 edges, 12834 markings/sec, 560 secs
lola: 8739809 markings, 43794358 edges, 15122 markings/sec, 565 secs
lola: 8809581 markings, 44183961 edges, 13954 markings/sec, 570 secs
lola: 8878531 markings, 44573442 edges, 13790 markings/sec, 575 secs
lola: 8942703 markings, 44962634 edges, 12834 markings/sec, 580 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown yes no no no yes unknown no no unknown yes unknown yes unknown
lola: memory consumption: 1498336 KB
lola: time consumption: 622 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((1 <= p1631)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((1 <= p1631)))))
lola: processed formula length: 28
lola: 140 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: 4534 markings, 4534 edges
lola: ========================================
lola: subprocess 12 will run for 737 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((p837 <= p1945) AND (p978 <= p1773)) OR X (TRUE)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((((p837 <= p1945) AND (p978 <= p1773)) OR X (TRUE)))
lola: processed formula length: 55
lola: 140 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: 1 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 982 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((G ((p841 <= p2298)) OR (F ((p411 <= p2317)) OR (G (((p411 <= p2317) AND F ((p841 <= p2298)))) AND F ((p411 <= p2317))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((G ((p841 <= p2298)) OR (F ((p411 <= p2317)) OR (G (((p411 <= p2317) AND F ((p841 <= p2298)))) AND F ((p411 <= p2317))))))))
lola: processed formula length: 133
lola: 140 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 10 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: 6 markings, 5 edges
lola: ========================================
lola: subprocess 14 will run for 1474 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((G ((p1799 <= 0)) OR (X (X (F (((p1799 <= 0) AND (F ((p1799 <= 0)) OR G ((p1799 <= 0))))))) AND (p1799 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((G ((p1799 <= 0)) OR (X (X (F (((p1799 <= 0) AND (F ((p1799 <= 0)) OR G ((p1799 <= 0))))))) AND (p1799 <= 0))))))
lola: processed formula length: 122
lola: 140 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 10 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: 8 markings, 8 edges
lola: ========================================
lola: subprocess 15 will run for 2948 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F ((p195 <= p351)) AND (F ((p302 <= p2032)) OR (p195 <= p351))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F ((p195 <= p351)) AND (F ((p302 <= p2032)) OR (p195 <= p351))))))
lola: processed formula length: 76
lola: 140 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: 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: 89936 markings, 363430 edges, 17987 markings/sec, 0 secs
lola: 162454 markings, 733189 edges, 14504 markings/sec, 5 secs
lola: 244245 markings, 1099843 edges, 16358 markings/sec, 10 secs
lola: 319238 markings, 1468440 edges, 14999 markings/sec, 15 secs
lola: 388513 markings, 1838085 edges, 13855 markings/sec, 20 secs
lola: 453688 markings, 2207917 edges, 13035 markings/sec, 25 secs
lola: 521857 markings, 2578900 edges, 13634 markings/sec, 30 secs
lola: 581031 markings, 2948528 edges, 11835 markings/sec, 35 secs
lola: 646279 markings, 3318709 edges, 13050 markings/sec, 40 secs
lola: 714644 markings, 3689523 edges, 13673 markings/sec, 45 secs
lola: 772597 markings, 4062193 edges, 11591 markings/sec, 50 secs
lola: 834946 markings, 4431672 edges, 12470 markings/sec, 55 secs
lola: 890910 markings, 4803505 edges, 11193 markings/sec, 60 secs
lola: 943768 markings, 5175526 edges, 10572 markings/sec, 65 secs
lola: 1006402 markings, 5544651 edges, 12527 markings/sec, 70 secs
lola: 1074443 markings, 5913432 edges, 13608 markings/sec, 75 secs
lola: 1136303 markings, 6282807 edges, 12372 markings/sec, 80 secs
lola: 1201666 markings, 6652334 edges, 13073 markings/sec, 85 secs
lola: 1272389 markings, 7021246 edges, 14145 markings/sec, 90 secs
lola: 1333824 markings, 7390799 edges, 12287 markings/sec, 95 secs
lola: 1396746 markings, 7759948 edges, 12584 markings/sec, 100 secs
lola: 1458883 markings, 8129483 edges, 12427 markings/sec, 105 secs
lola: 1519272 markings, 8500189 edges, 12078 markings/sec, 110 secs
lola: 1575668 markings, 8870345 edges, 11279 markings/sec, 115 secs
lola: 1629568 markings, 9241245 edges, 10780 markings/sec, 120 secs
lola: 1681791 markings, 9611216 edges, 10445 markings/sec, 125 secs
lola: 1745871 markings, 9980941 edges, 12816 markings/sec, 130 secs
lola: 1806976 markings, 10351000 edges, 12221 markings/sec, 135 secs
lola: 1872742 markings, 10720574 edges, 13153 markings/sec, 140 secs
lola: 1936408 markings, 11090025 edges, 12733 markings/sec, 145 secs
lola: 1997150 markings, 11459768 edges, 12148 markings/sec, 150 secs
lola: 2049558 markings, 11806097 edges, 10482 markings/sec, 155 secs
lola: 2092649 markings, 12135621 edges, 8618 markings/sec, 160 secs
lola: 2145638 markings, 12497280 edges, 10598 markings/sec, 165 secs
lola: 2194634 markings, 12861282 edges, 9799 markings/sec, 170 secs
lola: 2243461 markings, 13205325 edges, 9765 markings/sec, 175 secs
lola: 2286400 markings, 13558669 edges, 8588 markings/sec, 180 secs
lola: 2337615 markings, 13918209 edges, 10243 markings/sec, 185 secs
lola: 2390880 markings, 14287151 edges, 10653 markings/sec, 190 secs
lola: 2440012 markings, 14657304 edges, 9826 markings/sec, 195 secs
lola: 2491706 markings, 15002030 edges, 10339 markings/sec, 200 secs
lola: 2553429 markings, 15367444 edges, 12345 markings/sec, 205 secs
lola: 2609516 markings, 15733889 edges, 11217 markings/sec, 210 secs
lola: 2665535 markings, 16105932 edges, 11204 markings/sec, 215 secs
lola: 2716582 markings, 16476586 edges, 10209 markings/sec, 220 secs
lola: 2761757 markings, 16848456 edges, 9035 markings/sec, 225 secs
lola: 2818371 markings, 17220971 edges, 11323 markings/sec, 230 secs
lola: 2893525 markings, 17588967 edges, 15031 markings/sec, 235 secs
lola: 2955887 markings, 17959334 edges, 12472 markings/sec, 240 secs
lola: 3011879 markings, 18330149 edges, 11198 markings/sec, 245 secs
lola: 3075234 markings, 18699852 edges, 12671 markings/sec, 250 secs
lola: 3148896 markings, 19067733 edges, 14732 markings/sec, 255 secs
lola: 3206178 markings, 19437696 edges, 11456 markings/sec, 260 secs
lola: 3262354 markings, 19807294 edges, 11235 markings/sec, 265 secs
lola: 3316987 markings, 20178881 edges, 10927 markings/sec, 270 secs
lola: 3371295 markings, 20550599 edges, 10862 markings/sec, 275 secs
lola: 3420435 markings, 20922601 edges, 9828 markings/sec, 280 secs
lola: 3496055 markings, 21288802 edges, 15124 markings/sec, 285 secs
lola: 3570603 markings, 21652340 edges, 14910 markings/sec, 290 secs
lola: 3635051 markings, 22018398 edges, 12890 markings/sec, 295 secs
lola: 3689839 markings, 22384312 edges, 10958 markings/sec, 300 secs
lola: 3753373 markings, 22750202 edges, 12707 markings/sec, 305 secs
lola: 3810434 markings, 23119490 edges, 11412 markings/sec, 310 secs
lola: 3865520 markings, 23489919 edges, 11017 markings/sec, 315 secs
lola: 3922631 markings, 23860484 edges, 11422 markings/sec, 320 secs
lola: 3976571 markings, 24232023 edges, 10788 markings/sec, 325 secs
lola: 4029835 markings, 24603545 edges, 10653 markings/sec, 330 secs
lola: 4080621 markings, 24974853 edges, 10157 markings/sec, 335 secs
lola: 4127885 markings, 25346445 edges, 9453 markings/sec, 340 secs
lola: 4179451 markings, 25717918 edges, 10313 markings/sec, 345 secs
lola: 4228713 markings, 26090597 edges, 9852 markings/sec, 350 secs
lola: 4276639 markings, 26462766 edges, 9585 markings/sec, 355 secs
lola: 4321834 markings, 26834428 edges, 9039 markings/sec, 360 secs
lola: 4373148 markings, 27205145 edges, 10263 markings/sec, 365 secs
lola: 4415870 markings, 27577222 edges, 8544 markings/sec, 370 secs
lola: 4477051 markings, 27943754 edges, 12236 markings/sec, 375 secs
lola: 4534973 markings, 28311561 edges, 11584 markings/sec, 380 secs
lola: 4596674 markings, 28678624 edges, 12340 markings/sec, 385 secs
lola: 4649594 markings, 29046817 edges, 10584 markings/sec, 390 secs
lola: 4716962 markings, 29414945 edges, 13474 markings/sec, 395 secs
lola: 4779126 markings, 29784464 edges, 12433 markings/sec, 400 secs
lola: 4839046 markings, 30154253 edges, 11984 markings/sec, 405 secs
lola: 4889836 markings, 30500021 edges, 10158 markings/sec, 410 secs
lola: 4943653 markings, 30820581 edges, 10763 markings/sec, 415 secs
lola: 5002329 markings, 31156481 edges, 11735 markings/sec, 420 secs
lola: 5060935 markings, 31517347 edges, 11721 markings/sec, 425 secs
lola: 5116247 markings, 31886599 edges, 11062 markings/sec, 430 secs
lola: 5172614 markings, 32255344 edges, 11273 markings/sec, 435 secs
lola: 5226458 markings, 32623561 edges, 10769 markings/sec, 440 secs
lola: 5282530 markings, 32989412 edges, 11214 markings/sec, 445 secs
lola: 5338579 markings, 33318074 edges, 11210 markings/sec, 450 secs
lola: 5394903 markings, 33655526 edges, 11265 markings/sec, 455 secs
lola: 5449776 markings, 34017568 edges, 10975 markings/sec, 460 secs
lola: 5502405 markings, 34378543 edges, 10526 markings/sec, 465 secs
lola: 5550476 markings, 34703624 edges, 9614 markings/sec, 470 secs
lola: 5602906 markings, 35039782 edges, 10486 markings/sec, 475 secs
lola: 5652699 markings, 35372001 edges, 9959 markings/sec, 480 secs
lola: 5702937 markings, 35705342 edges, 10048 markings/sec, 485 secs
lola: 5748102 markings, 36029947 edges, 9033 markings/sec, 490 secs
lola: 5791070 markings, 36361850 edges, 8594 markings/sec, 495 secs
lola: 5835488 markings, 36696325 edges, 8884 markings/sec, 500 secs
lola: 5879252 markings, 37031318 edges, 8753 markings/sec, 505 secs
lola: 5929363 markings, 37364975 edges, 10022 markings/sec, 510 secs
lola: 5978809 markings, 37695184 edges, 9889 markings/sec, 515 secs
lola: 6029311 markings, 38032733 edges, 10100 markings/sec, 520 secs
lola: 6074663 markings, 38368317 edges, 9070 markings/sec, 525 secs
lola: 6118320 markings, 38700712 edges, 8731 markings/sec, 530 secs
lola: 6164058 markings, 39038757 edges, 9148 markings/sec, 535 secs
lola: 6208781 markings, 39378847 edges, 8945 markings/sec, 540 secs
lola: 6263798 markings, 39715690 edges, 11003 markings/sec, 545 secs
lola: 6317372 markings, 40053650 edges, 10715 markings/sec, 550 secs
lola: 6373802 markings, 40413278 edges, 11286 markings/sec, 555 secs
lola: 6426579 markings, 40781254 edges, 10555 markings/sec, 560 secs
lola: 6480441 markings, 41151872 edges, 10772 markings/sec, 565 secs
lola: 6528905 markings, 41521655 edges, 9693 markings/sec, 570 secs
lola: 6577059 markings, 41892657 edges, 9631 markings/sec, 575 secs
lola: 6622681 markings, 42263215 edges, 9124 markings/sec, 580 secs
lola: 6666767 markings, 42633051 edges, 8817 markings/sec, 585 secs
lola: 6711499 markings, 43005470 edges, 8946 markings/sec, 590 secs
lola: 6756233 markings, 43377403 edges, 8947 markings/sec, 595 secs
lola: 6803959 markings, 43741417 edges, 9545 markings/sec, 600 secs
lola: 6868809 markings, 44111067 edges, 12970 markings/sec, 605 secs
lola: 6929757 markings, 44480678 edges, 12190 markings/sec, 610 secs
lola: 6990685 markings, 44850517 edges, 12186 markings/sec, 615 secs
lola: 7051575 markings, 45221132 edges, 12178 markings/sec, 620 secs
lola: 7108944 markings, 45591615 edges, 11474 markings/sec, 625 secs
lola: 7165051 markings, 45961067 edges, 11221 markings/sec, 630 secs
lola: 7218750 markings, 46329247 edges, 10740 markings/sec, 635 secs
lola: 7266668 markings, 46683178 edges, 9584 markings/sec, 640 secs
lola: 7308768 markings, 47009321 edges, 8420 markings/sec, 645 secs
lola: 7346899 markings, 47336143 edges, 7626 markings/sec, 650 secs
lola: 7389765 markings, 47681950 edges, 8573 markings/sec, 655 secs
lola: 7445464 markings, 48050501 edges, 11140 markings/sec, 660 secs
lola: 7495076 markings, 48422842 edges, 9922 markings/sec, 665 secs
lola: 7542510 markings, 48795965 edges, 9487 markings/sec, 670 secs
lola: 7590710 markings, 49168534 edges, 9640 markings/sec, 675 secs
lola: 7639349 markings, 49539363 edges, 9728 markings/sec, 680 secs
lola: 7684394 markings, 49912241 edges, 9009 markings/sec, 685 secs
lola: 7726030 markings, 50284611 edges, 8327 markings/sec, 690 secs
lola: 7772708 markings, 50658341 edges, 9336 markings/sec, 695 secs
lola: 7825472 markings, 51031055 edges, 10553 markings/sec, 700 secs
lola: 7873418 markings, 51403932 edges, 9589 markings/sec, 705 secs
lola: 7928200 markings, 51777166 edges, 10956 markings/sec, 710 secs
lola: 7977259 markings, 52151665 edges, 9812 markings/sec, 715 secs
lola: 8022483 markings, 52525241 edges, 9045 markings/sec, 720 secs
lola: 8071716 markings, 52896526 edges, 9847 markings/sec, 725 secs
lola: 8118147 markings, 53244466 edges, 9286 markings/sec, 730 secs
lola: 8161769 markings, 53586357 edges, 8724 markings/sec, 735 secs
lola: 8209789 markings, 53953408 edges, 9604 markings/sec, 740 secs
lola: 8254601 markings, 54305240 edges, 8962 markings/sec, 745 secs
lola: 8300715 markings, 54647215 edges, 9223 markings/sec, 750 secs
lola: 8344952 markings, 55002978 edges, 8847 markings/sec, 755 secs
lola: 8388265 markings, 55368521 edges, 8663 markings/sec, 760 secs
lola: 8434553 markings, 55738167 edges, 9258 markings/sec, 765 secs
lola: 8476777 markings, 56106289 edges, 8445 markings/sec, 770 secs
lola: 8536345 markings, 56476766 edges, 11914 markings/sec, 775 secs
lola: 8595821 markings, 56847058 edges, 11895 markings/sec, 780 secs
lola: 8656348 markings, 57216577 edges, 12105 markings/sec, 785 secs
lola: 8715486 markings, 57587216 edges, 11828 markings/sec, 790 secs
lola: 8775446 markings, 57957250 edges, 11992 markings/sec, 795 secs
lola: 8834315 markings, 58327430 edges, 11774 markings/sec, 800 secs
lola: 8893540 markings, 58696211 edges, 11845 markings/sec, 805 secs
lola: 8953981 markings, 59063241 edges, 12088 markings/sec, 810 secs
lola: 9004361 markings, 59430454 edges, 10076 markings/sec, 815 secs
lola: 9064486 markings, 59798785 edges, 12025 markings/sec, 820 secs
lola: 9123001 markings, 60169518 edges, 11703 markings/sec, 825 secs
lola: 9176039 markings, 60539121 edges, 10608 markings/sec, 830 secs
lola: 9231065 markings, 60909824 edges, 11005 markings/sec, 835 secs
lola: 9284415 markings, 61280491 edges, 10670 markings/sec, 840 secs
lola: 9337170 markings, 61651201 edges, 10551 markings/sec, 845 secs
lola: 9389953 markings, 62021108 edges, 10557 markings/sec, 850 secs
lola: 9442441 markings, 62391179 edges, 10498 markings/sec, 855 secs
lola: 9493404 markings, 62759767 edges, 10193 markings/sec, 860 secs
lola: 9541355 markings, 63129472 edges, 9590 markings/sec, 865 secs
lola: 9594877 markings, 63500728 edges, 10704 markings/sec, 870 secs
lola: 9664228 markings, 63868634 edges, 13870 markings/sec, 875 secs
lola: 9718729 markings, 64237292 edges, 10900 markings/sec, 880 secs
lola: 9761023 markings, 64607330 edges, 8459 markings/sec, 885 secs
lola: 9810498 markings, 64977231 edges, 9895 markings/sec, 890 secs
lola: 9856798 markings, 65349859 edges, 9260 markings/sec, 895 secs
lola: 9902220 markings, 65721041 edges, 9084 markings/sec, 900 secs
lola: 9951397 markings, 66092540 edges, 9835 markings/sec, 905 secs
lola: 10003604 markings, 66463600 edges, 10441 markings/sec, 910 secs
lola: 10052530 markings, 66835308 edges, 9785 markings/sec, 915 secs
lola: 10094320 markings, 67204282 edges, 8358 markings/sec, 920 secs
lola: 10136494 markings, 67573875 edges, 8435 markings/sec, 925 secs
lola: 10189933 markings, 67943665 edges, 10688 markings/sec, 930 secs
lola: 10234708 markings, 68305106 edges, 8955 markings/sec, 935 secs
lola: 10294985 markings, 68668846 edges, 12055 markings/sec, 940 secs
lola: 10339049 markings, 69033951 edges, 8813 markings/sec, 945 secs
lola: 10382565 markings, 69398550 edges, 8703 markings/sec, 950 secs
lola: 10431547 markings, 69763389 edges, 9796 markings/sec, 955 secs
lola: 10476563 markings, 70130737 edges, 9003 markings/sec, 960 secs
lola: 10527181 markings, 70496139 edges, 10124 markings/sec, 965 secs
lola: 10585732 markings, 70864239 edges, 11710 markings/sec, 970 secs
lola: 10643462 markings, 71230903 edges, 11546 markings/sec, 975 secs
lola: 10696446 markings, 71597217 edges, 10597 markings/sec, 980 secs
lola: 10754504 markings, 71963195 edges, 11612 markings/sec, 985 secs
lola: 10798146 markings, 72330906 edges, 8728 markings/sec, 990 secs
lola: 10846236 markings, 72693113 edges, 9618 markings/sec, 995 secs
lola: 10886285 markings, 73056312 edges, 8010 markings/sec, 1000 secs
lola: 10927429 markings, 73420618 edges, 8229 markings/sec, 1005 secs
lola: 10975400 markings, 73784788 edges, 9594 markings/sec, 1010 secs
lola: 11044418 markings, 74149241 edges, 13804 markings/sec, 1015 secs
lola: 11104307 markings, 74519654 edges, 11978 markings/sec, 1020 secs
lola: 11161278 markings, 74890641 edges, 11394 markings/sec, 1025 secs
lola: 11217591 markings, 75261856 edges, 11263 markings/sec, 1030 secs
lola: 11269086 markings, 75633437 edges, 10299 markings/sec, 1035 secs
lola: 11319716 markings, 76005471 edges, 10126 markings/sec, 1040 secs
lola: 11372121 markings, 76378794 edges, 10481 markings/sec, 1045 secs
lola: 11428627 markings, 76749011 edges, 11301 markings/sec, 1050 secs
lola: 11478976 markings, 77119890 edges, 10070 markings/sec, 1055 secs
lola: 11529240 markings, 77490979 edges, 10053 markings/sec, 1060 secs
lola: 11579443 markings, 77861916 edges, 10041 markings/sec, 1065 secs
lola: 11625259 markings, 78233050 edges, 9163 markings/sec, 1070 secs
lola: 11670897 markings, 78604420 edges, 9128 markings/sec, 1075 secs
lola: 11718234 markings, 78977105 edges, 9467 markings/sec, 1080 secs
lola: 11767606 markings, 79349989 edges, 9874 markings/sec, 1085 secs
lola: 11819463 markings, 79722408 edges, 10371 markings/sec, 1090 secs
lola: 11875535 markings, 80093857 edges, 11214 markings/sec, 1095 secs
lola: 11925232 markings, 80466319 edges, 9939 markings/sec, 1100 secs
lola: 11976842 markings, 80838322 edges, 10322 markings/sec, 1105 secs
lola: 12024617 markings, 81209125 edges, 9555 markings/sec, 1110 secs
lola: 12070446 markings, 81581840 edges, 9166 markings/sec, 1115 secs
lola: 12126375 markings, 81953936 edges, 11186 markings/sec, 1120 secs
lola: 12186279 markings, 82325158 edges, 11981 markings/sec, 1125 secs
lola: 12243385 markings, 82696333 edges, 11421 markings/sec, 1130 secs
lola: 12296317 markings, 83068141 edges, 10586 markings/sec, 1135 secs
lola: 12347176 markings, 83439265 edges, 10172 markings/sec, 1140 secs
lola: 12399515 markings, 83811552 edges, 10468 markings/sec, 1145 secs
lola: 12455003 markings, 84183316 edges, 11098 markings/sec, 1150 secs
lola: 12507717 markings, 84555534 edges, 10543 markings/sec, 1155 secs
lola: 12559871 markings, 84927339 edges, 10431 markings/sec, 1160 secs
lola: 12607108 markings, 85299761 edges, 9447 markings/sec, 1165 secs
lola: 12653652 markings, 85672019 edges, 9309 markings/sec, 1170 secs
lola: 12700843 markings, 86043977 edges, 9438 markings/sec, 1175 secs
lola: 12747859 markings, 86417039 edges, 9403 markings/sec, 1180 secs
lola: 12802224 markings, 86789384 edges, 10873 markings/sec, 1185 secs
lola: 12854296 markings, 87161455 edges, 10414 markings/sec, 1190 secs
lola: 12904867 markings, 87533849 edges, 10114 markings/sec, 1195 secs
lola: 12952342 markings, 87906664 edges, 9495 markings/sec, 1200 secs
lola: 12998868 markings, 88278772 edges, 9305 markings/sec, 1205 secs
lola: 13046176 markings, 88651586 edges, 9462 markings/sec, 1210 secs
lola: 13092958 markings, 89025195 edges, 9356 markings/sec, 1215 secs
lola: 13148812 markings, 89396671 edges, 11171 markings/sec, 1220 secs
lola: 13199471 markings, 89768494 edges, 10132 markings/sec, 1225 secs
lola: 13250672 markings, 90140446 edges, 10240 markings/sec, 1230 secs
lola: 13296570 markings, 90512778 edges, 9180 markings/sec, 1235 secs
lola: 13342195 markings, 90884545 edges, 9125 markings/sec, 1240 secs
lola: 13389624 markings, 91257811 edges, 9486 markings/sec, 1245 secs
lola: 13439481 markings, 91630829 edges, 9971 markings/sec, 1250 secs
lola: 13486839 markings, 92003454 edges, 9472 markings/sec, 1255 secs
lola: 13533244 markings, 92375587 edges, 9281 markings/sec, 1260 secs
lola: 13579104 markings, 92748317 edges, 9172 markings/sec, 1265 secs
lola: 13621259 markings, 93121373 edges, 8431 markings/sec, 1270 secs
lola: 13662841 markings, 93493645 edges, 8316 markings/sec, 1275 secs
lola: 13706147 markings, 93866772 edges, 8661 markings/sec, 1280 secs
lola: 13747921 markings, 94240623 edges, 8355 markings/sec, 1285 secs
lola: 13798719 markings, 94613372 edges, 10160 markings/sec, 1290 secs
lola: 13844907 markings, 94986213 edges, 9238 markings/sec, 1295 secs
lola: 13890573 markings, 95359132 edges, 9133 markings/sec, 1300 secs
lola: 13933173 markings, 95732524 edges, 8520 markings/sec, 1305 secs
lola: 13975751 markings, 96105368 edges, 8516 markings/sec, 1310 secs
lola: 14018431 markings, 96478153 edges, 8536 markings/sec, 1315 secs
lola: 14060434 markings, 96852084 edges, 8401 markings/sec, 1320 secs
lola: 14107294 markings, 97226102 edges, 9372 markings/sec, 1325 secs
lola: 14159795 markings, 97597830 edges, 10500 markings/sec, 1330 secs
lola: 14212581 markings, 97968740 edges, 10557 markings/sec, 1335 secs
lola: 14263298 markings, 98339721 edges, 10143 markings/sec, 1340 secs
lola: 14310333 markings, 98711397 edges, 9407 markings/sec, 1345 secs
lola: 14351005 markings, 99036171 edges, 8134 markings/sec, 1350 secs
lola: 14393102 markings, 99368570 edges, 8419 markings/sec, 1355 secs
lola: 14437964 markings, 99728859 edges, 8972 markings/sec, 1360 secs
lola: 14487566 markings, 100099544 edges, 9920 markings/sec, 1365 secs
lola: 14534846 markings, 100471548 edges, 9456 markings/sec, 1370 secs
lola: 14581623 markings, 100842787 edges, 9355 markings/sec, 1375 secs
lola: 14625061 markings, 101215000 edges, 8688 markings/sec, 1380 secs
lola: 14666636 markings, 101586520 edges, 8315 markings/sec, 1385 secs
lola: 14708211 markings, 101957780 edges, 8315 markings/sec, 1390 secs
lola: 14751593 markings, 102330641 edges, 8676 markings/sec, 1395 secs
lola: 14796631 markings, 102702928 edges, 9008 markings/sec, 1400 secs
lola: 14845197 markings, 103075029 edges, 9713 markings/sec, 1405 secs
lola: 14890714 markings, 103446290 edges, 9103 markings/sec, 1410 secs
lola: 14936981 markings, 103818989 edges, 9253 markings/sec, 1415 secs
lola: 14979542 markings, 104190678 edges, 8512 markings/sec, 1420 secs
lola: 15021541 markings, 104561930 edges, 8400 markings/sec, 1425 secs
lola: 15064045 markings, 104933950 edges, 8501 markings/sec, 1430 secs
lola: 15106106 markings, 105307044 edges, 8412 markings/sec, 1435 secs
lola: 15155188 markings, 105679215 edges, 9816 markings/sec, 1440 secs
lola: 15202224 markings, 106050962 edges, 9407 markings/sec, 1445 secs
lola: 15248036 markings, 106422490 edges, 9162 markings/sec, 1450 secs
lola: 15290969 markings, 106795041 edges, 8587 markings/sec, 1455 secs
lola: 15332549 markings, 107166619 edges, 8316 markings/sec, 1460 secs
lola: 15375191 markings, 107538150 edges, 8528 markings/sec, 1465 secs
lola: 15417604 markings, 107910673 edges, 8483 markings/sec, 1470 secs
lola: 15462615 markings, 108283219 edges, 9002 markings/sec, 1475 secs
lola: 15506116 markings, 108655637 edges, 8700 markings/sec, 1480 secs
lola: 15547593 markings, 109026676 edges, 8295 markings/sec, 1485 secs
lola: 15589223 markings, 109398824 edges, 8326 markings/sec, 1490 secs
lola: 15627859 markings, 109771154 edges, 7727 markings/sec, 1495 secs
lola: 15666449 markings, 110142288 edges, 7718 markings/sec, 1500 secs
lola: 15705137 markings, 110513526 edges, 7738 markings/sec, 1505 secs
lola: 15743912 markings, 110886327 edges, 7755 markings/sec, 1510 secs
lola: 15785045 markings, 111258177 edges, 8227 markings/sec, 1515 secs
lola: 15829867 markings, 111629982 edges, 8964 markings/sec, 1520 secs
lola: 15871390 markings, 112001594 edges, 8305 markings/sec, 1525 secs
lola: 15913151 markings, 112373491 edges, 8352 markings/sec, 1530 secs
lola: 15952127 markings, 112746139 edges, 7795 markings/sec, 1535 secs
lola: 15990370 markings, 113117917 edges, 7649 markings/sec, 1540 secs
lola: 16028697 markings, 113489372 edges, 7665 markings/sec, 1545 secs
lola: 16068454 markings, 113863025 edges, 7951 markings/sec, 1550 secs
lola: 16107324 markings, 114235680 edges, 7774 markings/sec, 1555 secs
lola: 16150494 markings, 114608206 edges, 8634 markings/sec, 1560 secs
lola: 16192933 markings, 114977164 edges, 8488 markings/sec, 1565 secs
lola: 16234813 markings, 115347940 edges, 8376 markings/sec, 1570 secs
lola: 16281599 markings, 115686098 edges, 9357 markings/sec, 1575 secs
lola: 16328243 markings, 116011278 edges, 9329 markings/sec, 1580 secs
lola: 16374642 markings, 116354459 edges, 9280 markings/sec, 1585 secs
lola: 16425350 markings, 116726370 edges, 10142 markings/sec, 1590 secs
lola: 16470879 markings, 117099135 edges, 9106 markings/sec, 1595 secs
lola: 16520030 markings, 117472616 edges, 9830 markings/sec, 1600 secs
lola: 16567241 markings, 117845718 edges, 9442 markings/sec, 1605 secs
lola: 16613840 markings, 118219344 edges, 9320 markings/sec, 1610 secs
lola: 16664191 markings, 118591767 edges, 10070 markings/sec, 1615 secs
lola: 16709658 markings, 118963955 edges, 9093 markings/sec, 1620 secs
lola: 16755988 markings, 119336936 edges, 9266 markings/sec, 1625 secs
lola: 16799163 markings, 119709543 edges, 8635 markings/sec, 1630 secs
lola: 16838595 markings, 120066508 edges, 7886 markings/sec, 1635 secs
lola: 16880788 markings, 120409948 edges, 8439 markings/sec, 1640 secs
lola: 16923230 markings, 120782351 edges, 8488 markings/sec, 1645 secs
lola: 16965458 markings, 121155093 edges, 8446 markings/sec, 1650 secs
lola: 17015111 markings, 121525929 edges, 9931 markings/sec, 1655 secs
lola: 17061646 markings, 121896435 edges, 9307 markings/sec, 1660 secs
lola: 17107759 markings, 122267729 edges, 9223 markings/sec, 1665 secs
lola: 17152644 markings, 122638494 edges, 8977 markings/sec, 1670 secs
lola: 17193543 markings, 123009491 edges, 8180 markings/sec, 1675 secs
lola: 17237762 markings, 123381234 edges, 8844 markings/sec, 1680 secs
lola: 17281445 markings, 123752942 edges, 8737 markings/sec, 1685 secs
lola: 17319839 markings, 124102592 edges, 7679 markings/sec, 1690 secs
lola: 17364947 markings, 124471559 edges, 9022 markings/sec, 1695 secs
lola: 17406857 markings, 124840974 edges, 8382 markings/sec, 1700 secs
lola: 17444609 markings, 125176224 edges, 7550 markings/sec, 1705 secs
lola: 17482185 markings, 125504655 edges, 7515 markings/sec, 1710 secs
lola: 17519154 markings, 125853791 edges, 7394 markings/sec, 1715 secs
lola: 17555481 markings, 126213766 edges, 7265 markings/sec, 1720 secs
lola: 17591559 markings, 126537413 edges, 7216 markings/sec, 1725 secs
lola: 17627458 markings, 126871698 edges, 7180 markings/sec, 1730 secs
lola: 17663469 markings, 127222472 edges, 7202 markings/sec, 1735 secs
lola: 17698628 markings, 127546552 edges, 7032 markings/sec, 1740 secs
lola: 17732070 markings, 127853170 edges, 6688 markings/sec, 1745 secs
lola: 17773498 markings, 128173112 edges, 8286 markings/sec, 1750 secs
lola: 17825671 markings, 128512972 edges, 10435 markings/sec, 1755 secs
lola: 17867022 markings, 128831463 edges, 8270 markings/sec, 1760 secs
lola: 17907579 markings, 129146126 edges, 8111 markings/sec, 1765 secs
lola: 17961098 markings, 129513013 edges, 10704 markings/sec, 1770 secs
lola: 18011246 markings, 129882400 edges, 10030 markings/sec, 1775 secs
lola: 18058156 markings, 130250744 edges, 9382 markings/sec, 1780 secs
lola: 18102015 markings, 130618948 edges, 8772 markings/sec, 1785 secs
lola: 18150969 markings, 130987570 edges, 9791 markings/sec, 1790 secs
lola: 18196348 markings, 131356629 edges, 9076 markings/sec, 1795 secs
lola: 18238289 markings, 131720961 edges, 8388 markings/sec, 1800 secs
lola: 18280283 markings, 132089642 edges, 8399 markings/sec, 1805 secs
lola: 18318323 markings, 132453682 edges, 7608 markings/sec, 1810 secs
lola: 18363599 markings, 132820437 edges, 9055 markings/sec, 1815 secs
lola: 18407246 markings, 133191718 edges, 8729 markings/sec, 1820 secs
lola: 18449027 markings, 133562136 edges, 8356 markings/sec, 1825 secs
lola: 18482705 markings, 133876790 edges, 6736 markings/sec, 1830 secs
lola: 18514937 markings, 134185928 edges, 6446 markings/sec, 1835 secs
lola: 18549541 markings, 134529303 edges, 6921 markings/sec, 1840 secs
lola: 18584722 markings, 134889374 edges, 7036 markings/sec, 1845 secs
lola: 18627749 markings, 135246440 edges, 8605 markings/sec, 1850 secs
lola: 18670127 markings, 135543140 edges, 8476 markings/sec, 1855 secs
lola: 18714835 markings, 135857466 edges, 8942 markings/sec, 1860 secs
lola: 18759107 markings, 136189289 edges, 8854 markings/sec, 1865 secs
lola: 18805781 markings, 136544990 edges, 9335 markings/sec, 1870 secs
lola: 18848825 markings, 136907374 edges, 8609 markings/sec, 1875 secs
lola: 18890275 markings, 137224011 edges, 8290 markings/sec, 1880 secs
lola: 18928455 markings, 137540293 edges, 7636 markings/sec, 1885 secs
lola: 18969139 markings, 137881722 edges, 8137 markings/sec, 1890 secs
lola: 19009510 markings, 138250065 edges, 8074 markings/sec, 1895 secs
lola: 19053498 markings, 138611542 edges, 8798 markings/sec, 1900 secs
lola: 19095361 markings, 138970281 edges, 8373 markings/sec, 1905 secs
lola: 19137818 markings, 139329201 edges, 8491 markings/sec, 1910 secs
lola: 19178797 markings, 139691355 edges, 8196 markings/sec, 1915 secs
lola: 19219695 markings, 140051486 edges, 8180 markings/sec, 1920 secs
lola: 19274070 markings, 140408836 edges, 10875 markings/sec, 1925 secs
lola: 19328569 markings, 140772987 edges, 10900 markings/sec, 1930 secs
lola: 19376580 markings, 141130122 edges, 9602 markings/sec, 1935 secs
lola: 19419361 markings, 141463613 edges, 8556 markings/sec, 1940 secs
lola: 19455384 markings, 141772875 edges, 7205 markings/sec, 1945 secs
lola: 19491819 markings, 142081208 edges, 7287 markings/sec, 1950 secs
lola: 19525210 markings, 142402411 edges, 6678 markings/sec, 1955 secs
lola: 19562018 markings, 142753921 edges, 7362 markings/sec, 1960 secs
lola: 19613057 markings, 143113715 edges, 10208 markings/sec, 1965 secs
lola: 19652632 markings, 143477198 edges, 7915 markings/sec, 1970 secs
lola: 19693058 markings, 143842720 edges, 8085 markings/sec, 1975 secs
lola: 19734866 markings, 144208978 edges, 8362 markings/sec, 1980 secs
lola: 19773670 markings, 144565459 edges, 7761 markings/sec, 1985 secs
lola: 19812740 markings, 144926509 edges, 7814 markings/sec, 1990 secs
lola: 19856671 markings, 145290813 edges, 8786 markings/sec, 1995 secs
lola: 19921565 markings, 145651393 edges, 12979 markings/sec, 2000 secs
lola: 19983472 markings, 146012798 edges, 12381 markings/sec, 2005 secs
lola: 20040834 markings, 146373675 edges, 11472 markings/sec, 2010 secs
lola: 20094533 markings, 146735321 edges, 10740 markings/sec, 2015 secs
lola: 20151737 markings, 147097124 edges, 11441 markings/sec, 2020 secs
lola: 20205331 markings, 147459751 edges, 10719 markings/sec, 2025 secs
lola: 20260963 markings, 147823240 edges, 11126 markings/sec, 2030 secs
lola: 20319341 markings, 148185712 edges, 11676 markings/sec, 2035 secs
lola: 20363586 markings, 148546292 edges, 8849 markings/sec, 2040 secs
lola: 20414128 markings, 148907122 edges, 10108 markings/sec, 2045 secs
lola: 20465868 markings, 149273468 edges, 10348 markings/sec, 2050 secs
lola: 20513591 markings, 149638561 edges, 9545 markings/sec, 2055 secs
lola: 20553109 markings, 150002392 edges, 7904 markings/sec, 2060 secs
lola: 20603576 markings, 150366027 edges, 10093 markings/sec, 2065 secs
lola: 20659374 markings, 150731385 edges, 11160 markings/sec, 2070 secs
lola: 20706349 markings, 151095433 edges, 9395 markings/sec, 2075 secs
lola: 20752261 markings, 151457748 edges, 9182 markings/sec, 2080 secs
lola: 20799295 markings, 151822875 edges, 9407 markings/sec, 2085 secs
lola: 20839176 markings, 152185020 edges, 7976 markings/sec, 2090 secs
lola: 20884665 markings, 152544814 edges, 9098 markings/sec, 2095 secs
lola: 20928058 markings, 152907421 edges, 8679 markings/sec, 2100 secs
lola: 20968693 markings, 153266725 edges, 8127 markings/sec, 2105 secs
lola: 21007477 markings, 153626649 edges, 7757 markings/sec, 2110 secs
lola: 21047936 markings, 153986585 edges, 8092 markings/sec, 2115 secs
lola: 21086018 markings, 154303365 edges, 7616 markings/sec, 2120 secs
lola: 21124433 markings, 154621116 edges, 7683 markings/sec, 2125 secs
lola: 21161893 markings, 154964424 edges, 7492 markings/sec, 2130 secs
lola: 21197047 markings, 155308294 edges, 7031 markings/sec, 2135 secs
lola: 21241363 markings, 155664392 edges, 8863 markings/sec, 2140 secs
lola: 21295617 markings, 156024181 edges, 10851 markings/sec, 2145 secs
lola: 21351023 markings, 156385302 edges, 11081 markings/sec, 2150 secs
lola: 21413366 markings, 156752061 edges, 12469 markings/sec, 2155 secs
lola: 21470747 markings, 157114331 edges, 11476 markings/sec, 2160 secs
lola: 21529037 markings, 157473744 edges, 11658 markings/sec, 2165 secs
lola: 21578000 markings, 157836273 edges, 9793 markings/sec, 2170 secs
lola: 21622155 markings, 158174055 edges, 8831 markings/sec, 2175 secs
lola: 21671643 markings, 158499919 edges, 9898 markings/sec, 2180 secs
lola: 21719075 markings, 158835736 edges, 9486 markings/sec, 2185 secs
lola: 21754863 markings, 159145487 edges, 7158 markings/sec, 2190 secs
lola: 21797111 markings, 159497580 edges, 8450 markings/sec, 2195 secs
lola: 21846686 markings, 159846788 edges, 9915 markings/sec, 2200 secs
lola: 21886477 markings, 160198292 edges, 7958 markings/sec, 2205 secs
lola: 21924534 markings, 160543286 edges, 7611 markings/sec, 2210 secs
lola: 21959449 markings, 160872883 edges, 6983 markings/sec, 2215 secs
lola: 21996601 markings, 161203848 edges, 7430 markings/sec, 2220 secs
lola: 22038604 markings, 161559509 edges, 8401 markings/sec, 2225 secs
lola: 22078608 markings, 161912705 edges, 8001 markings/sec, 2230 secs
lola: 22117063 markings, 162264081 edges, 7691 markings/sec, 2235 secs
lola: 22153303 markings, 162612042 edges, 7248 markings/sec, 2240 secs
lola: 22189147 markings, 162962244 edges, 7169 markings/sec, 2245 secs
lola: 22230776 markings, 163311170 edges, 8326 markings/sec, 2250 secs
lola: 22268974 markings, 163657407 edges, 7640 markings/sec, 2255 secs
lola: 22310650 markings, 163999375 edges, 8335 markings/sec, 2260 secs
lola: 22347224 markings, 164337823 edges, 7315 markings/sec, 2265 secs
lola: 22384055 markings, 164668372 edges, 7366 markings/sec, 2270 secs
lola: 22417419 markings, 164978003 edges, 6673 markings/sec, 2275 secs
lola: 22459520 markings, 165323386 edges, 8420 markings/sec, 2280 secs
lola: 22498558 markings, 165668921 edges, 7808 markings/sec, 2285 secs
lola: 22541885 markings, 166014326 edges, 8665 markings/sec, 2290 secs
lola: 22593047 markings, 166362124 edges, 10232 markings/sec, 2295 secs
lola: 22655211 markings, 166726130 edges, 12433 markings/sec, 2300 secs
lola: 22710693 markings, 167089220 edges, 11096 markings/sec, 2305 secs
lola: 22766165 markings, 167452894 edges, 11094 markings/sec, 2310 secs
lola: 22816091 markings, 167816435 edges, 9985 markings/sec, 2315 secs
lola: 22869989 markings, 168177171 edges, 10780 markings/sec, 2320 secs
lola: 22928260 markings, 168536800 edges, 11654 markings/sec, 2325 secs
lola: 22990414 markings, 168898660 edges, 12431 markings/sec, 2330 secs
lola: 23045862 markings, 169263850 edges, 11090 markings/sec, 2335 secs
lola: 23098967 markings, 169628472 edges, 10621 markings/sec, 2340 secs
lola: 23154975 markings, 169992454 edges, 11202 markings/sec, 2345 secs
lola: 23207046 markings, 170357636 edges, 10414 markings/sec, 2350 secs
lola: 23254495 markings, 170722831 edges, 9490 markings/sec, 2355 secs
lola: 23304490 markings, 171087332 edges, 9999 markings/sec, 2360 secs
lola: 23359613 markings, 171452420 edges, 11025 markings/sec, 2365 secs
lola: 23411181 markings, 171818134 edges, 10314 markings/sec, 2370 secs
lola: 23457949 markings, 172183424 edges, 9354 markings/sec, 2375 secs
lola: 23508179 markings, 172547740 edges, 10046 markings/sec, 2380 secs
lola: 23562025 markings, 172912327 edges, 10769 markings/sec, 2385 secs
lola: 23611628 markings, 173276667 edges, 9921 markings/sec, 2390 secs
lola: 23658212 markings, 173640916 edges, 9317 markings/sec, 2395 secs
lola: 23708824 markings, 174003705 edges, 10122 markings/sec, 2400 secs
lola: 23756241 markings, 174367812 edges, 9483 markings/sec, 2405 secs
lola: 23800949 markings, 174731921 edges, 8942 markings/sec, 2410 secs
lola: 23843336 markings, 175095848 edges, 8477 markings/sec, 2415 secs
lola: 23891731 markings, 175456830 edges, 9679 markings/sec, 2420 secs
lola: 23938617 markings, 175820219 edges, 9377 markings/sec, 2425 secs
lola: 23983538 markings, 176186410 edges, 8984 markings/sec, 2430 secs
lola: 24026192 markings, 176550106 edges, 8531 markings/sec, 2435 secs
lola: 24072465 markings, 176909103 edges, 9255 markings/sec, 2440 secs
lola: 24123605 markings, 177258791 edges, 10228 markings/sec, 2445 secs
lola: 24171413 markings, 177613055 edges, 9562 markings/sec, 2450 secs
lola: 24212315 markings, 177966226 edges, 8180 markings/sec, 2455 secs
lola: 24257238 markings, 178327796 edges, 8985 markings/sec, 2460 secs
lola: 24299438 markings, 178685084 edges, 8440 markings/sec, 2465 secs
lola: 24352078 markings, 179029120 edges, 10528 markings/sec, 2470 secs
lola: 24403205 markings, 179394302 edges, 10225 markings/sec, 2475 secs
lola: 24445769 markings, 179736621 edges, 8513 markings/sec, 2480 secs
lola: 24504983 markings, 180097999 edges, 11843 markings/sec, 2485 secs
lola: 24557496 markings, 180440571 edges, 10503 markings/sec, 2490 secs
lola: 24606049 markings, 180806238 edges, 9711 markings/sec, 2495 secs
lola: 24655977 markings, 181169124 edges, 9986 markings/sec, 2500 secs
lola: 24700371 markings, 181534347 edges, 8879 markings/sec, 2505 secs
lola: 24747971 markings, 181899801 edges, 9520 markings/sec, 2510 secs
lola: 24793948 markings, 182264716 edges, 9195 markings/sec, 2515 secs
lola: 24837847 markings, 182629017 edges, 8780 markings/sec, 2520 secs
lola: 24885907 markings, 182992056 edges, 9612 markings/sec, 2525 secs
lola: 24929145 markings, 183355853 edges, 8648 markings/sec, 2530 secs
lola: 24974773 markings, 183720748 edges, 9126 markings/sec, 2535 secs
lola: 25016049 markings, 184086429 edges, 8255 markings/sec, 2540 secs
lola: 25056122 markings, 184450983 edges, 8015 markings/sec, 2545 secs
lola: 25102247 markings, 184814014 edges, 9225 markings/sec, 2550 secs
lola: 25141061 markings, 185178402 edges, 7763 markings/sec, 2555 secs
lola: 25179036 markings, 185537240 edges, 7595 markings/sec, 2560 secs
lola: 25219507 markings, 185897125 edges, 8094 markings/sec, 2565 secs
lola: 25262717 markings, 186232515 edges, 8642 markings/sec, 2570 secs
lola: 25305404 markings, 186588050 edges, 8537 markings/sec, 2575 secs
lola: 25337339 markings, 186885517 edges, 6387 markings/sec, 2580 secs
lola: 25368275 markings, 187174242 edges, 6187 markings/sec, 2585 secs
lola: 25403746 markings, 187478241 edges, 7094 markings/sec, 2590 secs
lola: 25437425 markings, 187816041 edges, 6736 markings/sec, 2595 secs
lola: 25483010 markings, 188171657 edges, 9117 markings/sec, 2600 secs
lola: 25534704 markings, 188533318 edges, 10339 markings/sec, 2605 secs
lola: 25579886 markings, 188893238 edges, 9036 markings/sec, 2610 secs
lola: 25626612 markings, 189242877 edges, 9345 markings/sec, 2615 secs
lola: 25673498 markings, 189602793 edges, 9377 markings/sec, 2620 secs
lola: 25714591 markings, 189961240 edges, 8219 markings/sec, 2625 secs
lola: 25764326 markings, 190321530 edges, 9947 markings/sec, 2630 secs
lola: 25808695 markings, 190662572 edges, 8874 markings/sec, 2635 secs
lola: 25848818 markings, 190967846 edges, 8025 markings/sec, 2640 secs
lola: 25889252 markings, 191286761 edges, 8087 markings/sec, 2645 secs
lola: 25931138 markings, 191650619 edges, 8377 markings/sec, 2650 secs
lola: 25976757 markings, 192015194 edges, 9124 markings/sec, 2655 secs
lola: 26021192 markings, 192380265 edges, 8887 markings/sec, 2660 secs
lola: 26063021 markings, 192744037 edges, 8366 markings/sec, 2665 secs
lola: 26110509 markings, 193108882 edges, 9498 markings/sec, 2670 secs
lola: 26153368 markings, 193474733 edges, 8572 markings/sec, 2675 secs
lola: 26196662 markings, 193839722 edges, 8659 markings/sec, 2680 secs
lola: 26238398 markings, 194206057 edges, 8347 markings/sec, 2685 secs
lola: 26277024 markings, 194571815 edges, 7725 markings/sec, 2690 secs
lola: 26318749 markings, 194936681 edges, 8345 markings/sec, 2695 secs
lola: 26359756 markings, 195302695 edges, 8201 markings/sec, 2700 secs
lola: 26397791 markings, 195667102 edges, 7607 markings/sec, 2705 secs
lola: 26447774 markings, 196029524 edges, 9997 markings/sec, 2710 secs
lola: 26498205 markings, 196393870 edges, 10086 markings/sec, 2715 secs
lola: 26544316 markings, 196758997 edges, 9222 markings/sec, 2720 secs
lola: 26593118 markings, 197123724 edges, 9760 markings/sec, 2725 secs
lola: 26637597 markings, 197488550 edges, 8896 markings/sec, 2730 secs
lola: 26682584 markings, 197847695 edges, 8997 markings/sec, 2735 secs
lola: 26732548 markings, 198206077 edges, 9993 markings/sec, 2740 secs
lola: 26775062 markings, 198569275 edges, 8503 markings/sec, 2745 secs
lola: 26817239 markings, 198933471 edges, 8435 markings/sec, 2750 secs
lola: 26856176 markings, 199299408 edges, 7787 markings/sec, 2755 secs
lola: 26894673 markings, 199633777 edges, 7699 markings/sec, 2760 secs
lola: 26933230 markings, 199985474 edges, 7711 markings/sec, 2765 secs
lola: 26971107 markings, 200339046 edges, 7575 markings/sec, 2770 secs
lola: 27007655 markings, 200672575 edges, 7310 markings/sec, 2775 secs
lola: 27044231 markings, 201024033 edges, 7315 markings/sec, 2780 secs
lola: 27079039 markings, 201390611 edges, 6962 markings/sec, 2785 secs
lola: 27114367 markings, 201755093 edges, 7066 markings/sec, 2790 secs
lola: 27154620 markings, 202118419 edges, 8051 markings/sec, 2795 secs
lola: 27190873 markings, 202479598 edges, 7251 markings/sec, 2800 secs
lola: 27226962 markings, 202844076 edges, 7218 markings/sec, 2805 secs
lola: 27263993 markings, 203205606 edges, 7406 markings/sec, 2810 secs
lola: 27301865 markings, 203566804 edges, 7574 markings/sec, 2815 secs
lola: 27339285 markings, 203928563 edges, 7484 markings/sec, 2820 secs
lola: 27376421 markings, 204295286 edges, 7427 markings/sec, 2825 secs
lola: 27415194 markings, 204662088 edges, 7755 markings/sec, 2830 secs
lola: 27451352 markings, 205026868 edges, 7232 markings/sec, 2835 secs
lola: 27485298 markings, 205389913 edges, 6789 markings/sec, 2840 secs
lola: 27525665 markings, 205752074 edges, 8073 markings/sec, 2845 secs
lola: 27565819 markings, 206104464 edges, 8031 markings/sec, 2850 secs
lola: 27607189 markings, 206438256 edges, 8274 markings/sec, 2855 secs
lola: 27646712 markings, 206773500 edges, 7905 markings/sec, 2860 secs
lola: 27686600 markings, 207117508 edges, 7978 markings/sec, 2865 secs
lola: 27729640 markings, 207474331 edges, 8608 markings/sec, 2870 secs
lola: 27767750 markings, 207827153 edges, 7622 markings/sec, 2875 secs
lola: 27811505 markings, 208186746 edges, 8751 markings/sec, 2880 secs
lola: 27849803 markings, 208541755 edges, 7660 markings/sec, 2885 secs
lola: 27888193 markings, 208899939 edges, 7678 markings/sec, 2890 secs
lola: 27930978 markings, 209260979 edges, 8557 markings/sec, 2895 secs
lola: 27967724 markings, 209624642 edges, 7349 markings/sec, 2900 secs
lola: 28006594 markings, 209980847 edges, 7774 markings/sec, 2905 secs
lola: 28048359 markings, 210338533 edges, 8353 markings/sec, 2910 secs
lola: 28087945 markings, 210698927 edges, 7917 markings/sec, 2915 secs
lola: 28124377 markings, 211024184 edges, 7286 markings/sec, 2920 secs
lola: 28161012 markings, 211367335 edges, 7327 markings/sec, 2925 secs
lola: 28200731 markings, 211723651 edges, 7944 markings/sec, 2930 secs
lola: 28235924 markings, 212057749 edges, 7039 markings/sec, 2935 secs
lola: 28271915 markings, 212415735 edges, 7198 markings/sec, 2940 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown yes no no no yes no no no unknown yes yes yes yes
lola: memory consumption: 8473228 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: time limit reached - aborting
lola:
preliminary result: no yes unknown yes no no no yes no no no unknown yes yes yes yes
lola:
preliminary result: no yes unknown yes no no no yes no no no unknown yes yes yes yes
lola: memory consumption: 60620 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished

BK_STOP 1590886337871

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory

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="ShieldIIPs-PT-040B"
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 ShieldIIPs-PT-040B, 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 r221-tajo-159033501800045"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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