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

About the Execution of ITS-LoLa for CloudOpsManagement-PT-20480by10240

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15792.230 3600000.00 1199966.00 129739.80 FFFF?F?FF?FFFFFF 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.r168-smll-158987806800466.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 itslola
Input is CloudOpsManagement-PT-20480by10240, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806800466
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 4.2K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 16:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Mar 26 08:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 26 08:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K 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 13 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 17K 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 CloudOpsManagement-PT-20480by10240-00
FORMULA_NAME CloudOpsManagement-PT-20480by10240-01
FORMULA_NAME CloudOpsManagement-PT-20480by10240-02
FORMULA_NAME CloudOpsManagement-PT-20480by10240-03
FORMULA_NAME CloudOpsManagement-PT-20480by10240-04
FORMULA_NAME CloudOpsManagement-PT-20480by10240-05
FORMULA_NAME CloudOpsManagement-PT-20480by10240-06
FORMULA_NAME CloudOpsManagement-PT-20480by10240-07
FORMULA_NAME CloudOpsManagement-PT-20480by10240-08
FORMULA_NAME CloudOpsManagement-PT-20480by10240-09
FORMULA_NAME CloudOpsManagement-PT-20480by10240-10
FORMULA_NAME CloudOpsManagement-PT-20480by10240-11
FORMULA_NAME CloudOpsManagement-PT-20480by10240-12
FORMULA_NAME CloudOpsManagement-PT-20480by10240-13
FORMULA_NAME CloudOpsManagement-PT-20480by10240-14
FORMULA_NAME CloudOpsManagement-PT-20480by10240-15

=== Now, execution of the tool begins

