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

About the Execution of LoLA for CloudReconfiguration-PT-305

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4577.300 3570495.00 3612914.00 10028.80 TFFTFT?FFFF?T?T? 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 836K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K 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 8.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K 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 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 660K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-305, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646379800032
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526482999745

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-305 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating CloudReconfiguration-PT-305 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ CloudReconfiguration-PT-305 @ 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: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: Size of bit vector: 2585
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2708 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-305-CTLFireability.task
lola: E (F (E (G (E (G (FIREABLE(t2682))))))) : NOT(NOT((E (F (NOT FIREABLE(t2710))) AND (E (G (FIREABLE(t718))) OR A (F (FIREABLE(t340))))))) : ((A (F ((FIREABLE(t2255) AND FIREABLE(t2743) AND FIREABLE(t1438) AND FIREABLE(t2557)))) OR (FIREABLE(t2119) OR E ((FIREABLE(t2411) U FIREABLE(t33))))) OR FIREABLE(t233)) : E ((A (F (NOT FIREABLE(t2635))) U (FIREABLE(t2003) AND E (F (FIREABLE(t433)))))) : NOT((E (G (E (F (FIREABLE(t2082))))) OR NOT(A (F ((FIREABLE(t973) OR FIREABLE(t2408))))))) : (A (F ((E (X (FIREABLE(t1444))) AND FIREABLE(t1884)))) OR E (G (NOT(E (X (FIREABLE(t2473))))))) : E ((((FIREABLE(t2788) AND (FIREABLE(t2718) OR FIREABLE(t4))) OR NOT FIREABLE(t263)) U A (G (NOT FIREABLE(t3022))))) : A (F ((FIREABLE(t2101) AND FIREABLE(t3042) AND FIREABLE(t217) AND FIREABLE(t957) AND FIREABLE(t2417) AND FIREABLE(t2908)))) : A (F (FIREABLE(t2317))) : A (F (A (F (FIREABLE(t1856))))) : (FIREABLE(t1435) OR NOT(((E (F (FIREABLE(t2282))) OR (FIREABLE(t503) AND FIREABLE(t2179) AND FIREABLE(t1077) AND FIREABLE(t137))) OR FIREABLE(t3089)))) : (A ((A (G (FIREABLE(t398))) U A (F (FIREABLE(t146))))) OR A (((FIREABLE(t1663) AND FIREABLE(t2336) AND NOT FIREABLE(t1444)) U ((FIREABLE(t1863) OR FIREABLE(t2014)) AND NOT FIREABLE(t2366))))) : (E (G (NOT(A (G (FIREABLE(t129)))))) OR A (((NOT FIREABLE(t2827) AND FIREABLE(t1765)) U (FIREABLE(t2147) OR (FIREABLE(t2554) AND FIREABLE(t2541)))))) : E (F ((E (F (FIREABLE(t290))) AND A ((FIREABLE(t2262) U FIREABLE(t1165)))))) : A (F (A (F (E (F (FIREABLE(t1175))))))) : A (X (NOT(E (F ((FIREABLE(t1133) AND FIREABLE(t3000)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:461
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:392
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:479
lola: rewrite Frontend/Parser/formula_rewrite.k:392
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:449
lola: rewrite Frontend/Parser/formula_rewrite.k:449
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((E (X (FIREABLE(t1444))) AND FIREABLE(t1884)))) OR E (G (A (X (NOT FIREABLE(t2473))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (X (NOT FIREABLE(t2473)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(AX(NOT FIREABLE(t2473)))))
lola: processed formula length: 43
lola: 62 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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 1 significant temporal operators and needs 5 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: 69 markings, 69 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================

FORMULA CloudReconfiguration-PT-305-CTLFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G ((NOT FIREABLE(t1133) OR NOT FIREABLE(t3000))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:663
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: (FIREABLE(t1133) AND FIREABLE(t3000))
lola: processed formula length: 37
lola: 62 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: 62536 markings, 81753 edges, 12507 markings/sec, 0 secs
lola: 143500 markings, 205908 edges, 16193 markings/sec, 5 secs
lola: 219299 markings, 337242 edges, 15160 markings/sec, 10 secs
lola: 290734 markings, 465058 edges, 14287 markings/sec, 15 secs
lola: 356075 markings, 590823 edges, 13068 markings/sec, 20 secs
lola: 427926 markings, 705441 edges, 14370 markings/sec, 25 secs
lola: 504127 markings, 841512 edges, 15240 markings/sec, 30 secs
lola: 576860 markings, 953187 edges, 14547 markings/sec, 35 secs
lola: 648977 markings, 1043420 edges, 14423 markings/sec, 40 secs
lola: 720598 markings, 1133435 edges, 14324 markings/sec, 45 secs
lola: 791042 markings, 1245254 edges, 14089 markings/sec, 50 secs
lola: 865252 markings, 1377368 edges, 14842 markings/sec, 55 secs
lola: 932309 markings, 1493616 edges, 13411 markings/sec, 60 secs
lola: 1000266 markings, 1579750 edges, 13591 markings/sec, 65 secs
lola: 1072570 markings, 1671980 edges, 14461 markings/sec, 70 secs
lola: 1147922 markings, 1771652 edges, 15070 markings/sec, 75 secs
lola: 1222458 markings, 1864750 edges, 14907 markings/sec, 80 secs
lola: 1292949 markings, 1953187 edges, 14098 markings/sec, 85 secs
lola: 1362086 markings, 2039435 edges, 13827 markings/sec, 90 secs
lola: 1434819 markings, 2132075 edges, 14547 markings/sec, 95 secs
lola: 1502587 markings, 2219311 edges, 13554 markings/sec, 100 secs
lola: 1578629 markings, 2320221 edges, 15208 markings/sec, 105 secs
lola: 1649883 markings, 2409357 edges, 14251 markings/sec, 110 secs
lola: 1718337 markings, 2495470 edges, 13691 markings/sec, 115 secs
lola: 1782831 markings, 2576119 edges, 12899 markings/sec, 120 secs
lola: 1849591 markings, 2659653 edges, 13352 markings/sec, 125 secs
lola: 1921552 markings, 2753489 edges, 14392 markings/sec, 130 secs
lola: 1992290 markings, 2847146 edges, 14148 markings/sec, 135 secs
lola: 2075905 markings, 2991367 edges, 16723 markings/sec, 140 secs
lola: 2151627 markings, 3117496 edges, 15144 markings/sec, 145 secs
lola: 2226200 markings, 3213378 edges, 14915 markings/sec, 150 secs
lola: 2297464 markings, 3303461 edges, 14253 markings/sec, 155 secs
lola: 2370873 markings, 3400439 edges, 14682 markings/sec, 160 secs
lola: 2434002 markings, 3484544 edges, 12626 markings/sec, 165 secs
lola: 2504124 markings, 3584612 edges, 14024 markings/sec, 170 secs
lola: 2576741 markings, 3678057 edges, 14523 markings/sec, 175 secs
lola: 2644032 markings, 3767903 edges, 13458 markings/sec, 180 secs
lola: 2708352 markings, 3853394 edges, 12864 markings/sec, 185 secs
lola: 2776591 markings, 3943920 edges, 13648 markings/sec, 190 secs
lola: 2842334 markings, 4031679 edges, 13149 markings/sec, 195 secs
lola: 2924340 markings, 4149306 edges, 16401 markings/sec, 200 secs
lola: 3004267 markings, 4252058 edges, 15985 markings/sec, 205 secs
lola: 3084396 markings, 4352590 edges, 16026 markings/sec, 210 secs
lola: 3156461 markings, 4447116 edges, 14413 markings/sec, 215 secs
lola: 3221090 markings, 4528849 edges, 12926 markings/sec, 220 secs
lola: 3282353 markings, 4610486 edges, 12253 markings/sec, 225 secs
lola: 3362053 markings, 4741976 edges, 15940 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 594076 KB
lola: time consumption: 238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1175)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t1175)))
lola: processed formula length: 23
lola: 61 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t1175)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-305-CTLFireability-2-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 51 markings, 50 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-305-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t1856)))
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(t1856)
lola: processed formula length: 19
lola: 62 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 87 markings, 87 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-305-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (FIREABLE(t2682)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: FIREABLE(t2682)
lola: processed formula length: 15
lola: 61 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 119 markings, 119 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-305-CTLFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t2317)))
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(t2317)
lola: processed formula length: 19
lola: 62 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 87 markings, 87 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-305-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 333 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t2101) AND FIREABLE(t3042) AND FIREABLE(t217) AND FIREABLE(t957) AND FIREABLE(t2417) AND FIREABLE(t2908))))
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(t2101) OR NOT FIREABLE(t3042) OR NOT FIREABLE(t217) OR NOT FIREABLE(t957) OR NOT FIREABLE(t2417) OR NOT FIREABLE(t2908))
lola: processed formula length: 139
lola: 62 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 66 markings, 66 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-305-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((FIREABLE(t2788) AND (FIREABLE(t2718) OR FIREABLE(t4))) OR NOT FIREABLE(t263)) U A (G (NOT FIREABLE(t3022)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(((FIREABLE(t2788) AND (FIREABLE(t2718) OR FIREABLE(t4))) OR NOT FIREABLE(t263)) U NOT(E(TRUE U FIREABLE(t3022))))
lola: processed formula length: 117
lola: 63 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 115604 markings, 198859 edges, 23121 markings/sec, 0 secs
lola: 238054 markings, 401184 edges, 24490 markings/sec, 5 secs
lola: 352532 markings, 591510 edges, 22896 markings/sec, 10 secs
lola: 451968 markings, 760387 edges, 19887 markings/sec, 15 secs
lola: 559056 markings, 937735 edges, 21418 markings/sec, 20 secs
lola: 677138 markings, 1123506 edges, 23616 markings/sec, 25 secs
lola: 786833 markings, 1306496 edges, 21939 markings/sec, 30 secs
lola: 890808 markings, 1485791 edges, 20795 markings/sec, 35 secs
lola: 996028 markings, 1668574 edges, 21044 markings/sec, 40 secs
lola: 1101129 markings, 1845551 edges, 21020 markings/sec, 45 secs
lola: 1212842 markings, 2019886 edges, 22343 markings/sec, 50 secs
lola: 1316841 markings, 2200402 edges, 20800 markings/sec, 55 secs
lola: 1408095 markings, 2370006 edges, 18251 markings/sec, 60 secs
lola: 1503329 markings, 2544775 edges, 19047 markings/sec, 65 secs
lola: 1631263 markings, 2736623 edges, 25587 markings/sec, 70 secs
lola: 1757839 markings, 2924462 edges, 25315 markings/sec, 75 secs
lola: 1870762 markings, 3106879 edges, 22585 markings/sec, 80 secs
lola: 1988266 markings, 3291248 edges, 23501 markings/sec, 85 secs
lola: 2111316 markings, 3476083 edges, 24610 markings/sec, 90 secs
lola: 2222313 markings, 3656180 edges, 22199 markings/sec, 95 secs
lola: 2324398 markings, 3831316 edges, 20417 markings/sec, 100 secs
lola: 2432102 markings, 4010566 edges, 21541 markings/sec, 105 secs
lola: 2538558 markings, 4183946 edges, 21291 markings/sec, 110 secs
lola: 2646195 markings, 4355796 edges, 21527 markings/sec, 115 secs
lola: 2743510 markings, 4520570 edges, 19463 markings/sec, 120 secs
lola: 2860388 markings, 4702254 edges, 23376 markings/sec, 125 secs
lola: 2986662 markings, 4889740 edges, 25255 markings/sec, 130 secs
lola: 3090002 markings, 5072089 edges, 20668 markings/sec, 135 secs
lola: 3201965 markings, 5254356 edges, 22393 markings/sec, 140 secs
lola: 3328915 markings, 5441012 edges, 25390 markings/sec, 145 secs
lola: 3431739 markings, 5609782 edges, 20565 markings/sec, 150 secs
lola: 3537603 markings, 5789602 edges, 21173 markings/sec, 155 secs
lola: 3638759 markings, 5964514 edges, 20231 markings/sec, 160 secs
lola: 3738797 markings, 6130549 edges, 20008 markings/sec, 165 secs
lola: 3848580 markings, 6297691 edges, 21957 markings/sec, 170 secs
lola: 3950840 markings, 6459646 edges, 20452 markings/sec, 175 secs
lola: 4049008 markings, 6619948 edges, 19634 markings/sec, 180 secs
lola: 4150936 markings, 6774367 edges, 20386 markings/sec, 185 secs
lola: 4261893 markings, 6938722 edges, 22191 markings/sec, 190 secs
lola: 4366636 markings, 7095888 edges, 20949 markings/sec, 195 secs
lola: 4457678 markings, 7251886 edges, 18208 markings/sec, 200 secs
lola: 4566763 markings, 7423840 edges, 21817 markings/sec, 205 secs
lola: 4688156 markings, 7600715 edges, 24279 markings/sec, 210 secs
lola: 4791478 markings, 7773498 edges, 20664 markings/sec, 215 secs
lola: 4882131 markings, 7949563 edges, 18131 markings/sec, 220 secs
lola: 4969636 markings, 8109686 edges, 17501 markings/sec, 225 secs
lola: 5071508 markings, 8269898 edges, 20374 markings/sec, 230 secs
lola: 5164970 markings, 8431752 edges, 18692 markings/sec, 235 secs
lola: 5254613 markings, 8588861 edges, 17929 markings/sec, 240 secs
lola: 5337401 markings, 8731089 edges, 16558 markings/sec, 245 secs
lola: 5422614 markings, 8876229 edges, 17043 markings/sec, 250 secs
lola: 5501472 markings, 9022026 edges, 15772 markings/sec, 255 secs
lola: 5586702 markings, 9162423 edges, 17046 markings/sec, 260 secs
lola: 5659766 markings, 9307677 edges, 14613 markings/sec, 265 secs
lola: 5732422 markings, 9462299 edges, 14531 markings/sec, 270 secs
lola: 5803891 markings, 9630611 edges, 14294 markings/sec, 275 secs
lola: 5875578 markings, 9805580 edges, 14337 markings/sec, 280 secs
lola: 5942769 markings, 9984150 edges, 13438 markings/sec, 285 secs
lola: 6010946 markings, 10151404 edges, 13635 markings/sec, 290 secs
lola: 6061127 markings, 10298692 edges, 10036 markings/sec, 295 secs
lola: 6118301 markings, 10453102 edges, 11435 markings/sec, 300 secs
lola: 6191695 markings, 10638788 edges, 14679 markings/sec, 305 secs
lola: 6260027 markings, 10818004 edges, 13666 markings/sec, 310 secs
lola: 6324016 markings, 10983558 edges, 12798 markings/sec, 315 secs
lola: 6403515 markings, 11170751 edges, 15900 markings/sec, 320 secs
lola: 6470435 markings, 11346509 edges, 13384 markings/sec, 325 secs
lola: 6560074 markings, 11529813 edges, 17928 markings/sec, 330 secs
lola: 6635033 markings, 11705815 edges, 14992 markings/sec, 335 secs
lola: 6701834 markings, 11882434 edges, 13360 markings/sec, 340 secs
lola: 6790417 markings, 12057711 edges, 17717 markings/sec, 345 secs
lola: 6892642 markings, 12234239 edges, 20445 markings/sec, 350 secs
lola: 6974041 markings, 12405174 edges, 16280 markings/sec, 355 secs
lola: 7069184 markings, 12578842 edges, 19029 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown unknown unknown unknown yes unknown no no no unknown unknown unknown unknown yes unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: yes unknown unknown unknown unknown yes unknown no no no unknown unknown unknown unknown yes unknown
lola: memory consumption: 1406632 KB
lola: time consumption: 609 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (F (NOT FIREABLE(t2635))) U (FIREABLE(t2003) AND E (F (FIREABLE(t433))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(A(TRUE U NOT FIREABLE(t2635)) U (FIREABLE(t2003) AND E(TRUE U FIREABLE(t433))))
lola: processed formula length: 81
lola: 63 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 65789 markings, 194209 edges, 13158 markings/sec, 0 secs
lola: 134673 markings, 401336 edges, 13777 markings/sec, 5 secs
lola: 197597 markings, 596060 edges, 12585 markings/sec, 10 secs
lola: 264587 markings, 796740 edges, 13398 markings/sec, 15 secs
lola: 323056 markings, 989895 edges, 11694 markings/sec, 20 secs
lola: 387140 markings, 1174704 edges, 12817 markings/sec, 25 secs
lola: 454916 markings, 1367208 edges, 13555 markings/sec, 30 secs
lola: 506226 markings, 1559746 edges, 10262 markings/sec, 35 secs
lola: 522097 markings, 1752788 edges, 3174 markings/sec, 40 secs
lola: 561717 markings, 1926569 edges, 7924 markings/sec, 45 secs
lola: 609721 markings, 2095643 edges, 9601 markings/sec, 50 secs
lola: 615091 markings, 2261669 edges, 1074 markings/sec, 55 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 621867 markings, 2292154 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-305-CTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 414 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((E (F (FIREABLE(t290))) AND A ((FIREABLE(t2262) U FIREABLE(t1165))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U (E(TRUE U FIREABLE(t290)) AND A(FIREABLE(t2262) U FIREABLE(t1165))))
lola: processed formula length: 77
lola: 63 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 115333 markings, 211172 edges, 23067 markings/sec, 0 secs
lola: 221125 markings, 423639 edges, 21158 markings/sec, 5 secs
lola: 266975 markings, 631516 edges, 9170 markings/sec, 10 secs
lola: 280838 markings, 835157 edges, 2773 markings/sec, 15 secs
lola: 296104 markings, 1040961 edges, 3053 markings/sec, 20 secs
lola: 307579 markings, 1242357 edges, 2295 markings/sec, 25 secs
lola: 337885 markings, 1444201 edges, 6061 markings/sec, 30 secs
lola: 374531 markings, 1637958 edges, 7329 markings/sec, 35 secs
lola: 408923 markings, 1839869 edges, 6878 markings/sec, 40 secs
lola: 442121 markings, 2034581 edges, 6640 markings/sec, 45 secs
lola: 480821 markings, 2226126 edges, 7740 markings/sec, 50 secs
lola: 518272 markings, 2417031 edges, 7490 markings/sec, 55 secs
lola: 602255 markings, 2612458 edges, 16797 markings/sec, 60 secs
lola: 603135 markings, 2800646 edges, 176 markings/sec, 65 secs
lola: 646821 markings, 2982873 edges, 8737 markings/sec, 70 secs
lola: 691850 markings, 3144722 edges, 9006 markings/sec, 75 secs
lola: 693455 markings, 3310689 edges, 321 markings/sec, 80 secs
lola: 719875 markings, 3487923 edges, 5284 markings/sec, 85 secs
lola: 762904 markings, 3681696 edges, 8606 markings/sec, 90 secs
lola: 803694 markings, 3874783 edges, 8158 markings/sec, 95 secs
lola: 841979 markings, 4057352 edges, 7657 markings/sec, 100 secs
lola: 880428 markings, 4247625 edges, 7690 markings/sec, 105 secs
lola: 924006 markings, 4437028 edges, 8716 markings/sec, 110 secs
lola: 963662 markings, 4624612 edges, 7931 markings/sec, 115 secs
lola: 1005142 markings, 4811436 edges, 8296 markings/sec, 120 secs
lola: 1047056 markings, 4998531 edges, 8383 markings/sec, 125 secs
lola: 1091372 markings, 5196593 edges, 8863 markings/sec, 130 secs
lola: 1137045 markings, 5388344 edges, 9135 markings/sec, 135 secs
lola: 1179423 markings, 5576388 edges, 8476 markings/sec, 140 secs
lola: 1222037 markings, 5763224 edges, 8523 markings/sec, 145 secs
lola: 1264471 markings, 5954618 edges, 8487 markings/sec, 150 secs
lola: 1304987 markings, 6137020 edges, 8103 markings/sec, 155 secs
lola: 1345420 markings, 6319805 edges, 8087 markings/sec, 160 secs
lola: 1389810 markings, 6504284 edges, 8878 markings/sec, 165 secs
lola: 1430507 markings, 6674548 edges, 8139 markings/sec, 170 secs
lola: 1473794 markings, 6858812 edges, 8657 markings/sec, 175 secs
lola: 1517439 markings, 7048316 edges, 8729 markings/sec, 180 secs
lola: 1557843 markings, 7226796 edges, 8081 markings/sec, 185 secs
lola: 1598244 markings, 7402128 edges, 8080 markings/sec, 190 secs
lola: 1640157 markings, 7584517 edges, 8383 markings/sec, 195 secs
lola: 1684827 markings, 7769893 edges, 8934 markings/sec, 200 secs
lola: 1727020 markings, 7946290 edges, 8439 markings/sec, 205 secs
lola: 1768511 markings, 8133251 edges, 8298 markings/sec, 210 secs
lola: 1809783 markings, 8320102 edges, 8254 markings/sec, 215 secs
lola: 1849249 markings, 8502609 edges, 7893 markings/sec, 220 secs
lola: 1891372 markings, 8680773 edges, 8425 markings/sec, 225 secs
lola: 1928266 markings, 8859447 edges, 7379 markings/sec, 230 secs
lola: 1974761 markings, 9059433 edges, 9299 markings/sec, 235 secs
lola: 2015757 markings, 9245335 edges, 8199 markings/sec, 240 secs
lola: 2053894 markings, 9424204 edges, 7627 markings/sec, 245 secs
lola: 2088699 markings, 9598394 edges, 6961 markings/sec, 250 secs
lola: 2124521 markings, 9766758 edges, 7164 markings/sec, 255 secs
lola: 2166817 markings, 9948984 edges, 8459 markings/sec, 260 secs
lola: 2204631 markings, 10123515 edges, 7563 markings/sec, 265 secs
lola: 2242455 markings, 10299133 edges, 7565 markings/sec, 270 secs
lola: 2280633 markings, 10476847 edges, 7636 markings/sec, 275 secs
lola: 2323333 markings, 10667065 edges, 8540 markings/sec, 280 secs
lola: 2363031 markings, 10849014 edges, 7940 markings/sec, 285 secs
lola: 2406681 markings, 11039081 edges, 8730 markings/sec, 290 secs
lola: 2450467 markings, 11234809 edges, 8757 markings/sec, 295 secs
lola: 2492489 markings, 11421674 edges, 8404 markings/sec, 300 secs
lola: 2532305 markings, 11608200 edges, 7963 markings/sec, 305 secs
lola: 2574232 markings, 11792471 edges, 8385 markings/sec, 310 secs
lola: 2615927 markings, 11976918 edges, 8339 markings/sec, 315 secs
lola: 2654710 markings, 12153012 edges, 7757 markings/sec, 320 secs
lola: 2696881 markings, 12331831 edges, 8434 markings/sec, 325 secs
lola: 2740930 markings, 12511978 edges, 8810 markings/sec, 330 secs
lola: 2784877 markings, 12695879 edges, 8789 markings/sec, 335 secs
lola: 2823398 markings, 12870559 edges, 7704 markings/sec, 340 secs
lola: 2857809 markings, 13040826 edges, 6882 markings/sec, 345 secs
lola: 2890549 markings, 13200101 edges, 6548 markings/sec, 350 secs
lola: 2929701 markings, 13370606 edges, 7830 markings/sec, 355 secs
lola: 2976007 markings, 13563989 edges, 9261 markings/sec, 360 secs
lola: 3013440 markings, 13734515 edges, 7487 markings/sec, 365 secs
lola: 3048765 markings, 13894565 edges, 7065 markings/sec, 370 secs
lola: 3087981 markings, 14078278 edges, 7843 markings/sec, 375 secs
lola: 3132451 markings, 14271793 edges, 8894 markings/sec, 380 secs
lola: 3176199 markings, 14469197 edges, 8750 markings/sec, 385 secs
lola: 3217778 markings, 14658653 edges, 8316 markings/sec, 390 secs
lola: 3262384 markings, 14851250 edges, 8921 markings/sec, 395 secs
lola: 3303539 markings, 15032617 edges, 8231 markings/sec, 400 secs
lola: 3341196 markings, 15196542 edges, 7531 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown unknown yes unknown yes unknown no no no unknown unknown unknown unknown yes unknown
lola: memory consumption: 925096 KB
lola: time consumption: 1084 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 414 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t1435) OR (A (G (NOT FIREABLE(t2282))) AND ((NOT FIREABLE(t503) OR NOT FIREABLE(t2179) OR NOT FIREABLE(t1077) OR NOT FIREABLE(t137)) AND NOT FIREABLE(t3089))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 414 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t1435)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t1435)
lola: processed formula length: 15
lola: 60 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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 11 will run for 497 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(t503) OR NOT FIREABLE(t2179) OR NOT FIREABLE(t1077) OR NOT FIREABLE(t137)) AND NOT FIREABLE(t3089))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: processed formula: ((NOT FIREABLE(t503) OR NOT FIREABLE(t2179) OR NOT FIREABLE(t1077) OR NOT FIREABLE(t137)) AND NOT FIREABLE(t3089))
lola: processed formula length: 117
lola: 61 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: subprocess 12 will run for 621 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t2282)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G (NOT FIREABLE(t2282)))
lola: processed formula length: 27
lola: 62 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: FIREABLE(t2282)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-305-CTLFireability-12-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 88 markings, 87 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA CloudReconfiguration-PT-305-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 497 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((FIREABLE(t2255) AND FIREABLE(t2743) AND FIREABLE(t1438) AND FIREABLE(t2557)))) OR (FIREABLE(t2119) OR (E ((FIREABLE(t2411) U FIREABLE(t33))) OR FIREABLE(t233))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 497 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t233)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t233)
lola: processed formula length: 14
lola: 60 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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 12 will run for 621 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t2119)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t2119)
lola: processed formula length: 15
lola: 60 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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 13 will run for 828 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t2411) U FIREABLE(t33)))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E ((FIREABLE(t2411) U FIREABLE(t33)))
lola: processed formula length: 37
lola: 63 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: FIREABLE(t33)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EU
lola: There is no path where Predicate Phi holds until Predicate Psi.
lola: 0 markings, 0 edges
lola: state equation: write sara problem file to CloudReconfiguration-PT-305-CTLFireability-13-0.sara
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 14 will run for 1243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t2255) AND FIREABLE(t2743) AND FIREABLE(t1438) AND FIREABLE(t2557))))
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(t2255) OR NOT FIREABLE(t2743) OR NOT FIREABLE(t1438) OR NOT FIREABLE(t2557))
lola: processed formula length: 93
lola: 62 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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)
sara: try reading problem file CloudReconfiguration-PT-305-CTLFireability-13-0.sara.
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: 87 markings, 87 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA CloudReconfiguration-PT-305-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 621 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (A (G (NOT FIREABLE(t2082))))) AND A (F ((FIREABLE(t973) OR FIREABLE(t2408)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 621 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t973) OR FIREABLE(t2408))))
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(t973) AND NOT FIREABLE(t2408))
lola: processed formula length: 44
lola: 62 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 87 markings, 87 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA CloudReconfiguration-PT-305-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 828 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (NOT FIREABLE(t2710))) AND (E (G (FIREABLE(t718))) OR A (F (FIREABLE(t340)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 828 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t340)))
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(t340)
lola: processed formula length: 18
lola: 62 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 87 markings, 87 edges
lola: ========================================
lola: subprocess 14 will run for 1243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(t718)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (FIREABLE(t718)))
lola: processed formula length: 22
lola: 60 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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 is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA CloudReconfiguration-PT-305-CTLFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (E (F (NOT FIREABLE(t129))))) OR A (((NOT FIREABLE(t2827) AND FIREABLE(t1765)) U (FIREABLE(t2147) OR (FIREABLE(t2554) AND FIREABLE(t2541))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t2827) AND FIREABLE(t1765)) U (FIREABLE(t2147) OR (FIREABLE(t2554) AND FIREABLE(t2541)))))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (((NOT FIREABLE(t2827) AND FIREABLE(t1765)) U (FIREABLE(t2147) OR (FIREABLE(t2554) AND FIREABLE(t2541)))))
lola: processed formula length: 109
lola: 64 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2486 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F (NOT FIREABLE(t129)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:641
lola: processed formula: NOT FIREABLE(t129)
lola: processed formula length: 18
lola: 61 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: Reachability of the predicate is possibly preserved.
lola: 58 markings, 58 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================

FORMULA CloudReconfiguration-PT-305-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2486 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (FIREABLE(t146))) OR ((A (G (FIREABLE(t398))) AND A (F (FIREABLE(t146)))) OR A (((FIREABLE(t1663) AND FIREABLE(t2336) AND NOT FIREABLE(t1444)) U ((FIREABLE(t1863) OR FIREABLE(t2014)) AND NOT FIREABLE(t2366))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2486 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t146)))
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(t146)
lola: processed formula length: 18
lola: 62 rewrites
lola: closed formula file CloudReconfiguration-PT-305-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: 87 markings, 87 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (A (G ((NOT FIREABLE(t1133) OR NOT FIREABLE(t3000))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:663
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: (FIREABLE(t1133) AND FIREABLE(t3000))
lola: processed formula length: 37
lola: 62 rewrites
lola: closed formula file CloudReconfiguration-PT-305-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
sara: place or transition ordering is non-deterministic

lola: 66563 markings, 87775 edges, 13313 markings/sec, 0 secs
lola: 152613 markings, 221868 edges, 17210 markings/sec, 5 secs
lola: 232389 markings, 360344 edges, 15955 markings/sec, 10 secs
lola: 311267 markings, 501157 edges, 15776 markings/sec, 15 secs
lola: 370362 markings, 608103 edges, 11819 markings/sec, 20 secs
lola: 445090 markings, 736001 edges, 14946 markings/sec, 25 secs
lola: 517805 markings, 867518 edges, 14543 markings/sec, 30 secs
lola: 589928 markings, 969515 edges, 14425 markings/sec, 35 secs
lola: 660584 markings, 1057912 edges, 14131 markings/sec, 40 secs
lola: 730775 markings, 1146043 edges, 14038 markings/sec, 45 secs
lola: 801362 markings, 1263758 edges, 14117 markings/sec, 50 secs
lola: 869588 markings, 1385217 edges, 13645 markings/sec, 55 secs
lola: 931111 markings, 1492144 edges, 12305 markings/sec, 60 secs
lola: 996639 markings, 1575290 edges, 13106 markings/sec, 65 secs
lola: 1067334 markings, 1665691 edges, 14139 markings/sec, 70 secs
lola: 1139999 markings, 1761932 edges, 14533 markings/sec, 75 secs
lola: 1212552 markings, 1852480 edges, 14511 markings/sec, 80 secs
lola: 1281133 markings, 1938678 edges, 13716 markings/sec, 85 secs
lola: 1347992 markings, 2022011 edges, 13372 markings/sec, 90 secs
lola: 1417752 markings, 2111133 edges, 13952 markings/sec, 95 secs
lola: 1485755 markings, 2198881 edges, 13601 markings/sec, 100 secs
lola: 1555446 markings, 2289993 edges, 13938 markings/sec, 105 secs
lola: 1626771 markings, 2380299 edges, 14265 markings/sec, 110 secs
lola: 1694248 markings, 2465802 edges, 13495 markings/sec, 115 secs
lola: 1756321 markings, 2542721 edges, 12415 markings/sec, 120 secs
lola: 1819810 markings, 2621831 edges, 12698 markings/sec, 125 secs
lola: 1888558 markings, 2711710 edges, 13750 markings/sec, 130 secs
lola: 1952629 markings, 2792652 edges, 12814 markings/sec, 135 secs
lola: 2029161 markings, 2908224 edges, 15306 markings/sec, 140 secs
lola: 2110692 markings, 3054505 edges, 16306 markings/sec, 145 secs
lola: 2180608 markings, 3155197 edges, 13983 markings/sec, 150 secs
lola: 2254125 markings, 3249490 edges, 14703 markings/sec, 155 secs
lola: 2322517 markings, 3338532 edges, 13678 markings/sec, 160 secs
lola: 2391023 markings, 3428349 edges, 13701 markings/sec, 165 secs
lola: 2455991 markings, 3517368 edges, 12994 markings/sec, 170 secs
lola: 2522256 markings, 3607625 edges, 13253 markings/sec, 175 secs
lola: 2590897 markings, 3697222 edges, 13728 markings/sec, 180 secs
lola: 2656629 markings, 3784451 edges, 13146 markings/sec, 185 secs
lola: 2715540 markings, 3862086 edges, 11782 markings/sec, 190 secs
lola: 2785104 markings, 3956137 edges, 13913 markings/sec, 195 secs
lola: 2849985 markings, 4043507 edges, 12976 markings/sec, 200 secs
lola: 2926982 markings, 4152491 edges, 15399 markings/sec, 205 secs
lola: 3004424 markings, 4252278 edges, 15488 markings/sec, 210 secs
lola: 3081774 markings, 4349301 edges, 15470 markings/sec, 215 secs
lola: 3150396 markings, 4439172 edges, 13724 markings/sec, 220 secs
lola: 3214896 markings, 4521302 edges, 12900 markings/sec, 225 secs
lola: 3273490 markings, 4598265 edges, 11719 markings/sec, 230 secs
lola: 3346086 markings, 4713850 edges, 14519 markings/sec, 235 secs
lola: 3424606 markings, 4848819 edges, 15704 markings/sec, 240 secs
lola: 3496254 markings, 4942258 edges, 14330 markings/sec, 245 secs
lola: 3566503 markings, 5032846 edges, 14050 markings/sec, 250 secs
lola: 3631824 markings, 5114857 edges, 13064 markings/sec, 255 secs
lola: 3693538 markings, 5195847 edges, 12343 markings/sec, 260 secs
lola: 3760475 markings, 5282333 edges, 13387 markings/sec, 265 secs
lola: 3824752 markings, 5367879 edges, 12855 markings/sec, 270 secs
lola: 3893048 markings, 5451694 edges, 13659 markings/sec, 275 secs
lola: 3959852 markings, 5533586 edges, 13361 markings/sec, 280 secs
lola: 4032303 markings, 5622567 edges, 14490 markings/sec, 285 secs
lola: 4084223 markings, 5687870 edges, 10384 markings/sec, 290 secs
lola: 4136629 markings, 5760180 edges, 10481 markings/sec, 295 secs
lola: 4208407 markings, 5877361 edges, 14356 markings/sec, 300 secs
lola: 4278209 markings, 5993747 edges, 13960 markings/sec, 305 secs
lola: 4339276 markings, 6095866 edges, 12213 markings/sec, 310 secs
lola: 4405506 markings, 6205512 edges, 13246 markings/sec, 315 secs
lola: 4482853 markings, 6331778 edges, 15469 markings/sec, 320 secs
lola: 4564257 markings, 6467190 edges, 16281 markings/sec, 325 secs
lola: 4649840 markings, 6610165 edges, 17117 markings/sec, 330 secs
lola: 4734595 markings, 6751390 edges, 16951 markings/sec, 335 secs
lola: 4793345 markings, 6824607 edges, 11750 markings/sec, 340 secs
lola: 4862674 markings, 6909617 edges, 13866 markings/sec, 345 secs
lola: 4926656 markings, 6988126 edges, 12796 markings/sec, 350 secs
lola: 4991186 markings, 7068226 edges, 12906 markings/sec, 355 secs
lola: 5038361 markings, 7128668 edges, 9435 markings/sec, 360 secs
lola: 5093878 markings, 7196797 edges, 11103 markings/sec, 365 secs
lola: 5165422 markings, 7284871 edges, 14309 markings/sec, 370 secs
lola: 5212163 markings, 7344003 edges, 9348 markings/sec, 375 secs
lola: 5258715 markings, 7402921 edges, 9310 markings/sec, 380 secs
lola: 5305693 markings, 7461498 edges, 9396 markings/sec, 385 secs
lola: 5370791 markings, 7541390 edges, 13020 markings/sec, 390 secs
lola: 5435797 markings, 7621065 edges, 13001 markings/sec, 395 secs
lola: 5503641 markings, 7704374 edges, 13569 markings/sec, 400 secs
lola: 5557888 markings, 7772189 edges, 10849 markings/sec, 405 secs
lola: 5601221 markings, 7827607 edges, 8667 markings/sec, 410 secs
lola: 5657275 markings, 7896761 edges, 11211 markings/sec, 415 secs
lola: 5720681 markings, 7975773 edges, 12681 markings/sec, 420 secs
lola: 5778607 markings, 8048586 edges, 11585 markings/sec, 425 secs
lola: 5823724 markings, 8105634 edges, 9023 markings/sec, 430 secs
lola: 5868110 markings, 8162161 edges, 8877 markings/sec, 435 secs
lola: 5932460 markings, 8241133 edges, 12870 markings/sec, 440 secs
lola: 5996775 markings, 8319968 edges, 12863 markings/sec, 445 secs
lola: 6063070 markings, 8401366 edges, 13259 markings/sec, 450 secs
lola: 6118794 markings, 8470953 edges, 11145 markings/sec, 455 secs
lola: 6161492 markings, 8525702 edges, 8540 markings/sec, 460 secs
lola: 6218525 markings, 8595544 edges, 11407 markings/sec, 465 secs
lola: 6286881 markings, 8679938 edges, 13671 markings/sec, 470 secs
lola: 6330667 markings, 8735232 edges, 8757 markings/sec, 475 secs
lola: 6374200 markings, 8790769 edges, 8707 markings/sec, 480 secs
lola: 6417881 markings, 8847874 edges, 8736 markings/sec, 485 secs
lola: 6471310 markings, 8913697 edges, 10686 markings/sec, 490 secs
lola: 6544692 markings, 9003833 edges, 14676 markings/sec, 495 secs
lola: 6594292 markings, 9066346 edges, 9920 markings/sec, 500 secs
lola: 6642801 markings, 9127253 edges, 9702 markings/sec, 505 secs
lola: 6690340 markings, 9188694 edges, 9508 markings/sec, 510 secs
lola: 6747748 markings, 9274774 edges, 11482 markings/sec, 515 secs
lola: 6815764 markings, 9366815 edges, 13603 markings/sec, 520 secs
lola: 6880435 markings, 9447403 edges, 12934 markings/sec, 525 secs
lola: 6935673 markings, 9516856 edges, 11048 markings/sec, 530 secs
lola: 6983630 markings, 9578259 edges, 9591 markings/sec, 535 secs
lola: 7050469 markings, 9676271 edges, 13368 markings/sec, 540 secs
lola: 7134445 markings, 9801599 edges, 16795 markings/sec, 545 secs
lola: 7191518 markings, 9872239 edges, 11415 markings/sec, 550 secs
lola: 7257830 markings, 9955251 edges, 13262 markings/sec, 555 secs
lola: 7304715 markings, 10014781 edges, 9377 markings/sec, 560 secs
lola: 7356627 markings, 10080076 edges, 10382 markings/sec, 565 secs
lola: 7424594 markings, 10163537 edges, 13593 markings/sec, 570 secs
lola: 7471824 markings, 10222905 edges, 9446 markings/sec, 575 secs
lola: 7516645 markings, 10282162 edges, 8964 markings/sec, 580 secs
lola: 7590909 markings, 10400614 edges, 14853 markings/sec, 585 secs
lola: 7670530 markings, 10543929 edges, 15924 markings/sec, 590 secs
lola: 7736672 markings, 10629788 edges, 13228 markings/sec, 595 secs
lola: 7793369 markings, 10700253 edges, 11339 markings/sec, 600 secs
lola: 7837605 markings, 10756886 edges, 8847 markings/sec, 605 secs
lola: 7895710 markings, 10830785 edges, 11621 markings/sec, 610 secs
lola: 7957682 markings, 10907483 edges, 12394 markings/sec, 615 secs
lola: 8026643 markings, 11008968 edges, 13792 markings/sec, 620 secs
lola: 8118270 markings, 11151671 edges, 18325 markings/sec, 625 secs
lola: 8182459 markings, 11233942 edges, 12838 markings/sec, 630 secs
lola: 8241634 markings, 11308904 edges, 11835 markings/sec, 635 secs
lola: 8307730 markings, 11390023 edges, 13219 markings/sec, 640 secs
lola: 8359868 markings, 11455320 edges, 10428 markings/sec, 645 secs
lola: 8420844 markings, 11530386 edges, 12195 markings/sec, 650 secs
lola: 8476517 markings, 11602748 edges, 11135 markings/sec, 655 secs
lola: 8536668 markings, 11705407 edges, 12030 markings/sec, 660 secs
lola: 8613043 markings, 11843458 edges, 15275 markings/sec, 665 secs
lola: 8683679 markings, 11939915 edges, 14127 markings/sec, 670 secs
lola: 8739728 markings, 12011490 edges, 11210 markings/sec, 675 secs
lola: 8786068 markings, 12069106 edges, 9268 markings/sec, 680 secs
lola: 8827433 markings, 12122664 edges, 8273 markings/sec, 685 secs
lola: 8864866 markings, 12175368 edges, 7487 markings/sec, 690 secs
lola: 8926215 markings, 12267676 edges, 12270 markings/sec, 695 secs
lola: 9009162 markings, 12396822 edges, 16589 markings/sec, 700 secs
lola: 9077961 markings, 12498063 edges, 13760 markings/sec, 705 secs
lola: 9141554 markings, 12584668 edges, 12719 markings/sec, 710 secs
lola: 9234052 markings, 12730067 edges, 18500 markings/sec, 715 secs
lola: 9307718 markings, 12843321 edges, 14733 markings/sec, 720 secs
lola: 9370745 markings, 12923025 edges, 12605 markings/sec, 725 secs
lola: 9432147 markings, 13010470 edges, 12280 markings/sec, 730 secs
lola: 9500223 markings, 13116883 edges, 13615 markings/sec, 735 secs
lola: 9563929 markings, 13217813 edges, 12741 markings/sec, 740 secs
lola: 9628277 markings, 13314453 edges, 12870 markings/sec, 745 secs
lola: 9685724 markings, 13398011 edges, 11489 markings/sec, 750 secs
lola: 9748760 markings, 13499363 edges, 12607 markings/sec, 755 secs
lola: 9810447 markings, 13598254 edges, 12337 markings/sec, 760 secs
lola: 9872487 markings, 13701164 edges, 12408 markings/sec, 765 secs
lola: 9937024 markings, 13812873 edges, 12907 markings/sec, 770 secs
lola: 10003415 markings, 13921833 edges, 13278 markings/sec, 775 secs
lola: 10070460 markings, 14030716 edges, 13409 markings/sec, 780 secs
lola: 10134633 markings, 14129052 edges, 12835 markings/sec, 785 secs
lola: 10212253 markings, 14254170 edges, 15524 markings/sec, 790 secs
lola: 10296083 markings, 14387779 edges, 16766 markings/sec, 795 secs
lola: 10385267 markings, 14527653 edges, 17837 markings/sec, 800 secs
lola: 10463975 markings, 14649587 edges, 15742 markings/sec, 805 secs
lola: 10533072 markings, 14767620 edges, 13819 markings/sec, 810 secs
lola: 10605149 markings, 14896062 edges, 14415 markings/sec, 815 secs
lola: 10667030 markings, 15017995 edges, 12376 markings/sec, 820 secs
lola: 10724387 markings, 15110495 edges, 11471 markings/sec, 825 secs
lola: 10794636 markings, 15236342 edges, 14050 markings/sec, 830 secs
lola: 10859468 markings, 15356635 edges, 12966 markings/sec, 835 secs
lola: 10920934 markings, 15445351 edges, 12293 markings/sec, 840 secs
lola: 10983992 markings, 15529948 edges, 12612 markings/sec, 845 secs
lola: 11045275 markings, 15613668 edges, 12257 markings/sec, 850 secs
lola: 11106811 markings, 15705217 edges, 12307 markings/sec, 855 secs
lola: 11166374 markings, 15813354 edges, 11913 markings/sec, 860 secs
lola: 11227298 markings, 15923592 edges, 12185 markings/sec, 865 secs
lola: 11284811 markings, 16018147 edges, 11503 markings/sec, 870 secs
lola: 11342926 markings, 16096945 edges, 11623 markings/sec, 875 secs
lola: 11404935 markings, 16182671 edges, 12402 markings/sec, 880 secs
lola: 11470131 markings, 16275488 edges, 13039 markings/sec, 885 secs
lola: 11536042 markings, 16363306 edges, 13182 markings/sec, 890 secs
lola: 11600087 markings, 16450108 edges, 12809 markings/sec, 895 secs
lola: 11658974 markings, 16529114 edges, 11777 markings/sec, 900 secs
lola: 11720764 markings, 16611199 edges, 12358 markings/sec, 905 secs
lola: 11785017 markings, 16695002 edges, 12851 markings/sec, 910 secs
lola: 11845617 markings, 16778761 edges, 12120 markings/sec, 915 secs
lola: 11912485 markings, 16872571 edges, 13374 markings/sec, 920 secs
lola: 11976322 markings, 16958146 edges, 12767 markings/sec, 925 secs
lola: 12038363 markings, 17042581 edges, 12408 markings/sec, 930 secs
lola: 12095746 markings, 17119119 edges, 11477 markings/sec, 935 secs
lola: 12155758 markings, 17198363 edges, 12002 markings/sec, 940 secs
lola: 12219142 markings, 17289316 edges, 12677 markings/sec, 945 secs
lola: 12279101 markings, 17371019 edges, 11992 markings/sec, 950 secs
lola: 12346141 markings, 17472666 edges, 13408 markings/sec, 955 secs
lola: 12427525 markings, 17617837 edges, 16277 markings/sec, 960 secs
lola: 12493490 markings, 17731284 edges, 13193 markings/sec, 965 secs
lola: 12561456 markings, 17826703 edges, 13593 markings/sec, 970 secs
lola: 12626273 markings, 17914889 edges, 12963 markings/sec, 975 secs
lola: 12690701 markings, 18009609 edges, 12886 markings/sec, 980 secs
lola: 12751147 markings, 18097275 edges, 12089 markings/sec, 985 secs
lola: 12813969 markings, 18196631 edges, 12564 markings/sec, 990 secs
lola: 12877934 markings, 18290125 edges, 12793 markings/sec, 995 secs
lola: 12940993 markings, 18382667 edges, 12612 markings/sec, 1000 secs
lola: 13001816 markings, 18474210 edges, 12165 markings/sec, 1005 secs
lola: 13057204 markings, 18554197 edges, 11078 markings/sec, 1010 secs
lola: 13122124 markings, 18647002 edges, 12984 markings/sec, 1015 secs
lola: 13181333 markings, 18732098 edges, 11842 markings/sec, 1020 secs
lola: 13254259 markings, 18846439 edges, 14585 markings/sec, 1025 secs
lola: 13327767 markings, 18951428 edges, 14702 markings/sec, 1030 secs
lola: 13400763 markings, 19051191 edges, 14599 markings/sec, 1035 secs
lola: 13465443 markings, 19137282 edges, 12936 markings/sec, 1040 secs
lola: 13525653 markings, 19225961 edges, 12042 markings/sec, 1045 secs
lola: 13585344 markings, 19309276 edges, 11938 markings/sec, 1050 secs
lola: 13643909 markings, 19395483 edges, 11713 markings/sec, 1055 secs
lola: 13728514 markings, 19546710 edges, 16921 markings/sec, 1060 secs
lola: 13792613 markings, 19651654 edges, 12820 markings/sec, 1065 secs
lola: 13862536 markings, 19752418 edges, 13985 markings/sec, 1070 secs
lola: 13927015 markings, 19842151 edges, 12896 markings/sec, 1075 secs
lola: 13988581 markings, 19924940 edges, 12313 markings/sec, 1080 secs
lola: 14047022 markings, 20012406 edges, 11688 markings/sec, 1085 secs
lola: 14109572 markings, 20102095 edges, 12510 markings/sec, 1090 secs
lola: 14170036 markings, 20186177 edges, 12093 markings/sec, 1095 secs
lola: 14236883 markings, 20269219 edges, 13369 markings/sec, 1100 secs
lola: 14299600 markings, 20348264 edges, 12543 markings/sec, 1105 secs
lola: 14370828 markings, 20436753 edges, 14246 markings/sec, 1110 secs
lola: 14418140 markings, 20502516 edges, 9462 markings/sec, 1115 secs
lola: 14463972 markings, 20568845 edges, 9166 markings/sec, 1120 secs
lola: 14533515 markings, 20684104 edges, 13909 markings/sec, 1125 secs
lola: 14603283 markings, 20800377 edges, 13954 markings/sec, 1130 secs
lola: 14660999 markings, 20895129 edges, 11543 markings/sec, 1135 secs
lola: 14722686 markings, 20999045 edges, 12337 markings/sec, 1140 secs
lola: 14793642 markings, 21115450 edges, 14191 markings/sec, 1145 secs
lola: 14875387 markings, 21250588 edges, 16349 markings/sec, 1150 secs
lola: 14958897 markings, 21389133 edges, 16702 markings/sec, 1155 secs
lola: 15044063 markings, 21532650 edges, 17033 markings/sec, 1160 secs
lola: 15108199 markings, 21627931 edges, 12827 markings/sec, 1165 secs
lola: 15171073 markings, 21705997 edges, 12575 markings/sec, 1170 secs
lola: 15229455 markings, 21779673 edges, 11676 markings/sec, 1175 secs
lola: 15298638 markings, 21865628 edges, 13837 markings/sec, 1180 secs
lola: 15345974 markings, 21931340 edges, 9467 markings/sec, 1185 secs
lola: 15388985 markings, 21991670 edges, 8602 markings/sec, 1190 secs
lola: 15453765 markings, 22072266 edges, 12956 markings/sec, 1195 secs
lola: 15515942 markings, 22153169 edges, 12435 markings/sec, 1200 secs
lola: 15560253 markings, 22215338 edges, 8862 markings/sec, 1205 secs
lola: 15603781 markings, 22277762 edges, 8706 markings/sec, 1210 secs
lola: 15652316 markings, 22341958 edges, 9707 markings/sec, 1215 secs
lola: 15720302 markings, 22426404 edges, 13597 markings/sec, 1220 secs
lola: 15782374 markings, 22504656 edges, 12414 markings/sec, 1225 secs
lola: 15854247 markings, 22593937 edges, 14375 markings/sec, 1230 secs
lola: 15899639 markings, 22657116 edges, 9078 markings/sec, 1235 secs
lola: 15940736 markings, 22714561 edges, 8219 markings/sec, 1240 secs
lola: 15995946 markings, 22786041 edges, 11042 markings/sec, 1245 secs
lola: 16058696 markings, 22867591 edges, 12550 markings/sec, 1250 secs
lola: 16114166 markings, 22942356 edges, 11094 markings/sec, 1255 secs
lola: 16156405 markings, 23001725 edges, 8448 markings/sec, 1260 secs
lola: 16197646 markings, 23060415 edges, 8248 markings/sec, 1265 secs
lola: 16256851 markings, 23134716 edges, 11841 markings/sec, 1270 secs
lola: 16322868 markings, 23217928 edges, 13203 markings/sec, 1275 secs
lola: 16386380 markings, 23296771 edges, 12702 markings/sec, 1280 secs
lola: 16445713 markings, 23374167 edges, 11867 markings/sec, 1285 secs
lola: 16487241 markings, 23432920 edges, 8306 markings/sec, 1290 secs
lola: 16538005 markings, 23499112 edges, 10153 markings/sec, 1295 secs
lola: 16609657 markings, 23588163 edges, 14330 markings/sec, 1300 secs
lola: 16651947 markings, 23647301 edges, 8458 markings/sec, 1305 secs
lola: 16692957 markings, 23705101 edges, 8202 markings/sec, 1310 secs
lola: 16733424 markings, 23764053 edges, 8093 markings/sec, 1315 secs
lola: 16774916 markings, 23821613 edges, 8298 markings/sec, 1320 secs
lola: 16838577 markings, 23901367 edges, 12732 markings/sec, 1325 secs
lola: 16903721 markings, 23985826 edges, 13029 markings/sec, 1330 secs
lola: 16949502 markings, 24049998 edges, 9156 markings/sec, 1335 secs
lola: 16994900 markings, 24114565 edges, 9080 markings/sec, 1340 secs
lola: 17040685 markings, 24178476 edges, 9157 markings/sec, 1345 secs
lola: 17107508 markings, 24289285 edges, 13365 markings/sec, 1350 secs
lola: 17165752 markings, 24364050 edges, 11649 markings/sec, 1355 secs
lola: 17233524 markings, 24452366 edges, 13554 markings/sec, 1360 secs
lola: 17280469 markings, 24517629 edges, 9389 markings/sec, 1365 secs
lola: 17326192 markings, 24582452 edges, 9145 markings/sec, 1370 secs
lola: 17398846 markings, 24696197 edges, 14531 markings/sec, 1375 secs
lola: 17476796 markings, 24814233 edges, 15590 markings/sec, 1380 secs
lola: 17533987 markings, 24887723 edges, 11438 markings/sec, 1385 secs
lola: 17598207 markings, 24972748 edges, 12844 markings/sec, 1390 secs
lola: 17642756 markings, 25035862 edges, 8910 markings/sec, 1395 secs
lola: 17693603 markings, 25103758 edges, 10169 markings/sec, 1400 secs
lola: 17759781 markings, 25185949 edges, 13236 markings/sec, 1405 secs
lola: 17804882 markings, 25248305 edges, 9020 markings/sec, 1410 secs
lola: 17848076 markings, 25311448 edges, 8639 markings/sec, 1415 secs
lola: 17916856 markings, 25422492 edges, 13756 markings/sec, 1420 secs
lola: 18002267 markings, 25578344 edges, 17082 markings/sec, 1425 secs
lola: 18068541 markings, 25667194 edges, 13255 markings/sec, 1430 secs
lola: 18126342 markings, 25742502 edges, 11560 markings/sec, 1435 secs
lola: 18169705 markings, 25803733 edges, 8673 markings/sec, 1440 secs
lola: 18226587 markings, 25879484 edges, 11376 markings/sec, 1445 secs
lola: 18289657 markings, 25960472 edges, 12614 markings/sec, 1450 secs
lola: 18351112 markings, 26054273 edges, 12291 markings/sec, 1455 secs
lola: 18445589 markings, 26206287 edges, 18895 markings/sec, 1460 secs
lola: 18511948 markings, 26296612 edges, 13272 markings/sec, 1465 secs
lola: 18571189 markings, 26375306 edges, 11848 markings/sec, 1470 secs
lola: 18634841 markings, 26454635 edges, 12730 markings/sec, 1475 secs
lola: 18687444 markings, 26525278 edges, 10521 markings/sec, 1480 secs
lola: 18743576 markings, 26597272 edges, 11226 markings/sec, 1485 secs
lola: 18802251 markings, 26674641 edges, 11735 markings/sec, 1490 secs
lola: 18849330 markings, 26755804 edges, 9416 markings/sec, 1495 secs
lola: 18927284 markings, 26895005 edges, 15591 markings/sec, 1500 secs
lola: 18989963 markings, 26996740 edges, 12536 markings/sec, 1505 secs
lola: 19048596 markings, 27070928 edges, 11727 markings/sec, 1510 secs
lola: 19093690 markings, 27133866 edges, 9019 markings/sec, 1515 secs
lola: 19136323 markings, 27191840 edges, 8527 markings/sec, 1520 secs
lola: 19171696 markings, 27242915 edges, 7075 markings/sec, 1525 secs
lola: 19207108 markings, 27297803 edges, 7082 markings/sec, 1530 secs
lola: 19274006 markings, 27403392 edges, 13380 markings/sec, 1535 secs
lola: 19349373 markings, 27526477 edges, 15073 markings/sec, 1540 secs
lola: 19414223 markings, 27621192 edges, 12970 markings/sec, 1545 secs
lola: 19472579 markings, 27703155 edges, 11671 markings/sec, 1550 secs
lola: 19559608 markings, 27843232 edges, 17406 markings/sec, 1555 secs
lola: 19633932 markings, 27965244 edges, 14865 markings/sec, 1560 secs
lola: 19691712 markings, 28044389 edges, 11556 markings/sec, 1565 secs
lola: 19750040 markings, 28126254 edges, 11666 markings/sec, 1570 secs
lola: 19812140 markings, 28226905 edges, 12420 markings/sec, 1575 secs
lola: 19871408 markings, 28322238 edges, 11854 markings/sec, 1580 secs
lola: 19934470 markings, 28430520 edges, 12612 markings/sec, 1585 secs
lola: 19989182 markings, 28508459 edges, 10942 markings/sec, 1590 secs
lola: 20050172 markings, 28607820 edges, 12198 markings/sec, 1595 secs
lola: 20106809 markings, 28703145 edges, 11327 markings/sec, 1600 secs
lola: 20167584 markings, 28799729 edges, 12155 markings/sec, 1605 secs
lola: 20225808 markings, 28900539 edges, 11645 markings/sec, 1610 secs
lola: 20287335 markings, 29007690 edges, 12305 markings/sec, 1615 secs
lola: 20351057 markings, 29113648 edges, 12744 markings/sec, 1620 secs
lola: 20413853 markings, 29217874 edges, 12559 markings/sec, 1625 secs
lola: 20472222 markings, 29309581 edges, 11674 markings/sec, 1630 secs
lola: 20546530 markings, 29432164 edges, 14862 markings/sec, 1635 secs
lola: 20626338 markings, 29561023 edges, 15962 markings/sec, 1640 secs
lola: 20711953 markings, 29696714 edges, 17123 markings/sec, 1645 secs
lola: 20770119 markings, 29775841 edges, 11633 markings/sec, 1650 secs
lola: 20828728 markings, 29857641 edges, 11722 markings/sec, 1655 secs
lola: 20893164 markings, 29955223 edges, 12887 markings/sec, 1660 secs
lola: 20959884 markings, 30050332 edges, 13344 markings/sec, 1665 secs
lola: 21027427 markings, 30145372 edges, 13509 markings/sec, 1670 secs
lola: 21094405 markings, 30248102 edges, 13396 markings/sec, 1675 secs
lola: 21161884 markings, 30348205 edges, 13496 markings/sec, 1680 secs
lola: 21232995 markings, 30453737 edges, 14222 markings/sec, 1685 secs
lola: 21299880 markings, 30561804 edges, 13377 markings/sec, 1690 secs
lola: 21368399 markings, 30661801 edges, 13704 markings/sec, 1695 secs
lola: 21439849 markings, 30776146 edges, 14290 markings/sec, 1700 secs
lola: 21504696 markings, 30882685 edges, 12969 markings/sec, 1705 secs
lola: 21573723 markings, 30989788 edges, 13805 markings/sec, 1710 secs
lola: 21645360 markings, 31105515 edges, 14327 markings/sec, 1715 secs
lola: 21710487 markings, 31204162 edges, 13025 markings/sec, 1720 secs
lola: 21780681 markings, 31310240 edges, 14039 markings/sec, 1725 secs
lola: 21852146 markings, 31422125 edges, 14293 markings/sec, 1730 secs
lola: 21925022 markings, 31539903 edges, 14575 markings/sec, 1735 secs
lola: 21988543 markings, 31649568 edges, 12704 markings/sec, 1740 secs
lola: 22054186 markings, 31750685 edges, 13129 markings/sec, 1745 secs
lola: 22117027 markings, 31851621 edges, 12568 markings/sec, 1750 secs
lola: 22184477 markings, 31956912 edges, 13490 markings/sec, 1755 secs
lola: 22254321 markings, 32063564 edges, 13969 markings/sec, 1760 secs
lola: 22326132 markings, 32174701 edges, 14362 markings/sec, 1765 secs
lola: 22401508 markings, 32295076 edges, 15075 markings/sec, 1770 secs
lola: 22470173 markings, 32399353 edges, 13733 markings/sec, 1775 secs
lola: 22541901 markings, 32513281 edges, 14346 markings/sec, 1780 secs
lola: 22614265 markings, 32631983 edges, 14473 markings/sec, 1785 secs
lola: 22681820 markings, 32741015 edges, 13511 markings/sec, 1790 secs
lola: 22750168 markings, 32855640 edges, 13670 markings/sec, 1795 secs
lola: 22821417 markings, 32975458 edges, 14250 markings/sec, 1800 secs
lola: 22893856 markings, 33090940 edges, 14488 markings/sec, 1805 secs
lola: 22969189 markings, 33205042 edges, 15067 markings/sec, 1810 secs
lola: 23042061 markings, 33319689 edges, 14574 markings/sec, 1815 secs
lola: 23119653 markings, 33438191 edges, 15518 markings/sec, 1820 secs
lola: 23181009 markings, 33543520 edges, 12271 markings/sec, 1825 secs
lola: 23249195 markings, 33646122 edges, 13637 markings/sec, 1830 secs
lola: 23323485 markings, 33762463 edges, 14858 markings/sec, 1835 secs
lola: 23388955 markings, 33866143 edges, 13094 markings/sec, 1840 secs
lola: 23470563 markings, 33990716 edges, 16322 markings/sec, 1845 secs
lola: 23538950 markings, 34108818 edges, 13677 markings/sec, 1850 secs
lola: 23603749 markings, 34218141 edges, 12960 markings/sec, 1855 secs
lola: 23678198 markings, 34331946 edges, 14890 markings/sec, 1860 secs
lola: 23749086 markings, 34442504 edges, 14178 markings/sec, 1865 secs
lola: 23818102 markings, 34560753 edges, 13803 markings/sec, 1870 secs
lola: 23892128 markings, 34685091 edges, 14805 markings/sec, 1875 secs
lola: 23967652 markings, 34816185 edges, 15105 markings/sec, 1880 secs
lola: 24042030 markings, 34938439 edges, 14876 markings/sec, 1885 secs
lola: 24116832 markings, 35060169 edges, 14960 markings/sec, 1890 secs
lola: 24196148 markings, 35185387 edges, 15863 markings/sec, 1895 secs
lola: 24266393 markings, 35306139 edges, 14049 markings/sec, 1900 secs
lola: 24331252 markings, 35423357 edges, 12972 markings/sec, 1905 secs
lola: 24396230 markings, 35530655 edges, 12996 markings/sec, 1910 secs
lola: 24465752 markings, 35641602 edges, 13904 markings/sec, 1915 secs
lola: 24529800 markings, 35753229 edges, 12810 markings/sec, 1920 secs
lola: 24599997 markings, 35849144 edges, 14039 markings/sec, 1925 secs
lola: 24669406 markings, 35960244 edges, 13882 markings/sec, 1930 secs
lola: 24738532 markings, 36082516 edges, 13825 markings/sec, 1935 secs
lola: 24806982 markings, 36192877 edges, 13690 markings/sec, 1940 secs
lola: 24878445 markings, 36305702 edges, 14293 markings/sec, 1945 secs
lola: 24939562 markings, 36406352 edges, 12223 markings/sec, 1950 secs
lola: 25006518 markings, 36513372 edges, 13391 markings/sec, 1955 secs
lola: 25069965 markings, 36618568 edges, 12689 markings/sec, 1960 secs
lola: 25133710 markings, 36726364 edges, 12749 markings/sec, 1965 secs
lola: 25194109 markings, 36832075 edges, 12080 markings/sec, 1970 secs
lola: 25270498 markings, 36940432 edges, 15278 markings/sec, 1975 secs
lola: 25338457 markings, 37056082 edges, 13592 markings/sec, 1980 secs
lola: 25398989 markings, 37163314 edges, 12106 markings/sec, 1985 secs
lola: 25470525 markings, 37279814 edges, 14307 markings/sec, 1990 secs
lola: 25532229 markings, 37385866 edges, 12341 markings/sec, 1995 secs
lola: 25597344 markings, 37497354 edges, 13023 markings/sec, 2000 secs
lola: 25669968 markings, 37617114 edges, 14525 markings/sec, 2005 secs
lola: 25740477 markings, 37736239 edges, 14102 markings/sec, 2010 secs
lola: 25818501 markings, 37860225 edges, 15605 markings/sec, 2015 secs
lola: 25890930 markings, 37974938 edges, 14486 markings/sec, 2020 secs
lola: 25958077 markings, 38091374 edges, 13429 markings/sec, 2025 secs
lola: 26036328 markings, 38215877 edges, 15650 markings/sec, 2030 secs
lola: 26121822 markings, 38347255 edges, 17099 markings/sec, 2035 secs
lola: 26197719 markings, 38476978 edges, 15179 markings/sec, 2040 secs
lola: 26259974 markings, 38581502 edges, 12451 markings/sec, 2045 secs
lola: 26328108 markings, 38694770 edges, 13627 markings/sec, 2050 secs
lola: 26403773 markings, 38812202 edges, 15133 markings/sec, 2055 secs
lola: 26487312 markings, 38945770 edges, 16708 markings/sec, 2060 secs
lola: 26556404 markings, 39061024 edges, 13818 markings/sec, 2065 secs
lola: 26619342 markings, 39171053 edges, 12588 markings/sec, 2070 secs
lola: 26694161 markings, 39281714 edges, 14964 markings/sec, 2075 secs
lola: 26763451 markings, 39395664 edges, 13858 markings/sec, 2080 secs
lola: 26839678 markings, 39514289 edges, 15245 markings/sec, 2085 secs
lola: 26908873 markings, 39626753 edges, 13839 markings/sec, 2090 secs
lola: 26999594 markings, 39771476 edges, 18144 markings/sec, 2095 secs
lola: 27077630 markings, 39900317 edges, 15607 markings/sec, 2100 secs
lola: 27139352 markings, 40007824 edges, 12344 markings/sec, 2105 secs
lola: 27205103 markings, 40120353 edges, 13150 markings/sec, 2110 secs
lola: 27287466 markings, 40248388 edges, 16473 markings/sec, 2115 secs
lola: 27374157 markings, 40381778 edges, 17338 markings/sec, 2120 secs
lola: 27438857 markings, 40486260 edges, 12940 markings/sec, 2125 secs
lola: 27511766 markings, 40607602 edges, 14582 markings/sec, 2130 secs
lola: 27584401 markings, 40727747 edges, 14527 markings/sec, 2135 secs
lola: 27667101 markings, 40858341 edges, 16540 markings/sec, 2140 secs
lola: 27744095 markings, 40979881 edges, 15399 markings/sec, 2145 secs
lola: 27813115 markings, 41098964 edges, 13804 markings/sec, 2150 secs
lola: 27883454 markings, 41209600 edges, 14068 markings/sec, 2155 secs
lola: 27949918 markings, 41328838 edges, 13293 markings/sec, 2160 secs
lola: 28012764 markings, 41436854 edges, 12569 markings/sec, 2165 secs
lola: 28091024 markings, 41557800 edges, 15652 markings/sec, 2170 secs
lola: 28152729 markings, 41661494 edges, 12341 markings/sec, 2175 secs
lola: 28214083 markings, 41769950 edges, 12271 markings/sec, 2180 secs
lola: 28287972 markings, 41887638 edges, 14778 markings/sec, 2185 secs
lola: 28364696 markings, 42005268 edges, 15345 markings/sec, 2190 secs
lola: 28440487 markings, 42125018 edges, 15158 markings/sec, 2195 secs
lola: 28502240 markings, 42233846 edges, 12351 markings/sec, 2200 secs
lola: 28567834 markings, 42344112 edges, 13119 markings/sec, 2205 secs
lola: 28644734 markings, 42468305 edges, 15380 markings/sec, 2210 secs
lola: 28716953 markings, 42597267 edges, 14444 markings/sec, 2215 secs
lola: 28784110 markings, 42718970 edges, 13431 markings/sec, 2220 secs
lola: 28854589 markings, 42838039 edges, 14096 markings/sec, 2225 secs
lola: 28929084 markings, 42970407 edges, 14899 markings/sec, 2230 secs
lola: 29003799 markings, 43096840 edges, 14943 markings/sec, 2235 secs
lola: 29069518 markings, 43211807 edges, 13144 markings/sec, 2240 secs
lola: 29127931 markings, 43318993 edges, 11683 markings/sec, 2245 secs
lola: 29203087 markings, 43444189 edges, 15031 markings/sec, 2250 secs
lola: 29275501 markings, 43553230 edges, 14483 markings/sec, 2255 secs
lola: 29349105 markings, 43675524 edges, 14721 markings/sec, 2260 secs
lola: 29407347 markings, 43774338 edges, 11648 markings/sec, 2265 secs
lola: 29455410 markings, 43840963 edges, 9613 markings/sec, 2270 secs
lola: 29514851 markings, 43927890 edges, 11888 markings/sec, 2275 secs
lola: 29572589 markings, 44025157 edges, 11548 markings/sec, 2280 secs
lola: 29646905 markings, 44132013 edges, 14863 markings/sec, 2285 secs
lola: 29741570 markings, 44282063 edges, 18933 markings/sec, 2290 secs
lola: 29822942 markings, 44400929 edges, 16274 markings/sec, 2295 secs
lola: 29896422 markings, 44521544 edges, 14696 markings/sec, 2300 secs
lola: 29964315 markings, 44624592 edges, 13579 markings/sec, 2305 secs
lola: 30033465 markings, 44739565 edges, 13830 markings/sec, 2310 secs
lola: 30104325 markings, 44857214 edges, 14172 markings/sec, 2315 secs
lola: 30191440 markings, 44996277 edges, 17423 markings/sec, 2320 secs
lola: 30265566 markings, 45112258 edges, 14825 markings/sec, 2325 secs
lola: 30346952 markings, 45236191 edges, 16277 markings/sec, 2330 secs
lola: 30427635 markings, 45340937 edges, 16137 markings/sec, 2335 secs
lola: 30506300 markings, 45451848 edges, 15733 markings/sec, 2340 secs
lola: 30574073 markings, 45570321 edges, 13555 markings/sec, 2345 secs
lola: 30645654 markings, 45688352 edges, 14316 markings/sec, 2350 secs
lola: 30717348 markings, 45801731 edges, 14339 markings/sec, 2355 secs
lola: 30778425 markings, 45900108 edges, 12215 markings/sec, 2360 secs
lola: 30847937 markings, 46010624 edges, 13902 markings/sec, 2365 secs
lola: 30916201 markings, 46132401 edges, 13653 markings/sec, 2370 secs
lola: 30985228 markings, 46256104 edges, 13805 markings/sec, 2375 secs
lola: 31055006 markings, 46371194 edges, 13956 markings/sec, 2380 secs
lola: 31124580 markings, 46493264 edges, 13915 markings/sec, 2385 secs
lola: 31192357 markings, 46613992 edges, 13555 markings/sec, 2390 secs
lola: 31260581 markings, 46722240 edges, 13645 markings/sec, 2395 secs
lola: 31333022 markings, 46834045 edges, 14488 markings/sec, 2400 secs
lola: 31407253 markings, 46958298 edges, 14846 markings/sec, 2405 secs
lola: 31467173 markings, 47059634 edges, 11984 markings/sec, 2410 secs
lola: 31521182 markings, 47157029 edges, 10802 markings/sec, 2415 secs
lola: 31595849 markings, 47272981 edges, 14933 markings/sec, 2420 secs
lola: 31671820 markings, 47387663 edges, 15194 markings/sec, 2425 secs
lola: 31736201 markings, 47501299 edges, 12876 markings/sec, 2430 secs
lola: 31803215 markings, 47615137 edges, 13403 markings/sec, 2435 secs
lola: 31865895 markings, 47727523 edges, 12536 markings/sec, 2440 secs
lola: 31932592 markings, 47847030 edges, 13339 markings/sec, 2445 secs
lola: 31991955 markings, 47951625 edges, 11873 markings/sec, 2450 secs
lola: 32068050 markings, 48070363 edges, 15219 markings/sec, 2455 secs
lola: 32138385 markings, 48183555 edges, 14067 markings/sec, 2460 secs
lola: 32212024 markings, 48295456 edges, 14728 markings/sec, 2465 secs
lola: 32278493 markings, 48408732 edges, 13294 markings/sec, 2470 secs
lola: 32340329 markings, 48521634 edges, 12367 markings/sec, 2475 secs
lola: 32416594 markings, 48641972 edges, 15253 markings/sec, 2480 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no no yes no yes unknown no no no no unknown yes unknown yes unknown
lola:
preliminary result: yes no no yes no yes unknown no no no no unknown yes unknown yes unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no no yes no yes unknown no no no no unknown yes unknown yes unknown
lola: memory consumption: 4467116 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no no yes no yes unknown no no no no unknown yes unknown yes unknown
lola: memory consumption: 4467372 KB
lola: time consumption: 3571 seconds

BK_STOP 1526486570240

--------------------
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="CloudReconfiguration-PT-305"
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/CloudReconfiguration-PT-305.tgz
mv CloudReconfiguration-PT-305 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 CloudReconfiguration-PT-305, 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 r052-smll-152646379800032"
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 ;