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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4586.930 3570127.00 3629049.00 9561.70 FF?FFFFF??FFF?FF 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-158902068300090.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-7b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068300090
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users 4.0K Mar 30 01:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 30 01:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:02 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.4K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K 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 4.1K Mar 27 08:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 27 08:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 26 08:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:09 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 20M 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-7b-00
FORMULA_NAME CloudDeployment-PT-7b-01
FORMULA_NAME CloudDeployment-PT-7b-02
FORMULA_NAME CloudDeployment-PT-7b-03
FORMULA_NAME CloudDeployment-PT-7b-04
FORMULA_NAME CloudDeployment-PT-7b-05
FORMULA_NAME CloudDeployment-PT-7b-06
FORMULA_NAME CloudDeployment-PT-7b-07
FORMULA_NAME CloudDeployment-PT-7b-08
FORMULA_NAME CloudDeployment-PT-7b-09
FORMULA_NAME CloudDeployment-PT-7b-10
FORMULA_NAME CloudDeployment-PT-7b-11
FORMULA_NAME CloudDeployment-PT-7b-12
FORMULA_NAME CloudDeployment-PT-7b-13
FORMULA_NAME CloudDeployment-PT-7b-14
FORMULA_NAME CloudDeployment-PT-7b-15

=== Now, execution of the tool begins

BK_START 1590067211499

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

FORMULA CloudDeployment-PT-7b-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

FORMULA CloudDeployment-PT-7b-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA CloudDeployment-PT-7b-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA CloudDeployment-PT-7b-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-7b-03 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-7b

