fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r045-smll-158902068300078
Last Updated
Jun 28, 2020

About the Execution of 2019-Gold for CloudDeployment-PT-4b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4285.070 3570134.00 3623248.00 9126.10 ??FF?FFF?FTFTF?F normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r045-smll-158902068300078.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is CloudDeployment-PT-4b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068300078
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 760K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 28 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 07:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 07:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 591K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1590051077440

info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ CloudDeployment-PT-4b @ 3570 seconds

FORMULA CloudDeployment-PT-4b-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ CloudDeployment-PT-4b

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

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

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

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 379
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 1,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A (((FIREABLE(t1513) AND (FIREABLE(t1400) OR FIREABLE(t1369))) U X (F (FIREABLE(t497)))))",
"processed_size": 90,
"rewrites": 94
},
"result":
{
"edges": 155,
"markings": 155,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 455
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (F (G (FIREABLE(t267))))",
"processed_size": 26,
"rewrites": 94
},
"result":
{
"edges": 148,
"markings": 147,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 759
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F ((G (FIREABLE(t1681)) AND F (FIREABLE(t1211)))))",
"processed_size": 53,
"rewrites": 94
},
"result":
{
"edges": 146,
"markings": 146,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1139
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 6,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 2,
"tneg": 0,
"transition_references": 6,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((FIREABLE(t1676) OR ((FIREABLE(t1676) AND (FIREABLE(t1474) U FIREABLE(t1039))) OR G (F ((FIREABLE(t1039) AND F (FIREABLE(t1676))))))))",
"processed_size": 137,
"rewrites": 94
},
"result":
{
"edges": 146,
"markings": 146,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2279
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2279
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(t1161)",
"processed_size": 15,
"rewrites": 94
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 2845076,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(A(G(*)) AND A(X(G((* AND X(F((* OR F(*))))))))) : A((X(X(F((** AND F(**))))) OR G((* AND *)))) : (** AND A(G(F((** AND G(**)))))) : A((** OR ((** AND (** U **)) OR G(F((** AND F(**))))))) : (A(G(F(*))) AND A(X(F((X(G(**)) OR (G(*) AND F(G(**)))))))) : A(F((G(**) AND F(**)))) : A(F(G(**))) : A(X(X((** OR (F(**) OR G((** AND X(**)))))))) : A(X(X(G(**)))) : A((G((** AND X((** AND *)))) OR X(G(**)))) : A(X(F(*))) : A(F((** OR (** AND X(**))))) : A(X(F((* AND X((X(*) OR G(*))))))) : A(G(F(**))) : A(((** U X((** OR X(**)))) OR G(**))) : A((** U X(F(**))))"
},
"net":
{
"arcs": 8741,
"conflict_clusters": 1037,
"places": 1182,
"places_significant": 1165,
"singleton_clusters": 0,
"transitions": 1824
},
"result":
{
"interim_value": "unknown unknown no no unknown no no no unknown no yes no yes no unknown no ",
"preliminary_value": "unknown unknown no no unknown no no no unknown no yes no yes no unknown no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 3006/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1182
lola: finding significant places
lola: 1182 places, 1824 transitions, 1165 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (NOT(F (((FIREABLE(t1087) OR X (FIREABLE(t1158))) OR X (G ((X (FIREABLE(t409)) AND G (X (FIREABLE(t1158)))))))))) : A ((X (X (F ((FIREABLE(t1339) AND F (FIREABLE(t436)))))) OR (NOT(F (FIREABLE(t1339))) AND NOT(F (FIREABLE(t436)))))) : A ((FIREABLE(t1161) AND G (X ((F (X (FIREABLE(t1169))) U F ((FIREABLE(t1169) AND G (FIREABLE(t818))))))))) : A (((FIREABLE(t1676) OR (FIREABLE(t1676) AND (FIREABLE(t1474) U FIREABLE(t1039)))) OR G (F ((FIREABLE(t1039) AND F (FIREABLE(t1676))))))) : A (NOT((F (G (FIREABLE(t1622))) OR X (NOT(F ((NOT(F (FIREABLE(t1622))) U X (G (FIREABLE(t499)))))))))) : A (F ((G (FIREABLE(t1681)) AND F (((NOT FIREABLE(t1681) OR FIREABLE(t266)) U FIREABLE(t1211)))))) : A (F ((X (G ((G (FIREABLE(t1019)) OR X ((FIREABLE(t712) OR FIREABLE(t255)))))) U G (FIREABLE(t267))))) : A (X (X (((FIREABLE(t969) OR F (FIREABLE(t419))) OR G ((FIREABLE(t1502) AND X (FIREABLE(t1502)))))))) : A (X (X (G (NOT FIREABLE(t439))))) : A ((G (((FIREABLE(t556) AND X (FIREABLE(t623))) AND NOT(X (FIREABLE(t770))))) OR X (G (FIREABLE(t623))))) : A (NOT(G (X (FIREABLE(t265))))) : A (F ((FIREABLE(t1516) OR (FIREABLE(t114) AND X (FIREABLE(t909)))))) : A (X (F (NOT((FIREABLE(t284) OR (X (X (FIREABLE(t1785))) AND X (F ((F (FIREABLE(t536)) U FIREABLE(t284)))))))))) : A (G (X ((NOT((X (FIREABLE(t565)) U FIREABLE(t565))) U (FIREABLE(t565) OR F (FIREABLE(t565))))))) : A (((FIREABLE(t606) U X ((FIREABLE(t1652) OR X (FIREABLE(t409))))) OR G (NOT FIREABLE(t1652)))) : A (((FIREABLE(t1513) AND (FIREABLE(t1400) OR FIREABLE(t1369))) U F (X (FIREABLE(t497)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:500
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (NOT FIREABLE(t1087))) AND A (X (G ((NOT FIREABLE(t1158) AND X (F ((NOT FIREABLE(t409) OR F (NOT FIREABLE(t1158))))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t1087)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (NOT FIREABLE(t1087)))
lola: processed formula length: 27
lola: 96 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(t1087)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to LTLFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file LTLFireability-0.sara.
sara: error: :3755: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: sara is running 0 secs || 79774 markings, 235848 edges, 15955 markings/sec, 0 secs
lola: sara is running 5 secs || 155299 markings, 491561 edges, 15105 markings/sec, 5 secs
lola: sara is running 10 secs || 228852 markings, 748037 edges, 14711 markings/sec, 10 secs
lola: sara is running 15 secs || 311420 markings, 996153 edges, 16514 markings/sec, 15 secs
lola: sara is running 20 secs || 388246 markings, 1251354 edges, 15365 markings/sec, 20 secs
lola: sara is running 25 secs || 461193 markings, 1505168 edges, 14589 markings/sec, 25 secs
lola: sara is running 30 secs || 558201 markings, 1730879 edges, 19402 markings/sec, 30 secs
lola: sara is running 35 secs || 649549 markings, 1976666 edges, 18270 markings/sec, 35 secs
lola: sara is running 40 secs || 742205 markings, 2207973 edges, 18531 markings/sec, 40 secs
lola: sara is running 45 secs || 827553 markings, 2450998 edges, 17070 markings/sec, 45 secs
lola: sara is running 50 secs || 912053 markings, 2689533 edges, 16900 markings/sec, 50 secs
lola: sara is running 55 secs || 992515 markings, 2952683 edges, 16092 markings/sec, 55 secs
lola: sara is running 60 secs || 1068389 markings, 3238310 edges, 15175 markings/sec, 60 secs
lola: sara is running 65 secs || 1143713 markings, 3511316 edges, 15065 markings/sec, 65 secs
lola: sara is running 70 secs || 1220892 markings, 3777579 edges, 15436 markings/sec, 70 secs
lola: sara is running 75 secs || 1290678 markings, 4050209 edges, 13957 markings/sec, 75 secs
lola: sara is running 80 secs || 1369107 markings, 4287127 edges, 15686 markings/sec, 80 secs
lola: sara is running 85 secs || 1458367 markings, 4496681 edges, 17852 markings/sec, 85 secs
lola: sara is running 90 secs || 1539092 markings, 4728084 edges, 16145 markings/sec, 90 secs
lola: sara is running 95 secs || 1624883 markings, 4935608 edges, 17158 markings/sec, 95 secs
lola: sara is running 100 secs || 1702805 markings, 5160530 edges, 15584 markings/sec, 100 secs
lola: sara is running 105 secs || 1780252 markings, 5383000 edges, 15489 markings/sec, 105 secs
lola: sara is running 110 secs || 1848209 markings, 5668681 edges, 13591 markings/sec, 110 secs
lola: sara is running 115 secs || 1919465 markings, 5964580 edges, 14251 markings/sec, 115 secs
lola: sara is running 120 secs || 1980089 markings, 6281497 edges, 12125 markings/sec, 120 secs
lola: sara is running 125 secs || 2045069 markings, 6575606 edges, 12996 markings/sec, 125 secs
lola: sara is running 130 secs || 2109091 markings, 6873292 edges, 12804 markings/sec, 130 secs
lola: sara is running 135 secs || 2169791 markings, 7166274 edges, 12140 markings/sec, 135 secs
lola: sara is running 140 secs || 2234793 markings, 7442840 edges, 13000 markings/sec, 140 secs
lola: sara is running 145 secs || 2309845 markings, 7689391 edges, 15010 markings/sec, 145 secs
lola: sara is running 150 secs || 2381385 markings, 7955281 edges, 14308 markings/sec, 150 secs
lola: sara is running 155 secs || 2451691 markings, 8214512 edges, 14061 markings/sec, 155 secs
lola: sara is running 160 secs || 2526197 markings, 8451815 edges, 14901 markings/sec, 160 secs
lola: sara is running 165 secs || 2589752 markings, 8717427 edges, 12711 markings/sec, 165 secs
lola: sara is running 170 secs || 2656944 markings, 8966272 edges, 13438 markings/sec, 170 secs
lola: sara is running 175 secs || 2730787 markings, 9207495 edges, 14769 markings/sec, 175 secs
lola: sara is running 180 secs || 2806391 markings, 9464275 edges, 15121 markings/sec, 180 secs
lola: sara is running 185 secs || 2873495 markings, 9735238 edges, 13421 markings/sec, 185 secs
lola: sara is running 190 secs || 2948214 markings, 9975335 edges, 14944 markings/sec, 190 secs
lola: sara is running 195 secs || 3013519 markings, 10239746 edges, 13061 markings/sec, 195 secs
lola: sara is running 200 secs || 3081276 markings, 10491320 edges, 13551 markings/sec, 200 secs
lola: sara is running 205 secs || 3150150 markings, 10717118 edges, 13775 markings/sec, 205 secs
lola: sara is running 210 secs || 3220157 markings, 10942226 edges, 14001 markings/sec, 210 secs
lola: sara is running 215 secs || 3287992 markings, 11213073 edges, 13567 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 360648 KB
lola: time consumption: 227 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: memory consumption: 360672 KB
lola: time consumption: 227 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (X (F ((FIREABLE(t1339) AND F (FIREABLE(t436)))))) OR G ((NOT FIREABLE(t1339) AND NOT FIREABLE(t436)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (X (F ((FIREABLE(t1339) AND F (FIREABLE(t436)))))) OR G ((NOT FIREABLE(t1339) AND NOT FIREABLE(t436)))))
lola: processed formula length: 110
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 105682 markings, 470074 edges, 21136 markings/sec, 0 secs
lola: 210607 markings, 940456 edges, 20985 markings/sec, 5 secs
lola: 311809 markings, 1403357 edges, 20240 markings/sec, 10 secs
lola: 410516 markings, 1871208 edges, 19741 markings/sec, 15 secs
lola: 491771 markings, 2339954 edges, 16251 markings/sec, 20 secs
lola: 585493 markings, 2807834 edges, 18744 markings/sec, 25 secs
lola: 686862 markings, 3270430 edges, 20274 markings/sec, 30 secs
lola: 769191 markings, 3732161 edges, 16466 markings/sec, 35 secs
lola: 847021 markings, 4190191 edges, 15566 markings/sec, 40 secs
lola: 919007 markings, 4653134 edges, 14397 markings/sec, 45 secs
lola: 988732 markings, 5111564 edges, 13945 markings/sec, 50 secs
lola: 1074144 markings, 5572832 edges, 17082 markings/sec, 55 secs
lola: 1141985 markings, 6033179 edges, 13568 markings/sec, 60 secs
lola: 1218748 markings, 6494296 edges, 15353 markings/sec, 65 secs
lola: 1301274 markings, 6953603 edges, 16505 markings/sec, 70 secs
lola: 1373498 markings, 7413444 edges, 14445 markings/sec, 75 secs
lola: 1448892 markings, 7881187 edges, 15079 markings/sec, 80 secs
lola: 1518320 markings, 8340541 edges, 13886 markings/sec, 85 secs
lola: 1604185 markings, 8802745 edges, 17173 markings/sec, 90 secs
lola: 1686386 markings, 9272062 edges, 16440 markings/sec, 95 secs
lola: 1773208 markings, 9741126 edges, 17364 markings/sec, 100 secs
lola: 1858472 markings, 10210613 edges, 17053 markings/sec, 105 secs
lola: 1941057 markings, 10678480 edges, 16517 markings/sec, 110 secs
lola: 2025697 markings, 11145949 edges, 16928 markings/sec, 115 secs
lola: 2108172 markings, 11613700 edges, 16495 markings/sec, 120 secs
lola: 2180040 markings, 12082416 edges, 14374 markings/sec, 125 secs
lola: 2252985 markings, 12552550 edges, 14589 markings/sec, 130 secs
lola: 2335425 markings, 13021439 edges, 16488 markings/sec, 135 secs
lola: 2411945 markings, 13484081 edges, 15304 markings/sec, 140 secs
lola: 2487075 markings, 13945223 edges, 15026 markings/sec, 145 secs
lola: 2550286 markings, 14407141 edges, 12642 markings/sec, 150 secs
lola: 2617494 markings, 14871410 edges, 13442 markings/sec, 155 secs
lola: 2680482 markings, 15332346 edges, 12598 markings/sec, 160 secs
lola: 2747256 markings, 15794684 edges, 13355 markings/sec, 165 secs
lola: 2809522 markings, 16252054 edges, 12453 markings/sec, 170 secs
lola: 2876546 markings, 16715638 edges, 13405 markings/sec, 175 secs
lola: 2938888 markings, 17173816 edges, 12468 markings/sec, 180 secs
lola: 3005017 markings, 17634660 edges, 13226 markings/sec, 185 secs
lola: 3067692 markings, 18094080 edges, 12535 markings/sec, 190 secs
lola: 3134566 markings, 18557509 edges, 13375 markings/sec, 195 secs
lola: 3197658 markings, 19018609 edges, 12618 markings/sec, 200 secs
lola: 3261812 markings, 19481199 edges, 12831 markings/sec, 205 secs
lola: 3334999 markings, 19949655 edges, 14637 markings/sec, 210 secs
lola: 3405093 markings, 20422034 edges, 14019 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 519140 KB
lola: time consumption: 449 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F (NOT FIREABLE(t1622)))) AND A (X (F ((X (G (FIREABLE(t499))) OR (G (NOT FIREABLE(t1622)) AND F (G (FIREABLE(t499)))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (NOT FIREABLE(t1622))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (NOT FIREABLE(t1622))))
lola: processed formula length: 31
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 149128 markings, 427900 edges, 29826 markings/sec, 0 secs
lola: 270733 markings, 867496 edges, 24321 markings/sec, 5 secs
lola: 384692 markings, 1306803 edges, 22792 markings/sec, 10 secs
lola: 515291 markings, 1748111 edges, 26120 markings/sec, 15 secs
lola: 623852 markings, 2187736 edges, 21712 markings/sec, 20 secs
lola: 750202 markings, 2623215 edges, 25270 markings/sec, 25 secs
lola: 880664 markings, 3056982 edges, 26092 markings/sec, 30 secs
lola: 1026261 markings, 3488230 edges, 29119 markings/sec, 35 secs
lola: 1157455 markings, 3920681 edges, 26239 markings/sec, 40 secs
lola: 1278825 markings, 4359959 edges, 24274 markings/sec, 45 secs
lola: 1402926 markings, 4795338 edges, 24820 markings/sec, 50 secs
lola: 1512536 markings, 5232660 edges, 21922 markings/sec, 55 secs
lola: 1623761 markings, 5669106 edges, 22245 markings/sec, 60 secs
lola: 1744018 markings, 6108876 edges, 24051 markings/sec, 65 secs
lola: 1861701 markings, 6543883 edges, 23537 markings/sec, 70 secs
lola: 2010593 markings, 6962869 edges, 29778 markings/sec, 75 secs
lola: 2139213 markings, 7386607 edges, 25724 markings/sec, 80 secs
lola: 2252467 markings, 7810764 edges, 22651 markings/sec, 85 secs
lola: 2366000 markings, 8235959 edges, 22707 markings/sec, 90 secs
lola: 2483687 markings, 8660990 edges, 23537 markings/sec, 95 secs
lola: 2605656 markings, 9082866 edges, 24394 markings/sec, 100 secs
lola: 2723088 markings, 9506216 edges, 23486 markings/sec, 105 secs
lola: 2847096 markings, 9933212 edges, 24802 markings/sec, 110 secs
lola: 2972632 markings, 10360349 edges, 25107 markings/sec, 115 secs
lola: 3107550 markings, 10780145 edges, 26984 markings/sec, 120 secs
lola: 3262862 markings, 11187015 edges, 31062 markings/sec, 125 secs
lola: 3401782 markings, 11612563 edges, 27784 markings/sec, 130 secs
lola: 3518713 markings, 12030662 edges, 23386 markings/sec, 135 secs
lola: 3653833 markings, 12422507 edges, 27024 markings/sec, 140 secs
lola: 3771213 markings, 12800206 edges, 23476 markings/sec, 145 secs
lola: 3873108 markings, 13166842 edges, 20379 markings/sec, 150 secs
lola: 4008950 markings, 13586959 edges, 27168 markings/sec, 155 secs
lola: 4135789 markings, 14014720 edges, 25368 markings/sec, 160 secs
lola: 4269625 markings, 14436043 edges, 26767 markings/sec, 165 secs
lola: 4364877 markings, 14861069 edges, 19050 markings/sec, 170 secs
lola: 4470709 markings, 15280699 edges, 21166 markings/sec, 175 secs
lola: 4583295 markings, 15676848 edges, 22517 markings/sec, 180 secs
lola: 4721586 markings, 16063398 edges, 27658 markings/sec, 185 secs
lola: 4845511 markings, 16448711 edges, 24785 markings/sec, 190 secs
lola: 4958335 markings, 16824510 edges, 22565 markings/sec, 195 secs
lola: 5035560 markings, 17179499 edges, 15445 markings/sec, 200 secs
lola: 5127714 markings, 17540046 edges, 18431 markings/sec, 205 secs
lola: 5234415 markings, 17939508 edges, 21340 markings/sec, 210 secs
lola: 5342701 markings, 18329239 edges, 21657 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 896808 KB
lola: time consumption: 671 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 897064 KB
lola: time consumption: 671 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((FIREABLE(t969) OR (F (FIREABLE(t419)) OR G ((FIREABLE(t1502) AND X (FIREABLE(t1502)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((FIREABLE(t969) OR (F (FIREABLE(t419)) OR G ((FIREABLE(t1502) AND X (FIREABLE(t1502)))))))))
lola: processed formula length: 101
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 155 markings, 155 edges
lola: ========================================
lola: subprocess 4 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G (NOT FIREABLE(t439)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G (NOT FIREABLE(t439)))))
lola: processed formula length: 34
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 105288 markings, 468600 edges, 21058 markings/sec, 0 secs
lola: 209437 markings, 937374 edges, 20830 markings/sec, 5 secs
lola: 311823 markings, 1404378 edges, 20477 markings/sec, 10 secs
lola: 410601 markings, 1871800 edges, 19756 markings/sec, 15 secs
lola: 491914 markings, 2341583 edges, 16263 markings/sec, 20 secs
lola: 580630 markings, 2782927 edges, 17743 markings/sec, 25 secs
lola: 682928 markings, 3249732 edges, 20460 markings/sec, 30 secs
lola: 764381 markings, 3712125 edges, 16291 markings/sec, 35 secs
lola: 844460 markings, 4176513 edges, 16016 markings/sec, 40 secs
lola: 918436 markings, 4641356 edges, 14795 markings/sec, 45 secs
lola: 987754 markings, 5105336 edges, 13864 markings/sec, 50 secs
lola: 1071298 markings, 5558435 edges, 16709 markings/sec, 55 secs
lola: 1138306 markings, 6014940 edges, 13402 markings/sec, 60 secs
lola: 1216420 markings, 6479674 edges, 15623 markings/sec, 65 secs
lola: 1297628 markings, 6940384 edges, 16242 markings/sec, 70 secs
lola: 1372375 markings, 7398153 edges, 14949 markings/sec, 75 secs
lola: 1446088 markings, 7864452 edges, 14743 markings/sec, 80 secs
lola: 1516156 markings, 8326353 edges, 14014 markings/sec, 85 secs
lola: 1601943 markings, 8791428 edges, 17157 markings/sec, 90 secs
lola: 1683652 markings, 9254487 edges, 16342 markings/sec, 95 secs
lola: 1770213 markings, 9726641 edges, 17312 markings/sec, 100 secs
lola: 1856138 markings, 10197482 edges, 17185 markings/sec, 105 secs
lola: 1939308 markings, 10666406 edges, 16634 markings/sec, 110 secs
lola: 2023853 markings, 11134423 edges, 16909 markings/sec, 115 secs
lola: 2106063 markings, 11602057 edges, 16442 markings/sec, 120 secs
lola: 2177839 markings, 12069714 edges, 14355 markings/sec, 125 secs
lola: 2251069 markings, 12541158 edges, 14646 markings/sec, 130 secs
lola: 2332955 markings, 13009406 edges, 16377 markings/sec, 135 secs
lola: 2409525 markings, 13469889 edges, 15314 markings/sec, 140 secs
lola: 2484075 markings, 13931108 edges, 14910 markings/sec, 145 secs
lola: 2546947 markings, 14391895 edges, 12574 markings/sec, 150 secs
lola: 2614301 markings, 14856495 edges, 13471 markings/sec, 155 secs
lola: 2677312 markings, 15317742 edges, 12602 markings/sec, 160 secs
lola: 2743848 markings, 15779233 edges, 13307 markings/sec, 165 secs
lola: 2806537 markings, 16238939 edges, 12538 markings/sec, 170 secs
lola: 2873219 markings, 16701120 edges, 13336 markings/sec, 175 secs
lola: 2935534 markings, 17159146 edges, 12463 markings/sec, 180 secs
lola: 3001378 markings, 17619334 edges, 13169 markings/sec, 185 secs
lola: 3063811 markings, 18077528 edges, 12487 markings/sec, 190 secs
lola: 3130365 markings, 18538672 edges, 13311 markings/sec, 195 secs
lola: 3193749 markings, 18999716 edges, 12677 markings/sec, 200 secs
lola: 3258898 markings, 19463438 edges, 13030 markings/sec, 205 secs
lola: 3331832 markings, 19931085 edges, 14587 markings/sec, 210 secs
lola: 3401563 markings, 20401135 edges, 13946 markings/sec, 215 secs
lola: 3485845 markings, 20874746 edges, 16856 markings/sec, 220 secs
lola: 3571201 markings, 21343965 edges, 17071 markings/sec, 225 secs
lola: 3654583 markings, 21815592 edges, 16676 markings/sec, 230 secs
lola: 3739185 markings, 22283173 edges, 16920 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 561648 KB
lola: time consumption: 912 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G ((FIREABLE(t556) AND X ((FIREABLE(t623) AND NOT FIREABLE(t770))))) OR X (G (FIREABLE(t623)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((FIREABLE(t556) AND X ((FIREABLE(t623) AND NOT FIREABLE(t770))))) OR X (G (FIREABLE(t623)))))
lola: processed formula length: 100
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 155 markings, 155 edges
lola: ========================================
lola: subprocess 6 will run for 265 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (NOT FIREABLE(t265))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (NOT FIREABLE(t265))))
lola: processed formula length: 30
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 7 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t1516) OR (FIREABLE(t114) AND X (FIREABLE(t909))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(t1516) OR (FIREABLE(t114) AND X (FIREABLE(t909))))))
lola: processed formula length: 68
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 155 markings, 155 edges
lola: ========================================
lola: subprocess 8 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((NOT FIREABLE(t284) AND X ((X (NOT FIREABLE(t1785)) OR G (NOT FIREABLE(t284))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((NOT FIREABLE(t284) AND X ((X (NOT FIREABLE(t1785)) OR G (NOT FIREABLE(t284))))))))
lola: processed formula length: 92
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 7 markings, 7 edges
lola: ========================================
lola: subprocess 9 will run for 379 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t606) U X ((FIREABLE(t1652) OR X (FIREABLE(t409))))) OR G (NOT FIREABLE(t1652))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t606) U X ((FIREABLE(t1652) OR X (FIREABLE(t409))))) OR G (NOT FIREABLE(t1652))))
lola: processed formula length: 95
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 13 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 106206 markings, 474849 edges, 21241 markings/sec, 0 secs
lola: 210965 markings, 943249 edges, 20952 markings/sec, 5 secs
lola: 312918 markings, 1410289 edges, 20391 markings/sec, 10 secs
lola: 412356 markings, 1880693 edges, 19888 markings/sec, 15 secs
lola: 493838 markings, 2352753 edges, 16296 markings/sec, 20 secs
lola: 588545 markings, 2821345 edges, 18941 markings/sec, 25 secs
lola: 688539 markings, 3283940 edges, 19999 markings/sec, 30 secs
lola: 773098 markings, 3745564 edges, 16912 markings/sec, 35 secs
lola: 849492 markings, 4207195 edges, 15279 markings/sec, 40 secs
lola: 922643 markings, 4672691 edges, 14630 markings/sec, 45 secs
lola: 992499 markings, 5132579 edges, 13971 markings/sec, 50 secs
lola: 1077895 markings, 5594060 edges, 17079 markings/sec, 55 secs
lola: 1147185 markings, 6060070 edges, 13858 markings/sec, 60 secs
lola: 1224463 markings, 6520886 edges, 15456 markings/sec, 65 secs
lola: 1307467 markings, 6981607 edges, 16601 markings/sec, 70 secs
lola: 1374263 markings, 7440887 edges, 13359 markings/sec, 75 secs
lola: 1453710 markings, 7906896 edges, 15889 markings/sec, 80 secs
lola: 1523211 markings, 8368055 edges, 13900 markings/sec, 85 secs
lola: 1610720 markings, 8832478 edges, 17502 markings/sec, 90 secs
lola: 1691556 markings, 9303087 edges, 16167 markings/sec, 95 secs
lola: 1778149 markings, 9766896 edges, 17319 markings/sec, 100 secs
lola: 1857242 markings, 10201779 edges, 15819 markings/sec, 105 secs
lola: 1940613 markings, 10673756 edges, 16674 markings/sec, 110 secs
lola: 2025606 markings, 11144940 edges, 16999 markings/sec, 115 secs
lola: 2108621 markings, 11615879 edges, 16603 markings/sec, 120 secs
lola: 2180311 markings, 12086547 edges, 14338 markings/sec, 125 secs
lola: 2253958 markings, 12557830 edges, 14729 markings/sec, 130 secs
lola: 2336680 markings, 13027833 edges, 16544 markings/sec, 135 secs
lola: 2413167 markings, 13488905 edges, 15297 markings/sec, 140 secs
lola: 2488450 markings, 13951568 edges, 15057 markings/sec, 145 secs
lola: 2550814 markings, 14409652 edges, 12473 markings/sec, 150 secs
lola: 2617716 markings, 14872471 edges, 13380 markings/sec, 155 secs
lola: 2680013 markings, 15330204 edges, 12459 markings/sec, 160 secs
lola: 2746769 markings, 15792487 edges, 13351 markings/sec, 165 secs
lola: 2809036 markings, 16249941 edges, 12453 markings/sec, 170 secs
lola: 2875779 markings, 16711887 edges, 13349 markings/sec, 175 secs
lola: 2937996 markings, 17169638 edges, 12443 markings/sec, 180 secs
lola: 3004347 markings, 17631791 edges, 13270 markings/sec, 185 secs
lola: 3066507 markings, 18089128 edges, 12432 markings/sec, 190 secs
lola: 3132994 markings, 18550968 edges, 13297 markings/sec, 195 secs
lola: 3195522 markings, 19009770 edges, 12506 markings/sec, 200 secs
lola: 3259690 markings, 19468106 edges, 12834 markings/sec, 205 secs
lola: 3332367 markings, 19934573 edges, 14535 markings/sec, 210 secs
lola: 3402371 markings, 20405570 edges, 14001 markings/sec, 215 secs
lola: 3486652 markings, 20879161 edges, 16856 markings/sec, 220 secs
lola: 3572861 markings, 21351691 edges, 17242 markings/sec, 225 secs
lola: 3655650 markings, 21822940 edges, 16558 markings/sec, 230 secs
lola: 3741817 markings, 22295664 edges, 17233 markings/sec, 235 secs
lola: 3825104 markings, 22769565 edges, 16657 markings/sec, 240 secs
lola: 3896048 markings, 23243337 edges, 14189 markings/sec, 245 secs
lola: 3970482 markings, 23716107 edges, 14887 markings/sec, 250 secs
lola: 4055568 markings, 24189871 edges, 17017 markings/sec, 255 secs
lola: 4125518 markings, 24620272 edges, 13990 markings/sec, 260 secs
lola: 4201002 markings, 25084233 edges, 15097 markings/sec, 265 secs
lola: 4264650 markings, 25548059 edges, 12730 markings/sec, 270 secs
lola: 4331954 markings, 26012814 edges, 13461 markings/sec, 275 secs
lola: 4395037 markings, 26474122 edges, 12617 markings/sec, 280 secs
lola: 4462215 markings, 26938410 edges, 13436 markings/sec, 285 secs
lola: 4525007 markings, 27398234 edges, 12558 markings/sec, 290 secs
lola: 4591649 markings, 27860005 edges, 13328 markings/sec, 295 secs
lola: 4654663 markings, 28321050 edges, 12603 markings/sec, 300 secs
lola: 4721350 markings, 28784313 edges, 13337 markings/sec, 305 secs
lola: 4784306 markings, 29244935 edges, 12591 markings/sec, 310 secs
lola: 4851481 markings, 29709357 edges, 13435 markings/sec, 315 secs
lola: 4914415 markings, 30169967 edges, 12587 markings/sec, 320 secs
lola: 4976605 markings, 30631402 edges, 12438 markings/sec, 325 secs
lola: 5050290 markings, 31100032 edges, 14737 markings/sec, 330 secs
lola: 5120251 markings, 31568954 edges, 13992 markings/sec, 335 secs
lola: 5193690 markings, 32041244 edges, 14688 markings/sec, 340 secs
lola: 5264000 markings, 32515883 edges, 14062 markings/sec, 345 secs
lola: 5336923 markings, 32983274 edges, 14585 markings/sec, 350 secs
lola: 5410237 markings, 33452167 edges, 14663 markings/sec, 355 secs
lola: 5480892 markings, 33923173 edges, 14131 markings/sec, 360 secs
lola: 5549851 markings, 34394242 edges, 13792 markings/sec, 365 secs
lola: 5609984 markings, 34860045 edges, 12027 markings/sec, 370 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown no yes no yes unknown unknown unknown
lola: memory consumption: 828800 KB
lola: time consumption: 1291 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 379 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t1513) AND (FIREABLE(t1400) OR FIREABLE(t1369))) U X (F (FIREABLE(t497)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t1513) AND (FIREABLE(t1400) OR FIREABLE(t1369))) U X (F (FIREABLE(t497)))))
lola: processed formula length: 90
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 155 markings, 155 edges
lola: ========================================
lola: subprocess 11 will run for 455 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(t267))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(t267))))
lola: processed formula length: 26
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 147 markings, 148 edges
lola: ========================================
lola: subprocess 12 will run for 569 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t565))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t565))))
lola: processed formula length: 26
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 146 markings, 146 edges
lola: ========================================
lola: subprocess 13 will run for 759 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((G (FIREABLE(t1681)) AND F (FIREABLE(t1211)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((G (FIREABLE(t1681)) AND F (FIREABLE(t1211)))))
lola: processed formula length: 53
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 146 markings, 146 edges
lola: ========================================
lola: subprocess 14 will run for 1139 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t1676) OR ((FIREABLE(t1676) AND (FIREABLE(t1474) U FIREABLE(t1039))) OR G (F ((FIREABLE(t1039) AND F (FIREABLE(t1676))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t1676) OR ((FIREABLE(t1676) AND (FIREABLE(t1474) U FIREABLE(t1039))) OR G (F ((FIREABLE(t1039) AND F (FIREABLE(t1676))))))))
lola: processed formula length: 137
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 146 markings, 146 edges
lola: ========================================
lola: subprocess 15 will run for 2279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t1161) AND A (G (F ((FIREABLE(t1169) AND G (FIREABLE(t818)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t1161)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t1161)
lola: processed formula length: 15
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A (G (NOT FIREABLE(t1087))) AND A (X (G ((NOT FIREABLE(t1158) AND X (F ((NOT FIREABLE(t409) OR F (NOT FIREABLE(t1158))))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t1087)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (NOT FIREABLE(t1087)))
lola: processed formula length: 27
lola: 96 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(t1087)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to LTLFireability-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file LTLFireability-16-0.sara.
sara: error: :3755: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: sara is running 0 secs || 82588 markings, 244180 edges, 16518 markings/sec, 0 secs
lola: sara is running 5 secs || 157654 markings, 497202 edges, 15013 markings/sec, 5 secs
lola: sara is running 10 secs || 229814 markings, 750120 edges, 14432 markings/sec, 10 secs
lola: sara is running 15 secs || 311066 markings, 995121 edges, 16250 markings/sec, 15 secs
lola: sara is running 20 secs || 386544 markings, 1246623 edges, 15096 markings/sec, 20 secs
lola: sara is running 25 secs || 457976 markings, 1496947 edges, 14286 markings/sec, 25 secs
lola: sara is running 30 secs || 551877 markings, 1715956 edges, 18780 markings/sec, 30 secs
lola: sara is running 35 secs || 641720 markings, 1958186 edges, 17969 markings/sec, 35 secs
lola: sara is running 40 secs || 731238 markings, 2183848 edges, 17904 markings/sec, 40 secs
lola: sara is running 45 secs || 815986 markings, 2419868 edges, 16950 markings/sec, 45 secs
lola: sara is running 50 secs || 899777 markings, 2649231 edges, 16758 markings/sec, 50 secs
lola: sara is running 55 secs || 977366 markings, 2903088 edges, 15518 markings/sec, 55 secs
lola: sara is running 60 secs || 1054599 markings, 3178013 edges, 15447 markings/sec, 60 secs
lola: sara is running 65 secs || 1127378 markings, 3454795 edges, 14556 markings/sec, 65 secs
lola: sara is running 70 secs || 1205348 markings, 3703992 edges, 15594 markings/sec, 70 secs
lola: sara is running 75 secs || 1271985 markings, 3984453 edges, 13327 markings/sec, 75 secs
lola: sara is running 80 secs || 1345259 markings, 4235165 edges, 14655 markings/sec, 80 secs
lola: sara is running 85 secs || 1431131 markings, 4435978 edges, 17174 markings/sec, 85 secs
lola: sara is running 90 secs || 1513323 markings, 4659370 edges, 16438 markings/sec, 90 secs
lola: sara is running 95 secs || 1594388 markings, 4868721 edges, 16213 markings/sec, 95 secs
lola: sara is running 100 secs || 1674795 markings, 5084558 edges, 16081 markings/sec, 100 secs
lola: sara is running 105 secs || 1752780 markings, 5295711 edges, 15597 markings/sec, 105 secs
lola: sara is running 110 secs || 1822543 markings, 5554707 edges, 13953 markings/sec, 110 secs
lola: sara is running 115 secs || 1891387 markings, 5842884 edges, 13769 markings/sec, 115 secs
lola: sara is running 120 secs || 1951901 markings, 6151202 edges, 12103 markings/sec, 120 secs
lola: sara is running 125 secs || 2015059 markings, 6446190 edges, 12632 markings/sec, 125 secs
lola: sara is running 130 secs || 2083319 markings, 6718263 edges, 13652 markings/sec, 130 secs
lola: sara is running 135 secs || 2139064 markings, 7023259 edges, 11149 markings/sec, 135 secs
lola: sara is running 140 secs || 2199936 markings, 7310792 edges, 12174 markings/sec, 140 secs
lola: sara is running 145 secs || 2269536 markings, 7551975 edges, 13920 markings/sec, 145 secs
lola: sara is running 150 secs || 2344870 markings, 7794695 edges, 15067 markings/sec, 150 secs
lola: sara is running 155 secs || 2411463 markings, 8061936 edges, 13319 markings/sec, 155 secs
lola: sara is running 160 secs || 2480197 markings, 8312651 edges, 13747 markings/sec, 160 secs
lola: sara is running 165 secs || 2549766 markings, 8564073 edges, 13914 markings/sec, 165 secs
lola: sara is running 170 secs || 2614414 markings, 8812514 edges, 12930 markings/sec, 170 secs
lola: sara is running 175 secs || 2683747 markings, 9053754 edges, 13867 markings/sec, 175 secs
lola: sara is running 180 secs || 2758360 markings, 9297717 edges, 14923 markings/sec, 180 secs
lola: sara is running 185 secs || 2827131 markings, 9560613 edges, 13754 markings/sec, 185 secs
lola: sara is running 190 secs || 2896338 markings, 9811681 edges, 13841 markings/sec, 190 secs
lola: sara is running 195 secs || 2968693 markings, 10046283 edges, 14471 markings/sec, 195 secs
lola: sara is running 200 secs || 3031098 markings, 10306977 edges, 12481 markings/sec, 200 secs
lola: sara is running 205 secs || 3098072 markings, 10550882 edges, 13395 markings/sec, 205 secs
lola: sara is running 210 secs || 3169759 markings, 10785817 edges, 14337 markings/sec, 210 secs
lola: sara is running 215 secs || 3243758 markings, 11033228 edges, 14800 markings/sec, 215 secs
lola: sara is running 220 secs || 3309111 markings, 11299392 edges, 13071 markings/sec, 220 secs
lola: sara is running 225 secs || 3381307 markings, 11536408 edges, 14439 markings/sec, 225 secs
lola: sara is running 230 secs || 3441439 markings, 11776905 edges, 12026 markings/sec, 230 secs
lola: sara is running 235 secs || 3508508 markings, 12027248 edges, 13414 markings/sec, 235 secs
lola: sara is running 240 secs || 3578973 markings, 12261248 edges, 14093 markings/sec, 240 secs
lola: sara is running 245 secs || 3654414 markings, 12506095 edges, 15088 markings/sec, 245 secs
lola: sara is running 250 secs || 3721376 markings, 12772136 edges, 13392 markings/sec, 250 secs
lola: sara is running 255 secs || 3790113 markings, 13022711 edges, 13747 markings/sec, 255 secs
lola: sara is running 260 secs || 3860972 markings, 13267507 edges, 14172 markings/sec, 260 secs
lola: sara is running 265 secs || 3925153 markings, 13520214 edges, 12836 markings/sec, 265 secs
lola: sara is running 270 secs || 3998168 markings, 13751840 edges, 14603 markings/sec, 270 secs
lola: sara is running 275 secs || 4086690 markings, 13958880 edges, 17704 markings/sec, 275 secs
lola: sara is running 280 secs || 4168968 markings, 14184527 edges, 16456 markings/sec, 280 secs
lola: sara is running 285 secs || 4252725 markings, 14396274 edges, 16751 markings/sec, 285 secs
lola: sara is running 290 secs || 4331716 markings, 14618046 edges, 15798 markings/sec, 290 secs
lola: sara is running 295 secs || 4410489 markings, 14830434 edges, 15755 markings/sec, 295 secs
lola: sara is running 300 secs || 4495327 markings, 15049320 edges, 16968 markings/sec, 300 secs
lola: sara is running 305 secs || 4585088 markings, 15277613 edges, 17952 markings/sec, 305 secs
lola: sara is running 310 secs || 4660486 markings, 15506211 edges, 15080 markings/sec, 310 secs
lola: sara is running 315 secs || 4730604 markings, 15756134 edges, 14024 markings/sec, 315 secs
lola: sara is running 320 secs || 4808257 markings, 15982561 edges, 15531 markings/sec, 320 secs
lola: sara is running 325 secs || 4879346 markings, 16209711 edges, 14218 markings/sec, 325 secs
lola: sara is running 330 secs || 4948736 markings, 16440848 edges, 13878 markings/sec, 330 secs
lola: sara is running 335 secs || 5020409 markings, 16661043 edges, 14335 markings/sec, 335 secs
lola: sara is running 340 secs || 5096733 markings, 16863581 edges, 15265 markings/sec, 340 secs
lola: sara is running 345 secs || 5176235 markings, 17071344 edges, 15900 markings/sec, 345 secs
lola: sara is running 350 secs || 5244310 markings, 17321568 edges, 13615 markings/sec, 350 secs
lola: sara is running 355 secs || 5319216 markings, 17580255 edges, 14981 markings/sec, 355 secs
lola: sara is running 360 secs || 5386528 markings, 17827956 edges, 13462 markings/sec, 360 secs
lola: sara is running 365 secs || 5461436 markings, 18088424 edges, 14982 markings/sec, 365 secs
lola: sara is running 370 secs || 5528241 markings, 18334976 edges, 13361 markings/sec, 370 secs
lola: sara is running 375 secs || 5604075 markings, 18593986 edges, 15167 markings/sec, 375 secs
lola: sara is running 380 secs || 5671331 markings, 18841030 edges, 13451 markings/sec, 380 secs
lola: sara is running 385 secs || 5746340 markings, 19100035 edges, 15002 markings/sec, 385 secs
lola: sara is running 390 secs || 5823525 markings, 19338016 edges, 15437 markings/sec, 390 secs
lola: sara is running 395 secs || 5900350 markings, 19572208 edges, 15365 markings/sec, 395 secs
lola: sara is running 400 secs || 5975014 markings, 19806469 edges, 14933 markings/sec, 400 secs
lola: sara is running 405 secs || 6042663 markings, 20044218 edges, 13530 markings/sec, 405 secs
lola: sara is running 410 secs || 6115273 markings, 20270188 edges, 14522 markings/sec, 410 secs
lola: sara is running 415 secs || 6183929 markings, 20512701 edges, 13731 markings/sec, 415 secs
lola: sara is running 420 secs || 6251306 markings, 20755448 edges, 13475 markings/sec, 420 secs
lola: sara is running 425 secs || 6318562 markings, 20989256 edges, 13451 markings/sec, 425 secs
lola: sara is running 430 secs || 6388848 markings, 21219558 edges, 14057 markings/sec, 430 secs
lola: sara is running 435 secs || 6459554 markings, 21463017 edges, 14141 markings/sec, 435 secs
lola: sara is running 440 secs || 6526625 markings, 21701079 edges, 13414 markings/sec, 440 secs
lola: sara is running 445 secs || 6597641 markings, 21942032 edges, 14203 markings/sec, 445 secs
lola: sara is running 450 secs || 6668951 markings, 22179839 edges, 14262 markings/sec, 450 secs
lola: sara is running 455 secs || 6747517 markings, 22413637 edges, 15713 markings/sec, 455 secs
lola: sara is running 460 secs || 6817322 markings, 22654710 edges, 13961 markings/sec, 460 secs
lola: sara is running 465 secs || 6887237 markings, 22911686 edges, 13983 markings/sec, 465 secs
lola: sara is running 470 secs || 6963677 markings, 23146218 edges, 15288 markings/sec, 470 secs
lola: sara is running 475 secs || 7038384 markings, 23400905 edges, 14941 markings/sec, 475 secs
lola: sara is running 480 secs || 7112757 markings, 23648284 edges, 14875 markings/sec, 480 secs
lola: sara is running 485 secs || 7188513 markings, 23897430 edges, 15151 markings/sec, 485 secs
lola: sara is running 490 secs || 7268034 markings, 24155852 edges, 15904 markings/sec, 490 secs
lola: sara is running 495 secs || 7344604 markings, 24380762 edges, 15314 markings/sec, 495 secs
lola: sara is running 500 secs || 7412788 markings, 24620271 edges, 13637 markings/sec, 500 secs
lola: sara is running 505 secs || 7472532 markings, 24884535 edges, 11949 markings/sec, 505 secs
lola: sara is running 510 secs || 7543753 markings, 25111522 edges, 14244 markings/sec, 510 secs
lola: sara is running 515 secs || 7612057 markings, 25329429 edges, 13661 markings/sec, 515 secs
lola: sara is running 520 secs || 7679678 markings, 25550876 edges, 13524 markings/sec, 520 secs
lola: sara is running 525 secs || 7738280 markings, 25805019 edges, 11720 markings/sec, 525 secs
lola: sara is running 530 secs || 7798799 markings, 26048590 edges, 12104 markings/sec, 530 secs
lola: sara is running 535 secs || 7868089 markings, 26283660 edges, 13858 markings/sec, 535 secs
lola: sara is running 540 secs || 7949381 markings, 26543193 edges, 16258 markings/sec, 540 secs
lola: sara is running 545 secs || 8017982 markings, 26780815 edges, 13720 markings/sec, 545 secs
lola: sara is running 550 secs || 8084578 markings, 27015516 edges, 13319 markings/sec, 550 secs
lola: sara is running 555 secs || 8144103 markings, 27209853 edges, 11905 markings/sec, 555 secs
lola: sara is running 560 secs || 8219518 markings, 27421957 edges, 15083 markings/sec, 560 secs
lola: sara is running 565 secs || 8287555 markings, 27645795 edges, 13607 markings/sec, 565 secs
lola: sara is running 570 secs || 8347693 markings, 27892749 edges, 12028 markings/sec, 570 secs
lola: sara is running 575 secs || 8404960 markings, 28158875 edges, 11453 markings/sec, 575 secs
lola: sara is running 580 secs || 8462500 markings, 28425504 edges, 11508 markings/sec, 580 secs
lola: sara is running 585 secs || 8520335 markings, 28690489 edges, 11567 markings/sec, 585 secs
lola: sara is running 590 secs || 8587175 markings, 28940221 edges, 13368 markings/sec, 590 secs
lola: sara is running 595 secs || 8646614 markings, 29200656 edges, 11888 markings/sec, 595 secs
lola: sara is running 600 secs || 8711182 markings, 29427395 edges, 12914 markings/sec, 600 secs
lola: sara is running 605 secs || 8773107 markings, 29664157 edges, 12385 markings/sec, 605 secs
lola: sara is running 610 secs || 8836874 markings, 29919369 edges, 12753 markings/sec, 610 secs
lola: sara is running 615 secs || 8910634 markings, 30144941 edges, 14752 markings/sec, 615 secs
lola: sara is running 620 secs || 8989648 markings, 30344249 edges, 15803 markings/sec, 620 secs
lola: sara is running 625 secs || 9072364 markings, 30564549 edges, 16543 markings/sec, 625 secs
lola: sara is running 630 secs || 9144109 markings, 30811501 edges, 14349 markings/sec, 630 secs
lola: sara is running 635 secs || 9212317 markings, 31064524 edges, 13642 markings/sec, 635 secs
lola: sara is running 640 secs || 9272623 markings, 31329260 edges, 12061 markings/sec, 640 secs
lola: sara is running 645 secs || 9345608 markings, 31579272 edges, 14597 markings/sec, 645 secs
lola: sara is running 650 secs || 9422664 markings, 31836079 edges, 15411 markings/sec, 650 secs
lola: sara is running 655 secs || 9495604 markings, 32088916 edges, 14588 markings/sec, 655 secs
lola: sara is running 660 secs || 9575404 markings, 32339688 edges, 15960 markings/sec, 660 secs
lola: sara is running 665 secs || 9664833 markings, 32566974 edges, 17886 markings/sec, 665 secs
lola: sara is running 670 secs || 9735298 markings, 32811964 edges, 14093 markings/sec, 670 secs
lola: sara is running 675 secs || 9801757 markings, 33047293 edges, 13292 markings/sec, 675 secs
lola: sara is running 680 secs || 9865966 markings, 33306528 edges, 12842 markings/sec, 680 secs
lola: sara is running 685 secs || 9929838 markings, 33536331 edges, 12774 markings/sec, 685 secs
lola: sara is running 690 secs || 9998266 markings, 33778364 edges, 13686 markings/sec, 690 secs
lola: sara is running 695 secs || 10061051 markings, 34022654 edges, 12557 markings/sec, 695 secs
lola: sara is running 700 secs || 10119207 markings, 34272166 edges, 11631 markings/sec, 700 secs
lola: sara is running 705 secs || 10194416 markings, 34534602 edges, 15042 markings/sec, 705 secs
lola: sara is running 710 secs || 10271685 markings, 34800296 edges, 15454 markings/sec, 710 secs
lola: sara is running 715 secs || 10340549 markings, 35071667 edges, 13773 markings/sec, 715 secs
lola: sara is running 720 secs || 10405532 markings, 35311824 edges, 12997 markings/sec, 720 secs
lola: sara is running 725 secs || 10452098 markings, 35599804 edges, 9313 markings/sec, 725 secs
lola: sara is running 730 secs || 10514479 markings, 35816413 edges, 12476 markings/sec, 730 secs
lola: sara is running 735 secs || 10581537 markings, 36065236 edges, 13412 markings/sec, 735 secs
lola: sara is running 740 secs || 10633541 markings, 36332805 edges, 10401 markings/sec, 740 secs
lola: sara is running 745 secs || 10699896 markings, 36583321 edges, 13271 markings/sec, 745 secs
lola: sara is running 750 secs || 10765754 markings, 36826680 edges, 13172 markings/sec, 750 secs
lola: sara is running 755 secs || 10828003 markings, 37080311 edges, 12450 markings/sec, 755 secs
lola: sara is running 760 secs || 10894960 markings, 37333543 edges, 13391 markings/sec, 760 secs
lola: sara is running 765 secs || 10966577 markings, 37582658 edges, 14323 markings/sec, 765 secs
lola: sara is running 770 secs || 11036391 markings, 37824990 edges, 13963 markings/sec, 770 secs
lola: sara is running 775 secs || 11105393 markings, 38099798 edges, 13800 markings/sec, 775 secs
lola: sara is running 780 secs || 11178951 markings, 38361359 edges, 14712 markings/sec, 780 secs
lola: sara is running 785 secs || 11252274 markings, 38631813 edges, 14665 markings/sec, 785 secs
lola: sara is running 790 secs || 11322757 markings, 38902670 edges, 14097 markings/sec, 790 secs
lola: sara is running 795 secs || 11397348 markings, 39170858 edges, 14918 markings/sec, 795 secs
lola: sara is running 800 secs || 11462700 markings, 39434752 edges, 13070 markings/sec, 800 secs
lola: sara is running 805 secs || 11533259 markings, 39704875 edges, 14112 markings/sec, 805 secs
lola: sara is running 810 secs || 11611819 markings, 39965783 edges, 15712 markings/sec, 810 secs
lola: sara is running 815 secs || 11687370 markings, 40245826 edges, 15110 markings/sec, 815 secs
lola: sara is running 820 secs || 11749407 markings, 40500976 edges, 12407 markings/sec, 820 secs
lola: sara is running 825 secs || 11817923 markings, 40756998 edges, 13703 markings/sec, 825 secs
lola: sara is running 830 secs || 11890063 markings, 41022516 edges, 14428 markings/sec, 830 secs
lola: sara is running 835 secs || 11962404 markings, 41289906 edges, 14468 markings/sec, 835 secs
lola: sara is running 840 secs || 12034395 markings, 41531705 edges, 14398 markings/sec, 840 secs
lola: sara is running 845 secs || 12111152 markings, 41794265 edges, 15351 markings/sec, 845 secs
lola: sara is running 850 secs || 12185774 markings, 42059774 edges, 14924 markings/sec, 850 secs
lola: sara is running 855 secs || 12262402 markings, 42321509 edges, 15326 markings/sec, 855 secs
lola: sara is running 860 secs || 12341420 markings, 42585721 edges, 15804 markings/sec, 860 secs
lola: sara is running 865 secs || 12419962 markings, 42849725 edges, 15708 markings/sec, 865 secs
lola: sara is running 870 secs || 12493998 markings, 43121882 edges, 14807 markings/sec, 870 secs
lola: sara is running 875 secs || 12539003 markings, 43448823 edges, 9001 markings/sec, 875 secs
lola: sara is running 880 secs || 12616905 markings, 43709598 edges, 15580 markings/sec, 880 secs
lola: sara is running 885 secs || 12693711 markings, 43971781 edges, 15361 markings/sec, 885 secs
lola: sara is running 890 secs || 12765659 markings, 44220962 edges, 14390 markings/sec, 890 secs
lola: sara is running 895 secs || 12839248 markings, 44487435 edges, 14718 markings/sec, 895 secs
lola: sara is running 900 secs || 12910189 markings, 44760795 edges, 14188 markings/sec, 900 secs
lola: sara is running 905 secs || 12987735 markings, 45022950 edges, 15509 markings/sec, 905 secs
lola: sara is running 910 secs || 13057594 markings, 45293613 edges, 13972 markings/sec, 910 secs
lola: sara is running 915 secs || 13106404 markings, 45564465 edges, 9762 markings/sec, 915 secs
lola: sara is running 920 secs || 13116916 markings, 45909880 edges, 2102 markings/sec, 920 secs
lola: sara is running 925 secs || 13142566 markings, 46230740 edges, 5130 markings/sec, 925 secs
lola: sara is running 930 secs || 13221079 markings, 46491157 edges, 15703 markings/sec, 930 secs
lola: sara is running 935 secs || 13302100 markings, 46748593 edges, 16204 markings/sec, 935 secs
lola: sara is running 940 secs || 13377284 markings, 47015435 edges, 15037 markings/sec, 940 secs
lola: sara is running 945 secs || 13449462 markings, 47292250 edges, 14436 markings/sec, 945 secs
lola: sara is running 950 secs || 13528854 markings, 47553869 edges, 15878 markings/sec, 950 secs
lola: sara is running 955 secs || 13606399 markings, 47821829 edges, 15509 markings/sec, 955 secs
lola: sara is running 960 secs || 13642715 markings, 48132095 edges, 7263 markings/sec, 960 secs
lola: sara is running 965 secs || 13698439 markings, 48386738 edges, 11145 markings/sec, 965 secs
lola: sara is running 970 secs || 13781435 markings, 48593662 edges, 16599 markings/sec, 970 secs
lola: sara is running 975 secs || 13852060 markings, 48824739 edges, 14125 markings/sec, 975 secs
lola: sara is running 980 secs || 13921176 markings, 49067244 edges, 13823 markings/sec, 980 secs
lola: sara is running 985 secs || 13991983 markings, 49310528 edges, 14161 markings/sec, 985 secs
lola: sara is running 990 secs || 14058606 markings, 49552903 edges, 13325 markings/sec, 990 secs
lola: sara is running 995 secs || 14129706 markings, 49797931 edges, 14220 markings/sec, 995 secs
lola: sara is running 1000 secs || 14193598 markings, 50034406 edges, 12778 markings/sec, 1000 secs
lola: sara is running 1005 secs || 14266935 markings, 50285978 edges, 14667 markings/sec, 1005 secs
lola: sara is running 1010 secs || 14333610 markings, 50525752 edges, 13335 markings/sec, 1010 secs
lola: sara is running 1015 secs || 14405058 markings, 50773335 edges, 14290 markings/sec, 1015 secs
lola: sara is running 1020 secs || 14475109 markings, 51018486 edges, 14010 markings/sec, 1020 secs
lola: sara is running 1025 secs || 14544411 markings, 51267495 edges, 13860 markings/sec, 1025 secs
lola: sara is running 1030 secs || 14617714 markings, 51518751 edges, 14661 markings/sec, 1030 secs
lola: sara is running 1035 secs || 14686521 markings, 51769649 edges, 13761 markings/sec, 1035 secs
lola: sara is running 1040 secs || 14759936 markings, 52021120 edges, 14683 markings/sec, 1040 secs
lola: sara is running 1045 secs || 14826808 markings, 52268164 edges, 13374 markings/sec, 1045 secs
lola: sara is running 1050 secs || 14901492 markings, 52522808 edges, 14937 markings/sec, 1050 secs
lola: sara is running 1055 secs || 14975236 markings, 52717781 edges, 14749 markings/sec, 1055 secs
lola: sara is running 1060 secs || 15054642 markings, 52913786 edges, 15881 markings/sec, 1060 secs
lola: sara is running 1065 secs || 15121253 markings, 53155050 edges, 13322 markings/sec, 1065 secs
lola: sara is running 1070 secs || 15194672 markings, 53408420 edges, 14684 markings/sec, 1070 secs
lola: sara is running 1075 secs || 15263607 markings, 53654461 edges, 13787 markings/sec, 1075 secs
lola: sara is running 1080 secs || 15334698 markings, 53903558 edges, 14218 markings/sec, 1080 secs
lola: sara is running 1085 secs || 15405474 markings, 54150615 edges, 14155 markings/sec, 1085 secs
lola: sara is running 1090 secs || 15474004 markings, 54398206 edges, 13706 markings/sec, 1090 secs
lola: sara is running 1095 secs || 15547222 markings, 54647167 edges, 14644 markings/sec, 1095 secs
lola: sara is running 1100 secs || 15614671 markings, 54894777 edges, 13490 markings/sec, 1100 secs
lola: sara is running 1105 secs || 15688275 markings, 55147747 edges, 14721 markings/sec, 1105 secs
lola: sara is running 1110 secs || 15767003 markings, 55398159 edges, 15746 markings/sec, 1110 secs
lola: sara is running 1115 secs || 15838864 markings, 55657032 edges, 14372 markings/sec, 1115 secs
lola: sara is running 1120 secs || 15908826 markings, 55895284 edges, 13992 markings/sec, 1120 secs
lola: sara is running 1125 secs || 15984022 markings, 56136357 edges, 15039 markings/sec, 1125 secs
lola: sara is running 1130 secs || 16051085 markings, 56384498 edges, 13413 markings/sec, 1130 secs
lola: sara is running 1135 secs || 16122406 markings, 56618089 edges, 14264 markings/sec, 1135 secs
lola: sara is running 1140 secs || 16201695 markings, 56873991 edges, 15858 markings/sec, 1140 secs
lola: sara is running 1145 secs || 16276652 markings, 57128000 edges, 14991 markings/sec, 1145 secs
lola: sara is running 1150 secs || 16345844 markings, 57389387 edges, 13838 markings/sec, 1150 secs
lola: sara is running 1155 secs || 16423888 markings, 57645319 edges, 15609 markings/sec, 1155 secs
lola: sara is running 1160 secs || 16497301 markings, 57899524 edges, 14683 markings/sec, 1160 secs
lola: sara is running 1165 secs || 16568553 markings, 58156166 edges, 14250 markings/sec, 1165 secs
lola: sara is running 1170 secs || 16642230 markings, 58412184 edges, 14735 markings/sec, 1170 secs
lola: sara is running 1175 secs || 16717513 markings, 58657058 edges, 15057 markings/sec, 1175 secs
lola: sara is running 1180 secs || 16786239 markings, 58890336 edges, 13745 markings/sec, 1180 secs
lola: sara is running 1185 secs || 16860006 markings, 59105420 edges, 14753 markings/sec, 1185 secs
lola: sara is running 1190 secs || 16935876 markings, 59327284 edges, 15174 markings/sec, 1190 secs
lola: sara is running 1195 secs || 17002193 markings, 59571375 edges, 13263 markings/sec, 1195 secs
lola: sara is running 1200 secs || 17060779 markings, 59834199 edges, 11717 markings/sec, 1200 secs
lola: sara is running 1205 secs || 17117859 markings, 60100417 edges, 11416 markings/sec, 1205 secs
lola: sara is running 1210 secs || 17173706 markings, 60369516 edges, 11169 markings/sec, 1210 secs
lola: sara is running 1215 secs || 17249267 markings, 60595790 edges, 15112 markings/sec, 1215 secs
lola: sara is running 1220 secs || 17322092 markings, 60807830 edges, 14565 markings/sec, 1220 secs
lola: sara is running 1225 secs || 17386341 markings, 61042068 edges, 12850 markings/sec, 1225 secs
lola: sara is running 1230 secs || 17443276 markings, 61303373 edges, 11387 markings/sec, 1230 secs
lola: sara is running 1235 secs || 17510407 markings, 61524237 edges, 13426 markings/sec, 1235 secs
lola: sara is running 1240 secs || 17573519 markings, 61739017 edges, 12622 markings/sec, 1240 secs
lola: sara is running 1245 secs || 17635040 markings, 61967294 edges, 12304 markings/sec, 1245 secs
lola: sara is running 1250 secs || 17690755 markings, 62217602 edges, 11143 markings/sec, 1250 secs
lola: sara is running 1255 secs || 17753076 markings, 62469491 edges, 12464 markings/sec, 1255 secs
lola: sara is running 1260 secs || 17813600 markings, 62721105 edges, 12105 markings/sec, 1260 secs
lola: sara is running 1265 secs || 17879576 markings, 62958128 edges, 13195 markings/sec, 1265 secs
lola: sara is running 1270 secs || 17939700 markings, 63196502 edges, 12025 markings/sec, 1270 secs
lola: sara is running 1275 secs || 17995998 markings, 63460655 edges, 11260 markings/sec, 1275 secs
lola: sara is running 1280 secs || 18049544 markings, 63711880 edges, 10709 markings/sec, 1280 secs
lola: sara is running 1285 secs || 18106678 markings, 63932224 edges, 11427 markings/sec, 1285 secs
lola: sara is running 1290 secs || 18165321 markings, 64173086 edges, 11729 markings/sec, 1290 secs
lola: sara is running 1295 secs || 18225770 markings, 64418991 edges, 12090 markings/sec, 1295 secs
lola: sara is running 1300 secs || 18288319 markings, 64672076 edges, 12510 markings/sec, 1300 secs
lola: sara is running 1305 secs || 18358584 markings, 64923221 edges, 14053 markings/sec, 1305 secs
lola: sara is running 1310 secs || 18426686 markings, 65184309 edges, 13620 markings/sec, 1310 secs
lola: sara is running 1315 secs || 18493980 markings, 65447676 edges, 13459 markings/sec, 1315 secs
lola: sara is running 1320 secs || 18569228 markings, 65705809 edges, 15050 markings/sec, 1320 secs
lola: sara is running 1325 secs || 18639644 markings, 65973736 edges, 14083 markings/sec, 1325 secs
lola: sara is running 1330 secs || 18710567 markings, 66234898 edges, 14185 markings/sec, 1330 secs
lola: sara is running 1335 secs || 18779381 markings, 66496268 edges, 13763 markings/sec, 1335 secs
lola: sara is running 1340 secs || 18843108 markings, 66745179 edges, 12745 markings/sec, 1340 secs
lola: sara is running 1345 secs || 18911853 markings, 66992944 edges, 13749 markings/sec, 1345 secs
lola: sara is running 1350 secs || 18954122 markings, 67259502 edges, 8454 markings/sec, 1350 secs
lola: sara is running 1355 secs || 19024181 markings, 67518050 edges, 14012 markings/sec, 1355 secs
lola: sara is running 1360 secs || 19087729 markings, 67786580 edges, 12710 markings/sec, 1360 secs
lola: sara is running 1365 secs || 19157544 markings, 68045024 edges, 13963 markings/sec, 1365 secs
lola: sara is running 1370 secs || 19199632 markings, 68339657 edges, 8418 markings/sec, 1370 secs
lola: sara is running 1375 secs || 19249038 markings, 68610003 edges, 9881 markings/sec, 1375 secs
lola: sara is running 1380 secs || 19307177 markings, 68870122 edges, 11628 markings/sec, 1380 secs
lola: sara is running 1385 secs || 19376559 markings, 69112643 edges, 13876 markings/sec, 1385 secs
lola: sara is running 1390 secs || 19447493 markings, 69357616 edges, 14187 markings/sec, 1390 secs
lola: sara is running 1395 secs || 19515394 markings, 69602211 edges, 13580 markings/sec, 1395 secs
lola: sara is running 1400 secs || 19587600 markings, 69850972 edges, 14441 markings/sec, 1400 secs
lola: sara is running 1405 secs || 19653066 markings, 70092691 edges, 13093 markings/sec, 1405 secs
lola: sara is running 1410 secs || 19725777 markings, 70346556 edges, 14542 markings/sec, 1410 secs
lola: sara is running 1415 secs || 19791732 markings, 70584250 edges, 13191 markings/sec, 1415 secs
lola: sara is running 1420 secs || 19864114 markings, 70833554 edges, 14476 markings/sec, 1420 secs
lola: sara is running 1425 secs || 19932537 markings, 71077160 edges, 13685 markings/sec, 1425 secs
lola: sara is running 1430 secs || 20002163 markings, 71320998 edges, 13925 markings/sec, 1430 secs
lola: sara is running 1435 secs || 20081420 markings, 71558710 edges, 15851 markings/sec, 1435 secs
lola: sara is running 1440 secs || 20169583 markings, 71784315 edges, 17633 markings/sec, 1440 secs
lola: sara is running 1445 secs || 20238791 markings, 72032729 edges, 13842 markings/sec, 1445 secs
lola: sara is running 1450 secs || 20296585 markings, 72301913 edges, 11559 markings/sec, 1450 secs
lola: sara is running 1455 secs || 20358133 markings, 72577358 edges, 12310 markings/sec, 1455 secs
lola: sara is running 1460 secs || 20423412 markings, 72812788 edges, 13056 markings/sec, 1460 secs
lola: sara is running 1465 secs || 20495988 markings, 73064245 edges, 14515 markings/sec, 1465 secs
lola: sara is running 1470 secs || 20555589 markings, 73321492 edges, 11920 markings/sec, 1470 secs
lola: sara is running 1475 secs || 20613802 markings, 73582726 edges, 11643 markings/sec, 1475 secs
lola: sara is running 1480 secs || 20675878 markings, 73853124 edges, 12415 markings/sec, 1480 secs
lola: sara is running 1485 secs || 20739784 markings, 74088426 edges, 12781 markings/sec, 1485 secs
lola: sara is running 1490 secs || 20812577 markings, 74337776 edges, 14559 markings/sec, 1490 secs
lola: sara is running 1495 secs || 20879120 markings, 74576060 edges, 13309 markings/sec, 1495 secs
lola: sara is running 1500 secs || 20948912 markings, 74819167 edges, 13958 markings/sec, 1500 secs
lola: sara is running 1505 secs || 21018228 markings, 75060650 edges, 13863 markings/sec, 1505 secs
lola: sara is running 1510 secs || 21085298 markings, 75301664 edges, 13414 markings/sec, 1510 secs
lola: sara is running 1515 secs || 21157795 markings, 75550010 edges, 14499 markings/sec, 1515 secs
lola: sara is running 1520 secs || 21226105 markings, 75799787 edges, 13662 markings/sec, 1520 secs
lola: sara is running 1525 secs || 21298876 markings, 76058919 edges, 14554 markings/sec, 1525 secs
lola: sara is running 1530 secs || 21355183 markings, 76315901 edges, 11261 markings/sec, 1530 secs
lola: sara is running 1535 secs || 21415452 markings, 76584204 edges, 12054 markings/sec, 1535 secs
lola: sara is running 1540 secs || 21480226 markings, 76841937 edges, 12955 markings/sec, 1540 secs
lola: sara is running 1545 secs || 21546249 markings, 77084512 edges, 13205 markings/sec, 1545 secs
lola: sara is running 1550 secs || 21617555 markings, 77330167 edges, 14261 markings/sec, 1550 secs
lola: sara is running 1555 secs || 21690680 markings, 77555591 edges, 14625 markings/sec, 1555 secs
lola: sara is running 1560 secs || 21756332 markings, 77795543 edges, 13130 markings/sec, 1560 secs
lola: sara is running 1565 secs || 21822103 markings, 78024375 edges, 13154 markings/sec, 1565 secs
lola: sara is running 1570 secs || 21884479 markings, 78265791 edges, 12475 markings/sec, 1570 secs
lola: sara is running 1575 secs || 21945377 markings, 78503415 edges, 12180 markings/sec, 1575 secs
lola: sara is running 1580 secs || 22013077 markings, 78742687 edges, 13540 markings/sec, 1580 secs
lola: sara is running 1585 secs || 22088384 markings, 78994955 edges, 15061 markings/sec, 1585 secs
lola: sara is running 1590 secs || 22153053 markings, 79229572 edges, 12934 markings/sec, 1590 secs
lola: sara is running 1595 secs || 22228804 markings, 79480262 edges, 15150 markings/sec, 1595 secs
lola: sara is running 1600 secs || 22294019 markings, 79742112 edges, 13043 markings/sec, 1600 secs
lola: sara is running 1605 secs || 22366993 markings, 79993151 edges, 14595 markings/sec, 1605 secs
lola: sara is running 1610 secs || 22429515 markings, 80235121 edges, 12504 markings/sec, 1610 secs
lola: sara is running 1615 secs || 22495572 markings, 80473482 edges, 13211 markings/sec, 1615 secs
lola: sara is running 1620 secs || 22566801 markings, 80715599 edges, 14246 markings/sec, 1620 secs
lola: sara is running 1625 secs || 22630890 markings, 80952482 edges, 12818 markings/sec, 1625 secs
lola: sara is running 1630 secs || 22702180 markings, 81201006 edges, 14258 markings/sec, 1630 secs
lola: sara is running 1635 secs || 22766947 markings, 81433704 edges, 12953 markings/sec, 1635 secs
lola: sara is running 1640 secs || 22838115 markings, 81677483 edges, 14234 markings/sec, 1640 secs
lola: sara is running 1645 secs || 22907297 markings, 81924155 edges, 13836 markings/sec, 1645 secs
lola: sara is running 1650 secs || 22978380 markings, 82173629 edges, 14217 markings/sec, 1650 secs
lola: sara is running 1655 secs || 23045617 markings, 82429407 edges, 13447 markings/sec, 1655 secs
lola: sara is running 1660 secs || 23100411 markings, 82690218 edges, 10959 markings/sec, 1660 secs
lola: sara is running 1665 secs || 23161611 markings, 82963140 edges, 12240 markings/sec, 1665 secs
lola: sara is running 1670 secs || 23225888 markings, 83205128 edges, 12855 markings/sec, 1670 secs
lola: sara is running 1675 secs || 23294431 markings, 83444766 edges, 13709 markings/sec, 1675 secs
lola: sara is running 1680 secs || 23366163 markings, 83686233 edges, 14346 markings/sec, 1680 secs
lola: sara is running 1685 secs || 23437283 markings, 83909271 edges, 14224 markings/sec, 1685 secs
lola: sara is running 1690 secs || 23505239 markings, 84135970 edges, 13591 markings/sec, 1690 secs
lola: sara is running 1695 secs || 23567511 markings, 84376386 edges, 12454 markings/sec, 1695 secs
lola: sara is running 1700 secs || 23628387 markings, 84617075 edges, 12175 markings/sec, 1700 secs
lola: sara is running 1705 secs || 23690577 markings, 84851210 edges, 12438 markings/sec, 1705 secs
lola: sara is running 1710 secs || 23764790 markings, 85094976 edges, 14843 markings/sec, 1710 secs
lola: sara is running 1715 secs || 23833760 markings, 85340295 edges, 13794 markings/sec, 1715 secs
lola: sara is running 1720 secs || 23904203 markings, 85587909 edges, 14089 markings/sec, 1720 secs
lola: sara is running 1725 secs || 23978083 markings, 85842683 edges, 14776 markings/sec, 1725 secs
lola: sara is running 1730 secs || 24051274 markings, 86094064 edges, 14638 markings/sec, 1730 secs
lola: sara is running 1735 secs || 24110871 markings, 86358879 edges, 11919 markings/sec, 1735 secs
lola: sara is running 1740 secs || 24174805 markings, 86594018 edges, 12787 markings/sec, 1740 secs
lola: sara is running 1745 secs || 24245918 markings, 86838215 edges, 14223 markings/sec, 1745 secs
lola: sara is running 1750 secs || 24313322 markings, 87076129 edges, 13481 markings/sec, 1750 secs
lola: sara is running 1755 secs || 24380225 markings, 87316033 edges, 13381 markings/sec, 1755 secs
lola: sara is running 1760 secs || 24451692 markings, 87558176 edges, 14293 markings/sec, 1760 secs
lola: sara is running 1765 secs || 24516984 markings, 87798991 edges, 13058 markings/sec, 1765 secs
lola: sara is running 1770 secs || 24588004 markings, 88045187 edges, 14204 markings/sec, 1770 secs
lola: sara is running 1775 secs || 24652281 markings, 88279181 edges, 12855 markings/sec, 1775 secs
lola: sara is running 1780 secs || 24724065 markings, 88526818 edges, 14357 markings/sec, 1780 secs
lola: sara is running 1785 secs || 24790795 markings, 88764487 edges, 13346 markings/sec, 1785 secs
lola: sara is running 1790 secs || 24859834 markings, 89005705 edges, 13808 markings/sec, 1790 secs
lola: sara is running 1795 secs || 24930335 markings, 89244427 edges, 14100 markings/sec, 1795 secs
lola: sara is running 1800 secs || 24997921 markings, 89467831 edges, 13517 markings/sec, 1800 secs
lola: sara is running 1805 secs || 25061759 markings, 89702232 edges, 12768 markings/sec, 1805 secs
lola: sara is running 1810 secs || 25126105 markings, 89932838 edges, 12869 markings/sec, 1810 secs
lola: sara is running 1815 secs || 25189608 markings, 90161483 edges, 12701 markings/sec, 1815 secs
lola: sara is running 1820 secs || 25247789 markings, 90400312 edges, 11636 markings/sec, 1820 secs
lola: sara is running 1825 secs || 25308973 markings, 90628878 edges, 12237 markings/sec, 1825 secs
lola: sara is running 1830 secs || 25368418 markings, 90853636 edges, 11889 markings/sec, 1830 secs
lola: sara is running 1835 secs || 25433710 markings, 91079310 edges, 13058 markings/sec, 1835 secs
lola: sara is running 1840 secs || 25496263 markings, 91281096 edges, 12511 markings/sec, 1840 secs
lola: sara is running 1845 secs || 25557809 markings, 91504191 edges, 12309 markings/sec, 1845 secs
lola: sara is running 1850 secs || 25636827 markings, 91736254 edges, 15804 markings/sec, 1850 secs
lola: sara is running 1855 secs || 25719352 markings, 91994283 edges, 16505 markings/sec, 1855 secs
lola: sara is running 1860 secs || 25800920 markings, 92253587 edges, 16314 markings/sec, 1860 secs
lola: sara is running 1865 secs || 25876166 markings, 92506674 edges, 15049 markings/sec, 1865 secs
lola: sara is running 1870 secs || 25944965 markings, 92780179 edges, 13760 markings/sec, 1870 secs
lola: sara is running 1875 secs || 26022757 markings, 93046278 edges, 15558 markings/sec, 1875 secs
lola: sara is running 1880 secs || 26096089 markings, 93316446 edges, 14666 markings/sec, 1880 secs
lola: sara is running 1885 secs || 26169476 markings, 93585906 edges, 14677 markings/sec, 1885 secs
lola: sara is running 1890 secs || 26249509 markings, 93827701 edges, 16007 markings/sec, 1890 secs
lola: sara is running 1895 secs || 26330384 markings, 94090687 edges, 16175 markings/sec, 1895 secs
lola: sara is running 1900 secs || 26412527 markings, 94350301 edges, 16429 markings/sec, 1900 secs
lola: sara is running 1905 secs || 26488785 markings, 94617133 edges, 15252 markings/sec, 1905 secs
lola: sara is running 1910 secs || 26560047 markings, 94893672 edges, 14252 markings/sec, 1910 secs
lola: sara is running 1915 secs || 26638219 markings, 95164836 edges, 15634 markings/sec, 1915 secs
lola: sara is running 1920 secs || 26713169 markings, 95440366 edges, 14990 markings/sec, 1920 secs
lola: sara is running 1925 secs || 26788842 markings, 95711113 edges, 15135 markings/sec, 1925 secs
lola: sara is running 1930 secs || 26866623 markings, 95972151 edges, 15556 markings/sec, 1930 secs
lola: sara is running 1935 secs || 26925706 markings, 96218729 edges, 11817 markings/sec, 1935 secs
lola: sara is running 1940 secs || 26997063 markings, 96468253 edges, 14271 markings/sec, 1940 secs
lola: sara is running 1945 secs || 27070901 markings, 96716742 edges, 14768 markings/sec, 1945 secs
lola: sara is running 1950 secs || 27138633 markings, 96959858 edges, 13546 markings/sec, 1950 secs
lola: sara is running 1955 secs || 27215954 markings, 97185206 edges, 15464 markings/sec, 1955 secs
lola: sara is running 1960 secs || 27305085 markings, 97425252 edges, 17826 markings/sec, 1960 secs
lola: sara is running 1965 secs || 27393180 markings, 97649726 edges, 17619 markings/sec, 1965 secs
lola: sara is running 1970 secs || 27479245 markings, 97880721 edges, 17213 markings/sec, 1970 secs
lola: sara is running 1975 secs || 27562658 markings, 98104852 edges, 16683 markings/sec, 1975 secs
lola: sara is running 1980 secs || 27644521 markings, 98320274 edges, 16373 markings/sec, 1980 secs
lola: sara is running 1985 secs || 27735101 markings, 98546209 edges, 18116 markings/sec, 1985 secs
lola: sara is running 1990 secs || 27811026 markings, 98766207 edges, 15185 markings/sec, 1990 secs
lola: sara is running 1995 secs || 27878689 markings, 99013798 edges, 13533 markings/sec, 1995 secs
lola: sara is running 2000 secs || 27953851 markings, 99240555 edges, 15032 markings/sec, 2000 secs
lola: sara is running 2005 secs || 28025548 markings, 99465581 edges, 14339 markings/sec, 2005 secs
lola: sara is running 2010 secs || 28094948 markings, 99695633 edges, 13880 markings/sec, 2010 secs
lola: sara is running 2015 secs || 28164886 markings, 99910127 edges, 13988 markings/sec, 2015 secs
lola: sara is running 2020 secs || 28239269 markings, 100117011 edges, 14877 markings/sec, 2020 secs
lola: sara is running 2025 secs || 28318897 markings, 100313008 edges, 15926 markings/sec, 2025 secs
lola: sara is running 2030 secs || 28386514 markings, 100554331 edges, 13523 markings/sec, 2030 secs
lola: sara is running 2035 secs || 28460371 markings, 100808873 edges, 14771 markings/sec, 2035 secs
lola: sara is running 2040 secs || 28528804 markings, 101057496 edges, 13687 markings/sec, 2040 secs
lola: sara is running 2045 secs || 28601953 markings, 101310482 edges, 14630 markings/sec, 2045 secs
lola: sara is running 2050 secs || 28671169 markings, 101562124 edges, 13843 markings/sec, 2050 secs
lola: sara is running 2055 secs || 28742769 markings, 101812202 edges, 14320 markings/sec, 2055 secs
lola: sara is running 2060 secs || 28813118 markings, 102062309 edges, 14070 markings/sec, 2060 secs
lola: sara is running 2065 secs || 28883171 markings, 102311576 edges, 14011 markings/sec, 2065 secs
lola: sara is running 2070 secs || 28958838 markings, 102563542 edges, 15133 markings/sec, 2070 secs
lola: sara is running 2075 secs || 29032238 markings, 102791722 edges, 14680 markings/sec, 2075 secs
lola: sara is running 2080 secs || 29108635 markings, 103020680 edges, 15279 markings/sec, 2080 secs
lola: sara is running 2085 secs || 29179060 markings, 103254058 edges, 14085 markings/sec, 2085 secs
lola: sara is running 2090 secs || 29245552 markings, 103489469 edges, 13298 markings/sec, 2090 secs
lola: sara is running 2095 secs || 29316649 markings, 103715212 edges, 14219 markings/sec, 2095 secs
lola: sara is running 2100 secs || 29383870 markings, 103953719 edges, 13444 markings/sec, 2100 secs
lola: sara is running 2105 secs || 29451733 markings, 104189488 edges, 13573 markings/sec, 2105 secs
lola: sara is running 2110 secs || 29518503 markings, 104420307 edges, 13354 markings/sec, 2110 secs
lola: sara is running 2115 secs || 29590975 markings, 104652462 edges, 14494 markings/sec, 2115 secs
lola: sara is running 2120 secs || 29658650 markings, 104900071 edges, 13535 markings/sec, 2120 secs
lola: sara is running 2125 secs || 29726842 markings, 105134325 edges, 13638 markings/sec, 2125 secs
lola: sara is running 2130 secs || 29794478 markings, 105369096 edges, 13527 markings/sec, 2130 secs
lola: sara is running 2135 secs || 29870775 markings, 105603884 edges, 15259 markings/sec, 2135 secs
lola: sara is running 2140 secs || 29944286 markings, 105835127 edges, 14702 markings/sec, 2140 secs
lola: sara is running 2145 secs || 30014584 markings, 106081932 edges, 14060 markings/sec, 2145 secs
lola: sara is running 2150 secs || 30084141 markings, 106318142 edges, 13911 markings/sec, 2150 secs
lola: sara is running 2155 secs || 30160278 markings, 106565761 edges, 15227 markings/sec, 2155 secs
lola: sara is running 2160 secs || 30234658 markings, 106818383 edges, 14876 markings/sec, 2160 secs
lola: sara is running 2165 secs || 30307454 markings, 107063981 edges, 14559 markings/sec, 2165 secs
lola: sara is running 2170 secs || 30384687 markings, 107313495 edges, 15447 markings/sec, 2170 secs
lola: sara is running 2175 secs || 30460005 markings, 107564062 edges, 15064 markings/sec, 2175 secs
lola: sara is running 2180 secs || 30538746 markings, 107786124 edges, 15748 markings/sec, 2180 secs
lola: sara is running 2185 secs || 30604215 markings, 108036129 edges, 13094 markings/sec, 2185 secs
lola: sara is running 2190 secs || 30667037 markings, 108291750 edges, 12564 markings/sec, 2190 secs
lola: sara is running 2195 secs || 30737833 markings, 108512457 edges, 14159 markings/sec, 2195 secs
lola: sara is running 2200 secs || 30805362 markings, 108743597 edges, 13506 markings/sec, 2200 secs
lola: sara is running 2205 secs || 30873285 markings, 108968330 edges, 13585 markings/sec, 2205 secs
lola: sara is running 2210 secs || 30929957 markings, 109222795 edges, 11334 markings/sec, 2210 secs
lola: sara is running 2215 secs || 30993910 markings, 109458937 edges, 12791 markings/sec, 2215 secs
lola: sara is running 2220 secs || 31065255 markings, 109697979 edges, 14269 markings/sec, 2220 secs
lola: sara is running 2225 secs || 31142760 markings, 109952836 edges, 15501 markings/sec, 2225 secs
lola: sara is running 2230 secs || 31210828 markings, 110184944 edges, 13614 markings/sec, 2230 secs
lola: sara is running 2235 secs || 31277010 markings, 110417169 edges, 13236 markings/sec, 2235 secs
lola: sara is running 2240 secs || 31341059 markings, 110625186 edges, 12810 markings/sec, 2240 secs
lola: sara is running 2245 secs || 31417175 markings, 110838654 edges, 15223 markings/sec, 2245 secs
lola: sara is running 2250 secs || 31484298 markings, 111067465 edges, 13425 markings/sec, 2250 secs
lola: sara is running 2255 secs || 31542183 markings, 111320447 edges, 11577 markings/sec, 2255 secs
lola: sara is running 2260 secs || 31598380 markings, 111584179 edges, 11239 markings/sec, 2260 secs
lola: sara is running 2265 secs || 31657479 markings, 111841502 edges, 11820 markings/sec, 2265 secs
lola: sara is running 2270 secs || 31716489 markings, 112104970 edges, 11802 markings/sec, 2270 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown no no unknown no no no unknown no yes no yes no unknown no
lola:
preliminary result: unknown unknown no no unknown no no no unknown no yes no yes no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no unknown no no no unknown no yes no yes no unknown no
lola: memory consumption: 2845076 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no unknown no no no unknown no yes no yes no unknown no
lola: memory consumption: 2845076 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

BK_STOP 1590054647574

--------------------
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="CloudDeployment-PT-4b"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is CloudDeployment-PT-4b, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r045-smll-158902068300078"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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