fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r040-smll-152646357200074
Last Updated
June 26, 2018

About the Execution of LoLA for ClientsAndServers-PT-N0005P0

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.390 2885753.00 2873635.00 18862.50 FFT?TFTFTFTTT?TF normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 168K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 119 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 357 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 8 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 9.1K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ClientsAndServers-PT-N0005P0, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357200074
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526504609816

info: Time: 3600 - MCC
===========================================================================================
prep: translating ClientsAndServers-PT-N0005P0 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating ClientsAndServers-PT-N0005P0 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ ClientsAndServers-PT-N0005P0 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 43/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 25 transition conflict sets
lola: TASK
lola: reading formula from ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: E (G (A (F (NOT FIREABLE(maU))))) : A (G (((FIREABLE(ssF) AND FIREABLE(srG)) OR NOT(E (G (FIREABLE(crG))))))) : A (F (FIREABLE(ssR))) : A (G (E (F (A (X (FIREABLE(ssF))))))) : A (F (NOT(A (F (NOT FIREABLE(srG)))))) : (((A (F (FIREABLE(msA))) AND A (G ((FIREABLE(ssR) OR FIREABLE(csR))))) OR (FIREABLE(csF) AND ((FIREABLE(crA)) AND A (F (FIREABLE(srF)))))) AND (NOT FIREABLE(csF) AND NOT FIREABLE(ssF) AND NOT FIREABLE(srG) AND NOT FIREABLE(ssF) AND NOT FIREABLE(ssG) AND NOT FIREABLE(srA))) : A (((NOT FIREABLE(crG) AND NOT FIREABLE(mrR)) U E (G (FIREABLE(mrR))))) : A ((A ((FIREABLE(ssF) U FIREABLE(csR))) U E ((FIREABLE(srF) U FIREABLE(srA))))) : A (F (FIREABLE(ssR))) : A (F (FIREABLE(ssF))) : E (F (E (G (E (G (FIREABLE(ssF))))))) : A (F (FIREABLE(ssR))) : A (F (E (X (E (G (FIREABLE(crG))))))) : NOT(E (G (A (F (FIREABLE(csF)))))) : E (G (E (G (A (F (FIREABLE(ssG))))))) : (E (G (E (G (NOT FIREABLE(ssG))))) AND A ((FIREABLE(maU) U A (F (FIREABLE(ssF))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:461
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:461
lola: rewrite Frontend/Parser/formula_rewrite.k:461
lola: rewrite Frontend/Parser/formula_rewrite.k:470
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (A (X (FIREABLE(ssF)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: processed formula: NOT(E(TRUE U NOT(E(TRUE U AX(FIREABLE(ssF))))))
lola: processed formula length: 47
lola: 18 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 948615 markings, 4941005 edges, 189723 markings/sec, 0 secs
lola: 1756104 markings, 9319883 edges, 161498 markings/sec, 5 secs
lola: 2511058 markings, 13484493 edges, 150991 markings/sec, 10 secs
lola: 3236814 markings, 17519576 edges, 145151 markings/sec, 15 secs
lola: 3941411 markings, 21469205 edges, 140919 markings/sec, 20 secs
lola: 4625577 markings, 25327826 edges, 136833 markings/sec, 25 secs
lola: 5296436 markings, 29123572 edges, 134172 markings/sec, 30 secs
lola: 5953853 markings, 32861722 edges, 131483 markings/sec, 35 secs
lola: 6607920 markings, 36586615 edges, 130813 markings/sec, 40 secs
lola: 7248868 markings, 40255035 edges, 128190 markings/sec, 45 secs
lola: 7882352 markings, 43891733 edges, 126697 markings/sec, 50 secs
lola: 8507244 markings, 47485047 edges, 124978 markings/sec, 55 secs
lola: 9123773 markings, 51038054 edges, 123306 markings/sec, 60 secs
lola: 9732303 markings, 54563651 edges, 121706 markings/sec, 65 secs
lola: 10334544 markings, 58058708 edges, 120448 markings/sec, 70 secs
lola: 10934824 markings, 61545777 edges, 120056 markings/sec, 75 secs
lola: 11530527 markings, 65008594 edges, 119141 markings/sec, 80 secs
lola: 12120124 markings, 68439934 edges, 117919 markings/sec, 85 secs
lola: 12709167 markings, 71869505 edges, 117809 markings/sec, 90 secs
lola: 13285669 markings, 75247984 edges, 115300 markings/sec, 95 secs
lola: 13872601 markings, 78682453 edges, 117386 markings/sec, 100 secs
lola: 14451317 markings, 82078522 edges, 115743 markings/sec, 105 secs
lola: 15027408 markings, 85460517 edges, 115218 markings/sec, 110 secs
lola: 15601014 markings, 88830918 edges, 114721 markings/sec, 115 secs
lola: 16168040 markings, 92168259 edges, 113405 markings/sec, 120 secs
lola: 16732212 markings, 95497581 edges, 112834 markings/sec, 125 secs
lola: 17298205 markings, 98835559 edges, 113199 markings/sec, 130 secs
lola: 17854606 markings, 102126132 edges, 111280 markings/sec, 135 secs
lola: 18411399 markings, 105414296 edges, 111359 markings/sec, 140 secs
lola: 18962852 markings, 108678695 edges, 110291 markings/sec, 145 secs
lola: 19514572 markings, 111941853 edges, 110344 markings/sec, 150 secs
lola: 20063779 markings, 115203714 edges, 109841 markings/sec, 155 secs
lola: 20620089 markings, 118493581 edges, 111262 markings/sec, 160 secs
lola: 21168536 markings, 121748080 edges, 109689 markings/sec, 165 secs
lola: 21712415 markings, 124988260 edges, 108776 markings/sec, 170 secs
lola: 22255762 markings, 128219024 edges, 108669 markings/sec, 175 secs
lola: 22797901 markings, 131445846 edges, 108428 markings/sec, 180 secs
lola: 23340380 markings, 134681237 edges, 108496 markings/sec, 185 secs
lola: 23874865 markings, 137873393 edges, 106897 markings/sec, 190 secs
lola: 24404478 markings, 141034895 edges, 105923 markings/sec, 195 secs
lola: 24931724 markings, 144188824 edges, 105449 markings/sec, 200 secs
lola: 25460794 markings, 147346972 edges, 105814 markings/sec, 205 secs
lola: 25982352 markings, 150474357 edges, 104312 markings/sec, 210 secs
lola: 26505260 markings, 153602145 edges, 104582 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5010956 KB
lola: time consumption: 224 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (X (E (G (FIREABLE(crG)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U EX(NOT(A(TRUE U NOT FIREABLE(crG)))))
lola: processed formula length: 46
lola: 19 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 228477 markings, 1330864 edges
lola: ========================================

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(ssR)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(ssR)
lola: processed formula length: 17
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 41 markings, 40 edges
lola: ========================================

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(ssF)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(ssF)
lola: processed formula length: 17
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 251 markings, 250 edges
lola: ========================================

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (FIREABLE(ssF)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: FIREABLE(ssF)
lola: processed formula length: 13
lola: 16 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 148 markings, 148 edges
lola: ========================================

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(ssR)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(ssR)
lola: processed formula length: 17
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 41 markings, 40 edges
lola: ========================================

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(ssR)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(ssR)
lola: processed formula length: 17
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 41 markings, 40 edges
lola: ========================================

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G (FIREABLE(srG)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: A(TRUE U NOT(A(TRUE U NOT FIREABLE(srG))))
lola: processed formula length: 42
lola: 18 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 98273 markings, 271017 edges
lola: ========================================

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 418 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F (NOT FIREABLE(maU)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U NOT FIREABLE(maU)))))
lola: processed formula length: 47
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 6279 markings, 8084 edges
lola: ========================================

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 477 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G (NOT FIREABLE(csF)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: A(TRUE U NOT(A(TRUE U FIREABLE(csF))))
lola: processed formula length: 38
lola: 18 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1946527 markings, 5768932 edges, 389305 markings/sec, 0 secs
lola: 3949279 markings, 11835701 edges, 400550 markings/sec, 5 secs
lola: 5988718 markings, 18064556 edges, 407888 markings/sec, 10 secs
lola: 7711153 markings, 23623167 edges, 344487 markings/sec, 15 secs
lola: 9135035 markings, 28522121 edges, 284776 markings/sec, 20 secs
lola: 10598111 markings, 33496581 edges, 292615 markings/sec, 25 secs
lola: 12029752 markings, 38650015 edges, 286328 markings/sec, 30 secs
lola: 13326551 markings, 43326592 edges, 259360 markings/sec, 35 secs
lola: 14528509 markings, 47773975 edges, 240392 markings/sec, 40 secs
lola: 15698651 markings, 52094052 edges, 234028 markings/sec, 45 secs
lola: 16863820 markings, 56419207 edges, 233034 markings/sec, 50 secs
lola: 18026749 markings, 60737348 edges, 232586 markings/sec, 55 secs
lola: 19201449 markings, 65064318 edges, 234940 markings/sec, 60 secs
lola: 20397826 markings, 69462282 edges, 239275 markings/sec, 65 secs
lola: 21849732 markings, 74578656 edges, 290381 markings/sec, 70 secs
lola: 23079732 markings, 79342882 edges, 246000 markings/sec, 75 secs
lola: 24252552 markings, 83896976 edges, 234564 markings/sec, 80 secs
lola: 25381564 markings, 88286484 edges, 225802 markings/sec, 85 secs
lola: 26578800 markings, 92731196 edges, 239447 markings/sec, 90 secs
lola: 27620625 markings, 96875584 edges, 208365 markings/sec, 95 secs
lola: 28735493 markings, 101084814 edges, 222974 markings/sec, 100 secs
lola: 29713412 markings, 105036457 edges, 195584 markings/sec, 105 secs
lola: 30813468 markings, 109143467 edges, 220011 markings/sec, 110 secs
lola: 31797528 markings, 113109716 edges, 196812 markings/sec, 115 secs
lola: 32836218 markings, 117093694 edges, 207738 markings/sec, 120 secs
lola: 33907745 markings, 121178879 edges, 214305 markings/sec, 125 secs
lola: 34893059 markings, 125100900 edges, 197063 markings/sec, 130 secs
lola: 35985670 markings, 129212290 edges, 218522 markings/sec, 135 secs
lola: 36965254 markings, 133124512 edges, 195917 markings/sec, 140 secs
lola: 38064315 markings, 137226660 edges, 219812 markings/sec, 145 secs
lola: 39019304 markings, 141109139 edges, 190998 markings/sec, 150 secs
lola: 40071104 markings, 145129867 edges, 210360 markings/sec, 155 secs
lola: 41139807 markings, 149228746 edges, 213741 markings/sec, 160 secs
lola: 42163982 markings, 153289254 edges, 204835 markings/sec, 165 secs
lola: 43568811 markings, 158236319 edges, 280966 markings/sec, 170 secs
lola: 44810260 markings, 163028379 edges, 248290 markings/sec, 175 secs
lola: 46022589 markings, 167661751 edges, 242466 markings/sec, 180 secs
lola: 47087086 markings, 172082370 edges, 212899 markings/sec, 185 secs
lola: 48228936 markings, 176496722 edges, 228370 markings/sec, 190 secs
lola: 49210223 markings, 180640876 edges, 196257 markings/sec, 195 secs
lola: 50223148 markings, 184813216 edges, 202585 markings/sec, 200 secs
lola: 51308691 markings, 189034852 edges, 217109 markings/sec, 205 secs
lola: 52236400 markings, 193027922 edges, 185542 markings/sec, 210 secs
lola: 53301322 markings, 197169183 edges, 212984 markings/sec, 215 secs
lola: 54238664 markings, 201016424 edges, 187468 markings/sec, 220 secs
lola: 55290225 markings, 205034001 edges, 210312 markings/sec, 225 secs
lola: 56376723 markings, 209206510 edges, 217300 markings/sec, 230 secs
lola: 57320699 markings, 213194921 edges, 188795 markings/sec, 235 secs
lola: 58219576 markings, 216963513 edges, 179775 markings/sec, 240 secs
lola: 59168045 markings, 220732080 edges, 189694 markings/sec, 245 secs
lola: 60165355 markings, 224570810 edges, 199462 markings/sec, 250 secs
lola: 61223724 markings, 228752382 edges, 211674 markings/sec, 255 secs
lola: 62081549 markings, 232418600 edges, 171565 markings/sec, 260 secs
lola: 63010541 markings, 236162206 edges, 185798 markings/sec, 265 secs
lola: 63934515 markings, 239906158 edges, 184795 markings/sec, 270 secs
lola: 65007532 markings, 243935473 edges, 214603 markings/sec, 275 secs
lola: 65923631 markings, 247683721 edges, 183220 markings/sec, 280 secs
lola: 66781334 markings, 251356441 edges, 171541 markings/sec, 285 secs
lola: 67717595 markings, 255090986 edges, 187252 markings/sec, 290 secs
lola: 68651968 markings, 258827733 edges, 186875 markings/sec, 295 secs
lola: 69704399 markings, 262821233 edges, 210486 markings/sec, 300 secs
lola: 70615065 markings, 266527595 edges, 182133 markings/sec, 305 secs
lola: 71445352 markings, 270133694 edges, 166057 markings/sec, 310 secs
lola: 72384117 markings, 273863863 edges, 187753 markings/sec, 315 secs
lola: 73327650 markings, 277613614 edges, 188707 markings/sec, 320 secs
lola: 74371365 markings, 281574983 edges, 208743 markings/sec, 325 secs
lola: 75275445 markings, 285277889 edges, 180816 markings/sec, 330 secs
lola: 76091805 markings, 288853112 edges, 163272 markings/sec, 335 secs
lola: 77061341 markings, 292647154 edges, 193907 markings/sec, 340 secs
lola: 77998053 markings, 296403281 edges, 187342 markings/sec, 345 secs
lola: 79070771 markings, 300436894 edges, 214544 markings/sec, 350 secs
lola: 79963850 markings, 304170251 edges, 178616 markings/sec, 355 secs
lola: 80810804 markings, 307834069 edges, 169391 markings/sec, 360 secs
lola: 81808171 markings, 311762700 edges, 199473 markings/sec, 365 secs
lola: 82825440 markings, 315721794 edges, 203454 markings/sec, 370 secs
lola: 84258953 markings, 320815651 edges, 286703 markings/sec, 375 secs
lola: 85494335 markings, 325516234 edges, 247076 markings/sec, 380 secs
lola: 86614590 markings, 330029932 edges, 224051 markings/sec, 385 secs
lola: 87763553 markings, 334460860 edges, 229793 markings/sec, 390 secs
lola: 88768560 markings, 338700007 edges, 201001 markings/sec, 395 secs
lola: 89791150 markings, 342931579 edges, 204518 markings/sec, 400 secs
lola: 90806624 markings, 347041075 edges, 203095 markings/sec, 405 secs
lola: 91884562 markings, 351277399 edges, 215588 markings/sec, 410 secs
lola: 92802429 markings, 355237544 edges, 183573 markings/sec, 415 secs
lola: 93679846 markings, 359157210 edges, 175483 markings/sec, 420 secs
lola: 94658828 markings, 363136192 edges, 195796 markings/sec, 425 secs
lola: 95623060 markings, 367084335 edges, 192846 markings/sec, 430 secs
lola: 96662716 markings, 371158559 edges, 207931 markings/sec, 435 secs
lola: 97543058 markings, 374932548 edges, 176068 markings/sec, 440 secs
lola: 98351793 markings, 378611919 edges, 161747 markings/sec, 445 secs
lola: 99282502 markings, 382477321 edges, 186142 markings/sec, 450 secs
lola: 100129898 markings, 386117229 edges, 169479 markings/sec, 455 secs
lola: 101160963 markings, 390149943 edges, 206213 markings/sec, 460 secs
lola: 102071739 markings, 393864276 edges, 182155 markings/sec, 465 secs
lola: 102908065 markings, 397475839 edges, 167265 markings/sec, 470 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes unknown yes unknown unknown unknown yes no yes yes yes unknown unknown unknown
lola: memory consumption: 7625320 KB
lola: time consumption: 703 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 477 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F (FIREABLE(ssG)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U FIREABLE(ssG)))))
lola: processed formula length: 43
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2150098 markings, 6154918 edges, 430020 markings/sec, 0 secs
lola: 4041197 markings, 11859623 edges, 378220 markings/sec, 5 secs
lola: 5746733 markings, 17117341 edges, 341107 markings/sec, 10 secs
lola: 7349879 markings, 22192006 edges, 320629 markings/sec, 15 secs
lola: 8665535 markings, 27169055 edges, 263131 markings/sec, 20 secs
lola: 9897039 markings, 32200623 edges, 246301 markings/sec, 25 secs
lola: 11244516 markings, 36982770 edges, 269495 markings/sec, 30 secs
lola: 12511937 markings, 41639039 edges, 253484 markings/sec, 35 secs
lola: 13508827 markings, 46290431 edges, 199378 markings/sec, 40 secs
lola: 14703397 markings, 51234115 edges, 238914 markings/sec, 45 secs
lola: 16061992 markings, 56061976 edges, 271719 markings/sec, 50 secs
lola: 17339838 markings, 60760778 edges, 255569 markings/sec, 55 secs
lola: 18310714 markings, 65486101 edges, 194175 markings/sec, 60 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 18499516 markings, 66702909 edges
lola: ========================================

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 560 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(crG) AND NOT FIREABLE(mrR)) U E (G (FIREABLE(mrR)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A((NOT FIREABLE(crG) AND NOT FIREABLE(mrR)) U NOT(A(TRUE U NOT FIREABLE(mrR))))
lola: processed formula length: 79
lola: 18 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1679 markings, 3129 edges
lola: ========================================

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 700 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(ssF) AND FIREABLE(srG)) OR A (F (NOT FIREABLE(crG))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(E(TRUE U ((NOT FIREABLE(ssF) OR NOT FIREABLE(srG)) AND NOT(A(TRUE U NOT FIREABLE(crG))))))
lola: processed formula length: 95
lola: 19 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 333 markings, 426 edges
lola: ========================================

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 933 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((A ((FIREABLE(ssF) U FIREABLE(csR))) U E ((FIREABLE(srF) U FIREABLE(srA)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A(A(FIREABLE(ssF) U FIREABLE(csR)) U E(FIREABLE(srF) U FIREABLE(srA)))
lola: processed formula length: 70
lola: 18 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 41 markings, 122 edges
lola: ========================================

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1400 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (NOT FIREABLE(ssG))) AND A (F (FIREABLE(ssF))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1400 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(ssF)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(ssF)
lola: processed formula length: 17
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 251 markings, 250 edges
lola: lola: SUBRESULT
========================================
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2801 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((A (F (FIREABLE(msA))) AND A (G ((FIREABLE(ssR) OR FIREABLE(csR))))) OR (FIREABLE(csF) AND ((FIREABLE(crA)) AND A (F (FIREABLE(srF)))))) AND (NOT FIREABLE(csF) AND NOT FIREABLE(ssF) AND NOT FIREABLE(srG) AND NOT FIREABLE(ssF) AND NOT FIREABLE(ssG) AND NOT FIREABLE(srA)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2801 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(csF) AND NOT FIREABLE(ssF) AND NOT FIREABLE(srG) AND NOT FIREABLE(ssF) AND NOT FIREABLE(ssG) AND NOT FIREABLE(srA))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(csF) AND NOT FIREABLE(ssF) AND NOT FIREABLE(srG) AND NOT FIREABLE(ssF) AND NOT FIREABLE(ssG) AND NOT FIREABLE(srA))
lola: processed formula length: 129
lola: 15 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(csF)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(csF)
lola: processed formula length: 13
lola: 15 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(msA)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(msA)
lola: processed formula length: 17
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 13707 markings, 16437 edges
lola: lola: SUBRESULT
lola: ========================================
result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G (E (F (A (X (FIREABLE(ssF)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: processed formula: NOT(E(TRUE U NOT(E(TRUE U AX(FIREABLE(ssF))))))
lola: processed formula length: 47
lola: 18 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 918199 markings, 4776124 edges, 183640 markings/sec, 0 secs
lola: 1728138 markings, 9167995 edges, 161988 markings/sec, 5 secs
lola: 2485071 markings, 13340991 edges, 151387 markings/sec, 10 secs
lola: 3211853 markings, 17381048 edges, 145356 markings/sec, 15 secs
lola: 3916015 markings, 21326287 edges, 140832 markings/sec, 20 secs
lola: 4602779 markings, 25199124 edges, 137353 markings/sec, 25 secs
lola: 5277926 markings, 29017357 edges, 135029 markings/sec, 30 secs
lola: 5937424 markings, 32767294 edges, 131900 markings/sec, 35 secs
lola: 6591947 markings, 36494481 edges, 130905 markings/sec, 40 secs
lola: 7235020 markings, 40174443 edges, 128615 markings/sec, 45 secs
lola: 7869119 markings, 43815568 edges, 126820 markings/sec, 50 secs
lola: 8495269 markings, 47416458 edges, 125230 markings/sec, 55 secs
lola: 9113948 markings, 50980754 edges, 123736 markings/sec, 60 secs
lola: 9723016 markings, 54509525 edges, 121814 markings/sec, 65 secs
lola: 10319110 markings, 57969151 edges, 119219 markings/sec, 70 secs
lola: 10914217 markings, 61426872 edges, 119021 markings/sec, 75 secs
lola: 11507305 markings, 64874316 edges, 118618 markings/sec, 80 secs
lola: 12090400 markings, 68267793 edges, 116619 markings/sec, 85 secs
lola: 12671220 markings, 71647743 edges, 116164 markings/sec, 90 secs
lola: 13242928 markings, 74997382 edges, 114342 markings/sec, 95 secs
lola: 13813872 markings, 78339102 edges, 114189 markings/sec, 100 secs
lola: 14378657 markings, 81650545 edges, 112957 markings/sec, 105 secs
lola: 14937688 markings, 84934650 edges, 111806 markings/sec, 110 secs
lola: 15500219 markings, 88236825 edges, 112506 markings/sec, 115 secs
lola: 16055635 markings, 91504340 edges, 111083 markings/sec, 120 secs
lola: 16605881 markings, 94752857 edges, 110049 markings/sec, 125 secs
lola: 17141308 markings, 97909776 edges, 107085 markings/sec, 130 secs
lola: 17669662 markings, 101024535 edges, 105671 markings/sec, 135 secs
lola: 18211089 markings, 104232037 edges, 108285 markings/sec, 140 secs
lola: 18763309 markings, 107498768 edges, 110444 markings/sec, 145 secs
lola: 19315344 markings, 110763506 edges, 110407 markings/sec, 150 secs
lola: 19862986 markings, 114006032 edges, 109528 markings/sec, 155 secs
lola: 20405132 markings, 117225037 edges, 108429 markings/sec, 160 secs
lola: 20953661 markings, 120470822 edges, 109706 markings/sec, 165 secs
lola: 21490000 markings, 123664835 edges, 107268 markings/sec, 170 secs
lola: 22029104 markings, 126864948 edges, 107821 markings/sec, 175 secs
lola: 22562558 markings, 130042335 edges, 106691 markings/sec, 180 secs
lola: 23094418 markings, 133215186 edges, 106372 markings/sec, 185 secs
lola: 23628035 markings, 136392588 edges, 106723 markings/sec, 190 secs
lola: 24155708 markings, 139550277 edges, 105535 markings/sec, 195 secs
lola: 24680896 markings, 142689338 edges, 105038 markings/sec, 200 secs
lola: 25204529 markings, 145820416 edges, 104727 markings/sec, 205 secs
lola: 25728525 markings, 148951846 edges, 104799 markings/sec, 210 secs
lola: 26249795 markings, 152072008 edges, 104254 markings/sec, 215 secs
lola: 26764089 markings, 155154556 edges, 102859 markings/sec, 220 secs
lola: 27285752 markings, 158269566 edges, 104333 markings/sec, 225 secs
lola: 27803946 markings, 161371192 edges, 103639 markings/sec, 230 secs
lola: 28316721 markings, 164447508 edges, 102555 markings/sec, 235 secs
lola: 28829663 markings, 167532002 edges, 102588 markings/sec, 240 secs
lola: 29336307 markings, 170578534 edges, 101329 markings/sec, 245 secs
lola: 29844915 markings, 173637843 edges, 101722 markings/sec, 250 secs
lola: 30354479 markings, 176694624 edges, 101913 markings/sec, 255 secs
lola: 30856281 markings, 179719675 edges, 100360 markings/sec, 260 secs
lola: 31358666 markings, 182741452 edges, 100477 markings/sec, 265 secs
lola: 31861068 markings, 185765399 edges, 100480 markings/sec, 270 secs
lola: 32362125 markings, 188788627 edges, 100211 markings/sec, 275 secs
lola: 32860146 markings, 191794531 edges, 99604 markings/sec, 280 secs
lola: 33355417 markings, 194791740 edges, 99054 markings/sec, 285 secs
lola: 33853020 markings, 197795616 edges, 99521 markings/sec, 290 secs
lola: 34349981 markings, 200793611 edges, 99392 markings/sec, 295 secs
lola: 34850948 markings, 203809849 edges, 100193 markings/sec, 300 secs
lola: 35344194 markings, 206792457 edges, 98649 markings/sec, 305 secs
lola: 35832260 markings, 209749227 edges, 97613 markings/sec, 310 secs
lola: 36322566 markings, 212713934 edges, 98061 markings/sec, 315 secs
lola: 36810969 markings, 215674172 edges, 97681 markings/sec, 320 secs
lola: 37297478 markings, 218623791 edges, 97302 markings/sec, 325 secs
lola: 37788153 markings, 221584460 edges, 98135 markings/sec, 330 secs
lola: 38276040 markings, 224540119 edges, 97577 markings/sec, 335 secs
lola: 38757847 markings, 227467919 edges, 96361 markings/sec, 340 secs
lola: 39243855 markings, 230413814 edges, 97202 markings/sec, 345 secs
lola: 39727942 markings, 233352069 edges, 96817 markings/sec, 350 secs
lola: 40211426 markings, 236284309 edges, 96697 markings/sec, 355 secs
lola: 40687897 markings, 239187705 edges, 95294 markings/sec, 360 secs
lola: 41162007 markings, 242072748 edges, 94822 markings/sec, 365 secs
lola: 41638784 markings, 244974502 edges, 95355 markings/sec, 370 secs
lola: 42118672 markings, 247884143 edges, 95978 markings/sec, 375 secs
lola: 42591318 markings, 250760428 edges, 94529 markings/sec, 380 secs
lola: 43062811 markings, 253638871 edges, 94299 markings/sec, 385 secs
lola: 43535292 markings, 256512206 edges, 94496 markings/sec, 390 secs
lola: 44009009 markings, 259398730 edges, 94743 markings/sec, 395 secs
lola: 44478880 markings, 262262071 edges, 93974 markings/sec, 400 secs
lola: 44947506 markings, 265124949 edges, 93725 markings/sec, 405 secs
lola: 45416321 markings, 267979649 edges, 93763 markings/sec, 410 secs
lola: 45880253 markings, 270806696 edges, 92786 markings/sec, 415 secs
lola: 46339183 markings, 273612740 edges, 91786 markings/sec, 420 secs
lola: 46806553 markings, 276457202 edges, 93474 markings/sec, 425 secs
lola: 47266843 markings, 279266738 edges, 92058 markings/sec, 430 secs
lola: 47729928 markings, 282090791 edges, 92617 markings/sec, 435 secs
lola: 48186243 markings, 284882099 edges, 91263 markings/sec, 440 secs
lola: 48642001 markings, 287669406 edges, 91152 markings/sec, 445 secs
lola: 49100942 markings, 290474301 edges, 91788 markings/sec, 450 secs
lola: 49558450 markings, 293266789 edges, 91502 markings/sec, 455 secs
lola: 50012415 markings, 296049477 edges, 90793 markings/sec, 460 secs
lola: 50467886 markings, 298837458 edges, 91094 markings/sec, 465 secs
lola: 50924224 markings, 301627715 edges, 91268 markings/sec, 470 secs
lola: 51377861 markings, 304401645 edges, 90727 markings/sec, 475 secs
lola: 51824657 markings, 307147849 edges, 89359 markings/sec, 480 secs
lola: 52278639 markings, 309928784 edges, 90796 markings/sec, 485 secs
lola: 52729968 markings, 312689713 edges, 90266 markings/sec, 490 secs
lola: 53182833 markings, 315464879 edges, 90573 markings/sec, 495 secs
lola: 53632687 markings, 318225573 edges, 89971 markings/sec, 500 secs
lola: 54080384 markings, 320968739 edges, 89539 markings/sec, 505 secs
lola: 54529716 markings, 323722292 edges, 89866 markings/sec, 510 secs
lola: 54979352 markings, 326481732 edges, 89927 markings/sec, 515 secs
lola: 55427140 markings, 329227245 edges, 89558 markings/sec, 520 secs
lola: 55876534 markings, 331987671 edges, 89879 markings/sec, 525 secs
lola: 56319610 markings, 334712137 edges, 88615 markings/sec, 530 secs
lola: 56764208 markings, 337445367 edges, 88920 markings/sec, 535 secs
lola: 57208836 markings, 340179675 edges, 88926 markings/sec, 540 secs
lola: 57649546 markings, 342893172 edges, 88142 markings/sec, 545 secs
lola: 58095560 markings, 345634757 edges, 89203 markings/sec, 550 secs
lola: 58541817 markings, 348379104 edges, 89251 markings/sec, 555 secs
lola: 58982819 markings, 351090736 edges, 88200 markings/sec, 560 secs
lola: 59423704 markings, 353805064 edges, 88177 markings/sec, 565 secs
lola: 59866666 markings, 356533348 edges, 88592 markings/sec, 570 secs
lola: 60306418 markings, 359238321 edges, 87950 markings/sec, 575 secs
lola: 60745082 markings, 361934139 edges, 87733 markings/sec, 580 secs
lola: 61186931 markings, 364648430 edges, 88370 markings/sec, 585 secs
lola: 61625438 markings, 367351742 edges, 87701 markings/sec, 590 secs
lola: 62066540 markings, 370074727 edges, 88220 markings/sec, 595 secs
lola: 62507425 markings, 372792333 edges, 88177 markings/sec, 600 secs
lola: 62944946 markings, 375485820 edges, 87504 markings/sec, 605 secs
lola: 63381851 markings, 378176696 edges, 87381 markings/sec, 610 secs
lola: 63813601 markings, 380846681 edges, 86350 markings/sec, 615 secs
lola: 64250253 markings, 383541045 edges, 87330 markings/sec, 620 secs
lola: 64689015 markings, 386239982 edges, 87752 markings/sec, 625 secs
lola: 65127677 markings, 388942733 edges, 87732 markings/sec, 630 secs
lola: 65560314 markings, 391618108 edges, 86527 markings/sec, 635 secs
lola: 65996490 markings, 394314027 edges, 87235 markings/sec, 640 secs
lola: 66435672 markings, 397019564 edges, 87836 markings/sec, 645 secs
lola: 66869956 markings, 399702836 edges, 86857 markings/sec, 650 secs
lola: 67304718 markings, 402385097 edges, 86952 markings/sec, 655 secs
lola: 67735617 markings, 405050852 edges, 86180 markings/sec, 660 secs
lola: 68164540 markings, 407707373 edges, 85785 markings/sec, 665 secs
lola: 68595802 markings, 410373116 edges, 86252 markings/sec, 670 secs
lola: 69023199 markings, 413018651 edges, 85479 markings/sec, 675 secs
lola: 69454194 markings, 415689541 edges, 86199 markings/sec, 680 secs
lola: 69884912 markings, 418350058 edges, 86144 markings/sec, 685 secs
lola: 70309656 markings, 420982175 edges, 84949 markings/sec, 690 secs
lola: 70738189 markings, 423639928 edges, 85707 markings/sec, 695 secs
lola: 71164980 markings, 426284171 edges, 85358 markings/sec, 700 secs
lola: 71594912 markings, 428947125 edges, 85986 markings/sec, 705 secs
lola: 72021596 markings, 431592280 edges, 85337 markings/sec, 710 secs
lola: 72447639 markings, 434230402 edges, 85209 markings/sec, 715 secs
lola: 72871344 markings, 436857689 edges, 84741 markings/sec, 720 secs
lola: 73298806 markings, 439507123 edges, 85492 markings/sec, 725 secs
lola: 73727089 markings, 442156251 edges, 85657 markings/sec, 730 secs
lola: 74150699 markings, 444780712 edges, 84722 markings/sec, 735 secs
lola: 74576281 markings, 447413622 edges, 85116 markings/sec, 740 secs
lola: 75001054 markings, 450050376 edges, 84955 markings/sec, 745 secs
lola: 75421477 markings, 452666213 edges, 84085 markings/sec, 750 secs
lola: 75843666 markings, 455283236 edges, 84438 markings/sec, 755 secs
lola: 76264147 markings, 457888459 edges, 84096 markings/sec, 760 secs
lola: 76688101 markings, 460514972 edges, 84791 markings/sec, 765 secs
lola: 77108026 markings, 463125847 edges, 83985 markings/sec, 770 secs
lola: 77528652 markings, 465733355 edges, 84125 markings/sec, 775 secs
lola: 77948016 markings, 468334419 edges, 83873 markings/sec, 780 secs
lola: 78365686 markings, 470934489 edges, 83534 markings/sec, 785 secs
lola: 78794973 markings, 473589784 edges, 85857 markings/sec, 790 secs
lola: 79219014 markings, 476213430 edges, 84808 markings/sec, 795 secs
lola: 79638879 markings, 478817794 edges, 83973 markings/sec, 800 secs
lola: 80061571 markings, 481437909 edges, 84538 markings/sec, 805 secs
lola: 80480357 markings, 484036310 edges, 83757 markings/sec, 810 secs
lola: 80896659 markings, 486630310 edges, 83260 markings/sec, 815 secs
lola: 81312606 markings, 489226386 edges, 83189 markings/sec, 820 secs
lola: 81727772 markings, 491811498 edges, 83033 markings/sec, 825 secs
lola: 82142098 markings, 494388841 edges, 82865 markings/sec, 830 secs
lola: 82559167 markings, 496986542 edges, 83414 markings/sec, 835 secs
lola: 82973892 markings, 499570740 edges, 82945 markings/sec, 840 secs
lola: 83388894 markings, 502148527 edges, 83000 markings/sec, 845 secs
lola: 83804828 markings, 504744961 edges, 83187 markings/sec, 850 secs
lola: 84217267 markings, 507314924 edges, 82488 markings/sec, 855 secs
lola: 84629752 markings, 509886765 edges, 82497 markings/sec, 860 secs
lola: 84911026 markings, 511635974 edges, 56255 markings/sec, 865 secs
lola: 84917995 markings, 511679257 edges, 1394 markings/sec, 870 secs
lola: 84925404 markings, 511724027 edges, 1482 markings/sec, 875 secs
lola: 84927862 markings, 511739300 edges, 492 markings/sec, 880 secs
lola: 84940555 markings, 511819615 edges, 2539 markings/sec, 885 secs
lola: 84949063 markings, 511871960 edges, 1702 markings/sec, 890 secs
lola: 84958787 markings, 511932360 edges, 1945 markings/sec, 895 secs
lola: 84959924 markings, 511939508 edges, 227 markings/sec, 900 secs
lola: 84966156 markings, 511978128 edges, 1246 markings/sec, 905 secs
lola: 84977286 markings, 512047333 edges, 2226 markings/sec, 910 secs
lola: 84986972 markings, 512108664 edges, 1937 markings/sec, 915 secs
lola: 84994901 markings, 512158771 edges, 1586 markings/sec, 920 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (F (E (G (NOT FIREABLE(csF)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: A(TRUE U NOT(A(TRUE U FIREABLE(csF))))
lola: processed formula length: 38
lola: 18 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2018975 markings, 5986441 edges, 403795 markings/sec, 0 secs
lola: 3945152 markings, 11822494 edges, 385235 markings/sec, 5 secs
lola: 5921778 markings, 17857197 edges, 395325 markings/sec, 10 secs
lola: 7611362 markings, 23273739 edges, 337917 markings/sec, 15 secs
lola: 8983298 markings, 27978745 edges, 274387 markings/sec, 20 secs
lola: 10324809 markings, 32621167 edges, 268302 markings/sec, 25 secs
lola: 11775851 markings, 37720959 edges, 290208 markings/sec, 30 secs
lola: 13028497 markings, 42282214 edges, 250529 markings/sec, 35 secs
lola: 14181967 markings, 46531789 edges, 230694 markings/sec, 40 secs
lola: 15318700 markings, 50709105 edges, 227347 markings/sec, 45 secs
lola: 16473479 markings, 54933853 edges, 230956 markings/sec, 50 secs
lola: 17599404 markings, 59081009 edges, 225185 markings/sec, 55 secs
lola: 18722389 markings, 63220970 edges, 224597 markings/sec, 60 secs
lola: 19850389 markings, 67380125 edges, 225600 markings/sec, 65 secs
lola: 21113413 markings, 71916285 edges, 252605 markings/sec, 70 secs
lola: 22396338 markings, 76713025 edges, 256585 markings/sec, 75 secs
lola: 23557747 markings, 81216916 edges, 232282 markings/sec, 80 secs
lola: 24666477 markings, 85532995 edges, 221746 markings/sec, 85 secs
lola: 25767005 markings, 89731106 edges, 220106 markings/sec, 90 secs
lola: 26889698 markings, 94011544 edges, 224539 markings/sec, 95 secs
lola: 27889881 markings, 97953539 edges, 200037 markings/sec, 100 secs
lola: 28984157 markings, 102083949 edges, 218855 markings/sec, 105 secs
lola: 29948052 markings, 105912801 edges, 192779 markings/sec, 110 secs
lola: 31024972 markings, 109952566 edges, 215384 markings/sec, 115 secs
lola: 31949716 markings, 113734881 edges, 184949 markings/sec, 120 secs
lola: 32995208 markings, 117676684 edges, 209098 markings/sec, 125 secs
lola: 34014456 markings, 121633508 edges, 203850 markings/sec, 130 secs
lola: 34985827 markings, 125480398 edges, 194274 markings/sec, 135 secs
lola: 36058686 markings, 129499638 edges, 214572 markings/sec, 140 secs
lola: 37023675 markings, 133338830 edges, 192998 markings/sec, 145 secs
lola: 38094083 markings, 137350605 edges, 214082 markings/sec, 150 secs
lola: 39028434 markings, 141144685 edges, 186870 markings/sec, 155 secs
lola: 40056796 markings, 145076479 edges, 205672 markings/sec, 160 secs
lola: 41110920 markings, 149106098 edges, 210825 markings/sec, 165 secs
lola: 42109018 markings, 153077979 edges, 199620 markings/sec, 170 secs
lola: 43483327 markings, 157915264 edges, 274862 markings/sec, 175 secs
lola: 44728610 markings, 162665757 edges, 249057 markings/sec, 180 secs
lola: 45913785 markings, 167227224 edges, 237035 markings/sec, 185 secs
lola: 46941501 markings, 171532618 edges, 205543 markings/sec, 190 secs
lola: 48076106 markings, 175914518 edges, 226921 markings/sec, 195 secs
lola: 49074607 markings, 180026925 edges, 199700 markings/sec, 200 secs
lola: 50063762 markings, 184129716 edges, 197831 markings/sec, 205 secs
lola: 51122323 markings, 188275872 edges, 211712 markings/sec, 210 secs
lola: 52028174 markings, 192144636 edges, 181170 markings/sec, 215 secs
lola: 53023090 markings, 196144285 edges, 198983 markings/sec, 220 secs
lola: 54022217 markings, 200062224 edges, 199825 markings/sec, 225 secs
lola: 54983291 markings, 203929000 edges, 192215 markings/sec, 230 secs
lola: 56061535 markings, 207925279 edges, 215649 markings/sec, 235 secs
lola: 57039139 markings, 211993704 edges, 195521 markings/sec, 240 secs
lola: 57916439 markings, 215706907 edges, 175460 markings/sec, 245 secs
lola: 58854338 markings, 219426821 edges, 187580 markings/sec, 250 secs
lola: 59785454 markings, 223121909 edges, 186223 markings/sec, 255 secs
lola: 60855192 markings, 227230316 edges, 213948 markings/sec, 260 secs
lola: 61752560 markings, 230940944 edges, 179474 markings/sec, 265 secs
lola: 62568396 markings, 234476647 edges, 163167 markings/sec, 270 secs
lola: 63517966 markings, 238201093 edges, 189914 markings/sec, 275 secs
lola: 64460305 markings, 241923285 edges, 188468 markings/sec, 280 secs
lola: 65505332 markings, 245921766 edges, 209005 markings/sec, 285 secs
lola: 66364661 markings, 249523298 edges, 171866 markings/sec, 290 secs
lola: 67186039 markings, 253061370 edges, 164276 markings/sec, 295 secs
lola: 68127876 markings, 256766494 edges, 188367 markings/sec, 300 secs
lola: 69082550 markings, 260490235 edges, 190935 markings/sec, 305 secs
lola: 70102049 markings, 264414535 edges, 203900 markings/sec, 310 secs
lola: 70961159 markings, 268012555 edges, 171822 markings/sec, 315 secs
lola: 71795119 markings, 271571789 edges, 166792 markings/sec, 320 secs
lola: 72715079 markings, 275232441 edges, 183992 markings/sec, 325 secs
lola: 73683403 markings, 278977501 edges, 193665 markings/sec, 330 secs
lola: 74686817 markings, 282856141 edges, 200683 markings/sec, 335 secs
lola: 75545629 markings, 286450991 edges, 171762 markings/sec, 340 secs
lola: 76393700 markings, 290037273 edges, 169614 markings/sec, 345 secs
lola: 77306215 markings, 293701490 edges, 182503 markings/sec, 350 secs
lola: 78296197 markings, 297500660 edges, 197996 markings/sec, 355 secs
lola: 79296856 markings, 301410530 edges, 200132 markings/sec, 360 secs
lola: 80170273 markings, 305077814 edges, 174683 markings/sec, 365 secs
lola: 81072038 markings, 308803264 edges, 180353 markings/sec, 370 secs
lola: 82007466 markings, 312603899 edges, 187086 markings/sec, 375 secs
lola: 83158643 markings, 316827797 edges, 230235 markings/sec, 380 secs
lola: 84495233 markings, 321759405 edges, 267318 markings/sec, 385 secs
lola: 85713640 markings, 326380838 edges, 243681 markings/sec, 390 secs
lola: 86792038 markings, 330771891 edges, 215680 markings/sec, 395 secs
lola: 87947082 markings, 335189435 edges, 231009 markings/sec, 400 secs
lola: 88903838 markings, 339321799 edges, 191351 markings/sec, 405 secs
lola: 89938412 markings, 343523063 edges, 206915 markings/sec, 410 secs
lola: 90946729 markings, 347589358 edges, 201663 markings/sec, 415 secs
lola: 91986254 markings, 351731869 edges, 207905 markings/sec, 420 secs
lola: 92895994 markings, 355655144 edges, 181948 markings/sec, 425 secs
lola: 93794240 markings, 359586809 edges, 179649 markings/sec, 430 secs
lola: 94729398 markings, 363437289 edges, 187032 markings/sec, 435 secs
lola: 95697072 markings, 367372553 edges, 193535 markings/sec, 440 secs
lola: 96684410 markings, 371242017 edges, 197468 markings/sec, 445 secs
lola: 97524668 markings, 374854639 edges, 168052 markings/sec, 450 secs
lola: 98269887 markings, 378274514 edges, 149044 markings/sec, 455 secs
lola: 99170348 markings, 382019673 edges, 180092 markings/sec, 460 secs
lola: 99952909 markings, 385332902 edges, 156512 markings/sec, 465 secs
lola: 100817892 markings, 388877705 edges, 172997 markings/sec, 470 secs
lola: 101733596 markings, 392452142 edges, 183141 markings/sec, 475 secs
lola: 102517831 markings, 395822744 edges, 156847 markings/sec, 480 secs
lola: 103243750 markings, 399048288 edges, 145184 markings/sec, 485 secs
lola: 104099037 markings, 402632865 edges, 171057 markings/sec, 490 secs
lola: 104894401 markings, 405996850 edges, 159073 markings/sec, 495 secs
lola: 105833770 markings, 409686989 edges, 187874 markings/sec, 500 secs
lola: 106629991 markings, 412930790 edges, 159244 markings/sec, 505 secs
lola: 107380840 markings, 416186806 edges, 150170 markings/sec, 510 secs
lola: 108171859 markings, 419410691 edges, 158204 markings/sec, 515 secs
lola: 108985625 markings, 422702774 edges, 162753 markings/sec, 520 secs
lola: 109802503 markings, 425869533 edges, 163376 markings/sec, 525 secs
lola: 110702687 markings, 429275204 edges, 180037 markings/sec, 530 secs
lola: 111566201 markings, 432840898 edges, 172703 markings/sec, 535 secs
lola: 112376691 markings, 436355060 edges, 162098 markings/sec, 540 secs
lola: 113157541 markings, 439793566 edges, 156170 markings/sec, 545 secs
lola: 113889930 markings, 442919773 edges, 146478 markings/sec, 550 secs
lola: 114616611 markings, 445972865 edges, 145336 markings/sec, 555 secs
lola: 115446670 markings, 449312763 edges, 166012 markings/sec, 560 secs
lola: 116262656 markings, 452775017 edges, 163197 markings/sec, 565 secs
lola: 117147029 markings, 456295407 edges, 176875 markings/sec, 570 secs
lola: 118071335 markings, 459897277 edges, 184861 markings/sec, 575 secs
lola: 119086651 markings, 463927414 edges, 203063 markings/sec, 580 secs
lola: 119903250 markings, 467410623 edges, 163320 markings/sec, 585 secs
lola: 120715523 markings, 470852255 edges, 162455 markings/sec, 590 secs
lola: 121459810 markings, 474209201 edges, 148857 markings/sec, 595 secs
lola: 122236761 markings, 477562076 edges, 155390 markings/sec, 600 secs
lola: 123128776 markings, 481097048 edges, 178403 markings/sec, 605 secs
lola: 123930315 markings, 484507794 edges, 160308 markings/sec, 610 secs
lola: 124813192 markings, 488018248 edges, 176575 markings/sec, 615 secs
lola: 125723039 markings, 491584600 edges, 181969 markings/sec, 620 secs
lola: 126718763 markings, 495468572 edges, 199145 markings/sec, 625 secs
lola: 127537255 markings, 498941532 edges, 163698 markings/sec, 630 secs
lola: 128350090 markings, 502373482 edges, 162567 markings/sec, 635 secs
lola: 129071041 markings, 505689914 edges, 144190 markings/sec, 640 secs
lola: 129839160 markings, 508997580 edges, 153624 markings/sec, 645 secs
lola: 130750798 markings, 512574849 edges, 182328 markings/sec, 650 secs
lola: 131554785 markings, 515968706 edges, 160797 markings/sec, 655 secs
lola: 132421786 markings, 519478643 edges, 173400 markings/sec, 660 secs
lola: 133298753 markings, 522969906 edges, 175393 markings/sec, 665 secs
lola: 134306336 markings, 526839420 edges, 201517 markings/sec, 670 secs
lola: 135123871 markings, 530294523 edges, 163507 markings/sec, 675 secs
lola: 135949979 markings, 533724519 edges, 165222 markings/sec, 680 secs
lola: 136677717 markings, 537045334 edges, 145548 markings/sec, 685 secs
lola: 137437383 markings, 540385925 edges, 151933 markings/sec, 690 secs
lola: 138327699 markings, 543914771 edges, 178063 markings/sec, 695 secs
lola: 139158843 markings, 547343269 edges, 166229 markings/sec, 700 secs
lola: 139996941 markings, 550849083 edges, 167620 markings/sec, 705 secs
lola: 140881543 markings, 554372821 edges, 176920 markings/sec, 710 secs
lola: 141906264 markings, 558226676 edges, 204944 markings/sec, 715 secs
lola: 142760952 markings, 561789126 edges, 170938 markings/sec, 720 secs
lola: 143587100 markings, 565261208 edges, 165230 markings/sec, 725 secs
lola: 144350758 markings, 568697237 edges, 152732 markings/sec, 730 secs
lola: 145115047 markings, 572093948 edges, 152858 markings/sec, 735 secs
lola: 146032181 markings, 575763583 edges, 183427 markings/sec, 740 secs
lola: 146912743 markings, 579366010 edges, 176112 markings/sec, 745 secs
lola: 147776446 markings, 583000559 edges, 172741 markings/sec, 750 secs
lola: 148696234 markings, 586649271 edges, 183958 markings/sec, 755 secs
lola: 149988123 markings, 591283939 edges, 258378 markings/sec, 760 secs
lola: 151215854 markings, 595947998 edges, 245546 markings/sec, 765 secs
lola: 152398074 markings, 600432609 edges, 236444 markings/sec, 770 secs
lola: 153431235 markings, 604751603 edges, 206632 markings/sec, 775 secs
lola: 154495392 markings, 608946313 edges, 212831 markings/sec, 780 secs
lola: 155614215 markings, 613230378 edges, 223765 markings/sec, 785 secs
lola: 156555593 markings, 617236694 edges, 188276 markings/sec, 790 secs
lola: 157441987 markings, 621175387 edges, 177279 markings/sec, 795 secs
lola: 158487285 markings, 625389249 edges, 209060 markings/sec, 800 secs
lola: 159462304 markings, 629420048 edges, 195004 markings/sec, 805 secs
lola: 160577477 markings, 633698084 edges, 223035 markings/sec, 810 secs
lola: 161496641 markings, 637642209 edges, 183833 markings/sec, 815 secs
lola: 162421118 markings, 641607785 edges, 184895 markings/sec, 820 secs
lola: 163264444 markings, 645470669 edges, 168665 markings/sec, 825 secs
lola: 164230752 markings, 649528155 edges, 193262 markings/sec, 830 secs
lola: 165148866 markings, 653382721 edges, 183623 markings/sec, 835 secs
lola: 166055270 markings, 657247479 edges, 181281 markings/sec, 840 secs
lola: 167024176 markings, 661184809 edges, 193781 markings/sec, 845 secs
lola: 168078365 markings, 665320864 edges, 210838 markings/sec, 850 secs
lola: 168943575 markings, 669060308 edges, 173042 markings/sec, 855 secs
lola: 169841617 markings, 672896897 edges, 179608 markings/sec, 860 secs
lola: 170614502 markings, 676491948 edges, 154577 markings/sec, 865 secs
lola: 171411285 markings, 680143264 edges, 159357 markings/sec, 870 secs
lola: 172329392 markings, 683958025 edges, 183621 markings/sec, 875 secs
lola: 173139352 markings, 687398343 edges, 161992 markings/sec, 880 secs
lola: 173919555 markings, 690839779 edges, 156041 markings/sec, 885 secs
lola: 174806428 markings, 694524335 edges, 177375 markings/sec, 890 secs
lola: 175707491 markings, 698208208 edges, 180213 markings/sec, 895 secs
lola: 176679124 markings, 702022890 edges, 194327 markings/sec, 900 secs
lola: 177501549 markings, 705512208 edges, 164485 markings/sec, 905 secs
lola: 178254610 markings, 708875076 edges, 150612 markings/sec, 910 secs
lola: 179038364 markings, 712319338 edges, 156751 markings/sec, 915 secs
lola: 179722655 markings, 715595081 edges, 136858 markings/sec, 920 secs
lola: 180498041 markings, 719068531 edges, 155077 markings/sec, 925 secs
lola: 181380793 markings, 722664943 edges, 176550 markings/sec, 930 secs
lola: 182163952 markings, 725995945 edges, 156632 markings/sec, 935 secs
lola: 182887438 markings, 729253321 edges, 144697 markings/sec, 940 secs
lola: 183760391 markings, 732846095 edges, 174591 markings/sec, 945 secs
lola: 184649563 markings, 736471378 edges, 177834 markings/sec, 950 secs
lola: 185556225 markings, 740071527 edges, 181332 markings/sec, 955 secs
lola: 186328859 markings, 743379511 edges, 154527 markings/sec, 960 secs
lola: 187097983 markings, 746740140 edges, 153825 markings/sec, 965 secs
lola: 187818553 markings, 749972392 edges, 144114 markings/sec, 970 secs
lola: 188520612 markings, 753233829 edges, 140412 markings/sec, 975 secs
lola: 189340973 markings, 756732843 edges, 164072 markings/sec, 980 secs
lola: 190115095 markings, 759965807 edges, 154824 markings/sec, 985 secs
lola: 190861799 markings, 763250424 edges, 149341 markings/sec, 990 secs
lola: 191747971 markings, 766918017 edges, 177234 markings/sec, 995 secs
lola: 192719753 markings, 770730005 edges, 194356 markings/sec, 1000 secs
lola: 193559008 markings, 774193924 edges, 167851 markings/sec, 1005 secs
lola: 194358929 markings, 777634955 edges, 159984 markings/sec, 1010 secs
lola: 195063341 markings, 780900559 edges, 140882 markings/sec, 1015 secs
lola: 195940941 markings, 784524346 edges, 175520 markings/sec, 1020 secs
lola: 196738477 markings, 787882004 edges, 159507 markings/sec, 1025 secs
lola: 197616260 markings, 791490158 edges, 175557 markings/sec, 1030 secs
lola: 198541693 markings, 795085138 edges, 185087 markings/sec, 1035 secs
lola: 199388587 markings, 798589580 edges, 169379 markings/sec, 1040 secs
lola: 200348281 markings, 802249590 edges, 191939 markings/sec, 1045 secs
lola: 201361547 markings, 806373339 edges, 202653 markings/sec, 1050 secs
lola: 202241449 markings, 810133387 edges, 175980 markings/sec, 1055 secs
lola: 203014965 markings, 813624762 edges, 154703 markings/sec, 1060 secs
lola: 203835358 markings, 817190339 edges, 164079 markings/sec, 1065 secs
lola: 204561835 markings, 820524555 edges, 145295 markings/sec, 1070 secs
lola: 205362501 markings, 823978139 edges, 160133 markings/sec, 1075 secs
lola: 206095620 markings, 827260776 edges, 146624 markings/sec, 1080 secs
lola: 206990620 markings, 830850249 edges, 179000 markings/sec, 1085 secs
lola: 207803797 markings, 834252360 edges, 162635 markings/sec, 1090 secs
lola: 208615996 markings, 837653675 edges, 162440 markings/sec, 1095 secs
lola: 209363094 markings, 841002339 edges, 149420 markings/sec, 1100 secs
lola: 210229532 markings, 844505501 edges, 173288 markings/sec, 1105 secs
lola: 211035257 markings, 847871596 edges, 161145 markings/sec, 1110 secs
lola: 211918307 markings, 851393911 edges, 176610 markings/sec, 1115 secs
lola: 213001953 markings, 855534887 edges, 216729 markings/sec, 1120 secs
lola: 213875305 markings, 859249788 edges, 174670 markings/sec, 1125 secs
lola: 214695892 markings, 862768923 edges, 164117 markings/sec, 1130 secs
lola: 215500637 markings, 866164505 edges, 160949 markings/sec, 1135 secs
lola: 216252426 markings, 869529848 edges, 150358 markings/sec, 1140 secs
lola: 216941887 markings, 872793616 edges, 137892 markings/sec, 1145 secs
lola: 217695436 markings, 876114736 edges, 150710 markings/sec, 1150 secs
lola: 218418218 markings, 879356216 edges, 144556 markings/sec, 1155 secs
lola: 219280055 markings, 882748481 edges, 172367 markings/sec, 1160 secs
lola: 219424611 markings, 883341484 edges, 28911 markings/sec, 1165 secs
lola: 219440151 markings, 883407149 edges, 3108 markings/sec, 1170 secs
lola: 219497614 markings, 883631447 edges, 11493 markings/sec, 1175 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: no no yes unknown yes no yes no yes no yes yes yes unknown yes no
lola:
preliminary result: no no yes unknown yes no yes no yes no yes yes yes unknown yes no
lola: memory consumption: 12996 KB
lola: time consumption: 2886 seconds

BK_STOP 1526507495569

--------------------
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="ClientsAndServers-PT-N0005P0"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
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

tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0005P0.tgz
mv ClientsAndServers-PT-N0005P0 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is ClientsAndServers-PT-N0005P0, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r040-smll-152646357200074"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;