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

About the Execution of ITS-LoLa for ASLink-PT-04a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15740.000 3600000.00 1880611.00 4721.00 FTFFFFTFTTTFTFTT normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r166-smll-158987787200058.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is ASLink-PT-04a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787200058
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 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 436K 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 ASLink-PT-04a-00
FORMULA_NAME ASLink-PT-04a-01
FORMULA_NAME ASLink-PT-04a-02
FORMULA_NAME ASLink-PT-04a-03
FORMULA_NAME ASLink-PT-04a-04
FORMULA_NAME ASLink-PT-04a-05
FORMULA_NAME ASLink-PT-04a-06
FORMULA_NAME ASLink-PT-04a-07
FORMULA_NAME ASLink-PT-04a-08
FORMULA_NAME ASLink-PT-04a-09
FORMULA_NAME ASLink-PT-04a-10
FORMULA_NAME ASLink-PT-04a-11
FORMULA_NAME ASLink-PT-04a-12
FORMULA_NAME ASLink-PT-04a-13
FORMULA_NAME ASLink-PT-04a-14
FORMULA_NAME ASLink-PT-04a-15

=== Now, execution of the tool begins

BK_START 1591177637572

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 09:47:20] [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-03 09:47:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 09:47:20] [INFO ] Load time of PNML (sax parser for PT used): 260 ms
[2020-06-03 09:47:20] [INFO ] Transformed 1016 places.
[2020-06-03 09:47:20] [INFO ] Transformed 1554 transitions.
[2020-06-03 09:47:20] [INFO ] Found NUPN structural information;
[2020-06-03 09:47:20] [INFO ] Parsed PT model containing 1016 places and 1554 transitions in 332 ms.
Ensure Unique test removed 16 transitions
Reduce redundant transitions removed 16 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 62 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 708 resets, run finished after 929 ms. (steps per millisecond=107 ) properties seen :[0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1]
// Phase 1: matrix 1538 rows 1016 cols
[2020-06-03 09:47:21] [INFO ] Computed 194 place invariants in 184 ms
[2020-06-03 09:47:22] [INFO ] [Real]Absence check using 46 positive place invariants in 147 ms returned sat
[2020-06-03 09:47:22] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 213 ms returned sat
[2020-06-03 09:47:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:47:27] [INFO ] [Real]Absence check using state equation in 5024 ms returned sat
[2020-06-03 09:47:27] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:47:28] [INFO ] [Nat]Absence check using 46 positive place invariants in 265 ms returned sat
[2020-06-03 09:47:28] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 178 ms returned sat
[2020-06-03 09:47:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:47:29] [INFO ] [Nat]Absence check using state equation in 535 ms returned unsat
[2020-06-03 09:47:29] [INFO ] [Real]Absence check using 46 positive place invariants in 68 ms returned sat
[2020-06-03 09:47:29] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 244 ms returned sat
[2020-06-03 09:47:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:47:33] [INFO ] [Real]Absence check using state equation in 4245 ms returned sat
[2020-06-03 09:47:34] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:47:34] [INFO ] [Nat]Absence check using 46 positive place invariants in 161 ms returned sat
[2020-06-03 09:47:34] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 140 ms returned sat
[2020-06-03 09:47:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:47:35] [INFO ] [Nat]Absence check using state equation in 453 ms returned unsat
[2020-06-03 09:47:35] [INFO ] [Real]Absence check using 46 positive place invariants in 100 ms returned sat
[2020-06-03 09:47:35] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 147 ms returned sat
[2020-06-03 09:47:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:47:39] [INFO ] [Real]Absence check using state equation in 3815 ms returned sat
[2020-06-03 09:47:39] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:47:40] [INFO ] [Nat]Absence check using 46 positive place invariants in 153 ms returned sat
[2020-06-03 09:47:40] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 151 ms returned sat
[2020-06-03 09:47:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:47:44] [INFO ] [Nat]Absence check using state equation in 4082 ms returned sat
[2020-06-03 09:47:44] [INFO ] Deduced a trap composed of 24 places in 443 ms
[2020-06-03 09:47:44] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 635 ms
[2020-06-03 09:47:45] [INFO ] Computed and/alt/rep : 1537/18546/1537 causal constraints in 286 ms.
[2020-06-03 09:47:59] [INFO ] Added : 380 causal constraints over 76 iterations in 14690 ms. Result :(error "Solver has unexpectedly terminated")
[2020-06-03 09:47:59] [INFO ] [Real]Absence check using 46 positive place invariants in 84 ms returned sat
[2020-06-03 09:48:00] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 157 ms returned sat
[2020-06-03 09:48:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:48:04] [INFO ] [Real]Absence check using state equation in 4564 ms returned sat
[2020-06-03 09:48:04] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:48:05] [INFO ] [Nat]Absence check using 46 positive place invariants in 103 ms returned sat
[2020-06-03 09:48:05] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 242 ms returned sat
[2020-06-03 09:48:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:48:07] [INFO ] [Nat]Absence check using state equation in 2533 ms returned unsat
[2020-06-03 09:48:08] [INFO ] [Real]Absence check using 46 positive place invariants in 112 ms returned sat
[2020-06-03 09:48:08] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 213 ms returned sat
[2020-06-03 09:48:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:48:13] [INFO ] [Real]Absence check using state equation in 4996 ms returned sat
[2020-06-03 09:48:13] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:48:13] [INFO ] [Nat]Absence check using 46 positive place invariants in 150 ms returned sat
[2020-06-03 09:48:14] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 228 ms returned sat
[2020-06-03 09:48:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:48:19] [INFO ] [Nat]Absence check using state equation in 5131 ms returned sat
[2020-06-03 09:48:19] [INFO ] Deduced a trap composed of 49 places in 573 ms
[2020-06-03 09:48:20] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 721 ms
[2020-06-03 09:48:20] [INFO ] Computed and/alt/rep : 1537/18546/1537 causal constraints in 168 ms.
[2020-06-03 09:48:33] [INFO ] Added : 380 causal constraints over 76 iterations in 13450 ms. Result :unknown
[2020-06-03 09:48:33] [INFO ] [Real]Absence check using 46 positive place invariants in 107 ms returned sat
[2020-06-03 09:48:34] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 149 ms returned sat
[2020-06-03 09:48:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:48:38] [INFO ] [Real]Absence check using state equation in 4426 ms returned sat
[2020-06-03 09:48:38] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:48:38] [INFO ] [Nat]Absence check using 46 positive place invariants in 152 ms returned sat
[2020-06-03 09:48:39] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 169 ms returned sat
[2020-06-03 09:48:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:48:40] [INFO ] [Nat]Absence check using state equation in 1148 ms returned unsat
[2020-06-03 09:48:40] [INFO ] [Real]Absence check using 46 positive place invariants in 70 ms returned sat
[2020-06-03 09:48:40] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 150 ms returned sat
[2020-06-03 09:48:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:48:44] [INFO ] [Real]Absence check using state equation in 3922 ms returned sat
[2020-06-03 09:48:44] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:48:45] [INFO ] [Nat]Absence check using 46 positive place invariants in 254 ms returned sat
[2020-06-03 09:48:45] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 225 ms returned sat
[2020-06-03 09:48:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:48:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 09:48:57] [INFO ] [Nat]Absence check using state equation in 12324 ms returned unknown
[2020-06-03 09:48:58] [INFO ] [Real]Absence check using 46 positive place invariants in 115 ms returned sat
[2020-06-03 09:48:58] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 234 ms returned sat
[2020-06-03 09:48:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:49:03] [INFO ] [Real]Absence check using state equation in 5175 ms returned sat
[2020-06-03 09:49:03] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:49:03] [INFO ] [Nat]Absence check using 46 positive place invariants in 191 ms returned sat
[2020-06-03 09:49:04] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 196 ms returned sat
[2020-06-03 09:49:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:49:07] [INFO ] [Nat]Absence check using state equation in 3543 ms returned unsat
[2020-06-03 09:49:08] [INFO ] [Real]Absence check using 46 positive place invariants in 109 ms returned sat
[2020-06-03 09:49:08] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 245 ms returned sat
[2020-06-03 09:49:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:49:13] [INFO ] [Real]Absence check using state equation in 5275 ms returned sat
[2020-06-03 09:49:13] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:49:13] [INFO ] [Nat]Absence check using 46 positive place invariants in 161 ms returned sat
[2020-06-03 09:49:14] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 182 ms returned sat
[2020-06-03 09:49:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:49:19] [INFO ] [Nat]Absence check using state equation in 5183 ms returned sat
[2020-06-03 09:49:19] [INFO ] Computed and/alt/rep : 1537/18546/1537 causal constraints in 176 ms.
[2020-06-03 09:49:33] [INFO ] Added : 390 causal constraints over 78 iterations in 14201 ms. Result :unknown
[2020-06-03 09:49:33] [INFO ] [Real]Absence check using 46 positive place invariants in 71 ms returned sat
[2020-06-03 09:49:34] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 149 ms returned sat
[2020-06-03 09:49:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:49:38] [INFO ] [Real]Absence check using state equation in 3959 ms returned sat
[2020-06-03 09:49:38] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:49:38] [INFO ] [Nat]Absence check using 46 positive place invariants in 230 ms returned sat
[2020-06-03 09:49:38] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 132 ms returned sat
[2020-06-03 09:49:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:49:44] [INFO ] [Nat]Absence check using state equation in 5481 ms returned sat
[2020-06-03 09:49:44] [INFO ] Computed and/alt/rep : 1537/18546/1537 causal constraints in 114 ms.
[2020-06-03 09:49:58] [INFO ] Added : 345 causal constraints over 69 iterations in 13901 ms. Result :unknown
[2020-06-03 09:49:58] [INFO ] [Real]Absence check using 46 positive place invariants in 64 ms returned sat
[2020-06-03 09:49:58] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 148 ms returned sat
[2020-06-03 09:49:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:03] [INFO ] [Real]Absence check using state equation in 4645 ms returned sat
[2020-06-03 09:50:03] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:50:03] [INFO ] [Nat]Absence check using 46 positive place invariants in 157 ms returned sat
[2020-06-03 09:50:03] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 132 ms returned sat
[2020-06-03 09:50:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:08] [INFO ] [Nat]Absence check using state equation in 4710 ms returned unsat
[2020-06-03 09:50:08] [INFO ] [Real]Absence check using 46 positive place invariants in 109 ms returned sat
[2020-06-03 09:50:09] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 251 ms returned sat
[2020-06-03 09:50:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:13] [INFO ] [Real]Absence check using state equation in 4617 ms returned sat
[2020-06-03 09:50:13] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:50:14] [INFO ] [Nat]Absence check using 46 positive place invariants in 257 ms returned sat
[2020-06-03 09:50:14] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 232 ms returned sat
[2020-06-03 09:50:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:15] [INFO ] [Nat]Absence check using state equation in 844 ms returned unsat
[2020-06-03 09:50:15] [INFO ] [Real]Absence check using 46 positive place invariants in 103 ms returned sat
[2020-06-03 09:50:16] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 227 ms returned sat
[2020-06-03 09:50:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:19] [INFO ] [Real]Absence check using state equation in 3866 ms returned sat
[2020-06-03 09:50:19] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:50:20] [INFO ] [Nat]Absence check using 46 positive place invariants in 181 ms returned sat
[2020-06-03 09:50:20] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 224 ms returned sat
[2020-06-03 09:50:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:21] [INFO ] [Nat]Absence check using state equation in 824 ms returned unsat
[2020-06-03 09:50:21] [INFO ] [Real]Absence check using 46 positive place invariants in 68 ms returned sat
[2020-06-03 09:50:21] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 139 ms returned sat
[2020-06-03 09:50:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:26] [INFO ] [Real]Absence check using state equation in 4644 ms returned sat
[2020-06-03 09:50:26] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:50:26] [INFO ] [Nat]Absence check using 46 positive place invariants in 155 ms returned sat
[2020-06-03 09:50:27] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 167 ms returned sat
[2020-06-03 09:50:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:29] [INFO ] [Nat]Absence check using state equation in 2265 ms returned unsat
[2020-06-03 09:50:29] [INFO ] [Real]Absence check using 46 positive place invariants in 71 ms returned sat
[2020-06-03 09:50:29] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 140 ms returned sat
[2020-06-03 09:50:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:33] [INFO ] [Real]Absence check using state equation in 3685 ms returned sat
[2020-06-03 09:50:33] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:50:33] [INFO ] [Nat]Absence check using 46 positive place invariants in 157 ms returned sat
[2020-06-03 09:50:34] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 146 ms returned sat
[2020-06-03 09:50:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:38] [INFO ] [Nat]Absence check using state equation in 4437 ms returned unsat
[2020-06-03 09:50:38] [INFO ] [Real]Absence check using 46 positive place invariants in 73 ms returned sat
[2020-06-03 09:50:38] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 147 ms returned sat
[2020-06-03 09:50:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:44] [INFO ] [Real]Absence check using state equation in 5177 ms returned sat
[2020-06-03 09:50:44] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:50:44] [INFO ] [Nat]Absence check using 46 positive place invariants in 153 ms returned sat
[2020-06-03 09:50:44] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 233 ms returned sat
[2020-06-03 09:50:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:48] [INFO ] [Nat]Absence check using state equation in 3689 ms returned unsat
[2020-06-03 09:50:48] [INFO ] [Real]Absence check using 46 positive place invariants in 113 ms returned sat
[2020-06-03 09:50:49] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 237 ms returned sat
[2020-06-03 09:50:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:53] [INFO ] [Real]Absence check using state equation in 4877 ms returned sat
[2020-06-03 09:50:53] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:50:54] [INFO ] [Nat]Absence check using 46 positive place invariants in 254 ms returned sat
[2020-06-03 09:50:54] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 228 ms returned sat
[2020-06-03 09:50:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:59] [INFO ] [Nat]Absence check using state equation in 4425 ms returned unsat
[2020-06-03 09:50:59] [INFO ] [Real]Absence check using 46 positive place invariants in 110 ms returned sat
[2020-06-03 09:50:59] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 234 ms returned sat
[2020-06-03 09:50:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:51:04] [INFO ] [Real]Absence check using state equation in 4842 ms returned sat
[2020-06-03 09:51:04] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:51:05] [INFO ] [Nat]Absence check using 46 positive place invariants in 255 ms returned sat
[2020-06-03 09:51:05] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 225 ms returned sat
[2020-06-03 09:51:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:51:11] [INFO ] [Nat]Absence check using state equation in 5675 ms returned unsat
[2020-06-03 09:51:11] [INFO ] [Real]Absence check using 46 positive place invariants in 67 ms returned sat
[2020-06-03 09:51:11] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 143 ms returned sat
[2020-06-03 09:51:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:51:15] [INFO ] [Real]Absence check using state equation in 3923 ms returned sat
[2020-06-03 09:51:15] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:51:15] [INFO ] [Nat]Absence check using 46 positive place invariants in 157 ms returned sat
[2020-06-03 09:51:15] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 148 ms returned sat
[2020-06-03 09:51:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:51:16] [INFO ] [Nat]Absence check using state equation in 570 ms returned unsat
[2020-06-03 09:51:16] [INFO ] [Real]Absence check using 46 positive place invariants in 70 ms returned sat
[2020-06-03 09:51:16] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 140 ms returned sat
[2020-06-03 09:51:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:51:20] [INFO ] [Real]Absence check using state equation in 3790 ms returned sat
[2020-06-03 09:51:20] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:51:21] [INFO ] [Nat]Absence check using 46 positive place invariants in 261 ms returned sat
[2020-06-03 09:51:21] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 221 ms returned sat
[2020-06-03 09:51:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:51:26] [INFO ] [Nat]Absence check using state equation in 4808 ms returned sat
[2020-06-03 09:51:26] [INFO ] Deduced a trap composed of 87 places in 429 ms
[2020-06-03 09:51:27] [INFO ] Deduced a trap composed of 25 places in 227 ms
[2020-06-03 09:51:27] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 893 ms
[2020-06-03 09:51:27] [INFO ] Computed and/alt/rep : 1537/18546/1537 causal constraints in 172 ms.
[2020-06-03 09:51:40] [INFO ] Added : 340 causal constraints over 68 iterations in 13559 ms. Result :unknown
[2020-06-03 09:51:41] [INFO ] [Real]Absence check using 46 positive place invariants in 73 ms returned sat
[2020-06-03 09:51:41] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 151 ms returned sat
[2020-06-03 09:51:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:51:45] [INFO ] [Real]Absence check using state equation in 3808 ms returned sat
[2020-06-03 09:51:45] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:51:45] [INFO ] [Nat]Absence check using 46 positive place invariants in 89 ms returned sat
[2020-06-03 09:51:45] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 152 ms returned sat
[2020-06-03 09:51:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:51:49] [INFO ] [Nat]Absence check using state equation in 3582 ms returned unsat
[2020-06-03 09:51:49] [INFO ] [Real]Absence check using 46 positive place invariants in 67 ms returned sat
[2020-06-03 09:51:49] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 132 ms returned sat
[2020-06-03 09:51:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:51:53] [INFO ] [Real]Absence check using state equation in 3962 ms returned sat
[2020-06-03 09:51:53] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:51:54] [INFO ] [Nat]Absence check using 46 positive place invariants in 120 ms returned sat
[2020-06-03 09:51:54] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 140 ms returned sat
[2020-06-03 09:51:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:51:58] [INFO ] [Nat]Absence check using state equation in 4182 ms returned sat
[2020-06-03 09:51:58] [INFO ] Deduced a trap composed of 25 places in 438 ms
[2020-06-03 09:51:59] [INFO ] Deduced a trap composed of 24 places in 237 ms
[2020-06-03 09:51:59] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 867 ms
[2020-06-03 09:51:59] [INFO ] Computed and/alt/rep : 1537/18546/1537 causal constraints in 200 ms.
[2020-06-03 09:52:13] [INFO ] Added : 340 causal constraints over 68 iterations in 14404 ms. Result :unknown
[2020-06-03 09:52:13] [INFO ] [Real]Absence check using 46 positive place invariants in 67 ms returned sat
[2020-06-03 09:52:14] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 180 ms returned sat
[2020-06-03 09:52:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:52:18] [INFO ] [Real]Absence check using state equation in 4809 ms returned sat
[2020-06-03 09:52:18] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:52:19] [INFO ] [Nat]Absence check using 46 positive place invariants in 132 ms returned sat
[2020-06-03 09:52:19] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 222 ms returned sat
[2020-06-03 09:52:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:52:23] [INFO ] [Nat]Absence check using state equation in 4162 ms returned unsat
[2020-06-03 09:52:23] [INFO ] [Real]Absence check using 46 positive place invariants in 67 ms returned sat
[2020-06-03 09:52:24] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 143 ms returned sat
[2020-06-03 09:52:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:52:28] [INFO ] [Real]Absence check using state equation in 4225 ms returned sat
[2020-06-03 09:52:28] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:52:28] [INFO ] [Nat]Absence check using 46 positive place invariants in 260 ms returned sat
[2020-06-03 09:52:29] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 213 ms returned sat
[2020-06-03 09:52:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:52:32] [INFO ] [Nat]Absence check using state equation in 3089 ms returned unsat
[2020-06-03 09:52:32] [INFO ] [Real]Absence check using 46 positive place invariants in 65 ms returned sat
[2020-06-03 09:52:32] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 139 ms returned sat
[2020-06-03 09:52:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:52:37] [INFO ] [Real]Absence check using state equation in 4423 ms returned sat
[2020-06-03 09:52:37] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:52:37] [INFO ] [Nat]Absence check using 46 positive place invariants in 235 ms returned sat
[2020-06-03 09:52:37] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 143 ms returned sat
[2020-06-03 09:52:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:52:39] [INFO ] [Nat]Absence check using state equation in 1660 ms returned unsat
[2020-06-03 09:52:39] [INFO ] [Real]Absence check using 46 positive place invariants in 108 ms returned sat
[2020-06-03 09:52:40] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 221 ms returned sat
[2020-06-03 09:52:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:52:44] [INFO ] [Real]Absence check using state equation in 4981 ms returned sat
[2020-06-03 09:52:45] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:52:45] [INFO ] [Nat]Absence check using 46 positive place invariants in 152 ms returned sat
[2020-06-03 09:52:45] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 137 ms returned sat
[2020-06-03 09:52:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:52:55] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 09:52:58] [INFO ] [Nat]Absence check using state equation in 13408 ms returned unknown
[2020-06-03 09:52:59] [INFO ] [Real]Absence check using 46 positive place invariants in 104 ms returned sat
[2020-06-03 09:52:59] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 213 ms returned sat
[2020-06-03 09:52:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:53:04] [INFO ] [Real]Absence check using state equation in 5510 ms returned sat
[2020-06-03 09:53:05] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:53:05] [INFO ] [Nat]Absence check using 46 positive place invariants in 158 ms returned sat
[2020-06-03 09:53:05] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 177 ms returned sat
[2020-06-03 09:53:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:53:06] [INFO ] [Nat]Absence check using state equation in 517 ms returned unsat
[2020-06-03 09:53:06] [INFO ] [Real]Absence check using 46 positive place invariants in 108 ms returned sat
[2020-06-03 09:53:06] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 211 ms returned sat
[2020-06-03 09:53:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:53:11] [INFO ] [Real]Absence check using state equation in 5281 ms returned sat
[2020-06-03 09:53:11] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:53:12] [INFO ] [Nat]Absence check using 46 positive place invariants in 153 ms returned sat
[2020-06-03 09:53:12] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 136 ms returned sat
[2020-06-03 09:53:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:53:14] [INFO ] [Nat]Absence check using state equation in 2493 ms returned unsat
[2020-06-03 09:53:15] [INFO ] [Real]Absence check using 46 positive place invariants in 65 ms returned sat
[2020-06-03 09:53:15] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 141 ms returned sat
[2020-06-03 09:53:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:53:20] [INFO ] [Real]Absence check using state equation in 5306 ms returned sat
[2020-06-03 09:53:20] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:53:21] [INFO ] [Nat]Absence check using 46 positive place invariants in 162 ms returned sat
[2020-06-03 09:53:21] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 248 ms returned sat
[2020-06-03 09:53:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:53:25] [INFO ] [Nat]Absence check using state equation in 4013 ms returned sat
[2020-06-03 09:53:25] [INFO ] Deduced a trap composed of 27 places in 265 ms
[2020-06-03 09:53:25] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 400 ms
[2020-06-03 09:53:25] [INFO ] Computed and/alt/rep : 1537/18546/1537 causal constraints in 177 ms.
[2020-06-03 09:53:40] [INFO ] Added : 350 causal constraints over 70 iterations in 15001 ms. Result :unknown
[2020-06-03 09:53:41] [INFO ] [Real]Absence check using 46 positive place invariants in 100 ms returned sat
[2020-06-03 09:53:41] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 131 ms returned sat
[2020-06-03 09:53:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:53:45] [INFO ] [Real]Absence check using state equation in 4279 ms returned sat
[2020-06-03 09:53:45] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:53:45] [INFO ] [Nat]Absence check using 46 positive place invariants in 152 ms returned sat
[2020-06-03 09:53:46] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 138 ms returned sat
[2020-06-03 09:53:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:53:48] [INFO ] [Nat]Absence check using state equation in 2490 ms returned unsat
[2020-06-03 09:53:48] [INFO ] [Real]Absence check using 46 positive place invariants in 66 ms returned sat
[2020-06-03 09:53:48] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 39 ms returned unsat
[2020-06-03 09:53:49] [INFO ] [Real]Absence check using 46 positive place invariants in 70 ms returned sat
[2020-06-03 09:53:49] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 152 ms returned sat
[2020-06-03 09:53:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:53:53] [INFO ] [Real]Absence check using state equation in 3920 ms returned sat
[2020-06-03 09:53:53] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:53:53] [INFO ] [Nat]Absence check using 46 positive place invariants in 144 ms returned sat
[2020-06-03 09:53:53] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 146 ms returned sat
[2020-06-03 09:53:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:53:55] [INFO ] [Nat]Absence check using state equation in 1869 ms returned unsat
[2020-06-03 09:53:56] [INFO ] [Real]Absence check using 46 positive place invariants in 116 ms returned sat
[2020-06-03 09:53:56] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 227 ms returned sat
[2020-06-03 09:53:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:54:01] [INFO ] [Real]Absence check using state equation in 5157 ms returned sat
[2020-06-03 09:54:01] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:54:02] [INFO ] [Nat]Absence check using 46 positive place invariants in 256 ms returned sat
[2020-06-03 09:54:02] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 209 ms returned sat
[2020-06-03 09:54:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:54:07] [INFO ] [Nat]Absence check using state equation in 5136 ms returned sat
[2020-06-03 09:54:07] [INFO ] Deduced a trap composed of 49 places in 130 ms
[2020-06-03 09:54:07] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 283 ms
[2020-06-03 09:54:07] [INFO ] Computed and/alt/rep : 1537/18546/1537 causal constraints in 141 ms.
[2020-06-03 09:54:21] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (=> (> t391 0) (and (or (and (> t286 0) (< o286 o391)) (and (> t302 0) (< o302 o391)) (and (> t318 0) (< o318 o391)) (and (> t334 0) (< o334 o391)) (and (> t350 0) (< o350 o391)) (and (> t366 0) (< o366 o391)) (and (> t382 0) (< o382 o391)) (and (> t398 0) (< o398 o391))) (or (and (> t381 0) (< o381 o391)) (and (> t382 0) (< o382 o391)) (and (> t383 0) (< o383 o391)) (and (> t384 0) (< o384 o391)) (and (> t385 0) (< o385 o391)) (and (> t386 0) (< o386 o391)) (and (> t387 0) (< o387 o391)) (and (> t388 0) (< o388 o391)))))") while checking expression at index 32
[2020-06-03 09:54:21] [INFO ] [Real]Absence check using 46 positive place invariants in 109 ms returned sat
[2020-06-03 09:54:22] [INFO ] [Real]Absence check using 46 positive and 148 generalized place invariants in 238 ms returned sat
[2020-06-03 09:54:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:54:27] [INFO ] [Real]Absence check using state equation in 5107 ms returned sat
[2020-06-03 09:54:27] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:54:27] [INFO ] [Nat]Absence check using 46 positive place invariants in 89 ms returned sat
[2020-06-03 09:54:27] [INFO ] [Nat]Absence check using 46 positive and 148 generalized place invariants in 180 ms returned sat
[2020-06-03 09:54:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:54:32] [INFO ] [Nat]Absence check using state equation in 5091 ms returned sat
[2020-06-03 09:54:33] [INFO ] Computed and/alt/rep : 1537/18546/1537 causal constraints in 130 ms.
[2020-06-03 09:54:47] [INFO ] Added : 295 causal constraints over 59 iterations in 14349 ms. Result :unknown
Successfully simplified 23 atomic propositions for a total of 26 simplifications.
[2020-06-03 09:54:47] [INFO ] Initial state reduction rules for CTL removed 9 formulas.
[2020-06-03 09:54:48] [INFO ] Flatten gal took : 387 ms
FORMULA ASLink-PT-04a-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04a-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04a-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04a-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04a-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04a-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04a-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04a-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04a-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-03 09:54:48] [INFO ] Applying decomposition
[2020-06-03 09:54:48] [INFO ] Flatten gal took : 126 ms
[2020-06-03 09:54:48] [INFO ] Decomposing Gal with order
[2020-06-03 09:54:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-06-03 09:54:48] [INFO ] Removed a total of 1875 redundant transitions.
[2020-06-03 09:54:48] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2020-06-03 09:54:48] [INFO ] Flatten gal took : 350 ms
[2020-06-03 09:54:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 637 labels/synchronizations in 79 ms.
[2020-06-03 09:54:49] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA ASLink-PT-04a-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-03 09:54:49] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 3 ms.
[2020-06-03 09:54:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 20 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ASLink-PT-04a @ 3570 seconds
check_solution: Variable C259 = -15 is below its lower bound 0
check_solution: Variable C569 = -17.5 is below its lower bound 0
check_solution: Variable C1337 = -11.8571428571 is below its lower bound 0
check_solution: Variable C1339 = -12 is below its lower bound 0
check_solution: Variable C1341 = -16.4285714286 is below its lower bound 0
check_solution: Variable C1349 = -1.5 is below its lower bound 0
check_solution: Variable C1367 = -1 is below its lower bound 0
check_solution: Variable C1373 = -2 is below its lower bound 0
check_solution: Variable C1391 = -1 is below its lower bound 0
check_solution: Variable C1403 = -1 is below its lower bound 0

Seriously low accuracy found ||*|| = 17.5 (rel. error 17.5)

FORMULA ASLink-PT-04a-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04a-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04a-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04a-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04a-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 695
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 1,
"X": 2,
"aconj": 4,
"adisj": 0,
"aneg": 1,
"comp": 12,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 12,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "((((p73 <= 1) AND (1 <= p73) AND (p92 <= 1) AND (1 <= p92)) OR (G (((1 <= p352) AND (1 <= p423))) AND F (((p73 <= 1) AND (1 <= p73) AND (p92 <= 1) AND (1 <= p92))))) U X (X (F (((p444 <= 0) OR (p520 <= 0))))))",
"processed_size": 210,
"rewrites": 57
},
"result":
{
"edges": 204,
"markings": 105,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1739
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 1,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G ((((p525 <= 0) OR (p618 <= 0)) OR G (((p634 <= 1) AND (1 <= p634) AND (p845 <= 1) AND (1 <= p845)))))",
"processed_size": 104,
"rewrites": 57
},
"result":
{
"edges": 157116951,
"markings": 26837168,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G ((G (((1 <= p803) AND (1 <= p870))) OR ((1 <= p176) AND (1 <= p217))))",
"processed_size": 72,
"rewrites": 57
},
"result":
{
"edges": 126,
"markings": 126,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 5,
"type": "boolean"
}
},

