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

About the Execution of M4M.full for CloudReconfiguration-PT-315

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2771.590 818363.00 821658.00 3349.20 ???????????????? 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 828K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K 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 18K 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.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K 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.9K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 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.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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 mcc4mcc-full
Input is CloudReconfiguration-PT-315, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-152646385500102
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526517344411


BK_STOP 1526518162774

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

Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using CloudReconfiguration-PT-315 as instance name.
Using CloudReconfiguration as model name.
Using algorithm or tool voting-classifier.
Model characteristics are: {'Examination': 'CTLFireability', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': True, 'Loop Free': True, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
/usr/local/lib/python3.6/dist-packages/sklearn/preprocessing/label.py:151: DeprecationWarning: The truth value of an empty array is ambiguous. Returning False, but in future this will result in an error. Use `array.size > 0` to check that an array is not empty.
if diff:
Known tools are: [{'Time': 1923814, 'Memory': 4318.09, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLFireability lola CloudReconfiguration-PT-315...

Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
CloudReconfiguration-PT-315: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-315: translating PT formula CTLFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
CTLFireability @ CloudReconfiguration-PT-315 @ 3540 seconds
Makefile:222: recipe for target 'verify' failed
make: [verify] Error 134 (ignored)
----- Start make result stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3540 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: 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-315-CTLFireability.task
lola: A (F (E (F (FIREABLE(t1000))))) : A (F (E (X (E (F (FIREABLE(t1271))))))) : (A (F (E (F ((FIREABLE(t62) OR FIREABLE(t2794)))))) OR FIREABLE(t841)) : A (X ((A (X ((FIREABLE(t1056) AND FIREABLE(t934)))) OR (E (F (FIREABLE(t903))) AND E (F (FIREABLE(t787))))))) : ((E (G (NOT FIREABLE(t1988))) AND E (((FIREABLE(t465) OR FIREABLE(t1555)) U NOT FIREABLE(t886)))) OR (NOT((A (G (FIREABLE(t1452))) AND A (G (FIREABLE(t1541))))) AND E (X (A (X (FIREABLE(t2314))))))) : NOT(A (F (A (X ((FIREABLE(t1033) OR FIREABLE(t2621))))))) : E (F (NOT(NOT(E (X (FIREABLE(t281))))))) : A ((A (X ((FIREABLE(t2492) OR FIREABLE(t1302)))) U E (G (NOT FIREABLE(t336))))) : A ((NOT FIREABLE(t1737) U A ((FIREABLE(t2302) U FIREABLE(t2990))))) : (A (F (E ((FIREABLE(t3084) U FIREABLE(t407))))) OR E ((A (F (FIREABLE(t2882))) U ((FIREABLE(t1590) OR FIREABLE(t1028)) AND NOT FIREABLE(t3004))))) : (NOT(A ((NOT FIREABLE(t2246) U (FIREABLE(t2177) OR FIREABLE(t1041))))) OR ((FIREABLE(t3061) AND NOT FIREABLE(t700) AND ((NOT FIREABLE(t2753) AND NOT FIREABLE(t2061)) OR FIREABLE(t1321))) OR ((FIREABLE(t867) AND FIREABLE(t1940)) AND NOT(A (G (FIREABLE(t1863))))))) : A (X (E ((NOT FIREABLE(t264) U (FIREABLE(t2042) AND FIREABLE(t1523)))))) : (A (X ((A (G (FIREABLE(t2471))) AND (NOT FIREABLE(t244) AND NOT FIREABLE(t2542))))) OR (((FIREABLE(t1041) OR A (X (FIREABLE(t651)))) OR NOT FIREABLE(t2920)) AND A (G ((FIREABLE(t1337) OR NOT FIREABLE(t467)))))) : E (F (A (((FIREABLE(t2869) OR FIREABLE(t853)) U FIREABLE(t1950))))) : NOT(E (F (FIREABLE(t2704)))) : NOT(((A (F (FIREABLE(t2590))) OR FIREABLE(t2643)) AND NOT(A (F ((FIREABLE(t262) AND FIREABLE(t1191)))))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (E (F (FIREABLE(t1000)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U E(TRUE U FIREABLE(t1000)))
lola: processed formula length: 35
lola: 2 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 21029 markings, 31672 edges
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (E (X (E (F (FIREABLE(t1271)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U EX(E(TRUE U FIREABLE(t1271))))
lola: processed formula length: 39
lola: 3 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 194125 markings, 608694 edges, 38804 markings/sec, 0 secs
lola: 379036 markings, 1219744 edges, 36982 markings/sec, 5 secs
lola: 560673 markings, 1847251 edges, 36327 markings/sec, 10 secs
lola: 709541 markings, 2484112 edges, 29774 markings/sec, 15 secs
lola: 849630 markings, 3099629 edges, 28018 markings/sec, 20 secs
lola: 1005184 markings, 3718955 edges, 31111 markings/sec, 25 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1031221 markings, 3778960 edges
lola: ========================================
lola: subprocess 2 will run for 250 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (A (F (E (F ((FIREABLE(t62) OR FIREABLE(t2794)))))) OR FIREABLE(t841))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 250 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (E (F ((FIREABLE(t62) OR FIREABLE(t2794))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U E(TRUE U (FIREABLE(t62) OR FIREABLE(t2794))))
lola: processed formula length: 55
lola: 2 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 5078 markings, 6731 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 3 will run for 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X ((A (X ((FIREABLE(t1056) AND FIREABLE(t934)))) OR (E (F (FIREABLE(t903))) AND E (F (FIREABLE(t787)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: AX((AX((FIREABLE(t1056) AND FIREABLE(t934))) OR (E(TRUE U FIREABLE(t903)) AND E(TRUE U FIREABLE(t787)))))
lola: processed formula length: 105
lola: 4 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 197535 markings, 623213 edges, 39486 markings/sec, 0 secs
lola: 384008 markings, 1236936 edges, 37295 markings/sec, 5 secs
lola: 566896 markings, 1867540 edges, 36578 markings/sec, 10 secs
lola: 717375 markings, 2509911 edges, 30096 markings/sec, 15 secs
lola: 856033 markings, 3129519 edges, 27732 markings/sec, 20 secs
lola: 1007493 markings, 3759833 edges, 30292 markings/sec, 25 secs
lola: 1007493 markings, 4385242 edges, 0 markings/sec, 30 secs
lola: 1007493 markings, 4979395 edges, 0 markings/sec, 35 secs
lola: 1007493 markings, 5598862 edges, 0 markings/sec, 40 secs
lola: 1007493 markings, 6238334 edges, 0 markings/sec, 45 secs
lola: 1007493 markings, 6843389 edges, 0 markings/sec, 50 secs
lola: 1007493 markings, 7413110 edges, 0 markings/sec, 55 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1007493 markings, 7437303 edges
lola: ========================================
lola: subprocess 4 will run for 287 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((E (G (NOT FIREABLE(t1988))) AND E (((FIREABLE(t465) OR FIREABLE(t1555)) U NOT FIREABLE(t886)))) OR (NOT((A (G (FIREABLE(t1452))) AND A (G (FIREABLE(t1541))))) AND E (X (A (X (FIREABLE(t2314)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 287 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t1988)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U FIREABLE(t1988)))
lola: processed formula length: 30
lola: 9 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
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: 58 markings, 58 edges
lola: ========================================
lola: subprocess 5 will run for 313 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((FIREABLE(t465) OR FIREABLE(t1555)) U NOT FIREABLE(t886)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((FIREABLE(t465) OR FIREABLE(t1555)) U NOT FIREABLE(t886))
lola: processed formula length: 60
lola: 8 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
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: 1 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 5 will run for 313 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (F (A (X ((FIREABLE(t1033) OR FIREABLE(t2621)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT(EX((NOT FIREABLE(t1033) AND NOT FIREABLE(t2621))))))
lola: processed formula length: 69
lola: 7 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
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: 60 markings, 60 edges
lola: ========================================
lola: subprocess 6 will run for 344 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (NOT(NOT(E (X (FIREABLE(t281)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U EX(FIREABLE(t281)))
lola: processed formula length: 28
lola: 8 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 177368 markings, 548404 edges, 35452 markings/sec, 0 secs
lola: 349213 markings, 1119216 edges, 34369 markings/sec, 5 secs
lola: 515949 markings, 1675677 edges, 33347 markings/sec, 10 secs
lola: 653767 markings, 2248435 edges, 27564 markings/sec, 15 secs
lola: 790268 markings, 2839066 edges, 27300 markings/sec, 20 secs
lola: 911778 markings, 3368393 edges, 24302 markings/sec, 25 secs
lola: 1072107 markings, 3899324 edges, 32066 markings/sec, 30 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1191905 markings, 4248346 edges
lola: ========================================
lola: subprocess 7 will run for 378 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((A (X ((FIREABLE(t2492) OR FIREABLE(t1302)))) U E (G (NOT FIREABLE(t336)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(AX((FIREABLE(t2492) OR FIREABLE(t1302))) U NOT(A(TRUE U FIREABLE(t336))))
lola: processed formula length: 76
lola: 4 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 60 markings, 61 edges
lola: ========================================
lola: subprocess 8 will run for 426 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(t1737) U A ((FIREABLE(t2302) U FIREABLE(t2990)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(NOT FIREABLE(t1737) U A(FIREABLE(t2302) U FIREABLE(t2990)))
lola: processed formula length: 61
lola: 2 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 57 markings, 114 edges
lola: ========================================
lola: subprocess 9 will run for 487 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (A (F (E ((FIREABLE(t3084) U FIREABLE(t407))))) OR E ((A (F (FIREABLE(t2882))) U ((FIREABLE(t1590) OR FIREABLE(t1028)) AND NOT FIREABLE(t3004)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 487 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (E ((FIREABLE(t3084) U FIREABLE(t407)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U E(FIREABLE(t3084) U FIREABLE(t407)))
lola: processed formula length: 45
lola: 2 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 57 markings, 114 edges
lola: ========================================
lola: subprocess 10 will run for 568 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((A (F (FIREABLE(t2882))) U ((FIREABLE(t1590) OR FIREABLE(t1028)) AND NOT FIREABLE(t3004))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(A(TRUE U FIREABLE(t2882)) U ((FIREABLE(t1590) OR FIREABLE(t1028)) AND NOT FIREABLE(t3004)))
lola: processed formula length: 94
lola: 2 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 57 markings, 58 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 10 will run for 568 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT(A ((NOT FIREABLE(t2246) U (FIREABLE(t2177) OR FIREABLE(t1041))))) OR ((FIREABLE(t3061) AND NOT FIREABLE(t700) AND ((NOT FIREABLE(t2753) AND NOT FIREABLE(t2061)) OR FIREABLE(t1321))) OR ((FIREABLE(t867) AND FIREABLE(t1940)) AND NOT(A (G (FIREABLE(t1863)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 568 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t2246) R (NOT FIREABLE(t2177) AND NOT FIREABLE(t1041))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(NOT FIREABLE(t2246) U (FIREABLE(t2177) OR FIREABLE(t1041))))
lola: processed formula length: 67
lola: 10 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
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: 58 markings, 58 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 11 will run for 682 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (E ((NOT FIREABLE(t264) U (FIREABLE(t2042) AND FIREABLE(t1523))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: AX(E(NOT FIREABLE(t264) U (FIREABLE(t2042) AND FIREABLE(t1523))))
lola: processed formula length: 65
lola: 2 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 195793 markings, 611839 edges, 39137 markings/sec, 0 secs
lola: 380039 markings, 1223040 edges, 36849 markings/sec, 5 secs
lola: 562487 markings, 1852580 edges, 36490 markings/sec, 10 secs
lola: 712052 markings, 2492314 edges, 29913 markings/sec, 15 secs
lola: 851482 markings, 3107253 edges, 27886 markings/sec, 20 secs
lola: 1009452 markings, 3728499 edges, 31594 markings/sec, 25 secs
lola: 1203716 markings, 4273963 edges, 38853 markings/sec, 30 secs
lola: 1363064 markings, 4729786 edges, 31870 markings/sec, 35 secs
lola: 1507105 markings, 5209219 edges, 28808 markings/sec, 40 secs
lola: 1636995 markings, 5677840 edges, 25978 markings/sec, 45 secs
lola: 1775867 markings, 6153537 edges, 27774 markings/sec, 50 secs
lola: 1919319 markings, 6659644 edges, 28690 markings/sec, 55 secs
lola: 2053157 markings, 7086527 edges, 26768 markings/sec, 60 secs
lola: 2189620 markings, 7540819 edges, 27293 markings/sec, 65 secs
lola: 2343220 markings, 7987458 edges, 30720 markings/sec, 70 secs
lola: 2460888 markings, 8400267 edges, 23534 markings/sec, 75 secs
lola: 2597812 markings, 8858087 edges, 27385 markings/sec, 80 secs
lola: 2717821 markings, 9263322 edges, 24002 markings/sec, 85 secs
lola: 2837510 markings, 9659597 edges, 23938 markings/sec, 90 secs
lola: 2960801 markings, 10058133 edges, 24658 markings/sec, 95 secs
lola: 3085584 markings, 10473091 edges, 24957 markings/sec, 100 secs
lola: 3192823 markings, 10825939 edges, 21448 markings/sec, 105 secs
lola: 3314394 markings, 11214502 edges, 24314 markings/sec, 110 secs
lola: 3441625 markings, 11666029 edges, 25446 markings/sec, 115 secs
lola: 3557603 markings, 12063457 edges, 23196 markings/sec, 120 secs
lola: 3669509 markings, 12438912 edges, 22381 markings/sec, 125 secs
lola: 3773205 markings, 12790049 edges, 20739 markings/sec, 130 secs
lola: 3879037 markings, 13170524 edges, 21166 markings/sec, 135 secs
lola: 4006034 markings, 13582930 edges, 25399 markings/sec, 140 secs
lola: 4136308 markings, 14042114 edges, 26055 markings/sec, 145 secs
lola: 4249468 markings, 14429568 edges, 22632 markings/sec, 150 secs
lola: 4386807 markings, 14858511 edges, 27468 markings/sec, 155 secs
lola: 4517823 markings, 15249380 edges, 26203 markings/sec, 160 secs
lola: 4645849 markings, 15687907 edges, 25605 markings/sec, 165 secs
lola: 4759380 markings, 16088371 edges, 22706 markings/sec, 170 secs
lola: 4870278 markings, 16465575 edges, 22180 markings/sec, 175 secs
lola: 4976057 markings, 16814951 edges, 21156 markings/sec, 180 secs
lola: 5076843 markings, 17168549 edges, 20157 markings/sec, 185 secs
lola: 5197790 markings, 17583183 edges, 24189 markings/sec, 190 secs
lola: 5313464 markings, 17972531 edges, 23135 markings/sec, 195 secs
lola: 5442738 markings, 18379167 edges, 25855 markings/sec, 200 secs
lola: 5564397 markings, 18796319 edges, 24332 markings/sec, 205 secs
lola: 5680731 markings, 19197702 edges, 23267 markings/sec, 210 secs
lola: 5797294 markings, 19587855 edges, 23313 markings/sec, 215 secs
lola: 5915067 markings, 19984118 edges, 23555 markings/sec, 220 secs
lola: 6039480 markings, 20378153 edges, 24883 markings/sec, 225 secs
lola: 6153690 markings, 20762855 edges, 22842 markings/sec, 230 secs
lola: 6275113 markings, 21151910 edges, 24285 markings/sec, 235 secs
lola: 6381720 markings, 21536514 edges, 21321 markings/sec, 240 secs
lola: 6494263 markings, 21919470 edges, 22509 markings/sec, 245 secs
lola: 6601226 markings, 22291203 edges, 21393 markings/sec, 250 secs
lola: 6720136 markings, 22674386 edges, 23782 markings/sec, 255 secs
lola: 6860360 markings, 23061526 edges, 28045 markings/sec, 260 secs
lola: 7000516 markings, 23466202 edges, 28031 markings/sec, 265 secs
lola: 7116657 markings, 23845910 edges, 23228 markings/sec, 270 secs
lola: 7239020 markings, 24235598 edges, 24473 markings/sec, 275 secs
lola: 7368430 markings, 24640021 edges, 25882 markings/sec, 280 secs
lola: 7490233 markings, 25061275 edges, 24361 markings/sec, 285 secs
lola: 7606980 markings, 25439906 edges, 23349 markings/sec, 290 secs
lola: 7717247 markings, 25808211 edges, 22053 markings/sec, 295 secs
lola: 7837553 markings, 26180988 edges, 24061 markings/sec, 300 secs
lola: 7965153 markings, 26594774 edges, 25520 markings/sec, 305 secs
lola: 8080603 markings, 26974414 edges, 23090 markings/sec, 310 secs
lola: 8191078 markings, 27343341 edges, 22095 markings/sec, 315 secs
lola: 8306008 markings, 27726215 edges, 22986 markings/sec, 320 secs
lola: 8420581 markings, 28101199 edges, 22915 markings/sec, 325 secs
lola: 8547475 markings, 28497133 edges, 25379 markings/sec, 330 secs
lola: 8661050 markings, 28860809 edges, 22715 markings/sec, 335 secs
lola: 8772919 markings, 29232324 edges, 22374 markings/sec, 340 secs
lola: 8884821 markings, 29599305 edges, 22380 markings/sec, 345 secs
lola: 8996852 markings, 29972928 edges, 22406 markings/sec, 350 secs
lola: 9106890 markings, 30342300 edges, 22008 markings/sec, 355 secs
lola: 9220070 markings, 30731003 edges, 22636 markings/sec, 360 secs
lola: 9345715 markings, 31123655 edges, 25129 markings/sec, 365 secs
lola: 9459452 markings, 31503144 edges, 22747 markings/sec, 370 secs
lola: 9569502 markings, 31867263 edges, 22010 markings/sec, 375 secs
lola: 9674970 markings, 32215190 edges, 21094 markings/sec, 380 secs
lola: 9776285 markings, 32542338 edges, 20263 markings/sec, 385 secs
lola: 9881630 markings, 32883727 edges, 21069 markings/sec, 390 secs
lola: 10002404 markings, 33258636 edges, 24155 markings/sec, 395 secs
lola: 10112134 markings, 33624191 edges, 21946 markings/sec, 400 secs
lola: 10218706 markings, 33970341 edges, 21314 markings/sec, 405 secs
lola: 10328140 markings, 34331734 edges, 21887 markings/sec, 410 secs
lola: 10427973 markings, 34674809 edges, 19967 markings/sec, 415 secs
lola: 10536330 markings, 35030214 edges, 21671 markings/sec, 420 secs
lola: 10638294 markings, 35368907 edges, 20393 markings/sec, 425 secs
lola: 10767688 markings, 35807284 edges, 25879 markings/sec, 430 secs
lola: 10900211 markings, 36254587 edges, 26505 markings/sec, 435 secs
lola: 11024449 markings, 36678036 edges, 24848 markings/sec, 440 secs
lola: 11146773 markings, 37097162 edges, 24465 markings/sec, 445 secs
lola: 11261053 markings, 37485261 edges, 22856 markings/sec, 450 secs
lola: 11364477 markings, 37822899 edges, 20685 markings/sec, 455 secs
lola: 11471710 markings, 38198216 edges, 21447 markings/sec, 460 secs
lola: 11596595 markings, 38619863 edges, 24977 markings/sec, 465 secs
lola: 11714174 markings, 39036973 edges, 23516 markings/sec, 470 secs
lola: 11832115 markings, 39440159 edges, 23588 markings/sec, 475 secs
lola: 11944772 markings, 39835215 edges, 22531 markings/sec, 480 secs
lola: 12052043 markings, 40196905 edges, 21454 markings/sec, 485 secs
lola: 12158727 markings, 40577199 edges, 21337 markings/sec, 490 secs
lola: 12267099 markings, 40946088 edges, 21674 markings/sec, 495 secs
lola: 12358166 markings, 41260306 edges, 18213 markings/sec, 500 secs
lola: 12447124 markings, 41556938 edges, 17792 markings/sec, 505 secs
lola: 12536313 markings, 41886512 edges, 17838 markings/sec, 510 secs
lola: 12624216 markings, 42203872 edges, 17581 markings/sec, 515 secs
lola: 12715581 markings, 42515216 edges, 18273 markings/sec, 520 secs
lola: 12804004 markings, 42829762 edges, 17685 markings/sec, 525 secs
lola: 12885117 markings, 43113288 edges, 16223 markings/sec, 530 secs
lola: 12977778 markings, 43401384 edges, 18532 markings/sec, 535 secs
lola: 13071948 markings, 43701171 edges, 18834 markings/sec, 540 secs
lola: 13200534 markings, 44074290 edges, 25717 markings/sec, 545 secs
lola: 13309337 markings, 44419144 edges, 21761 markings/sec, 550 secs
lola: 13409035 markings, 44748816 edges, 19940 markings/sec, 555 secs
lola: 13506072 markings, 45061642 edges, 19407 markings/sec, 560 secs
lola: 13604932 markings, 45380948 edges, 19772 markings/sec, 565 secs
lola: 13713320 markings, 45750389 edges, 21678 markings/sec, 570 secs
lola: 13808211 markings, 46059933 edges, 18978 markings/sec, 575 secs
lola: 13905903 markings, 46382361 edges, 19538 markings/sec, 580 secs
lola: 14002939 markings, 46706104 edges, 19407 markings/sec, 585 secs
lola: 14104048 markings, 47037221 edges, 20222 markings/sec, 590 secs
lola: 14188847 markings, 47327900 edges, 16960 markings/sec, 595 secs
lola: 14286835 markings, 47637724 edges, 19598 markings/sec, 600 secs
lola: 14378710 markings, 47932263 edges, 18375 markings/sec, 605 secs
lola: 14502603 markings, 48368758 edges, 24779 markings/sec, 610 secs
lola: 14603128 markings, 48707808 edges, 20105 markings/sec, 615 secs
lola: 14703103 markings, 49038468 edges, 19995 markings/sec, 620 secs
lola: 14810485 markings, 49410746 edges, 21476 markings/sec, 625 secs
lola: 14904538 markings, 49728058 edges, 18811 markings/sec, 630 secs
lola: 14996899 markings, 50034634 edges, 18472 markings/sec, 635 secs
lola: 15099365 markings, 50366881 edges, 20493 markings/sec, 640 secs
lola: 15202425 markings, 50686237 edges, 20612 markings/sec, 645 secs
lola: 15301360 markings, 51006327 edges, 19787 markings/sec, 650 secs
lola: 15393250 markings, 51330901 edges, 18378 markings/sec, 655 secs
lola: 15484034 markings, 51629079 edges, 18157 markings/sec, 660 secs
lola: 15576948 markings, 51934015 edges, 18583 markings/sec, 665 secs
lola: 15672137 markings, 52234999 edges, 19038 markings/sec, 670 secs
lola: 15778743 markings, 52607594 edges, 21321 markings/sec, 675 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
terminate called after throwing an instance of 'std::runtime_error'
what(): parse error at position 0: unexpected character, last read: '\ufffd'
Aborted (core dumped)
FORMULA CloudReconfiguration-PT-315-CTLFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-315-CTLFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-315-CTLFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-315-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
FORMULA CloudReconfiguration-PT-315-CTLFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-315-CTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-315-CTLFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-315-CTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-315-CTLFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-315-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-315-CTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-315-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-315-CTLFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-315-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-315-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-315-CTLFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stderr -----
----- Finished stdout -----

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-315"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="mcc4mcc-full"
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-315.tgz
mv CloudReconfiguration-PT-315 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 mcc4mcc-full"
echo " Input is CloudReconfiguration-PT-315, 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 r058-smll-152646385500102"
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 ;