fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r180-ebro-158987900400546
Last Updated
Jun 28, 2020

About the Execution of ITS-LoLa for DLCround-PT-09a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15755.210 3600000.00 3612048.00 3767.60 FF?FFFFTFFTTFF?F normal

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r180-ebro-158987900400546.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is DLCround-PT-09a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r180-ebro-158987900400546
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 748K
-rw-r--r-- 1 mcc users 3.4K Mar 30 19:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 19:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 09:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 09:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 05:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 05:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 23:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 23:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 566K 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 DLCround-PT-09a-00
FORMULA_NAME DLCround-PT-09a-01
FORMULA_NAME DLCround-PT-09a-02
FORMULA_NAME DLCround-PT-09a-03
FORMULA_NAME DLCround-PT-09a-04
FORMULA_NAME DLCround-PT-09a-05
FORMULA_NAME DLCround-PT-09a-06
FORMULA_NAME DLCround-PT-09a-07
FORMULA_NAME DLCround-PT-09a-08
FORMULA_NAME DLCround-PT-09a-09
FORMULA_NAME DLCround-PT-09a-10
FORMULA_NAME DLCround-PT-09a-11
FORMULA_NAME DLCround-PT-09a-12
FORMULA_NAME DLCround-PT-09a-13
FORMULA_NAME DLCround-PT-09a-14
FORMULA_NAME DLCround-PT-09a-15

=== Now, execution of the tool begins

