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

About the Execution of Irma.struct for CloudReconfiguration-PT-320

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
12237.080 2211943.00 2188706.00 6941.70 FTFTFFFTFFTTTT?T normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K 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.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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 661K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-structural
Input is CloudReconfiguration-PT-320, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r055-smll-152646382700137
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526492479402


BK_STOP 1526494691345

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

Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using CloudReconfiguration-PT-320 as instance name.
Using CloudReconfiguration as model name.
Using algorithm or tool bmdt.
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}.
Known tools are: [{'Time': 253559, 'Memory': 1416.68, 'Tool': 'lola'}, {'Time': 776143, 'Memory': 15949.32, 'Tool': 'itstools'}].
Learned tools are: [{'Tool': 'itstools'}].
Learned tool itstools is 3.0609956657030515x far from the best tool lola.
CTLFireability lola CloudReconfiguration-PT-320...

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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-320: translating PT formula CTLFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
CTLFireability @ CloudReconfiguration-PT-320 @ 3539 seconds
----- Start make result stdout -----
----- Start make result stderr -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5686/65536 symbol table entries, 641 collisions
lola: preprocessing...
lola: finding significant places
lola: 2587 places, 3099 transitions, 2583 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2716 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-320-CTLFireability.task
lola: A ((A (F ((FIREABLE(t735) AND FIREABLE(t1627)))) U (E (F (FIREABLE(t31))) AND E (X (FIREABLE(t2162)))))) : E (F (FIREABLE(t1485))) : E (X (A ((NOT FIREABLE(t1800) U (FIREABLE(t2928) AND FIREABLE(t2578)))))) : NOT(A (F (A ((FIREABLE(t297) U FIREABLE(t882)))))) : E ((A ((FIREABLE(t2250) U FIREABLE(t1573))) U (A (F (FIREABLE(t2142))) OR FIREABLE(t939)))) : A (F (A (G (NOT FIREABLE(t29))))) : A (G ((((FIREABLE(t2103) OR FIREABLE(t761) OR FIREABLE(t1696) OR FIREABLE(t1449)) AND (FIREABLE(t2275) OR (FIREABLE(t994) AND FIREABLE(t1996)))) OR E (F ((FIREABLE(t2410) OR FIREABLE(t90))))))) : NOT((A (F (A (F (FIREABLE(t2824))))) AND E (F (NOT FIREABLE(t731))))) : A ((E (F ((FIREABLE(t2792) AND FIREABLE(t2916)))) U FIREABLE(t1175))) : (NOT(E (G (NOT FIREABLE(t1281)))) AND ((FIREABLE(t867) AND E (G (FIREABLE(t1897)))) OR A (F (A (G (FIREABLE(t1677))))))) : E (F (A (((FIREABLE(t1207) OR FIREABLE(t1972)) U (FIREABLE(t1332) OR FIREABLE(t2236)))))) : E (X (E (G (NOT FIREABLE(t1135))))) : (NOT(A ((NOT FIREABLE(t1693) U (FIREABLE(t566) AND FIREABLE(t1907))))) OR (E ((FIREABLE(t775) U (FIREABLE(t846) AND FIREABLE(t69)))) OR NOT((A (G (FIREABLE(t2202))) OR (FIREABLE(t2760) OR FIREABLE(t2969) OR NOT FIREABLE(t1670)))))) : NOT((A (G (A (G (FIREABLE(t2211))))) OR A ((NOT FIREABLE(t1809) U FIREABLE(t1766))))) : ((NOT(E (F ((FIREABLE(t745) OR FIREABLE(t561))))) OR A (F ((FIREABLE(t3036) OR (FIREABLE(t76) AND FIREABLE(t1995)))))) OR FIREABLE(t194)) : NOT(A (G (((FIREABLE(t526) OR NOT FIREABLE(t1293)) OR A (G (FIREABLE(t829)))))))
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 ((A (F ((FIREABLE(t735) AND FIREABLE(t1627)))) U (E (F (FIREABLE(t31))) AND E (X (FIREABLE(t2162))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(A(TRUE U (FIREABLE(t735) AND FIREABLE(t1627))) U (E(TRUE U FIREABLE(t31)) AND EX(FIREABLE(t2162))))
lola: processed formula length: 101
lola: 4 rewrites
lola: formula mentions 0 of 2587 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 147 markings, 221 edges
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1485)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 58 markings, 57 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X (A ((NOT FIREABLE(t1800) U (FIREABLE(t2928) AND FIREABLE(t2578))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(A(NOT FIREABLE(t1800) U (FIREABLE(t2928) AND FIREABLE(t2578))))
lola: processed formula length: 66
lola: 2 rewrites
lola: formula mentions 0 of 2587 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 67 markings, 67 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (F (A ((FIREABLE(t297) U FIREABLE(t882))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U A(FIREABLE(t297) U FIREABLE(t882))))
lola: processed formula length: 49
lola: 11 rewrites
lola: formula mentions 0 of 2587 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 65 markings, 130 edges
lola: ========================================
lola: subprocess 4 will run for 294 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((A ((FIREABLE(t2250) U FIREABLE(t1573))) U (A (F (FIREABLE(t2142))) OR FIREABLE(t939))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(A(FIREABLE(t2250) U FIREABLE(t1573)) U (A(TRUE U FIREABLE(t2142)) OR FIREABLE(t939)))
lola: processed formula length: 87
lola: 3 rewrites
lola: formula mentions 0 of 2587 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 87 markings, 89 edges
lola: ========================================
lola: subprocess 5 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (A (G (NOT FIREABLE(t29)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (A (G (NOT FIREABLE(t29)))))
lola: processed formula: A (F (A (G (NOT FIREABLE(t29)))))
lola: processed formula length: 33
lola: 0 rewrites
lola: formula mentions 0 of 2587 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 7 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 69 markings, 70 edges
lola: ========================================
lola: subprocess 6 will run for 353 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((((FIREABLE(t2103) OR FIREABLE(t761) OR FIREABLE(t1696) OR FIREABLE(t1449)) AND (FIREABLE(t2275) OR (FIREABLE(t994) AND FIREABLE(t1996)))) OR E (F ((FIREABLE(t2410) OR FIREABLE(t90)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U (((NOT FIREABLE(t2103) AND NOT FIREABLE(t761) AND NOT FIREABLE(t1696) AND NOT FIREABLE(t1449)) OR (NOT FIREABLE(t2275) AND (NOT FIREABLE(t994) OR NOT FIREABLE(t1996)))) AND NOT(E(TRUE U (FIREABLE(t2410) OR FIREABLE(t90)))))))
lola: processed formula length: 241
lola: 4 rewrites
lola: formula mentions 0 of 2587 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 27720 markings, 46062 edges
lola: ========================================
lola: subprocess 7 will run for 393 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT((A (F (A (F (FIREABLE(t2824))))) AND E (F (NOT FIREABLE(t731)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 393 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t2824)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U FIREABLE(t2824)))
lola: processed formula length: 30
lola: 10 rewrites
lola: formula mentions 0 of 2587 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 65 markings, 65 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 8 will run for 442 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((E (F ((FIREABLE(t2792) AND FIREABLE(t2916)))) U FIREABLE(t1175)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(E(TRUE U (FIREABLE(t2792) AND FIREABLE(t2916))) U FIREABLE(t1175))
lola: processed formula length: 68
lola: 2 rewrites
lola: formula mentions 0 of 2587 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 221011 markings, 380629 edges
lola: ========================================
lola: subprocess 9 will run for 504 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT(E (G (NOT FIREABLE(t1281)))) AND ((FIREABLE(t867) AND E (G (FIREABLE(t1897)))) OR A (F (A (G (FIREABLE(t1677)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 504 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t1281)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t1281)))
lola: processed formula: A (F (FIREABLE(t1281)))
lola: processed formula length: 23
lola: 3 rewrites
lola: formula mentions 0 of 2587 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 8 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 69 markings, 69 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 10 will run for 589 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (A (((FIREABLE(t1207) OR FIREABLE(t1972)) U (FIREABLE(t1332) OR FIREABLE(t2236))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U A((FIREABLE(t1207) OR FIREABLE(t1972)) U (FIREABLE(t1332) OR FIREABLE(t2236))))
lola: processed formula length: 90
lola: 2 rewrites
lola: formula mentions 0 of 2587 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 185 markings, 380 edges
lola: ========================================
lola: subprocess 11 will run for 706 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X (E (G (NOT FIREABLE(t1135)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(NOT(A(TRUE U FIREABLE(t1135))))
lola: processed formula length: 34
lola: 3 rewrites
lola: formula mentions 0 of 2587 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 67 markings, 67 edges
lola: ========================================
lola: subprocess 12 will run for 883 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT(A ((NOT FIREABLE(t1693) U (FIREABLE(t566) AND FIREABLE(t1907))))) OR (E ((FIREABLE(t775) U (FIREABLE(t846) AND FIREABLE(t69)))) OR NOT((A (G (FIREABLE(t2202))) OR (FIREABLE(t2760) OR FIREABLE(t2969) OR NOT FIREABLE(t1670))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 883 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t1693) R (NOT FIREABLE(t566) OR NOT FIREABLE(t1907))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(NOT FIREABLE(t1693) U (FIREABLE(t566) AND FIREABLE(t1907))))
lola: processed formula length: 66
lola: 12 rewrites
lola: formula mentions 0 of 2587 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 65 markings, 65 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 13 will run for 1178 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT((A (G (A (G (FIREABLE(t2211))))) OR A ((NOT FIREABLE(t1809) U FIREABLE(t1766)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 1178 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (NOT FIREABLE(t2211)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1767 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t1809) R NOT FIREABLE(t1766)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(NOT FIREABLE(t1809) U FIREABLE(t1766)))
lola: processed formula length: 45
lola: 12 rewrites
lola: formula mentions 0 of 2587 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 65 markings, 65 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 14 will run for 1767 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((NOT(E (F ((FIREABLE(t745) OR FIREABLE(t561))))) OR A (F ((FIREABLE(t3036) OR (FIREABLE(t76) AND FIREABLE(t1995)))))) OR FIREABLE(t194))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1767 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t745) AND NOT FIREABLE(t561))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 63 markings, 62 edges
lola: ========================================
lola: subprocess 15 will run for 3534 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t3036) OR (FIREABLE(t76) AND FIREABLE(t1995)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F ((FIREABLE(t3036) OR (FIREABLE(t76) AND FIREABLE(t1995)))))
lola: processed formula: A (F ((FIREABLE(t3036) OR (FIREABLE(t76) AND FIREABLE(t1995)))))
lola: processed formula length: 65
lola: 4 rewrites
lola: formula mentions 0 of 2587 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 8 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 67 markings, 67 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 15 will run for 3534 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (G (((FIREABLE(t526) OR NOT FIREABLE(t1293)) OR A (G (FIREABLE(t829)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U ((NOT FIREABLE(t526) AND FIREABLE(t1293)) AND E(TRUE U NOT FIREABLE(t829))))
lola: processed formula length: 85
lola: 9 rewrites
lola: formula mentions 0 of 2587 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-320-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 261999 markings, 467223 edges, 52378 markings/sec, 0 secs
lola: 487711 markings, 904140 edges, 45142 markings/sec, 5 secs
lola: 735104 markings, 1331032 edges, 49479 markings/sec, 10 secs
lola: 950236 markings, 1730667 edges, 43026 markings/sec, 15 secs
lola: 1169466 markings, 2106038 edges, 43846 markings/sec, 20 secs
lola: 1399674 markings, 2487837 edges, 46042 markings/sec, 25 secs
lola: 1616157 markings, 2871474 edges, 43297 markings/sec, 30 secs
lola: 1806217 markings, 3215122 edges, 38012 markings/sec, 35 secs
lola: 1991870 markings, 3576602 edges, 37131 markings/sec, 40 secs
lola: 2182249 markings, 3966488 edges, 38076 markings/sec, 45 secs
lola: 2378926 markings, 4325873 edges, 39335 markings/sec, 50 secs
lola: 2601265 markings, 4715713 edges, 44468 markings/sec, 55 secs
lola: 2819201 markings, 5116130 edges, 43587 markings/sec, 60 secs
lola: 3043993 markings, 5495988 edges, 44958 markings/sec, 65 secs
lola: 3246815 markings, 5847336 edges, 40564 markings/sec, 70 secs
lola: 3452890 markings, 6203914 edges, 41215 markings/sec, 75 secs
lola: 3654731 markings, 6546955 edges, 40368 markings/sec, 80 secs
lola: 3831867 markings, 6883618 edges, 35427 markings/sec, 85 secs
lola: 4024054 markings, 7198359 edges, 38437 markings/sec, 90 secs
lola: 4189650 markings, 7516427 edges, 33119 markings/sec, 95 secs
lola: 4366058 markings, 7817205 edges, 35282 markings/sec, 100 secs
lola: 4554281 markings, 8109010 edges, 37645 markings/sec, 105 secs
lola: 4727347 markings, 8417544 edges, 34613 markings/sec, 110 secs
lola: 4898709 markings, 8752055 edges, 34272 markings/sec, 115 secs
lola: 5097668 markings, 9128504 edges, 39792 markings/sec, 120 secs
lola: 5288991 markings, 9516127 edges, 38265 markings/sec, 125 secs
lola: 5444642 markings, 9846761 edges, 31130 markings/sec, 130 secs
lola: 5593630 markings, 10146191 edges, 29798 markings/sec, 135 secs
lola: 5771507 markings, 10459250 edges, 35575 markings/sec, 140 secs
lola: 5947364 markings, 10821744 edges, 35171 markings/sec, 145 secs
lola: 6082139 markings, 11150269 edges, 26955 markings/sec, 150 secs
lola: 6230536 markings, 11500423 edges, 29679 markings/sec, 155 secs
lola: 6375527 markings, 11855546 edges, 28998 markings/sec, 160 secs
lola: 6511939 markings, 12201974 edges, 27282 markings/sec, 165 secs
lola: 6644907 markings, 12519090 edges, 26594 markings/sec, 170 secs
lola: 6763505 markings, 12801638 edges, 23720 markings/sec, 175 secs
lola: 6875666 markings, 13077516 edges, 22432 markings/sec, 180 secs
lola: 6987560 markings, 13356664 edges, 22379 markings/sec, 185 secs
lola: 7101370 markings, 13641471 edges, 22762 markings/sec, 190 secs
lola: 7266982 markings, 14012144 edges, 33122 markings/sec, 195 secs
lola: 7444465 markings, 14421677 edges, 35497 markings/sec, 200 secs
lola: 7600517 markings, 14788691 edges, 31210 markings/sec, 205 secs
lola: 7744689 markings, 15153660 edges, 28834 markings/sec, 210 secs
lola: 7879469 markings, 15475159 edges, 26956 markings/sec, 215 secs
lola: 8010392 markings, 15823508 edges, 26185 markings/sec, 220 secs
lola: 8141996 markings, 16175612 edges, 26321 markings/sec, 225 secs
lola: 8267666 markings, 16485791 edges, 25134 markings/sec, 230 secs
lola: 8429051 markings, 16846141 edges, 32277 markings/sec, 235 secs
lola: 8563015 markings, 17174455 edges, 26793 markings/sec, 240 secs
lola: 8730307 markings, 17522170 edges, 33458 markings/sec, 245 secs
lola: 8881783 markings, 17875874 edges, 30295 markings/sec, 250 secs
lola: 9049949 markings, 18205720 edges, 33633 markings/sec, 255 secs
lola: 9217576 markings, 18542859 edges, 33525 markings/sec, 260 secs
lola: 9382580 markings, 18853187 edges, 33001 markings/sec, 265 secs
lola: 9543555 markings, 19170531 edges, 32195 markings/sec, 270 secs
lola: 9686460 markings, 19485032 edges, 28581 markings/sec, 275 secs
lola: 9816799 markings, 19778039 edges, 26068 markings/sec, 280 secs
lola: 9938234 markings, 20058700 edges, 24287 markings/sec, 285 secs
lola: 10059566 markings, 20361116 edges, 24266 markings/sec, 290 secs
lola: 10196877 markings, 20666150 edges, 27462 markings/sec, 295 secs
lola: 10338282 markings, 20963219 edges, 28281 markings/sec, 300 secs
lola: 10457340 markings, 21213582 edges, 23812 markings/sec, 305 secs
lola: 10602877 markings, 21551996 edges, 29107 markings/sec, 310 secs
lola: 10804708 markings, 21954326 edges, 40366 markings/sec, 315 secs
lola: 11018237 markings, 22375035 edges, 42706 markings/sec, 320 secs
lola: 11208278 markings, 22786047 edges, 38008 markings/sec, 325 secs
lola: 11367930 markings, 23163558 edges, 31930 markings/sec, 330 secs
lola: 11496611 markings, 23450804 edges, 25736 markings/sec, 335 secs
lola: 11618152 markings, 23712960 edges, 24308 markings/sec, 340 secs
lola: 11762065 markings, 24044426 edges, 28783 markings/sec, 345 secs
lola: 11914742 markings, 24364619 edges, 30535 markings/sec, 350 secs
lola: 12085762 markings, 24737646 edges, 34204 markings/sec, 355 secs
lola: 12264925 markings, 25091123 edges, 35833 markings/sec, 360 secs
lola: 12452490 markings, 25476636 edges, 37513 markings/sec, 365 secs
lola: 12600453 markings, 25816148 edges, 29593 markings/sec, 370 secs
lola: 12725807 markings, 26109807 edges, 25071 markings/sec, 375 secs
lola: 12843098 markings, 26395865 edges, 23458 markings/sec, 380 secs
lola: 12955273 markings, 26715505 edges, 22435 markings/sec, 385 secs
lola: 13088373 markings, 27031451 edges, 26620 markings/sec, 390 secs
lola: 13226118 markings, 27393825 edges, 27549 markings/sec, 395 secs
lola: 13378605 markings, 27772762 edges, 30497 markings/sec, 400 secs
lola: 13527236 markings, 28123058 edges, 29726 markings/sec, 405 secs
lola: 13638619 markings, 28403012 edges, 22277 markings/sec, 410 secs
lola: 13748578 markings, 28725452 edges, 21992 markings/sec, 415 secs
lola: 13888097 markings, 29062343 edges, 27904 markings/sec, 420 secs
lola: 13994810 markings, 29334976 edges, 21343 markings/sec, 425 secs
lola: 14103312 markings, 29602369 edges, 21700 markings/sec, 430 secs
lola: 14212031 markings, 29879916 edges, 21744 markings/sec, 435 secs
lola: 14369852 markings, 30265937 edges, 31564 markings/sec, 440 secs
lola: 14509959 markings, 30617763 edges, 28021 markings/sec, 445 secs
lola: 14627760 markings, 30932515 edges, 23560 markings/sec, 450 secs
lola: 14780399 markings, 31286706 edges, 30528 markings/sec, 455 secs
lola: 14905381 markings, 31590210 edges, 24996 markings/sec, 460 secs
lola: 15061784 markings, 31931751 edges, 31281 markings/sec, 465 secs
lola: 15218164 markings, 32266179 edges, 31276 markings/sec, 470 secs
lola: 15351243 markings, 32616797 edges, 26616 markings/sec, 475 secs
lola: 15473635 markings, 32941290 edges, 24478 markings/sec, 480 secs
lola: 15566675 markings, 33201977 edges, 18608 markings/sec, 485 secs
lola: 15707492 markings, 33542907 edges, 28163 markings/sec, 490 secs
lola: 15835844 markings, 33871713 edges, 25670 markings/sec, 495 secs
lola: 15932427 markings, 34182018 edges, 19317 markings/sec, 500 secs
lola: 16068818 markings, 34500691 edges, 27278 markings/sec, 505 secs
lola: 16193215 markings, 34791622 edges, 24879 markings/sec, 510 secs
lola: 16310138 markings, 35057542 edges, 23385 markings/sec, 515 secs
lola: 16437946 markings, 35354954 edges, 25562 markings/sec, 520 secs
lola: 16559091 markings, 35629648 edges, 24229 markings/sec, 525 secs
lola: 16673049 markings, 35886975 edges, 22792 markings/sec, 530 secs
lola: 16760692 markings, 36146256 edges, 17529 markings/sec, 535 secs
lola: 16852170 markings, 36419576 edges, 18296 markings/sec, 540 secs
lola: 16983714 markings, 36759522 edges, 26309 markings/sec, 545 secs
lola: 17089468 markings, 37041704 edges, 21151 markings/sec, 550 secs
lola: 17176202 markings, 37270690 edges, 17347 markings/sec, 555 secs
lola: 17269914 markings, 37534238 edges, 18742 markings/sec, 560 secs
lola: 17397770 markings, 37856863 edges, 25571 markings/sec, 565 secs
lola: 17523688 markings, 38143827 edges, 25184 markings/sec, 570 secs
lola: 17636561 markings, 38438233 edges, 22575 markings/sec, 575 secs
lola: 17744374 markings, 38746478 edges, 21563 markings/sec, 580 secs
lola: 17843638 markings, 39030233 edges, 19853 markings/sec, 585 secs
lola: 17940781 markings, 39342968 edges, 19429 markings/sec, 590 secs
lola: 18081782 markings, 39673706 edges, 28200 markings/sec, 595 secs
lola: 18205164 markings, 39969412 edges, 24676 markings/sec, 600 secs
lola: 18319100 markings, 40227750 edges, 22787 markings/sec, 605 secs
lola: 18443219 markings, 40516308 edges, 24824 markings/sec, 610 secs
lola: 18568756 markings, 40800440 edges, 25107 markings/sec, 615 secs
lola: 18675380 markings, 41046222 edges, 21325 markings/sec, 620 secs
lola: 18764223 markings, 41314473 edges, 17769 markings/sec, 625 secs
lola: 18862316 markings, 41602713 edges, 19619 markings/sec, 630 secs
lola: 18981617 markings, 41932819 edges, 23860 markings/sec, 635 secs
lola: 19074240 markings, 42179215 edges, 18525 markings/sec, 640 secs
lola: 19174494 markings, 42466964 edges, 20051 markings/sec, 645 secs
lola: 19301705 markings, 42793694 edges, 25442 markings/sec, 650 secs
lola: 19418868 markings, 43078515 edges, 23433 markings/sec, 655 secs
lola: 19542815 markings, 43372263 edges, 24789 markings/sec, 660 secs
lola: 19682696 markings, 43686191 edges, 27976 markings/sec, 665 secs
lola: 19809528 markings, 43990474 edges, 25366 markings/sec, 670 secs
lola: 19925615 markings, 44314969 edges, 23217 markings/sec, 675 secs
lola: 20057342 markings, 44633594 edges, 26345 markings/sec, 680 secs
lola: 20185197 markings, 44924311 edges, 25571 markings/sec, 685 secs
lola: 20295295 markings, 45214811 edges, 22020 markings/sec, 690 secs
lola: 20419497 markings, 45538736 edges, 24840 markings/sec, 695 secs
lola: 20533982 markings, 45849742 edges, 22897 markings/sec, 700 secs
lola: 20675762 markings, 46164063 edges, 28356 markings/sec, 705 secs
lola: 20808960 markings, 46478520 edges, 26640 markings/sec, 710 secs
lola: 20928681 markings, 46777131 edges, 23944 markings/sec, 715 secs
lola: 21069995 markings, 47091189 edges, 28263 markings/sec, 720 secs
lola: 21190378 markings, 47403213 edges, 24077 markings/sec, 725 secs
lola: 21316577 markings, 47730420 edges, 25240 markings/sec, 730 secs
lola: 21441423 markings, 48053888 edges, 24969 markings/sec, 735 secs
lola: 21558957 markings, 48359074 edges, 23507 markings/sec, 740 secs
lola: 21685714 markings, 48663979 edges, 25351 markings/sec, 745 secs
lola: 21789788 markings, 48950198 edges, 20815 markings/sec, 750 secs
lola: 21895281 markings, 49251234 edges, 21099 markings/sec, 755 secs
lola: 21997233 markings, 49539586 edges, 20390 markings/sec, 760 secs
lola: 22105729 markings, 49842816 edges, 21699 markings/sec, 765 secs
lola: 22252065 markings, 50161479 edges, 29267 markings/sec, 770 secs
lola: 22378378 markings, 50456352 edges, 25263 markings/sec, 775 secs
lola: 22481625 markings, 50732158 edges, 20649 markings/sec, 780 secs
lola: 22577589 markings, 51008766 edges, 19193 markings/sec, 785 secs
lola: 22777770 markings, 51381517 edges, 40036 markings/sec, 790 secs
lola: 22954440 markings, 51695337 edges, 35334 markings/sec, 795 secs
lola: 23129877 markings, 52001446 edges, 35087 markings/sec, 800 secs
lola: 23363412 markings, 52405697 edges, 46707 markings/sec, 805 secs
lola: 23548370 markings, 52739832 edges, 36992 markings/sec, 810 secs
lola: 23706199 markings, 53043142 edges, 31566 markings/sec, 815 secs
lola: 23855471 markings, 53338867 edges, 29854 markings/sec, 820 secs
lola: 24030864 markings, 53655750 edges, 35079 markings/sec, 825 secs
lola: 24214731 markings, 54040901 edges, 36773 markings/sec, 830 secs
lola: 24386158 markings, 54379926 edges, 34285 markings/sec, 835 secs
lola: 24552284 markings, 54728410 edges, 33225 markings/sec, 840 secs
lola: 24733004 markings, 55077138 edges, 36144 markings/sec, 845 secs
lola: 24896524 markings, 55389375 edges, 32704 markings/sec, 850 secs
lola: 25051537 markings, 55680925 edges, 31003 markings/sec, 855 secs
lola: 25189223 markings, 55962747 edges, 27537 markings/sec, 860 secs
lola: 25297151 markings, 56257088 edges, 21586 markings/sec, 865 secs
lola: 25429096 markings, 56568131 edges, 26389 markings/sec, 870 secs
lola: 25563808 markings, 56866284 edges, 26942 markings/sec, 875 secs
lola: 25693431 markings, 57168888 edges, 25925 markings/sec, 880 secs
lola: 25842623 markings, 57479967 edges, 29838 markings/sec, 885 secs
lola: 26001095 markings, 57777650 edges, 31694 markings/sec, 890 secs
lola: 26152838 markings, 58061983 edges, 30349 markings/sec, 895 secs
lola: 26332153 markings, 58393504 edges, 35863 markings/sec, 900 secs
lola: 26496551 markings, 58725435 edges, 32880 markings/sec, 905 secs
lola: 26617701 markings, 59056734 edges, 24230 markings/sec, 910 secs
lola: 26735911 markings, 59350191 edges, 23642 markings/sec, 915 secs
lola: 26889495 markings, 59705718 edges, 30717 markings/sec, 920 secs
lola: 27029758 markings, 60038407 edges, 28053 markings/sec, 925 secs
lola: 27156508 markings, 60354339 edges, 25350 markings/sec, 930 secs
lola: 27264083 markings, 60668288 edges, 21515 markings/sec, 935 secs
lola: 27373474 markings, 60979658 edges, 21878 markings/sec, 940 secs
lola: 27453973 markings, 61245451 edges, 16100 markings/sec, 945 secs
lola: 27555697 markings, 61528953 edges, 20345 markings/sec, 950 secs
lola: 27698079 markings, 61801934 edges, 28476 markings/sec, 955 secs
lola: 27841078 markings, 62088458 edges, 28600 markings/sec, 960 secs
lola: 27967772 markings, 62327786 edges, 25339 markings/sec, 965 secs
lola: 28093750 markings, 62558848 edges, 25196 markings/sec, 970 secs
lola: 28207462 markings, 62798147 edges, 22742 markings/sec, 975 secs
lola: 28344330 markings, 63055710 edges, 27374 markings/sec, 980 secs
lola: 28545727 markings, 63437518 edges, 40279 markings/sec, 985 secs
lola: 28722364 markings, 63794050 edges, 35327 markings/sec, 990 secs
lola: 28881644 markings, 64105780 edges, 31856 markings/sec, 995 secs
lola: 29004377 markings, 64409659 edges, 24547 markings/sec, 1000 secs
lola: 29165185 markings, 64701390 edges, 32162 markings/sec, 1005 secs
lola: 29314709 markings, 64990981 edges, 29905 markings/sec, 1010 secs
lola: 29454889 markings, 65246323 edges, 28036 markings/sec, 1015 secs
lola: 29591573 markings, 65499131 edges, 27337 markings/sec, 1020 secs
lola: 29806900 markings, 65897202 edges, 43065 markings/sec, 1025 secs
lola: 29958973 markings, 66174889 edges, 30415 markings/sec, 1030 secs
lola: 30123327 markings, 66510003 edges, 32871 markings/sec, 1035 secs
lola: 30217642 markings, 66772948 edges, 18863 markings/sec, 1040 secs
lola: 30352257 markings, 67048333 edges, 26923 markings/sec, 1045 secs
lola: 30504028 markings, 67369089 edges, 30354 markings/sec, 1050 secs
lola: 30651721 markings, 67630328 edges, 29539 markings/sec, 1055 secs
lola: 30804021 markings, 67955134 edges, 30460 markings/sec, 1060 secs
lola: 30956615 markings, 68281768 edges, 30519 markings/sec, 1065 secs
lola: 31106866 markings, 68622531 edges, 30050 markings/sec, 1070 secs
lola: 31252132 markings, 68934417 edges, 29053 markings/sec, 1075 secs
lola: 31411343 markings, 69268010 edges, 31842 markings/sec, 1080 secs
lola: 31573331 markings, 69610314 edges, 32398 markings/sec, 1085 secs
lola: 31711954 markings, 69928907 edges, 27725 markings/sec, 1090 secs
lola: 31850979 markings, 70170318 edges, 27805 markings/sec, 1095 secs
lola: 31998926 markings, 70421536 edges, 29589 markings/sec, 1100 secs
lola: 32173447 markings, 70765001 edges, 34904 markings/sec, 1105 secs
lola: 32317140 markings, 71061137 edges, 28739 markings/sec, 1110 secs
lola: 32468207 markings, 71392676 edges, 30213 markings/sec, 1115 secs
lola: 32601180 markings, 71650541 edges, 26595 markings/sec, 1120 secs
lola: 32736893 markings, 71934373 edges, 27143 markings/sec, 1125 secs
lola: 32869038 markings, 72189884 edges, 26429 markings/sec, 1130 secs
lola: 33014103 markings, 72520275 edges, 29013 markings/sec, 1135 secs
lola: 33152369 markings, 72796226 edges, 27653 markings/sec, 1140 secs
lola: 33297612 markings, 73100353 edges, 29049 markings/sec, 1145 secs
lola: 33425870 markings, 73419559 edges, 25652 markings/sec, 1150 secs
lola: 33540563 markings, 73721135 edges, 22939 markings/sec, 1155 secs
lola: 33653442 markings, 74017297 edges, 22576 markings/sec, 1160 secs
lola: 33771806 markings, 74311703 edges, 23673 markings/sec, 1165 secs
lola: 33890447 markings, 74605357 edges, 23728 markings/sec, 1170 secs
lola: 34003314 markings, 74893725 edges, 22573 markings/sec, 1175 secs
lola: 34130950 markings, 75208142 edges, 25527 markings/sec, 1180 secs
lola: 34241681 markings, 75525290 edges, 22146 markings/sec, 1185 secs
lola: 34381079 markings, 75827411 edges, 27880 markings/sec, 1190 secs
lola: 34556262 markings, 76131758 edges, 35037 markings/sec, 1195 secs
lola: 34740653 markings, 76473119 edges, 36878 markings/sec, 1200 secs
lola: 34924336 markings, 76805363 edges, 36737 markings/sec, 1205 secs
lola: 35106443 markings, 77111849 edges, 36421 markings/sec, 1210 secs
lola: 35265401 markings, 77396286 edges, 31792 markings/sec, 1215 secs
lola: 35426996 markings, 77681053 edges, 32319 markings/sec, 1220 secs
lola: 35600534 markings, 77988756 edges, 34708 markings/sec, 1225 secs
lola: 35786260 markings, 78291128 edges, 37145 markings/sec, 1230 secs
lola: 35940264 markings, 78577635 edges, 30801 markings/sec, 1235 secs
lola: 36093547 markings, 78840244 edges, 30657 markings/sec, 1240 secs
lola: 36244544 markings, 79129240 edges, 30199 markings/sec, 1245 secs
lola: 36402108 markings, 79400526 edges, 31513 markings/sec, 1250 secs
lola: 36574757 markings, 79665623 edges, 34530 markings/sec, 1255 secs
lola: 36726212 markings, 79924524 edges, 30291 markings/sec, 1260 secs
lola: 36881435 markings, 80217786 edges, 31045 markings/sec, 1265 secs
lola: 37037799 markings, 80510635 edges, 31273 markings/sec, 1270 secs
lola: 37197649 markings, 80834683 edges, 31970 markings/sec, 1275 secs
lola: 37352752 markings, 81153258 edges, 31021 markings/sec, 1280 secs
lola: 37485849 markings, 81435757 edges, 26619 markings/sec, 1285 secs
lola: 37621428 markings, 81716736 edges, 27116 markings/sec, 1290 secs
lola: 37766426 markings, 81974508 edges, 29000 markings/sec, 1295 secs
lola: 37931624 markings, 82258306 edges, 33040 markings/sec, 1300 secs
lola: 38058786 markings, 82583663 edges, 25432 markings/sec, 1305 secs
lola: 38176367 markings, 82858688 edges, 23516 markings/sec, 1310 secs
lola: 38281989 markings, 83109958 edges, 21124 markings/sec, 1315 secs
lola: 38390012 markings, 83370438 edges, 21605 markings/sec, 1320 secs
lola: 38491155 markings, 83626933 edges, 20229 markings/sec, 1325 secs
lola: 38592334 markings, 83884142 edges, 20236 markings/sec, 1330 secs
lola: 38692637 markings, 84121063 edges, 20061 markings/sec, 1335 secs
lola: 38779676 markings, 84326011 edges, 17408 markings/sec, 1340 secs
lola: 38868341 markings, 84543809 edges, 17733 markings/sec, 1345 secs
lola: 38955078 markings, 84756263 edges, 17347 markings/sec, 1350 secs
lola: 39038894 markings, 84963336 edges, 16763 markings/sec, 1355 secs
lola: 39124656 markings, 85185719 edges, 17152 markings/sec, 1360 secs
lola: 39213723 markings, 85388663 edges, 17813 markings/sec, 1365 secs
lola: 39379947 markings, 85772781 edges, 33245 markings/sec, 1370 secs
lola: 39527285 markings, 86110315 edges, 29468 markings/sec, 1375 secs
lola: 39663984 markings, 86429888 edges, 27340 markings/sec, 1380 secs
lola: 39789070 markings, 86746584 edges, 25017 markings/sec, 1385 secs
lola: 39905588 markings, 87029412 edges, 23304 markings/sec, 1390 secs
lola: 40017118 markings, 87310995 edges, 22306 markings/sec, 1395 secs
lola: 40128154 markings, 87620042 edges, 22207 markings/sec, 1400 secs
lola: 40234627 markings, 87881337 edges, 21295 markings/sec, 1405 secs
lola: 40354044 markings, 88174322 edges, 23883 markings/sec, 1410 secs
lola: 40495593 markings, 88492582 edges, 28310 markings/sec, 1415 secs
lola: 40603243 markings, 88763628 edges, 21530 markings/sec, 1420 secs
lola: 40727550 markings, 89029291 edges, 24861 markings/sec, 1425 secs
lola: 40854946 markings, 89323743 edges, 25479 markings/sec, 1430 secs
lola: 40985449 markings, 89597449 edges, 26101 markings/sec, 1435 secs
lola: 41133739 markings, 89885543 edges, 29658 markings/sec, 1440 secs
lola: 41275091 markings, 90175634 edges, 28270 markings/sec, 1445 secs
lola: 41423836 markings, 90454694 edges, 29749 markings/sec, 1450 secs
lola: 41563908 markings, 90737439 edges, 28014 markings/sec, 1455 secs
lola: 41678292 markings, 90960321 edges, 22877 markings/sec, 1460 secs
lola: 41800584 markings, 91233007 edges, 24458 markings/sec, 1465 secs
lola: 41921918 markings, 91499822 edges, 24267 markings/sec, 1470 secs
lola: 42014549 markings, 91726555 edges, 18526 markings/sec, 1475 secs
lola: 42110828 markings, 91962329 edges, 19256 markings/sec, 1480 secs
lola: 42213371 markings, 92196323 edges, 20509 markings/sec, 1485 secs
lola: 42332315 markings, 92463589 edges, 23789 markings/sec, 1490 secs
lola: 42445801 markings, 92686048 edges, 22697 markings/sec, 1495 secs
lola: 42550993 markings, 92917650 edges, 21038 markings/sec, 1500 secs
lola: 42668304 markings, 93190541 edges, 23462 markings/sec, 1505 secs
lola: 42839853 markings, 93542164 edges, 34310 markings/sec, 1510 secs
lola: 43042187 markings, 93929968 edges, 40467 markings/sec, 1515 secs
lola: 43210379 markings, 94299754 edges, 33638 markings/sec, 1520 secs
lola: 43381532 markings, 94683753 edges, 34231 markings/sec, 1525 secs
lola: 43509050 markings, 94972697 edges, 25504 markings/sec, 1530 secs
lola: 43615566 markings, 95213089 edges, 21303 markings/sec, 1535 secs
lola: 43737154 markings, 95466507 edges, 24318 markings/sec, 1540 secs
lola: 43862664 markings, 95765618 edges, 25102 markings/sec, 1545 secs
lola: 43997183 markings, 96047343 edges, 26904 markings/sec, 1550 secs
lola: 44152245 markings, 96390678 edges, 31012 markings/sec, 1555 secs
lola: 44315318 markings, 96712966 edges, 32615 markings/sec, 1560 secs
lola: 44489269 markings, 97058921 edges, 34790 markings/sec, 1565 secs
lola: 44627635 markings, 97373954 edges, 27673 markings/sec, 1570 secs
lola: 44747415 markings, 97658693 edges, 23956 markings/sec, 1575 secs
lola: 44874060 markings, 97952274 edges, 25329 markings/sec, 1580 secs
lola: 44975586 markings, 98215816 edges, 20305 markings/sec, 1585 secs
lola: 45083965 markings, 98510034 edges, 21676 markings/sec, 1590 secs
lola: 45201241 markings, 98793023 edges, 23455 markings/sec, 1595 secs
lola: 45329881 markings, 99130076 edges, 25728 markings/sec, 1600 secs
lola: 45469830 markings, 99473755 edges, 27990 markings/sec, 1605 secs
lola: 45588849 markings, 99773757 edges, 23804 markings/sec, 1610 secs
lola: 45703919 markings, 100042720 edges, 23014 markings/sec, 1615 secs
lola: 45794680 markings, 100303444 edges, 18152 markings/sec, 1620 secs
lola: 45904627 markings, 100574069 edges, 21989 markings/sec, 1625 secs
lola: 46009144 markings, 100846802 edges, 20903 markings/sec, 1630 secs
lola: 46098700 markings, 101072026 edges, 17911 markings/sec, 1635 secs
lola: 46189649 markings, 101295269 edges, 18190 markings/sec, 1640 secs
lola: 46275570 markings, 101513542 edges, 17184 markings/sec, 1645 secs
lola: 46408114 markings, 101841770 edges, 26509 markings/sec, 1650 secs
lola: 46546674 markings, 102181463 edges, 27712 markings/sec, 1655 secs
lola: 46662805 markings, 102495988 edges, 23226 markings/sec, 1660 secs
lola: 46783256 markings, 102791544 edges, 24090 markings/sec, 1665 secs
lola: 46905390 markings, 103079051 edges, 24427 markings/sec, 1670 secs
lola: 47027995 markings, 103360510 edges, 24521 markings/sec, 1675 secs
lola: 47179051 markings, 103694085 edges, 30211 markings/sec, 1680 secs
lola: 47321938 markings, 104000868 edges, 28577 markings/sec, 1685 secs
lola: 47447727 markings, 104334892 edges, 25158 markings/sec, 1690 secs
lola: 47563830 markings, 104644050 edges, 23221 markings/sec, 1695 secs
lola: 47644487 markings, 104872671 edges, 16131 markings/sec, 1700 secs
lola: 47784529 markings, 105206809 edges, 28008 markings/sec, 1705 secs
lola: 47907962 markings, 105509725 edges, 24687 markings/sec, 1710 secs
lola: 47994205 markings, 105786669 edges, 17249 markings/sec, 1715 secs
lola: 48109744 markings, 106083790 edges, 23108 markings/sec, 1720 secs
lola: 48218903 markings, 106351717 edges, 21832 markings/sec, 1725 secs
lola: 48340480 markings, 106629022 edges, 24315 markings/sec, 1730 secs
lola: 48451887 markings, 106876455 edges, 22281 markings/sec, 1735 secs
lola: 48561069 markings, 107131889 edges, 21836 markings/sec, 1740 secs
lola: 48668394 markings, 107378636 edges, 21465 markings/sec, 1745 secs
lola: 48771694 markings, 107609934 edges, 20660 markings/sec, 1750 secs
lola: 48850373 markings, 107841915 edges, 15736 markings/sec, 1755 secs
lola: 48926681 markings, 108071191 edges, 15262 markings/sec, 1760 secs
lola: 49027181 markings, 108337555 edges, 20100 markings/sec, 1765 secs
lola: 49128845 markings, 108613491 edges, 20333 markings/sec, 1770 secs
lola: 49227859 markings, 108865271 edges, 19803 markings/sec, 1775 secs
lola: 49301425 markings, 109067522 edges, 14713 markings/sec, 1780 secs
lola: 49392100 markings, 109333590 edges, 18135 markings/sec, 1785 secs
lola: 49511316 markings, 109614581 edges, 23843 markings/sec, 1790 secs
lola: 49632008 markings, 109889397 edges, 24138 markings/sec, 1795 secs
lola: 49738171 markings, 110170134 edges, 21233 markings/sec, 1800 secs
lola: 49840480 markings, 110462513 edges, 20462 markings/sec, 1805 secs
lola: 49927195 markings, 110709695 edges, 17343 markings/sec, 1810 secs
lola: 50015827 markings, 110989580 edges, 17726 markings/sec, 1815 secs
lola: 50133434 markings, 111287531 edges, 23521 markings/sec, 1820 secs
lola: 50243703 markings, 111554884 edges, 22054 markings/sec, 1825 secs
lola: 50358262 markings, 111817542 edges, 22912 markings/sec, 1830 secs
lola: 50475077 markings, 112084901 edges, 23363 markings/sec, 1835 secs
lola: 50572889 markings, 112313605 edges, 19562 markings/sec, 1840 secs
lola: 50686609 markings, 112564489 edges, 22744 markings/sec, 1845 secs
lola: 50779485 markings, 112786868 edges, 18575 markings/sec, 1850 secs
lola: 50858618 markings, 113023864 edges, 15827 markings/sec, 1855 secs
lola: 50937188 markings, 113261472 edges, 15714 markings/sec, 1860 secs
lola: 51056105 markings, 113575280 edges, 23783 markings/sec, 1865 secs
lola: 51145734 markings, 113821614 edges, 17926 markings/sec, 1870 secs
lola: 51220896 markings, 114039624 edges, 15032 markings/sec, 1875 secs
lola: 51334413 markings, 114366458 edges, 22703 markings/sec, 1880 secs
lola: 51450732 markings, 114650340 edges, 23264 markings/sec, 1885 secs
lola: 51551852 markings, 114881939 edges, 20224 markings/sec, 1890 secs
lola: 51672070 markings, 115162399 edges, 24044 markings/sec, 1895 secs
lola: 51796964 markings, 115456584 edges, 24979 markings/sec, 1900 secs
lola: 51915949 markings, 115736193 edges, 23797 markings/sec, 1905 secs
lola: 52023060 markings, 116034218 edges, 21422 markings/sec, 1910 secs
lola: 52144780 markings, 116330558 edges, 24344 markings/sec, 1915 secs
lola: 52256842 markings, 116586726 edges, 22412 markings/sec, 1920 secs
lola: 52360613 markings, 116849011 edges, 20754 markings/sec, 1925 secs
lola: 52467920 markings, 117130569 edges, 21461 markings/sec, 1930 secs
lola: 52574708 markings, 117434592 edges, 21358 markings/sec, 1935 secs
lola: 52694210 markings, 117710965 edges, 23900 markings/sec, 1940 secs
lola: 52823115 markings, 117995886 edges, 25781 markings/sec, 1945 secs
lola: 52944124 markings, 118281832 edges, 24202 markings/sec, 1950 secs
lola: 53057990 markings, 118566507 edges, 22773 markings/sec, 1955 secs
lola: 53190973 markings, 118867458 edges, 26597 markings/sec, 1960 secs
lola: 53305487 markings, 119170183 edges, 22903 markings/sec, 1965 secs
lola: 53425118 markings, 119478721 edges, 23926 markings/sec, 1970 secs
lola: 53543465 markings, 119787195 edges, 23669 markings/sec, 1975 secs
lola: 53656233 markings, 120078265 edges, 22554 markings/sec, 1980 secs
lola: 53774922 markings, 120368074 edges, 23738 markings/sec, 1985 secs
lola: 53877740 markings, 120646657 edges, 20564 markings/sec, 1990 secs
lola: 53976754 markings, 120926397 edges, 19803 markings/sec, 1995 secs
lola: 54072430 markings, 121210874 edges, 19135 markings/sec, 2000 secs
lola: 54167047 markings, 121487913 edges, 18923 markings/sec, 2005 secs
lola: 54310945 markings, 121795690 edges, 28780 markings/sec, 2010 secs
lola: 54437198 markings, 122083599 edges, 25251 markings/sec, 2015 secs
lola: 54535085 markings, 122333761 edges, 19577 markings/sec, 2020 secs
lola: 54640321 markings, 122613073 edges, 21047 markings/sec, 2025 secs
lola: 54742427 markings, 122869977 edges, 20421 markings/sec, 2030 secs
lola: 54909548 markings, 123162645 edges, 33424 markings/sec, 2035 secs
lola: 55046384 markings, 123406307 edges, 27367 markings/sec, 2040 secs
lola: 55166326 markings, 123627863 edges, 23988 markings/sec, 2045 secs
lola: 55354826 markings, 123943490 edges, 37700 markings/sec, 2050 secs
lola: 55547667 markings, 124277930 edges, 38568 markings/sec, 2055 secs
lola: 55691004 markings, 124551249 edges, 28667 markings/sec, 2060 secs
lola: 55822000 markings, 124816100 edges, 26199 markings/sec, 2065 secs
lola: 55989932 markings, 125128018 edges, 33586 markings/sec, 2070 secs
lola: 56163088 markings, 125466845 edges, 34631 markings/sec, 2075 secs
lola: 56331394 markings, 125805943 edges, 33661 markings/sec, 2080 secs
lola: 56495902 markings, 126142547 edges, 32902 markings/sec, 2085 secs
lola: 56667069 markings, 126500367 edges, 34233 markings/sec, 2090 secs
lola: 56838789 markings, 126812038 edges, 34344 markings/sec, 2095 secs
lola: 56995505 markings, 127114653 edges, 31343 markings/sec, 2100 secs
lola: 57141566 markings, 127395280 edges, 29212 markings/sec, 2105 secs
lola: 57257145 markings, 127671632 edges, 23116 markings/sec, 2110 secs
lola: 57364523 markings, 127965108 edges, 21476 markings/sec, 2115 secs
lola: 57491228 markings, 128261671 edges, 25341 markings/sec, 2120 secs
lola: 57627909 markings, 128550726 edges, 27336 markings/sec, 2125 secs
lola: 57751602 markings, 128844581 edges, 24739 markings/sec, 2130 secs
lola: 57902999 markings, 129150840 edges, 30279 markings/sec, 2135 secs
lola: 58058251 markings, 129444559 edges, 31050 markings/sec, 2140 secs
lola: 58205225 markings, 129717567 edges, 29395 markings/sec, 2145 secs
lola: 58366017 markings, 130021035 edges, 32158 markings/sec, 2150 secs
lola: 58489211 markings, 130313599 edges, 24639 markings/sec, 2155 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 58528448 markings, 130391919 edges
lola: RESULT
lola:
SUMMARY: no yes no yes no no no yes no no yes yes yes yes unknown yes
lola: ========================================
----- Kill lola and sara stderr -----
FORMULA CloudReconfiguration-PT-320-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-320-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-320-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-320-CTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-320-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-320-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-320-CTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-320-CTLFireability-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-320-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-320-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-320-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-320-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-320-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-320-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-320-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-320-CTLFireability-15 TRUE 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-320"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="irma4mcc-structural"
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-320.tgz
mv CloudReconfiguration-PT-320 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 irma4mcc-structural"
echo " Input is CloudReconfiguration-PT-320, 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 r055-smll-152646382700137"
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 ;