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

About the Execution of ITS-LoLa for ShieldPPPs-PT-005B

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15785.250 3600000.00 3622394.00 4107.90 TFFTFF??FT?TFTFF 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.r211-tajo-159033477500467.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 itslola
Input is ShieldPPPs-PT-005B, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r211-tajo-159033477500467
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 264K
-rw-r--r-- 1 mcc users 3.5K May 14 01:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 18:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 18:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K May 13 13:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 13 13:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 08:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K 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 86K 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 ShieldPPPs-PT-005B-CTLCardinality-00
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-01
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-02
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-03
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-04
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-05
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-06
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-07
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-08
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-09
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-10
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-11
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-12
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-13
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-14
FORMULA_NAME ShieldPPPs-PT-005B-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591308074599

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 22:01:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 22:01:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 22:01:16] [INFO ] Load time of PNML (sax parser for PT used): 53 ms
[2020-06-04 22:01:16] [INFO ] Transformed 343 places.
[2020-06-04 22:01:16] [INFO ] Transformed 318 transitions.
[2020-06-04 22:01:16] [INFO ] Found NUPN structural information;
[2020-06-04 22:01:16] [INFO ] Parsed PT model containing 343 places and 318 transitions in 89 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 21 ms.
Finished random walk after 832 steps, including 0 resets, run visited all 17 properties in 11 ms. (steps per millisecond=75 )
[2020-06-04 22:01:16] [INFO ] Initial state reduction rules for CTL removed 7 formulas.
[2020-06-04 22:01:16] [INFO ] Flatten gal took : 48 ms
[2020-06-04 22:01:16] [INFO ] Initial state reduction rules for CTL removed 7 formulas.
[2020-06-04 22:01:16] [INFO ] Flatten gal took : 41 ms
FORMULA ShieldPPPs-PT-005B-CTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-005B-CTLCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-005B-CTLCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-005B-CTLCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-005B-CTLCardinality-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-005B-CTLCardinality-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-005B-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 22:01:16] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2020-06-04 22:01:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 5 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ ShieldPPPs-PT-005B @ 3570 seconds

FORMULA ShieldPPPs-PT-005B-CTLCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ShieldPPPs-PT-005B-CTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ShieldPPPs-PT-005B-CTLCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ShieldPPPs-PT-005B-CTLCardinality-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ShieldPPPs-PT-005B-CTLCardinality-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ShieldPPPs-PT-005B-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ShieldPPPs-PT-005B-CTLCardinality-07 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ ShieldPPPs-PT-005B