BK_START 1591381476304

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 18:24:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 18:24:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 18:24:38] [INFO ] Load time of PNML (sax parser for PT used): 37 ms
[2020-06-05 18:24:38] [INFO ] Transformed 27 places.
[2020-06-05 18:24:39] [INFO ] Transformed 29 transitions.
[2020-06-05 18:24:39] [INFO ] Parsed PT model containing 27 places and 29 transitions in 90 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 21 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 102410 steps, including 0 resets, run finished after 92 ms. (steps per millisecond=1113 ) properties seen :[1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0]
// Phase 1: matrix 29 rows 27 cols
[2020-06-05 18:24:39] [INFO ] Computed 11 place invariants in 5 ms
[2020-06-05 18:24:39] [INFO ] [Real]Absence check using 11 positive place invariants in 26 ms returned sat
[2020-06-05 18:24:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:39] [INFO ] [Real]Absence check using state equation in 30 ms returned sat
[2020-06-05 18:24:39] [INFO ] State equation strengthened by 3 read => feed constraints.
[2020-06-05 18:24:39] [INFO ] [Real]Added 3 Read/Feed constraints in 3 ms returned sat
[2020-06-05 18:24:39] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 8 ms.
[2020-06-05 18:24:39] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:39] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-06-05 18:24:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:39] [INFO ] [Nat]Absence check using state equation in 29 ms returned sat
[2020-06-05 18:24:39] [INFO ] [Nat]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:39] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 6 ms.
[2020-06-05 18:24:39] [INFO ] Added : 25 causal constraints over 6 iterations in 53 ms. Result :sat
[2020-06-05 18:24:39] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-06-05 18:24:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:39] [INFO ] [Real]Absence check using state equation in 32 ms returned sat
[2020-06-05 18:24:39] [INFO ] [Real]Added 3 Read/Feed constraints in 1 ms returned sat
[2020-06-05 18:24:39] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 18:24:39] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:39] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-06-05 18:24:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:39] [INFO ] [Nat]Absence check using state equation in 16 ms returned sat
[2020-06-05 18:24:39] [INFO ] [Nat]Added 3 Read/Feed constraints in 1 ms returned sat
[2020-06-05 18:24:39] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 18:24:39] [INFO ] Added : 25 causal constraints over 6 iterations in 39 ms. Result :sat
[2020-06-05 18:24:39] [INFO ] [Real]Absence check using 11 positive place invariants in 5 ms returned sat
[2020-06-05 18:24:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:39] [INFO ] [Real]Absence check using state equation in 17 ms returned sat
[2020-06-05 18:24:39] [INFO ] [Real]Added 3 Read/Feed constraints in 1 ms returned sat
[2020-06-05 18:24:39] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 6 ms.
[2020-06-05 18:24:39] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:39] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-06-05 18:24:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:39] [INFO ] [Nat]Absence check using state equation in 29 ms returned sat
[2020-06-05 18:24:39] [INFO ] [Nat]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:39] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 7 ms.
[2020-06-05 18:24:39] [INFO ] Added : 25 causal constraints over 6 iterations in 57 ms. Result :sat
[2020-06-05 18:24:39] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned unsat
[2020-06-05 18:24:39] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-06-05 18:24:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:39] [INFO ] [Real]Absence check using state equation in 25 ms returned sat
[2020-06-05 18:24:39] [INFO ] [Real]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:39] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 8 ms.
[2020-06-05 18:24:39] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:40] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:40] [INFO ] [Nat]Absence check using state equation in 31 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Nat]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:40] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 7 ms.
[2020-06-05 18:24:40] [INFO ] Added : 25 causal constraints over 5 iterations in 53 ms. Result :sat
[2020-06-05 18:24:40] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:40] [INFO ] [Real]Absence check using state equation in 24 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Real]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:40] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 6 ms.
[2020-06-05 18:24:40] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:40] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:40] [INFO ] [Nat]Absence check using state equation in 21 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Nat]Added 3 Read/Feed constraints in 1 ms returned sat
[2020-06-05 18:24:40] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 7 ms.
[2020-06-05 18:24:40] [INFO ] Added : 25 causal constraints over 6 iterations in 46 ms. Result :sat
[2020-06-05 18:24:40] [INFO ] [Real]Absence check using 11 positive place invariants in 5 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:40] [INFO ] [Real]Absence check using state equation in 16 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Real]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:40] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 3 ms.
[2020-06-05 18:24:40] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:40] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:40] [INFO ] [Nat]Absence check using state equation in 27 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Nat]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:40] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 3 ms.
[2020-06-05 18:24:40] [INFO ] Added : 25 causal constraints over 6 iterations in 40 ms. Result :sat
[2020-06-05 18:24:40] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:40] [INFO ] [Real]Absence check using state equation in 26 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Real]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:40] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 18:24:40] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:40] [INFO ] [Nat]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:40] [INFO ] [Nat]Absence check using state equation in 18 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Nat]Added 3 Read/Feed constraints in 3 ms returned sat
[2020-06-05 18:24:40] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 3 ms.
[2020-06-05 18:24:40] [INFO ] Added : 25 causal constraints over 5 iterations in 24 ms. Result :sat
[2020-06-05 18:24:40] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:40] [INFO ] [Real]Absence check using state equation in 22 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Real]Added 3 Read/Feed constraints in 3 ms returned sat
[2020-06-05 18:24:40] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 15 ms.
[2020-06-05 18:24:40] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:40] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:40] [INFO ] [Nat]Absence check using state equation in 18 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Nat]Added 3 Read/Feed constraints in 3 ms returned sat
[2020-06-05 18:24:40] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 18:24:40] [INFO ] Added : 25 causal constraints over 6 iterations in 36 ms. Result :sat
[2020-06-05 18:24:40] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:40] [INFO ] [Real]Absence check using state equation in 17 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Real]Added 3 Read/Feed constraints in 10 ms returned sat
[2020-06-05 18:24:40] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 3 ms.
[2020-06-05 18:24:40] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:40] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:40] [INFO ] [Nat]Absence check using state equation in 23 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Nat]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:40] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 5 ms.
[2020-06-05 18:24:40] [INFO ] Added : 25 causal constraints over 6 iterations in 61 ms. Result :sat
[2020-06-05 18:24:40] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-06-05 18:24:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:41] [INFO ] [Real]Absence check using state equation in 20 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Real]Added 3 Read/Feed constraints in 7 ms returned sat
[2020-06-05 18:24:41] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 18:24:41] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:41] [INFO ] [Nat]Absence check using state equation in 14 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Nat]Added 3 Read/Feed constraints in 1 ms returned sat
[2020-06-05 18:24:41] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 3 ms.
[2020-06-05 18:24:41] [INFO ] Added : 25 causal constraints over 6 iterations in 30 ms. Result :sat
[2020-06-05 18:24:41] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:41] [INFO ] [Real]Absence check using state equation in 13 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Real]Added 3 Read/Feed constraints in 1 ms returned sat
[2020-06-05 18:24:41] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 2 ms.
[2020-06-05 18:24:41] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:41] [INFO ] [Nat]Absence check using state equation in 20 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Nat]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:41] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 18:24:41] [INFO ] Added : 25 causal constraints over 6 iterations in 43 ms. Result :sat
[2020-06-05 18:24:41] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:41] [INFO ] [Real]Absence check using state equation in 30 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Real]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:41] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 6 ms.
[2020-06-05 18:24:41] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:41] [INFO ] [Nat]Absence check using state equation in 20 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Nat]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:41] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 5 ms.
[2020-06-05 18:24:41] [INFO ] Added : 25 causal constraints over 6 iterations in 46 ms. Result :sat
[2020-06-05 18:24:41] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:41] [INFO ] [Real]Absence check using state equation in 20 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Real]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:41] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 5 ms.
[2020-06-05 18:24:41] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:41] [INFO ] [Nat]Absence check using state equation in 16 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Nat]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:41] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 5 ms.
[2020-06-05 18:24:41] [INFO ] Added : 25 causal constraints over 6 iterations in 43 ms. Result :sat
[2020-06-05 18:24:41] [INFO ] [Real]Absence check using 11 positive place invariants in 5 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:41] [INFO ] [Real]Absence check using state equation in 17 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Real]Added 3 Read/Feed constraints in 1 ms returned sat
[2020-06-05 18:24:41] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 5 ms.
[2020-06-05 18:24:41] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:41] [INFO ] [Nat]Absence check using state equation in 15 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Nat]Added 3 Read/Feed constraints in 1 ms returned sat
[2020-06-05 18:24:41] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 5 ms.
[2020-06-05 18:24:41] [INFO ] Added : 25 causal constraints over 6 iterations in 34 ms. Result :sat
[2020-06-05 18:24:41] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:41] [INFO ] [Real]Absence check using state equation in 19 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Real]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:41] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 18:24:41] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:41] [INFO ] [Nat]Absence check using state equation in 14 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Nat]Added 3 Read/Feed constraints in 1 ms returned sat
[2020-06-05 18:24:41] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 2 ms.
[2020-06-05 18:24:41] [INFO ] Added : 25 causal constraints over 6 iterations in 34 ms. Result :sat
[2020-06-05 18:24:41] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:41] [INFO ] [Real]Absence check using state equation in 18 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Real]Added 3 Read/Feed constraints in 1 ms returned sat
[2020-06-05 18:24:41] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 18:24:41] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:41] [INFO ] [Nat]Absence check using state equation in 22 ms returned sat
[2020-06-05 18:24:41] [INFO ] [Nat]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:41] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 5 ms.
[2020-06-05 18:24:42] [INFO ] Added : 25 causal constraints over 6 iterations in 43 ms. Result :sat
[2020-06-05 18:24:42] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:42] [INFO ] [Real]Absence check using state equation in 20 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Real]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:42] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 18:24:42] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:42] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:42] [INFO ] [Nat]Absence check using state equation in 20 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Nat]Added 3 Read/Feed constraints in 1 ms returned sat
[2020-06-05 18:24:42] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 18:24:42] [INFO ] Added : 25 causal constraints over 6 iterations in 43 ms. Result :sat
[2020-06-05 18:24:42] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:42] [INFO ] [Real]Absence check using state equation in 20 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Real]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:42] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 18:24:42] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:42] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:42] [INFO ] [Nat]Absence check using state equation in 17 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Nat]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:42] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 18:24:42] [INFO ] Added : 25 causal constraints over 6 iterations in 43 ms. Result :sat
[2020-06-05 18:24:42] [INFO ] [Real]Absence check using 11 positive place invariants in 4 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:42] [INFO ] [Real]Absence check using state equation in 13 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Real]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 18:24:42] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 3 ms.
[2020-06-05 18:24:42] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:42] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:42] [INFO ] [Nat]Absence check using state equation in 15 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Nat]Added 3 Read/Feed constraints in 1 ms returned sat
[2020-06-05 18:24:42] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 5 ms.
[2020-06-05 18:24:42] [INFO ] Added : 25 causal constraints over 6 iterations in 38 ms. Result :sat
[2020-06-05 18:24:42] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:42] [INFO ] [Real]Absence check using state equation in 20 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Real]Added 3 Read/Feed constraints in 3 ms returned sat
[2020-06-05 18:24:42] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 18:24:42] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 18:24:42] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 18:24:42] [INFO ] [Nat]Absence check using state equation in 12 ms returned sat
[2020-06-05 18:24:42] [INFO ] [Nat]Added 3 Read/Feed constraints in 1 ms returned sat
[2020-06-05 18:24:42] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 2 ms.
[2020-06-05 18:24:42] [INFO ] Added : 25 causal constraints over 6 iterations in 26 ms. Result :sat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2020-06-05 18:24:42] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2020-06-05 18:24:42] [INFO ] Flatten gal took : 40 ms
FORMULA CloudOpsManagement-PT-20480by10240-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 18:24:42] [INFO ] Flatten gal took : 13 ms
[2020-06-05 18:24:42] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 6 ms.
[2020-06-05 18:24:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ CloudOpsManagement-PT-20480by10240 @ 3570 seconds

FORMULA CloudOpsManagement-PT-20480by10240-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-06 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-09 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-04 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 2073
rslt: Output for LTLFireability @ CloudOpsManagement-PT-20480by10240

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 1,
"aconj": 4,
"adisj": 2,
"aneg": 2,
"comp": 10,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "((((1 <= p6) AND (1 <= p26)) OR ((1 <= p8) AND (1 <= p25))) U X ((((1 <= p0) AND (1 <= p26) AND ((p3 <= 0) OR (p4 <= 0))) R ((p3 <= 0) OR (p4 <= 0)))))",
"processed_size": 154,
"rewrites": 61
},
"result":
{
"edges": 10247,
"markings": 10247,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "F (((G ((1 <= p2)) AND (1 <= p13)) OR ((1 <= p13) AND (1 <= p17) AND (1 <= p21))))",
"processed_size": 82,
"rewrites": 61
},
"result":
{
"edges": 40969,
"markings": 40967,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 2,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "(((p13 <= 0) OR (p17 <= 0) OR (p21 <= 0)) R X (((p8 <= 0) OR (p9 <= 0))))",
"processed_size": 76,
"rewrites": 61
},
"result":
{
"edges": 10245,
"markings": 10245,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "boolean"
}
},

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X (((((p14 <= 0) U ((1 <= p13) AND (1 <= p17) AND (1 <= p21))) AND (1 <= p12)) OR G ((p12 <= 0))))",
"processed_size": 98,
"rewrites": 61
},
"result":
{
"edges": 10246,
"markings": 10245,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 623
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((p13 <= 0))",
"processed_size": 12,
"rewrites": 63
},
"result":
{
"edges": 61445,
"markings": 61445,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 779
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(p7 <= 0)",
"processed_size": 9,
"rewrites": 63
},
"result":
{
"edges": 10245,
"markings": 10245,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "G ((F (((1 <= p3) AND (1 <= p4))) AND ((p11 <= 0) OR ((1 <= p3) AND (1 <= p4)))))",
"processed_size": 81,
"rewrites": 61
},
"result":
{
"edges": 20481,
"markings": 20481,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3404,
"runtime": 1497.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(** U X((* R *))) : (G((X((X(**) U **)) AND **)) OR X(**)) : ((* R X(*)) OR F(((G(**) AND **) OR **))) : ((G(**) OR **) U (F(**) OR **)) : G((X(F(*)) AND (X(*) R *))) : G(F((X(G(*)) AND F(*)))) : X((F(**) OR G(*))) : F(**) : X(X(G(**))) : X(F((X(*) R ((X(*) OR *) AND (F(*) AND *))))) : X((((** U **) AND **) OR G(**))) : (G(**) OR (G((F(**) AND (** OR **))) AND F(G(**)))) : (F(**) U (X(G(**)) OR **)) : F(**) : G(*)"
},
"net":
{
"arcs": 94,
"conflict_clusters": 11,
"places": 27,
"places_significant": 16,
"singleton_clusters": 0,
"transitions": 29
},
"result":
{
"preliminary_value": "no no no unknown no unknown no no unknown no no no no no no ",
"value": "no no no unknown no unknown no no unknown no no no no no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 56/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 27 places, 29 transitions, 16 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: LP says that atomic proposition is always true: (1 <= p19)
lola: LP says that atomic proposition is always true: (1 <= p16)
lola: LP says that atomic proposition is always true: (1 <= p23)
lola: LP says that atomic proposition is always true: (1 <= p23)
lola: ((((1 <= p6) AND (1 <= p26)) OR ((1 <= p8) AND (1 <= p25))) U NOT((X (((p0 <= 0) OR (p26 <= 0) OR ((1 <= p3) AND (1 <= p4)))) U X (((1 <= p3) AND (1 <= p4)))))) : (G (((X (X ((1 <= p18))) U X (((1 <= p3) AND (1 <= p4)))) AND (1 <= p18))) OR X (((1 <= p3) AND (1 <= p4)))) : (NOT((((1 <= p13) AND (1 <= p17) AND (1 <= p21)) U X (((1 <= p8) AND (1 <= p9))))) OR F (((G ((1 <= p2)) AND (1 <= p13)) OR ((1 <= p13) AND (1 <= p17) AND (1 <= p21))))) : ((G (((p18 <= 0) OR (1 <= p3) OR ((1 <= p8) AND (1 <= p9)))) OR (1 <= p22)) U (F (((1 <= p8) AND (1 <= p9))) OR (1 <= p18))) : G ((NOT(X (G ((1 <= p14)))) AND NOT((X ((1 <= p22)) U (1 <= p14))))) : X (X (NOT(F (G ((X (F (((1 <= p5) AND (1 <= p7) AND (1 <= p26)))) OR G (((1 <= p13) AND (1 <= p17) AND (1 <= p21))))))))) : X ((NOT(G (NOT(F ((1 <= p15))))) OR NOT(F (((1 <= p17)))))) : F (((1 <= p13))) : X (X (G (((1 <= p8) AND (1 <= p25))))) : F (X (NOT((X ((1 <= p11)) U (((X ((1 <= p3)) AND (1 <= p11)) OR G ((1 <= p11))) OR (1 <= p11)))))) : (X ((((p14 <= 0) U ((1 <= p13) AND (1 <= p17) AND (1 <= p21))) AND (1 <= p12))) OR G (X ((p12 <= 0)))) : (G (((p11 <= 0) U ((1 <= p3) AND (1 <= p4)))) U G ((1 <= p20))) : (F ((1 <= p15)) U (G (X (G (((p21 <= 0))))) OR ((1 <= p21)))) : F ((X ((((X ((p22 <= 0)) AND F (X ((1 <= p18)))) AND (1 <= p18)) AND (1 <= p22))) U (1 <= p7))) : NOT(F ((1 <= p24)))
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:410
lola: rewrite Frontend/Parser/formula_rewrite.k:338
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((1 <= p6) AND (1 <= p26)) OR ((1 <= p8) AND (1 <= p25))) U X ((((1 <= p0) AND (1 <= p26) AND ((p3 <= 0) OR (p4 <= 0))) R ((p3 <= 0) OR (p4 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((((1 <= p6) AND (1 <= p26)) OR ((1 <= p8) AND (1 <= p25))) U X ((((1 <= p0) AND (1 <= p26) AND ((p3 <= 0) OR (p4 <= 0))) R ((p3 <= 0) OR (p4 <= 0)))))
lola: processed formula length: 154
lola: 61 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: 10247 markings, 10247 edges
lola: ========================================
lola: subprocess 1 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((X ((X ((1 <= p18)) U ((1 <= p3) AND (1 <= p4)))) AND (1 <= p18))) OR X (((1 <= p3) AND (1 <= p4))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((1 <= p3) AND (1 <= p4)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((1 <= p3) AND (1 <= p4)))
lola: processed formula length: 29
lola: 61 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: 10245 markings, 10245 edges
lola: ========================================
lola: subprocess 2 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X ((X ((1 <= p18)) U ((1 <= p3) AND (1 <= p4)))) AND (1 <= p18)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X ((X ((1 <= p18)) U ((1 <= p3) AND (1 <= p4)))) AND (1 <= p18)))
lola: processed formula length: 69
lola: 61 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: 10245 markings, 10245 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((p13 <= 0) OR (p17 <= 0) OR (p21 <= 0)) R X (((p8 <= 0) OR (p9 <= 0)))) OR F (((G ((1 <= p2)) AND (1 <= p13)) OR ((1 <= p13) AND (1 <= p17) AND (1 <= p21)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((G ((1 <= p2)) AND (1 <= p13)) OR ((1 <= p13) AND (1 <= p17) AND (1 <= p21))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (((G ((1 <= p2)) AND (1 <= p13)) OR ((1 <= p13) AND (1 <= p17) AND (1 <= p21))))
lola: processed formula length: 82
lola: 61 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 40967 markings, 40969 edges
lola: ========================================
lola: subprocess 3 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p13 <= 0) OR (p17 <= 0) OR (p21 <= 0)) R X (((p8 <= 0) OR (p9 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((p13 <= 0) OR (p17 <= 0) OR (p21 <= 0)) R X (((p8 <= 0) OR (p9 <= 0))))
lola: processed formula length: 76
lola: 61 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: 10245 markings, 10245 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: subprocess 3 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X (F ((p14 <= 0))) AND (X ((p22 <= 0)) R (p14 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (F ((p14 <= 0))) AND (X ((p22 <= 0)) R (p14 <= 0))))
lola: processed formula length: 58
lola: 61 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: 30745 markings, 30754 edges
lola: ========================================
lola: subprocess 4 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((X (G (((p5 <= 0) OR (p7 <= 0) OR (p26 <= 0)))) AND F (((p13 <= 0) OR (p17 <= 0) OR (p21 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((X (G (((p5 <= 0) OR (p7 <= 0) OR (p26 <= 0)))) AND F (((p13 <= 0) OR (p17 <= 0) OR (p21 <= 0))))))
lola: processed formula length: 109
lola: 61 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2962025 markings, 4465122 edges, 592405 markings/sec, 0 secs
lola: 5901445 markings, 8890052 edges, 587884 markings/sec, 5 secs
lola: 8767274 markings, 13201699 edges, 573166 markings/sec, 10 secs
lola: 11612566 markings, 17481248 edges, 569058 markings/sec, 15 secs
lola: 14506360 markings, 21832636 edges, 578759 markings/sec, 20 secs
lola: 17330741 markings, 26079140 edges, 564876 markings/sec, 25 secs
lola: 20091069 markings, 30228724 edges, 552066 markings/sec, 30 secs
lola: 22851827 markings, 34378568 edges, 552152 markings/sec, 35 secs
lola: 25604243 markings, 38515588 edges, 550483 markings/sec, 40 secs
lola: 28125928 markings, 42305447 edges, 504337 markings/sec, 45 secs
lola: 30828168 markings, 46366372 edges, 540448 markings/sec, 50 secs
lola: 33371811 markings, 50189017 edges, 508729 markings/sec, 55 secs
lola: 36033229 markings, 54188089 edges, 532284 markings/sec, 60 secs
lola: 38423910 markings, 57780507 edges, 478136 markings/sec, 65 secs
lola: 41125333 markings, 61839558 edges, 540285 markings/sec, 70 secs
lola: 43586269 markings, 65537164 edges, 492187 markings/sec, 75 secs
lola: 46195655 markings, 69457674 edges, 521877 markings/sec, 80 secs
lola: 50563678 markings, 76020146 edges, 873605 markings/sec, 85 secs
lola: 53188720 markings, 79964074 edges, 525008 markings/sec, 90 secs
lola: 55696779 markings, 83731775 edges, 501612 markings/sec, 95 secs
lola: 58265001 markings, 87589972 edges, 513644 markings/sec, 100 secs
lola: 60763434 markings, 91343006 edges, 499687 markings/sec, 105 secs
lola: 63161423 markings, 94945349 edges, 479598 markings/sec, 110 secs
lola: 65729593 markings, 98803199 edges, 513634 markings/sec, 115 secs
lola: 68308173 markings, 102676640 edges, 515716 markings/sec, 120 secs
lola: 70881965 markings, 106542958 edges, 514758 markings/sec, 125 secs
lola: 73075553 markings, 109838879 edges, 438718 markings/sec, 130 secs
lola: 73638599 markings, 110683700 edges, 112609 markings/sec, 135 secs
lola: 74932815 markings, 112628257 edges, 258843 markings/sec, 140 secs
lola: 75820861 markings, 113961684 edges, 177609 markings/sec, 145 secs
lola: 77742752 markings, 116848372 edges, 384378 markings/sec, 150 secs
lola: 79769721 markings, 119895225 edges, 405394 markings/sec, 155 secs
lola: 81266411 markings, 122141040 edges, 299338 markings/sec, 160 secs
lola: 83389879 markings, 125330479 edges, 424694 markings/sec, 165 secs
lola: 83669488 markings, 125750556 edges, 55922 markings/sec, 170 secs
lola: 85467857 markings, 128451612 edges, 359674 markings/sec, 175 secs
lola: 85840771 markings, 129011670 edges, 74583 markings/sec, 180 secs
lola: 87627263 markings, 131695096 edges, 357298 markings/sec, 185 secs
lola: 88359100 markings, 132794174 edges, 146367 markings/sec, 190 secs
lola: 89437189 markings, 134413282 edges, 215618 markings/sec, 195 secs
lola: 89911315 markings, 135125433 edges, 94825 markings/sec, 200 secs
lola: 89926531 markings, 135148300 edges, 3043 markings/sec, 205 secs
lola: 89946975 markings, 135179004 edges, 4089 markings/sec, 210 secs
lola: 89950258 markings, 135183900 edges, 657 markings/sec, 215 secs
lola: 89950322 markings, 135184028 edges, 13 markings/sec, 220 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F ((1 <= p15)) OR G (((p17 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F ((1 <= p15)) OR G (((p17 <= 0)))))
lola: processed formula length: 40
lola: 61 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: 10245 markings, 10245 edges
lola: ========================================
lola: subprocess 6 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (G (((1 <= p8) AND (1 <= p25)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G (((1 <= p8) AND (1 <= p25)))))
lola: processed formula length: 38
lola: 61 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: 3218335 markings, 4851112 edges, 643667 markings/sec, 0 secs
lola: 6341951 markings, 9552915 edges, 624723 markings/sec, 5 secs
lola: 9379595 markings, 14122912 edges, 607529 markings/sec, 10 secs
lola: 12272436 markings, 18473518 edges, 578568 markings/sec, 15 secs
lola: 15332564 markings, 23074920 edges, 612026 markings/sec, 20 secs
lola: 18109241 markings, 27249597 edges, 555335 markings/sec, 25 secs
lola: 21049965 markings, 31670069 edges, 588145 markings/sec, 30 secs
lola: 24041882 markings, 36167256 edges, 598383 markings/sec, 35 secs
lola: 26981124 markings, 40584897 edges, 587848 markings/sec, 40 secs
lola: 29894702 markings, 44963595 edges, 582716 markings/sec, 45 secs
lola: 32775810 markings, 49293248 edges, 576222 markings/sec, 50 secs
lola: 35458354 markings, 53324356 edges, 536509 markings/sec, 55 secs
lola: 38333589 markings, 57644748 edges, 575047 markings/sec, 60 secs
lola: 41153594 markings, 61881969 edges, 564001 markings/sec, 65 secs
lola: 44044194 markings, 66225242 edges, 578120 markings/sec, 70 secs
lola: 46878050 markings, 70482979 edges, 566771 markings/sec, 75 secs
lola: 49725567 markings, 74760950 edges, 569503 markings/sec, 80 secs
lola: 52438345 markings, 78836621 edges, 542556 markings/sec, 85 secs
lola: 55234070 markings, 83036471 edges, 559145 markings/sec, 90 secs
lola: 57893695 markings, 87032027 edges, 531925 markings/sec, 95 secs
lola: 60692182 markings, 91236197 edges, 559697 markings/sec, 100 secs
lola: 63530211 markings, 95499566 edges, 567606 markings/sec, 105 secs
lola: 66318686 markings, 99688362 edges, 557695 markings/sec, 110 secs
lola: 69006087 markings, 103725292 edges, 537480 markings/sec, 115 secs
lola: 71734700 markings, 107823992 edges, 545723 markings/sec, 120 secs
lola: 74200812 markings, 111529020 edges, 493222 markings/sec, 125 secs
lola: 74644293 markings, 112194178 edges, 88696 markings/sec, 130 secs
lola: 76291839 markings, 114669091 edges, 329509 markings/sec, 135 secs
lola: 76742963 markings, 115346850 edges, 90225 markings/sec, 140 secs
lola: 78645898 markings, 118205152 edges, 380587 markings/sec, 145 secs
lola: 78958861 markings, 118674935 edges, 62593 markings/sec, 150 secs
lola: 80820941 markings, 121471855 edges, 372416 markings/sec, 155 secs
lola: 81360755 markings, 122282707 edges, 107963 markings/sec, 160 secs
lola: 83013933 markings, 124765791 edges, 330636 markings/sec, 165 secs
lola: 83807028 markings, 125956958 edges, 158619 markings/sec, 170 secs
lola: 85300370 markings, 128200106 edges, 298668 markings/sec, 175 secs
lola: 86538094 markings, 130059078 edges, 247545 markings/sec, 180 secs
lola: 87602016 markings, 131657226 edges, 212784 markings/sec, 185 secs
lola: 88855825 markings, 133540185 edges, 250762 markings/sec, 190 secs
lola: 89676778 markings, 134773230 edges, 164191 markings/sec, 195 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 389 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((X ((p11 <= 0)) R ((X ((p3 <= 0)) OR (p11 <= 0)) AND (F ((p11 <= 0)) AND (p11 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((X ((p11 <= 0)) R ((X ((p3 <= 0)) OR (p11 <= 0)) AND (F ((p11 <= 0)) AND (p11 <= 0))))))
lola: processed formula length: 94
lola: 61 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: 8 markings, 8 edges
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: lola: ========================================
========================================
lola: ...considering subproblem: X (((((p14 <= 0) U ((1 <= p13) AND (1 <= p17) AND (1 <= p21))) AND (1 <= p12)) OR G ((p12 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((((p14 <= 0) U ((1 <= p13) AND (1 <= p17) AND (1 <= p21))) AND (1 <= p12)) OR G ((p12 <= 0))))
lola: processed formula length: 98
lola: 61 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 10245 markings, 10246 edges
lola: ========================================
lola: subprocess 9 will run for 519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F ((1 <= p15)) U (X (G (((p21 <= 0)))) OR ((1 <= p21))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (F ((1 <= p15)) U (X (G (((p21 <= 0)))) OR ((1 <= p21))))
lola: processed formula length: 57
lola: 61 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: 10245 markings, 10245 edges
lola: ========================================
lola: subprocess 10 will run for 623 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p13)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p13 <= 0))
lola: processed formula length: 12
lola: 63 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: 61445 markings, 61445 edges
lola: ========================================
lola: subprocess 11 will run for 779 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((1 <= p7))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p7 <= 0)
lola: processed formula length: 9
lola: 63 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: 10245 markings, 10245 edges
lola: ========================================
lola: subprocess 12 will run for 1038 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((p24 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((p24 <= 0))
lola: processed formula length: 14
lola: 61 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 174139 markings, 194676 edges
lola: ========================================
lola: subprocess 13 will run for 1557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((G (((p18 <= 0) OR (1 <= p3) OR ((1 <= p8) AND (1 <= p9)))) OR (1 <= p22)) U (F (((1 <= p8) AND (1 <= p9))) OR (1 <= p18)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((G (((p18 <= 0) OR (1 <= p3) OR ((1 <= p8) AND (1 <= p9)))) OR (1 <= p22)) U (F (((1 <= p8) AND (1 <= p9))) OR (1 <= p18)))
lola: processed formula length: 126
lola: 61 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: 3156038 markings, 3944659 edges, 631208 markings/sec, 0 secs
lola: 6264617 markings, 7830181 edges, 621716 markings/sec, 5 secs
lola: 9317899 markings, 11647284 edges, 610656 markings/sec, 10 secs
lola: 12310052 markings, 15386492 edges, 598431 markings/sec, 15 secs
lola: 15268424 markings, 19084170 edges, 591674 markings/sec, 20 secs
lola: 18107631 markings, 22633167 edges, 567841 markings/sec, 25 secs
lola: 21084118 markings, 26353999 edges, 595297 markings/sec, 30 secs
lola: 24008510 markings, 30009890 edges, 584878 markings/sec, 35 secs
lola: 26947363 markings, 33683649 edges, 587771 markings/sec, 40 secs
lola: 29739127 markings, 37172394 edges, 558353 markings/sec, 45 secs
lola: 32696917 markings, 40870429 edges, 591558 markings/sec, 50 secs
lola: 35712141 markings, 44639567 edges, 603045 markings/sec, 55 secs
lola: 38709844 markings, 48386966 edges, 599541 markings/sec, 60 secs
lola: 41677762 markings, 52095093 edges, 593584 markings/sec, 65 secs
lola: 44642717 markings, 55803167 edges, 592991 markings/sec, 70 secs
lola: 47596009 markings, 59494131 edges, 590658 markings/sec, 75 secs
lola: 50500946 markings, 63123746 edges, 580987 markings/sec, 80 secs
lola: 53396181 markings, 66742743 edges, 579047 markings/sec, 85 secs
lola: 56330546 markings, 70411040 edges, 586873 markings/sec, 90 secs
lola: 59212634 markings, 74013990 edges, 576418 markings/sec, 95 secs
lola: 62070565 markings, 77585800 edges, 571586 markings/sec, 100 secs
lola: 64930714 markings, 81161468 edges, 572030 markings/sec, 105 secs
lola: 67783747 markings, 84728679 edges, 570607 markings/sec, 110 secs
lola: 70615936 markings, 88267251 edges, 566438 markings/sec, 115 secs
lola: 73933148 markings, 92413482 edges, 663442 markings/sec, 120 secs
lola: 76653613 markings, 95814757 edges, 544093 markings/sec, 125 secs
lola: 79555308 markings, 99441279 edges, 580339 markings/sec, 130 secs
lola: 82218326 markings, 102771992 edges, 532604 markings/sec, 135 secs
lola: 85102785 markings, 106376150 edges, 576892 markings/sec, 140 secs
lola: 87827102 markings, 109782353 edges, 544863 markings/sec, 145 secs
lola: 90709434 markings, 113386179 edges, 576466 markings/sec, 150 secs
lola: 93528998 markings, 116910956 edges, 563913 markings/sec, 155 secs
lola: 95805062 markings, 119754598 edges, 455213 markings/sec, 160 secs
lola: 96007779 markings, 120009609 edges, 40543 markings/sec, 165 secs
lola: 97647815 markings, 122060257 edges, 328007 markings/sec, 170 secs
lola: 98488372 markings, 123109902 edges, 168111 markings/sec, 175 secs
lola: 99465255 markings, 124329005 edges, 195377 markings/sec, 180 secs
lola: 101163010 markings, 126450684 edges, 339551 markings/sec, 185 secs
lola: 101687950 markings, 127109908 edges, 104988 markings/sec, 190 secs
lola: 103619258 markings, 129521260 edges, 386262 markings/sec, 195 secs
lola: 104351206 markings, 130437330 edges, 146390 markings/sec, 200 secs
lola: 106117931 markings, 132644925 edges, 353345 markings/sec, 205 secs
lola: 107179580 markings, 133974441 edges, 212330 markings/sec, 210 secs
lola: 108260843 markings, 135324861 edges, 216253 markings/sec, 215 secs
lola: 110119427 markings, 137647229 edges, 371717 markings/sec, 220 secs
lola: 111542274 markings, 139424162 edges, 284569 markings/sec, 225 secs
lola: 112657810 markings, 140820448 edges, 223107 markings/sec, 230 secs
lola: 114127489 markings, 142655997 edges, 293936 markings/sec, 235 secs
lola: 115463153 markings, 144326125 edges, 267133 markings/sec, 240 secs
lola: 116011530 markings, 145011757 edges, 109675 markings/sec, 245 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 2861 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((1 <= p20)) OR (G ((F (((1 <= p3) AND (1 <= p4))) AND ((p11 <= 0) OR ((1 <= p3) AND (1 <= p4))))) AND F (G ((1 <= p20)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 2861 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((1 <= p20))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((1 <= p20))
lola: processed formula length: 14
lola: 61 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 61445 markings, 61445 edges
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 16 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((1 <= p3) AND (1 <= p4))) AND ((p11 <= 0) OR ((1 <= p3) AND (1 <= p4)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((1 <= p3) AND (1 <= p4))) AND ((p11 <= 0) OR ((1 <= p3) AND (1 <= p4)))))
lola: processed formula length: 81
lola: 61 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: ========================================
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: 20481 markings, 20481 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G (F ((X (G (((p5 <= 0) OR (p7 <= 0) OR (p26 <= 0)))) AND F (((p13 <= 0) OR (p17 <= 0) OR (p21 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((X (G (((p5 <= 0) OR (p7 <= 0) OR (p26 <= 0)))) AND F (((p13 <= 0) OR (p17 <= 0) OR (p21 <= 0))))))
lola: processed formula length: 109
lola: 61 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2897686 markings, 4368167 edges, 579537 markings/sec, 0 secs
lola: 5610692 markings, 8452536 edges, 542601 markings/sec, 5 secs
lola: 8489450 markings, 12783901 edges, 575752 markings/sec, 10 secs
lola: 11079921 markings, 16680200 edges, 518094 markings/sec, 15 secs
lola: 13942419 markings, 20984829 edges, 572500 markings/sec, 20 secs
lola: 16616785 markings, 25005659 edges, 534873 markings/sec, 25 secs
lola: 19367616 markings, 29141254 edges, 550166 markings/sec, 30 secs
lola: 22087404 markings, 33229600 edges, 543958 markings/sec, 35 secs
lola: 24826935 markings, 37347224 edges, 547906 markings/sec, 40 secs
lola: 27537500 markings, 41421062 edges, 542113 markings/sec, 45 secs
lola: 30220408 markings, 45453122 edges, 536582 markings/sec, 50 secs
lola: 32706161 markings, 49188489 edges, 497151 markings/sec, 55 secs
lola: 35328006 markings, 53128565 edges, 524369 markings/sec, 60 secs
lola: 37797363 markings, 56839023 edges, 493871 markings/sec, 65 secs
lola: 40418423 markings, 60777294 edges, 524212 markings/sec, 70 secs
lola: 42960248 markings, 64596571 edges, 508365 markings/sec, 75 secs
lola: 45607561 markings, 68574048 edges, 529463 markings/sec, 80 secs
lola: 48086748 markings, 72298868 edges, 495837 markings/sec, 85 secs
lola: 50749402 markings, 76299183 edges, 532531 markings/sec, 90 secs
lola: 53337383 markings, 80187212 edges, 517596 markings/sec, 95 secs
lola: 55939399 markings, 84096225 edges, 520403 markings/sec, 100 secs
lola: 58398316 markings, 87790163 edges, 491783 markings/sec, 105 secs
lola: 61001027 markings, 91700111 edges, 520542 markings/sec, 110 secs
lola: 63537789 markings, 95510847 edges, 507352 markings/sec, 115 secs
lola: 66122805 markings, 99393951 edges, 517003 markings/sec, 120 secs
lola: 68584396 markings, 103091834 edges, 492318 markings/sec, 125 secs
lola: 71103852 markings, 106876266 edges, 503891 markings/sec, 130 secs
lola: 72536822 markings, 109029860 edges, 286594 markings/sec, 135 secs
lola: 74722707 markings, 112312647 edges, 437177 markings/sec, 140 secs
lola: 76840382 markings, 115494840 edges, 423535 markings/sec, 145 secs
lola: 78867966 markings, 118538366 edges, 405517 markings/sec, 150 secs
lola: 78997546 markings, 118733050 edges, 25916 markings/sec, 155 secs
lola: 78997546 markings, 118733050 edges, 0 markings/sec, 160 secs
lola: 80643130 markings, 121204974 edges, 329117 markings/sec, 165 secs
lola: 81005668 markings, 121749329 edges, 72508 markings/sec, 170 secs
lola: 81031087 markings, 121787696 edges, 5084 markings/sec, 175 secs
lola: 82329601 markings, 123737882 edges, 259703 markings/sec, 180 secs
lola: 84375595 markings, 126810969 edges, 409199 markings/sec, 185 secs
lola: 84506829 markings, 127008090 edges, 26247 markings/sec, 190 secs
lola: 86491862 markings, 129989609 edges, 397007 markings/sec, 195 secs
lola: 87072651 markings, 130862057 edges, 116158 markings/sec, 200 secs
lola: 88149434 markings, 132479374 edges, 215357 markings/sec, 205 secs
lola: 89287471 markings, 134188746 edges, 227607 markings/sec, 210 secs
lola: 89767145 markings, 134909145 edges, 95935 markings/sec, 215 secs
lola: 89874086 markings, 135070553 edges, 21388 markings/sec, 220 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (X (G (((1 <= p8) AND (1 <= p25)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G (((1 <= p8) AND (1 <= p25)))))
lola: processed formula length: 38
lola: 61 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: 3075966 markings, 4636704 edges, 615193 markings/sec, 0 secs
lola: 6098898 markings, 9187158 edges, 604586 markings/sec, 5 secs
lola: 9167704 markings, 13804138 edges, 613761 markings/sec, 10 secs
lola: 12229614 markings, 18409204 edges, 612382 markings/sec, 15 secs
lola: 15286706 markings, 23005950 edges, 611418 markings/sec, 20 secs
lola: 18304774 markings, 27543525 edges, 603614 markings/sec, 25 secs
lola: 21240580 markings, 31956636 edges, 587161 markings/sec, 30 secs
lola: 24227844 markings, 36446859 edges, 597453 markings/sec, 35 secs
lola: 27156725 markings, 40848704 edges, 585776 markings/sec, 40 secs
lola: 30066124 markings, 45221199 edges, 581880 markings/sec, 45 secs
lola: 32919445 markings, 49509129 edges, 570664 markings/sec, 50 secs
lola: 35781556 markings, 53809929 edges, 572422 markings/sec, 55 secs
lola: 38668643 markings, 58148192 edges, 577417 markings/sec, 60 secs
lola: 41604794 markings, 62560009 edges, 587230 markings/sec, 65 secs
lola: 44498203 markings, 66907339 edges, 578682 markings/sec, 70 secs
lola: 47318466 markings, 71144416 edges, 564053 markings/sec, 75 secs
lola: 50078611 markings, 75291389 edges, 552029 markings/sec, 80 secs
lola: 52908471 markings, 79542904 edges, 565972 markings/sec, 85 secs
lola: 55705928 markings, 83745391 edges, 559491 markings/sec, 90 secs
lola: 58465033 markings, 87890406 edges, 551821 markings/sec, 95 secs
lola: 61283544 markings, 92124631 edges, 563702 markings/sec, 100 secs
lola: 64115713 markings, 96378911 edges, 566434 markings/sec, 105 secs
lola: 66899608 markings, 100560849 edges, 556779 markings/sec, 110 secs
lola: 69668354 markings, 104719891 edges, 553749 markings/sec, 115 secs
lola: 72389268 markings, 108807823 edges, 544183 markings/sec, 120 secs
lola: 74077185 markings, 111343686 edges, 337583 markings/sec, 125 secs
lola: 74492899 markings, 111967785 edges, 83143 markings/sec, 130 secs
lola: 76328575 markings, 114725720 edges, 367135 markings/sec, 135 secs
lola: 77260603 markings, 116124400 edges, 186406 markings/sec, 140 secs
lola: 79472421 markings, 119446434 edges, 442364 markings/sec, 145 secs
lola: 79565431 markings, 119586101 edges, 18602 markings/sec, 150 secs
lola: 79565431 markings, 119586101 edges, 0 markings/sec, 155 secs
lola: 80897105 markings, 121586248 edges, 266335 markings/sec, 160 secs
lola: 81801626 markings, 122944759 edges, 180904 markings/sec, 165 secs
lola: 81815845 markings, 122966267 edges, 2844 markings/sec, 170 secs
lola: 83364003 markings, 125291526 edges, 309632 markings/sec, 175 secs
lola: 83506688 markings, 125506109 edges, 28537 markings/sec, 180 secs
lola: 84286601 markings, 126677454 edges, 155983 markings/sec, 185 secs
lola: 85813223 markings, 128970351 edges, 305324 markings/sec, 190 secs
lola: 85813223 markings, 128970351 edges, 0 markings/sec, 195 secs
lola: 87320863 markings, 131234888 edges, 301528 markings/sec, 200 secs
lola: 88245742 markings, 132624072 edges, 184976 markings/sec, 205 secs
lola: 88245742 markings, 132624072 edges, 0 markings/sec, 210 secs
lola: 89455945 markings, 134441544 edges, 242041 markings/sec, 215 secs
lola: 89833195 markings, 135008282 edges, 75450 markings/sec, 220 secs
lola: 89911377 markings, 135125556 edges, 15636 markings/sec, 225 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: ((G (((p18 <= 0) OR (1 <= p3) OR ((1 <= p8) AND (1 <= p9)))) OR (1 <= p22)) U (F (((1 <= p8) AND (1 <= p9))) OR (1 <= p18)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((G (((p18 <= 0) OR (1 <= p3) OR ((1 <= p8) AND (1 <= p9)))) OR (1 <= p22)) U (F (((1 <= p8) AND (1 <= p9))) OR (1 <= p18)))
lola: processed formula length: 126
lola: 61 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: 2988985 markings, 3736224 edges, 597797 markings/sec, 0 secs
lola: 6103042 markings, 7628171 edges, 622811 markings/sec, 5 secs
lola: 9130027 markings, 11412343 edges, 605397 markings/sec, 10 secs
lola: 12013382 markings, 15015857 edges, 576671 markings/sec, 15 secs
lola: 14985654 markings, 18731528 edges, 594454 markings/sec, 20 secs
lola: 17941933 markings, 22426388 edges, 591256 markings/sec, 25 secs
lola: 20916971 markings, 26144732 edges, 595008 markings/sec, 30 secs
lola: 23854309 markings, 29817640 edges, 587468 markings/sec, 35 secs
lola: 26785428 markings, 33481398 edges, 586224 markings/sec, 40 secs
lola: 29712152 markings, 37139642 edges, 585345 markings/sec, 45 secs
lola: 32646223 markings, 40806513 edges, 586814 markings/sec, 50 secs
lola: 35639251 markings, 44548345 edges, 598606 markings/sec, 55 secs
lola: 38466484 markings, 48082790 edges, 565447 markings/sec, 60 secs
lola: 41418755 markings, 51772281 edges, 590454 markings/sec, 65 secs
lola: 44370215 markings, 55460917 edges, 590292 markings/sec, 70 secs
lola: 47267841 markings, 59084667 edges, 579525 markings/sec, 75 secs
lola: 50178583 markings, 62721120 edges, 582148 markings/sec, 80 secs
lola: 53079336 markings, 66348312 edges, 580151 markings/sec, 85 secs
lola: 56010345 markings, 70010330 edges, 586202 markings/sec, 90 secs
lola: 58903230 markings, 73626681 edges, 578577 markings/sec, 95 secs
lola: 61771897 markings, 77214801 edges, 573733 markings/sec, 100 secs
lola: 64644482 markings, 80804267 edges, 574517 markings/sec, 105 secs
lola: 67512017 markings, 84387162 edges, 573507 markings/sec, 110 secs
lola: 70369504 markings, 87960851 edges, 571497 markings/sec, 115 secs
lola: 73220077 markings, 91524353 edges, 570115 markings/sec, 120 secs
lola: 76091669 markings, 95112306 edges, 574318 markings/sec, 125 secs
lola: 79006571 markings, 98756101 edges, 582980 markings/sec, 130 secs
lola: 81860135 markings, 102324139 edges, 570713 markings/sec, 135 secs
lola: 84739985 markings, 105923182 edges, 575970 markings/sec, 140 secs
lola: 87565966 markings, 109455003 edges, 565196 markings/sec, 145 secs
lola: 90433634 markings, 113041000 edges, 573534 markings/sec, 150 secs
lola: 93262249 markings, 116576456 edges, 565723 markings/sec, 155 secs
lola: 95168105 markings, 118957503 edges, 381171 markings/sec, 160 secs
lola: 96422189 markings, 120527185 edges, 250817 markings/sec, 165 secs
lola: 97400550 markings, 121750280 edges, 195672 markings/sec, 170 secs
lola: 98112408 markings, 122637100 edges, 142372 markings/sec, 175 secs
lola: 99870262 markings, 124837680 edges, 351571 markings/sec, 180 secs
lola: 102086832 markings, 127608306 edges, 443314 markings/sec, 185 secs
lola: 102245724 markings, 127803759 edges, 31778 markings/sec, 190 secs
lola: 102245724 markings, 127803759 edges, 0 markings/sec, 195 secs
lola: 104523225 markings, 130652000 edges, 455500 markings/sec, 200 secs
lola: 104780337 markings, 130972563 edges, 51422 markings/sec, 205 secs
lola: 104912768 markings, 131139670 edges, 26486 markings/sec, 210 secs
lola: 107358443 markings, 134197242 edges, 489135 markings/sec, 215 secs
lola: 107610113 markings, 134510386 edges, 50334 markings/sec, 220 secs
lola: 108127011 markings, 135156638 edges, 103380 markings/sec, 225 secs
lola: 110174515 markings, 137715016 edges, 409501 markings/sec, 230 secs
lola: 110174515 markings, 137715016 edges, 0 markings/sec, 235 secs
lola: 110945305 markings, 138677932 edges, 154158 markings/sec, 240 secs
lola: 112707312 markings, 140881082 edges, 352401 markings/sec, 245 secs
lola: 112707312 markings, 140881082 edges, 0 markings/sec, 250 secs
lola: 113227892 markings, 141532787 edges, 104116 markings/sec, 255 secs
lola: 115073029 markings, 143839637 edges, 369027 markings/sec, 260 secs
lola: 116217338 markings, 145268589 edges, 228862 markings/sec, 265 secs
lola: 116279145 markings, 145345643 edges, 12361 markings/sec, 270 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: no no no unknown no unknown no no unknown no no no no no no
lola:
preliminary result: no no no unknown no unknown no no unknown no no no no no no
lola: memory consumption: 3404 KB
lola: time consumption: 1497 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudOpsManagement-PT-20480by10240"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is CloudOpsManagement-PT-20480by10240, 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 r168-smll-158987806800466"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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