{
"child":
[

{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G (((p626 <= 1) AND (1 <= p626) AND (p845 <= 1) AND (1 <= p845)))",
"processed_size": 65,
"rewrites": 57
},
"result":
{
"edges": 126,
"markings": 126,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F (G (((1 <= p803) AND (1 <= p870))))",
"processed_size": 37,
"rewrites": 57
},
"result":
{
"edges": 128,
"markings": 127,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
},

{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G ((G (((1 <= p803) AND (1 <= p870))) OR ((1 <= p176) AND (1 <= p217))))",
"processed_size": 72,
"rewrites": 57
},
"result":
{
"edges": 126,
"markings": 126,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 55444,
"runtime": 1395.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "F(G(**)) : X(X(X((G(F(**)) OR G((** AND F(**))))))) : (G((G(**) OR **)) OR (G(**) OR F(G(**)))) : ((** OR (G(**) AND F(**))) U X(X(F(*)))) : G((* OR G(**))) : (X(F(*)) R *)"
},
"net":
{
"arcs": 5826,
"conflict_clusters": 336,
"places": 1016,
"places_significant": 822,
"singleton_clusters": 0,
"transitions": 1538
},
"result":
{
"preliminary_value": "no no no yes no yes ",
"value": "no no no yes no yes "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 2554/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1016
lola: finding significant places
lola: 1016 places, 1538 transitions, 822 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: (p797 <= 1)
lola: LP says that atomic proposition is always true: (p856 <= 1)
lola: LP says that atomic proposition is always true: (p618 <= 1)
lola: LP says that atomic proposition is always true: (p133 <= 1)
lola: LP says that atomic proposition is always true: (p803 <= 1)
lola: LP says that atomic proposition is always true: (p870 <= 1)
lola: LP says that atomic proposition is always true: (p176 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p803 <= 1)
lola: LP says that atomic proposition is always true: (p870 <= 1)
lola: LP says that atomic proposition is always true: (p352 <= 1)
lola: LP says that atomic proposition is always true: (p423 <= 1)
lola: LP says that atomic proposition is always true: (p444 <= 1)
lola: LP says that atomic proposition is always true: (p520 <= 1)
lola: LP says that atomic proposition is always true: (p525 <= 1)
lola: LP says that atomic proposition is always true: (p618 <= 1)
lola: LP says that atomic proposition is always true: (p354 <= 1)
lola: LP says that atomic proposition is always true: (p230 <= 1)
lola: G (F (X (G (((1 <= p797) AND (1 <= p856)))))) : NOT(X (NOT(X (X ((G (((p586 <= 1) AND (1 <= p586) AND (1 <= p618))) U X (F (G (F (X (((1 <= p133))))))))))))) : ((G ((G (((1 <= p803) AND (1 <= p870))) OR ((1 <= p176) AND (1 <= p217)))) OR G (((p626 <= 1) AND (1 <= p626) AND (p845 <= 1) AND (1 <= p845)))) OR F (G (((1 <= p803) AND (1 <= p870))))) : ((G (((1 <= p352) AND (1 <= p423))) U ((p73 <= 1) AND (1 <= p73) AND (p92 <= 1) AND (1 <= p92))) U X (F (NOT(X (G (((1 <= p444) AND (1 <= p520)))))))) : NOT(F ((((1 <= p525) AND (1 <= p618)) AND ((0 <= 0) U NOT(G (((p634 <= 1) AND (1 <= p634) AND (p845 <= 1) AND (1 <= p845)))))))) : NOT((G (X (((1 <= p354)))) U ((1 <= p230) AND (p299 <= 1) AND (1 <= p299))))
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
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:377
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 579 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X ((G (F (((1 <= p133)))) OR G ((((p586 <= 1) AND (1 <= p586) AND (1 <= p618)) AND F (((1 <= p133)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X ((G (F (((1 <= p133)))) OR G ((((p586 <= 1) AND (1 <= p586) AND (1 <= p618)) AND F (((1 <= p133)))))))))
lola: processed formula length: 112
lola: 57 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 37 markings, 37 edges
lola: ========================================
lola: subprocess 1 will run for 695 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((p73 <= 1) AND (1 <= p73) AND (p92 <= 1) AND (1 <= p92)) OR (G (((1 <= p352) AND (1 <= p423))) AND F (((p73 <= 1) AND (1 <= p73) AND (p92 <= 1) AND (1 <= p92))))) U X (X (F (((p444 <= 0) OR (p520 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((((p73 <= 1) AND (1 <= p73) AND (p92 <= 1) AND (1 <= p92)) OR (G (((1 <= p352) AND (1 <= p423))) AND F (((p73 <= 1) AND (1 <= p73) AND (p92 <= 1) AND (1 <= p92))))) U X (X (F (((p444 <= 0) OR (p520 <= 0))))))
lola: processed formula length: 210
lola: 57 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 105 markings, 204 edges
lola: ========================================
lola: subprocess 2 will run for 869 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F (((p354 <= 0)))) R ((p230 <= 0) OR (2 <= p299) OR (p299 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (F (((p354 <= 0)))) R ((p230 <= 0) OR (2 <= p299) OR (p299 <= 0)))
lola: processed formula length: 71
lola: 57 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: 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 3 will run for 1159 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((1 <= p797) AND (1 <= p856))))
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 <= p797) AND (1 <= p856))))
lola: processed formula length: 37
lola: 57 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: 127 markings, 128 edges
lola: ========================================
lola: subprocess 4 will run for 1739 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((((p525 <= 0) OR (p618 <= 0)) OR G (((p634 <= 1) AND (1 <= p634) AND (p845 <= 1) AND (1 <= p845)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((((p525 <= 0) OR (p618 <= 0)) OR G (((p634 <= 1) AND (1 <= p634) AND (p845 <= 1) AND (1 <= p845)))))
lola: processed formula length: 104
lola: 57 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: 127230 markings, 586848 edges, 25446 markings/sec, 0 secs
lola: 247288 markings, 1176140 edges, 24012 markings/sec, 5 secs
lola: 368501 markings, 1788969 edges, 24243 markings/sec, 10 secs
lola: 474217 markings, 2408869 edges, 21143 markings/sec, 15 secs
lola: 597411 markings, 2964033 edges, 24639 markings/sec, 20 secs
lola: 700218 markings, 3590574 edges, 20561 markings/sec, 25 secs
lola: 833508 markings, 4190148 edges, 26658 markings/sec, 30 secs
lola: 942481 markings, 4785847 edges, 21795 markings/sec, 35 secs
lola: 1040852 markings, 5412636 edges, 19674 markings/sec, 40 secs
lola: 1135940 markings, 6036397 edges, 19018 markings/sec, 45 secs
lola: 1231148 markings, 6656786 edges, 19042 markings/sec, 50 secs
lola: 1324510 markings, 7274385 edges, 18672 markings/sec, 55 secs
lola: 1419825 markings, 7891259 edges, 19063 markings/sec, 60 secs
lola: 1512668 markings, 8504513 edges, 18569 markings/sec, 65 secs
lola: 1606373 markings, 9117125 edges, 18741 markings/sec, 70 secs
lola: 1699651 markings, 9729404 edges, 18656 markings/sec, 75 secs
lola: 1793169 markings, 10339036 edges, 18704 markings/sec, 80 secs
lola: 1882925 markings, 10947299 edges, 17951 markings/sec, 85 secs
lola: 1980843 markings, 11556455 edges, 19584 markings/sec, 90 secs
lola: 2079550 markings, 12163979 edges, 19741 markings/sec, 95 secs
lola: 2177229 markings, 12769288 edges, 19536 markings/sec, 100 secs
lola: 2278619 markings, 13372930 edges, 20278 markings/sec, 105 secs
lola: 2404229 markings, 13964111 edges, 25122 markings/sec, 110 secs
lola: 2531580 markings, 14579584 edges, 25470 markings/sec, 115 secs
lola: 2649126 markings, 15199101 edges, 23509 markings/sec, 120 secs
lola: 2775670 markings, 15806212 edges, 25309 markings/sec, 125 secs
lola: 2886100 markings, 16417406 edges, 22086 markings/sec, 130 secs
lola: 3009967 markings, 17023498 edges, 24773 markings/sec, 135 secs
lola: 3119555 markings, 17630474 edges, 21918 markings/sec, 140 secs
lola: 3246678 markings, 18233321 edges, 25425 markings/sec, 145 secs
lola: 3363660 markings, 18855212 edges, 23396 markings/sec, 150 secs
lola: 3466522 markings, 19480391 edges, 20572 markings/sec, 155 secs
lola: 3571308 markings, 20102894 edges, 20957 markings/sec, 160 secs
lola: 3668461 markings, 20723378 edges, 19431 markings/sec, 165 secs
lola: 3769663 markings, 21344018 edges, 20240 markings/sec, 170 secs
lola: 3871663 markings, 21956323 edges, 20400 markings/sec, 175 secs
lola: 3969057 markings, 22572897 edges, 19479 markings/sec, 180 secs
lola: 4074398 markings, 23183164 edges, 21068 markings/sec, 185 secs
lola: 4170175 markings, 23794437 edges, 19155 markings/sec, 190 secs
lola: 4278993 markings, 24395931 edges, 21764 markings/sec, 195 secs
lola: 4383715 markings, 25002028 edges, 20944 markings/sec, 200 secs
lola: 4484864 markings, 25606590 edges, 20230 markings/sec, 205 secs
lola: 4604300 markings, 26225939 edges, 23887 markings/sec, 210 secs
lola: 4706329 markings, 26853337 edges, 20406 markings/sec, 215 secs
lola: 4808713 markings, 27476480 edges, 20477 markings/sec, 220 secs
lola: 4905036 markings, 28098627 edges, 19265 markings/sec, 225 secs
lola: 5009668 markings, 28713903 edges, 20926 markings/sec, 230 secs
lola: 5106514 markings, 29329485 edges, 19369 markings/sec, 235 secs
lola: 5205528 markings, 29943084 edges, 19803 markings/sec, 240 secs
lola: 5304247 markings, 30553438 edges, 19744 markings/sec, 245 secs
lola: 5400725 markings, 31171497 edges, 19296 markings/sec, 250 secs
lola: 5498175 markings, 31780296 edges, 19490 markings/sec, 255 secs
lola: 5590110 markings, 32392983 edges, 18387 markings/sec, 260 secs
lola: 5686808 markings, 33001034 edges, 19340 markings/sec, 265 secs
lola: 5789602 markings, 33596903 edges, 20559 markings/sec, 270 secs
lola: 5915164 markings, 34206290 edges, 25112 markings/sec, 275 secs
lola: 6031448 markings, 34819787 edges, 23257 markings/sec, 280 secs
lola: 6156790 markings, 35420675 edges, 25068 markings/sec, 285 secs
lola: 6265790 markings, 36026314 edges, 21800 markings/sec, 290 secs
lola: 6389209 markings, 36626122 edges, 24684 markings/sec, 295 secs
lola: 6488583 markings, 37192068 edges, 19875 markings/sec, 300 secs
lola: 6615398 markings, 37794805 edges, 25363 markings/sec, 305 secs
lola: 6712508 markings, 38401678 edges, 19422 markings/sec, 310 secs
lola: 6811308 markings, 39009310 edges, 19760 markings/sec, 315 secs
lola: 6911253 markings, 39629160 edges, 19989 markings/sec, 320 secs
lola: 7003527 markings, 40242867 edges, 18455 markings/sec, 325 secs
lola: 7093390 markings, 40857386 edges, 17973 markings/sec, 330 secs
lola: 7182530 markings, 41466464 edges, 17828 markings/sec, 335 secs
lola: 7274436 markings, 42077859 edges, 18381 markings/sec, 340 secs
lola: 7365484 markings, 42689162 edges, 18210 markings/sec, 345 secs
lola: 7454893 markings, 43295878 edges, 17882 markings/sec, 350 secs
lola: 7544891 markings, 43900052 edges, 18000 markings/sec, 355 secs
lola: 7628444 markings, 44460126 edges, 16711 markings/sec, 360 secs
lola: 7717929 markings, 45066061 edges, 17897 markings/sec, 365 secs
lola: 7808122 markings, 45673930 edges, 18039 markings/sec, 370 secs
lola: 7895154 markings, 46277060 edges, 17406 markings/sec, 375 secs
lola: 7984680 markings, 46874203 edges, 17905 markings/sec, 380 secs
lola: 8069488 markings, 47466077 edges, 16962 markings/sec, 385 secs
lola: 8151517 markings, 48094893 edges, 16406 markings/sec, 390 secs
lola: 8231611 markings, 48718713 edges, 16019 markings/sec, 395 secs
lola: 8308051 markings, 49315876 edges, 15288 markings/sec, 400 secs
lola: 8389045 markings, 49932378 edges, 16199 markings/sec, 405 secs
lola: 8469088 markings, 50550390 edges, 16009 markings/sec, 410 secs
lola: 8547976 markings, 51160345 edges, 15778 markings/sec, 415 secs
lola: 8626609 markings, 51767541 edges, 15727 markings/sec, 420 secs
lola: 8704748 markings, 52376118 edges, 15628 markings/sec, 425 secs
lola: 8781969 markings, 52980999 edges, 15444 markings/sec, 430 secs
lola: 8859980 markings, 53581553 edges, 15602 markings/sec, 435 secs
lola: 8938807 markings, 54183336 edges, 15765 markings/sec, 440 secs
lola: 9018176 markings, 54785516 edges, 15874 markings/sec, 445 secs
lola: 9094089 markings, 55385234 edges, 15183 markings/sec, 450 secs
lola: 9172573 markings, 55984981 edges, 15697 markings/sec, 455 secs
lola: 9257545 markings, 56604595 edges, 16994 markings/sec, 460 secs
lola: 9336755 markings, 57212439 edges, 15842 markings/sec, 465 secs
lola: 9418068 markings, 57837328 edges, 16263 markings/sec, 470 secs
lola: 9497730 markings, 58461520 edges, 15932 markings/sec, 475 secs
lola: 9578814 markings, 59079982 edges, 16217 markings/sec, 480 secs
lola: 9659122 markings, 59700551 edges, 16062 markings/sec, 485 secs
lola: 9739104 markings, 60317492 edges, 15996 markings/sec, 490 secs
lola: 9818561 markings, 60931574 edges, 15891 markings/sec, 495 secs
lola: 9897967 markings, 61549038 edges, 15881 markings/sec, 500 secs
lola: 9976827 markings, 62163803 edges, 15772 markings/sec, 505 secs
lola: 10056211 markings, 62774460 edges, 15877 markings/sec, 510 secs
lola: 10136360 markings, 63387554 edges, 16030 markings/sec, 515 secs
lola: 10217903 markings, 64000408 edges, 16309 markings/sec, 520 secs
lola: 10295905 markings, 64612966 edges, 15600 markings/sec, 525 secs
lola: 10374086 markings, 65221513 edges, 15636 markings/sec, 530 secs
lola: 10475960 markings, 65838289 edges, 20375 markings/sec, 535 secs
lola: 10572505 markings, 66455046 edges, 19309 markings/sec, 540 secs
lola: 10662043 markings, 67044904 edges, 17908 markings/sec, 545 secs
lola: 10754614 markings, 67657491 edges, 18514 markings/sec, 550 secs
lola: 10847706 markings, 68265294 edges, 18618 markings/sec, 555 secs
lola: 10941431 markings, 68873513 edges, 18745 markings/sec, 560 secs
lola: 11035163 markings, 69481080 edges, 18746 markings/sec, 565 secs
lola: 11126477 markings, 70090352 edges, 18263 markings/sec, 570 secs
lola: 11219581 markings, 70696091 edges, 18621 markings/sec, 575 secs
lola: 11311174 markings, 71298687 edges, 18319 markings/sec, 580 secs
lola: 11401207 markings, 71895787 edges, 18007 markings/sec, 585 secs
lola: 11492617 markings, 72497242 edges, 18282 markings/sec, 590 secs
lola: 11584751 markings, 73100040 edges, 18427 markings/sec, 595 secs
lola: 11676989 markings, 73700065 edges, 18448 markings/sec, 600 secs
lola: 11757950 markings, 74263282 edges, 16192 markings/sec, 605 secs
lola: 11877501 markings, 74853309 edges, 23910 markings/sec, 610 secs
lola: 11975624 markings, 75467324 edges, 19625 markings/sec, 615 secs
lola: 12081748 markings, 76070097 edges, 21225 markings/sec, 620 secs
lola: 12200488 markings, 76663891 edges, 23748 markings/sec, 625 secs
lola: 12340286 markings, 77232026 edges, 27960 markings/sec, 630 secs
lola: 12474658 markings, 77831081 edges, 26874 markings/sec, 635 secs
lola: 12594734 markings, 78437478 edges, 24015 markings/sec, 640 secs
lola: 12704698 markings, 79048345 edges, 21993 markings/sec, 645 secs
lola: 12828007 markings, 79644088 edges, 24662 markings/sec, 650 secs
lola: 12932776 markings, 80250760 edges, 20954 markings/sec, 655 secs
lola: 13055873 markings, 80841340 edges, 24619 markings/sec, 660 secs
lola: 13166442 markings, 81439848 edges, 22114 markings/sec, 665 secs
lola: 13270023 markings, 82047416 edges, 20716 markings/sec, 670 secs
lola: 13374353 markings, 82661605 edges, 20866 markings/sec, 675 secs
lola: 13468879 markings, 83280177 edges, 18905 markings/sec, 680 secs
lola: 13564595 markings, 83894452 edges, 19143 markings/sec, 685 secs
lola: 13652771 markings, 84504498 edges, 17635 markings/sec, 690 secs
lola: 13746379 markings, 85112489 edges, 18722 markings/sec, 695 secs
lola: 13837010 markings, 85716656 edges, 18126 markings/sec, 700 secs
lola: 13926538 markings, 86317435 edges, 17906 markings/sec, 705 secs
lola: 14018697 markings, 86919341 edges, 18432 markings/sec, 710 secs
lola: 14107607 markings, 87518162 edges, 17782 markings/sec, 715 secs
lola: 14195958 markings, 88114157 edges, 17670 markings/sec, 720 secs
lola: 14284576 markings, 88711270 edges, 17724 markings/sec, 725 secs
lola: 14407095 markings, 89294876 edges, 24504 markings/sec, 730 secs
lola: 14518824 markings, 89885402 edges, 22346 markings/sec, 735 secs
lola: 14630731 markings, 90476170 edges, 22381 markings/sec, 740 secs
lola: 14742114 markings, 91046309 edges, 22277 markings/sec, 745 secs
lola: 14844867 markings, 91668834 edges, 20551 markings/sec, 750 secs
lola: 14955628 markings, 92246208 edges, 22152 markings/sec, 755 secs
lola: 15058268 markings, 92859423 edges, 20528 markings/sec, 760 secs
lola: 15190400 markings, 93458450 edges, 26426 markings/sec, 765 secs
lola: 15313203 markings, 94063835 edges, 24561 markings/sec, 770 secs
lola: 15427072 markings, 94667171 edges, 22774 markings/sec, 775 secs
lola: 15539105 markings, 95272689 edges, 22407 markings/sec, 780 secs
lola: 15661231 markings, 95867175 edges, 24425 markings/sec, 785 secs
lola: 15766935 markings, 96470180 edges, 21141 markings/sec, 790 secs
lola: 15890450 markings, 97059684 edges, 24703 markings/sec, 795 secs
lola: 16000258 markings, 97656648 edges, 21962 markings/sec, 800 secs
lola: 16114138 markings, 98246535 edges, 22776 markings/sec, 805 secs
lola: 16237015 markings, 98837089 edges, 24575 markings/sec, 810 secs
lola: 16355091 markings, 99447922 edges, 23615 markings/sec, 815 secs
lola: 16459660 markings, 100065878 edges, 20914 markings/sec, 820 secs
lola: 16562170 markings, 100684112 edges, 20502 markings/sec, 825 secs
lola: 16661303 markings, 101296552 edges, 19827 markings/sec, 830 secs
lola: 16761970 markings, 101911750 edges, 20133 markings/sec, 835 secs
lola: 16861170 markings, 102525189 edges, 19840 markings/sec, 840 secs
lola: 16959484 markings, 103130649 edges, 19663 markings/sec, 845 secs
lola: 17057636 markings, 103738987 edges, 19630 markings/sec, 850 secs
lola: 17151632 markings, 104310778 edges, 18799 markings/sec, 855 secs
lola: 17238656 markings, 104848636 edges, 17405 markings/sec, 860 secs
lola: 17339399 markings, 105454269 edges, 20149 markings/sec, 865 secs
lola: 17437940 markings, 106055470 edges, 19708 markings/sec, 870 secs
lola: 17533094 markings, 106653007 edges, 19031 markings/sec, 875 secs
lola: 17640626 markings, 107242927 edges, 21506 markings/sec, 880 secs
lola: 17743118 markings, 107837115 edges, 20498 markings/sec, 885 secs
lola: 17843678 markings, 108431616 edges, 20112 markings/sec, 890 secs
lola: 17961689 markings, 109032686 edges, 23602 markings/sec, 895 secs
lola: 18066902 markings, 109657264 edges, 21043 markings/sec, 900 secs
lola: 18168025 markings, 110279474 edges, 20225 markings/sec, 905 secs
lola: 18266258 markings, 110898392 edges, 19647 markings/sec, 910 secs
lola: 18366203 markings, 111513549 edges, 19989 markings/sec, 915 secs
lola: 18466320 markings, 112122352 edges, 20023 markings/sec, 920 secs
lola: 18566148 markings, 112733806 edges, 19966 markings/sec, 925 secs
lola: 18664951 markings, 113342647 edges, 19761 markings/sec, 930 secs
lola: 18759666 markings, 113948237 edges, 18943 markings/sec, 935 secs
lola: 18859790 markings, 114557297 edges, 20025 markings/sec, 940 secs
lola: 18957897 markings, 115159920 edges, 19621 markings/sec, 945 secs
lola: 19050141 markings, 115761539 edges, 18449 markings/sec, 950 secs
lola: 19144174 markings, 116374175 edges, 18807 markings/sec, 955 secs
lola: 19242551 markings, 116977787 edges, 19675 markings/sec, 960 secs
lola: 19331539 markings, 117577189 edges, 17798 markings/sec, 965 secs
lola: 19429818 markings, 118175579 edges, 19656 markings/sec, 970 secs
lola: 19517421 markings, 118774693 edges, 17521 markings/sec, 975 secs
lola: 19647777 markings, 119364242 edges, 26071 markings/sec, 980 secs
lola: 19769991 markings, 119967342 edges, 24443 markings/sec, 985 secs
lola: 19884798 markings, 120569774 edges, 22961 markings/sec, 990 secs
lola: 19994205 markings, 121175351 edges, 21881 markings/sec, 995 secs
lola: 20118120 markings, 121766750 edges, 24783 markings/sec, 1000 secs
lola: 20221939 markings, 122367778 edges, 20764 markings/sec, 1005 secs
lola: 20346478 markings, 122954446 edges, 24908 markings/sec, 1010 secs
lola: 20453871 markings, 123548003 edges, 21479 markings/sec, 1015 secs
lola: 20569218 markings, 124132816 edges, 23069 markings/sec, 1020 secs
lola: 20687911 markings, 124721033 edges, 23739 markings/sec, 1025 secs
lola: 20783925 markings, 125313746 edges, 19203 markings/sec, 1030 secs
lola: 20879836 markings, 125908827 edges, 19182 markings/sec, 1035 secs
lola: 21019719 markings, 126478323 edges, 27977 markings/sec, 1040 secs
lola: 21149596 markings, 127073071 edges, 25975 markings/sec, 1045 secs
lola: 21267206 markings, 127670438 edges, 23522 markings/sec, 1050 secs
lola: 21373637 markings, 128274854 edges, 21286 markings/sec, 1055 secs
lola: 21497546 markings, 128858498 edges, 24782 markings/sec, 1060 secs
lola: 21598922 markings, 129459097 edges, 20275 markings/sec, 1065 secs
lola: 21720764 markings, 130036520 edges, 24368 markings/sec, 1070 secs
lola: 21829512 markings, 130628067 edges, 21750 markings/sec, 1075 secs
lola: 21941957 markings, 131208400 edges, 22489 markings/sec, 1080 secs
lola: 22059380 markings, 131789486 edges, 23485 markings/sec, 1085 secs
lola: 22158821 markings, 132380982 edges, 19888 markings/sec, 1090 secs
lola: 22277636 markings, 132938316 edges, 23763 markings/sec, 1095 secs
lola: 22374930 markings, 133562863 edges, 19459 markings/sec, 1100 secs
lola: 22491472 markings, 134151521 edges, 23308 markings/sec, 1105 secs
lola: 22600927 markings, 134737739 edges, 21891 markings/sec, 1110 secs
lola: 22706500 markings, 135321480 edges, 21115 markings/sec, 1115 secs
lola: 22824410 markings, 135894658 edges, 23582 markings/sec, 1120 secs
lola: 22959869 markings, 136484141 edges, 27092 markings/sec, 1125 secs
lola: 23072808 markings, 137098640 edges, 22588 markings/sec, 1130 secs
lola: 23191682 markings, 137699769 edges, 23775 markings/sec, 1135 secs
lola: 23308842 markings, 138306557 edges, 23432 markings/sec, 1140 secs
lola: 23417783 markings, 138915454 edges, 21788 markings/sec, 1145 secs
lola: 23527613 markings, 139519480 edges, 21966 markings/sec, 1150 secs
lola: 23634082 markings, 140129419 edges, 21294 markings/sec, 1155 secs
lola: 23763111 markings, 140718057 edges, 25806 markings/sec, 1160 secs
lola: 23875395 markings, 141321127 edges, 22457 markings/sec, 1165 secs
lola: 23986381 markings, 141924193 edges, 22197 markings/sec, 1170 secs
lola: 24094099 markings, 142522979 edges, 21544 markings/sec, 1175 secs
lola: 24200270 markings, 143127355 edges, 21234 markings/sec, 1180 secs
lola: 24302069 markings, 143734322 edges, 20360 markings/sec, 1185 secs
lola: 24434282 markings, 144313597 edges, 26443 markings/sec, 1190 secs
lola: 24550939 markings, 144908446 edges, 23331 markings/sec, 1195 secs
lola: 24660631 markings, 145507256 edges, 21938 markings/sec, 1200 secs
lola: 24770681 markings, 146106850 edges, 22010 markings/sec, 1205 secs
lola: 24877251 markings, 146700574 edges, 21314 markings/sec, 1210 secs
lola: 24981823 markings, 147299556 edges, 20914 markings/sec, 1215 secs
lola: 25085463 markings, 147902136 edges, 20728 markings/sec, 1220 secs
lola: 25209429 markings, 148479500 edges, 24793 markings/sec, 1225 secs
lola: 25332220 markings, 149070825 edges, 24558 markings/sec, 1230 secs
lola: 25443943 markings, 149666337 edges, 22345 markings/sec, 1235 secs
lola: 25554198 markings, 150261518 edges, 22051 markings/sec, 1240 secs
lola: 25664582 markings, 150858589 edges, 22077 markings/sec, 1245 secs
lola: 25770659 markings, 151448400 edges, 21215 markings/sec, 1250 secs
lola: 25875401 markings, 152040326 edges, 20948 markings/sec, 1255 secs
lola: 25978091 markings, 152640835 edges, 20538 markings/sec, 1260 secs
lola: 26079786 markings, 153238149 edges, 20339 markings/sec, 1265 secs
lola: 26212831 markings, 153807548 edges, 26609 markings/sec, 1270 secs
lola: 26334926 markings, 154396803 edges, 24419 markings/sec, 1275 secs
lola: 26445778 markings, 154988536 edges, 22170 markings/sec, 1280 secs
lola: 26557015 markings, 155581549 edges, 22247 markings/sec, 1285 secs
lola: 26666132 markings, 156175380 edges, 21823 markings/sec, 1290 secs
lola: 26771802 markings, 156765765 edges, 21134 markings/sec, 1295 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: 26837168 markings, 157116951 edges
lola: ========================================
lola: subprocess 5 will run for 2175 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((G (((1 <= p803) AND (1 <= p870))) OR ((1 <= p176) AND (1 <= p217)))) OR (G (((p626 <= 1) AND (1 <= p626) AND (p845 <= 1) AND (1 <= p845))) OR F (G (((1 <= p803) AND (1 <= p870))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 2175 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p626 <= 1) AND (1 <= p626) AND (p845 <= 1) AND (1 <= p845)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p626 <= 1) AND (1 <= p626) AND (p845 <= 1) AND (1 <= p845)))
lola: processed formula length: 65
lola: 57 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: 126 markings, 126 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((G (((1 <= p803) AND (1 <= p870))) OR ((1 <= p176) AND (1 <= p217))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((G (((1 <= p803) AND (1 <= p870))) OR ((1 <= p176) AND (1 <= p217))))
lola: processed formula length: 72
lola: 57 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: 126 markings, 126 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (G ((G (((1 <= p803) AND (1 <= p870))) OR ((1 <= p176) AND (1 <= p217)))) OR (G (((p626 <= 1) AND (1 <= p626) AND (p845 <= 1) AND (1 <= p845))) OR F (G (((1 <= p803) AND (1 <= p870))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: G (((p626 <= 1) AND (1 <= p626) AND (p845 <= 1) AND (1 <= p845)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p626 <= 1) AND (1 <= p626) AND (p845 <= 1) AND (1 <= p845)))
lola: processed formula length: 65
lola: 57 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: 126 markings, 126 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: F (G (((1 <= p803) AND (1 <= p870))))
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 <= p803) AND (1 <= p870))))
lola: processed formula length: 37
lola: 57 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: 127 markings, 128 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G ((G (((1 <= p803) AND (1 <= p870))) OR ((1 <= p176) AND (1 <= p217))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((G (((1 <= p803) AND (1 <= p870))) OR ((1 <= p176) AND (1 <= p217))))
lola: processed formula length: 72
lola: 57 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: 126 markings, 126 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: RESULT
lola:
SUMMARY: no no no yes no yes
lola:
preliminary result: no no no yes no yes
lola: memory consumption: 55444 KB
lola: time consumption: 1395 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-04a"
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 ASLink-PT-04a, 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 r166-smll-158987787200058"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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