{
"exit":
{
"memory": 1598600,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 0,
"G": 1,
"U": 1,
"X": 0,
"aconj": 9,
"adisj": 4,
"aneg": 0,
"comp": 9,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 9,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 9,
"visible_transitions": 0
},
"processed": "E(AG((((p69 <= 0)) OR ((1 <= p53)))) U ((1 <= p143) AND (((p211 <= 0)) OR ((1 <= p18))) AND (((p24 <= 0)) OR ((1 <= p93))) AND (((p280 <= 0)) OR ((1 <= p257)))))",
"processed_size": 165,
"rewrites": 15
},
"net":
{
"conflict_clusters": 243,
"singleton_clusters": 0
},
"result":
{
"preliminary_value": "yes no yes unknown unknown yes unknown yes yes "
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
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: 661/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 10976
lola: finding significant places
lola: 343 places, 318 transitions, 287 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 CTLCardinality.xml
lola: LP says that atomic proposition is always true: (p118 <= 1)
lola: LP says that atomic proposition is always true: (p136 <= 1)
lola: LP says that atomic proposition is always true: (p261 <= 1)
lola: LP says that atomic proposition is always true: (p323 <= 1)
lola: LP says that atomic proposition is always true: (p6 <= 1)
lola: LP says that atomic proposition is always true: (p188 <= 1)
lola: LP says that atomic proposition is always true: (p47 <= 1)
lola: LP says that atomic proposition is always true: (p53 <= 1)
lola: LP says that atomic proposition is always true: (p143 <= 1)
lola: LP says that atomic proposition is always true: (p18 <= 1)
lola: LP says that atomic proposition is always true: (p93 <= 1)
lola: LP says that atomic proposition is always true: (p257 <= 1)
lola: LP says that atomic proposition is always true: (p97 <= 1)
lola: LP says that atomic proposition is always true: (p33 <= 1)
lola: LP says that atomic proposition is always true: (p294 <= 1)
lola: LP says that atomic proposition is always true: (p291 <= 1)
lola: LP says that atomic proposition is always true: (p285 <= 1)
lola: LP says that atomic proposition is always true: (p212 <= 1)
lola: LP says that atomic proposition is always true: (p298 <= 1)
lola: LP says that atomic proposition is always true: (p99 <= 1)
lola: E (F (((1 <= p118) AND (((p285 <= 0)) OR ((1 <= p136)))))) : A (G (E (X ((((p253 <= 0)) OR ((1 <= p261))))))) : ((E (G ((((p153 <= 0)) OR ((1 <= p323))))) AND (((p241 <= 0)) OR ((1 <= p6)))) AND (((p57 <= 0)) OR ((1 <= p188)) OR (((1 <= p121)) AND ((p47 <= 0))))) : E ((A (G ((((p69 <= 0)) OR ((1 <= p53))))) U ((1 <= p143) AND (((p211 <= 0)) OR ((1 <= p18))) AND (((p24 <= 0)) OR ((1 <= p93))) AND (((p280 <= 0)) OR ((1 <= p257)))))) : E (G (A (F ((((p87 <= 0)) OR ((1 <= p97))))))) : E (G (E (F ((((p93 <= 0)) OR ((1 <= p33))))))) : (((E (X ((1 <= 0))) OR NOT(E (G ((((p340 <= 0)) OR ((1 <= p294))))))) OR E (G ((((p31 <= 0)) OR ((1 <= p291)))))) OR (((1 <= p57)) AND ((p285 <= 0)) AND (((p78 <= 0)) OR ((1 <= p212))))) : E (F ((A (X ((1 <= 0))) OR (((1 <= p190)) AND ((p298 <= 0)) AND (((p144 <= 0)) OR ((1 <= p99))))))) : E (F (A (X ((1 <= 0)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:133
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:548
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((((p253 <= 0)) OR ((1 <= p261)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(EX((((p253 <= 0)) OR ((1 <= p261)))))
lola: processed formula length: 41
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 237 markings, 236 edges
lola: ========================================
lola: subprocess 1 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: search (--findpath=off,--siphontrap=off)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The net has deadlock(s).
lola: 5570 markings, 5601 edges
lola: ========================================
lola: subprocess 2 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p118) AND (((p285 <= 0)) OR ((1 <= p136))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p118) AND (((p285 <= 0)) OR ((1 <= p136))))))
lola: processed formula length: 59
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p118) AND (((p285 <= 0)) OR ((1 <= p136))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 95 markings, 94 edges
lola: ========================================
lola: subprocess 3 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((((p87 <= 0)) OR ((1 <= p97)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(AF((((p87 <= 0)) OR ((1 <= p97)))))
lola: processed formula length: 39
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 921270 markings, 2191704 edges, 184254 markings/sec, 0 secs
lola: 1842546 markings, 4463029 edges, 184255 markings/sec, 5 secs
lola: 2725950 markings, 6769633 edges, 176681 markings/sec, 10 secs
lola: 3607989 markings, 9102181 edges, 176408 markings/sec, 15 secs
lola: 4419783 markings, 11205161 edges, 162359 markings/sec, 20 secs
lola: 5193452 markings, 13230705 edges, 154734 markings/sec, 25 secs
lola: 5941875 markings, 15189054 edges, 149685 markings/sec, 30 secs
lola: 6632849 markings, 17031746 edges, 138195 markings/sec, 35 secs
lola: 7374973 markings, 18936750 edges, 148425 markings/sec, 40 secs
lola: 8218034 markings, 21142909 edges, 168612 markings/sec, 45 secs
lola: 9069886 markings, 23398192 edges, 170370 markings/sec, 50 secs
lola: 9975484 markings, 25680538 edges, 181120 markings/sec, 55 secs
lola: 10800982 markings, 27863213 edges, 165100 markings/sec, 60 secs
lola: 11605860 markings, 30055312 edges, 160976 markings/sec, 65 secs
lola: 12474614 markings, 32347426 edges, 173751 markings/sec, 70 secs
lola: 13307202 markings, 34616567 edges, 166518 markings/sec, 75 secs
lola: 14089670 markings, 36854130 edges, 156494 markings/sec, 80 secs
lola: 14858139 markings, 39116442 edges, 153694 markings/sec, 85 secs
lola: 15612522 markings, 41360482 edges, 150877 markings/sec, 90 secs
lola: 16372060 markings, 43570226 edges, 151908 markings/sec, 95 secs
lola: 17051186 markings, 45612160 edges, 135825 markings/sec, 100 secs
lola: 17785543 markings, 47741522 edges, 146871 markings/sec, 105 secs
lola: 18495005 markings, 49849749 edges, 141892 markings/sec, 110 secs
lola: 19196064 markings, 51960174 edges, 140212 markings/sec, 115 secs
lola: 19940151 markings, 54074156 edges, 148817 markings/sec, 120 secs
lola: 20574242 markings, 55971184 edges, 126818 markings/sec, 125 secs
lola: 21305966 markings, 58147642 edges, 146345 markings/sec, 130 secs
lola: 22032310 markings, 60236800 edges, 145269 markings/sec, 135 secs
lola: 22690166 markings, 62168947 edges, 131571 markings/sec, 140 secs
lola: 23337276 markings, 64137631 edges, 129422 markings/sec, 145 secs
lola: 24039232 markings, 66242379 edges, 140391 markings/sec, 150 secs
lola: 24743365 markings, 68217728 edges, 140827 markings/sec, 155 secs
lola: 25534860 markings, 70371061 edges, 158299 markings/sec, 160 secs
lola: 26211873 markings, 72303773 edges, 135403 markings/sec, 165 secs
lola: 26906476 markings, 74354448 edges, 138921 markings/sec, 170 secs
lola: 27638095 markings, 76546167 edges, 146324 markings/sec, 175 secs
lola: 28377983 markings, 78680178 edges, 147978 markings/sec, 180 secs
lola: 28974214 markings, 80470485 edges, 119246 markings/sec, 185 secs
lola: 29644598 markings, 82419532 edges, 134077 markings/sec, 190 secs
lola: 30355946 markings, 84532270 edges, 142270 markings/sec, 195 secs
lola: 31054794 markings, 86636156 edges, 139770 markings/sec, 200 secs
lola: 31725395 markings, 88564091 edges, 134120 markings/sec, 205 secs
lola: 32369373 markings, 90460404 edges, 128796 markings/sec, 210 secs
lola: 33068946 markings, 92541091 edges, 139915 markings/sec, 215 secs
lola: 33798035 markings, 94688002 edges, 145818 markings/sec, 220 secs
lola: 34464578 markings, 96577657 edges, 133309 markings/sec, 225 secs
lola: 35066173 markings, 98385016 edges, 120319 markings/sec, 230 secs
lola: 35689342 markings, 100311293 edges, 124634 markings/sec, 235 secs
lola: 36334024 markings, 102220470 edges, 128936 markings/sec, 240 secs
lola: 36949916 markings, 104064420 edges, 123178 markings/sec, 245 secs
lola: 37652166 markings, 106215016 edges, 140450 markings/sec, 250 secs
lola: 38319428 markings, 108341458 edges, 133452 markings/sec, 255 secs
lola: 38968686 markings, 110479171 edges, 129852 markings/sec, 260 secs
lola: 39610701 markings, 112594400 edges, 128403 markings/sec, 265 secs
lola: 40241937 markings, 114682254 edges, 126247 markings/sec, 270 secs
lola: 40882795 markings, 116759324 edges, 128172 markings/sec, 275 secs
lola: 41514384 markings, 118869796 edges, 126318 markings/sec, 280 secs
lola: 42170794 markings, 120979494 edges, 131282 markings/sec, 285 secs
lola: 42745741 markings, 122871060 edges, 114989 markings/sec, 290 secs
lola: 43315402 markings, 124808025 edges, 113932 markings/sec, 295 secs
lola: 43965072 markings, 126847159 edges, 129934 markings/sec, 300 secs
lola: 44555475 markings, 128806216 edges, 118081 markings/sec, 305 secs
lola: 45181389 markings, 130881351 edges, 125183 markings/sec, 310 secs
lola: 45835803 markings, 133025340 edges, 130883 markings/sec, 315 secs
lola: 46498373 markings, 135126465 edges, 132514 markings/sec, 320 secs
lola: 47082593 markings, 137066861 edges, 116844 markings/sec, 325 secs
lola: 47636619 markings, 138942379 edges, 110805 markings/sec, 330 secs
lola: 48234021 markings, 140928281 edges, 119480 markings/sec, 335 secs
lola: 48955528 markings, 143098674 edges, 144301 markings/sec, 340 secs
lola: 49771818 markings, 145317829 edges, 163258 markings/sec, 345 secs
lola: 50526144 markings, 147475797 edges, 150865 markings/sec, 350 secs
lola: 51269060 markings, 149663707 edges, 148583 markings/sec, 355 secs
lola: 51997324 markings, 151833824 edges, 145653 markings/sec, 360 secs
lola: 52723400 markings, 153935729 edges, 145215 markings/sec, 365 secs
lola: 53428937 markings, 156062929 edges, 141107 markings/sec, 370 secs
lola: 54175223 markings, 158229758 edges, 149257 markings/sec, 375 secs
lola: 54899169 markings, 160369892 edges, 144789 markings/sec, 380 secs
lola: 55585285 markings, 162454586 edges, 137223 markings/sec, 385 secs
lola: 56357026 markings, 164643828 edges, 154348 markings/sec, 390 secs
lola: 57090215 markings, 166826224 edges, 146638 markings/sec, 395 secs
lola: 57832514 markings, 169038549 edges, 148460 markings/sec, 400 secs
lola: 58609449 markings, 171258433 edges, 155387 markings/sec, 405 secs
lola: 59311744 markings, 173349781 edges, 140459 markings/sec, 410 secs
lola: 59984445 markings, 175422636 edges, 134540 markings/sec, 415 secs
lola: 60732097 markings, 177637327 edges, 149530 markings/sec, 420 secs
lola: 61470629 markings, 179858057 edges, 147706 markings/sec, 425 secs
lola: 62158955 markings, 182008735 edges, 137665 markings/sec, 430 secs
lola: 62774794 markings, 183993941 edges, 123168 markings/sec, 435 secs
lola: 63404515 markings, 186044999 edges, 125944 markings/sec, 440 secs
lola: 64055561 markings, 188209002 edges, 130209 markings/sec, 445 secs
lola: 64715784 markings, 190348758 edges, 132045 markings/sec, 450 secs
lola: 65366408 markings, 192502114 edges, 130125 markings/sec, 455 secs
lola: 66023525 markings, 194648550 edges, 131423 markings/sec, 460 secs
lola: 66672832 markings, 196780923 edges, 129861 markings/sec, 465 secs
lola: 67301162 markings, 198873750 edges, 125666 markings/sec, 470 secs
lola: 67958323 markings, 201027192 edges, 131432 markings/sec, 475 secs
lola: 68552710 markings, 202918707 edges, 118877 markings/sec, 480 secs
lola: 69138473 markings, 204869594 edges, 117153 markings/sec, 485 secs
lola: 69769278 markings, 206978130 edges, 126161 markings/sec, 490 secs
lola: 70468184 markings, 209210613 edges, 139781 markings/sec, 495 secs
lola: 71110833 markings, 211287022 edges, 128530 markings/sec, 500 secs
lola: 71725640 markings, 213336660 edges, 122961 markings/sec, 505 secs
lola: 72336238 markings, 215424846 edges, 122120 markings/sec, 510 secs
lola: 73044130 markings, 217631051 edges, 141578 markings/sec, 515 secs
lola: 73874794 markings, 219918563 edges, 166133 markings/sec, 520 secs
lola: 74684162 markings, 222183364 edges, 161874 markings/sec, 525 secs
lola: 75455051 markings, 224462392 edges, 154178 markings/sec, 530 secs
lola: 76216092 markings, 226726502 edges, 152208 markings/sec, 535 secs
lola: 76987337 markings, 228957628 edges, 154249 markings/sec, 540 secs
lola: 77727991 markings, 231186001 edges, 148131 markings/sec, 545 secs
lola: 78495435 markings, 233414221 edges, 153489 markings/sec, 550 secs
lola: 79236637 markings, 235615196 edges, 148240 markings/sec, 555 secs
lola: 79908429 markings, 237645370 edges, 134358 markings/sec, 560 secs
lola: 80663924 markings, 239789495 edges, 151099 markings/sec, 565 secs
lola: 81409233 markings, 242006791 edges, 149062 markings/sec, 570 secs
lola: 82163476 markings, 244253504 edges, 150849 markings/sec, 575 secs
lola: 82947171 markings, 246484914 edges, 156739 markings/sec, 580 secs
lola: 83659314 markings, 248616917 edges, 142429 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 6293960 KB
lola: time consumption: 598 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (G ((((p69 <= 0)) OR ((1 <= p53))))) U ((1 <= p143) AND (((p211 <= 0)) OR ((1 <= p18))) AND (((p24 <= 0)) OR ((1 <= p93))) AND (((p280 <= 0)) OR ((1 <= p257))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(AG((((p69 <= 0)) OR ((1 <= p53)))) U ((1 <= p143) AND (((p211 <= 0)) OR ((1 <= p18))) AND (((p24 <= 0)) OR ((1 <= p93))) AND (((p280 <= 0)) OR ((1 <= p257)))))
lola: processed formula length: 165
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 367393 markings, 2298883 edges, 73479 markings/sec, 0 secs
lola: 668017 markings, 4390949 edges, 60125 markings/sec, 5 secs
lola: 970697 markings, 6570530 edges, 60536 markings/sec, 10 secs
lola: 1276616 markings, 8798802 edges, 61184 markings/sec, 15 secs
lola: 1558618 markings, 10909437 edges, 56400 markings/sec, 20 secs
lola: 1844997 markings, 13083795 edges, 57276 markings/sec, 25 secs
lola: 2103916 markings, 15121358 edges, 51784 markings/sec, 30 secs
lola: 2353417 markings, 17181249 edges, 49900 markings/sec, 35 secs
lola: 2621759 markings, 19369602 edges, 53668 markings/sec, 40 secs
lola: 2879354 markings, 21534133 edges, 51519 markings/sec, 45 secs
lola: 3137440 markings, 23609269 edges, 51617 markings/sec, 50 secs
lola: 3416370 markings, 25732501 edges, 55786 markings/sec, 55 secs
lola: 3663366 markings, 27706682 edges, 49399 markings/sec, 60 secs
lola: 3914989 markings, 29758411 edges, 50325 markings/sec, 65 secs
lola: 4166545 markings, 31865898 edges, 50311 markings/sec, 70 secs
lola: 4415123 markings, 33952164 edges, 49716 markings/sec, 75 secs
lola: 4673053 markings, 35973913 edges, 51586 markings/sec, 80 secs
lola: 4940454 markings, 38021283 edges, 53480 markings/sec, 85 secs
lola: 5181905 markings, 39952128 edges, 48290 markings/sec, 90 secs
lola: 5423989 markings, 41937749 edges, 48417 markings/sec, 95 secs
lola: 5668812 markings, 43986103 edges, 48965 markings/sec, 100 secs
lola: 5912128 markings, 46021725 edges, 48663 markings/sec, 105 secs
lola: 6203174 markings, 48132736 edges, 58209 markings/sec, 110 secs
lola: 6535106 markings, 50346139 edges, 66386 markings/sec, 115 secs
lola: 6841253 markings, 52546731 edges, 61229 markings/sec, 120 secs
lola: 7148579 markings, 54772604 edges, 61465 markings/sec, 125 secs
lola: 7432385 markings, 56890999 edges, 56761 markings/sec, 130 secs
lola: 7685763 markings, 58774100 edges, 50676 markings/sec, 135 secs
lola: 7940081 markings, 60719135 edges, 50864 markings/sec, 140 secs
lola: 8196669 markings, 62760283 edges, 51318 markings/sec, 145 secs
lola: 8452151 markings, 64865577 edges, 51096 markings/sec, 150 secs
lola: 8706232 markings, 66998987 edges, 50816 markings/sec, 155 secs
lola: 8945966 markings, 69011108 edges, 47947 markings/sec, 160 secs
lola: 9164132 markings, 70852919 edges, 43633 markings/sec, 165 secs
lola: 9386528 markings, 72781840 edges, 44479 markings/sec, 170 secs
lola: 9601376 markings, 74682837 edges, 42970 markings/sec, 175 secs
lola: 9808018 markings, 76578425 edges, 41328 markings/sec, 180 secs
lola: 10012187 markings, 78474741 edges, 40834 markings/sec, 185 secs
lola: 10233655 markings, 80557020 edges, 44294 markings/sec, 190 secs
lola: 10438637 markings, 82472730 edges, 40996 markings/sec, 195 secs
lola: 10690120 markings, 84408633 edges, 50297 markings/sec, 200 secs
lola: 10995200 markings, 86535155 edges, 61016 markings/sec, 205 secs
lola: 11291091 markings, 88721083 edges, 59178 markings/sec, 210 secs
lola: 11528937 markings, 90571092 edges, 47569 markings/sec, 215 secs
lola: 11766813 markings, 92415473 edges, 47575 markings/sec, 220 secs
lola: 12008389 markings, 94473187 edges, 48315 markings/sec, 225 secs
lola: 12248525 markings, 96498738 edges, 48027 markings/sec, 230 secs
lola: 12506722 markings, 98473840 edges, 51639 markings/sec, 235 secs
lola: 12745498 markings, 100460527 edges, 47755 markings/sec, 240 secs
lola: 12982143 markings, 102429524 edges, 47329 markings/sec, 245 secs
lola: 13219368 markings, 104349461 edges, 47445 markings/sec, 250 secs
lola: 13480945 markings, 106401609 edges, 52315 markings/sec, 255 secs
lola: 13720465 markings, 108433236 edges, 47904 markings/sec, 260 secs
lola: 13974412 markings, 110482586 edges, 50789 markings/sec, 265 secs
lola: 14270147 markings, 112453286 edges, 59147 markings/sec, 270 secs
lola: 14535696 markings, 114444141 edges, 53110 markings/sec, 275 secs
lola: 14805348 markings, 116494059 edges, 53930 markings/sec, 280 secs
lola: 15081715 markings, 118599675 edges, 55273 markings/sec, 285 secs
lola: 15333360 markings, 120734302 edges, 50329 markings/sec, 290 secs
lola: 15578250 markings, 122808679 edges, 48978 markings/sec, 295 secs
lola: 15811729 markings, 124827279 edges, 46696 markings/sec, 300 secs
lola: 16040703 markings, 126885265 edges, 45795 markings/sec, 305 secs
lola: 16246375 markings, 128833293 edges, 41134 markings/sec, 310 secs
lola: 16455082 markings, 130776297 edges, 41741 markings/sec, 315 secs
lola: 16733989 markings, 132869288 edges, 55781 markings/sec, 320 secs
lola: 17021345 markings, 135118806 edges, 57471 markings/sec, 325 secs
lola: 17278893 markings, 137250875 edges, 51510 markings/sec, 330 secs
lola: 17530222 markings, 139428713 edges, 50266 markings/sec, 335 secs
lola: 17769124 markings, 141537412 edges, 47780 markings/sec, 340 secs
lola: 18013710 markings, 143612305 edges, 48917 markings/sec, 345 secs
lola: 18240555 markings, 145577403 edges, 45369 markings/sec, 350 secs
lola: 18466582 markings, 147558315 edges, 45205 markings/sec, 355 secs
lola: 18705263 markings, 149610863 edges, 47736 markings/sec, 360 secs
lola: 18940141 markings, 151671930 edges, 46976 markings/sec, 365 secs
lola: 19174630 markings, 153576001 edges, 46898 markings/sec, 370 secs
lola: 19434676 markings, 155574962 edges, 52009 markings/sec, 375 secs
lola: 19698927 markings, 157664329 edges, 52850 markings/sec, 380 secs
lola: 19928599 markings, 159566727 edges, 45934 markings/sec, 385 secs
lola: 20157818 markings, 161565893 edges, 45844 markings/sec, 390 secs
lola: 20382270 markings, 163580362 edges, 44890 markings/sec, 395 secs
lola: 20595585 markings, 165570088 edges, 42663 markings/sec, 400 secs
lola: 20809061 markings, 167640673 edges, 42695 markings/sec, 405 secs
lola: 21006175 markings, 169610034 edges, 39423 markings/sec, 410 secs
lola: 21289136 markings, 171782464 edges, 56592 markings/sec, 415 secs
lola: 21569950 markings, 173949515 edges, 56163 markings/sec, 420 secs
lola: 21834143 markings, 176098515 edges, 52839 markings/sec, 425 secs
lola: 22095310 markings, 178265769 edges, 52233 markings/sec, 430 secs
lola: 22352449 markings, 180394648 edges, 51428 markings/sec, 435 secs
lola: 22593991 markings, 182452061 edges, 48308 markings/sec, 440 secs
lola: 22836709 markings, 184540346 edges, 48544 markings/sec, 445 secs
lola: 23066257 markings, 186550935 edges, 45910 markings/sec, 450 secs
lola: 23291794 markings, 188588272 edges, 45107 markings/sec, 455 secs
lola: 23514197 markings, 190679595 edges, 44481 markings/sec, 460 secs
lola: 23740604 markings, 192795141 edges, 45281 markings/sec, 465 secs
lola: 23963609 markings, 194883454 edges, 44601 markings/sec, 470 secs
lola: 24192585 markings, 196892133 edges, 45795 markings/sec, 475 secs
lola: 24427390 markings, 198926105 edges, 46961 markings/sec, 480 secs
lola: 24648233 markings, 200898689 edges, 44169 markings/sec, 485 secs
lola: 24864422 markings, 202888270 edges, 43238 markings/sec, 490 secs
lola: 25086992 markings, 204959284 edges, 44514 markings/sec, 495 secs
lola: 25310057 markings, 207018270 edges, 44613 markings/sec, 500 secs
lola: 25519503 markings, 209038592 edges, 41889 markings/sec, 505 secs
lola: 25786773 markings, 211137166 edges, 53454 markings/sec, 510 secs
lola: 26050229 markings, 213282526 edges, 52691 markings/sec, 515 secs
lola: 26277040 markings, 215159624 edges, 45362 markings/sec, 520 secs
lola: 26494681 markings, 217075662 edges, 43528 markings/sec, 525 secs
lola: 26733354 markings, 219139609 edges, 47735 markings/sec, 530 secs
lola: 26937947 markings, 221095356 edges, 40919 markings/sec, 535 secs
lola: 27144594 markings, 223003178 edges, 41329 markings/sec, 540 secs
lola: 27365627 markings, 225034263 edges, 44207 markings/sec, 545 secs
lola: 27598906 markings, 227060010 edges, 46656 markings/sec, 550 secs
lola: 27791191 markings, 228917001 edges, 38457 markings/sec, 555 secs
lola: 27989271 markings, 230732963 edges, 39616 markings/sec, 560 secs
lola: 28226872 markings, 232840753 edges, 47520 markings/sec, 565 secs
lola: 28476728 markings, 235002941 edges, 49971 markings/sec, 570 secs
lola: 28716075 markings, 237153508 edges, 47869 markings/sec, 575 secs
lola: 28939719 markings, 239233846 edges, 44729 markings/sec, 580 secs
lola: 29160818 markings, 241376816 edges, 44220 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 2494528 KB
lola: time consumption: 1192 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((((p153 <= 0)) OR ((1 <= p323))))) AND ((((p241 <= 0)) OR ((1 <= p6))) AND (((p57 <= 0)) OR ((1 <= p188)) OR (((1 <= p121)) AND ((p47 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((p241 <= 0)) OR ((1 <= p6))) AND (((p57 <= 0)) OR ((1 <= p188)) OR (((1 <= p121)) AND ((p47 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:793
lola: processed formula: ((((p241 <= 0)) OR ((1 <= p6))) AND (((p57 <= 0)) OR ((1 <= p188)) OR (((1 <= p121)) AND ((p47 <= 0)))))
lola: processed formula length: 107
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 6 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 6 will run for 792 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((((p153 <= 0)) OR ((1 <= p323)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((((p153 <= 0)) OR ((1 <= p323)))))
lola: processed formula length: 41
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p153)) AND ((p323 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-6-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 1750 markings, 1749 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 6 will run for 792 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F ((((p93 <= 0)) OR ((1 <= p33)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:593
lola: rewrite Frontend/Parser/formula_rewrite.k:628
lola: rewrite Frontend/Parser/formula_rewrite.k:731
lola: processed formula: (((p93 <= 0)) OR ((1 <= p33)))
lola: processed formula length: 31
lola: 16 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 0
lola: state equation task get result unparse finished++ id 1
lola: formula 0: (((1 <= p93)) AND ((p33 <= 0)))
lola: state equation task get result unparse finished id 0
lola: formula 1: (((p93 <= 0)) OR ((1 <= p33)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-6-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: Reachability of the predicate is possibly preserved.
lola: 1919 markings, 1919 edges
lola: ========================================
lola: subprocess 7 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (DEADLOCK)) OR E (F ((((1 <= p190)) AND ((p298 <= 0)) AND (((p144 <= 0)) OR ((1 <= p99)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: search (--findpath=off,--siphontrap=off)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The net has deadlock(s).
lola: 5570 markings, 5601 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 8 will run for 2378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((((1 <= p340)) AND ((p294 <= 0))))) OR (E (G ((((p31 <= 0)) OR ((1 <= p291))))) OR (((1 <= p57)) AND ((p285 <= 0)) AND (((p78 <= 0)) OR ((1 <= p212))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 2378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p57)) AND ((p285 <= 0)) AND (((p78 <= 0)) OR ((1 <= p212))))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((1 <= p57)) AND ((p285 <= 0)) AND (((p78 <= 0)) OR ((1 <= p212))))
lola: processed formula length: 69
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 4 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: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((1 <= p340)) AND ((p294 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (((p340 <= 0)) OR ((1 <= p294)))
lola: processed formula length: 33
lola: 16 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p340)) AND ((p294 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: local time limit reached - aborting
lola:
preliminary result: yes no yes unknown unknown yes unknown yes yes
lola: memory consumption: 39344 KB
lola: time consumption: 1193 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((((p87 <= 0)) OR ((1 <= p97)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(AF((((p87 <= 0)) OR ((1 <= p97)))))
lola: processed formula length: 39
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 923143 markings, 2196456 edges, 184629 markings/sec, 0 secs
lola: 1865269 markings, 4519424 edges, 188425 markings/sec, 5 secs
lola: 2760178 markings, 6862588 edges, 178982 markings/sec, 10 secs
lola: 3536426 markings, 8910792 edges, 155250 markings/sec, 15 secs
lola: 4356412 markings, 11030395 edges, 163997 markings/sec, 20 secs
lola: 5227443 markings, 13321369 edges, 174206 markings/sec, 25 secs
lola: 6101662 markings, 15610751 edges, 174844 markings/sec, 30 secs
lola: 6940566 markings, 17865080 edges, 167781 markings/sec, 35 secs
lola: 7850459 markings, 20157108 edges, 181979 markings/sec, 40 secs
lola: 8710677 markings, 22437322 edges, 172044 markings/sec, 45 secs
lola: 9598934 markings, 24752672 edges, 177651 markings/sec, 50 secs
lola: 10477526 markings, 26998228 edges, 175718 markings/sec, 55 secs
lola: 11254764 markings, 29106037 edges, 155448 markings/sec, 60 secs
lola: 12036357 markings, 31188592 edges, 156319 markings/sec, 65 secs
lola: 12839756 markings, 33328490 edges, 160680 markings/sec, 70 secs
lola: 13646204 markings, 35598977 edges, 161290 markings/sec, 75 secs
lola: 14436410 markings, 37861758 edges, 158041 markings/sec, 80 secs
lola: 15199035 markings, 40130330 edges, 152525 markings/sec, 85 secs
lola: 15957940 markings, 42383736 edges, 151781 markings/sec, 90 secs
lola: 16718890 markings, 44613312 edges, 152190 markings/sec, 95 secs
lola: 17481907 markings, 46845120 edges, 152603 markings/sec, 100 secs
lola: 18233098 markings, 49078338 edges, 150238 markings/sec, 105 secs
lola: 18957329 markings, 51261675 edges, 144846 markings/sec, 110 secs
lola: 19745102 markings, 53500189 edges, 157555 markings/sec, 115 secs
lola: 20487984 markings, 55729519 edges, 148576 markings/sec, 120 secs
lola: 21197325 markings, 57845744 edges, 141868 markings/sec, 125 secs
lola: 21911920 markings, 59898723 edges, 142919 markings/sec, 130 secs
lola: 22604104 markings, 61907150 edges, 138437 markings/sec, 135 secs
lola: 23301859 markings, 64024890 edges, 139551 markings/sec, 140 secs
lola: 24033028 markings, 66223875 edges, 146234 markings/sec, 145 secs
lola: 24842081 markings, 68464066 edges, 161811 markings/sec, 150 secs
lola: 25595150 markings, 70544474 edges, 150614 markings/sec, 155 secs
lola: 26335336 markings, 72683365 edges, 148037 markings/sec, 160 secs
lola: 27096713 markings, 74920836 edges, 152275 markings/sec, 165 secs
lola: 27763245 markings, 76900902 edges, 133306 markings/sec, 170 secs
lola: 28460376 markings, 78920611 edges, 139426 markings/sec, 175 secs
lola: 29183930 markings, 81099433 edges, 144711 markings/sec, 180 secs
lola: 29894024 markings, 83159314 edges, 142019 markings/sec, 185 secs
lola: 30599918 markings, 85245881 edges, 141179 markings/sec, 190 secs
lola: 31265988 markings, 87275799 edges, 133214 markings/sec, 195 secs
lola: 32000332 markings, 89348012 edges, 146869 markings/sec, 200 secs
lola: 32719167 markings, 91495384 edges, 143767 markings/sec, 205 secs
lola: 33465634 markings, 93714728 edges, 149293 markings/sec, 210 secs
lola: 34252567 markings, 95966525 edges, 157387 markings/sec, 215 secs
lola: 34981789 markings, 98133708 edges, 145844 markings/sec, 220 secs
lola: 35674825 markings, 100264825 edges, 138607 markings/sec, 225 secs
lola: 36431963 markings, 102510632 edges, 151428 markings/sec, 230 secs
lola: 37176547 markings, 104750840 edges, 148917 markings/sec, 235 secs
lola: 37883282 markings, 106959781 edges, 141347 markings/sec, 240 secs
lola: 38572077 markings, 109175558 edges, 137759 markings/sec, 245 secs
lola: 39243228 markings, 111381543 edges, 134230 markings/sec, 250 secs
lola: 39910334 markings, 113584875 edges, 133421 markings/sec, 255 secs
lola: 40580035 markings, 115745417 edges, 133940 markings/sec, 260 secs
lola: 41232510 markings, 117935009 edges, 130495 markings/sec, 265 secs
lola: 41910285 markings, 120116653 edges, 135555 markings/sec, 270 secs
lola: 42566759 markings, 122295545 edges, 131295 markings/sec, 275 secs
lola: 43200549 markings, 124412430 edges, 126758 markings/sec, 280 secs
lola: 43880460 markings, 126595634 edges, 135982 markings/sec, 285 secs
lola: 44544957 markings, 128773192 edges, 132899 markings/sec, 290 secs
lola: 45200156 markings, 130944507 edges, 131040 markings/sec, 295 secs
lola: 45882859 markings, 133181419 edges, 136541 markings/sec, 300 secs
lola: 46566087 markings, 135345595 edges, 136646 markings/sec, 305 secs
lola: 47201150 markings, 137464319 edges, 127013 markings/sec, 310 secs
lola: 47808137 markings, 139535804 edges, 121397 markings/sec, 315 secs
lola: 48472975 markings, 141733480 edges, 132968 markings/sec, 320 secs
lola: 49301051 markings, 144024788 edges, 165615 markings/sec, 325 secs
lola: 50110833 markings, 146303927 edges, 161956 markings/sec, 330 secs
lola: 50911856 markings, 148601071 edges, 160205 markings/sec, 335 secs
lola: 51679409 markings, 150885270 edges, 153511 markings/sec, 340 secs
lola: 52443215 markings, 153146203 edges, 152761 markings/sec, 345 secs
lola: 53204918 markings, 155389616 edges, 152341 markings/sec, 350 secs
lola: 53973408 markings, 157629255 edges, 153698 markings/sec, 355 secs
lola: 54724506 markings, 159863317 edges, 150220 markings/sec, 360 secs
lola: 55445581 markings, 162045723 edges, 144215 markings/sec, 365 secs
lola: 56239438 markings, 164291721 edges, 158771 markings/sec, 370 secs
lola: 56981817 markings, 166517424 edges, 148476 markings/sec, 375 secs
lola: 57735462 markings, 168754409 edges, 150729 markings/sec, 380 secs
lola: 58523325 markings, 171012325 edges, 157573 markings/sec, 385 secs
lola: 59259075 markings, 173190829 edges, 147150 markings/sec, 390 secs
lola: 59955131 markings, 175327427 edges, 139211 markings/sec, 395 secs
lola: 60710705 markings, 177577108 edges, 151115 markings/sec, 400 secs
lola: 61458895 markings, 179821098 edges, 149638 markings/sec, 405 secs
lola: 62166267 markings, 182031255 edges, 141474 markings/sec, 410 secs
lola: 62856226 markings, 184251939 edges, 137992 markings/sec, 415 secs
lola: 63527162 markings, 186455003 edges, 134187 markings/sec, 420 secs
lola: 64196253 markings, 188664763 edges, 133818 markings/sec, 425 secs
lola: 64870032 markings, 190838757 edges, 134756 markings/sec, 430 secs
lola: 65522292 markings, 193025593 edges, 130452 markings/sec, 435 secs
lola: 66199474 markings, 195208261 edges, 135436 markings/sec, 440 secs
lola: 66853699 markings, 197378535 edges, 130845 markings/sec, 445 secs
lola: 67416818 markings, 199264079 edges, 112624 markings/sec, 450 secs
lola: 68054417 markings, 201323906 edges, 127520 markings/sec, 455 secs
lola: 68724898 markings, 203496312 edges, 134096 markings/sec, 460 secs
lola: 69377762 markings, 205659171 edges, 130573 markings/sec, 465 secs
lola: 70045863 markings, 207866629 edges, 133620 markings/sec, 470 secs
lola: 70732636 markings, 210048402 edges, 137355 markings/sec, 475 secs
lola: 71369587 markings, 212150747 edges, 127390 markings/sec, 480 secs
lola: 71980259 markings, 214220718 edges, 122134 markings/sec, 485 secs
lola: 72633321 markings, 216390565 edges, 130612 markings/sec, 490 secs
lola: 73424640 markings, 218669182 edges, 158264 markings/sec, 495 secs
lola: 74246537 markings, 220944953 edges, 164379 markings/sec, 500 secs
lola: 75035485 markings, 223219194 edges, 157790 markings/sec, 505 secs
lola: 75804872 markings, 225500327 edges, 153877 markings/sec, 510 secs
lola: 76570252 markings, 227773332 edges, 153076 markings/sec, 515 secs
lola: 77333742 markings, 229998154 edges, 152698 markings/sec, 520 secs
lola: 78091231 markings, 232232939 edges, 151498 markings/sec, 525 secs
lola: 78847791 markings, 234463688 edges, 151312 markings/sec, 530 secs
lola: 79572487 markings, 236642644 edges, 144939 markings/sec, 535 secs
lola: 80347840 markings, 238875897 edges, 155071 markings/sec, 540 secs
lola: 81101001 markings, 241109678 edges, 150632 markings/sec, 545 secs
lola: 81845323 markings, 243332475 edges, 148864 markings/sec, 550 secs
lola: 82639392 markings, 245620102 edges, 158814 markings/sec, 555 secs
lola: 83375606 markings, 247765357 edges, 147243 markings/sec, 560 secs
lola: 84072734 markings, 249883062 edges, 139426 markings/sec, 565 secs
lola: 84808778 markings, 252088404 edges, 147209 markings/sec, 570 secs
lola: 85642107 markings, 254378508 edges, 166666 markings/sec, 575 secs
lola: 86452968 markings, 256645760 edges, 162172 markings/sec, 580 secs
lola: 87244785 markings, 258922184 edges, 158363 markings/sec, 585 secs
lola: 88005794 markings, 261191755 edges, 152202 markings/sec, 590 secs
lola: 88770056 markings, 263469585 edges, 152852 markings/sec, 595 secs
lola: 89536339 markings, 265690851 edges, 153257 markings/sec, 600 secs
lola: 90202743 markings, 267668297 edges, 133281 markings/sec, 605 secs
lola: 90912668 markings, 269745487 edges, 141985 markings/sec, 610 secs
lola: 91637293 markings, 271921648 edges, 144925 markings/sec, 615 secs
lola: 92400313 markings, 274141500 edges, 152604 markings/sec, 620 secs
lola: 93157721 markings, 276360531 edges, 151482 markings/sec, 625 secs
lola: 93900463 markings, 278577728 edges, 148548 markings/sec, 630 secs
lola: 94606352 markings, 280647356 edges, 141178 markings/sec, 635 secs
lola: 95305879 markings, 282640402 edges, 139905 markings/sec, 640 secs
lola: 95979304 markings, 284657796 edges, 134685 markings/sec, 645 secs
lola: 96595907 markings, 286565580 edges, 123321 markings/sec, 650 secs
lola: 97357642 markings, 288746023 edges, 152347 markings/sec, 655 secs
lola: 98099338 markings, 290792043 edges, 148339 markings/sec, 660 secs
lola: 98893299 markings, 292995199 edges, 158792 markings/sec, 665 secs
lola: 99583432 markings, 295021336 edges, 138027 markings/sec, 670 secs
lola: 100293395 markings, 297129933 edges, 141993 markings/sec, 675 secs
lola: 101050264 markings, 299365095 edges, 151374 markings/sec, 680 secs
lola: 101805056 markings, 301592798 edges, 150958 markings/sec, 685 secs
lola: 102494274 markings, 303605286 edges, 137844 markings/sec, 690 secs
lola: 103182562 markings, 305641420 edges, 137658 markings/sec, 695 secs
lola: 103906906 markings, 307816424 edges, 144869 markings/sec, 700 secs
lola: 104679968 markings, 310038278 edges, 154612 markings/sec, 705 secs
lola: 105426150 markings, 312261550 edges, 149236 markings/sec, 710 secs
lola: 106165419 markings, 314472540 edges, 147854 markings/sec, 715 secs
lola: 106955018 markings, 316744360 edges, 157920 markings/sec, 720 secs
lola: 107695245 markings, 318902053 edges, 148045 markings/sec, 725 secs
lola: 108390018 markings, 321013570 edges, 138955 markings/sec, 730 secs
lola: 109127703 markings, 323223487 edges, 147537 markings/sec, 735 secs
lola: 109880443 markings, 325477589 edges, 150548 markings/sec, 740 secs
lola: 110599907 markings, 327700584 edges, 143893 markings/sec, 745 secs
lola: 111287707 markings, 329906227 edges, 137560 markings/sec, 750 secs
lola: 111964885 markings, 332117133 edges, 135436 markings/sec, 755 secs
lola: 112628277 markings, 334321683 edges, 132678 markings/sec, 760 secs
lola: 113294092 markings, 336489468 edges, 133163 markings/sec, 765 secs
lola: 113954335 markings, 338667577 edges, 132049 markings/sec, 770 secs
lola: 114619037 markings, 340838392 edges, 132940 markings/sec, 775 secs
lola: 115277285 markings, 343000031 edges, 131650 markings/sec, 780 secs
lola: 115914395 markings, 345123544 edges, 127422 markings/sec, 785 secs
lola: 116582952 markings, 347302272 edges, 133711 markings/sec, 790 secs
lola: 117250498 markings, 349455419 edges, 133509 markings/sec, 795 secs
lola: 117904946 markings, 351620881 edges, 130890 markings/sec, 800 secs
lola: 118567784 markings, 353812651 edges, 132568 markings/sec, 805 secs
lola: 119250167 markings, 355992857 edges, 136477 markings/sec, 810 secs
lola: 119893431 markings, 358102037 edges, 128653 markings/sec, 815 secs
lola: 120506662 markings, 360170323 edges, 122646 markings/sec, 820 secs
lola: 121150068 markings, 362315569 edges, 128681 markings/sec, 825 secs
lola: 121854730 markings, 364546274 edges, 140932 markings/sec, 830 secs
lola: 122583537 markings, 366779226 edges, 145761 markings/sec, 835 secs
lola: 123282401 markings, 368978641 edges, 139773 markings/sec, 840 secs
lola: 123917896 markings, 371053009 edges, 127099 markings/sec, 845 secs
lola: 124540983 markings, 373116196 edges, 124617 markings/sec, 850 secs
lola: 125188411 markings, 375267213 edges, 129486 markings/sec, 855 secs
lola: 125857227 markings, 377423771 edges, 133763 markings/sec, 860 secs
lola: 126509711 markings, 379608580 edges, 130497 markings/sec, 865 secs
lola: 127187015 markings, 381786271 edges, 135461 markings/sec, 870 secs
lola: 127838747 markings, 383942515 edges, 130346 markings/sec, 875 secs
lola: 128473044 markings, 386076110 edges, 126859 markings/sec, 880 secs
lola: 129143910 markings, 388185801 edges, 134173 markings/sec, 885 secs
lola: 129776083 markings, 390294878 edges, 126435 markings/sec, 890 secs
lola: 130425475 markings, 392453994 edges, 129878 markings/sec, 895 secs
lola: 131118959 markings, 394695840 edges, 138697 markings/sec, 900 secs
lola: 131780595 markings, 396810195 edges, 132327 markings/sec, 905 secs
lola: 132405712 markings, 398890530 edges, 125023 markings/sec, 910 secs
lola: 133013890 markings, 400974127 edges, 121636 markings/sec, 915 secs
lola: 133685521 markings, 403177834 edges, 134326 markings/sec, 920 secs
lola: 134335672 markings, 405362459 edges, 130030 markings/sec, 925 secs
lola: 134962841 markings, 407519388 edges, 125434 markings/sec, 930 secs
lola: 135573284 markings, 409676569 edges, 122089 markings/sec, 935 secs
lola: 136167938 markings, 411830389 edges, 118931 markings/sec, 940 secs
lola: 136764256 markings, 413987378 edges, 119264 markings/sec, 945 secs
lola: 137313517 markings, 415995183 edges, 109852 markings/sec, 950 secs
lola: 137860661 markings, 417933534 edges, 109429 markings/sec, 955 secs
lola: 138408174 markings, 419948368 edges, 109503 markings/sec, 960 secs
lola: 139007426 markings, 422077400 edges, 119850 markings/sec, 965 secs
lola: 139592402 markings, 424208431 edges, 116995 markings/sec, 970 secs
lola: 140158353 markings, 426278848 edges, 113190 markings/sec, 975 secs
lola: 140741178 markings, 428400949 edges, 116565 markings/sec, 980 secs
lola: 141346220 markings, 430518983 edges, 121008 markings/sec, 985 secs
lola: 141922383 markings, 432632459 edges, 115233 markings/sec, 990 secs
lola: 142504233 markings, 434752178 edges, 116370 markings/sec, 995 secs
lola: 143114864 markings, 436950253 edges, 122126 markings/sec, 1000 secs
lola: 143720116 markings, 439063085 edges, 121050 markings/sec, 1005 secs
lola: 144282626 markings, 441125047 edges, 112502 markings/sec, 1010 secs
lola: 144827847 markings, 443152128 edges, 109044 markings/sec, 1015 secs
lola: 145404785 markings, 445264214 edges, 115388 markings/sec, 1020 secs
lola: 146059291 markings, 447472417 edges, 130901 markings/sec, 1025 secs
lola: 146789596 markings, 449717902 edges, 146061 markings/sec, 1030 secs
lola: 147500014 markings, 451937129 edges, 142084 markings/sec, 1035 secs
lola: 148184883 markings, 454175776 edges, 136974 markings/sec, 1040 secs
lola: 148859781 markings, 456405964 edges, 134980 markings/sec, 1045 secs
lola: 149526481 markings, 458626000 edges, 133340 markings/sec, 1050 secs
lola: 150200948 markings, 460800609 edges, 134893 markings/sec, 1055 secs
lola: 150859732 markings, 462998646 edges, 131757 markings/sec, 1060 secs
lola: 151535551 markings, 465177973 edges, 135164 markings/sec, 1065 secs
lola: 152187349 markings, 467330775 edges, 130360 markings/sec, 1070 secs
lola: 152832833 markings, 469488396 edges, 129097 markings/sec, 1075 secs
lola: 153522033 markings, 471672584 edges, 137840 markings/sec, 1080 secs
lola: 154177434 markings, 473852520 edges, 131080 markings/sec, 1085 secs
lola: 154831512 markings, 476032760 edges, 130816 markings/sec, 1090 secs
lola: 155534094 markings, 478281549 edges, 140516 markings/sec, 1095 secs
lola: 156189877 markings, 480400472 edges, 131157 markings/sec, 1100 secs
lola: 156816741 markings, 482500451 edges, 125373 markings/sec, 1105 secs
lola: 157447876 markings, 484629777 edges, 126227 markings/sec, 1110 secs
lola: 158122917 markings, 486853023 edges, 135008 markings/sec, 1115 secs
lola: 158764599 markings, 489036658 edges, 128336 markings/sec, 1120 secs
lola: 159389119 markings, 491201722 edges, 124904 markings/sec, 1125 secs
lola: 160005023 markings, 493385333 edges, 123181 markings/sec, 1130 secs
lola: 160606176 markings, 495548744 edges, 120231 markings/sec, 1135 secs
lola: 161200116 markings, 497712829 edges, 118788 markings/sec, 1140 secs
lola: 161786579 markings, 499834578 edges, 117293 markings/sec, 1145 secs
lola: 162382801 markings, 501975660 edges, 119244 markings/sec, 1150 secs
lola: 162965586 markings, 504120455 edges, 116557 markings/sec, 1155 secs
lola: 163566485 markings, 506245729 edges, 120180 markings/sec, 1160 secs
lola: 164150617 markings, 508360047 edges, 116826 markings/sec, 1165 secs
lola: 164707791 markings, 510430446 edges, 111435 markings/sec, 1170 secs
lola: 165313751 markings, 512574358 edges, 121192 markings/sec, 1175 secs
lola: 165840483 markings, 514460800 edges, 105346 markings/sec, 1180 secs
lola: 166376358 markings, 516411960 edges, 107175 markings/sec, 1185 secs
lola: 166949621 markings, 518525932 edges, 114653 markings/sec, 1190 secs
lola: 167573905 markings, 520739578 edges, 124857 markings/sec, 1195 secs
lola: 168162204 markings, 522805355 edges, 117660 markings/sec, 1200 secs
lola: 168721885 markings, 524862006 edges, 111936 markings/sec, 1205 secs
lola: 169262442 markings, 526887030 edges, 108111 markings/sec, 1210 secs
lola: 169850717 markings, 529025014 edges, 117655 markings/sec, 1215 secs
lola: 170539697 markings, 531259542 edges, 137796 markings/sec, 1220 secs
lola: 171275463 markings, 533499234 edges, 147153 markings/sec, 1225 secs
lola: 171971110 markings, 535716949 edges, 139129 markings/sec, 1230 secs
lola: 172647870 markings, 537947813 edges, 135352 markings/sec, 1235 secs
lola: 173323671 markings, 540171584 edges, 135160 markings/sec, 1240 secs
lola: 173988856 markings, 542351518 edges, 133037 markings/sec, 1245 secs
lola: 174653835 markings, 544536634 edges, 132996 markings/sec, 1250 secs
lola: 175253399 markings, 546505334 edges, 119913 markings/sec, 1255 secs
lola: 175870676 markings, 548518180 edges, 123455 markings/sec, 1260 secs
lola: 176500541 markings, 550600405 edges, 125973 markings/sec, 1265 secs
lola: 177147948 markings, 552761352 edges, 129481 markings/sec, 1270 secs
lola: 177807800 markings, 554852118 edges, 131970 markings/sec, 1275 secs
lola: 178411558 markings, 556870586 edges, 120752 markings/sec, 1280 secs
lola: 179015425 markings, 558873164 edges, 120773 markings/sec, 1285 secs
lola: 179712193 markings, 561125895 edges, 139354 markings/sec, 1290 secs
lola: 180376731 markings, 563249623 edges, 132908 markings/sec, 1295 secs
lola: 181007356 markings, 565348694 edges, 126125 markings/sec, 1300 secs
lola: 181617155 markings, 567437178 edges, 121960 markings/sec, 1305 secs
lola: 182218002 markings, 569419581 edges, 120169 markings/sec, 1310 secs
lola: 182919004 markings, 571527314 edges, 140200 markings/sec, 1315 secs
lola: 183629514 markings, 573747469 edges, 142102 markings/sec, 1320 secs
lola: 184249703 markings, 575745334 edges, 124038 markings/sec, 1325 secs
lola: 184873473 markings, 577774752 edges, 124754 markings/sec, 1330 secs
lola: 185488732 markings, 579810620 edges, 123052 markings/sec, 1335 secs
lola: 186150088 markings, 581976795 edges, 132271 markings/sec, 1340 secs
lola: 186810797 markings, 584149191 edges, 132142 markings/sec, 1345 secs
lola: 187479866 markings, 586340475 edges, 133814 markings/sec, 1350 secs
lola: 188142698 markings, 588512776 edges, 132566 markings/sec, 1355 secs
lola: 188782687 markings, 590644269 edges, 127998 markings/sec, 1360 secs
lola: 189451249 markings, 592833916 edges, 133712 markings/sec, 1365 secs
lola: 190124098 markings, 594996527 edges, 134570 markings/sec, 1370 secs
lola: 190783857 markings, 597176405 edges, 131952 markings/sec, 1375 secs
lola: 191449962 markings, 599383081 edges, 133221 markings/sec, 1380 secs
lola: 192136619 markings, 601578543 edges, 137331 markings/sec, 1385 secs
lola: 192783470 markings, 603697823 edges, 129370 markings/sec, 1390 secs
lola: 193400217 markings, 605778043 edges, 123349 markings/sec, 1395 secs
lola: 194046744 markings, 607933522 edges, 129305 markings/sec, 1400 secs
lola: 194805173 markings, 610188234 edges, 151686 markings/sec, 1405 secs
lola: 195638649 markings, 612460821 edges, 166695 markings/sec, 1410 secs
lola: 196421001 markings, 614721063 edges, 156470 markings/sec, 1415 secs
lola: 197193347 markings, 616987959 edges, 154469 markings/sec, 1420 secs
lola: 197951839 markings, 619248456 edges, 151698 markings/sec, 1425 secs
lola: 198716310 markings, 621468150 edges, 152894 markings/sec, 1430 secs
lola: 199456644 markings, 623696876 edges, 148067 markings/sec, 1435 secs
lola: 200218793 markings, 625908712 edges, 152430 markings/sec, 1440 secs
lola: 200943798 markings, 628083494 edges, 145001 markings/sec, 1445 secs
lola: 201702058 markings, 630295050 edges, 151652 markings/sec, 1450 secs
lola: 202456417 markings, 632502142 edges, 150872 markings/sec, 1455 secs
lola: 203195037 markings, 634705155 edges, 147724 markings/sec, 1460 secs
lola: 203971393 markings, 636977521 edges, 155271 markings/sec, 1465 secs
lola: 204728189 markings, 639151055 edges, 151359 markings/sec, 1470 secs
lola: 205433463 markings, 641276193 edges, 141055 markings/sec, 1475 secs
lola: 206151185 markings, 643446173 edges, 143544 markings/sec, 1480 secs
lola: 206894912 markings, 645681142 edges, 148745 markings/sec, 1485 secs
lola: 207619041 markings, 647901198 edges, 144826 markings/sec, 1490 secs
lola: 208314758 markings, 650088455 edges, 139143 markings/sec, 1495 secs
lola: 208992744 markings, 652303602 edges, 135597 markings/sec, 1500 secs
lola: 209658009 markings, 654502668 edges, 133053 markings/sec, 1505 secs
lola: 210317315 markings, 656686954 edges, 131861 markings/sec, 1510 secs
lola: 210982180 markings, 658843277 edges, 132973 markings/sec, 1515 secs
lola: 211636385 markings, 661013969 edges, 130841 markings/sec, 1520 secs
lola: 212301736 markings, 663171608 edges, 133070 markings/sec, 1525 secs
lola: 212944623 markings, 665296102 edges, 128577 markings/sec, 1530 secs
lola: 213584771 markings, 667434630 edges, 128030 markings/sec, 1535 secs
lola: 214265601 markings, 669592738 edges, 136166 markings/sec, 1540 secs
lola: 214910816 markings, 671743652 edges, 129043 markings/sec, 1545 secs
lola: 215555198 markings, 673891130 edges, 128876 markings/sec, 1550 secs
lola: 216251201 markings, 676114530 edges, 139201 markings/sec, 1555 secs
lola: 216887791 markings, 678171380 edges, 127318 markings/sec, 1560 secs
lola: 217496587 markings, 680198284 edges, 121759 markings/sec, 1565 secs
lola: 218057146 markings, 682119158 edges, 112112 markings/sec, 1570 secs
lola: 218720717 markings, 684282531 edges, 132714 markings/sec, 1575 secs
lola: 219438831 markings, 686460426 edges, 143623 markings/sec, 1580 secs
lola: 220128663 markings, 688622193 edges, 137966 markings/sec, 1585 secs
lola: 220806119 markings, 690797335 edges, 135491 markings/sec, 1590 secs
lola: 221464220 markings, 692961178 edges, 131620 markings/sec, 1595 secs
lola: 222119035 markings, 695123492 edges, 130963 markings/sec, 1600 secs
lola: 222775808 markings, 697244356 edges, 131355 markings/sec, 1605 secs
lola: 223416909 markings, 699384120 edges, 128220 markings/sec, 1610 secs
lola: 224076261 markings, 701516059 edges, 131870 markings/sec, 1615 secs
lola: 224719525 markings, 703643400 edges, 128653 markings/sec, 1620 secs
lola: 225335260 markings, 705709769 edges, 123147 markings/sec, 1625 secs
lola: 225997931 markings, 707849247 edges, 132534 markings/sec, 1630 secs
lola: 226651667 markings, 709966455 edges, 130747 markings/sec, 1635 secs
lola: 227291494 markings, 712083693 edges, 127965 markings/sec, 1640 secs
lola: 227943880 markings, 714239140 edges, 130477 markings/sec, 1645 secs
lola: 228612224 markings, 716367630 edges, 133669 markings/sec, 1650 secs
lola: 229238408 markings, 718428277 edges, 125237 markings/sec, 1655 secs
lola: 229835844 markings, 720444311 edges, 119487 markings/sec, 1660 secs
lola: 230463292 markings, 722534967 edges, 125490 markings/sec, 1665 secs
lola: 231115342 markings, 724702927 edges, 130410 markings/sec, 1670 secs
lola: 231737335 markings, 726829214 edges, 124399 markings/sec, 1675 secs
lola: 232342157 markings, 728927598 edges, 120964 markings/sec, 1680 secs
lola: 232944981 markings, 731056609 edges, 120565 markings/sec, 1685 secs
lola: 233530724 markings, 733171693 edges, 117149 markings/sec, 1690 secs
lola: 234108304 markings, 735279158 edges, 115516 markings/sec, 1695 secs
lola: 234682767 markings, 737351923 edges, 114893 markings/sec, 1700 secs
lola: 235263451 markings, 739438650 edges, 116137 markings/sec, 1705 secs
lola: 235831895 markings, 741529554 edges, 113689 markings/sec, 1710 secs
lola: 236418156 markings, 743606146 edges, 117252 markings/sec, 1715 secs
lola: 236986877 markings, 745665325 edges, 113744 markings/sec, 1720 secs
lola: 237531729 markings, 747679583 edges, 108970 markings/sec, 1725 secs
lola: 238118962 markings, 749773841 edges, 117447 markings/sec, 1730 secs
lola: 238696456 markings, 751830866 edges, 115499 markings/sec, 1735 secs
lola: 239263287 markings, 753896940 edges, 113366 markings/sec, 1740 secs
lola: 239819307 markings, 755949131 edges, 111204 markings/sec, 1745 secs
lola: 240427173 markings, 758110099 edges, 121573 markings/sec, 1750 secs
lola: 241005251 markings, 760131453 edges, 115616 markings/sec, 1755 secs
lola: 241545579 markings, 762116721 edges, 108066 markings/sec, 1760 secs
lola: 242072163 markings, 764079620 edges, 105317 markings/sec, 1765 secs
lola: 242636643 markings, 766140442 edges, 112896 markings/sec, 1770 secs
lola: 243283061 markings, 768299580 edges, 129284 markings/sec, 1775 secs
lola: 243987172 markings, 770464317 edges, 140822 markings/sec, 1780 secs
lola: 244671385 markings, 772599597 edges, 136843 markings/sec, 1785 secs
lola: 245336215 markings, 774766858 edges, 132966 markings/sec, 1790 secs
lola: 245987498 markings, 776921943 edges, 130257 markings/sec, 1795 secs
lola: 246638986 markings, 779078594 edges, 130298 markings/sec, 1800 secs
lola: 247292658 markings, 781187481 edges, 130734 markings/sec, 1805 secs
lola: 247926802 markings, 783314732 edges, 126829 markings/sec, 1810 secs
lola: 248585874 markings, 785434847 edges, 131814 markings/sec, 1815 secs
lola: 249225633 markings, 787539829 edges, 127952 markings/sec, 1820 secs
lola: 249834963 markings, 789609319 edges, 121866 markings/sec, 1825 secs
lola: 250508993 markings, 791726629 edges, 134806 markings/sec, 1830 secs
lola: 251146828 markings, 793848960 edges, 127567 markings/sec, 1835 secs
lola: 251781032 markings, 795950223 edges, 126841 markings/sec, 1840 secs
lola: 252446890 markings, 798124492 edges, 133172 markings/sec, 1845 secs
lola: 253109032 markings, 800221458 edges, 132428 markings/sec, 1850 secs
lola: 253720958 markings, 802264058 edges, 122385 markings/sec, 1855 secs
lola: 254310154 markings, 804272163 edges, 117839 markings/sec, 1860 secs
lola: 254953218 markings, 806394572 edges, 128613 markings/sec, 1865 secs
lola: 255595572 markings, 808547586 edges, 128471 markings/sec, 1870 secs
lola: 256216697 markings, 810659183 edges, 124225 markings/sec, 1875 secs
lola: 256819018 markings, 812745841 edges, 120464 markings/sec, 1880 secs
lola: 257410821 markings, 814868505 edges, 118361 markings/sec, 1885 secs
lola: 257988246 markings, 816971198 edges, 115485 markings/sec, 1890 secs
lola: 258563109 markings, 819064536 edges, 114973 markings/sec, 1895 secs
lola: 259141427 markings, 821126366 edges, 115664 markings/sec, 1900 secs
lola: 259708285 markings, 823201318 edges, 113372 markings/sec, 1905 secs
lola: 260282540 markings, 825277833 edges, 114851 markings/sec, 1910 secs
lola: 260861943 markings, 827356363 edges, 115881 markings/sec, 1915 secs
lola: 261428536 markings, 829406076 edges, 113319 markings/sec, 1920 secs
lola: 261969286 markings, 831424431 edges, 108150 markings/sec, 1925 secs
lola: 262562404 markings, 833503994 edges, 118624 markings/sec, 1930 secs
lola: 263140424 markings, 835589029 edges, 115604 markings/sec, 1935 secs
lola: 263707157 markings, 837646228 edges, 113347 markings/sec, 1940 secs
lola: 264281299 markings, 839738328 edges, 114828 markings/sec, 1945 secs
lola: 264884121 markings, 841881598 edges, 120564 markings/sec, 1950 secs
lola: 265448154 markings, 843882541 edges, 112807 markings/sec, 1955 secs
lola: 265992616 markings, 845879016 edges, 108892 markings/sec, 1960 secs
lola: 266512646 markings, 847844880 edges, 104006 markings/sec, 1965 secs
lola: 267093099 markings, 849939624 edges, 116091 markings/sec, 1970 secs
lola: 267778854 markings, 852120585 edges, 137151 markings/sec, 1975 secs
lola: 268051085 markings, 852952606 edges, 54446 markings/sec, 1980 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E ((A (G ((((p69 <= 0)) OR ((1 <= p53))))) U ((1 <= p143) AND (((p211 <= 0)) OR ((1 <= p18))) AND (((p24 <= 0)) OR ((1 <= p93))) AND (((p280 <= 0)) OR ((1 <= p257))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(AG((((p69 <= 0)) OR ((1 <= p53)))) U ((1 <= p143) AND (((p211 <= 0)) OR ((1 <= p18))) AND (((p24 <= 0)) OR ((1 <= p93))) AND (((p280 <= 0)) OR ((1 <= p257)))))
lola: processed formula length: 165
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 374300 markings, 2347943 edges, 74860 markings/sec, 0 secs
lola: 715691 markings, 4694697 edges, 68278 markings/sec, 5 secs
lola: 1028995 markings, 7013622 edges, 62661 markings/sec, 10 secs
lola: 1341197 markings, 9276756 edges, 62440 markings/sec, 15 secs
lola: 1626573 markings, 11415109 edges, 57075 markings/sec, 20 secs
lola: 1900137 markings, 13509854 edges, 54713 markings/sec, 25 secs
lola: 2159617 markings, 15573184 edges, 51896 markings/sec, 30 secs
lola: 2409966 markings, 17614040 edges, 50070 markings/sec, 35 secs
lola: 2676909 markings, 19854835 edges, 53389 markings/sec, 40 secs
lola: 2939734 markings, 22055687 edges, 52565 markings/sec, 45 secs
lola: 3215064 markings, 24194516 edges, 55066 markings/sec, 50 secs
lola: 3491731 markings, 26308552 edges, 55333 markings/sec, 55 secs
lola: 3754302 markings, 28414974 edges, 52514 markings/sec, 60 secs
lola: 4009527 markings, 30560565 edges, 51045 markings/sec, 65 secs
lola: 4272764 markings, 32738158 edges, 52647 markings/sec, 70 secs
lola: 4512089 markings, 34808197 edges, 47865 markings/sec, 75 secs
lola: 4738766 markings, 36475386 edges, 45335 markings/sec, 80 secs
lola: 4975201 markings, 38283778 edges, 47287 markings/sec, 85 secs
lola: 5196619 markings, 40057015 edges, 44284 markings/sec, 90 secs
lola: 5415326 markings, 41862082 edges, 43741 markings/sec, 95 secs
lola: 5648448 markings, 43800320 edges, 46624 markings/sec, 100 secs
lola: 5871248 markings, 45673115 edges, 44560 markings/sec, 105 secs
lola: 6125626 markings, 47604461 edges, 50876 markings/sec, 110 secs
lola: 6444692 markings, 49732337 edges, 63813 markings/sec, 115 secs
lola: 6748611 markings, 51842380 edges, 60784 markings/sec, 120 secs
lola: 7040655 markings, 54014110 edges, 58409 markings/sec, 125 secs
lola: 7327267 markings, 56076737 edges, 57322 markings/sec, 130 secs
lola: 7581180 markings, 57987891 edges, 50783 markings/sec, 135 secs
lola: 7839087 markings, 59956746 edges, 51581 markings/sec, 140 secs
lola: 8076083 markings, 61799239 edges, 47399 markings/sec, 145 secs
lola: 8301962 markings, 63644190 edges, 45176 markings/sec, 150 secs
lola: 8533947 markings, 65570860 edges, 46397 markings/sec, 155 secs
lola: 8777557 markings, 67580258 edges, 48722 markings/sec, 160 secs
lola: 8993294 markings, 69436080 edges, 43147 markings/sec, 165 secs
lola: 9204048 markings, 71207289 edges, 42151 markings/sec, 170 secs
lola: 9408628 markings, 72971067 edges, 40916 markings/sec, 175 secs
lola: 9602545 markings, 74693263 edges, 38783 markings/sec, 180 secs
lola: 9789444 markings, 76389452 edges, 37380 markings/sec, 185 secs
lola: 9983636 markings, 78207308 edges, 38838 markings/sec, 190 secs
lola: 10181233 markings, 80057731 edges, 39519 markings/sec, 195 secs
lola: 10377131 markings, 81877432 edges, 39180 markings/sec, 200 secs
lola: 10575930 markings, 83654489 edges, 39760 markings/sec, 205 secs
lola: 10902394 markings, 85837196 edges, 65293 markings/sec, 210 secs
lola: 11153274 markings, 87723477 edges, 50176 markings/sec, 215 secs
lola: 11419641 markings, 89739053 edges, 53273 markings/sec, 220 secs
lola: 11664935 markings, 91613145 edges, 49059 markings/sec, 225 secs
lola: 11903344 markings, 93596666 edges, 47682 markings/sec, 230 secs
lola: 12125737 markings, 95441047 edges, 44479 markings/sec, 235 secs
lola: 12350307 markings, 97279959 edges, 44914 markings/sec, 240 secs
lola: 12591962 markings, 99143000 edges, 48331 markings/sec, 245 secs
lola: 12807721 markings, 100997355 edges, 43152 markings/sec, 250 secs
lola: 13018464 markings, 102765217 edges, 42149 markings/sec, 255 secs
lola: 13240117 markings, 104518153 edges, 44331 markings/sec, 260 secs
lola: 13472686 markings, 106328971 edges, 46514 markings/sec, 265 secs
lola: 13681945 markings, 108120784 edges, 41852 markings/sec, 270 secs
lola: 13888673 markings, 109880830 edges, 41346 markings/sec, 275 secs
lola: 14179996 markings, 111843216 edges, 58265 markings/sec, 280 secs
lola: 14448890 markings, 113806328 edges, 53779 markings/sec, 285 secs
lola: 14700512 markings, 115667617 edges, 50324 markings/sec, 290 secs
lola: 14936373 markings, 117500569 edges, 47172 markings/sec, 295 secs
lola: 15184763 markings, 119467673 edges, 49678 markings/sec, 300 secs
lola: 15416787 markings, 121411013 edges, 46405 markings/sec, 305 secs
lola: 15633476 markings, 123283385 edges, 43338 markings/sec, 310 secs
lola: 15849298 markings, 125160178 edges, 43164 markings/sec, 315 secs
lola: 16046062 markings, 126934557 edges, 39353 markings/sec, 320 secs
lola: 16232995 markings, 128706682 edges, 37387 markings/sec, 325 secs
lola: 16427534 markings, 130574631 edges, 38908 markings/sec, 330 secs
lola: 16729617 markings, 132832931 edges, 60417 markings/sec, 335 secs
lola: 17015839 markings, 135071728 edges, 57244 markings/sec, 340 secs
lola: 17271001 markings, 137175620 edges, 51032 markings/sec, 345 secs
lola: 17519755 markings, 139326992 edges, 49751 markings/sec, 350 secs
lola: 17749717 markings, 141405006 edges, 45992 markings/sec, 355 secs
lola: 17992874 markings, 143439312 edges, 48631 markings/sec, 360 secs
lola: 18234421 markings, 145519868 edges, 48309 markings/sec, 365 secs
lola: 18464820 markings, 147543067 edges, 46080 markings/sec, 370 secs
lola: 18698454 markings, 149549919 edges, 46727 markings/sec, 375 secs
lola: 18929829 markings, 151573194 edges, 46275 markings/sec, 380 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no yes unknown unknown yes unknown yes yes
lola:
preliminary result: yes no yes unknown unknown yes unknown yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes unknown unknown yes unknown yes yes
lola: memory consumption: 1598600 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 1598600 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes unknown unknown yes unknown yes yes
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
rslt: finished

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPs-PT-005B"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
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 itslola"
echo " Input is ShieldPPPs-PT-005B, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r211-tajo-159033477500467"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-005B.tgz
mv ShieldPPPs-PT-005B execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;