{
"exit":
{
"memory": 1961596,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 5,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 3,
"tneg": 0,
"transition_references": 5,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((((NOT FIREABLE(t17081) OR X (NOT FIREABLE(t3500))) R X (FIREABLE(t3500))) OR G ((NOT FIREABLE(t17081) OR G (NOT FIREABLE(t3500))))))",
"processed_size": 136,
"rewrites": 103
},
"result":
{
"preliminary_value": "no no unknown no no no no no unknown unknown no no no unknown no no "
},
"task":
{
"buchi":
{
"states": 11
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 22023/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2271
lola: finding significant places
lola: 2271 places, 19752 transitions, 2242 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 (X (G (FIREABLE(t14070)))) : A ((X (G (X (FIREABLE(t19136)))) OR X (F (FIREABLE(t7368))))) : A (X (F (X (NOT(F ((FIREABLE(t1308) AND G (FIREABLE(t8561))))))))) : A (G ((((FIREABLE(t17767) OR FIREABLE(t19322)) OR F ((FIREABLE(t17767) U FIREABLE(t19090)))) OR (FIREABLE(t19322) U FIREABLE(t13484))))) : A (G (X (F ((FIREABLE(t10214) OR G ((F (FIREABLE(t4667)) OR (G (FIREABLE(t9817)) AND NOT(F (FIREABLE(t12558))))))))))) : A (((FIREABLE(t9083) OR F (FIREABLE(t818))) U (X (FIREABLE(t755)) U G (FIREABLE(t818))))) : A (((NOT(G (FIREABLE(t13600))) OR (X (G (FIREABLE(t12711))) U G (FIREABLE(t13442)))) U G (FIREABLE(t13600)))) : A (X ((((NOT FIREABLE(t5337) OR NOT FIREABLE(t12083)) U X (FIREABLE(t12988))) AND NOT((G (FIREABLE(t12988)) AND F (FIREABLE(t12758))))))) : A (NOT((((FIREABLE(t17081) AND X (FIREABLE(t3500))) U X (NOT FIREABLE(t3500))) AND F ((FIREABLE(t17081) AND F (FIREABLE(t3500))))))) : A (X (X (X (G (NOT((FIREABLE(t1572) U FIREABLE(t5186)))))))) : A (((NOT FIREABLE(t9716) U (FIREABLE(t11310) OR NOT((FIREABLE(t5065) OR X (FIREABLE(t5065)))))) AND F (FIREABLE(t9716)))) : A (X ((FIREABLE(t12556) OR F (FIREABLE(t16626))))) : A (F (NOT(X (X (X (NOT((F (G (X (FIREABLE(t15605)))) U G (X (FIREABLE(t15605))))))))))) : A (NOT(X (F ((F ((FIREABLE(t10131) OR FIREABLE(t19341) OR FIREABLE(t17121))) U F (G (FIREABLE(t10131)))))))) : A ((X ((FIREABLE(t17228) AND G (FIREABLE(t16921)))) U (F (FIREABLE(t16710)) AND (NOT(G (FIREABLE(t15345))) U FIREABLE(t16710))))) : A ((NOT((FIREABLE(t18874) OR G (NOT((FIREABLE(t16801) U FIREABLE(t6104)))))) AND X (X (X (FIREABLE(t10081))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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:522
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: 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:315
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:380
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:536
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 (X (G (FIREABLE(t14070))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (FIREABLE(t14070))))
lola: processed formula length: 28
lola: 103 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: 266 markings, 266 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((X (G (FIREABLE(t19136))) OR F (FIREABLE(t7368)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((X (G (FIREABLE(t19136))) OR F (FIREABLE(t7368)))))
lola: processed formula length: 57
lola: 103 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: 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: 266 markings, 266 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t9083) OR F (FIREABLE(t818))) U (X (FIREABLE(t755)) U G (FIREABLE(t818)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t9083) OR F (FIREABLE(t818))) U (X (FIREABLE(t755)) U G (FIREABLE(t818)))))
lola: processed formula length: 89
lola: 103 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 266 markings, 266 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((F (NOT FIREABLE(t13600)) OR (X (G (FIREABLE(t12711))) U G (FIREABLE(t13442)))) U G (FIREABLE(t13600))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((F (NOT FIREABLE(t13600)) OR (X (G (FIREABLE(t12711))) U G (FIREABLE(t13442)))) U G (FIREABLE(t13600))))
lola: processed formula length: 108
lola: 103 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: 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: 267 markings, 268 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (((NOT FIREABLE(t5337) OR NOT FIREABLE(t12083)) U X (FIREABLE(t12988))))) AND A (X ((F (NOT FIREABLE(t12988)) OR G (NOT FIREABLE(t12758))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((F (NOT FIREABLE(t12988)) OR G (NOT FIREABLE(t12758)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F (NOT FIREABLE(t12988)) OR G (NOT FIREABLE(t12758)))))
lola: processed formula length: 62
lola: 103 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: 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 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((NOT FIREABLE(t5337) OR NOT FIREABLE(t12083)) U X (FIREABLE(t12988)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((NOT FIREABLE(t5337) OR NOT FIREABLE(t12083)) U X (FIREABLE(t12988)))))
lola: processed formula length: 79
lola: 103 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 266 markings, 266 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((NOT FIREABLE(t17081) OR X (NOT FIREABLE(t3500))) R X (FIREABLE(t3500))) OR G ((NOT FIREABLE(t17081) OR G (NOT FIREABLE(t3500))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((((NOT FIREABLE(t17081) OR X (NOT FIREABLE(t3500))) R X (FIREABLE(t3500))) OR G ((NOT FIREABLE(t17081) OR G (NOT FIREABLE(t3500))))))
lola: processed formula length: 136
lola: 103 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 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: 47999 markings, 202522 edges, 9600 markings/sec, 0 secs
lola: 95528 markings, 416009 edges, 9506 markings/sec, 5 secs
lola: 146496 markings, 627342 edges, 10194 markings/sec, 10 secs
lola: 193987 markings, 843897 edges, 9498 markings/sec, 15 secs
lola: 245224 markings, 1052545 edges, 10247 markings/sec, 20 secs
lola: 288339 markings, 1265362 edges, 8623 markings/sec, 25 secs
lola: 327278 markings, 1481371 edges, 7788 markings/sec, 30 secs
lola: 367583 markings, 1697012 edges, 8061 markings/sec, 35 secs
lola: 413528 markings, 1907014 edges, 9189 markings/sec, 40 secs
lola: 452068 markings, 2123114 edges, 7708 markings/sec, 45 secs
lola: 487303 markings, 2342404 edges, 7047 markings/sec, 50 secs
lola: 525099 markings, 2559233 edges, 7559 markings/sec, 55 secs
lola: 573393 markings, 2767344 edges, 9659 markings/sec, 60 secs
lola: 617768 markings, 2985038 edges, 8875 markings/sec, 65 secs
lola: 658207 markings, 3207973 edges, 8088 markings/sec, 70 secs
lola: 700176 markings, 3424329 edges, 8394 markings/sec, 75 secs
lola: 743426 markings, 3641618 edges, 8650 markings/sec, 80 secs
lola: 774708 markings, 3869963 edges, 6256 markings/sec, 85 secs
lola: 813659 markings, 4095416 edges, 7790 markings/sec, 90 secs
lola: 851927 markings, 4317049 edges, 7654 markings/sec, 95 secs
lola: 894355 markings, 4533293 edges, 8486 markings/sec, 100 secs
lola: 927691 markings, 4755950 edges, 6667 markings/sec, 105 secs
lola: 964653 markings, 4980916 edges, 7392 markings/sec, 110 secs
lola: 1011354 markings, 5198112 edges, 9340 markings/sec, 115 secs
lola: 1064336 markings, 5410335 edges, 10596 markings/sec, 120 secs
lola: 1116840 markings, 5622402 edges, 10501 markings/sec, 125 secs
lola: 1158714 markings, 5841065 edges, 8375 markings/sec, 130 secs
lola: 1221182 markings, 6046144 edges, 12494 markings/sec, 135 secs
lola: 1269082 markings, 6260002 edges, 9580 markings/sec, 140 secs
lola: 1304568 markings, 6480273 edges, 7097 markings/sec, 145 secs
lola: 1357933 markings, 6689103 edges, 10673 markings/sec, 150 secs
lola: 1382030 markings, 6919553 edges, 4819 markings/sec, 155 secs
lola: 1431448 markings, 7129445 edges, 9884 markings/sec, 160 secs
lola: 1482180 markings, 7339091 edges, 10146 markings/sec, 165 secs
lola: 1492255 markings, 7577285 edges, 2015 markings/sec, 170 secs
lola: 1538717 markings, 7792907 edges, 9292 markings/sec, 175 secs
lola: 1580261 markings, 8011831 edges, 8309 markings/sec, 180 secs
lola: 1622372 markings, 8229624 edges, 8422 markings/sec, 185 secs
lola: 1666860 markings, 8446099 edges, 8898 markings/sec, 190 secs
lola: 1704514 markings, 8668361 edges, 7531 markings/sec, 195 secs
lola: 1745155 markings, 8888464 edges, 8128 markings/sec, 200 secs
lola: 1804511 markings, 9094451 edges, 11871 markings/sec, 205 secs
lola: 1838354 markings, 9316601 edges, 6769 markings/sec, 210 secs
lola: 1864343 markings, 9542242 edges, 5198 markings/sec, 215 secs
lola: 1921566 markings, 9746928 edges, 11445 markings/sec, 220 secs
lola: 1941880 markings, 9979446 edges, 4063 markings/sec, 225 secs
lola: 1961256 markings, 10209179 edges, 3875 markings/sec, 230 secs
lola: 2019031 markings, 10414100 edges, 11555 markings/sec, 235 secs
lola: 2043614 markings, 10642881 edges, 4917 markings/sec, 240 secs
lola: 2060827 markings, 10873845 edges, 3443 markings/sec, 245 secs
lola: 2099433 markings, 11094615 edges, 7721 markings/sec, 250 secs
lola: 2138071 markings, 11315762 edges, 7728 markings/sec, 255 secs
lola: 2183231 markings, 11532583 edges, 9032 markings/sec, 260 secs
lola: 2227665 markings, 11748853 edges, 8887 markings/sec, 265 secs
lola: 2267210 markings, 11968256 edges, 7909 markings/sec, 270 secs
lola: 2303454 markings, 12190490 edges, 7249 markings/sec, 275 secs
lola: 2355806 markings, 12402137 edges, 10470 markings/sec, 280 secs
lola: 2402658 markings, 12615395 edges, 9370 markings/sec, 285 secs
lola: 2423990 markings, 12845966 edges, 4266 markings/sec, 290 secs
lola: 2478225 markings, 13053648 edges, 10847 markings/sec, 295 secs
lola: 2506974 markings, 13279280 edges, 5750 markings/sec, 300 secs
lola: 2526281 markings, 13508881 edges, 3861 markings/sec, 305 secs
lola: 2577920 markings, 13718104 edges, 10328 markings/sec, 310 secs
lola: 2610115 markings, 13940944 edges, 6439 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown no no no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 685272 KB
lola: time consumption: 330 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 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (G ((NOT FIREABLE(t1572) R NOT FIREABLE(t5186)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (G ((NOT FIREABLE(t1572) R NOT FIREABLE(t5186)))))))
lola: processed formula length: 63
lola: 103 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 48555 markings, 206099 edges, 9711 markings/sec, 0 secs
lola: 96692 markings, 420936 edges, 9627 markings/sec, 5 secs
lola: 147594 markings, 634288 edges, 10180 markings/sec, 10 secs
lola: 195297 markings, 849427 edges, 9541 markings/sec, 15 secs
lola: 245862 markings, 1058358 edges, 10113 markings/sec, 20 secs
lola: 289476 markings, 1270680 edges, 8723 markings/sec, 25 secs
lola: 328742 markings, 1485973 edges, 7853 markings/sec, 30 secs
lola: 367957 markings, 1701361 edges, 7843 markings/sec, 35 secs
lola: 414818 markings, 1910065 edges, 9372 markings/sec, 40 secs
lola: 452602 markings, 2126189 edges, 7557 markings/sec, 45 secs
lola: 487492 markings, 2344217 edges, 6978 markings/sec, 50 secs
lola: 525127 markings, 2559688 edges, 7527 markings/sec, 55 secs
lola: 573397 markings, 2767617 edges, 9654 markings/sec, 60 secs
lola: 617811 markings, 2985287 edges, 8883 markings/sec, 65 secs
lola: 657969 markings, 3207124 edges, 8032 markings/sec, 70 secs
lola: 699838 markings, 3422866 edges, 8374 markings/sec, 75 secs
lola: 742660 markings, 3638125 edges, 8564 markings/sec, 80 secs
lola: 774664 markings, 3863201 edges, 6401 markings/sec, 85 secs
lola: 812215 markings, 4087192 edges, 7510 markings/sec, 90 secs
lola: 849625 markings, 4306826 edges, 7482 markings/sec, 95 secs
lola: 890501 markings, 4521555 edges, 8175 markings/sec, 100 secs
lola: 925978 markings, 4743253 edges, 7095 markings/sec, 105 secs
lola: 962518 markings, 4966539 edges, 7308 markings/sec, 110 secs
lola: 1009939 markings, 5183916 edges, 9484 markings/sec, 115 secs
lola: 1061329 markings, 5397160 edges, 10278 markings/sec, 120 secs
lola: 1112503 markings, 5609936 edges, 10235 markings/sec, 125 secs
lola: 1156619 markings, 5827657 edges, 8823 markings/sec, 130 secs
lola: 1216860 markings, 6034971 edges, 12048 markings/sec, 135 secs
lola: 1267189 markings, 6247525 edges, 10066 markings/sec, 140 secs
lola: 1302482 markings, 6468865 edges, 7059 markings/sec, 145 secs
lola: 1357842 markings, 6676578 edges, 11072 markings/sec, 150 secs
lola: 1380150 markings, 6908713 edges, 4462 markings/sec, 155 secs
lola: 1427811 markings, 7120317 edges, 9532 markings/sec, 160 secs
lola: 1480452 markings, 7328973 edges, 10528 markings/sec, 165 secs
lola: 1492232 markings, 7566127 edges, 2356 markings/sec, 170 secs
lola: 1536739 markings, 7783026 edges, 8901 markings/sec, 175 secs
lola: 1579556 markings, 8001492 edges, 8563 markings/sec, 180 secs
lola: 1621267 markings, 8220218 edges, 8342 markings/sec, 185 secs
lola: 1664194 markings, 8437681 edges, 8585 markings/sec, 190 secs
lola: 1702954 markings, 8657883 edges, 7752 markings/sec, 195 secs
lola: 1742500 markings, 8878622 edges, 7909 markings/sec, 200 secs
lola: 1801094 markings, 9085731 edges, 11719 markings/sec, 205 secs
lola: 1838141 markings, 9305869 edges, 7409 markings/sec, 210 secs
lola: 1861229 markings, 9533504 edges, 4618 markings/sec, 215 secs
lola: 1919701 markings, 9738266 edges, 11694 markings/sec, 220 secs
lola: 1941108 markings, 9969567 edges, 4281 markings/sec, 225 secs
lola: 1958822 markings, 10199093 edges, 3543 markings/sec, 230 secs
lola: 2016624 markings, 10404884 edges, 11560 markings/sec, 235 secs
lola: 2043562 markings, 10630550 edges, 5388 markings/sec, 240 secs
lola: 2060823 markings, 10860111 edges, 3452 markings/sec, 245 secs
lola: 2097035 markings, 11082231 edges, 7242 markings/sec, 250 secs
lola: 2136006 markings, 11302770 edges, 7794 markings/sec, 255 secs
lola: 2179085 markings, 11520303 edges, 8616 markings/sec, 260 secs
lola: 2224133 markings, 11736156 edges, 9010 markings/sec, 265 secs
lola: 2264579 markings, 11954605 edges, 8089 markings/sec, 270 secs
lola: 2299909 markings, 12176862 edges, 7066 markings/sec, 275 secs
lola: 2350781 markings, 12389365 edges, 10174 markings/sec, 280 secs
lola: 2401078 markings, 12600118 edges, 10059 markings/sec, 285 secs
lola: 2422531 markings, 12828895 edges, 4291 markings/sec, 290 secs
lola: 2472800 markings, 13039469 edges, 10054 markings/sec, 295 secs
lola: 2505448 markings, 13260945 edges, 6530 markings/sec, 300 secs
lola: 2524441 markings, 13489691 edges, 3799 markings/sec, 305 secs
lola: 2572746 markings, 13700692 edges, 9661 markings/sec, 310 secs
lola: 2608165 markings, 13919557 edges, 7084 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown no no no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 685100 KB
lola: time consumption: 654 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 7 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((NOT FIREABLE(t9716) U (FIREABLE(t11310) OR (NOT FIREABLE(t5065) AND X (NOT FIREABLE(t5065)))))) AND A (F (FIREABLE(t9716))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t9716)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(t9716)
lola: processed formula length: 19
lola: 105 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 / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 265 markings, 264 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 364 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((FIREABLE(t12556) OR F (FIREABLE(t16626)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((FIREABLE(t12556) OR F (FIREABLE(t16626)))))
lola: processed formula length: 50
lola: 103 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: 266 markings, 266 edges
lola: ========================================
lola: subprocess 9 will run for 416 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (F ((X (G (FIREABLE(t15605))) OR (F (G (FIREABLE(t15605))) AND F (G (FIREABLE(t15605))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (F ((X (G (FIREABLE(t15605))) OR (F (G (FIREABLE(t15605))) AND F (G (FIREABLE(t15605))))))))))
lola: processed formula length: 105
lola: 103 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: 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: 266 markings, 266 edges
lola: ========================================
lola: subprocess 10 will run for 486 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((FIREABLE(t17228) AND G (FIREABLE(t16921)))) U (F (FIREABLE(t16710)) AND (F (NOT FIREABLE(t15345)) U FIREABLE(t16710)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((FIREABLE(t17228) AND G (FIREABLE(t16921)))) U (F (FIREABLE(t16710)) AND (F (NOT FIREABLE(t15345)) U FIREABLE(t16710)))))
lola: processed formula length: 128
lola: 103 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 17 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: 266 markings, 266 edges
lola: ========================================
lola: subprocess 11 will run for 583 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t18874) AND (A (F (FIREABLE(t6104))) AND A (X (X (X (FIREABLE(t10081)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 583 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t18874)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t18874)
lola: processed formula length: 20
lola: 103 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 729 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t6104)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(t6104)
lola: processed formula length: 19
lola: 105 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 / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 271 markings, 270 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 12 will run for 729 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (NOT FIREABLE(t10131))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (NOT FIREABLE(t10131))))
lola: processed formula length: 32
lola: 103 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: 55197 markings, 156429 edges, 11039 markings/sec, 0 secs
lola: 111927 markings, 314793 edges, 11346 markings/sec, 5 secs
lola: 159173 markings, 484372 edges, 9449 markings/sec, 10 secs
lola: 203868 markings, 661382 edges, 8939 markings/sec, 15 secs
lola: 247243 markings, 838982 edges, 8675 markings/sec, 20 secs
lola: 289051 markings, 1014855 edges, 8362 markings/sec, 25 secs
lola: 330901 markings, 1194501 edges, 8370 markings/sec, 30 secs
lola: 369837 markings, 1377414 edges, 7787 markings/sec, 35 secs
lola: 412509 markings, 1530315 edges, 8534 markings/sec, 40 secs
lola: 458090 markings, 1703752 edges, 9116 markings/sec, 45 secs
lola: 502165 markings, 1880192 edges, 8815 markings/sec, 50 secs
lola: 541030 markings, 2058708 edges, 7773 markings/sec, 55 secs
lola: 578663 markings, 2241409 edges, 7527 markings/sec, 60 secs
lola: 617048 markings, 2419664 edges, 7677 markings/sec, 65 secs
lola: 660138 markings, 2590882 edges, 8618 markings/sec, 70 secs
lola: 701402 markings, 2766534 edges, 8253 markings/sec, 75 secs
lola: 746275 markings, 2935533 edges, 8975 markings/sec, 80 secs
lola: 804908 markings, 3085516 edges, 11727 markings/sec, 85 secs
lola: 856149 markings, 3244703 edges, 10248 markings/sec, 90 secs
lola: 901975 markings, 3408953 edges, 9165 markings/sec, 95 secs
lola: 942711 markings, 3563569 edges, 8147 markings/sec, 100 secs
lola: 985028 markings, 3730148 edges, 8463 markings/sec, 105 secs
lola: 1022521 markings, 3890096 edges, 7499 markings/sec, 110 secs
lola: 1062075 markings, 4060135 edges, 7911 markings/sec, 115 secs
lola: 1103212 markings, 4222750 edges, 8227 markings/sec, 120 secs
lola: 1136992 markings, 4396098 edges, 6756 markings/sec, 125 secs
lola: 1170669 markings, 4572329 edges, 6735 markings/sec, 130 secs
lola: 1205381 markings, 4717258 edges, 6942 markings/sec, 135 secs
lola: 1250808 markings, 4873016 edges, 9085 markings/sec, 140 secs
lola: 1287388 markings, 5037598 edges, 7316 markings/sec, 145 secs
lola: 1322713 markings, 5200724 edges, 7065 markings/sec, 150 secs
lola: 1363856 markings, 5355196 edges, 8229 markings/sec, 155 secs
lola: 1399168 markings, 5513298 edges, 7062 markings/sec, 160 secs
lola: 1436696 markings, 5666026 edges, 7506 markings/sec, 165 secs
lola: 1491035 markings, 5825131 edges, 10868 markings/sec, 170 secs
lola: 1548666 markings, 5983584 edges, 11526 markings/sec, 175 secs
lola: 1596150 markings, 6151699 edges, 9497 markings/sec, 180 secs
lola: 1640875 markings, 6320991 edges, 8945 markings/sec, 185 secs
lola: 1681370 markings, 6496159 edges, 8099 markings/sec, 190 secs
lola: 1723816 markings, 6669389 edges, 8489 markings/sec, 195 secs
lola: 1762017 markings, 6846448 edges, 7640 markings/sec, 200 secs
lola: 1798983 markings, 7025268 edges, 7393 markings/sec, 205 secs
lola: 1836641 markings, 7203493 edges, 7532 markings/sec, 210 secs
lola: 1870258 markings, 7385538 edges, 6723 markings/sec, 215 secs
lola: 1909093 markings, 7557526 edges, 7767 markings/sec, 220 secs
lola: 1955956 markings, 7718040 edges, 9373 markings/sec, 225 secs
lola: 1995039 markings, 7887580 edges, 7817 markings/sec, 230 secs
lola: 2035627 markings, 8052522 edges, 8118 markings/sec, 235 secs
lola: 2071458 markings, 8227715 edges, 7166 markings/sec, 240 secs
lola: 2109630 markings, 8394592 edges, 7634 markings/sec, 245 secs
lola: 2146650 markings, 8563724 edges, 7404 markings/sec, 250 secs
lola: 2185757 markings, 8728991 edges, 7821 markings/sec, 255 secs
lola: 2227760 markings, 8887064 edges, 8401 markings/sec, 260 secs
lola: 2279528 markings, 9022361 edges, 10354 markings/sec, 265 secs
lola: 2328650 markings, 9159727 edges, 9824 markings/sec, 270 secs
lola: 2382376 markings, 9293608 edges, 10745 markings/sec, 275 secs
lola: 2429509 markings, 9435561 edges, 9427 markings/sec, 280 secs
lola: 2477953 markings, 9575728 edges, 9689 markings/sec, 285 secs
lola: 2523794 markings, 9719034 edges, 9168 markings/sec, 290 secs
lola: 2568426 markings, 9860973 edges, 8926 markings/sec, 295 secs
lola: 2610959 markings, 10005683 edges, 8507 markings/sec, 300 secs
lola: 2657098 markings, 10145545 edges, 9228 markings/sec, 305 secs
lola: 2695992 markings, 10285837 edges, 7779 markings/sec, 310 secs
lola: 2734178 markings, 10436202 edges, 7637 markings/sec, 315 secs
lola: 2768258 markings, 10584736 edges, 6816 markings/sec, 320 secs
lola: 2813653 markings, 10719837 edges, 9079 markings/sec, 325 secs
lola: 2854187 markings, 10858497 edges, 8107 markings/sec, 330 secs
lola: 2888037 markings, 10999345 edges, 6770 markings/sec, 335 secs
lola: 2923991 markings, 11137979 edges, 7191 markings/sec, 340 secs
lola: 2956498 markings, 11279536 edges, 6501 markings/sec, 345 secs
lola: 2992232 markings, 11415286 edges, 7147 markings/sec, 350 secs
lola: 3030814 markings, 11549366 edges, 7716 markings/sec, 355 secs
lola: 3060798 markings, 11687137 edges, 5997 markings/sec, 360 secs
lola: 3101359 markings, 11827769 edges, 8112 markings/sec, 365 secs
lola: 3147629 markings, 11966537 edges, 9254 markings/sec, 370 secs
lola: 3181201 markings, 12104175 edges, 6714 markings/sec, 375 secs
lola: 3233520 markings, 12252180 edges, 10464 markings/sec, 380 secs
lola: 3285541 markings, 12401041 edges, 10404 markings/sec, 385 secs
lola: 3331356 markings, 12555688 edges, 9163 markings/sec, 390 secs
lola: 3373112 markings, 12714332 edges, 8351 markings/sec, 395 secs
lola: 3413828 markings, 12873240 edges, 8143 markings/sec, 400 secs
lola: 3452323 markings, 13036620 edges, 7699 markings/sec, 405 secs
lola: 3491506 markings, 13197036 edges, 7837 markings/sec, 410 secs
lola: 3532269 markings, 13352134 edges, 8153 markings/sec, 415 secs
lola: 3565079 markings, 13513423 edges, 6562 markings/sec, 420 secs
lola: 3598144 markings, 13677734 edges, 6613 markings/sec, 425 secs
lola: 3628698 markings, 13844830 edges, 6111 markings/sec, 430 secs
lola: 3671370 markings, 13996884 edges, 8534 markings/sec, 435 secs
lola: 3712365 markings, 14145825 edges, 8199 markings/sec, 440 secs
lola: 3744854 markings, 14305095 edges, 6498 markings/sec, 445 secs
lola: 3779296 markings, 14455972 edges, 6888 markings/sec, 450 secs
lola: 3817871 markings, 14602981 edges, 7715 markings/sec, 455 secs
lola: 3852321 markings, 14751573 edges, 6890 markings/sec, 460 secs
lola: 3889941 markings, 14895326 edges, 7524 markings/sec, 465 secs
lola: 3942400 markings, 15052429 edges, 10492 markings/sec, 470 secs
lola: 3999655 markings, 15209177 edges, 11451 markings/sec, 475 secs
lola: 4046039 markings, 15377480 edges, 9277 markings/sec, 480 secs
lola: 4090139 markings, 15546232 edges, 8820 markings/sec, 485 secs
lola: 4130614 markings, 15718832 edges, 8095 markings/sec, 490 secs
lola: 4172452 markings, 15891673 edges, 8368 markings/sec, 495 secs
lola: 4210823 markings, 16068380 edges, 7674 markings/sec, 500 secs
lola: 4247592 markings, 16246911 edges, 7354 markings/sec, 505 secs
lola: 4285142 markings, 16423393 edges, 7510 markings/sec, 510 secs
lola: 4318488 markings, 16606007 edges, 6669 markings/sec, 515 secs
lola: 4357510 markings, 16778646 edges, 7804 markings/sec, 520 secs
lola: 4404828 markings, 16939527 edges, 9464 markings/sec, 525 secs
lola: 4444476 markings, 17109169 edges, 7930 markings/sec, 530 secs
lola: 4484457 markings, 17275020 edges, 7996 markings/sec, 535 secs
lola: 4519723 markings, 17450209 edges, 7053 markings/sec, 540 secs
lola: 4558144 markings, 17614908 edges, 7684 markings/sec, 545 secs
lola: 4595414 markings, 17782040 edges, 7454 markings/sec, 550 secs
lola: 4634180 markings, 17946467 edges, 7753 markings/sec, 555 secs
lola: 4675492 markings, 18103952 edges, 8262 markings/sec, 560 secs
lola: 4727308 markings, 18238134 edges, 10363 markings/sec, 565 secs
lola: 4775993 markings, 18375237 edges, 9737 markings/sec, 570 secs
lola: 4829492 markings, 18507922 edges, 10700 markings/sec, 575 secs
lola: 4876294 markings, 18649046 edges, 9360 markings/sec, 580 secs
lola: 4924412 markings, 18788205 edges, 9624 markings/sec, 585 secs
lola: 4969938 markings, 18930631 edges, 9105 markings/sec, 590 secs
lola: 5014150 markings, 19071572 edges, 8842 markings/sec, 595 secs
lola: 5056633 markings, 19215122 edges, 8497 markings/sec, 600 secs
lola: 5102045 markings, 19354328 edges, 9082 markings/sec, 605 secs
lola: 5140695 markings, 19492036 edges, 7730 markings/sec, 610 secs
lola: 5179183 markings, 19640520 edges, 7698 markings/sec, 615 secs
lola: 5212939 markings, 19787546 edges, 6751 markings/sec, 620 secs
lola: 5257025 markings, 19921531 edges, 8817 markings/sec, 625 secs
lola: 5297452 markings, 20058069 edges, 8085 markings/sec, 630 secs
lola: 5330267 markings, 20196793 edges, 6563 markings/sec, 635 secs
lola: 5367150 markings, 20332757 edges, 7377 markings/sec, 640 secs
lola: 5398575 markings, 20471809 edges, 6285 markings/sec, 645 secs
lola: 5434424 markings, 20604970 edges, 7170 markings/sec, 650 secs
lola: 5470524 markings, 20738256 edges, 7220 markings/sec, 655 secs
lola: 5500683 markings, 20873162 edges, 6032 markings/sec, 660 secs
lola: 5539891 markings, 21010378 edges, 7842 markings/sec, 665 secs
lola: 5581768 markings, 21151481 edges, 8375 markings/sec, 670 secs
lola: 5617409 markings, 21281160 edges, 7128 markings/sec, 675 secs
lola: 5649764 markings, 21444208 edges, 6471 markings/sec, 680 secs
lola: 5677613 markings, 21615186 edges, 5570 markings/sec, 685 secs
lola: 5708675 markings, 21783622 edges, 6212 markings/sec, 690 secs
lola: 5743702 markings, 21950150 edges, 7005 markings/sec, 695 secs
lola: 5778023 markings, 22116561 edges, 6864 markings/sec, 700 secs
lola: 5810772 markings, 22282813 edges, 6550 markings/sec, 705 secs
lola: 5845682 markings, 22450386 edges, 6982 markings/sec, 710 secs
lola: 5881233 markings, 22616254 edges, 7110 markings/sec, 715 secs
lola: 5915201 markings, 22784566 edges, 6794 markings/sec, 720 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown no no no unknown unknown no no no unknown no no
lola: memory consumption: 1926696 KB
lola: time consumption: 1383 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 13 will run for 728 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((NOT FIREABLE(t1308) OR F (NOT FIREABLE(t8561))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((NOT FIREABLE(t1308) OR F (NOT FIREABLE(t8561))))))
lola: processed formula length: 60
lola: 103 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: 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: 59164 markings, 142464 edges, 11833 markings/sec, 0 secs
lola: 106129 markings, 295568 edges, 9393 markings/sec, 5 secs
lola: 148827 markings, 453945 edges, 8540 markings/sec, 10 secs
lola: 188536 markings, 614736 edges, 7942 markings/sec, 15 secs
lola: 225926 markings, 779844 edges, 7478 markings/sec, 20 secs
lola: 261607 markings, 945694 edges, 7136 markings/sec, 25 secs
lola: 299287 markings, 1106258 edges, 7536 markings/sec, 30 secs
lola: 328653 markings, 1258847 edges, 5873 markings/sec, 35 secs
lola: 366644 markings, 1414909 edges, 7598 markings/sec, 40 secs
lola: 401815 markings, 1571476 edges, 7034 markings/sec, 45 secs
lola: 435296 markings, 1729108 edges, 6696 markings/sec, 50 secs
lola: 470818 markings, 1881412 edges, 7104 markings/sec, 55 secs
lola: 514497 markings, 2031080 edges, 8736 markings/sec, 60 secs
lola: 566954 markings, 2186740 edges, 10491 markings/sec, 65 secs
lola: 609152 markings, 2356114 edges, 8440 markings/sec, 70 secs
lola: 649839 markings, 2527645 edges, 8137 markings/sec, 75 secs
lola: 692633 markings, 2695582 edges, 8559 markings/sec, 80 secs
lola: 728647 markings, 2871277 edges, 7203 markings/sec, 85 secs
lola: 768352 markings, 3039603 edges, 7941 markings/sec, 90 secs
lola: 809581 markings, 3205367 edges, 8246 markings/sec, 95 secs
lola: 861081 markings, 3361371 edges, 10300 markings/sec, 100 secs
lola: 909228 markings, 3524611 edges, 9629 markings/sec, 105 secs
lola: 951846 markings, 3694277 edges, 8524 markings/sec, 110 secs
lola: 992729 markings, 3863362 edges, 8177 markings/sec, 115 secs
lola: 1036031 markings, 4026796 edges, 8660 markings/sec, 120 secs
lola: 1073809 markings, 4194198 edges, 7556 markings/sec, 125 secs
lola: 1110863 markings, 4357901 edges, 7411 markings/sec, 130 secs
lola: 1146416 markings, 4528664 edges, 7111 markings/sec, 135 secs
lola: 1201134 markings, 4678159 edges, 10944 markings/sec, 140 secs
lola: 1256243 markings, 4834101 edges, 11022 markings/sec, 145 secs
lola: 1304416 markings, 5003329 edges, 9635 markings/sec, 150 secs
lola: 1344789 markings, 5180509 edges, 8075 markings/sec, 155 secs
lola: 1391182 markings, 5351524 edges, 9279 markings/sec, 160 secs
lola: 1429526 markings, 5530968 edges, 7669 markings/sec, 165 secs
lola: 1468560 markings, 5708234 edges, 7807 markings/sec, 170 secs
lola: 1511449 markings, 5878499 edges, 8578 markings/sec, 175 secs
lola: 1554452 markings, 6044266 edges, 8601 markings/sec, 180 secs
lola: 1600331 markings, 6204916 edges, 9176 markings/sec, 185 secs
lola: 1642433 markings, 6370198 edges, 8420 markings/sec, 190 secs
lola: 1681065 markings, 6539745 edges, 7726 markings/sec, 195 secs
lola: 1718066 markings, 6712611 edges, 7400 markings/sec, 200 secs
lola: 1756955 markings, 6878538 edges, 7778 markings/sec, 205 secs
lola: 1790942 markings, 7053368 edges, 6797 markings/sec, 210 secs
lola: 1828677 markings, 7207040 edges, 7547 markings/sec, 215 secs
lola: 1864487 markings, 7365799 edges, 7162 markings/sec, 220 secs
lola: 1897721 markings, 7521798 edges, 6647 markings/sec, 225 secs
lola: 1932973 markings, 7673539 edges, 7050 markings/sec, 230 secs
lola: 1976904 markings, 7826509 edges, 8786 markings/sec, 235 secs
lola: 2015358 markings, 7978674 edges, 7691 markings/sec, 240 secs
lola: 2048973 markings, 8140797 edges, 6723 markings/sec, 245 secs
lola: 2085918 markings, 8301827 edges, 7389 markings/sec, 250 secs
lola: 2127798 markings, 8469299 edges, 8376 markings/sec, 255 secs
lola: 2174147 markings, 8627581 edges, 9270 markings/sec, 260 secs
lola: 2210521 markings, 8791518 edges, 7275 markings/sec, 265 secs
lola: 2244909 markings, 8950799 edges, 6878 markings/sec, 270 secs
lola: 2285078 markings, 9113590 edges, 8034 markings/sec, 275 secs
lola: 2322869 markings, 9275906 edges, 7558 markings/sec, 280 secs
lola: 2359059 markings, 9439858 edges, 7238 markings/sec, 285 secs
lola: 2412968 markings, 9600702 edges, 10782 markings/sec, 290 secs
lola: 2456435 markings, 9764668 edges, 8693 markings/sec, 295 secs
lola: 2501882 markings, 9931710 edges, 9089 markings/sec, 300 secs
lola: 2538809 markings, 10103114 edges, 7385 markings/sec, 305 secs
lola: 2576665 markings, 10275671 edges, 7571 markings/sec, 310 secs
lola: 2611981 markings, 10455021 edges, 7063 markings/sec, 315 secs
lola: 2648460 markings, 10630297 edges, 7296 markings/sec, 320 secs
lola: 2682621 markings, 10804656 edges, 6832 markings/sec, 325 secs
lola: 2716348 markings, 10983969 edges, 6745 markings/sec, 330 secs
lola: 2748256 markings, 11163364 edges, 6382 markings/sec, 335 secs
lola: 2785583 markings, 11337990 edges, 7465 markings/sec, 340 secs
lola: 2834475 markings, 11505949 edges, 9778 markings/sec, 345 secs
lola: 2870727 markings, 11683509 edges, 7250 markings/sec, 350 secs
lola: 2908705 markings, 11864656 edges, 7596 markings/sec, 355 secs
lola: 2946359 markings, 12043755 edges, 7531 markings/sec, 360 secs
lola: 2979287 markings, 12230328 edges, 6586 markings/sec, 365 secs
lola: 3015087 markings, 12413061 edges, 7160 markings/sec, 370 secs
lola: 3046202 markings, 12597615 edges, 6223 markings/sec, 375 secs
lola: 3079095 markings, 12778742 edges, 6579 markings/sec, 380 secs
lola: 3113235 markings, 12964839 edges, 6828 markings/sec, 385 secs
lola: 3144734 markings, 13153947 edges, 6300 markings/sec, 390 secs
lola: 3185178 markings, 13330862 edges, 8089 markings/sec, 395 secs
lola: 3224611 markings, 13510097 edges, 7887 markings/sec, 400 secs
lola: 3261117 markings, 13688155 edges, 7301 markings/sec, 405 secs
lola: 3294519 markings, 13868195 edges, 6680 markings/sec, 410 secs
lola: 3328400 markings, 14050389 edges, 6776 markings/sec, 415 secs
lola: 3363362 markings, 14234922 edges, 6992 markings/sec, 420 secs
lola: 3394229 markings, 14423259 edges, 6173 markings/sec, 425 secs
lola: 3425146 markings, 14612291 edges, 6183 markings/sec, 430 secs
lola: 3453102 markings, 14806555 edges, 5591 markings/sec, 435 secs
lola: 3491464 markings, 14982117 edges, 7672 markings/sec, 440 secs
lola: 3526202 markings, 15159227 edges, 6948 markings/sec, 445 secs
lola: 3558799 markings, 15336058 edges, 6519 markings/sec, 450 secs
lola: 3595038 markings, 15513873 edges, 7248 markings/sec, 455 secs
lola: 3630100 markings, 15691612 edges, 7012 markings/sec, 460 secs
lola: 3666604 markings, 15871135 edges, 7301 markings/sec, 465 secs
lola: 3697705 markings, 16052491 edges, 6220 markings/sec, 470 secs
lola: 3734309 markings, 16225809 edges, 7321 markings/sec, 475 secs
lola: 3768076 markings, 16402183 edges, 6753 markings/sec, 480 secs
lola: 3801288 markings, 16577970 edges, 6642 markings/sec, 485 secs
lola: 3833449 markings, 16743025 edges, 6432 markings/sec, 490 secs
lola: 3865193 markings, 16912306 edges, 6349 markings/sec, 495 secs
lola: 3895405 markings, 17091187 edges, 6042 markings/sec, 500 secs
lola: 3929203 markings, 17258403 edges, 6760 markings/sec, 505 secs
lola: 3963847 markings, 17425441 edges, 6929 markings/sec, 510 secs
lola: 3997373 markings, 17591652 edges, 6705 markings/sec, 515 secs
lola: 4030536 markings, 17758163 edges, 6633 markings/sec, 520 secs
lola: 4063513 markings, 17929889 edges, 6595 markings/sec, 525 secs
lola: 4095287 markings, 18098420 edges, 6355 markings/sec, 530 secs
lola: 4126288 markings, 18265111 edges, 6200 markings/sec, 535 secs
lola: 4155358 markings, 18435744 edges, 5814 markings/sec, 540 secs
lola: 4184212 markings, 18607887 edges, 5771 markings/sec, 545 secs
lola: 4213795 markings, 18778892 edges, 5917 markings/sec, 550 secs
lola: 4244149 markings, 18950346 edges, 6071 markings/sec, 555 secs
lola: 4274444 markings, 19120854 edges, 6059 markings/sec, 560 secs
lola: 4304544 markings, 19294666 edges, 6020 markings/sec, 565 secs
lola: 4333422 markings, 19471551 edges, 5776 markings/sec, 570 secs
lola: 4362761 markings, 19642745 edges, 5868 markings/sec, 575 secs
lola: 4390927 markings, 19816747 edges, 5633 markings/sec, 580 secs
lola: 4417101 markings, 19980384 edges, 5235 markings/sec, 585 secs
lola: 4445750 markings, 20159036 edges, 5730 markings/sec, 590 secs
lola: 4477337 markings, 20332079 edges, 6317 markings/sec, 595 secs
lola: 4508173 markings, 20500521 edges, 6167 markings/sec, 600 secs
lola: 4536644 markings, 20671353 edges, 5694 markings/sec, 605 secs
lola: 4566080 markings, 20840205 edges, 5887 markings/sec, 610 secs
lola: 4594222 markings, 21015083 edges, 5628 markings/sec, 615 secs
lola: 4622601 markings, 21192818 edges, 5676 markings/sec, 620 secs
lola: 4650269 markings, 21369776 edges, 5534 markings/sec, 625 secs
lola: 4679700 markings, 21537770 edges, 5886 markings/sec, 630 secs
lola: 4709126 markings, 21703300 edges, 5885 markings/sec, 635 secs
lola: 4737952 markings, 21862879 edges, 5765 markings/sec, 640 secs
lola: 4768193 markings, 22024283 edges, 6048 markings/sec, 645 secs
lola: 4795589 markings, 22188785 edges, 5479 markings/sec, 650 secs
lola: 4823041 markings, 22349058 edges, 5490 markings/sec, 655 secs
lola: 4850199 markings, 22515183 edges, 5432 markings/sec, 660 secs
lola: 4876123 markings, 22690684 edges, 5185 markings/sec, 665 secs
lola: 4903433 markings, 22867315 edges, 5462 markings/sec, 670 secs
lola: 4928584 markings, 23043396 edges, 5030 markings/sec, 675 secs
lola: 4958358 markings, 23203364 edges, 5955 markings/sec, 680 secs
lola: 4986664 markings, 23359373 edges, 5661 markings/sec, 685 secs
lola: 5014594 markings, 23518823 edges, 5586 markings/sec, 690 secs
lola: 5041020 markings, 23685753 edges, 5285 markings/sec, 695 secs
lola: 5067980 markings, 23839571 edges, 5392 markings/sec, 700 secs
lola: 5094323 markings, 23997430 edges, 5269 markings/sec, 705 secs
lola: 5119948 markings, 24156272 edges, 5125 markings/sec, 710 secs
lola: 5144684 markings, 24324837 edges, 4947 markings/sec, 715 secs
lola: 5173254 markings, 24479280 edges, 5714 markings/sec, 720 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown no no no unknown unknown no no no unknown no no
lola: memory consumption: 1674564 KB
lola: time consumption: 2112 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 14 will run for 729 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(t10214) OR G ((F (FIREABLE(t4667)) OR G ((FIREABLE(t9817) AND NOT FIREABLE(t12558)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(t10214) OR G ((F (FIREABLE(t4667)) OR G ((FIREABLE(t9817) AND NOT FIREABLE(t12558)))))))))
lola: processed formula length: 109
lola: 103 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 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: 271 markings, 271 edges
lola: ========================================
lola: subprocess 15 will run for 1458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(t17767) OR FIREABLE(t19322)) OR (F (FIREABLE(t19090)) OR (FIREABLE(t19322) U FIREABLE(t13484))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((FIREABLE(t17767) OR FIREABLE(t19322)) OR (F (FIREABLE(t19090)) OR (FIREABLE(t19322) U FIREABLE(t13484))))))
lola: processed formula length: 116
lola: 103 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: 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: 279 markings, 279 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A ((((NOT FIREABLE(t17081) OR X (NOT FIREABLE(t3500))) R X (FIREABLE(t3500))) OR G ((NOT FIREABLE(t17081) OR G (NOT FIREABLE(t3500))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((((NOT FIREABLE(t17081) OR X (NOT FIREABLE(t3500))) R X (FIREABLE(t3500))) OR G ((NOT FIREABLE(t17081) OR G (NOT FIREABLE(t3500))))))
lola: processed formula length: 136
lola: 103 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 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: 50374 markings, 217232 edges, 10075 markings/sec, 0 secs
lola: 98723 markings, 429429 edges, 9670 markings/sec, 5 secs
lola: 148837 markings, 641743 edges, 10023 markings/sec, 10 secs
lola: 196442 markings, 855131 edges, 9521 markings/sec, 15 secs
lola: 247637 markings, 1063692 edges, 10239 markings/sec, 20 secs
lola: 290443 markings, 1275742 edges, 8561 markings/sec, 25 secs
lola: 324582 markings, 1469452 edges, 6828 markings/sec, 30 secs
lola: 365124 markings, 1683874 edges, 8108 markings/sec, 35 secs
lola: 410408 markings, 1893629 edges, 9057 markings/sec, 40 secs
lola: 449749 markings, 2108402 edges, 7868 markings/sec, 45 secs
lola: 484330 markings, 2326725 edges, 6916 markings/sec, 50 secs
lola: 523012 markings, 2541653 edges, 7736 markings/sec, 55 secs
lola: 569647 markings, 2750135 edges, 9327 markings/sec, 60 secs
lola: 613495 markings, 2968873 edges, 8770 markings/sec, 65 secs
lola: 654891 markings, 3189601 edges, 8279 markings/sec, 70 secs
lola: 696107 markings, 3406424 edges, 8243 markings/sec, 75 secs
lola: 737160 markings, 3622296 edges, 8211 markings/sec, 80 secs
lola: 772676 markings, 3845215 edges, 7103 markings/sec, 85 secs
lola: 809924 markings, 4069673 edges, 7450 markings/sec, 90 secs
lola: 847645 markings, 4290073 edges, 7544 markings/sec, 95 secs
lola: 887775 markings, 4504917 edges, 8026 markings/sec, 100 secs
lola: 925245 markings, 4725693 edges, 7494 markings/sec, 105 secs
lola: 959871 markings, 4950564 edges, 6925 markings/sec, 110 secs
lola: 1004861 markings, 5169679 edges, 8998 markings/sec, 115 secs
lola: 1056171 markings, 5383643 edges, 10262 markings/sec, 120 secs
lola: 1107647 markings, 5596613 edges, 10295 markings/sec, 125 secs
lola: 1152715 markings, 5813903 edges, 9014 markings/sec, 130 secs
lola: 1213503 markings, 6021249 edges, 12158 markings/sec, 135 secs
lola: 1265700 markings, 6232971 edges, 10439 markings/sec, 140 secs
lola: 1298203 markings, 6457219 edges, 6501 markings/sec, 145 secs
lola: 1357665 markings, 6662871 edges, 11892 markings/sec, 150 secs
lola: 1378250 markings, 6897649 edges, 4117 markings/sec, 155 secs
lola: 1423896 markings, 7110812 edges, 9129 markings/sec, 160 secs
lola: 1478641 markings, 7318573 edges, 10949 markings/sec, 165 secs
lola: 1491884 markings, 7554656 edges, 2649 markings/sec, 170 secs
lola: 1534095 markings, 7773284 edges, 8442 markings/sec, 175 secs
lola: 1578114 markings, 7991295 edges, 8804 markings/sec, 180 secs
lola: 1620492 markings, 8210650 edges, 8476 markings/sec, 185 secs
lola: 1662685 markings, 8429275 edges, 8439 markings/sec, 190 secs
lola: 1701925 markings, 8650203 edges, 7848 markings/sec, 195 secs
lola: 1741518 markings, 8871533 edges, 7919 markings/sec, 200 secs
lola: 1798670 markings, 9080352 edges, 11430 markings/sec, 205 secs
lola: 1838120 markings, 9299601 edges, 7890 markings/sec, 210 secs
lola: 1860075 markings, 9529590 edges, 4391 markings/sec, 215 secs
lola: 1919124 markings, 9735054 edges, 11810 markings/sec, 220 secs
lola: 1941037 markings, 9967118 edges, 4383 markings/sec, 225 secs
lola: 1958664 markings, 10198743 edges, 3525 markings/sec, 230 secs
lola: 2016563 markings, 10404663 edges, 11580 markings/sec, 235 secs
lola: 2043562 markings, 10631275 edges, 5400 markings/sec, 240 secs
lola: 2060823 markings, 10862183 edges, 3452 markings/sec, 245 secs
lola: 2097077 markings, 11084610 edges, 7251 markings/sec, 250 secs
lola: 2136262 markings, 11305198 edges, 7837 markings/sec, 255 secs
lola: 2179785 markings, 11522632 edges, 8705 markings/sec, 260 secs
lola: 2224874 markings, 11738773 edges, 9018 markings/sec, 265 secs
lola: 2265276 markings, 11958056 edges, 8080 markings/sec, 270 secs
lola: 2300456 markings, 12181547 edges, 7036 markings/sec, 275 secs
lola: 2352766 markings, 12393552 edges, 10462 markings/sec, 280 secs
lola: 2402239 markings, 12605563 edges, 9895 markings/sec, 285 secs
lola: 2423662 markings, 12835169 edges, 4285 markings/sec, 290 secs
lola: 2475284 markings, 13045826 edges, 10324 markings/sec, 295 secs
lola: 2506559 markings, 13269371 edges, 6255 markings/sec, 300 secs
lola: 2525884 markings, 13499080 edges, 3865 markings/sec, 305 secs
lola: 2575953 markings, 13710569 edges, 10014 markings/sec, 310 secs
lola: 2609150 markings, 13932268 edges, 6639 markings/sec, 315 secs
lola: 2625075 markings, 14165374 edges, 3185 markings/sec, 320 secs
lola: 2658366 markings, 14387904 edges, 6658 markings/sec, 325 secs
lola: 2692543 markings, 14611399 edges, 6835 markings/sec, 330 secs
lola: 2734700 markings, 14827520 edges, 8431 markings/sec, 335 secs
lola: 2774885 markings, 15045252 edges, 8037 markings/sec, 340 secs
lola: 2815262 markings, 15263116 edges, 8075 markings/sec, 345 secs
lola: 2855123 markings, 15481231 edges, 7972 markings/sec, 350 secs
lola: 2894307 markings, 15699809 edges, 7837 markings/sec, 355 secs
lola: 2934880 markings, 15916912 edges, 8115 markings/sec, 360 secs
lola: 2972698 markings, 16135961 edges, 7564 markings/sec, 365 secs
lola: 3007553 markings, 16355818 edges, 6971 markings/sec, 370 secs
lola: 3045462 markings, 16571127 edges, 7582 markings/sec, 375 secs
lola: 3085976 markings, 16787906 edges, 8103 markings/sec, 380 secs
lola: 3133293 markings, 17000311 edges, 9463 markings/sec, 385 secs
lola: 3181820 markings, 17210620 edges, 9705 markings/sec, 390 secs
lola: 3222590 markings, 17425878 edges, 8154 markings/sec, 395 secs
lola: 3263096 markings, 17641680 edges, 8101 markings/sec, 400 secs
lola: 3307452 markings, 17855746 edges, 8871 markings/sec, 405 secs
lola: 3344500 markings, 18073817 edges, 7410 markings/sec, 410 secs
lola: 3375296 markings, 18295184 edges, 6159 markings/sec, 415 secs
lola: 3415369 markings, 18512081 edges, 8015 markings/sec, 420 secs
lola: 3459426 markings, 18726374 edges, 8811 markings/sec, 425 secs
lola: 3493978 markings, 18946076 edges, 6910 markings/sec, 430 secs
lola: 3525781 markings, 19167372 edges, 6361 markings/sec, 435 secs
lola: 3567153 markings, 19383132 edges, 8274 markings/sec, 440 secs
lola: 3606507 markings, 19600156 edges, 7871 markings/sec, 445 secs
lola: 3645712 markings, 19817776 edges, 7841 markings/sec, 450 secs
lola: 3686429 markings, 20034117 edges, 8143 markings/sec, 455 secs
lola: 3721427 markings, 20253334 edges, 7000 markings/sec, 460 secs
lola: 3757676 markings, 20468766 edges, 7250 markings/sec, 465 secs
lola: 3795066 markings, 20683081 edges, 7478 markings/sec, 470 secs
lola: 3836574 markings, 20896674 edges, 8302 markings/sec, 475 secs
lola: 3884967 markings, 21108504 edges, 9679 markings/sec, 480 secs
lola: 3921270 markings, 21327837 edges, 7261 markings/sec, 485 secs
lola: 3963258 markings, 21543665 edges, 8398 markings/sec, 490 secs
lola: 4000964 markings, 21757742 edges, 7541 markings/sec, 495 secs
lola: 4034719 markings, 21980060 edges, 6751 markings/sec, 500 secs
lola: 4072877 markings, 22196392 edges, 7632 markings/sec, 505 secs
lola: 4106626 markings, 22416400 edges, 6750 markings/sec, 510 secs
lola: 4144071 markings, 22617313 edges, 7489 markings/sec, 515 secs
lola: 4183987 markings, 22832965 edges, 7983 markings/sec, 520 secs
lola: 4224736 markings, 23050604 edges, 8150 markings/sec, 525 secs
lola: 4263369 markings, 23269307 edges, 7727 markings/sec, 530 secs
lola: 4297211 markings, 23489067 edges, 6768 markings/sec, 535 secs
lola: 4335959 markings, 23705160 edges, 7750 markings/sec, 540 secs
lola: 4378158 markings, 23916403 edges, 8440 markings/sec, 545 secs
lola: 4422658 markings, 24132593 edges, 8900 markings/sec, 550 secs
lola: 4461675 markings, 24349138 edges, 7803 markings/sec, 555 secs
lola: 4499182 markings, 24567899 edges, 7501 markings/sec, 560 secs
lola: 4533003 markings, 24787006 edges, 6764 markings/sec, 565 secs
lola: 4568916 markings, 24972363 edges, 7183 markings/sec, 570 secs
lola: 4602278 markings, 25192019 edges, 6672 markings/sec, 575 secs
lola: 4640842 markings, 25405476 edges, 7713 markings/sec, 580 secs
lola: 4679526 markings, 25619482 edges, 7737 markings/sec, 585 secs
lola: 4718230 markings, 25834815 edges, 7741 markings/sec, 590 secs
lola: 4758500 markings, 26049398 edges, 8054 markings/sec, 595 secs
lola: 4797381 markings, 26258928 edges, 7776 markings/sec, 600 secs
lola: 4836943 markings, 26478309 edges, 7912 markings/sec, 605 secs
lola: 4878020 markings, 26693625 edges, 8215 markings/sec, 610 secs
lola: 4919186 markings, 26908484 edges, 8233 markings/sec, 615 secs
lola: 4961375 markings, 27123700 edges, 8438 markings/sec, 620 secs
lola: 5005940 markings, 27337367 edges, 8913 markings/sec, 625 secs
lola: 5039779 markings, 27559170 edges, 6768 markings/sec, 630 secs
lola: 5078400 markings, 27776315 edges, 7724 markings/sec, 635 secs
lola: 5118959 markings, 27992463 edges, 8112 markings/sec, 640 secs
lola: 5159079 markings, 28209284 edges, 8024 markings/sec, 645 secs
lola: 5197509 markings, 28427068 edges, 7686 markings/sec, 650 secs
lola: 5238034 markings, 28643470 edges, 8105 markings/sec, 655 secs
lola: 5275271 markings, 28861634 edges, 7447 markings/sec, 660 secs
lola: 5308642 markings, 29081998 edges, 6674 markings/sec, 665 secs
lola: 5350461 markings, 29301379 edges, 8364 markings/sec, 670 secs
lola: 5389946 markings, 29519517 edges, 7897 markings/sec, 675 secs
lola: 5434980 markings, 29733844 edges, 9007 markings/sec, 680 secs
lola: 5483413 markings, 29950133 edges, 9687 markings/sec, 685 secs
lola: 5532577 markings, 30161889 edges, 9833 markings/sec, 690 secs
lola: 5581608 markings, 30378535 edges, 9806 markings/sec, 695 secs
lola: 5630276 markings, 30590622 edges, 9734 markings/sec, 700 secs
lola: 5679253 markings, 30799457 edges, 9795 markings/sec, 705 secs
lola: 5719630 markings, 31014819 edges, 8075 markings/sec, 710 secs
lola: 5761272 markings, 31228952 edges, 8328 markings/sec, 715 secs
lola: 5802120 markings, 31442783 edges, 8170 markings/sec, 720 secs
lola: 5846633 markings, 31652979 edges, 8903 markings/sec, 725 secs
lola: 5880581 markings, 31872301 edges, 6790 markings/sec, 730 secs
lola: 5918372 markings, 32088056 edges, 7558 markings/sec, 735 secs
lola: 5958437 markings, 32300875 edges, 8013 markings/sec, 740 secs
lola: 6008095 markings, 32512096 edges, 9932 markings/sec, 745 secs
lola: 6046404 markings, 32734685 edges, 7662 markings/sec, 750 secs
lola: 6092005 markings, 32954577 edges, 9120 markings/sec, 755 secs
lola: 6132518 markings, 33165745 edges, 8103 markings/sec, 760 secs
lola: 6172835 markings, 33385696 edges, 8063 markings/sec, 765 secs
lola: 6204707 markings, 33611762 edges, 6374 markings/sec, 770 secs
lola: 6243412 markings, 33835517 edges, 7741 markings/sec, 775 secs
lola: 6282729 markings, 34046903 edges, 7863 markings/sec, 780 secs
lola: 6323088 markings, 34266135 edges, 8072 markings/sec, 785 secs
lola: 6354043 markings, 34491000 edges, 6191 markings/sec, 790 secs
lola: 6393344 markings, 34713639 edges, 7860 markings/sec, 795 secs
lola: 6443198 markings, 34928517 edges, 9971 markings/sec, 800 secs
lola: 6498422 markings, 35139239 edges, 11045 markings/sec, 805 secs
lola: 6546351 markings, 35354738 edges, 9586 markings/sec, 810 secs
lola: 6591980 markings, 35571997 edges, 9126 markings/sec, 815 secs
lola: 6663832 markings, 35769907 edges, 14370 markings/sec, 820 secs
lola: 6693291 markings, 35998221 edges, 5892 markings/sec, 825 secs
lola: 6743774 markings, 36210399 edges, 10097 markings/sec, 830 secs
lola: 6784707 markings, 36429761 edges, 8187 markings/sec, 835 secs
lola: 6805339 markings, 36661577 edges, 4126 markings/sec, 840 secs
lola: 6871545 markings, 36862161 edges, 13241 markings/sec, 845 secs
lola: 6898244 markings, 37090288 edges, 5340 markings/sec, 850 secs
lola: 6924184 markings, 37319835 edges, 5188 markings/sec, 855 secs
lola: 6967634 markings, 37538351 edges, 8690 markings/sec, 860 secs
lola: 7011555 markings, 37756655 edges, 8784 markings/sec, 865 secs
lola: 7057568 markings, 37972904 edges, 9203 markings/sec, 870 secs
lola: 7100457 markings, 38191432 edges, 8578 markings/sec, 875 secs
lola: 7135008 markings, 38415037 edges, 6910 markings/sec, 880 secs
lola: 7183941 markings, 38630187 edges, 9787 markings/sec, 885 secs
lola: 7241306 markings, 38836718 edges, 11473 markings/sec, 890 secs
lola: 7262232 markings, 39069549 edges, 4185 markings/sec, 895 secs
lola: 7301858 markings, 39287662 edges, 7925 markings/sec, 900 secs
lola: 7342682 markings, 39505023 edges, 8165 markings/sec, 905 secs
lola: 7364746 markings, 39736336 edges, 4413 markings/sec, 910 secs
lola: 7399092 markings, 39957404 edges, 6869 markings/sec, 915 secs
lola: 7447134 markings, 40169212 edges, 9608 markings/sec, 920 secs
lola: 7464738 markings, 40404318 edges, 3521 markings/sec, 925 secs
lola: 7492520 markings, 40629232 edges, 5556 markings/sec, 930 secs
lola: 7532200 markings, 40849831 edges, 7936 markings/sec, 935 secs
lola: 7574600 markings, 41068627 edges, 8480 markings/sec, 940 secs
lola: 7616646 markings, 41287218 edges, 8409 markings/sec, 945 secs
lola: 7658280 markings, 41505515 edges, 8327 markings/sec, 950 secs
lola: 7697154 markings, 41725435 edges, 7775 markings/sec, 955 secs
lola: 7737922 markings, 41945585 edges, 8154 markings/sec, 960 secs
lola: 7801248 markings, 42147897 edges, 12665 markings/sec, 965 secs
lola: 7824258 markings, 42380181 edges, 4602 markings/sec, 970 secs
lola: 7863418 markings, 42596939 edges, 7832 markings/sec, 975 secs
lola: 7908953 markings, 42810127 edges, 9107 markings/sec, 980 secs
lola: 7929986 markings, 43042413 edges, 4207 markings/sec, 985 secs
lola: 7959921 markings, 43265382 edges, 5987 markings/sec, 990 secs
lola: 8014880 markings, 43471884 edges, 10992 markings/sec, 995 secs
lola: 8031039 markings, 43706921 edges, 3232 markings/sec, 1000 secs
lola: 8053033 markings, 43935056 edges, 4399 markings/sec, 1005 secs
lola: 8091814 markings, 44155516 edges, 7756 markings/sec, 1010 secs
lola: 8130333 markings, 44374501 edges, 7704 markings/sec, 1015 secs
lola: 8169570 markings, 44592681 edges, 7847 markings/sec, 1020 secs
lola: 8208078 markings, 44811907 edges, 7702 markings/sec, 1025 secs
lola: 8250154 markings, 45028219 edges, 8415 markings/sec, 1030 secs
lola: 8290541 markings, 45245477 edges, 8077 markings/sec, 1035 secs
lola: 8330618 markings, 45462998 edges, 8015 markings/sec, 1040 secs
lola: 8369715 markings, 45681294 edges, 7819 markings/sec, 1045 secs
lola: 8403951 markings, 45901895 edges, 6847 markings/sec, 1050 secs
lola: 8441933 markings, 46117577 edges, 7596 markings/sec, 1055 secs
lola: 8481422 markings, 46332577 edges, 7898 markings/sec, 1060 secs
lola: 8521789 markings, 46550296 edges, 8073 markings/sec, 1065 secs
lola: 8575302 markings, 46757224 edges, 10703 markings/sec, 1070 secs
lola: 8616394 markings, 46972222 edges, 8218 markings/sec, 1075 secs
lola: 8655511 markings, 47188155 edges, 7823 markings/sec, 1080 secs
lola: 8698484 markings, 47402840 edges, 8595 markings/sec, 1085 secs
lola: 8738176 markings, 47619128 edges, 7938 markings/sec, 1090 secs
lola: 8775239 markings, 47836645 edges, 7413 markings/sec, 1095 secs
lola: 8807334 markings, 48057616 edges, 6419 markings/sec, 1100 secs
lola: 8849560 markings, 48273113 edges, 8445 markings/sec, 1105 secs
lola: 8892564 markings, 48487139 edges, 8601 markings/sec, 1110 secs
lola: 8925561 markings, 48707646 edges, 6599 markings/sec, 1115 secs
lola: 8960987 markings, 48926345 edges, 7085 markings/sec, 1120 secs
lola: 9000109 markings, 49143710 edges, 7824 markings/sec, 1125 secs
lola: 9040018 markings, 49360206 edges, 7982 markings/sec, 1130 secs
lola: 9081022 markings, 49576022 edges, 8201 markings/sec, 1135 secs
lola: 9118806 markings, 49793903 edges, 7557 markings/sec, 1140 secs
lola: 9151980 markings, 50014230 edges, 6635 markings/sec, 1145 secs
lola: 9190608 markings, 50228350 edges, 7726 markings/sec, 1150 secs
lola: 9231673 markings, 50442336 edges, 8213 markings/sec, 1155 secs
lola: 9272867 markings, 50658660 edges, 8239 markings/sec, 1160 secs
lola: 9317385 markings, 50873852 edges, 8904 markings/sec, 1165 secs
lola: 9357576 markings, 51092017 edges, 8038 markings/sec, 1170 secs
lola: 9399975 markings, 51308454 edges, 8480 markings/sec, 1175 secs
lola: 9429500 markings, 51533824 edges, 5905 markings/sec, 1180 secs
lola: 9471694 markings, 51750786 edges, 8439 markings/sec, 1185 secs
lola: 9505171 markings, 51972816 edges, 6695 markings/sec, 1190 secs
lola: 9544009 markings, 52190453 edges, 7768 markings/sec, 1195 secs
lola: 9584192 markings, 52406290 edges, 8037 markings/sec, 1200 secs
lola: 9623776 markings, 52623017 edges, 7917 markings/sec, 1205 secs
lola: 9663175 markings, 52839754 edges, 7880 markings/sec, 1210 secs
lola: 9699195 markings, 53058150 edges, 7204 markings/sec, 1215 secs
lola: 9735081 markings, 53276563 edges, 7177 markings/sec, 1220 secs
lola: 9774433 markings, 53492959 edges, 7870 markings/sec, 1225 secs
lola: 9824701 markings, 53703619 edges, 10054 markings/sec, 1230 secs
lola: 9860776 markings, 53923989 edges, 7215 markings/sec, 1235 secs
lola: 9900899 markings, 54141483 edges, 8025 markings/sec, 1240 secs
lola: 9933710 markings, 54362996 edges, 6562 markings/sec, 1245 secs
lola: 9975899 markings, 54579341 edges, 8438 markings/sec, 1250 secs
lola: 10012531 markings, 54798197 edges, 7326 markings/sec, 1255 secs
lola: 10047527 markings, 55017893 edges, 6999 markings/sec, 1260 secs
lola: 10087210 markings, 55233274 edges, 7937 markings/sec, 1265 secs
lola: 10125769 markings, 55449753 edges, 7712 markings/sec, 1270 secs
lola: 10165920 markings, 55665111 edges, 8030 markings/sec, 1275 secs
lola: 10207087 markings, 55879649 edges, 8233 markings/sec, 1280 secs
lola: 10245206 markings, 56098676 edges, 7624 markings/sec, 1285 secs
lola: 10287011 markings, 56312643 edges, 8361 markings/sec, 1290 secs
lola: 10326887 markings, 56526301 edges, 7975 markings/sec, 1295 secs
lola: 10368335 markings, 56740498 edges, 8290 markings/sec, 1300 secs
lola: 10412817 markings, 56952250 edges, 8896 markings/sec, 1305 secs
lola: 10447385 markings, 57171803 edges, 6914 markings/sec, 1310 secs
lola: 10486285 markings, 57388024 edges, 7780 markings/sec, 1315 secs
lola: 10525858 markings, 57603558 edges, 7915 markings/sec, 1320 secs
lola: 10563613 markings, 57820502 edges, 7551 markings/sec, 1325 secs
lola: 10605033 markings, 58034431 edges, 8284 markings/sec, 1330 secs
lola: 10644476 markings, 58249960 edges, 7889 markings/sec, 1335 secs
lola: 10681875 markings, 58466773 edges, 7480 markings/sec, 1340 secs
lola: 10715400 markings, 58686093 edges, 6705 markings/sec, 1345 secs
lola: 10755792 markings, 58904095 edges, 8078 markings/sec, 1350 secs
lola: 10795471 markings, 59122661 edges, 7936 markings/sec, 1355 secs
lola: 10837981 markings, 59336981 edges, 8502 markings/sec, 1360 secs
lola: 10896077 markings, 59547117 edges, 11619 markings/sec, 1365 secs
lola: 10948841 markings, 59757751 edges, 10553 markings/sec, 1370 secs
lola: 10999394 markings, 59959265 edges, 10111 markings/sec, 1375 secs
lola: 11043848 markings, 60175055 edges, 8891 markings/sec, 1380 secs
lola: 11095281 markings, 60385320 edges, 10287 markings/sec, 1385 secs
lola: 11147014 markings, 60597124 edges, 10347 markings/sec, 1390 secs
lola: 11190222 markings, 60814358 edges, 8642 markings/sec, 1395 secs
lola: 11233995 markings, 61029060 edges, 8755 markings/sec, 1400 secs
lola: 11275713 markings, 61249187 edges, 8344 markings/sec, 1405 secs
lola: 11310497 markings, 61471863 edges, 6957 markings/sec, 1410 secs
lola: 11354596 markings, 61685892 edges, 8820 markings/sec, 1415 secs
lola: 11396045 markings, 61905715 edges, 8290 markings/sec, 1420 secs
lola: 11430992 markings, 62127057 edges, 6989 markings/sec, 1425 secs
lola: 11475595 markings, 62340407 edges, 8921 markings/sec, 1430 secs
lola: 11521813 markings, 62557801 edges, 9244 markings/sec, 1435 secs
lola: 11566379 markings, 62774337 edges, 8913 markings/sec, 1440 secs
lola: 11610361 markings, 62990131 edges, 8796 markings/sec, 1445 secs
lola: 11654456 markings, 63206223 edges, 8819 markings/sec, 1450 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown no no no no no unknown unknown no no no unknown no no
lola:
preliminary result: no no unknown no no no no no unknown unknown no no no unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown no no no no no unknown unknown no no no unknown no no
lola: memory consumption: 1961596 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: no no unknown no no no no no unknown unknown no no no unknown no no
lola: memory consumption: 1961596 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 1590070781626

--------------------
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-7b"
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-7b, 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-158902068300090"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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