BK_START 1591246513956

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 04:55:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 04:55:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 04:55:17] [INFO ] Load time of PNML (sax parser for PT used): 315 ms
[2020-06-04 04:55:17] [INFO ] Transformed 299 places.
[2020-06-04 04:55:17] [INFO ] Transformed 2243 transitions.
[2020-06-04 04:55:17] [INFO ] Found NUPN structural information;
[2020-06-04 04:55:17] [INFO ] Parsed PT model containing 299 places and 2243 transitions in 418 ms.
Ensure Unique test removed 216 transitions
Reduce redundant transitions removed 216 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 71 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 4062 steps, including 0 resets, run visited all 46 properties in 119 ms. (steps per millisecond=34 )
[2020-06-04 04:55:18] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2020-06-04 04:55:18] [INFO ] Flatten gal took : 304 ms
FORMULA DLCround-PT-09a-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-09a-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-09a-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-09a-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 04:55:18] [INFO ] Applying decomposition
[2020-06-04 04:55:18] [INFO ] Flatten gal took : 184 ms
[2020-06-04 04:55:18] [INFO ] Decomposing Gal with order
[2020-06-04 04:55:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-06-04 04:55:19] [INFO ] Removed a total of 3366 redundant transitions.
[2020-06-04 04:55:19] [INFO ] Flatten gal took : 397 ms
[2020-06-04 04:55:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 140 labels/synchronizations in 121 ms.
[2020-06-04 04:55:19] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 14 ms.
[2020-06-04 04:55:19] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 56 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ DLCround-PT-09a @ 3570 seconds

FORMULA DLCround-PT-09a-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-09a-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-09a-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-09a-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-09a-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-09a-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-09a-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-09a-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-09a-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-09a-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for LTLFireability @ DLCround-PT-09a

{
"exit":
{
"memory": 7050692,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"result":
{
"preliminary_value": "no no unknown no no no no yes no no unknown no "
},
"task":
{
"compoundnumber": 13,
"type": "boolean"
}
}
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: 2326/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 299
lola: finding significant places
lola: 299 places, 2027 transitions, 115 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (p83 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p94 <= 1)
lola: LP says that atomic proposition is always true: (p83 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p94 <= 1)
lola: LP says that atomic proposition is always true: (p97 <= 1)
lola: LP says that atomic proposition is always true: (p181 <= 1)
lola: LP says that atomic proposition is always true: (p47 <= 1)
lola: LP says that atomic proposition is always true: (p282 <= 1)
lola: LP says that atomic proposition is always true: (p79 <= 1)
lola: LP says that atomic proposition is always true: (p257 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p142 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p142 <= 1)
lola: LP says that atomic proposition is always true: (p79 <= 1)
lola: LP says that atomic proposition is always true: (p257 <= 1)
lola: LP says that atomic proposition is always true: (p88 <= 1)
lola: LP says that atomic proposition is always true: (p174 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p269 <= 1)
lola: LP says that atomic proposition is always true: (p97 <= 1)
lola: LP says that atomic proposition is always true: (p14 <= 1)
lola: LP says that atomic proposition is always true: (p204 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p202 <= 1)
lola: LP says that atomic proposition is always true: (p14 <= 1)
lola: LP says that atomic proposition is always true: (p204 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p288 <= 1)
lola: LP says that atomic proposition is always true: (p106 <= 1)
lola: LP says that atomic proposition is always true: (p276 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p184 <= 1)
lola: LP says that atomic proposition is always true: (p57 <= 1)
lola: LP says that atomic proposition is always true: (p150 <= 1)
lola: LP says that atomic proposition is always true: (p57 <= 1)
lola: LP says that atomic proposition is always true: (p150 <= 1)
lola: LP says that atomic proposition is always true: (p44 <= 1)
lola: LP says that atomic proposition is always true: (p220 <= 1)
lola: LP says that atomic proposition is always true: (p57 <= 1)
lola: LP says that atomic proposition is always true: (p150 <= 1)
lola: LP says that atomic proposition is always true: (p56 <= 1)
lola: LP says that atomic proposition is always true: (p148 <= 1)
lola: LP says that atomic proposition is always true: (p56 <= 1)
lola: LP says that atomic proposition is always true: (p148 <= 1)
lola: LP says that atomic proposition is always true: (p118 <= 1)
lola: LP says that atomic proposition is always true: (p94 <= 1)
lola: LP says that atomic proposition is always true: (p270 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p141 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p141 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p141 <= 1)
lola: LP says that atomic proposition is always true: (p97 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p46 <= 1)
lola: LP says that atomic proposition is always true: (p225 <= 1)
lola: LP says that atomic proposition is always true: (p83 <= 1)
lola: LP says that atomic proposition is always true: (p87 <= 1)
lola: LP says that atomic proposition is always true: (p268 <= 1)
lola: LP says that atomic proposition is always true: (p118 <= 1)
lola: LP says that atomic proposition is always true: (p286 <= 1)
lola: LP says that atomic proposition is always true: (p91 <= 1)
lola: LP says that atomic proposition is always true: (p268 <= 1)
lola: LP says that atomic proposition is always true: (p91 <= 1)
lola: LP says that atomic proposition is always true: (p268 <= 1)
lola: LP says that atomic proposition is always true: (p128 <= 1)
lola: LP says that atomic proposition is always true: (p206 <= 1)
lola: LP says that atomic proposition is always true: (p123 <= 1)
lola: LP says that atomic proposition is always true: (p206 <= 1)
lola: LP says that atomic proposition is always true: (p32 <= 1)
lola: LP says that atomic proposition is always true: (p209 <= 1)
lola: LP says that atomic proposition is always true: (p77 <= 1)
lola: LP says that atomic proposition is always true: (p221 <= 1)
lola: LP says that atomic proposition is always true: (p32 <= 1)
lola: LP says that atomic proposition is always true: (p209 <= 1)
lola: LP says that atomic proposition is always true: (p47 <= 1)
lola: LP says that atomic proposition is always true: (p255 <= 1)
lola: X (NOT(((NOT(X ((G (((1 <= p83) AND (1 <= p170))) AND ((1 <= p94))))) OR (((p83 <= 0) OR (p170 <= 0)) AND ((p94 <= 0)))) U ((p97 <= 0) OR (p181 <= 0))))) : ((G ((((1 <= p79) AND ((p47 <= 0) OR (p282 <= 0)) AND (1 <= p257)) OR ((1 <= p21) AND (1 <= p142)))) U ((p21 <= 0) OR (p142 <= 0))) AND X (((1 <= p79) AND (1 <= p257)))) : (G (X (F (NOT((F (((1 <= p88) AND (1 <= p174))) U ((1 <= p107) AND (1 <= p269))))))) OR G (((p97 <= 0)))) : (G (F (G (F ((F (((p14 <= 0) OR (p204 <= 0))) U X (((p7 <= 0) OR (p202 <= 0)))))))) OR ((1 <= p14) AND (1 <= p204))) : (G (NOT(G (((X (F ((((1 <= p48)) OR ((1 <= p115) AND (1 <= p288))))) AND ((1 <= p106))) AND ((1 <= p276)))))) OR ((1 <= p96) AND (1 <= p184))) : F (G ((NOT(F (((1 <= p57) AND (1 <= p150)))) U (X (((1 <= p57) AND (1 <= p150) AND (1 <= p44) AND (1 <= p220))) OR G (((1 <= p57) AND (1 <= p150))))))) : G ((((G (((1 <= p56) AND (1 <= p148))) U ((1 <= p56) AND (1 <= p148))) OR G (X (((1 <= p118))))) OR ((1 <= p94) AND (1 <= p270)))) : F ((X (X (X (NOT(G (((1 <= p21) AND (1 <= p141))))))) U NOT(X ((NOT(F (((1 <= p21) AND (1 <= p141)))) AND ((p21 <= 0) OR (p141 <= 0))))))) : F (G ((((1 <= p97) AND (1 <= p241)) OR ((1 <= p46) AND (1 <= p225))))) : G ((NOT(F (G (NOT(F (((1 <= p83))))))) AND G (((p87 <= 0) OR (p268 <= 0))))) : (((((G (F (((1 <= p118) AND (1 <= p286)))) AND ((1 <= p91))) AND ((1 <= p268))) OR ((1 <= p91) AND (1 <= p268))) U ((1 <= p128) AND (1 <= p206))) OR G (((p123 <= 0) OR (p206 <= 0)))) : F ((NOT(X (((1 <= p32) AND (1 <= p209)))) AND ((X (((1 <= p77) AND (1 <= p221))) OR ((1 <= p32) AND (1 <= p209))) OR ((1 <= p47) AND (1 <= p255)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((X ((G (((1 <= p83) AND (1 <= p170))) AND ((1 <= p94)))) AND (((1 <= p83) AND (1 <= p170)) OR ((1 <= p94)))) R ((1 <= p97) AND (1 <= p181))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((X ((G (((1 <= p83) AND (1 <= p170))) AND ((1 <= p94)))) AND (((1 <= p83) AND (1 <= p170)) OR ((1 <= p94)))) R ((1 <= p97) AND (1 <= p181))))
lola: processed formula length: 146
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4 markings, 4 edges
lola: ========================================
lola: subprocess 1 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((p21 <= 0) OR (p142 <= 0)) OR (G ((((1 <= p79) AND ((p47 <= 0) OR (p282 <= 0)) AND (1 <= p257)) OR ((1 <= p21) AND (1 <= p142)))) AND F (((p21 <= 0) OR (p142 <= 0))))) AND X (((1 <= p79) AND (1 <= p257))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p21 <= 0) OR (p142 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p21 <= 0) OR (p142 <= 0))
lola: processed formula length: 28
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((1 <= p79) AND (1 <= p257)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((1 <= p79) AND (1 <= p257)))
lola: processed formula length: 32
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4 markings, 4 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (F ((X (G ((((p48 <= 0)) AND ((p115 <= 0) OR (p288 <= 0))))) OR (((p106 <= 0)) OR ((p276 <= 0)))))) OR ((1 <= p96) AND (1 <= p184)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p96) AND (1 <= p184))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p96) AND (1 <= p184))
lola: processed formula length: 28
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 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 3 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((X (G ((((p48 <= 0)) AND ((p115 <= 0) OR (p288 <= 0))))) OR (((p106 <= 0)) OR ((p276 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((X (G ((((p48 <= 0)) AND ((p115 <= 0) OR (p288 <= 0))))) OR (((p106 <= 0)) OR ((p276 <= 0))))))
lola: processed formula length: 102
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 89211 markings, 2497106 edges, 17842 markings/sec, 0 secs
lola: 174177 markings, 4939326 edges, 16993 markings/sec, 5 secs
lola: 262411 markings, 7480049 edges, 17647 markings/sec, 10 secs
lola: 349182 markings, 9952112 edges, 17354 markings/sec, 15 secs
lola: 433365 markings, 12373111 edges, 16837 markings/sec, 20 secs
lola: 518309 markings, 14774723 edges, 16989 markings/sec, 25 secs
lola: 600900 markings, 17189765 edges, 16518 markings/sec, 30 secs
lola: 684824 markings, 19608413 edges, 16785 markings/sec, 35 secs
lola: 774516 markings, 22076863 edges, 17938 markings/sec, 40 secs
lola: 860577 markings, 24572570 edges, 17212 markings/sec, 45 secs
lola: 940801 markings, 26921621 edges, 16045 markings/sec, 50 secs
lola: 1024299 markings, 29364453 edges, 16700 markings/sec, 55 secs
lola: 1101556 markings, 31713345 edges, 15451 markings/sec, 60 secs
lola: 1180621 markings, 34072015 edges, 15813 markings/sec, 65 secs
lola: 1257880 markings, 36415049 edges, 15452 markings/sec, 70 secs
lola: 1336656 markings, 38753191 edges, 15755 markings/sec, 75 secs
lola: 1415421 markings, 41074080 edges, 15753 markings/sec, 80 secs
lola: 1494938 markings, 43456584 edges, 15903 markings/sec, 85 secs
lola: 1575045 markings, 45827083 edges, 16021 markings/sec, 90 secs
lola: 1655021 markings, 48184249 edges, 15995 markings/sec, 95 secs
lola: 1735353 markings, 50586236 edges, 16066 markings/sec, 100 secs
lola: 1816338 markings, 52940440 edges, 16197 markings/sec, 105 secs
lola: 1908409 markings, 55359912 edges, 18414 markings/sec, 110 secs
lola: 1984660 markings, 57658929 edges, 15250 markings/sec, 115 secs
lola: 2062435 markings, 60002570 edges, 15555 markings/sec, 120 secs
lola: 2144271 markings, 62371256 edges, 16367 markings/sec, 125 secs
lola: 2226885 markings, 64709666 edges, 16523 markings/sec, 130 secs
lola: 2304618 markings, 66983179 edges, 15547 markings/sec, 135 secs
lola: 2383674 markings, 69281692 edges, 15811 markings/sec, 140 secs
lola: 2460365 markings, 71559477 edges, 15338 markings/sec, 145 secs
lola: 2541272 markings, 73883668 edges, 16181 markings/sec, 150 secs
lola: 2635689 markings, 76352186 edges, 18883 markings/sec, 155 secs
lola: 2722270 markings, 78860106 edges, 17316 markings/sec, 160 secs
lola: 2808637 markings, 81189206 edges, 17273 markings/sec, 165 secs
lola: 2887198 markings, 83454734 edges, 15712 markings/sec, 170 secs
lola: 2967332 markings, 85756265 edges, 16027 markings/sec, 175 secs
lola: 3049760 markings, 88076180 edges, 16486 markings/sec, 180 secs
lola: 3122741 markings, 90318109 edges, 14596 markings/sec, 185 secs
lola: 3202539 markings, 92587412 edges, 15960 markings/sec, 190 secs
lola: 3276227 markings, 94788811 edges, 14738 markings/sec, 195 secs
lola: 3354303 markings, 97040846 edges, 15615 markings/sec, 200 secs
lola: 3427050 markings, 99254355 edges, 14549 markings/sec, 205 secs
lola: 3497893 markings, 101407743 edges, 14169 markings/sec, 210 secs
lola: 3570754 markings, 103626724 edges, 14572 markings/sec, 215 secs
lola: 3643419 markings, 105855117 edges, 14533 markings/sec, 220 secs
lola: 3718703 markings, 108087798 edges, 15057 markings/sec, 225 secs
lola: 3796255 markings, 110366200 edges, 15510 markings/sec, 230 secs
lola: 3870286 markings, 112626706 edges, 14806 markings/sec, 235 secs
lola: 3951242 markings, 114945577 edges, 16191 markings/sec, 240 secs
lola: 4021917 markings, 117130560 edges, 14135 markings/sec, 245 secs
lola: 4095161 markings, 119300173 edges, 14649 markings/sec, 250 secs
lola: 4178768 markings, 121640635 edges, 16721 markings/sec, 255 secs
lola: 4257490 markings, 123949653 edges, 15744 markings/sec, 260 secs
lola: 4333198 markings, 126166166 edges, 15142 markings/sec, 265 secs
lola: 4411309 markings, 128397021 edges, 15622 markings/sec, 270 secs
lola: 4487348 markings, 130648796 edges, 15208 markings/sec, 275 secs
lola: 4568766 markings, 132883811 edges, 16284 markings/sec, 280 secs
lola: 4644578 markings, 135088019 edges, 15162 markings/sec, 285 secs
lola: 4715379 markings, 137210964 edges, 14160 markings/sec, 290 secs
lola: 4789975 markings, 139379323 edges, 14919 markings/sec, 295 secs
lola: 4869584 markings, 141617736 edges, 15922 markings/sec, 300 secs
lola: 4940821 markings, 143850860 edges, 14247 markings/sec, 305 secs
lola: 5016796 markings, 146126391 edges, 15195 markings/sec, 310 secs
lola: 5099810 markings, 148487212 edges, 16603 markings/sec, 315 secs
lola: 5172296 markings, 150692893 edges, 14497 markings/sec, 320 secs
lola: 5244938 markings, 152919142 edges, 14528 markings/sec, 325 secs
lola: 5321177 markings, 155161665 edges, 15248 markings/sec, 330 secs
lola: 5408571 markings, 157627123 edges, 17479 markings/sec, 335 secs
lola: 5502632 markings, 160095818 edges, 18812 markings/sec, 340 secs
lola: 5583230 markings, 162476015 edges, 16120 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 57844 KB
lola: time consumption: 370 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((X (((1 <= p57) AND (1 <= p150) AND (1 <= p44) AND (1 <= p220))) OR (G (((1 <= p57) AND (1 <= p150))) OR (G (((p57 <= 0) OR (p150 <= 0))) AND F ((X (((1 <= p57) AND (1 <= p150) AND (1 <= p44) AND (1 <= p220))) OR G (((1 <= p57) AND (1 <= p150))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((X (((1 <= p57) AND (1 <= p150) AND (1 <= p44) AND (1 <= p220))) OR (G (((1 <= p57) AND (1 <= p150))) OR (G (((p57 <= 0) OR (p150 <= 0))) AND F ((X (((1 <= p57) AND (1 <= p150) AND (1 <= p44) AND (1 <= p220))) OR G (((1 <= p57) AND (1 <= p150))))))))))
lola: processed formula length: 259
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 39 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: add low 2025
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 405 markings, 7089 edges
lola: ========================================
lola: subprocess 4 will run for 400 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((((1 <= p56) AND (1 <= p148)) OR ((G (((1 <= p56) AND (1 <= p148))) AND F (((1 <= p56) AND (1 <= p148)))) OR (X (G (((1 <= p118)))) OR ((1 <= p94) AND (1 <= p270))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((((1 <= p56) AND (1 <= p148)) OR ((G (((1 <= p56) AND (1 <= p148))) AND F (((1 <= p56) AND (1 <= p148)))) OR (X (G (((1 <= p118)))) OR ((1 <= p94) AND (1 <= p270))))))
lola: processed formula length: 170
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 25 markings, 227 edges
lola: ========================================
lola: subprocess 5 will run for 457 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((F (((1 <= p21) AND (1 <= p141))) OR ((1 <= p21) AND (1 <= p141)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((F (((1 <= p21) AND (1 <= p141))) OR ((1 <= p21) AND (1 <= p141)))))
lola: processed formula length: 74
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 6 will run for 533 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((X (((p32 <= 0) OR (p209 <= 0))) AND (X (((1 <= p77) AND (1 <= p221))) OR (((1 <= p32) AND (1 <= p209)) OR ((1 <= p47) AND (1 <= p255))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((X (((p32 <= 0) OR (p209 <= 0))) AND (X (((1 <= p77) AND (1 <= p221))) OR (((1 <= p32) AND (1 <= p209)) OR ((1 <= p47) AND (1 <= p255))))))
lola: processed formula length: 143
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7 markings, 8 edges
lola: ========================================
lola: subprocess 7 will run for 640 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((((1 <= p97) AND (1 <= p241)) OR ((1 <= p46) AND (1 <= p225)))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((((1 <= p97) AND (1 <= p241)) OR ((1 <= p46) AND (1 <= p225)))))
lola: processed formula length: 71
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3 markings, 4 edges
lola: ========================================
lola: subprocess 8 will run for 800 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((1 <= p83))) AND ((p87 <= 0) OR (p268 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((1 <= p83))) AND ((p87 <= 0) OR (p268 <= 0))))
lola: processed formula length: 55
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2 markings, 2 edges
lola: ========================================
lola: subprocess 9 will run for 1066 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (F (((p7 <= 0) OR (p202 <= 0)))) OR ((1 <= p14) AND (1 <= p204)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 1066 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p14) AND (1 <= p204))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p14) AND (1 <= p204))
lola: processed formula length: 28
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 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 10 will run for 1600 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((p7 <= 0) OR (p202 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((p7 <= 0) OR (p202 <= 0))))
lola: processed formula length: 35
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3 markings, 3 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 10 will run for 1600 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((G (F (((1 <= p118) AND (1 <= p286)))) AND (((1 <= p91)) AND ((1 <= p268)))) OR ((1 <= p91) AND (1 <= p268))) U ((1 <= p128) AND (1 <= p206))) OR G (((p123 <= 0) OR (p206 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 1600 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p123 <= 0) OR (p206 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p123 <= 0) OR (p206 <= 0)))
lola: processed formula length: 33
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 123948 markings, 2431117 edges, 24790 markings/sec, 0 secs
lola: 249228 markings, 4887136 edges, 25056 markings/sec, 5 secs
lola: 372396 markings, 7299255 edges, 24634 markings/sec, 10 secs
lola: 494781 markings, 9698357 edges, 24477 markings/sec, 15 secs
lola: 616074 markings, 12075072 edges, 24259 markings/sec, 20 secs
lola: 737277 markings, 14450352 edges, 24241 markings/sec, 25 secs
lola: 856364 markings, 16781681 edges, 23817 markings/sec, 30 secs
lola: 977125 markings, 19142053 edges, 24152 markings/sec, 35 secs
lola: 1096890 markings, 21479087 edges, 23953 markings/sec, 40 secs
lola: 1219339 markings, 23885126 edges, 24490 markings/sec, 45 secs
lola: 1341306 markings, 26270572 edges, 24393 markings/sec, 50 secs
lola: 1463213 markings, 28657459 edges, 24381 markings/sec, 55 secs
lola: 1580701 markings, 30958334 edges, 23498 markings/sec, 60 secs
lola: 1703974 markings, 33374477 edges, 24655 markings/sec, 65 secs
lola: 1824354 markings, 35732949 edges, 24076 markings/sec, 70 secs
lola: 1944055 markings, 38073767 edges, 23940 markings/sec, 75 secs
lola: 2063361 markings, 40406070 edges, 23861 markings/sec, 80 secs
lola: 2183613 markings, 42761893 edges, 24050 markings/sec, 85 secs
lola: 2305098 markings, 45142360 edges, 24297 markings/sec, 90 secs
lola: 2422717 markings, 47445356 edges, 23524 markings/sec, 95 secs
lola: 2542593 markings, 49794293 edges, 23975 markings/sec, 100 secs
lola: 2664584 markings, 52183515 edges, 24398 markings/sec, 105 secs
lola: 2785866 markings, 54555889 edges, 24256 markings/sec, 110 secs
lola: 2904387 markings, 56876477 edges, 23704 markings/sec, 115 secs
lola: 3024019 markings, 59216784 edges, 23926 markings/sec, 120 secs
lola: 3139507 markings, 61472961 edges, 23098 markings/sec, 125 secs
lola: 3258143 markings, 63796886 edges, 23727 markings/sec, 130 secs
lola: 3374458 markings, 66079368 edges, 23263 markings/sec, 135 secs
lola: 3494369 markings, 68427424 edges, 23982 markings/sec, 140 secs
lola: 3612471 markings, 70740956 edges, 23620 markings/sec, 145 secs
lola: 3730282 markings, 73047109 edges, 23562 markings/sec, 150 secs
lola: 3845101 markings, 75291161 edges, 22964 markings/sec, 155 secs
lola: 3964418 markings, 77623626 edges, 23863 markings/sec, 160 secs
lola: 4084115 markings, 79970980 edges, 23939 markings/sec, 165 secs
lola: 4200211 markings, 82247069 edges, 23219 markings/sec, 170 secs
lola: 4316160 markings, 84512686 edges, 23190 markings/sec, 175 secs
lola: 4430573 markings, 86747169 edges, 22883 markings/sec, 180 secs
lola: 4548046 markings, 89045245 edges, 23495 markings/sec, 185 secs
lola: 4667453 markings, 91381423 edges, 23881 markings/sec, 190 secs
lola: 4783907 markings, 93653010 edges, 23291 markings/sec, 195 secs
lola: 4902108 markings, 95964999 edges, 23640 markings/sec, 200 secs
lola: 5014755 markings, 98174544 edges, 22529 markings/sec, 205 secs
lola: 5138830 markings, 100611309 edges, 24815 markings/sec, 210 secs
lola: 5263417 markings, 103055861 edges, 24917 markings/sec, 215 secs
lola: 5387045 markings, 105480342 edges, 24726 markings/sec, 220 secs
lola: 5508310 markings, 107855051 edges, 24253 markings/sec, 225 secs
lola: 5628107 markings, 110203268 edges, 23959 markings/sec, 230 secs
lola: 5746931 markings, 112525671 edges, 23765 markings/sec, 235 secs
lola: 5862058 markings, 114779303 edges, 23025 markings/sec, 240 secs
lola: 5979317 markings, 117071997 edges, 23452 markings/sec, 245 secs
lola: 6088761 markings, 119208409 edges, 21889 markings/sec, 250 secs
lola: 6201014 markings, 121407484 edges, 22451 markings/sec, 255 secs
lola: 6317486 markings, 123684254 edges, 23294 markings/sec, 260 secs
lola: 6427978 markings, 125843627 edges, 22098 markings/sec, 265 secs
lola: 6536571 markings, 127963210 edges, 21719 markings/sec, 270 secs
lola: 6649867 markings, 130159871 edges, 22659 markings/sec, 275 secs
lola: 6764609 markings, 132405838 edges, 22948 markings/sec, 280 secs
lola: 6883725 markings, 134739146 edges, 23823 markings/sec, 285 secs
lola: 6997751 markings, 136971296 edges, 22805 markings/sec, 290 secs
lola: 7110990 markings, 139189868 edges, 22648 markings/sec, 295 secs
lola: 7226523 markings, 141455464 edges, 23107 markings/sec, 300 secs
lola: 7342348 markings, 143723596 edges, 23165 markings/sec, 305 secs
lola: 7454286 markings, 145910756 edges, 22388 markings/sec, 310 secs
lola: 7575909 markings, 148298177 edges, 24325 markings/sec, 315 secs
lola: 7696273 markings, 150659114 edges, 24073 markings/sec, 320 secs
lola: 7805111 markings, 152785612 edges, 21768 markings/sec, 325 secs
lola: 7915717 markings, 154951482 edges, 22121 markings/sec, 330 secs
lola: 8025506 markings, 157105565 edges, 21958 markings/sec, 335 secs
lola: 8131921 markings, 159194270 edges, 21283 markings/sec, 340 secs
lola: 8238330 markings, 161284927 edges, 21282 markings/sec, 345 secs
lola: 8343918 markings, 163355943 edges, 21118 markings/sec, 350 secs
lola: 8449405 markings, 165424225 edges, 21097 markings/sec, 355 secs
lola: 8563001 markings, 167653112 edges, 22719 markings/sec, 360 secs
lola: 8679345 markings, 169934967 edges, 23269 markings/sec, 365 secs
lola: 8794307 markings, 172179906 edges, 22992 markings/sec, 370 secs
lola: 8907586 markings, 174397134 edges, 22656 markings/sec, 375 secs
lola: 9022906 markings, 176650482 edges, 23064 markings/sec, 380 secs
lola: 9133634 markings, 178816783 edges, 22146 markings/sec, 385 secs
lola: 9247046 markings, 181035968 edges, 22682 markings/sec, 390 secs
lola: 9362532 markings, 183304660 edges, 23097 markings/sec, 395 secs
lola: 9477430 markings, 185555129 edges, 22980 markings/sec, 400 secs
lola: 9591091 markings, 187778308 edges, 22732 markings/sec, 405 secs
lola: 9701208 markings, 189936127 edges, 22023 markings/sec, 410 secs
lola: 9815328 markings, 192152058 edges, 22824 markings/sec, 415 secs
lola: 9928810 markings, 194369887 edges, 22696 markings/sec, 420 secs
lola: 10045543 markings, 196663159 edges, 23347 markings/sec, 425 secs
lola: 10161218 markings, 198928896 edges, 23135 markings/sec, 430 secs
lola: 10276987 markings, 201187655 edges, 23154 markings/sec, 435 secs
lola: 10387140 markings, 203348020 edges, 22031 markings/sec, 440 secs
lola: 10497129 markings, 205503440 edges, 21998 markings/sec, 445 secs
lola: 10609034 markings, 207693786 edges, 22381 markings/sec, 450 secs
lola: 10720284 markings, 209874332 edges, 22250 markings/sec, 455 secs
lola: 10833086 markings, 212074059 edges, 22560 markings/sec, 460 secs
lola: 10941019 markings, 214180095 edges, 21587 markings/sec, 465 secs
lola: 11050172 markings, 216318572 edges, 21831 markings/sec, 470 secs
lola: 11157421 markings, 218417061 edges, 21450 markings/sec, 475 secs
lola: 11266067 markings, 220544643 edges, 21729 markings/sec, 480 secs
lola: 11374910 markings, 222676455 edges, 21769 markings/sec, 485 secs
lola: 11487233 markings, 224874086 edges, 22465 markings/sec, 490 secs
lola: 11605030 markings, 227181740 edges, 23559 markings/sec, 495 secs
lola: 11712016 markings, 229275942 edges, 21397 markings/sec, 500 secs
lola: 11818163 markings, 231353948 edges, 21229 markings/sec, 505 secs
lola: 11924517 markings, 233430788 edges, 21271 markings/sec, 510 secs
lola: 12027975 markings, 235456437 edges, 20692 markings/sec, 515 secs
lola: 12130655 markings, 237465829 edges, 20536 markings/sec, 520 secs
lola: 12241508 markings, 239626775 edges, 22171 markings/sec, 525 secs
lola: 12352263 markings, 241790138 edges, 22151 markings/sec, 530 secs
lola: 12468335 markings, 244064477 edges, 23214 markings/sec, 535 secs
lola: 12587830 markings, 246408756 edges, 23899 markings/sec, 540 secs
lola: 12706184 markings, 248723148 edges, 23671 markings/sec, 545 secs
lola: 12823568 markings, 251020824 edges, 23477 markings/sec, 550 secs
lola: 12938531 markings, 253266162 edges, 22993 markings/sec, 555 secs
lola: 13054755 markings, 255525720 edges, 23245 markings/sec, 560 secs
lola: 13162634 markings, 257631914 edges, 21576 markings/sec, 565 secs
lola: 13271995 markings, 259763856 edges, 21872 markings/sec, 570 secs
lola: 13383739 markings, 261945934 edges, 22349 markings/sec, 575 secs
lola: 13489332 markings, 264013721 edges, 21119 markings/sec, 580 secs
lola: 13603876 markings, 266253777 edges, 22909 markings/sec, 585 secs
lola: 13716416 markings, 268445505 edges, 22508 markings/sec, 590 secs
lola: 13828107 markings, 270639009 edges, 22338 markings/sec, 595 secs
lola: 13935584 markings, 272745796 edges, 21495 markings/sec, 600 secs
lola: 14040611 markings, 274805263 edges, 21005 markings/sec, 605 secs
lola: 14144825 markings, 276847714 edges, 20843 markings/sec, 610 secs
lola: 14249985 markings, 278911798 edges, 21032 markings/sec, 615 secs
lola: 14356558 markings, 281003327 edges, 21315 markings/sec, 620 secs
lola: 14467150 markings, 283165974 edges, 22118 markings/sec, 625 secs
lola: 14583097 markings, 285432949 edges, 23189 markings/sec, 630 secs
lola: 14690070 markings, 287522343 edges, 21395 markings/sec, 635 secs
lola: 14795647 markings, 289584788 edges, 21115 markings/sec, 640 secs
lola: 14915449 markings, 291928860 edges, 23960 markings/sec, 645 secs
lola: 15028281 markings, 294131770 edges, 22566 markings/sec, 650 secs
lola: 15135593 markings, 296229008 edges, 21462 markings/sec, 655 secs
lola: 15248938 markings, 298451833 edges, 22669 markings/sec, 660 secs
lola: 15356537 markings, 300551116 edges, 21520 markings/sec, 665 secs
lola: 15472828 markings, 302828966 edges, 23258 markings/sec, 670 secs
lola: 15582764 markings, 304983369 edges, 21987 markings/sec, 675 secs
lola: 15692853 markings, 307128739 edges, 22018 markings/sec, 680 secs
lola: 15810857 markings, 309434165 edges, 23601 markings/sec, 685 secs
lola: 15927249 markings, 311715802 edges, 23278 markings/sec, 690 secs
lola: 16038927 markings, 313897390 edges, 22336 markings/sec, 695 secs
lola: 16149786 markings, 316059386 edges, 22172 markings/sec, 700 secs
lola: 16259945 markings, 318207331 edges, 22032 markings/sec, 705 secs
lola: 16381263 markings, 320590427 edges, 24264 markings/sec, 710 secs
lola: 16497730 markings, 322870388 edges, 23293 markings/sec, 715 secs
lola: 16616347 markings, 325194135 edges, 23723 markings/sec, 720 secs
lola: 16733364 markings, 327488815 edges, 23403 markings/sec, 725 secs
lola: 16850636 markings, 329784894 edges, 23454 markings/sec, 730 secs
lola: 16968964 markings, 332103117 edges, 23666 markings/sec, 735 secs
lola: 17080464 markings, 334282989 edges, 22300 markings/sec, 740 secs
lola: 17189994 markings, 336422072 edges, 21906 markings/sec, 745 secs
lola: 17299760 markings, 338574811 edges, 21953 markings/sec, 750 secs
lola: 17410069 markings, 340732977 edges, 22062 markings/sec, 755 secs
lola: 17518759 markings, 342857904 edges, 21738 markings/sec, 760 secs
lola: 17623435 markings, 344914120 edges, 20935 markings/sec, 765 secs
lola: 17725729 markings, 346919377 edges, 20459 markings/sec, 770 secs
lola: 17827509 markings, 348914253 edges, 20356 markings/sec, 775 secs
lola: 17935102 markings, 351012949 edges, 21519 markings/sec, 780 secs
lola: 18048946 markings, 353248884 edges, 22769 markings/sec, 785 secs
lola: 18161138 markings, 355445000 edges, 22438 markings/sec, 790 secs
lola: 18263706 markings, 357456384 edges, 20514 markings/sec, 795 secs
lola: 18366869 markings, 359480699 edges, 20633 markings/sec, 800 secs
lola: 18470102 markings, 361504469 edges, 20647 markings/sec, 805 secs
lola: 18573548 markings, 363529263 edges, 20689 markings/sec, 810 secs
lola: 18686149 markings, 365734081 edges, 22520 markings/sec, 815 secs
lola: 18799689 markings, 367958857 edges, 22708 markings/sec, 820 secs
lola: 18914211 markings, 370199354 edges, 22904 markings/sec, 825 secs
lola: 19021773 markings, 372296582 edges, 21512 markings/sec, 830 secs
lola: 19129427 markings, 374405672 edges, 21531 markings/sec, 835 secs
lola: 19238487 markings, 376537909 edges, 21812 markings/sec, 840 secs
lola: 19344411 markings, 378603737 edges, 21185 markings/sec, 845 secs
lola: 19451771 markings, 380698336 edges, 21472 markings/sec, 850 secs
lola: 19561466 markings, 382839640 edges, 21939 markings/sec, 855 secs
lola: 19670994 markings, 384986424 edges, 21906 markings/sec, 860 secs
lola: 19785450 markings, 387237242 edges, 22891 markings/sec, 865 secs
lola: 19894533 markings, 389369507 edges, 21817 markings/sec, 870 secs
lola: 20002011 markings, 391474086 edges, 21496 markings/sec, 875 secs
lola: 20114862 markings, 393686081 edges, 22570 markings/sec, 880 secs
lola: 20222595 markings, 395788533 edges, 21547 markings/sec, 885 secs
lola: 20323834 markings, 397775827 edges, 20248 markings/sec, 890 secs
lola: 20426172 markings, 399781344 edges, 20468 markings/sec, 895 secs
lola: 20533680 markings, 401885725 edges, 21502 markings/sec, 900 secs
lola: 20644839 markings, 404055917 edges, 22232 markings/sec, 905 secs
lola: 20752436 markings, 406152546 edges, 21519 markings/sec, 910 secs
lola: 20863956 markings, 408327840 edges, 22304 markings/sec, 915 secs
lola: 20978666 markings, 410571097 edges, 22942 markings/sec, 920 secs
lola: 21085727 markings, 412675420 edges, 21412 markings/sec, 925 secs
lola: 21190665 markings, 414734820 edges, 20988 markings/sec, 930 secs
lola: 21296352 markings, 416813127 edges, 21137 markings/sec, 935 secs
lola: 21413394 markings, 419094243 edges, 23408 markings/sec, 940 secs
lola: 21531639 markings, 421411685 edges, 23649 markings/sec, 945 secs
lola: 21651523 markings, 423754530 edges, 23977 markings/sec, 950 secs
lola: 21764866 markings, 425972549 edges, 22669 markings/sec, 955 secs
lola: 21875116 markings, 428118769 edges, 22050 markings/sec, 960 secs
lola: 21987199 markings, 430303468 edges, 22417 markings/sec, 965 secs
lola: 22098884 markings, 432485279 edges, 22337 markings/sec, 970 secs
lola: 22211920 markings, 434702842 edges, 22607 markings/sec, 975 secs
lola: 22330808 markings, 437034313 edges, 23778 markings/sec, 980 secs
lola: 22443701 markings, 439235362 edges, 22579 markings/sec, 985 secs
lola: 22550597 markings, 441312031 edges, 21379 markings/sec, 990 secs
lola: 22662033 markings, 443495254 edges, 22287 markings/sec, 995 secs
lola: 22770351 markings, 445608330 edges, 21664 markings/sec, 1000 secs
lola: 22876687 markings, 447677606 edges, 21267 markings/sec, 1005 secs
lola: 22981210 markings, 449718197 edges, 20905 markings/sec, 1010 secs
lola: 23084982 markings, 451752470 edges, 20754 markings/sec, 1015 secs
lola: 23192104 markings, 453852902 edges, 21424 markings/sec, 1020 secs
lola: 23299946 markings, 455960643 edges, 21568 markings/sec, 1025 secs
lola: 23415379 markings, 458224608 edges, 23087 markings/sec, 1030 secs
lola: 23521603 markings, 460300567 edges, 21245 markings/sec, 1035 secs
lola: 23623278 markings, 462293212 edges, 20335 markings/sec, 1040 secs
lola: 23732733 markings, 464440443 edges, 21891 markings/sec, 1045 secs
lola: 23840821 markings, 466566335 edges, 21618 markings/sec, 1050 secs
lola: 23946776 markings, 468645332 edges, 21191 markings/sec, 1055 secs
lola: 24053278 markings, 470735035 edges, 21300 markings/sec, 1060 secs
lola: 24158680 markings, 472804953 edges, 21080 markings/sec, 1065 secs
lola: 24262464 markings, 474838056 edges, 20757 markings/sec, 1070 secs
lola: 24366961 markings, 476885362 edges, 20899 markings/sec, 1075 secs
lola: 24466445 markings, 478838237 edges, 19897 markings/sec, 1080 secs
lola: 24567671 markings, 480823828 edges, 20245 markings/sec, 1085 secs
lola: 24670616 markings, 482841538 edges, 20589 markings/sec, 1090 secs
lola: 24772868 markings, 484853225 edges, 20450 markings/sec, 1095 secs
lola: 24874367 markings, 486846283 edges, 20300 markings/sec, 1100 secs
lola: 24977383 markings, 488854926 edges, 20603 markings/sec, 1105 secs
lola: 25079608 markings, 490855013 edges, 20445 markings/sec, 1110 secs
lola: 25182063 markings, 492861883 edges, 20491 markings/sec, 1115 secs
lola: 25289930 markings, 494982519 edges, 21573 markings/sec, 1120 secs
lola: 25395954 markings, 497059466 edges, 21205 markings/sec, 1125 secs
lola: 25508224 markings, 499259000 edges, 22454 markings/sec, 1130 secs
lola: 25613610 markings, 501328905 edges, 21077 markings/sec, 1135 secs
lola: 25718910 markings, 503395493 edges, 21060 markings/sec, 1140 secs
lola: 25821790 markings, 505412674 edges, 20576 markings/sec, 1145 secs
lola: 25924403 markings, 507423012 edges, 20523 markings/sec, 1150 secs
lola: 26028084 markings, 509456447 edges, 20736 markings/sec, 1155 secs
lola: 26128746 markings, 511432271 edges, 20132 markings/sec, 1160 secs
lola: 26229624 markings, 513410842 edges, 20176 markings/sec, 1165 secs
lola: 26330262 markings, 515383894 edges, 20128 markings/sec, 1170 secs
lola: 26432672 markings, 517392185 edges, 20482 markings/sec, 1175 secs
lola: 26533354 markings, 519363277 edges, 20136 markings/sec, 1180 secs
lola: 26635511 markings, 521368216 edges, 20431 markings/sec, 1185 secs
lola: 26740839 markings, 523480226 edges, 21066 markings/sec, 1190 secs
lola: 26843609 markings, 525540600 edges, 20554 markings/sec, 1195 secs
lola: 26946620 markings, 527588390 edges, 20602 markings/sec, 1200 secs
lola: 27063144 markings, 529873968 edges, 23305 markings/sec, 1205 secs
lola: 27176238 markings, 532078882 edges, 22619 markings/sec, 1210 secs
lola: 27285015 markings, 534202407 edges, 21755 markings/sec, 1215 secs
lola: 27399941 markings, 536436618 edges, 22985 markings/sec, 1220 secs
lola: 27510144 markings, 538589101 edges, 22041 markings/sec, 1225 secs
lola: 27626473 markings, 540869262 edges, 23266 markings/sec, 1230 secs
lola: 27739048 markings, 543073604 edges, 22515 markings/sec, 1235 secs
lola: 27850025 markings, 545240687 edges, 22195 markings/sec, 1240 secs
lola: 27957946 markings, 547360230 edges, 21584 markings/sec, 1245 secs
lola: 28058657 markings, 549326427 edges, 20142 markings/sec, 1250 secs
lola: 28162880 markings, 551362190 edges, 20845 markings/sec, 1255 secs
lola: 28273128 markings, 553518879 edges, 22050 markings/sec, 1260 secs
lola: 28381721 markings, 555638918 edges, 21719 markings/sec, 1265 secs
lola: 28492172 markings, 557795060 edges, 22090 markings/sec, 1270 secs
lola: 28602869 markings, 559956757 edges, 22139 markings/sec, 1275 secs
lola: 28716300 markings, 562178316 edges, 22686 markings/sec, 1280 secs
lola: 28827003 markings, 564346248 edges, 22141 markings/sec, 1285 secs
lola: 28947495 markings, 566708454 edges, 24098 markings/sec, 1290 secs
lola: 29066475 markings, 569042778 edges, 23796 markings/sec, 1295 secs
lola: 29178654 markings, 571242540 edges, 22436 markings/sec, 1300 secs
lola: 29293937 markings, 573497668 edges, 23057 markings/sec, 1305 secs
lola: 29401385 markings, 575597977 edges, 21490 markings/sec, 1310 secs
lola: 29507360 markings, 577664705 edges, 21195 markings/sec, 1315 secs
lola: 29618690 markings, 579838466 edges, 22266 markings/sec, 1320 secs
lola: 29730193 markings, 582007746 edges, 22301 markings/sec, 1325 secs
lola: 29839580 markings, 584141060 edges, 21877 markings/sec, 1330 secs
lola: 29946747 markings, 586231359 edges, 21433 markings/sec, 1335 secs
lola: 30056333 markings, 588371703 edges, 21917 markings/sec, 1340 secs
lola: 30167304 markings, 590529643 edges, 22194 markings/sec, 1345 secs
lola: 30277117 markings, 592677663 edges, 21963 markings/sec, 1350 secs
lola: 30382791 markings, 594736858 edges, 21135 markings/sec, 1355 secs
lola: 30491690 markings, 596856340 edges, 21780 markings/sec, 1360 secs
lola: 30597430 markings, 598918209 edges, 21148 markings/sec, 1365 secs
lola: 30705909 markings, 601030982 edges, 21696 markings/sec, 1370 secs
lola: 30813903 markings, 603138667 edges, 21599 markings/sec, 1375 secs
lola: 30926151 markings, 605337730 edges, 22450 markings/sec, 1380 secs
lola: 31038683 markings, 607537718 edges, 22506 markings/sec, 1385 secs
lola: 31150516 markings, 609729547 edges, 22367 markings/sec, 1390 secs
lola: 31266136 markings, 611997553 edges, 23124 markings/sec, 1395 secs
lola: 31379829 markings, 614220728 edges, 22739 markings/sec, 1400 secs
lola: 31494639 markings, 616467061 edges, 22962 markings/sec, 1405 secs
lola: 31608009 markings, 618692153 edges, 22674 markings/sec, 1410 secs
lola: 31718795 markings, 620857703 edges, 22157 markings/sec, 1415 secs
lola: 31820125 markings, 622837377 edges, 20266 markings/sec, 1420 secs
lola: 31919656 markings, 624786556 edges, 19906 markings/sec, 1425 secs
lola: 32020626 markings, 626763663 edges, 20194 markings/sec, 1430 secs
lola: 32128068 markings, 628866208 edges, 21488 markings/sec, 1435 secs
lola: 32233187 markings, 630915590 edges, 21024 markings/sec, 1440 secs
lola: 32339727 markings, 633001619 edges, 21308 markings/sec, 1445 secs
lola: 32444366 markings, 635051050 edges, 20928 markings/sec, 1450 secs
lola: 32547323 markings, 637069020 edges, 20591 markings/sec, 1455 secs
lola: 32649990 markings, 639081851 edges, 20533 markings/sec, 1460 secs
lola: 32750596 markings, 641054212 edges, 20121 markings/sec, 1465 secs
lola: 32847767 markings, 642952886 edges, 19434 markings/sec, 1470 secs
lola: 32944128 markings, 644841057 edges, 19272 markings/sec, 1475 secs
lola: 33042142 markings, 646765455 edges, 19603 markings/sec, 1480 secs
lola: 33144068 markings, 648767058 edges, 20385 markings/sec, 1485 secs
lola: 33247663 markings, 650799997 edges, 20719 markings/sec, 1490 secs
lola: 33350696 markings, 652820551 edges, 20607 markings/sec, 1495 secs
lola: 33462393 markings, 655012297 edges, 22339 markings/sec, 1500 secs
lola: 33566937 markings, 657045379 edges, 20909 markings/sec, 1505 secs
lola: 33675139 markings, 659163621 edges, 21640 markings/sec, 1510 secs
lola: 33777131 markings, 661154853 edges, 20398 markings/sec, 1515 secs
lola: 33887044 markings, 663293609 edges, 21983 markings/sec, 1520 secs
lola: 34004675 markings, 665604021 edges, 23526 markings/sec, 1525 secs
lola: 34115349 markings, 667772721 edges, 22135 markings/sec, 1530 secs
lola: 34224768 markings, 669907963 edges, 21884 markings/sec, 1535 secs
lola: 34333441 markings, 672036858 edges, 21735 markings/sec, 1540 secs
lola: 34440466 markings, 674135124 edges, 21405 markings/sec, 1545 secs
lola: 34540462 markings, 676092536 edges, 19999 markings/sec, 1550 secs
lola: 34640168 markings, 678047606 edges, 19941 markings/sec, 1555 secs
lola: 34743857 markings, 680080666 edges, 20738 markings/sec, 1560 secs
lola: 34851663 markings, 682189051 edges, 21561 markings/sec, 1565 secs
lola: 34954696 markings, 684205568 edges, 20607 markings/sec, 1570 secs
lola: 35061234 markings, 686283162 edges, 21308 markings/sec, 1575 secs
lola: 35168318 markings, 688375656 edges, 21417 markings/sec, 1580 secs
lola: 35278919 markings, 690550152 edges, 22120 markings/sec, 1585 secs
lola: 35387598 markings, 692678500 edges, 21736 markings/sec, 1590 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown no unknown no no yes no no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown no unknown no no yes no no unknown no
lola: memory consumption: 10443972 KB
lola: time consumption: 1970 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown no unknown no no yes no no unknown no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no unknown no unknown no no yes no no unknown no
lola: memory consumption: 10444192 KB
lola: time consumption: 1971 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 1598 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (F ((G (((p88 <= 0) OR (p174 <= 0))) R ((p107 <= 0) OR (p269 <= 0))))) OR G (((p97 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 1598 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p97 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p97 <= 0)))
lola: processed formula length: 16
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 175 markings, 3121 edges
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: ========================================
lola: ...considering subproblem: (G (F ((X (G ((((p48 <= 0)) AND ((p115 <= 0) OR (p288 <= 0))))) OR (((p106 <= 0)) OR ((p276 <= 0)))))) OR ((1 <= p96) AND (1 <= p184)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: ((1 <= p96) AND (1 <= p184))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p96) AND (1 <= p184))
lola: processed formula length: 28
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 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: ========================================
lola: ...considering subproblem: G (F ((X (G ((((p48 <= 0)) AND ((p115 <= 0) OR (p288 <= 0))))) OR (((p106 <= 0)) OR ((p276 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((X (G ((((p48 <= 0)) AND ((p115 <= 0) OR (p288 <= 0))))) OR (((p106 <= 0)) OR ((p276 <= 0))))))
lola: processed formula length: 102
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 89644 markings, 2507986 edges, 17929 markings/sec, 0 secs
lola: 175006 markings, 4966932 edges, 17072 markings/sec, 5 secs
lola: 263020 markings, 7500527 edges, 17603 markings/sec, 10 secs
lola: 350325 markings, 9986537 edges, 17461 markings/sec, 15 secs
lola: 434940 markings, 12421770 edges, 16923 markings/sec, 20 secs
lola: 519117 markings, 14797177 edges, 16835 markings/sec, 25 secs
lola: 600074 markings, 17163765 edges, 16191 markings/sec, 30 secs
lola: 682418 markings, 19537005 edges, 16469 markings/sec, 35 secs
lola: 769777 markings, 21957851 edges, 17472 markings/sec, 40 secs
lola: 854711 markings, 24402047 edges, 16987 markings/sec, 45 secs
lola: 935017 markings, 26756695 edges, 16061 markings/sec, 50 secs
lola: 1017384 markings, 29152010 edges, 16473 markings/sec, 55 secs
lola: 1094926 markings, 31514816 edges, 15508 markings/sec, 60 secs
lola: 1172867 markings, 33849970 edges, 15588 markings/sec, 65 secs
lola: 1250741 markings, 36198565 edges, 15575 markings/sec, 70 secs
lola: 1330185 markings, 38544136 edges, 15889 markings/sec, 75 secs
lola: 1409894 markings, 40906230 edges, 15942 markings/sec, 80 secs
lola: 1488654 markings, 43259772 edges, 15752 markings/sec, 85 secs
lola: 1567927 markings, 45610998 edges, 15855 markings/sec, 90 secs
lola: 1647508 markings, 47966066 edges, 15916 markings/sec, 95 secs
lola: 1725884 markings, 50313715 edges, 15675 markings/sec, 100 secs
lola: 1806998 markings, 52664967 edges, 16223 markings/sec, 105 secs
lola: 1897965 markings, 55057251 edges, 18193 markings/sec, 110 secs
lola: 1975052 markings, 57393348 edges, 15417 markings/sec, 115 secs
lola: 2053442 markings, 59747137 edges, 15678 markings/sec, 120 secs
lola: 2134660 markings, 62097787 edges, 16244 markings/sec, 125 secs
lola: 2216920 markings, 64411732 edges, 16452 markings/sec, 130 secs
lola: 2294851 markings, 66695801 edges, 15586 markings/sec, 135 secs
lola: 2373335 markings, 68975691 edges, 15697 markings/sec, 140 secs
lola: 2449345 markings, 71243977 edges, 15202 markings/sec, 145 secs
lola: 2529977 markings, 73607714 edges, 16126 markings/sec, 150 secs
lola: 2626316 markings, 76096649 edges, 19268 markings/sec, 155 secs
lola: 2713549 markings, 78609481 edges, 17447 markings/sec, 160 secs
lola: 2799597 markings, 80929612 edges, 17210 markings/sec, 165 secs
lola: 2878744 markings, 83202670 edges, 15829 markings/sec, 170 secs
lola: 2957420 markings, 85459823 edges, 15735 markings/sec, 175 secs
lola: 3038336 markings, 87753143 edges, 16183 markings/sec, 180 secs
lola: 3112439 markings, 89995920 edges, 14821 markings/sec, 185 secs
lola: 3191708 markings, 92270304 edges, 15854 markings/sec, 190 secs
lola: 3264700 markings, 94455454 edges, 14598 markings/sec, 195 secs
lola: 3340014 markings, 96673120 edges, 15063 markings/sec, 200 secs
lola: 3413466 markings, 98884239 edges, 14690 markings/sec, 205 secs
lola: 3487458 markings, 101090109 edges, 14798 markings/sec, 210 secs
lola: 3558949 markings, 103295847 edges, 14298 markings/sec, 215 secs
lola: 3632529 markings, 105521567 edges, 14716 markings/sec, 220 secs
lola: 3706719 markings, 107751390 edges, 14838 markings/sec, 225 secs
lola: 3784035 markings, 109999669 edges, 15463 markings/sec, 230 secs
lola: 3858576 markings, 112251992 edges, 14908 markings/sec, 235 secs
lola: 3936518 markings, 114536958 edges, 15588 markings/sec, 240 secs
lola: 4009695 markings, 116751700 edges, 14635 markings/sec, 245 secs
lola: 4084552 markings, 118982278 edges, 14971 markings/sec, 250 secs
lola: 4168385 markings, 121339432 edges, 16767 markings/sec, 255 secs
lola: 4246411 markings, 123622793 edges, 15605 markings/sec, 260 secs
lola: 4323517 markings, 125879383 edges, 15421 markings/sec, 265 secs
lola: 4401987 markings, 128126623 edges, 15694 markings/sec, 270 secs
lola: 4478206 markings, 130369917 edges, 15244 markings/sec, 275 secs
lola: 4558680 markings, 132587427 edges, 16095 markings/sec, 280 secs
lola: 4636827 markings, 134845896 edges, 15629 markings/sec, 285 secs
lola: 4709234 markings, 137027976 edges, 14481 markings/sec, 290 secs
lola: 4785278 markings, 139233088 edges, 15209 markings/sec, 295 secs
lola: 4865157 markings, 141504632 edges, 15976 markings/sec, 300 secs
lola: 4937663 markings, 143746864 edges, 14501 markings/sec, 305 secs
lola: 5013613 markings, 146031021 edges, 15190 markings/sec, 310 secs
lola: 5095807 markings, 148380305 edges, 16439 markings/sec, 315 secs
lola: 5169427 markings, 150609211 edges, 14724 markings/sec, 320 secs
lola: 5242690 markings, 152844526 edges, 14653 markings/sec, 325 secs
lola: 5318080 markings, 155071708 edges, 15078 markings/sec, 330 secs
lola: 5404954 markings, 157531525 edges, 17375 markings/sec, 335 secs
lola: 5498479 markings, 159979152 edges, 18705 markings/sec, 340 secs
lola: 5579959 markings, 162377134 edges, 16296 markings/sec, 345 secs
lola: 5659664 markings, 164692171 edges, 15941 markings/sec, 350 secs
lola: 5736973 markings, 166967293 edges, 15462 markings/sec, 355 secs
lola: 5808049 markings, 169144605 edges, 14215 markings/sec, 360 secs
lola: 5884375 markings, 171382952 edges, 15265 markings/sec, 365 secs
lola: 5958387 markings, 173593844 edges, 14802 markings/sec, 370 secs
lola: 6030718 markings, 175808728 edges, 14466 markings/sec, 375 secs
lola: 6110782 markings, 178151951 edges, 16013 markings/sec, 380 secs
lola: 6196097 markings, 180524838 edges, 17063 markings/sec, 385 secs
lola: 6277391 markings, 182910543 edges, 16259 markings/sec, 390 secs
lola: 6359499 markings, 185345949 edges, 16422 markings/sec, 395 secs
lola: 6440753 markings, 187742944 edges, 16251 markings/sec, 400 secs
lola: 6531132 markings, 190228137 edges, 18076 markings/sec, 405 secs
lola: 6613512 markings, 192643737 edges, 16476 markings/sec, 410 secs
lola: 6696367 markings, 195073025 edges, 16571 markings/sec, 415 secs
lola: 6774806 markings, 197436191 edges, 15688 markings/sec, 420 secs
lola: 6857365 markings, 199833317 edges, 16512 markings/sec, 425 secs
lola: 6944955 markings, 202260177 edges, 17518 markings/sec, 430 secs
lola: 7021755 markings, 204613871 edges, 15360 markings/sec, 435 secs
lola: 7108965 markings, 207017855 edges, 17442 markings/sec, 440 secs
lola: 7196960 markings, 209447817 edges, 17599 markings/sec, 445 secs
lola: 7278583 markings, 211841887 edges, 16325 markings/sec, 450 secs
lola: 7365927 markings, 214213694 edges, 17469 markings/sec, 455 secs
lola: 7443291 markings, 216554124 edges, 15473 markings/sec, 460 secs
lola: 7522084 markings, 218942723 edges, 15759 markings/sec, 465 secs
lola: 7609117 markings, 221298070 edges, 17407 markings/sec, 470 secs
lola: 7685457 markings, 223625851 edges, 15268 markings/sec, 475 secs
lola: 7765283 markings, 225934509 edges, 15965 markings/sec, 480 secs
lola: 7847488 markings, 228327305 edges, 16441 markings/sec, 485 secs
lola: 7929858 markings, 230684141 edges, 16474 markings/sec, 490 secs
lola: 8007357 markings, 233044526 edges, 15500 markings/sec, 495 secs
lola: 8085644 markings, 235376729 edges, 15657 markings/sec, 500 secs
lola: 8162447 markings, 237683541 edges, 15361 markings/sec, 505 secs
lola: 8240521 markings, 240031986 edges, 15615 markings/sec, 510 secs
lola: 8319557 markings, 242351871 edges, 15807 markings/sec, 515 secs
lola: 8404139 markings, 244734969 edges, 16916 markings/sec, 520 secs
lola: 8492776 markings, 247124804 edges, 17727 markings/sec, 525 secs
lola: 8571235 markings, 249478871 edges, 15692 markings/sec, 530 secs
lola: 8624299 markings, 251121466 edges, 10613 markings/sec, 535 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 8624299 markings, 251121466 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ========================================
lola: ...considering subproblem: ((((G (F (((1 <= p118) AND (1 <= p286)))) AND (((1 <= p91)) AND ((1 <= p268)))) OR ((1 <= p91) AND (1 <= p268))) U ((1 <= p128) AND (1 <= p206))) OR G (((p123 <= 0) OR (p206 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: G (((p123 <= 0) OR (p206 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p123 <= 0) OR (p206 <= 0)))
lola: processed formula length: 33
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 127035 markings, 2491539 edges, 25407 markings/sec, 0 secs
lola: 252047 markings, 4943241 edges, 25002 markings/sec, 5 secs
lola: 375295 markings, 7355531 edges, 24650 markings/sec, 10 secs
lola: 497876 markings, 9759483 edges, 24516 markings/sec, 15 secs
lola: 618865 markings, 12129787 edges, 24198 markings/sec, 20 secs
lola: 740021 markings, 14504641 edges, 24231 markings/sec, 25 secs
lola: 860208 markings, 16856981 edges, 24037 markings/sec, 30 secs
lola: 980030 markings, 19198550 edges, 23964 markings/sec, 35 secs
lola: 1101466 markings, 21568535 edges, 24287 markings/sec, 40 secs
lola: 1222143 markings, 23939008 edges, 24135 markings/sec, 45 secs
lola: 1342507 markings, 26294042 edges, 24073 markings/sec, 50 secs
lola: 1462741 markings, 28648262 edges, 24047 markings/sec, 55 secs
lola: 1579306 markings, 30930765 edges, 23313 markings/sec, 60 secs
lola: 1700801 markings, 33312231 edges, 24299 markings/sec, 65 secs
lola: 1819924 markings, 35646150 edges, 23825 markings/sec, 70 secs
lola: 1938098 markings, 37956112 edges, 23635 markings/sec, 75 secs
lola: 2056772 markings, 40277568 edges, 23735 markings/sec, 80 secs
lola: 2175508 markings, 42603356 edges, 23747 markings/sec, 85 secs
lola: 2296074 markings, 44968065 edges, 24113 markings/sec, 90 secs
lola: 2412808 markings, 47250892 edges, 23347 markings/sec, 95 secs
lola: 2530916 markings, 49566163 edges, 23622 markings/sec, 100 secs
lola: 2650714 markings, 51911372 edges, 23960 markings/sec, 105 secs
lola: 2772804 markings, 54300444 edges, 24418 markings/sec, 110 secs
lola: 2889315 markings, 56580938 edges, 23302 markings/sec, 115 secs
lola: 3010014 markings, 58944381 edges, 24140 markings/sec, 120 secs
lola: 3124425 markings, 61178504 edges, 22882 markings/sec, 125 secs
lola: 3241416 markings, 63469771 edges, 23398 markings/sec, 130 secs
lola: 3357284 markings, 65741142 edges, 23174 markings/sec, 135 secs
lola: 3475072 markings, 68050521 edges, 23558 markings/sec, 140 secs
lola: 3591892 markings, 70337349 edges, 23364 markings/sec, 145 secs
lola: 3709350 markings, 72639134 edges, 23492 markings/sec, 150 secs
lola: 3823333 markings, 74865081 edges, 22797 markings/sec, 155 secs
lola: 3940582 markings, 77161824 edges, 23450 markings/sec, 160 secs
lola: 4059284 markings, 79482365 edges, 23740 markings/sec, 165 secs
lola: 4178088 markings, 81812929 edges, 23761 markings/sec, 170 secs
lola: 4293222 markings, 84062873 edges, 23027 markings/sec, 175 secs
lola: 4407565 markings, 86297174 edges, 22869 markings/sec, 180 secs
lola: 4524417 markings, 88581167 edges, 23370 markings/sec, 185 secs
lola: 4644577 markings, 90934371 edges, 24032 markings/sec, 190 secs
lola: 4759725 markings, 93177457 edges, 23030 markings/sec, 195 secs
lola: 4878415 markings, 95503763 edges, 23738 markings/sec, 200 secs
lola: 4991839 markings, 97726535 edges, 22685 markings/sec, 205 secs
lola: 5113319 markings, 100109895 edges, 24296 markings/sec, 210 secs
lola: 5235793 markings, 102513089 edges, 24495 markings/sec, 215 secs
lola: 5360580 markings, 104960296 edges, 24957 markings/sec, 220 secs
lola: 5481662 markings, 107333725 edges, 24216 markings/sec, 225 secs
lola: 5602393 markings, 109698992 edges, 24146 markings/sec, 230 secs
lola: 5722494 markings, 112048610 edges, 24020 markings/sec, 235 secs
lola: 5839128 markings, 114331795 edges, 23327 markings/sec, 240 secs
lola: 5956808 markings, 116632700 edges, 23536 markings/sec, 245 secs
lola: 6068234 markings, 118808414 edges, 22285 markings/sec, 250 secs
lola: 6180763 markings, 121008758 edges, 22506 markings/sec, 255 secs
lola: 6298306 markings, 123309310 edges, 23509 markings/sec, 260 secs
lola: 6412314 markings, 125539034 edges, 22802 markings/sec, 265 secs
lola: 6522981 markings, 127696708 edges, 22133 markings/sec, 270 secs
lola: 6638831 markings, 129942951 edges, 23170 markings/sec, 275 secs
lola: 6751010 markings, 132141673 edges, 22436 markings/sec, 280 secs
lola: 6868347 markings, 134438269 edges, 23467 markings/sec, 285 secs
lola: 6983787 markings, 136699317 edges, 23088 markings/sec, 290 secs
lola: 7096032 markings, 138895558 edges, 22449 markings/sec, 295 secs
lola: 7213969 markings, 141208808 edges, 23587 markings/sec, 300 secs
lola: 7329719 markings, 143475631 edges, 23150 markings/sec, 305 secs
lola: 7443587 markings, 145701125 edges, 22774 markings/sec, 310 secs
lola: 7561079 markings, 148007477 edges, 23498 markings/sec, 315 secs
lola: 7682906 markings, 150397380 edges, 24365 markings/sec, 320 secs
lola: 7790425 markings, 152498453 edges, 21504 markings/sec, 325 secs
lola: 7900368 markings, 154649132 edges, 21989 markings/sec, 330 secs
lola: 8011958 markings, 156839603 edges, 22318 markings/sec, 335 secs
lola: 8119873 markings, 158957371 edges, 21583 markings/sec, 340 secs
lola: 8227470 markings, 161070861 edges, 21519 markings/sec, 345 secs
lola: 8334620 markings, 163174287 edges, 21430 markings/sec, 350 secs
lola: 8440512 markings, 165249246 edges, 21178 markings/sec, 355 secs
lola: 8552727 markings, 167450946 edges, 22443 markings/sec, 360 secs
lola: 8671064 markings, 169772146 edges, 23667 markings/sec, 365 secs
lola: 8783411 markings, 171965633 edges, 22469 markings/sec, 370 secs
lola: 8895064 markings, 174152295 edges, 22331 markings/sec, 375 secs
lola: 9011483 markings, 176426176 edges, 23284 markings/sec, 380 secs
lola: 9118696 markings, 178524933 edges, 21443 markings/sec, 385 secs
lola: 9228818 markings, 180677363 edges, 22024 markings/sec, 390 secs
lola: 9345177 markings, 182964338 edges, 23272 markings/sec, 395 secs
lola: 9459430 markings, 185202495 edges, 22851 markings/sec, 400 secs
lola: 9573432 markings, 187431164 edges, 22800 markings/sec, 405 secs
lola: 9685197 markings, 189622932 edges, 22353 markings/sec, 410 secs
lola: 9798922 markings, 191834029 edges, 22745 markings/sec, 415 secs
lola: 9911192 markings, 194024983 edges, 22454 markings/sec, 420 secs
lola: 10027731 markings, 196312925 edges, 23308 markings/sec, 425 secs
lola: 10142343 markings, 198556770 edges, 22922 markings/sec, 430 secs
lola: 10256707 markings, 200791580 edges, 22873 markings/sec, 435 secs
lola: 10368631 markings, 202988116 edges, 22385 markings/sec, 440 secs
lola: 10479041 markings, 205150327 edges, 22082 markings/sec, 445 secs
lola: 10589547 markings, 207311477 edges, 22101 markings/sec, 450 secs
lola: 10704312 markings, 209560842 edges, 22953 markings/sec, 455 secs
lola: 10815850 markings, 211736571 edges, 22308 markings/sec, 460 secs
lola: 10925249 markings, 213870420 edges, 21880 markings/sec, 465 secs
lola: 11035083 markings, 216022878 edges, 21967 markings/sec, 470 secs
lola: 11142440 markings, 218124016 edges, 21471 markings/sec, 475 secs
lola: 11251148 markings, 220251488 edges, 21742 markings/sec, 480 secs
lola: 11360393 markings, 222391942 edges, 21849 markings/sec, 485 secs
lola: 11472611 markings, 224587492 edges, 22444 markings/sec, 490 secs
lola: 11589605 markings, 226880031 edges, 23399 markings/sec, 495 secs
lola: 11697482 markings, 228991328 edges, 21575 markings/sec, 500 secs
lola: 11802514 markings, 231046872 edges, 21006 markings/sec, 505 secs
lola: 11910333 markings, 233153649 edges, 21564 markings/sec, 510 secs
lola: 12012568 markings, 235154109 edges, 20447 markings/sec, 515 secs
lola: 12114894 markings, 237158123 edges, 20465 markings/sec, 520 secs
lola: 12224172 markings, 239286547 edges, 21856 markings/sec, 525 secs
lola: 12331402 markings, 241383772 edges, 21446 markings/sec, 530 secs
lola: 12444700 markings, 243599397 edges, 22660 markings/sec, 535 secs
lola: 12564442 markings, 245949067 edges, 23948 markings/sec, 540 secs
lola: 12682332 markings, 248256659 edges, 23578 markings/sec, 545 secs
lola: 12800076 markings, 250560376 edges, 23549 markings/sec, 550 secs
lola: 12914544 markings, 252796234 edges, 22894 markings/sec, 555 secs
lola: 13029948 markings, 255042050 edges, 23081 markings/sec, 560 secs
lola: 13137723 markings, 257145141 edges, 21555 markings/sec, 565 secs
lola: 13245820 markings, 259253104 edges, 21619 markings/sec, 570 secs
lola: 13359149 markings, 261463197 edges, 22666 markings/sec, 575 secs
lola: 13463542 markings, 263507592 edges, 20879 markings/sec, 580 secs
lola: 13576003 markings, 265706229 edges, 22492 markings/sec, 585 secs
lola: 13687680 markings, 267886734 edges, 22335 markings/sec, 590 secs
lola: 13800338 markings, 270092304 edges, 22532 markings/sec, 595 secs
lola: 13907896 markings, 272203064 edges, 21512 markings/sec, 600 secs
lola: 14013230 markings, 274268661 edges, 21067 markings/sec, 605 secs
lola: 14116190 markings, 276287391 edges, 20592 markings/sec, 610 secs
lola: 14221969 markings, 278360804 edges, 21156 markings/sec, 615 secs
lola: 14325729 markings, 280400084 edges, 20752 markings/sec, 620 secs
lola: 14438190 markings, 282600394 edges, 22492 markings/sec, 625 secs
lola: 14551846 markings, 284821677 edges, 22731 markings/sec, 630 secs
lola: 14660618 markings, 286947194 edges, 21754 markings/sec, 635 secs
lola: 14768792 markings, 289061200 edges, 21635 markings/sec, 640 secs
lola: 14883947 markings, 291309928 edges, 23031 markings/sec, 645 secs
lola: 14999742 markings, 293573305 edges, 23159 markings/sec, 650 secs
lola: 15109734 markings, 295723625 edges, 21998 markings/sec, 655 secs
lola: 15219702 markings, 297878065 edges, 21994 markings/sec, 660 secs
lola: 15329699 markings, 300026058 edges, 21999 markings/sec, 665 secs
lola: 15440727 markings, 302201561 edges, 22206 markings/sec, 670 secs
lola: 15554195 markings, 304425118 edges, 22694 markings/sec, 675 secs
lola: 15664379 markings, 306574726 edges, 22037 markings/sec, 680 secs
lola: 15780784 markings, 308842970 edges, 23281 markings/sec, 685 secs
lola: 15898266 markings, 311150976 edges, 23496 markings/sec, 690 secs
lola: 16009673 markings, 313324518 edges, 22281 markings/sec, 695 secs
lola: 16121801 markings, 315517483 edges, 22426 markings/sec, 700 secs
lola: 16230604 markings, 317639545 edges, 21761 markings/sec, 705 secs
lola: 16348049 markings, 319938143 edges, 23489 markings/sec, 710 secs
lola: 16464059 markings, 322214111 edges, 23202 markings/sec, 715 secs
lola: 16578168 markings, 324445468 edges, 22822 markings/sec, 720 secs
lola: 16696657 markings, 326771826 edges, 23698 markings/sec, 725 secs
lola: 16812430 markings, 329035271 edges, 23155 markings/sec, 730 secs
lola: 16927414 markings, 331290611 edges, 22997 markings/sec, 735 secs
lola: 17038912 markings, 333469266 edges, 22300 markings/sec, 740 secs
lola: 17148399 markings, 335610934 edges, 21897 markings/sec, 745 secs
lola: 17256770 markings, 337729872 edges, 21674 markings/sec, 750 secs
lola: 17367884 markings, 339911776 edges, 22223 markings/sec, 755 secs
lola: 17478356 markings, 342066795 edges, 22094 markings/sec, 760 secs
lola: 17583184 markings, 344123176 edges, 20966 markings/sec, 765 secs
lola: 17684019 markings, 346101609 edges, 20167 markings/sec, 770 secs
lola: 17785868 markings, 348097234 edges, 20370 markings/sec, 775 secs
lola: 17888966 markings, 350117211 edges, 20620 markings/sec, 780 secs
lola: 17999975 markings, 352288274 edges, 22202 markings/sec, 785 secs
lola: 18116101 markings, 354564007 edges, 23225 markings/sec, 790 secs
lola: 18220324 markings, 356602933 edges, 20845 markings/sec, 795 secs
lola: 18323199 markings, 358624271 edges, 20575 markings/sec, 800 secs
lola: 18425981 markings, 360640110 edges, 20556 markings/sec, 805 secs
lola: 18527469 markings, 362632402 edges, 20298 markings/sec, 810 secs
lola: 18636950 markings, 364773115 edges, 21896 markings/sec, 815 secs
lola: 18745842 markings, 366899510 edges, 21778 markings/sec, 820 secs
lola: 18859754 markings, 369130517 edges, 22782 markings/sec, 825 secs
lola: 18971130 markings, 371311123 edges, 22275 markings/sec, 830 secs
lola: 19077595 markings, 373389344 edges, 21293 markings/sec, 835 secs
lola: 19186117 markings, 375513424 edges, 21704 markings/sec, 840 secs
lola: 19293365 markings, 377608453 edges, 21450 markings/sec, 845 secs
lola: 19399443 markings, 379680157 edges, 21216 markings/sec, 850 secs
lola: 19508080 markings, 381798619 edges, 21727 markings/sec, 855 secs
lola: 19617774 markings, 383944954 edges, 21939 markings/sec, 860 secs
lola: 19728626 markings, 386118766 edges, 22170 markings/sec, 865 secs
lola: 19840605 markings, 388319491 edges, 22396 markings/sec, 870 secs
lola: 19944810 markings, 390352259 edges, 20841 markings/sec, 875 secs
lola: 20057713 markings, 392569931 edges, 22581 markings/sec, 880 secs
lola: 20166666 markings, 394692164 edges, 21791 markings/sec, 885 secs
lola: 20271069 markings, 396738875 edges, 20881 markings/sec, 890 secs
lola: 20370388 markings, 398689755 edges, 19864 markings/sec, 895 secs
lola: 20474772 markings, 400729568 edges, 20877 markings/sec, 900 secs
lola: 20584550 markings, 402879920 edges, 21956 markings/sec, 905 secs
lola: 20691287 markings, 404963172 edges, 21347 markings/sec, 910 secs
lola: 20798400 markings, 407049618 edges, 21423 markings/sec, 915 secs
lola: 20910892 markings, 409244942 edges, 22498 markings/sec, 920 secs
lola: 21022744 markings, 411437978 edges, 22370 markings/sec, 925 secs
lola: 21129271 markings, 413531200 edges, 21305 markings/sec, 930 secs
lola: 21232645 markings, 415562633 edges, 20675 markings/sec, 935 secs
lola: 21341124 markings, 417691261 edges, 21696 markings/sec, 940 secs
lola: 21458261 markings, 419973681 edges, 23427 markings/sec, 945 secs
lola: 21578630 markings, 422334141 edges, 24074 markings/sec, 950 secs
lola: 21693981 markings, 424588013 edges, 23070 markings/sec, 955 secs
lola: 21809909 markings, 426841822 edges, 23186 markings/sec, 960 secs
lola: 21914272 markings, 428887740 edges, 20873 markings/sec, 965 secs
lola: 22027494 markings, 431090437 edges, 22644 markings/sec, 970 secs
lola: 22140260 markings, 433297786 edges, 22553 markings/sec, 975 secs
lola: 22256333 markings, 435573775 edges, 23215 markings/sec, 980 secs
lola: 22372686 markings, 437853725 edges, 23271 markings/sec, 985 secs
lola: 22482064 markings, 439983074 edges, 21876 markings/sec, 990 secs
lola: 22589827 markings, 442081843 edges, 21553 markings/sec, 995 secs
lola: 22696631 markings, 444172934 edges, 21361 markings/sec, 1000 secs
lola: 22805407 markings, 446289209 edges, 21755 markings/sec, 1005 secs
lola: 22910944 markings, 448346215 edges, 21107 markings/sec, 1010 secs
lola: 23015077 markings, 450380855 edges, 20827 markings/sec, 1015 secs
lola: 23119223 markings, 452423535 edges, 20829 markings/sec, 1020 secs
lola: 23227179 markings, 454537441 edges, 21591 markings/sec, 1025 secs
lola: 23338845 markings, 456723164 edges, 22333 markings/sec, 1030 secs
lola: 23450264 markings, 458908914 edges, 22284 markings/sec, 1035 secs
lola: 23554064 markings, 460934593 edges, 20760 markings/sec, 1040 secs
lola: 23655779 markings, 462930208 edges, 20343 markings/sec, 1045 secs
lola: 23767625 markings, 465125514 edges, 22369 markings/sec, 1050 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown no no no no yes no no unknown no
lola:
preliminary result: no no unknown no no no no yes no no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown no no no no yes no no unknown no
lola: memory consumption: 7050692 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: memory consumption: 7050692 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown no no no no yes no no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown no no no no yes no no unknown no
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="DLCround-PT-09a"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is DLCround-PT-09a, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r180-ebro-158987900400546"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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