fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r168-smll-158987806800468
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
15797.040 3600000.00 3248649.00 228903.70 ???F????F???FFFF 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-158987806800468.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806800468
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-01
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-02
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-03
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-04
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-05
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-06
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-07
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-08
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-09
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-10
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-11
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-12
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-13
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-14
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591383001007

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

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

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

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

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

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

FORMULA CloudOpsManagement-PT-20480by10240-CTLFireability-06 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ 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=CTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Jun 5 18:50:08 2020
",
"timelimit": 3570
},
"child":
[

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"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": 3,
"visible_transitions": 0
},
"processed": "((1 <= p7) OR ((1 <= p1) AND (1 <= p2)))",
"processed_size": 40,
"rewrites": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 345
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "EX(AG(((1 <= p22) AND (1 <= p1) AND (1 <= p2))))",
"processed_size": 48,
"rewrites": 49
},
"net":
{
"conflict_clusters": 11,
"singleton_clusters": 0
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 345
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "((1 <= p12) AND (1 <= p3) AND (1 <= p4) AND (1 <= p7))",
"processed_size": 54,
"rewrites": 47
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 414
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "EX(((1 <= p18) AND (1 <= p3) AND (1 <= p4)))",
"processed_size": 44,
"rewrites": 48
},
"net":
{
"conflict_clusters": 11,
"singleton_clusters": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 582
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"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": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "(((1 <= p8) AND (1 <= p9) AND (1 <= p12)) OR ((1 <= p7) AND (1 <= p3)))",
"processed_size": 71,
"rewrites": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 11,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1165
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 1,
"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": "A (G (((p18 <= 0) AND ((p21 <= 0)))))",
"processed_size": 37,
"rewrites": 49
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 11,
"type": "boolean"
}
},

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"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": "E (F ((p14 <= 0)))",
"processed_size": 18,
"rewrites": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"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": "A (G (((1 <= p0) AND (1 <= p26))))",
"processed_size": 34,
"rewrites": 49
},
"result":
{
"edges": 10240,
"markings": 10241,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 752,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(A(G(*)) OR (E(F(*)) OR (** OR **))) : E(X(E(F(A(G(**)))))) : E((A(F(**)) U (A(G(**)) AND E(X(**))))) : (E(F(*)) AND (E(F(*)) AND (** AND (** OR A(G(**)))))) : E(F(A((* R *)))) : E(F((* AND A(G(*))))) : A(G((A(X(**)) OR **))) : A(G(E(F(**)))) : A(G(E(X(**)))) : A(F(A(X(A(G(**)))))) : E(F((A(G(**)) AND E(X(**))))) : (E(X(A(G(**)))) OR (** OR **)) : (E(X(*)) OR (** AND E(X(*))))"
},
"net":
{
"arcs": 94,
"conflict_clusters": 11,
"places": 27,
"places_significant": 16,
"singleton_clusters": 0,
"transitions": 29
},
"result":
{
"interim_value": "unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown no no ",
"preliminary_value": "unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown 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 CTLFireability.xml
lola: LP says that atomic proposition is always true: (1 <= p23)
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 <= p16)
lola: (((NOT(E (F (((1 <= p18) OR ((1 <= p21)))))) OR NOT(A (G ((((1 <= p8) AND (1 <= p9)) OR ((1 <= p10) AND (1 <= p25))))))) OR ((1 <= p8) AND (1 <= p9) AND (1 <= p12))) OR ((1 <= p7) AND (1 <= p3))) : E (X (E (F (A (G (((1 <= p3) AND (1 <= p4)))))))) : E ((A (F ((p22 <= 0))) U (A (G ((1 <= p3))) AND E (X ((1 <= p14)))))) : (((NOT(A (G ((1 <= p14)))) AND NOT(A (G (((1 <= p13)))))) AND ((p21 <= 0) OR (p13 <= 0) OR (p5 <= 0) OR (p7 <= 0) OR (p26 <= 0) OR ((p24 <= 0) AND ((p6 <= 0) OR (p26 <= 0))))) AND ((1 <= p3) OR A (G (((1 <= p0) AND (1 <= p26)))))) : NOT(A (G (E ((((1 <= p6) AND (1 <= p26)) U (1 <= p15)))))) : NOT(A (G ((((p22 <= 0)) OR E (F ((1 <= p11))))))) : A (G ((A (X ((p22 <= 0))) OR ((1 <= p0) AND (1 <= p26))))) : NOT(E (F (NOT(E (F ((1 <= p18))))))) : A (G (E (X (((p1 <= 0) OR (p2 <= 0) OR (p15 <= 0)))))) : A (F (A (G (A (X (((1 <= p6) AND (1 <= p26)))))))) : E (F ((A (G (((p10 <= 0) OR (p25 <= 0)))) AND E (X (((1 <= p0) AND (1 <= p26))))))) : ((E (X (A (G (((1 <= p22) AND (1 <= p1) AND (1 <= p2)))))) OR (1 <= p7)) OR ((1 <= p1) AND (1 <= p2))) : (NOT(A (X (((p18 <= 0) OR (p3 <= 0) OR (p4 <= 0))))) OR (((1 <= p12) AND (1 <= p3) AND (1 <= p4) AND (1 <= p7)) AND NOT(A (X (((p5 <= 0) OR (p7 <= 0) OR (p26 <= 0)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:326
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:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F (A (G (((1 <= p3) AND (1 <= p4))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(EF(AG(((1 <= p3) AND (1 <= p4)))))
lola: processed formula length: 37
lola: 50 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2296261 markings, 5758504 edges, 459252 markings/sec, 0 secs
lola: 4595732 markings, 11520605 edges, 459894 markings/sec, 5 secs
lola: 6901028 markings, 17295230 edges, 461059 markings/sec, 10 secs
lola: 9130262 markings, 22878081 edges, 445847 markings/sec, 15 secs
lola: 11197086 markings, 28053465 edges, 413365 markings/sec, 20 secs
lola: 13439845 markings, 33668847 edges, 448552 markings/sec, 25 secs
lola: 15618015 markings, 39122140 edges, 435634 markings/sec, 30 secs
lola: 17694788 markings, 44321168 edges, 415355 markings/sec, 35 secs
lola: 19849685 markings, 49715456 edges, 430979 markings/sec, 40 secs
lola: 21798631 markings, 54594106 edges, 389789 markings/sec, 45 secs
lola: 23815013 markings, 59641410 edges, 403276 markings/sec, 50 secs
lola: 25857332 markings, 64753356 edges, 408464 markings/sec, 55 secs
lola: 27942248 markings, 69971603 edges, 416983 markings/sec, 60 secs
lola: 30021523 markings, 75175820 edges, 415855 markings/sec, 65 secs
lola: 32057473 markings, 80271414 edges, 407190 markings/sec, 70 secs
lola: 34072070 markings, 85313288 edges, 402919 markings/sec, 75 secs
lola: 36115944 markings, 90428458 edges, 408775 markings/sec, 80 secs
lola: 38027166 markings, 95211512 edges, 382244 markings/sec, 85 secs
lola: 40062328 markings, 100304782 edges, 407032 markings/sec, 90 secs
lola: 42073146 markings, 105336692 edges, 402164 markings/sec, 95 secs
lola: 44161959 markings, 110564119 edges, 417763 markings/sec, 100 secs
lola: 46185047 markings, 115626767 edges, 404618 markings/sec, 105 secs
lola: 48225151 markings, 120732038 edges, 408021 markings/sec, 110 secs
lola: 50196553 markings, 125665251 edges, 394280 markings/sec, 115 secs
lola: 52214681 markings, 130715247 edges, 403626 markings/sec, 120 secs
lola: 54062359 markings, 135338732 edges, 369536 markings/sec, 125 secs
lola: 56054088 markings, 140322600 edges, 398346 markings/sec, 130 secs
lola: 58028080 markings, 145261980 edges, 394798 markings/sec, 135 secs
lola: 59991557 markings, 150175232 edges, 392695 markings/sec, 140 secs
lola: 62105826 markings, 155465696 edges, 422854 markings/sec, 145 secs
lola: 64129459 markings, 160529038 edges, 404727 markings/sec, 150 secs
lola: 66150675 markings, 165586384 edges, 404243 markings/sec, 155 secs
lola: 68153048 markings, 170596793 edges, 400475 markings/sec, 160 secs
lola: 70095905 markings, 175457989 edges, 388571 markings/sec, 165 secs
lola: 72072951 markings, 180404868 edges, 395409 markings/sec, 170 secs
lola: 74023982 markings, 185286476 edges, 390206 markings/sec, 175 secs
lola: 76037259 markings, 190323846 edges, 402655 markings/sec, 180 secs
lola: 78027028 markings, 195302289 edges, 397954 markings/sec, 185 secs
lola: 79990282 markings, 200214553 edges, 392651 markings/sec, 190 secs
lola: 81921539 markings, 205046535 edges, 386251 markings/sec, 195 secs
lola: 83911834 markings, 210026385 edges, 398059 markings/sec, 200 secs
lola: 85739344 markings, 214598655 edges, 365502 markings/sec, 205 secs
lola: 87574558 markings, 219190504 edges, 367043 markings/sec, 210 secs
lola: 89119551 markings, 223056643 edges, 308999 markings/sec, 215 secs
lola: 89997366 markings, 225252477 edges, 175563 markings/sec, 220 secs
lola: 91343688 markings, 228620742 edges, 269264 markings/sec, 225 secs
lola: 92356723 markings, 231155122 edges, 202607 markings/sec, 230 secs
lola: 93156953 markings, 233157081 edges, 160046 markings/sec, 235 secs
lola: 95025501 markings, 237832238 edges, 373710 markings/sec, 240 secs
lola: 95441408 markings, 238872814 edges, 83181 markings/sec, 245 secs
lola: 97004432 markings, 242783230 edges, 312605 markings/sec, 250 secs
lola: 98299858 markings, 246024445 edges, 259085 markings/sec, 255 secs
lola: 99528917 markings, 249099560 edges, 245812 markings/sec, 260 secs
lola: 100545010 markings, 251641592 edges, 203219 markings/sec, 265 secs
lola: 101955719 markings, 255170822 edges, 282142 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (F ((p22 <= 0))) U (A (G ((1 <= p3))) AND E (X ((1 <= p14))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(AF((p22 <= 0)) U (AG((1 <= p3)) AND EX((1 <= p14))))
lola: processed formula length: 54
lola: 51 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1683444 markings, 5905594 edges, 336689 markings/sec, 0 secs
lola: 3380559 markings, 11856529 edges, 339423 markings/sec, 5 secs
lola: 5087013 markings, 17838359 edges, 341291 markings/sec, 10 secs
lola: 6795616 markings, 23826815 edges, 341721 markings/sec, 15 secs
lola: 8459841 markings, 29658984 edges, 332845 markings/sec, 20 secs
lola: 10073182 markings, 35312442 edges, 322668 markings/sec, 25 secs
lola: 11700635 markings, 41014985 edges, 325491 markings/sec, 30 secs
lola: 13353084 markings, 46804814 edges, 330490 markings/sec, 35 secs
lola: 14964165 markings, 52449377 edges, 322216 markings/sec, 40 secs
lola: 16555102 markings, 58023185 edges, 318187 markings/sec, 45 secs
lola: 18162245 markings, 63653653 edges, 321429 markings/sec, 50 secs
lola: 19735195 markings, 69164165 edges, 314590 markings/sec, 55 secs
lola: 21293777 markings, 74624190 edges, 311716 markings/sec, 60 secs
lola: 22774579 markings, 79811748 edges, 296160 markings/sec, 65 secs
lola: 24378962 markings, 85431807 edges, 320877 markings/sec, 70 secs
lola: 25948854 markings, 90931135 edges, 313978 markings/sec, 75 secs
lola: 27497149 markings, 96354887 edges, 309659 markings/sec, 80 secs
lola: 29008911 markings, 101650198 edges, 302352 markings/sec, 85 secs
lola: 30563106 markings, 107094375 edges, 310839 markings/sec, 90 secs
lola: 32028245 markings, 112226487 edges, 293028 markings/sec, 95 secs
lola: 33544614 markings, 117537727 edges, 303274 markings/sec, 100 secs
lola: 35073570 markings, 122893279 edges, 305791 markings/sec, 105 secs
lola: 36575367 markings, 128153405 edges, 300359 markings/sec, 110 secs
lola: 38045937 markings, 133304241 edges, 294114 markings/sec, 115 secs
lola: 39653533 markings, 138935120 edges, 321519 markings/sec, 120 secs
lola: 41144216 markings, 144156347 edges, 298137 markings/sec, 125 secs
lola: 42698681 markings, 149600885 edges, 310893 markings/sec, 130 secs
lola: 44264139 markings, 155083851 edges, 313092 markings/sec, 135 secs
lola: 45777727 markings, 160385360 edges, 302718 markings/sec, 140 secs
lola: 47285487 markings, 165665842 edges, 301552 markings/sec, 145 secs
lola: 48812199 markings, 171013271 edges, 305342 markings/sec, 150 secs
lola: 50248433 markings, 176043381 edges, 287247 markings/sec, 155 secs
lola: 51774849 markings, 181389445 edges, 305283 markings/sec, 160 secs
lola: 53280806 markings, 186663941 edges, 301191 markings/sec, 165 secs
lola: 54775396 markings, 191898482 edges, 298918 markings/sec, 170 secs
lola: 56255756 markings, 197083171 edges, 296072 markings/sec, 175 secs
lola: 57720529 markings, 202213066 edges, 292955 markings/sec, 180 secs
lola: 59187991 markings, 207352386 edges, 293492 markings/sec, 185 secs
lola: 60703157 markings, 212658884 edges, 303033 markings/sec, 190 secs
lola: 62260507 markings, 218113172 edges, 311470 markings/sec, 195 secs
lola: 63763028 markings, 223375360 edges, 300504 markings/sec, 200 secs
lola: 65213123 markings, 228453774 edges, 290019 markings/sec, 205 secs
lola: 66639218 markings, 233448203 edges, 285219 markings/sec, 210 secs
lola: 68138753 markings, 238699876 edges, 299907 markings/sec, 215 secs
lola: 69600444 markings, 243818726 edges, 292338 markings/sec, 220 secs
lola: 71042815 markings, 248870078 edges, 288474 markings/sec, 225 secs
lola: 72507335 markings, 253999038 edges, 292904 markings/sec, 230 secs
lola: 73942450 markings, 259024982 edges, 287023 markings/sec, 235 secs
lola: 75341067 markings, 263923220 edges, 279723 markings/sec, 240 secs
lola: 76837326 markings, 269163185 edges, 299252 markings/sec, 245 secs
lola: 78307950 markings, 274313314 edges, 294125 markings/sec, 250 secs
lola: 79759522 markings, 279396775 edges, 290314 markings/sec, 255 secs
lola: 81176453 markings, 284358982 edges, 283386 markings/sec, 260 secs
lola: 82653760 markings, 289532435 edges, 295461 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A (X ((p22 <= 0))) OR ((1 <= p0) AND (1 <= p26)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG((AX((p22 <= 0)) OR ((1 <= p0) AND (1 <= p26))))
lola: processed formula length: 50
lola: 49 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1317004 markings, 1986184 edges, 263401 markings/sec, 0 secs
lola: 2713581 markings, 4090964 edges, 279315 markings/sec, 5 secs
lola: 4100334 markings, 6179151 edges, 277351 markings/sec, 10 secs
lola: 5436550 markings, 8190438 edges, 267243 markings/sec, 15 secs
lola: 6820214 markings, 10272527 edges, 276733 markings/sec, 20 secs
lola: 8193458 markings, 12338640 edges, 274649 markings/sec, 25 secs
lola: 9557321 markings, 14390193 edges, 272773 markings/sec, 30 secs
lola: 10915964 markings, 16433570 edges, 271729 markings/sec, 35 secs
lola: 12297886 markings, 18511877 edges, 276384 markings/sec, 40 secs
lola: 13677595 markings, 20586558 edges, 275942 markings/sec, 45 secs
lola: 15043764 markings, 22640864 edges, 273234 markings/sec, 50 secs
lola: 16401960 markings, 24682815 edges, 271639 markings/sec, 55 secs
lola: 17770081 markings, 26739704 edges, 273624 markings/sec, 60 secs
lola: 19115705 markings, 28762508 edges, 269125 markings/sec, 65 secs
lola: 20451015 markings, 30769667 edges, 267062 markings/sec, 70 secs
lola: 21782763 markings, 32771686 edges, 266350 markings/sec, 75 secs
lola: 23135758 markings, 34805345 edges, 270599 markings/sec, 80 secs
lola: 24379437 markings, 36674689 edges, 248736 markings/sec, 85 secs
lola: 25728886 markings, 38702822 edges, 269890 markings/sec, 90 secs
lola: 26990914 markings, 40599716 edges, 252406 markings/sec, 95 secs
lola: 28325595 markings, 42605487 edges, 266936 markings/sec, 100 secs
lola: 29669803 markings, 44625732 edges, 268842 markings/sec, 105 secs
lola: 31007210 markings, 46635590 edges, 267481 markings/sec, 110 secs
lola: 32279060 markings, 48546904 edges, 254370 markings/sec, 115 secs
lola: 33610313 markings, 50547305 edges, 266251 markings/sec, 120 secs
lola: 34943520 markings, 52550719 edges, 266641 markings/sec, 125 secs
lola: 36270648 markings, 54544856 edges, 265426 markings/sec, 130 secs
lola: 37599998 markings, 56542518 edges, 265870 markings/sec, 135 secs
lola: 38949549 markings, 58570285 edges, 269910 markings/sec, 140 secs
lola: 40311331 markings, 60616643 edges, 272356 markings/sec, 145 secs
lola: 41657108 markings, 62638522 edges, 269155 markings/sec, 150 secs
lola: 42995623 markings, 64649588 edges, 267703 markings/sec, 155 secs
lola: 44341926 markings, 66672402 edges, 269261 markings/sec, 160 secs
lola: 45670542 markings, 68668724 edges, 265723 markings/sec, 165 secs
lola: 47004981 markings, 70673580 edges, 266888 markings/sec, 170 secs
lola: 48334065 markings, 72670428 edges, 265817 markings/sec, 175 secs
lola: 49677013 markings, 74688142 edges, 268590 markings/sec, 180 secs
lola: 51010789 markings, 76691961 edges, 266755 markings/sec, 185 secs
lola: 52332726 markings, 78677926 edges, 264387 markings/sec, 190 secs
lola: 53654967 markings, 80664291 edges, 264448 markings/sec, 195 secs
lola: 54978625 markings, 82652950 edges, 264732 markings/sec, 200 secs
lola: 56297708 markings, 84634648 edges, 263817 markings/sec, 205 secs
lola: 57601416 markings, 86593049 edges, 260742 markings/sec, 210 secs
lola: 58921212 markings, 88575752 edges, 263959 markings/sec, 215 secs
lola: 60233223 markings, 90546683 edges, 262402 markings/sec, 220 secs
lola: 61571939 markings, 92557632 edges, 267743 markings/sec, 225 secs
lola: 62842498 markings, 94466732 edges, 254112 markings/sec, 230 secs
lola: 63473945 markings, 95415010 edges, 126289 markings/sec, 235 secs
lola: 64623976 markings, 97142984 edges, 230006 markings/sec, 240 secs
lola: 65173532 markings, 97968114 edges, 109911 markings/sec, 245 secs
lola: 66057029 markings, 99295300 edges, 176699 markings/sec, 250 secs
lola: 66471950 markings, 99918426 edges, 82984 markings/sec, 255 secs
lola: 67396140 markings, 101306754 edges, 184838 markings/sec, 260 secs
lola: 68048220 markings, 102286266 edges, 130416 markings/sec, 265 secs
lola: 68788466 markings, 103398162 edges, 148049 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X (((p1 <= 0) OR (p2 <= 0) OR (p15 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(EX(((p1 <= 0) OR (p2 <= 0) OR (p15 <= 0))))
lola: processed formula length: 48
lola: 49 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3040897 markings, 4583902 edges, 608179 markings/sec, 0 secs
lola: 5819273 markings, 8766455 edges, 555675 markings/sec, 5 secs
lola: 8735233 markings, 13153589 edges, 583192 markings/sec, 10 secs
lola: 11598636 markings, 17460304 edges, 572681 markings/sec, 15 secs
lola: 14495443 markings, 21816308 edges, 579361 markings/sec, 20 secs
lola: 17334614 markings, 26084919 edges, 567834 markings/sec, 25 secs
lola: 20146132 markings, 30311525 edges, 562304 markings/sec, 30 secs
lola: 22949624 markings, 34525620 edges, 560698 markings/sec, 35 secs
lola: 25757015 markings, 38744982 edges, 561478 markings/sec, 40 secs
lola: 28521555 markings, 42900006 edges, 552908 markings/sec, 45 secs
lola: 31265706 markings, 47024045 edges, 548830 markings/sec, 50 secs
lola: 33883553 markings, 50957960 edges, 523569 markings/sec, 55 secs
lola: 36582167 markings, 55012894 edges, 539723 markings/sec, 60 secs
lola: 39249429 markings, 59020711 edges, 533452 markings/sec, 65 secs
lola: 42035618 markings, 63207192 edges, 557238 markings/sec, 70 secs
lola: 44677880 markings, 67177286 edges, 528452 markings/sec, 75 secs
lola: 47405139 markings, 71274873 edges, 545452 markings/sec, 80 secs
lola: 49933250 markings, 75073032 edges, 505622 markings/sec, 85 secs
lola: 52623525 markings, 79114650 edges, 538055 markings/sec, 90 secs
lola: 55141806 markings, 82897969 edges, 503656 markings/sec, 95 secs
lola: 57782947 markings, 86865864 edges, 528228 markings/sec, 100 secs
lola: 60225470 markings, 90535182 edges, 488505 markings/sec, 105 secs
lola: 62831601 markings, 94451090 edges, 521226 markings/sec, 110 secs
lola: 63707174 markings, 95766047 edges, 175115 markings/sec, 115 secs
lola: 64797510 markings, 97403264 edges, 218067 markings/sec, 120 secs
lola: 65906238 markings, 99068792 edges, 221746 markings/sec, 125 secs
lola: 67731073 markings, 101809895 edges, 364967 markings/sec, 130 secs
lola: 68461807 markings, 102907602 edges, 146147 markings/sec, 135 secs
lola: 69180724 markings, 103987479 edges, 143783 markings/sec, 140 secs
lola: 70750153 markings, 106344913 edges, 313886 markings/sec, 145 secs
lola: 70837338 markings, 106475886 edges, 17437 markings/sec, 150 secs
lola: 71994581 markings, 108214122 edges, 231449 markings/sec, 155 secs
lola: 73723265 markings, 110810749 edges, 345737 markings/sec, 160 secs
lola: 75329103 markings, 113222996 edges, 321168 markings/sec, 165 secs
lola: 76378103 markings, 114798635 edges, 209800 markings/sec, 170 secs
lola: 77052354 markings, 115811311 edges, 134850 markings/sec, 175 secs
lola: 77460861 markings, 116424810 edges, 81701 markings/sec, 180 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (X (A (G (((1 <= p6) AND (1 <= p26))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF(AX(AG(((1 <= p6) AND (1 <= p26)))))
lola: processed formula length: 38
lola: 50 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3399072 markings, 5123261 edges, 679814 markings/sec, 0 secs
lola: 6800187 markings, 10242423 edges, 680223 markings/sec, 5 secs
lola: 9967101 markings, 15006488 edges, 633383 markings/sec, 10 secs
lola: 13269352 markings, 19972658 edges, 660450 markings/sec, 15 secs
lola: 16502716 markings, 24834241 edges, 646673 markings/sec, 20 secs
lola: 19708191 markings, 29653099 edges, 641095 markings/sec, 25 secs
lola: 22883672 markings, 34426339 edges, 635096 markings/sec, 30 secs
lola: 26076511 markings, 39225364 edges, 638568 markings/sec, 35 secs
lola: 29191360 markings, 43906769 edges, 622970 markings/sec, 40 secs
lola: 32305142 markings, 48586052 edges, 622756 markings/sec, 45 secs
lola: 35373314 markings, 53196528 edges, 613634 markings/sec, 50 secs
lola: 38469723 markings, 57849288 edges, 619282 markings/sec, 55 secs
lola: 41648813 markings, 62626117 edges, 635818 markings/sec, 60 secs
lola: 44779648 markings, 67330229 edges, 626167 markings/sec, 65 secs
lola: 47838353 markings, 71925768 edges, 611741 markings/sec, 70 secs
lola: 50784359 markings, 76351567 edges, 589201 markings/sec, 75 secs
lola: 53860467 markings, 80972972 edges, 615222 markings/sec, 80 secs
lola: 56890111 markings, 85524480 edges, 605929 markings/sec, 85 secs
lola: 59901480 markings, 90048262 edges, 602274 markings/sec, 90 secs
lola: 63051606 markings, 94780587 edges, 630025 markings/sec, 95 secs
lola: 66125157 markings, 99397506 edges, 614710 markings/sec, 100 secs
lola: 69169745 markings, 103970862 edges, 608918 markings/sec, 105 secs
lola: 72154524 markings, 108454509 edges, 596956 markings/sec, 110 secs
lola: 75128123 markings, 112920880 edges, 594720 markings/sec, 115 secs
lola: 78152463 markings, 117463925 edges, 604868 markings/sec, 120 secs
lola: 81096395 markings, 121885874 edges, 588786 markings/sec, 125 secs
lola: 84117883 markings, 126424020 edges, 604298 markings/sec, 130 secs
lola: 87060500 markings, 130843787 edges, 588523 markings/sec, 135 secs
lola: 89452741 markings, 134436827 edges, 478448 markings/sec, 140 secs
lola: 91142671 markings, 136975869 edges, 337986 markings/sec, 145 secs
lola: 93674771 markings, 140778361 edges, 506420 markings/sec, 150 secs
lola: 93833234 markings, 141016095 edges, 31693 markings/sec, 155 secs
lola: 94787137 markings, 142448663 edges, 190781 markings/sec, 160 secs
lola: 96335874 markings, 144774788 edges, 309747 markings/sec, 165 secs
lola: 96485775 markings, 144999780 edges, 29980 markings/sec, 170 secs
lola: 98950400 markings, 148701658 edges, 492925 markings/sec, 175 secs
lola: 99027033 markings, 148816788 edges, 15327 markings/sec, 180 secs
lola: 101070132 markings, 151885033 edges, 408620 markings/sec, 185 secs
lola: 101565909 markings, 152629553 edges, 99155 markings/sec, 190 secs
lola: 103056552 markings, 154868582 edges, 298129 markings/sec, 195 secs
lola: 104631922 markings, 157234604 edges, 315074 markings/sec, 200 secs
lola: 104720056 markings, 157367068 edges, 17627 markings/sec, 205 secs
lola: 107258109 markings, 161178591 edges, 507611 markings/sec, 210 secs
lola: 107274512 markings, 161203266 edges, 3281 markings/sec, 215 secs
lola: 109330611 markings, 164291228 edges, 411220 markings/sec, 220 secs
lola: 110045118 markings, 165364335 edges, 142901 markings/sec, 225 secs
lola: 110386124 markings, 165876248 edges, 68201 markings/sec, 230 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 287 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (G (((p10 <= 0) OR (p25 <= 0)))) AND E (X (((1 <= p0) AND (1 <= p26)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((AG(((p10 <= 0) OR (p25 <= 0))) AND EX(((1 <= p0) AND (1 <= p26)))))
lola: processed formula length: 72
lola: 50 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3562241 markings, 5379251 edges, 712448 markings/sec, 0 secs
lola: 7000461 markings, 10554017 edges, 687644 markings/sec, 5 secs
lola: 10329575 markings, 15561887 edges, 665823 markings/sec, 10 secs
lola: 13551192 markings, 20406782 edges, 644323 markings/sec, 15 secs
lola: 16673542 markings, 25101329 edges, 624470 markings/sec, 20 secs
lola: 19887366 markings, 29932658 edges, 642765 markings/sec, 25 secs
lola: 23106669 markings, 34771708 edges, 643861 markings/sec, 30 secs
lola: 26329823 markings, 39616392 edges, 644631 markings/sec, 35 secs
lola: 29490684 markings, 44366678 edges, 632172 markings/sec, 40 secs
lola: 32617216 markings, 49065183 edges, 625306 markings/sec, 45 secs
lola: 35715382 markings, 53720761 edges, 619633 markings/sec, 50 secs
lola: 38864010 markings, 58451948 edges, 629726 markings/sec, 55 secs
lola: 42068845 markings, 63267464 edges, 640967 markings/sec, 60 secs
lola: 45214148 markings, 67993139 edges, 629061 markings/sec, 65 secs
lola: 48331300 markings, 72676427 edges, 623430 markings/sec, 70 secs
lola: 51465938 markings, 77385873 edges, 626928 markings/sec, 75 secs
lola: 54536988 markings, 81999529 edges, 614210 markings/sec, 80 secs
lola: 57557801 markings, 86537599 edges, 604163 markings/sec, 85 secs
lola: 60613890 markings, 91128896 edges, 611218 markings/sec, 90 secs
lola: 63729033 markings, 95808357 edges, 623029 markings/sec, 95 secs
lola: 66806857 markings, 100431849 edges, 615565 markings/sec, 100 secs
lola: 69820710 markings, 104959023 edges, 602771 markings/sec, 105 secs
lola: 72796434 markings, 109428764 edges, 595145 markings/sec, 110 secs
lola: 75830364 markings, 113986301 edges, 606786 markings/sec, 115 secs
lola: 78838954 markings, 118505256 edges, 601718 markings/sec, 120 secs
lola: 81785865 markings, 122931403 edges, 589382 markings/sec, 125 secs
lola: 84786711 markings, 127438744 edges, 600169 markings/sec, 130 secs
lola: 87757148 markings, 131900294 edges, 594087 markings/sec, 135 secs
lola: 90017850 markings, 135296435 edges, 452140 markings/sec, 140 secs
lola: 91736066 markings, 137877771 edges, 343643 markings/sec, 145 secs
lola: 93397462 markings, 140372599 edges, 332279 markings/sec, 150 secs
lola: 94634174 markings, 142229203 edges, 247342 markings/sec, 155 secs
lola: 95903608 markings, 144135735 edges, 253887 markings/sec, 160 secs
lola: 97520742 markings, 146564609 edges, 323427 markings/sec, 165 secs
lola: 98379759 markings, 147854883 edges, 171803 markings/sec, 170 secs
lola: 100161655 markings, 150530981 edges, 356379 markings/sec, 175 secs
lola: 101169840 markings, 152045319 edges, 201637 markings/sec, 180 secs
lola: 102678848 markings, 154311231 edges, 301802 markings/sec, 185 secs
lola: 104579369 markings, 157165734 edges, 380104 markings/sec, 190 secs
lola: 106124214 markings, 159485743 edges, 308969 markings/sec, 195 secs
lola: 107442684 markings, 161465937 edges, 263694 markings/sec, 200 secs
lola: 109031221 markings, 163851832 edges, 317707 markings/sec, 205 secs
lola: 110344546 markings, 165823935 edges, 262665 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (A (G (((1 <= p22) AND (1 <= p1) AND (1 <= p2)))))) OR ((1 <= p7) OR ((1 <= p1) AND (1 <= p2))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p7) OR ((1 <= p1) AND (1 <= p2)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: processed formula: ((1 <= p7) OR ((1 <= p1) AND (1 <= p2)))
lola: processed formula length: 40
lola: 48 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 3 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 345 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (G (((1 <= p22) AND (1 <= p1) AND (1 <= p2))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(AG(((1 <= p22) AND (1 <= p1) AND (1 <= p2))))
lola: processed formula length: 48
lola: 49 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 3 markings, 2 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 345 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (((1 <= p18) AND (1 <= p3) AND (1 <= p4)))) OR (((1 <= p12) AND (1 <= p3) AND (1 <= p4) AND (1 <= p7)) AND E (X (((1 <= p5) AND (1 <= p7) AND (1 <= p26))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 345 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p12) AND (1 <= p3) AND (1 <= p4) AND (1 <= p7))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p12) AND (1 <= p3) AND (1 <= p4) AND (1 <= p7))
lola: processed formula length: 54
lola: 47 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 4 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 414 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (((1 <= p18) AND (1 <= p3) AND (1 <= p4))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(((1 <= p18) AND (1 <= p3) AND (1 <= p4)))
lola: processed formula length: 44
lola: 48 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 414 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((1 <= p18)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: (1 <= p18)
lola: processed formula length: 10
lola: 50 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p18 <= 0)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (1 <= p18)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-8-0.sara
lola: state equation: write sara problem file to CTLFireability-8-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-8-0.sara.
sara: try reading problem file CTLFireability-8-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic


lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 3753856 markings, 5664841 edges, 750771 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 7305654 markings, 11006479 edges, 710360 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 10758868 markings, 16197748 edges, 690643 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 13889006 markings, 20902222 edges, 626028 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 17187276 markings, 25858666 edges, 659654 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 20465942 markings, 30785198 edges, 655733 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 23794839 markings, 35786732 edges, 665779 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 27062743 markings, 40696229 edges, 653581 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 30264391 markings, 45505955 edges, 640330 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 33497853 markings, 50363083 edges, 646692 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 36688502 markings, 55155777 edges, 638130 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 39871746 markings, 59937061 edges, 636649 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 43046494 markings, 64705601 edges, 634950 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 46169712 markings, 69396449 edges, 624644 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 49435502 markings, 74301485 edges, 653158 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 52495596 markings, 78897115 edges, 612019 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 55637302 markings, 83615481 edges, 628341 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 58829610 markings, 88409682 edges, 638462 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 61947696 markings, 93092198 edges, 623617 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 65014854 markings, 97698240 edges, 613432 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 68170630 markings, 102437380 edges, 631155 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 71243033 markings, 107051081 edges, 614481 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 74237607 markings, 111547941 edges, 598915 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 77039017 markings, 115754425 edges, 560282 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 80033310 markings, 120250795 edges, 598859 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 82924879 markings, 124592674 edges, 578314 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 85788271 markings, 128892336 edges, 572678 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 88589579 markings, 133098699 edges, 560262 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 91537849 markings, 137525660 edges, 589654 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 94648420 markings, 142196222 edges, 622114 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 97647261 markings, 146699026 edges, 599768 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 100587490 markings, 151113614 edges, 588046 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 103470401 markings, 155442340 edges, 576582 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 106447158 markings, 159911709 edges, 595351 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 109431898 markings, 164393216 edges, 596948 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 112372506 markings, 168808406 edges, 588122 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 115283214 markings, 173178492 edges, 582142 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 118173672 markings, 177518332 edges, 578092 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 121154115 markings, 181993271 edges, 596089 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 123923704 markings, 186151407 edges, 553918 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 124946032 markings, 187686392 edges, 204466 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 127191958 markings, 191058344 edges, 449185 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 128211329 markings, 192588721 edges, 203874 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 130189683 markings, 195558967 edges, 395671 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 130962949 markings, 196719916 edges, 154653 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 133110207 markings, 199943816 edges, 429452 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 134015572 markings, 201303057 edges, 181073 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 135768609 markings, 203935028 edges, 350607 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 137504382 markings, 206540838 edges, 347155 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 138914673 markings, 208658267 edges, 282058 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 140267519 markings, 210689356 edges, 270569 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 141815297 markings, 213013098 edges, 309556 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 143262056 markings, 215184929 edges, 289352 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 144848069 markings, 217566214 edges, 317203 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 146342784 markings, 219810150 edges, 298943 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 148309936 markings, 222763662 edges, 393430 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 149930335 markings, 225196084 edges, 324080 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 151145602 markings, 227020544 edges, 243053 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 151248944 markings, 227175929 edges, 20668 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 151249094 markings, 227176079 edges, 30 markings/sec, 295 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 442 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p22)) AND A (G ((p11 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((((1 <= p22)) AND AG((p11 <= 0))))
lola: processed formula length: 37
lola: 49 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3296347 markings, 4968558 edges, 659269 markings/sec, 0 secs
lola: 6630575 markings, 9987179 edges, 666846 markings/sec, 5 secs
lola: 9861185 markings, 14847195 edges, 646122 markings/sec, 10 secs
lola: 13084896 markings, 19695388 edges, 644742 markings/sec, 15 secs
lola: 16252739 markings, 24458401 edges, 633569 markings/sec, 20 secs
lola: 19404949 markings, 29197465 edges, 630442 markings/sec, 25 secs
lola: 22507509 markings, 33861069 edges, 620512 markings/sec, 30 secs
lola: 25648823 markings, 38582681 edges, 628263 markings/sec, 35 secs
lola: 28715635 markings, 43191771 edges, 613362 markings/sec, 40 secs
lola: 31764453 markings, 47773636 edges, 609764 markings/sec, 45 secs
lola: 34780121 markings, 52305317 edges, 603134 markings/sec, 50 secs
lola: 37758115 markings, 56779963 edges, 595599 markings/sec, 55 secs
lola: 40894675 markings, 61492980 edges, 627312 markings/sec, 60 secs
lola: 43965261 markings, 66106448 edges, 614117 markings/sec, 65 secs
lola: 46868611 markings, 70468637 edges, 580670 markings/sec, 70 secs
lola: 49899910 markings, 75023073 edges, 606260 markings/sec, 75 secs
lola: 52695788 markings, 79223365 edges, 559176 markings/sec, 80 secs
lola: 55659355 markings, 83675434 edges, 592713 markings/sec, 85 secs
lola: 58580447 markings, 88063889 edges, 584218 markings/sec, 90 secs
lola: 61589599 markings, 92584158 edges, 601830 markings/sec, 95 secs
lola: 64383452 markings, 96781282 edges, 558771 markings/sec, 100 secs
lola: 67355650 markings, 101245932 edges, 594440 markings/sec, 105 secs
lola: 70259831 markings, 105608339 edges, 580836 markings/sec, 110 secs
lola: 73160639 markings, 109965699 edges, 580162 markings/sec, 115 secs
lola: 76101186 markings, 114382598 edges, 588109 markings/sec, 120 secs
lola: 79011293 markings, 118753715 edges, 582021 markings/sec, 125 secs
lola: 81835027 markings, 122995043 edges, 564747 markings/sec, 130 secs
lola: 84762481 markings, 127392199 edges, 585491 markings/sec, 135 secs
lola: 87425299 markings, 131391666 edges, 532564 markings/sec, 140 secs
lola: 89939544 markings, 135168165 edges, 502849 markings/sec, 145 secs
lola: 91455493 markings, 137444830 edges, 303190 markings/sec, 150 secs
lola: 93945751 markings, 141192481 edges, 498052 markings/sec, 155 secs
lola: 96388523 markings, 144853728 edges, 488554 markings/sec, 160 secs
lola: 96568597 markings, 145124314 edges, 36015 markings/sec, 165 secs
lola: 98760679 markings, 148416452 edges, 438416 markings/sec, 170 secs
lola: 99663350 markings, 149772430 edges, 180534 markings/sec, 175 secs
lola: 101518226 markings, 152558026 edges, 370975 markings/sec, 180 secs
lola: 102492673 markings, 154021534 edges, 194889 markings/sec, 185 secs
lola: 104298492 markings, 156733660 edges, 361164 markings/sec, 190 secs
lola: 105005011 markings, 157794704 edges, 141304 markings/sec, 195 secs
lola: 107019024 markings, 160819618 edges, 402803 markings/sec, 200 secs
lola: 107730289 markings, 161887907 edges, 142253 markings/sec, 205 secs
lola: 109159260 markings, 164033816 edges, 285794 markings/sec, 210 secs
lola: 110335006 markings, 165799502 edges, 235149 markings/sec, 215 secs
lola: 110395430 markings, 165890319 edges, 12085 markings/sec, 220 secs
lola: 110396803 markings, 165892447 edges, 275 markings/sec, 225 secs
lola: 110396906 markings, 165892550 edges, 21 markings/sec, 230 secs
lola: 110399233 markings, 165895982 edges, 465 markings/sec, 235 secs
lola: 110399338 markings, 165896087 edges, 21 markings/sec, 240 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 503 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A ((((p6 <= 0) OR (p26 <= 0)) R (p15 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(A(((p6 <= 0) OR (p26 <= 0)) R (p15 <= 0)))
lola: processed formula length: 46
lola: 49 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2104397 markings, 5352846 edges, 420879 markings/sec, 0 secs
lola: 4304896 markings, 10907424 edges, 440100 markings/sec, 5 secs
lola: 6471268 markings, 16366778 edges, 433274 markings/sec, 10 secs
lola: 8580023 markings, 21676447 edges, 421751 markings/sec, 15 secs
lola: 10641580 markings, 26863707 edges, 412311 markings/sec, 20 secs
lola: 12668458 markings, 31962181 edges, 405376 markings/sec, 25 secs
lola: 14776458 markings, 37262923 edges, 421600 markings/sec, 30 secs
lola: 16840804 markings, 42453456 edges, 412869 markings/sec, 35 secs
lola: 18893030 markings, 47610671 edges, 410445 markings/sec, 40 secs
lola: 20914034 markings, 52690193 edges, 404201 markings/sec, 45 secs
lola: 22962220 markings, 57836410 edges, 409637 markings/sec, 50 secs
lola: 25015477 markings, 62993574 edges, 410651 markings/sec, 55 secs
lola: 27036890 markings, 68071659 edges, 404283 markings/sec, 60 secs
lola: 29026445 markings, 73067756 edges, 397911 markings/sec, 65 secs
lola: 31032513 markings, 78105868 edges, 401214 markings/sec, 70 secs
lola: 33005209 markings, 83060418 edges, 394539 markings/sec, 75 secs
lola: 34988259 markings, 88039017 edges, 396610 markings/sec, 80 secs
lola: 36947179 markings, 92957352 edges, 391784 markings/sec, 85 secs
lola: 38966394 markings, 98026869 edges, 403843 markings/sec, 90 secs
lola: 41012421 markings, 103161385 edges, 409205 markings/sec, 95 secs
lola: 43024321 markings, 108212953 edges, 402380 markings/sec, 100 secs
lola: 45022691 markings, 113228334 edges, 399674 markings/sec, 105 secs
lola: 47002893 markings, 118198444 edges, 396040 markings/sec, 110 secs
lola: 48986297 markings, 123174293 edges, 396681 markings/sec, 115 secs
lola: 50963887 markings, 128138230 edges, 395518 markings/sec, 120 secs
lola: 52936040 markings, 133086142 edges, 394431 markings/sec, 125 secs
lola: 54864095 markings, 137923597 edges, 385611 markings/sec, 130 secs
lola: 56766647 markings, 142697415 edges, 380510 markings/sec, 135 secs
lola: 58694603 markings, 147535084 edges, 385591 markings/sec, 140 secs
lola: 60631713 markings, 152395649 edges, 387422 markings/sec, 145 secs
lola: 62633385 markings, 157417902 edges, 400334 markings/sec, 150 secs
lola: 64576825 markings, 162294445 edges, 388688 markings/sec, 155 secs
lola: 66522987 markings, 167175026 edges, 389232 markings/sec, 160 secs
lola: 68451466 markings, 172014522 edges, 385696 markings/sec, 165 secs
lola: 70346738 markings, 176768022 edges, 379054 markings/sec, 170 secs
lola: 72242622 markings, 181523207 edges, 379177 markings/sec, 175 secs
lola: 74108565 markings, 186203314 edges, 373189 markings/sec, 180 secs
lola: 76043683 markings, 191056608 edges, 387024 markings/sec, 185 secs
lola: 77949728 markings, 195837341 edges, 381209 markings/sec, 190 secs
lola: 79834160 markings, 200564184 edges, 376886 markings/sec, 195 secs
lola: 81675973 markings, 205184512 edges, 368363 markings/sec, 200 secs
lola: 83584022 markings, 209970428 edges, 381610 markings/sec, 205 secs
lola: 85395171 markings, 214513874 edges, 362230 markings/sec, 210 secs
lola: 87289285 markings, 219262117 edges, 378823 markings/sec, 215 secs
lola: 89140606 markings, 223906703 edges, 370264 markings/sec, 220 secs
lola: 90646769 markings, 227684198 edges, 301233 markings/sec, 225 secs
lola: 92298731 markings, 231827184 edges, 330392 markings/sec, 230 secs
lola: 92360166 markings, 231980086 edges, 12287 markings/sec, 235 secs
lola: 93721628 markings, 235392300 edges, 272292 markings/sec, 240 secs
lola: 94390233 markings, 237071463 edges, 133721 markings/sec, 245 secs
lola: 95443310 markings, 239712451 edges, 210615 markings/sec, 250 secs
lola: 96467620 markings, 242278427 edges, 204862 markings/sec, 255 secs
lola: 97861158 markings, 245774547 edges, 278708 markings/sec, 260 secs
lola: 99398874 markings, 249631059 edges, 307543 markings/sec, 265 secs
lola: 100048898 markings, 251260708 edges, 130005 markings/sec, 270 secs
lola: 101471917 markings, 254827112 edges, 284604 markings/sec, 275 secs
lola: 102286506 markings, 256871736 edges, 162918 markings/sec, 280 secs
lola: 103902030 markings, 260923111 edges, 323105 markings/sec, 285 secs
lola: 104538289 markings, 262518184 edges, 127252 markings/sec, 290 secs
lola: 105779714 markings, 265630678 edges, 248285 markings/sec, 295 secs
lola: 106786322 markings, 268155323 edges, 201322 markings/sec, 300 secs
lola: 107582769 markings, 270151388 edges, 159289 markings/sec, 305 secs
lola: 108405611 markings, 272213248 edges, 164568 markings/sec, 310 secs
lola: 109846070 markings, 275826829 edges, 288092 markings/sec, 315 secs
lola: 110743063 markings, 278074238 edges, 179399 markings/sec, 320 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 582 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((p18 <= 0) AND ((p21 <= 0))))) OR (E (F ((((p8 <= 0) OR (p9 <= 0)) AND ((p10 <= 0) OR (p25 <= 0))))) OR (((1 <= p8) AND (1 <= p9) AND (1 <= p12)) OR ((1 <= p7) AND (1 <= p3)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 582 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p8) AND (1 <= p9) AND (1 <= p12)) OR ((1 <= p7) AND (1 <= p3)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: processed formula: (((1 <= p8) AND (1 <= p9) AND (1 <= p12)) OR ((1 <= p7) AND (1 <= p3)))
lola: processed formula length: 71
lola: 48 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 5 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 1165 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p18 <= 0) AND ((p21 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (((p18 <= 0) AND ((p21 <= 0)))))
lola: processed formula length: 37
lola: 49 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p18) OR ((1 <= p21)))
lola: 4 markings, 3 edges
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 12 will run for 1165 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((p14 <= 0))) AND (E (F (((p13 <= 0)))) AND (((p21 <= 0) OR (p13 <= 0) OR (p5 <= 0) OR (p7 <= 0) OR (p26 <= 0) OR ((p24 <= 0) AND ((p6 <= 0) OR (p26 <= 0)))) AND ((1 <= p3) OR A (G (((1 <= p0) AND (1 <= p26))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 1165 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p3)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p3)
lola: processed formula length: 9
lola: 47 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p14 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((p14 <= 0)))
lola: processed formula length: 18
lola: 48 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p14 <= 0)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p0) AND (1 <= p26))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((1 <= p0) AND (1 <= p26))))
lola: processed formula length: 34
lola: 49 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p0 <= 0) OR (p26 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-15-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 10241 markings, 10240 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (X (E (F (A (G (((1 <= p3) AND (1 <= p4))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(EF(AG(((1 <= p3) AND (1 <= p4)))))
lola: processed formula length: 37
lola: 50 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2241329 markings, 5620772 edges, 448266 markings/sec, 0 secs
lola: 4555213 markings, 11419135 edges, 462777 markings/sec, 5 secs
lola: 6835770 markings, 17131699 edges, 456111 markings/sec, 10 secs
lola: 9042139 markings, 22657450 edges, 441274 markings/sec, 15 secs
lola: 11213105 markings, 28093606 edges, 434193 markings/sec, 20 secs
lola: 13447756 markings, 33688720 edges, 446930 markings/sec, 25 secs
lola: 15583348 markings, 39035380 edges, 427118 markings/sec, 30 secs
lola: 17742462 markings, 44440595 edges, 431823 markings/sec, 35 secs
lola: 19759026 markings, 49488699 edges, 403313 markings/sec, 40 secs
lola: 21831036 markings, 54675158 edges, 414402 markings/sec, 45 secs
lola: 23913049 markings, 59886791 edges, 416403 markings/sec, 50 secs
lola: 26024472 markings, 65171632 edges, 422285 markings/sec, 55 secs
lola: 28094673 markings, 70353145 edges, 414040 markings/sec, 60 secs
lola: 30175447 markings, 75560964 edges, 416155 markings/sec, 65 secs
lola: 32212822 markings, 80660107 edges, 407475 markings/sec, 70 secs
lola: 34252953 markings, 85765982 edges, 408026 markings/sec, 75 secs
lola: 36204309 markings, 90649568 edges, 390271 markings/sec, 80 secs
lola: 38252357 markings, 95775048 edges, 409610 markings/sec, 85 secs
lola: 40373280 markings, 101082966 edges, 424185 markings/sec, 90 secs
lola: 42456498 markings, 106296137 edges, 416644 markings/sec, 95 secs
lola: 44453561 markings, 111293905 edges, 399413 markings/sec, 100 secs
lola: 46484765 markings, 116376866 edges, 406241 markings/sec, 105 secs
lola: 48473281 markings, 121353000 edges, 397703 markings/sec, 110 secs
lola: 50327247 markings, 125992303 edges, 370793 markings/sec, 115 secs
lola: 52201098 markings, 130681315 edges, 374770 markings/sec, 120 secs
lola: 54193549 markings, 135667019 edges, 398490 markings/sec, 125 secs
lola: 56010511 markings, 140213587 edges, 363392 markings/sec, 130 secs
lola: 57931370 markings, 145020079 edges, 384172 markings/sec, 135 secs
lola: 59891074 markings, 149923699 edges, 391941 markings/sec, 140 secs
lola: 61984931 markings, 155162895 edges, 418771 markings/sec, 145 secs
lola: 64009490 markings, 160228794 edges, 404912 markings/sec, 150 secs
lola: 66037319 markings, 165302946 edges, 405566 markings/sec, 155 secs
lola: 68022108 markings, 170269105 edges, 396958 markings/sec, 160 secs
lola: 69986416 markings, 175184045 edges, 392862 markings/sec, 165 secs
lola: 71938659 markings, 180068687 edges, 390449 markings/sec, 170 secs
lola: 73873084 markings, 184908950 edges, 386885 markings/sec, 175 secs
lola: 75898775 markings, 189977465 edges, 405138 markings/sec, 180 secs
lola: 77874590 markings, 194920890 edges, 395163 markings/sec, 185 secs
lola: 79830025 markings, 199813415 edges, 391087 markings/sec, 190 secs
lola: 81750038 markings, 204617364 edges, 384003 markings/sec, 195 secs
lola: 83730602 markings, 209572946 edges, 396113 markings/sec, 200 secs
lola: 85662931 markings, 214407645 edges, 386466 markings/sec, 205 secs
lola: 87608927 markings, 219276443 edges, 389199 markings/sec, 210 secs
lola: 89391106 markings, 223736106 edges, 356436 markings/sec, 215 secs
lola: 90507664 markings, 226529497 edges, 223312 markings/sec, 220 secs
lola: 91770144 markings, 229687594 edges, 252496 markings/sec, 225 secs
lola: 92588283 markings, 231734371 edges, 163628 markings/sec, 230 secs
lola: 93768208 markings, 234686391 edges, 235985 markings/sec, 235 secs
lola: 94734367 markings, 237103737 edges, 193232 markings/sec, 240 secs
lola: 95833288 markings, 239853115 edges, 219784 markings/sec, 245 secs
lola: 96752381 markings, 242152879 edges, 183819 markings/sec, 250 secs
lola: 97858541 markings, 244920358 edges, 221232 markings/sec, 255 secs
lola: 98905148 markings, 247538925 edges, 209321 markings/sec, 260 secs
lola: 99912821 markings, 250059869 edges, 201535 markings/sec, 265 secs
lola: 101034695 markings, 252866603 edges, 224375 markings/sec, 270 secs
lola: 102168833 markings, 255704080 edges, 226828 markings/sec, 275 secs
lola: 103336666 markings, 258625921 edges, 233567 markings/sec, 280 secs
lola: 104469761 markings, 261460632 edges, 226619 markings/sec, 285 secs
lola: 105515901 markings, 264077899 edges, 209228 markings/sec, 290 secs
lola: 106771921 markings, 267220330 edges, 251204 markings/sec, 295 secs
lola: 108268050 markings, 270963471 edges, 299226 markings/sec, 300 secs
lola: 109543909 markings, 274155432 edges, 255172 markings/sec, 305 secs
lola: 110285264 markings, 276009976 edges, 148271 markings/sec, 310 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E ((A (F ((p22 <= 0))) U (A (G ((1 <= p3))) AND E (X ((1 <= p14))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(AF((p22 <= 0)) U (AG((1 <= p3)) AND EX((1 <= p14))))
lola: processed formula length: 54
lola: 51 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1685517 markings, 5912812 edges, 337103 markings/sec, 0 secs
lola: 3446292 markings, 12087007 edges, 352155 markings/sec, 5 secs
lola: 5136095 markings, 18010442 edges, 337961 markings/sec, 10 secs
lola: 6731024 markings, 23600378 edges, 318986 markings/sec, 15 secs
lola: 8392470 markings, 29422966 edges, 332289 markings/sec, 20 secs
lola: 10011931 markings, 35097791 edges, 323892 markings/sec, 25 secs
lola: 11622325 markings, 40740555 edges, 322079 markings/sec, 30 secs
lola: 13283870 markings, 46562179 edges, 332309 markings/sec, 35 secs
lola: 14906384 markings, 52247012 edges, 324503 markings/sec, 40 secs
lola: 16502366 markings, 57838543 edges, 319196 markings/sec, 45 secs
lola: 18117401 markings, 63496551 edges, 323007 markings/sec, 50 secs
lola: 19695555 markings, 69025276 edges, 315631 markings/sec, 55 secs
lola: 21249455 markings, 74468883 edges, 310780 markings/sec, 60 secs
lola: 22847973 markings, 80068707 edges, 319704 markings/sec, 65 secs
lola: 24437718 markings, 85637696 edges, 317949 markings/sec, 70 secs
lola: 26017373 markings, 91171083 edges, 315931 markings/sec, 75 secs
lola: 27572548 markings, 96618852 edges, 311035 markings/sec, 80 secs
lola: 29098260 markings, 101963158 edges, 305142 markings/sec, 85 secs
lola: 30656019 markings, 107419826 edges, 311552 markings/sec, 90 secs
lola: 32176536 markings, 112745829 edges, 304103 markings/sec, 95 secs
lola: 33700722 markings, 118084704 edges, 304837 markings/sec, 100 secs
lola: 35213216 markings, 123382418 edges, 302499 markings/sec, 105 secs
lola: 36656324 markings, 128437190 edges, 288622 markings/sec, 110 secs
lola: 38183618 markings, 133786686 edges, 305459 markings/sec, 115 secs
lola: 39714952 markings, 139150338 edges, 306267 markings/sec, 120 secs
lola: 41273648 markings, 144609742 edges, 311739 markings/sec, 125 secs
lola: 42747247 markings, 149770995 edges, 294720 markings/sec, 130 secs
lola: 44304460 markings, 155225090 edges, 311443 markings/sec, 135 secs
lola: 45714573 markings, 160164012 edges, 282023 markings/sec, 140 secs
lola: 47237680 markings, 165498498 edges, 304621 markings/sec, 145 secs
lola: 48680100 markings, 170550534 edges, 288484 markings/sec, 150 secs
lola: 50204083 markings, 175888152 edges, 304797 markings/sec, 155 secs
lola: 51719148 markings, 181194554 edges, 303013 markings/sec, 160 secs
lola: 53219884 markings, 186450578 edges, 300147 markings/sec, 165 secs
lola: 54627099 markings, 191379044 edges, 281443 markings/sec, 170 secs
lola: 55992577 markings, 196161135 edges, 273096 markings/sec, 175 secs
lola: 57348075 markings, 200908695 edges, 271100 markings/sec, 180 secs
lola: 58818338 markings, 206057916 edges, 294053 markings/sec, 185 secs
lola: 60283332 markings, 211188534 edges, 292999 markings/sec, 190 secs
lola: 61840525 markings, 216642365 edges, 311439 markings/sec, 195 secs
lola: 63327301 markings, 221849161 edges, 297355 markings/sec, 200 secs
lola: 64825089 markings, 227094751 edges, 299558 markings/sec, 205 secs
lola: 66311864 markings, 232301668 edges, 297355 markings/sec, 210 secs
lola: 67789572 markings, 237476961 edges, 295542 markings/sec, 215 secs
lola: 69236300 markings, 242543414 edges, 289346 markings/sec, 220 secs
lola: 70667010 markings, 247553964 edges, 286142 markings/sec, 225 secs
lola: 72122625 markings, 252651919 edges, 291123 markings/sec, 230 secs
lola: 73540810 markings, 257618496 edges, 283637 markings/sec, 235 secs
lola: 75024625 markings, 262814819 edges, 296763 markings/sec, 240 secs
lola: 76501017 markings, 267985303 edges, 295278 markings/sec, 245 secs
lola: 77957199 markings, 273084798 edges, 291236 markings/sec, 250 secs
lola: 79395970 markings, 278123353 edges, 287754 markings/sec, 255 secs
lola: 80825501 markings, 283129661 edges, 285906 markings/sec, 260 secs
lola: 82267804 markings, 288180650 edges, 288461 markings/sec, 265 secs
lola: 83728878 markings, 293297486 edges, 292215 markings/sec, 270 secs
lola: 85152983 markings, 298284634 edges, 284821 markings/sec, 275 secs
lola: 86515421 markings, 303055997 edges, 272488 markings/sec, 280 secs
lola: 87959328 markings, 308112207 edges, 288781 markings/sec, 285 secs
lola: 89356157 markings, 313004385 edges, 279366 markings/sec, 290 secs
lola: 90460162 markings, 316872462 edges, 220801 markings/sec, 295 secs
lola: 91389137 markings, 320123604 edges, 185795 markings/sec, 300 secs
lola: 92534653 markings, 324134874 edges, 229103 markings/sec, 305 secs
lola: 93461186 markings, 327379701 edges, 185307 markings/sec, 310 secs
lola: 94419521 markings, 330735538 edges, 191667 markings/sec, 315 secs
lola: 95206382 markings, 333491287 edges, 157372 markings/sec, 320 secs
lola: 96018353 markings, 336334539 edges, 162394 markings/sec, 325 secs
lola: 96908559 markings, 339452146 edges, 178041 markings/sec, 330 secs
lola: 97902748 markings, 342933647 edges, 198838 markings/sec, 335 secs
lola: 98748173 markings, 345894016 edges, 169085 markings/sec, 340 secs
lola: 99832193 markings, 349690221 edges, 216804 markings/sec, 345 secs
lola: 101001249 markings, 353784134 edges, 233811 markings/sec, 350 secs
lola: 101918984 markings, 356998146 edges, 183547 markings/sec, 355 secs
lola: 103247154 markings, 361648861 edges, 265634 markings/sec, 360 secs
lola: 104311444 markings, 365376004 edges, 212858 markings/sec, 365 secs
lola: 105229252 markings, 368590248 edges, 183562 markings/sec, 370 secs
lola: 106186421 markings, 371941971 edges, 191434 markings/sec, 375 secs
lola: 107381646 markings, 376127228 edges, 239045 markings/sec, 380 secs
lola: 108437954 markings, 379826288 edges, 211262 markings/sec, 385 secs
lola: 109411997 markings, 383237598 edges, 194809 markings/sec, 390 secs
lola: 110279917 markings, 386277083 edges, 173584 markings/sec, 395 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G ((A (X ((p22 <= 0))) OR ((1 <= p0) AND (1 <= p26)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG((AX((p22 <= 0)) OR ((1 <= p0) AND (1 <= p26))))
lola: processed formula length: 50
lola: 49 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1346224 markings, 2030224 edges, 269245 markings/sec, 0 secs
lola: 2681861 markings, 4043131 edges, 267127 markings/sec, 5 secs
lola: 4065701 markings, 6127077 edges, 276768 markings/sec, 10 secs
lola: 5400367 markings, 8136026 edges, 266933 markings/sec, 15 secs
lola: 6783212 markings, 10216985 edges, 276569 markings/sec, 20 secs
lola: 8153283 markings, 12278187 edges, 274014 markings/sec, 25 secs
lola: 9516973 markings, 14329495 edges, 272738 markings/sec, 30 secs
lola: 10876983 markings, 16375031 edges, 272002 markings/sec, 35 secs
lola: 12256596 markings, 18449696 edges, 275923 markings/sec, 40 secs
lola: 13637309 markings, 20526066 edges, 276143 markings/sec, 45 secs
lola: 15003023 markings, 22579510 edges, 273143 markings/sec, 50 secs
lola: 16368935 markings, 24633202 edges, 273182 markings/sec, 55 secs
lola: 17737518 markings, 26690720 edges, 273717 markings/sec, 60 secs
lola: 19091959 markings, 28726843 edges, 270888 markings/sec, 65 secs
lola: 20433409 markings, 30743281 edges, 268290 markings/sec, 70 secs
lola: 21776308 markings, 32761956 edges, 268580 markings/sec, 75 secs
lola: 23133517 markings, 34801910 edges, 271442 markings/sec, 80 secs
lola: 24485340 markings, 36833817 edges, 270365 markings/sec, 85 secs
lola: 25824395 markings, 38846460 edges, 267811 markings/sec, 90 secs
lola: 27163482 markings, 40858835 edges, 267817 markings/sec, 95 secs
lola: 28499000 markings, 42866114 edges, 267104 markings/sec, 100 secs
lola: 29824009 markings, 44857308 edges, 265002 markings/sec, 105 secs
lola: 31145272 markings, 46843018 edges, 264253 markings/sec, 110 secs
lola: 32411247 markings, 48745326 edges, 253195 markings/sec, 115 secs
lola: 33730352 markings, 50727746 edges, 263821 markings/sec, 120 secs
lola: 35064688 markings, 52732852 edges, 266867 markings/sec, 125 secs
lola: 36388358 markings, 54721848 edges, 264734 markings/sec, 130 secs
lola: 37710992 markings, 56709228 edges, 264527 markings/sec, 135 secs
lola: 39074722 markings, 58758401 edges, 272746 markings/sec, 140 secs
lola: 40421360 markings, 60781738 edges, 269328 markings/sec, 145 secs
lola: 41755353 markings, 62786110 edges, 266799 markings/sec, 150 secs
lola: 43089102 markings, 64790180 edges, 266750 markings/sec, 155 secs
lola: 44423352 markings, 66794926 edges, 266850 markings/sec, 160 secs
lola: 45737826 markings, 68769818 edges, 262895 markings/sec, 165 secs
lola: 47060536 markings, 70757100 edges, 264542 markings/sec, 170 secs
lola: 48387518 markings, 72750694 edges, 265396 markings/sec, 175 secs
lola: 49714017 markings, 74743694 edges, 265300 markings/sec, 180 secs
lola: 51038106 markings, 76733060 edges, 264818 markings/sec, 185 secs
lola: 52349028 markings, 78702455 edges, 262184 markings/sec, 190 secs
lola: 53658711 markings, 80669965 edges, 261937 markings/sec, 195 secs
lola: 54971890 markings, 82642788 edges, 262636 markings/sec, 200 secs
lola: 56181415 markings, 84459909 edges, 241905 markings/sec, 205 secs
lola: 57485598 markings, 86419028 edges, 260837 markings/sec, 210 secs
lola: 58793461 markings, 88383817 edges, 261573 markings/sec, 215 secs
lola: 60049987 markings, 90271453 edges, 251305 markings/sec, 220 secs
lola: 61399393 markings, 92298529 edges, 269881 markings/sec, 225 secs
lola: 62581439 markings, 94074249 edges, 236409 markings/sec, 230 secs
lola: 63605201 markings, 95612267 edges, 204752 markings/sec, 235 secs
lola: 64758044 markings, 97343948 edges, 230569 markings/sec, 240 secs
lola: 65648044 markings, 98680855 edges, 178000 markings/sec, 245 secs
lola: 66556520 markings, 100045462 edges, 181695 markings/sec, 250 secs
lola: 67618955 markings, 101641579 edges, 212487 markings/sec, 255 secs
lola: 68052156 markings, 102292126 edges, 86640 markings/sec, 260 secs
lola: 68858086 markings, 103502843 edges, 161186 markings/sec, 265 secs
lola: 69772128 markings, 104875893 edges, 182808 markings/sec, 270 secs
lola: 70393688 markings, 105809527 edges, 124312 markings/sec, 275 secs
lola: 71207547 markings, 107031957 edges, 162772 markings/sec, 280 secs
lola: 71921921 markings, 108105058 edges, 142875 markings/sec, 285 secs
lola: 72807477 markings, 109435148 edges, 177111 markings/sec, 290 secs
lola: 73876834 markings, 111041547 edges, 213871 markings/sec, 295 secs
lola: 74622473 markings, 112161562 edges, 149128 markings/sec, 300 secs
lola: 75383330 markings, 113304530 edges, 152171 markings/sec, 305 secs
lola: 76175836 markings, 114494780 edges, 158501 markings/sec, 310 secs
lola: 76938868 markings, 115640758 edges, 152606 markings/sec, 315 secs
lola: 77432272 markings, 116381957 edges, 98681 markings/sec, 320 secs
lola: 77513603 markings, 116504074 edges, 16266 markings/sec, 325 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (E (X (((p1 <= 0) OR (p2 <= 0) OR (p15 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(EX(((p1 <= 0) OR (p2 <= 0) OR (p15 <= 0))))
lola: processed formula length: 48
lola: 49 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3020547 markings, 4553279 edges, 604109 markings/sec, 0 secs
lola: 5819296 markings, 8766498 edges, 559750 markings/sec, 5 secs
lola: 8697622 markings, 13097009 edges, 575665 markings/sec, 10 secs
lola: 11525257 markings, 17350024 edges, 565527 markings/sec, 15 secs
lola: 14274559 markings, 21484175 edges, 549860 markings/sec, 20 secs
lola: 17086217 markings, 25711481 edges, 562332 markings/sec, 25 secs
lola: 19574960 markings, 29452899 edges, 497749 markings/sec, 30 secs
lola: 22325266 markings, 33587123 edges, 550061 markings/sec, 35 secs
lola: 25124748 markings, 37794889 edges, 559896 markings/sec, 40 secs
lola: 27882798 markings, 41939962 edges, 551610 markings/sec, 45 secs
lola: 30342498 markings, 45636581 edges, 491940 markings/sec, 50 secs
lola: 33018976 markings, 49658621 edges, 535296 markings/sec, 55 secs
lola: 35606040 markings, 53546304 edges, 517413 markings/sec, 60 secs
lola: 38287995 markings, 57576304 edges, 536391 markings/sec, 65 secs
lola: 41027835 markings, 61693015 edges, 547968 markings/sec, 70 secs
lola: 43770680 markings, 65814309 edges, 548569 markings/sec, 75 secs
lola: 46468048 markings, 69867038 edges, 539474 markings/sec, 80 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown no no
lola:
preliminary result: unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown no no
lola: memory consumption: 752 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.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="CTLFireability"
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 CTLFireability"
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-158987806800468"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;