About the Execution of LoLA for CloudReconfiguration-PT-315
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
7297.100 | 3570736.00 | 3611391.00 | 10060.80 | TTTTTTTTFFT?FTFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 660K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-315, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646379900102
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526527076541
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-315 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating CloudReconfiguration-PT-315 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ CloudReconfiguration-PT-315 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: Size of bit vector: 2585
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2708 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-315-CTLFireability.task
lola: A (F (E (F (FIREABLE(t1000))))) : A (F (E (X (E (F (FIREABLE(t1271))))))) : (A (F (E (F ((FIREABLE(t62) OR FIREABLE(t2794)))))) OR FIREABLE(t841)) : A (X ((A (X ((FIREABLE(t1056) AND FIREABLE(t934)))) OR (E (F (FIREABLE(t903))) AND E (F (FIREABLE(t787))))))) : ((E (G (NOT FIREABLE(t1988))) AND E (((FIREABLE(t465) OR FIREABLE(t1555)) U NOT FIREABLE(t886)))) OR (NOT((A (G (FIREABLE(t1452))) AND A (G (FIREABLE(t1541))))) AND E (X (A (X (FIREABLE(t2314))))))) : NOT(A (F (A (X ((FIREABLE(t1033) OR FIREABLE(t2621))))))) : E (F (NOT(NOT(E (X (FIREABLE(t281))))))) : A ((A (X ((FIREABLE(t2492) OR FIREABLE(t1302)))) U E (G (NOT FIREABLE(t336))))) : A ((NOT FIREABLE(t1737) U A ((FIREABLE(t2302) U FIREABLE(t2990))))) : (A (F (E ((FIREABLE(t3084) U FIREABLE(t407))))) OR E ((A (F (FIREABLE(t2882))) U ((FIREABLE(t1590) OR FIREABLE(t1028)) AND NOT FIREABLE(t3004))))) : (NOT(A ((NOT FIREABLE(t2246) U (FIREABLE(t2177) OR FIREABLE(t1041))))) OR ((FIREABLE(t3061) AND NOT FIREABLE(t700) AND ((NOT FIREABLE(t2753) AND NOT FIREABLE(t2061)) OR FIREABLE(t1321))) OR ((FIREABLE(t867) AND FIREABLE(t1940)) AND NOT(A (G (FIREABLE(t1863))))))) : A (X (E ((NOT FIREABLE(t264) U (FIREABLE(t2042) AND FIREABLE(t1523)))))) : (A (X ((A (G (FIREABLE(t2471))) AND (NOT FIREABLE(t244) AND NOT FIREABLE(t2542))))) OR (((FIREABLE(t1041) OR A (X (FIREABLE(t651)))) OR NOT FIREABLE(t2920)) AND A (G ((FIREABLE(t1337) OR NOT FIREABLE(t467)))))) : E (F (A (((FIREABLE(t2869) OR FIREABLE(t853)) U FIREABLE(t1950))))) : NOT(E (F (FIREABLE(t2704)))) : NOT(((A (F (FIREABLE(t2590))) OR FIREABLE(t2643)) AND NOT(A (F ((FIREABLE(t262) AND FIREABLE(t1191)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:449
lola: rewrite Frontend/Parser/formula_rewrite.k:449
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:395
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (X (E (F (FIREABLE(t1271)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U EX(E(TRUE U FIREABLE(t1271))))
lola: processed formula length: 39
lola: 48 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 29058 markings, 42793 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-315-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((A (X ((FIREABLE(t1056) AND FIREABLE(t934)))) OR (E (F (FIREABLE(t903))) AND E (F (FIREABLE(t787)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX((AX((FIREABLE(t1056) AND FIREABLE(t934))) OR (E(TRUE U FIREABLE(t903)) AND E(TRUE U FIREABLE(t787)))))
lola: processed formula length: 105
lola: 49 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 21095 markings, 61488 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-315-CTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((E (G (NOT FIREABLE(t1988))) AND E (((FIREABLE(t465) OR FIREABLE(t1555)) U NOT FIREABLE(t886)))) OR ((E (F (NOT FIREABLE(t1452))) OR E (F (NOT FIREABLE(t1541)))) AND E (X (A (X (FIREABLE(t2314)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (NOT FIREABLE(t1541)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (NOT FIREABLE(t1541)))
lola: processed formula length: 27
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: NOT FIREABLE(t1541)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-315-CTLFireability-2-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t1988)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t1988)))
lola: processed formula length: 27
lola: 45 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 59 markings, 59 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((FIREABLE(t465) OR FIREABLE(t1555)) U NOT FIREABLE(t886)))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E (((FIREABLE(t465) OR FIREABLE(t1555)) U NOT FIREABLE(t886)))
lola: processed formula length: 63
lola: 48 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: NOT FIREABLE(t886)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: There is a path where Predicate Phi holds until Predicate Psi.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA CloudReconfiguration-PT-315-CTLFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (X ((NOT FIREABLE(t1033) AND NOT FIREABLE(t2621))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(EX((NOT FIREABLE(t1033) AND NOT FIREABLE(t2621))))))
lola: processed formula length: 69
lola: 47 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 60 markings, 60 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-315-CTLFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F (FIREABLE(t281)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:626
lola: processed formula: FIREABLE(t281)
lola: processed formula length: 14
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEF
lola: The predicate is reachable from some successor.
lola: 56 markings, 55 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-315-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((A (X ((FIREABLE(t2492) OR FIREABLE(t1302)))) U E (G (NOT FIREABLE(t336)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(AX((FIREABLE(t2492) OR FIREABLE(t1302))) U NOT(A(TRUE U FIREABLE(t336))))
lola: processed formula length: 76
lola: 49 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 58 markings, 59 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-315-CTLFireability-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E ((NOT FIREABLE(t264) U (FIREABLE(t2042) AND FIREABLE(t1523))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(E(NOT FIREABLE(t264) U (FIREABLE(t2042) AND FIREABLE(t1523))))
lola: processed formula length: 65
lola: 47 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 98641 markings, 213607 edges, 19728 markings/sec, 0 secs
lola: 193760 markings, 405953 edges, 19024 markings/sec, 5 secs
lola: 310021 markings, 602394 edges, 23252 markings/sec, 10 secs
lola: 419800 markings, 789301 edges, 21956 markings/sec, 15 secs
lola: 519062 markings, 970218 edges, 19852 markings/sec, 20 secs
lola: 611744 markings, 1151166 edges, 18536 markings/sec, 25 secs
lola: 718880 markings, 1335916 edges, 21427 markings/sec, 30 secs
lola: 832888 markings, 1521664 edges, 22802 markings/sec, 35 secs
lola: 946310 markings, 1703666 edges, 22684 markings/sec, 40 secs
lola: 1069044 markings, 1893988 edges, 24547 markings/sec, 45 secs
lola: 1183862 markings, 2080502 edges, 22964 markings/sec, 50 secs
lola: 1291840 markings, 2260042 edges, 21596 markings/sec, 55 secs
lola: 1398586 markings, 2439999 edges, 21349 markings/sec, 60 secs
lola: 1501297 markings, 2618253 edges, 20542 markings/sec, 65 secs
lola: 1604459 markings, 2796240 edges, 20632 markings/sec, 70 secs
lola: 1711498 markings, 2971640 edges, 21408 markings/sec, 75 secs
lola: 1825693 markings, 3151086 edges, 22839 markings/sec, 80 secs
lola: 1931037 markings, 3330036 edges, 21069 markings/sec, 85 secs
lola: 2039662 markings, 3505735 edges, 21725 markings/sec, 90 secs
lola: 2150821 markings, 3679283 edges, 22232 markings/sec, 95 secs
lola: 2263914 markings, 3857385 edges, 22619 markings/sec, 100 secs
lola: 2357764 markings, 4025395 edges, 18770 markings/sec, 105 secs
lola: 2448041 markings, 4195672 edges, 18055 markings/sec, 110 secs
lola: 2552413 markings, 4371059 edges, 20874 markings/sec, 115 secs
lola: 2655462 markings, 4549728 edges, 20610 markings/sec, 120 secs
lola: 2774513 markings, 4735273 edges, 23810 markings/sec, 125 secs
lola: 2896058 markings, 4912610 edges, 24309 markings/sec, 130 secs
lola: 3011751 markings, 5086638 edges, 23139 markings/sec, 135 secs
lola: 3121375 markings, 5274782 edges, 21925 markings/sec, 140 secs
lola: 3233760 markings, 5465034 edges, 22477 markings/sec, 145 secs
lola: 3359333 markings, 5657423 edges, 25115 markings/sec, 150 secs
lola: 3483847 markings, 5847748 edges, 24903 markings/sec, 155 secs
lola: 3607565 markings, 6039451 edges, 24744 markings/sec, 160 secs
lola: 3720129 markings, 6225146 edges, 22513 markings/sec, 165 secs
lola: 3831963 markings, 6411973 edges, 22367 markings/sec, 170 secs
lola: 3946052 markings, 6597306 edges, 22818 markings/sec, 175 secs
lola: 4067520 markings, 6782607 edges, 24294 markings/sec, 180 secs
lola: 4184674 markings, 6964565 edges, 23431 markings/sec, 185 secs
lola: 4290886 markings, 7142383 edges, 21242 markings/sec, 190 secs
lola: 4394988 markings, 7305689 edges, 20820 markings/sec, 195 secs
lola: 4515943 markings, 7486371 edges, 24191 markings/sec, 200 secs
lola: 4627237 markings, 7659237 edges, 22259 markings/sec, 205 secs
lola: 4733279 markings, 7829650 edges, 21208 markings/sec, 210 secs
lola: 4830198 markings, 8000431 edges, 19384 markings/sec, 215 secs
lola: 4946790 markings, 8173710 edges, 23318 markings/sec, 220 secs
lola: 5048991 markings, 8323083 edges, 20440 markings/sec, 225 secs
lola: 5140654 markings, 8486554 edges, 18333 markings/sec, 230 secs
lola: 5244439 markings, 8659581 edges, 20757 markings/sec, 235 secs
lola: 5340568 markings, 8823735 edges, 19226 markings/sec, 240 secs
lola: 5430717 markings, 8992868 edges, 18030 markings/sec, 245 secs
lola: 5511700 markings, 9146676 edges, 16197 markings/sec, 250 secs
lola: 5623039 markings, 9313526 edges, 22268 markings/sec, 255 secs
lola: 5733202 markings, 9476431 edges, 22033 markings/sec, 260 secs
lola: 5842555 markings, 9637080 edges, 21871 markings/sec, 265 secs
lola: 5940445 markings, 9797286 edges, 19578 markings/sec, 270 secs
lola: 6016195 markings, 9953187 edges, 15150 markings/sec, 275 secs
lola: 6098744 markings, 10114690 edges, 16510 markings/sec, 280 secs
lola: 6184541 markings, 10263760 edges, 17159 markings/sec, 285 secs
lola: 6263112 markings, 10399291 edges, 15714 markings/sec, 290 secs
lola: 6336022 markings, 10543544 edges, 14582 markings/sec, 295 secs
lola: 6385754 markings, 10684390 edges, 9946 markings/sec, 300 secs
lola: 6444642 markings, 10836400 edges, 11778 markings/sec, 305 secs
lola: 6520046 markings, 11008440 edges, 15081 markings/sec, 310 secs
lola: 6581945 markings, 11165144 edges, 12380 markings/sec, 315 secs
lola: 6644049 markings, 11329865 edges, 12421 markings/sec, 320 secs
lola: 6718006 markings, 11499934 edges, 14791 markings/sec, 325 secs
lola: 6782288 markings, 11666963 edges, 12856 markings/sec, 330 secs
lola: 6848777 markings, 11833130 edges, 13298 markings/sec, 335 secs
lola: 6924734 markings, 12010587 edges, 15191 markings/sec, 340 secs
lola: 6988974 markings, 12176868 edges, 12848 markings/sec, 345 secs
lola: 7039941 markings, 12332134 edges, 10193 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown yes yes yes yes yes unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1227428 KB
lola: time consumption: 359 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (X (A (G (FIREABLE(t2471))))) AND A (X ((NOT FIREABLE(t244) AND NOT FIREABLE(t2542))))) OR ((FIREABLE(t1041) OR (A (X (FIREABLE(t651))) OR NOT FIREABLE(t2920))) AND A (G ((FIREABLE(t1337) OR NOT FIREABLE(t467))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t2920)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t2920)
lola: processed formula length: 19
lola: 45 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 401 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t1337) OR NOT FIREABLE(t467))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((FIREABLE(t1337) OR NOT FIREABLE(t467))))
lola: processed formula length: 48
lola: 47 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (NOT FIREABLE(t1337) AND FIREABLE(t467))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-315-CTLFireability-8-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 48 markings, 47 edges
lola: ========================================
lola: subprocess 9 will run for 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((NOT FIREABLE(t244) AND NOT FIREABLE(t2542))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX((NOT FIREABLE(t244) AND NOT FIREABLE(t2542)))
lola: processed formula length: 48
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G (FIREABLE(t2471)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:663
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t2471)
lola: processed formula length: 19
lola: 47 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEF
lola: The predicate is not invariant from successors.
lola: 1 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA CloudReconfiguration-PT-315-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 401 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1000)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t1000)))
lola: processed formula length: 23
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t1000)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-315-CTLFireability-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-315-CTLFireability-8-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 71 markings, 70 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-315-CTLFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t2704)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G (NOT FIREABLE(t2704)))
lola: processed formula length: 27
lola: 47 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: FIREABLE(t2704)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-315-CTLFireability-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-315-CTLFireability-9-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 81 markings, 80 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-315-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (((FIREABLE(t2869) OR FIREABLE(t853)) U FIREABLE(t1950)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U A((FIREABLE(t2869) OR FIREABLE(t853)) U FIREABLE(t1950)))
lola: processed formula length: 67
lola: 47 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 70641 markings, 211577 edges, 14128 markings/sec, 0 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 109401 markings, 348283 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-315-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 640 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(t1737) U A ((FIREABLE(t2302) U FIREABLE(t2990)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A(NOT FIREABLE(t1737) U A(FIREABLE(t2302) U FIREABLE(t2990)))
lola: processed formula length: 61
lola: 47 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 57 markings, 114 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-315-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 800 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (E ((FIREABLE(t3084) U FIREABLE(t407))))) OR E ((A (F (FIREABLE(t2882))) U ((FIREABLE(t1590) OR FIREABLE(t1028)) AND NOT FIREABLE(t3004)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: (A(TRUE U E(FIREABLE(t3084) U FIREABLE(t407))) OR E(A(TRUE U FIREABLE(t2882)) U ((FIREABLE(t1590) OR FIREABLE(t1028)) AND NOT FIREABLE(t3004))))
lola: processed formula length: 145
lola: 49 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 4 significant temporal operators and needs 17 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: 77 markings, 174 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-315-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1067 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((FIREABLE(t62) OR FIREABLE(t2794)))) OR FIREABLE(t841))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 1067 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t841)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t841)
lola: processed formula length: 14
lola: 45 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1601 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t62) OR FIREABLE(t2794))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t62) OR FIREABLE(t2794))))
lola: processed formula length: 43
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t62) OR FIREABLE(t2794))
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-315-CTLFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-315-CTLFireability-14-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 69 markings, 68 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA CloudReconfiguration-PT-315-CTLFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1601 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((E (G (NOT FIREABLE(t2590))) AND NOT FIREABLE(t2643)) OR A (F ((FIREABLE(t262) AND FIREABLE(t1191)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1601 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t2643)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t2643)
lola: processed formula length: 19
lola: 45 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 3202 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t2590)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t2590)))
lola: processed formula length: 27
lola: 45 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 59 markings, 59 edges
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
FORMULA CloudReconfiguration-PT-315-CTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3202 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E ((FIREABLE(t2246) R (NOT FIREABLE(t2177) AND NOT FIREABLE(t1041)))) OR ((FIREABLE(t3061) AND NOT FIREABLE(t700) AND ((NOT FIREABLE(t2753) AND NOT FIREABLE(t2061)) OR FIREABLE(t1321))) OR ((FIREABLE(t867) AND FIREABLE(t1940)) AND E (F (NOT FIREABLE(t1863))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 3202 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t867) AND FIREABLE(t1940))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t867) AND FIREABLE(t1940))
lola: processed formula length: 36
lola: 45 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t2246) R (NOT FIREABLE(t2177) AND NOT FIREABLE(t1041))))
lola: ========================================
lola: SUBTASK
lola: checking existential release
lola: rewrite Frontend/Parser/formula_rewrite.k:646
lola: rewrite Frontend/Parser/formula_rewrite.k:610
lola: processed formula: E ((FIREABLE(t2246) R (NOT FIREABLE(t2177) AND NOT FIREABLE(t1041))))
lola: processed formula length: 69
lola: 47 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /ER
lola: There is a path where Predicate Phi releases Predicate Psi.
lola: 59 markings, 59 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA CloudReconfiguration-PT-315-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (X (E ((NOT FIREABLE(t264) U (FIREABLE(t2042) AND FIREABLE(t1523))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(E(NOT FIREABLE(t264) U (FIREABLE(t2042) AND FIREABLE(t1523))))
lola: processed formula length: 65
lola: 47 rewrites
lola: closed formula file CloudReconfiguration-PT-315-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 95975 markings, 205298 edges, 19195 markings/sec, 0 secs
lola: 190630 markings, 399081 edges, 18931 markings/sec, 5 secs
lola: 306299 markings, 595875 edges, 23134 markings/sec, 10 secs
lola: 416249 markings, 781753 edges, 21990 markings/sec, 15 secs
lola: 514858 markings, 963482 edges, 19722 markings/sec, 20 secs
lola: 607190 markings, 1144736 edges, 18466 markings/sec, 25 secs
lola: 716964 markings, 1330845 edges, 21955 markings/sec, 30 secs
lola: 830116 markings, 1517676 edges, 22630 markings/sec, 35 secs
lola: 944370 markings, 1700930 edges, 22851 markings/sec, 40 secs
lola: 1067649 markings, 1892043 edges, 24656 markings/sec, 45 secs
lola: 1183351 markings, 2079743 edges, 23140 markings/sec, 50 secs
lola: 1291663 markings, 2259809 edges, 21662 markings/sec, 55 secs
lola: 1398859 markings, 2440378 edges, 21439 markings/sec, 60 secs
lola: 1501526 markings, 2618579 edges, 20533 markings/sec, 65 secs
lola: 1604884 markings, 2796963 edges, 20672 markings/sec, 70 secs
lola: 1711555 markings, 2971795 edges, 21334 markings/sec, 75 secs
lola: 1825045 markings, 3150191 edges, 22698 markings/sec, 80 secs
lola: 1930431 markings, 3329199 edges, 21077 markings/sec, 85 secs
lola: 2039420 markings, 3505281 edges, 21798 markings/sec, 90 secs
lola: 2149027 markings, 3676693 edges, 21921 markings/sec, 95 secs
lola: 2252075 markings, 3838304 edges, 20610 markings/sec, 100 secs
lola: 2343647 markings, 4004665 edges, 18314 markings/sec, 105 secs
lola: 2438310 markings, 4172740 edges, 18933 markings/sec, 110 secs
lola: 2532012 markings, 4341960 edges, 18740 markings/sec, 115 secs
lola: 2632167 markings, 4510768 edges, 20031 markings/sec, 120 secs
lola: 2740764 markings, 4684358 edges, 21719 markings/sec, 125 secs
lola: 2864950 markings, 4866310 edges, 24837 markings/sec, 130 secs
lola: 2971447 markings, 5023735 edges, 21299 markings/sec, 135 secs
lola: 3090843 markings, 5214284 edges, 23879 markings/sec, 140 secs
lola: 3193304 markings, 5403228 edges, 20492 markings/sec, 145 secs
lola: 3313602 markings, 5586884 edges, 24060 markings/sec, 150 secs
lola: 3429799 markings, 5769222 edges, 23239 markings/sec, 155 secs
lola: 3556146 markings, 5962300 edges, 25269 markings/sec, 160 secs
lola: 3676913 markings, 6151293 edges, 24153 markings/sec, 165 secs
lola: 3783530 markings, 6337191 edges, 21323 markings/sec, 170 secs
lola: 3895514 markings, 6519306 edges, 22397 markings/sec, 175 secs
lola: 4019485 markings, 6705972 edges, 24794 markings/sec, 180 secs
lola: 4137139 markings, 6885850 edges, 23531 markings/sec, 185 secs
lola: 4240053 markings, 7051856 edges, 20583 markings/sec, 190 secs
lola: 4349342 markings, 7230471 edges, 21858 markings/sec, 195 secs
lola: 4466884 markings, 7410431 edges, 23508 markings/sec, 200 secs
lola: 4581266 markings, 7585633 edges, 22876 markings/sec, 205 secs
lola: 4690552 markings, 7757308 edges, 21857 markings/sec, 210 secs
lola: 4785752 markings, 7925561 edges, 19040 markings/sec, 215 secs
lola: 4896126 markings, 8097143 edges, 22075 markings/sec, 220 secs
lola: 5008702 markings, 8263166 edges, 22515 markings/sec, 225 secs
lola: 5105043 markings, 8423357 edges, 19268 markings/sec, 230 secs
lola: 5203203 markings, 8595036 edges, 19632 markings/sec, 235 secs
lola: 5311225 markings, 8758849 edges, 21604 markings/sec, 240 secs
lola: 5400386 markings, 8932865 edges, 17832 markings/sec, 245 secs
lola: 5480165 markings, 9092192 edges, 15956 markings/sec, 250 secs
lola: 5576188 markings, 9244555 edges, 19205 markings/sec, 255 secs
lola: 5686998 markings, 9408087 edges, 22162 markings/sec, 260 secs
lola: 5796706 markings, 9569392 edges, 21942 markings/sec, 265 secs
lola: 5897760 markings, 9722849 edges, 20211 markings/sec, 270 secs
lola: 5971373 markings, 9869603 edges, 14723 markings/sec, 275 secs
lola: 6047973 markings, 10020132 edges, 15320 markings/sec, 280 secs
lola: 6137706 markings, 10184106 edges, 17947 markings/sec, 285 secs
lola: 6218862 markings, 10324051 edges, 16231 markings/sec, 290 secs
lola: 6296176 markings, 10460779 edges, 15463 markings/sec, 295 secs
lola: 6363489 markings, 10611844 edges, 13463 markings/sec, 300 secs
lola: 6414050 markings, 10754539 edges, 10112 markings/sec, 305 secs
lola: 6476084 markings, 10913032 edges, 12407 markings/sec, 310 secs
lola: 6553271 markings, 11083379 edges, 15437 markings/sec, 315 secs
lola: 6608712 markings, 11237011 edges, 11088 markings/sec, 320 secs
lola: 6678533 markings, 11407131 edges, 13964 markings/sec, 325 secs
lola: 6744335 markings, 11571277 edges, 13160 markings/sec, 330 secs
lola: 6811742 markings, 11739743 edges, 13481 markings/sec, 335 secs
lola: 6882432 markings, 11911271 edges, 14138 markings/sec, 340 secs
lola: 6951347 markings, 12081954 edges, 13783 markings/sec, 345 secs
lola: 7010461 markings, 12246243 edges, 11823 markings/sec, 350 secs
lola: 7062296 markings, 12392397 edges, 10367 markings/sec, 355 secs
lola: 7113573 markings, 12538273 edges, 10255 markings/sec, 360 secs
lola: 7169790 markings, 12692884 edges, 11243 markings/sec, 365 secs
lola: 7230125 markings, 12842137 edges, 12067 markings/sec, 370 secs
lola: 7289442 markings, 12999629 edges, 11863 markings/sec, 375 secs
lola: 7342678 markings, 13155163 edges, 10647 markings/sec, 380 secs
lola: 7418837 markings, 13324249 edges, 15232 markings/sec, 385 secs
lola: 7490251 markings, 13482826 edges, 14283 markings/sec, 390 secs
lola: 7564225 markings, 13663330 edges, 14795 markings/sec, 395 secs
lola: 7635076 markings, 13829620 edges, 14170 markings/sec, 400 secs
lola: 7717638 markings, 13995032 edges, 16512 markings/sec, 405 secs
lola: 7792835 markings, 14167794 edges, 15039 markings/sec, 410 secs
lola: 7856065 markings, 14332988 edges, 12646 markings/sec, 415 secs
lola: 7929490 markings, 14496524 edges, 14685 markings/sec, 420 secs
lola: 7999951 markings, 14647656 edges, 14092 markings/sec, 425 secs
lola: 8067349 markings, 14804199 edges, 13480 markings/sec, 430 secs
lola: 8136992 markings, 14959856 edges, 13929 markings/sec, 435 secs
lola: 8201362 markings, 15113209 edges, 12874 markings/sec, 440 secs
lola: 8302039 markings, 15285362 edges, 20135 markings/sec, 445 secs
lola: 8410978 markings, 15479648 edges, 21788 markings/sec, 450 secs
lola: 8512988 markings, 15671084 edges, 20402 markings/sec, 455 secs
lola: 8595142 markings, 15847877 edges, 16431 markings/sec, 460 secs
lola: 8684913 markings, 16025656 edges, 17954 markings/sec, 465 secs
lola: 8788083 markings, 16206949 edges, 20634 markings/sec, 470 secs
lola: 8882340 markings, 16380459 edges, 18851 markings/sec, 475 secs
lola: 8978553 markings, 16550961 edges, 19243 markings/sec, 480 secs
lola: 9053108 markings, 16708319 edges, 14911 markings/sec, 485 secs
lola: 9115129 markings, 16850956 edges, 12404 markings/sec, 490 secs
lola: 9188431 markings, 17009085 edges, 14660 markings/sec, 495 secs
lola: 9258591 markings, 17172300 edges, 14032 markings/sec, 500 secs
lola: 9327315 markings, 17339492 edges, 13745 markings/sec, 505 secs
lola: 9393690 markings, 17500325 edges, 13275 markings/sec, 510 secs
lola: 9468359 markings, 17666312 edges, 14934 markings/sec, 515 secs
lola: 9548219 markings, 17841124 edges, 15972 markings/sec, 520 secs
lola: 9616226 markings, 18013932 edges, 13601 markings/sec, 525 secs
lola: 9691167 markings, 18189140 edges, 14988 markings/sec, 530 secs
lola: 9758071 markings, 18359143 edges, 13381 markings/sec, 535 secs
lola: 9828320 markings, 18521246 edges, 14050 markings/sec, 540 secs
lola: 9876135 markings, 18652678 edges, 9563 markings/sec, 545 secs
lola: 9931955 markings, 18790004 edges, 11164 markings/sec, 550 secs
lola: 9982722 markings, 18949817 edges, 10153 markings/sec, 555 secs
lola: 10051084 markings, 19087931 edges, 13672 markings/sec, 560 secs
lola: 10123903 markings, 19248409 edges, 14564 markings/sec, 565 secs
lola: 10186556 markings, 19419019 edges, 12531 markings/sec, 570 secs
lola: 10242323 markings, 19605565 edges, 11153 markings/sec, 575 secs
lola: 10288931 markings, 19785773 edges, 9322 markings/sec, 580 secs
lola: 10381579 markings, 19968296 edges, 18530 markings/sec, 585 secs
lola: 10456140 markings, 20152094 edges, 14912 markings/sec, 590 secs
lola: 10511441 markings, 20318072 edges, 11060 markings/sec, 595 secs
lola: 10574285 markings, 20470722 edges, 12569 markings/sec, 600 secs
lola: 10617969 markings, 20599405 edges, 8737 markings/sec, 605 secs
lola: 10679686 markings, 20751454 edges, 12343 markings/sec, 610 secs
lola: 10728194 markings, 20891388 edges, 9702 markings/sec, 615 secs
lola: 10789705 markings, 21037407 edges, 12302 markings/sec, 620 secs
lola: 10845024 markings, 21175801 edges, 11064 markings/sec, 625 secs
lola: 10900273 markings, 21329549 edges, 11050 markings/sec, 630 secs
lola: 10962984 markings, 21488999 edges, 12542 markings/sec, 635 secs
lola: 11013192 markings, 21650113 edges, 10042 markings/sec, 640 secs
lola: 11068513 markings, 21806271 edges, 11064 markings/sec, 645 secs
lola: 11119615 markings, 21960534 edges, 10220 markings/sec, 650 secs
lola: 11169733 markings, 22114560 edges, 10024 markings/sec, 655 secs
lola: 11223299 markings, 22277199 edges, 10713 markings/sec, 660 secs
lola: 11273167 markings, 22438055 edges, 9974 markings/sec, 665 secs
lola: 11324912 markings, 22597060 edges, 10349 markings/sec, 670 secs
lola: 11383511 markings, 22754419 edges, 11720 markings/sec, 675 secs
lola: 11438671 markings, 22909560 edges, 11032 markings/sec, 680 secs
lola: 11489994 markings, 23064690 edges, 10265 markings/sec, 685 secs
lola: 11541885 markings, 23225201 edges, 10378 markings/sec, 690 secs
lola: 11592803 markings, 23392378 edges, 10184 markings/sec, 695 secs
lola: 11647477 markings, 23550539 edges, 10935 markings/sec, 700 secs
lola: 11705048 markings, 23710010 edges, 11514 markings/sec, 705 secs
lola: 11760366 markings, 23869419 edges, 11064 markings/sec, 710 secs
lola: 11813502 markings, 24024786 edges, 10627 markings/sec, 715 secs
lola: 11864091 markings, 24182953 edges, 10118 markings/sec, 720 secs
lola: 11921893 markings, 24348589 edges, 11560 markings/sec, 725 secs
lola: 11985213 markings, 24525300 edges, 12664 markings/sec, 730 secs
lola: 12046379 markings, 24694727 edges, 12233 markings/sec, 735 secs
lola: 12125844 markings, 24876943 edges, 15893 markings/sec, 740 secs
lola: 12198366 markings, 25055726 edges, 14504 markings/sec, 745 secs
lola: 12263726 markings, 25220789 edges, 13072 markings/sec, 750 secs
lola: 12323086 markings, 25396610 edges, 11872 markings/sec, 755 secs
lola: 12397225 markings, 25570364 edges, 14828 markings/sec, 760 secs
lola: 12452500 markings, 25736638 edges, 11055 markings/sec, 765 secs
lola: 12501619 markings, 25901251 edges, 9824 markings/sec, 770 secs
lola: 12547089 markings, 26038853 edges, 9094 markings/sec, 775 secs
lola: 12588750 markings, 26169715 edges, 8332 markings/sec, 780 secs
lola: 12635203 markings, 26315640 edges, 9291 markings/sec, 785 secs
lola: 12681515 markings, 26459154 edges, 9262 markings/sec, 790 secs
lola: 12729198 markings, 26606328 edges, 9537 markings/sec, 795 secs
lola: 12779019 markings, 26764340 edges, 9964 markings/sec, 800 secs
lola: 12831172 markings, 26907827 edges, 10431 markings/sec, 805 secs
lola: 12877162 markings, 27053869 edges, 9198 markings/sec, 810 secs
lola: 12931525 markings, 27218212 edges, 10873 markings/sec, 815 secs
lola: 12996655 markings, 27404482 edges, 13026 markings/sec, 820 secs
lola: 13060856 markings, 27586308 edges, 12840 markings/sec, 825 secs
lola: 13140676 markings, 27770631 edges, 15964 markings/sec, 830 secs
lola: 13202949 markings, 27952686 edges, 12455 markings/sec, 835 secs
lola: 13274411 markings, 28137058 edges, 14292 markings/sec, 840 secs
lola: 13338197 markings, 28316564 edges, 12757 markings/sec, 845 secs
lola: 13397643 markings, 28493153 edges, 11889 markings/sec, 850 secs
lola: 13467008 markings, 28674944 edges, 13873 markings/sec, 855 secs
lola: 13525394 markings, 28838829 edges, 11677 markings/sec, 860 secs
lola: 13585354 markings, 29002925 edges, 11992 markings/sec, 865 secs
lola: 13640194 markings, 29170387 edges, 10968 markings/sec, 870 secs
lola: 13711610 markings, 29339550 edges, 14283 markings/sec, 875 secs
lola: 13772101 markings, 29503342 edges, 12098 markings/sec, 880 secs
lola: 13822809 markings, 29655042 edges, 10142 markings/sec, 885 secs
lola: 13873288 markings, 29806711 edges, 10096 markings/sec, 890 secs
lola: 13924353 markings, 29960617 edges, 10213 markings/sec, 895 secs
lola: 13979850 markings, 30113249 edges, 11099 markings/sec, 900 secs
lola: 14029342 markings, 30266521 edges, 9898 markings/sec, 905 secs
lola: 14081622 markings, 30425883 edges, 10456 markings/sec, 910 secs
lola: 14137375 markings, 30582558 edges, 11151 markings/sec, 915 secs
lola: 14190770 markings, 30734846 edges, 10679 markings/sec, 920 secs
lola: 14243014 markings, 30894260 edges, 10449 markings/sec, 925 secs
lola: 14309175 markings, 31064415 edges, 13232 markings/sec, 930 secs
lola: 14379657 markings, 31233474 edges, 14096 markings/sec, 935 secs
lola: 14441420 markings, 31400278 edges, 12353 markings/sec, 940 secs
lola: 14495273 markings, 31562434 edges, 10771 markings/sec, 945 secs
lola: 14538069 markings, 31698252 edges, 8559 markings/sec, 950 secs
lola: 14579141 markings, 31834063 edges, 8214 markings/sec, 955 secs
lola: 14622956 markings, 31976398 edges, 8763 markings/sec, 960 secs
lola: 14684207 markings, 32152892 edges, 12250 markings/sec, 965 secs
lola: 14757333 markings, 32332053 edges, 14625 markings/sec, 970 secs
lola: 14826193 markings, 32513312 edges, 13772 markings/sec, 975 secs
lola: 14886600 markings, 32689455 edges, 12081 markings/sec, 980 secs
lola: 14934834 markings, 32835136 edges, 9647 markings/sec, 985 secs
lola: 14982764 markings, 32982659 edges, 9586 markings/sec, 990 secs
lola: 15039060 markings, 33144658 edges, 11259 markings/sec, 995 secs
lola: 15103772 markings, 33306072 edges, 12942 markings/sec, 1000 secs
lola: 15155097 markings, 33457178 edges, 10265 markings/sec, 1005 secs
lola: 15205825 markings, 33604235 edges, 10146 markings/sec, 1010 secs
lola: 15253287 markings, 33749146 edges, 9492 markings/sec, 1015 secs
lola: 15302200 markings, 33896049 edges, 9783 markings/sec, 1020 secs
lola: 15350568 markings, 34047766 edges, 9674 markings/sec, 1025 secs
lola: 15398481 markings, 34196763 edges, 9583 markings/sec, 1030 secs
lola: 15454211 markings, 34342833 edges, 11146 markings/sec, 1035 secs
lola: 15503052 markings, 34490285 edges, 9768 markings/sec, 1040 secs
lola: 15553341 markings, 34636861 edges, 10058 markings/sec, 1045 secs
lola: 15601093 markings, 34793229 edges, 9550 markings/sec, 1050 secs
lola: 15651712 markings, 34942320 edges, 10124 markings/sec, 1055 secs
lola: 15707234 markings, 35093580 edges, 11104 markings/sec, 1060 secs
lola: 15758375 markings, 35238563 edges, 10228 markings/sec, 1065 secs
lola: 15806239 markings, 35387097 edges, 9573 markings/sec, 1070 secs
lola: 15860304 markings, 35541374 edges, 10813 markings/sec, 1075 secs
lola: 15921864 markings, 35700903 edges, 12312 markings/sec, 1080 secs
lola: 15980160 markings, 35863624 edges, 11659 markings/sec, 1085 secs
lola: 16055185 markings, 36034252 edges, 15005 markings/sec, 1090 secs
lola: 16118430 markings, 36191347 edges, 12649 markings/sec, 1095 secs
lola: 16176148 markings, 36353193 edges, 11544 markings/sec, 1100 secs
lola: 16239273 markings, 36513474 edges, 12625 markings/sec, 1105 secs
lola: 16285130 markings, 36666280 edges, 9171 markings/sec, 1110 secs
lola: 16328637 markings, 36795872 edges, 8701 markings/sec, 1115 secs
lola: 16370018 markings, 36925010 edges, 8276 markings/sec, 1120 secs
lola: 16412236 markings, 37059623 edges, 8444 markings/sec, 1125 secs
lola: 16457253 markings, 37196212 edges, 9003 markings/sec, 1130 secs
lola: 16504530 markings, 37343165 edges, 9455 markings/sec, 1135 secs
lola: 16549092 markings, 37478818 edges, 8912 markings/sec, 1140 secs
lola: 16605981 markings, 37642255 edges, 11378 markings/sec, 1145 secs
lola: 16666047 markings, 37812993 edges, 12013 markings/sec, 1150 secs
lola: 16738776 markings, 37985656 edges, 14546 markings/sec, 1155 secs
lola: 16801628 markings, 38158990 edges, 12570 markings/sec, 1160 secs
lola: 16864880 markings, 38327864 edges, 12650 markings/sec, 1165 secs
lola: 16921883 markings, 38497705 edges, 11401 markings/sec, 1170 secs
lola: 16987788 markings, 38665081 edges, 13181 markings/sec, 1175 secs
lola: 17044076 markings, 38811429 edges, 11258 markings/sec, 1180 secs
lola: 17090944 markings, 38956947 edges, 9374 markings/sec, 1185 secs
lola: 17144082 markings, 39116860 edges, 10628 markings/sec, 1190 secs
lola: 17195711 markings, 39268743 edges, 10326 markings/sec, 1195 secs
lola: 17262790 markings, 39420574 edges, 13416 markings/sec, 1200 secs
lola: 17313437 markings, 39567571 edges, 10129 markings/sec, 1205 secs
lola: 17361115 markings, 39709933 edges, 9536 markings/sec, 1210 secs
lola: 17407786 markings, 39853492 edges, 9334 markings/sec, 1215 secs
lola: 17456124 markings, 39998752 edges, 9668 markings/sec, 1220 secs
lola: 17508460 markings, 40141762 edges, 10467 markings/sec, 1225 secs
lola: 17555427 markings, 40287069 edges, 9393 markings/sec, 1230 secs
lola: 17603959 markings, 40437035 edges, 9706 markings/sec, 1235 secs
lola: 17655994 markings, 40582617 edges, 10407 markings/sec, 1240 secs
lola: 17707372 markings, 40725456 edges, 10276 markings/sec, 1245 secs
lola: 17754065 markings, 40870543 edges, 9339 markings/sec, 1250 secs
lola: 17812495 markings, 41030510 edges, 11686 markings/sec, 1255 secs
lola: 17876159 markings, 41191117 edges, 12733 markings/sec, 1260 secs
lola: 17936036 markings, 41348410 edges, 11975 markings/sec, 1265 secs
lola: 17998373 markings, 41506514 edges, 12467 markings/sec, 1270 secs
lola: 18043065 markings, 41650200 edges, 8938 markings/sec, 1275 secs
lola: 18083114 markings, 41782304 edges, 8010 markings/sec, 1280 secs
lola: 18123042 markings, 41913614 edges, 7986 markings/sec, 1285 secs
lola: 18170848 markings, 42059817 edges, 9561 markings/sec, 1290 secs
lola: 18227939 markings, 42224263 edges, 11418 markings/sec, 1295 secs
lola: 18299102 markings, 42388212 edges, 14233 markings/sec, 1300 secs
lola: 18360332 markings, 42556636 edges, 12246 markings/sec, 1305 secs
lola: 18417377 markings, 42723192 edges, 11409 markings/sec, 1310 secs
lola: 18463422 markings, 42862400 edges, 9209 markings/sec, 1315 secs
lola: 18509098 markings, 43002936 edges, 9135 markings/sec, 1320 secs
lola: 18562000 markings, 43158001 edges, 10580 markings/sec, 1325 secs
lola: 18619931 markings, 43304144 edges, 11586 markings/sec, 1330 secs
lola: 18677997 markings, 43442827 edges, 11613 markings/sec, 1335 secs
lola: 18741254 markings, 43591470 edges, 12651 markings/sec, 1340 secs
lola: 18815728 markings, 43766645 edges, 14895 markings/sec, 1345 secs
lola: 18898706 markings, 43954751 edges, 16596 markings/sec, 1350 secs
lola: 18983420 markings, 44145105 edges, 16943 markings/sec, 1355 secs
lola: 19057457 markings, 44328678 edges, 14807 markings/sec, 1360 secs
lola: 19132898 markings, 44515005 edges, 15088 markings/sec, 1365 secs
lola: 19204527 markings, 44690305 edges, 14326 markings/sec, 1370 secs
lola: 19281434 markings, 44873970 edges, 15381 markings/sec, 1375 secs
lola: 19343052 markings, 45048204 edges, 12324 markings/sec, 1380 secs
lola: 19405989 markings, 45230841 edges, 12587 markings/sec, 1385 secs
lola: 19484550 markings, 45421266 edges, 15712 markings/sec, 1390 secs
lola: 19553613 markings, 45602237 edges, 13813 markings/sec, 1395 secs
lola: 19621911 markings, 45773623 edges, 13660 markings/sec, 1400 secs
lola: 19689724 markings, 45954844 edges, 13563 markings/sec, 1405 secs
lola: 19770242 markings, 46153555 edges, 16104 markings/sec, 1410 secs
lola: 19845711 markings, 46336053 edges, 15094 markings/sec, 1415 secs
lola: 19920996 markings, 46516548 edges, 15057 markings/sec, 1420 secs
lola: 19999018 markings, 46700648 edges, 15604 markings/sec, 1425 secs
lola: 20046173 markings, 46833141 edges, 9431 markings/sec, 1430 secs
lola: 20080211 markings, 46947983 edges, 6808 markings/sec, 1435 secs
lola: 20114061 markings, 47059292 edges, 6770 markings/sec, 1440 secs
lola: 20149387 markings, 47174944 edges, 7065 markings/sec, 1445 secs
lola: 20183353 markings, 47289171 edges, 6793 markings/sec, 1450 secs
lola: 20219832 markings, 47409311 edges, 7296 markings/sec, 1455 secs
lola: 20257702 markings, 47532302 edges, 7574 markings/sec, 1460 secs
lola: 20295119 markings, 47653492 edges, 7483 markings/sec, 1465 secs
lola: 20330196 markings, 47773303 edges, 7015 markings/sec, 1470 secs
lola: 20367383 markings, 47892039 edges, 7437 markings/sec, 1475 secs
lola: 20404088 markings, 48011501 edges, 7341 markings/sec, 1480 secs
lola: 20438958 markings, 48130152 edges, 6974 markings/sec, 1485 secs
lola: 20473862 markings, 48243874 edges, 6981 markings/sec, 1490 secs
lola: 20512745 markings, 48369689 edges, 7777 markings/sec, 1495 secs
lola: 20553916 markings, 48502188 edges, 8234 markings/sec, 1500 secs
lola: 20593380 markings, 48636374 edges, 7893 markings/sec, 1505 secs
lola: 20632560 markings, 48763178 edges, 7836 markings/sec, 1510 secs
lola: 20672969 markings, 48893031 edges, 8082 markings/sec, 1515 secs
lola: 20713142 markings, 49022332 edges, 8035 markings/sec, 1520 secs
lola: 20752627 markings, 49153735 edges, 7897 markings/sec, 1525 secs
lola: 20791917 markings, 49274805 edges, 7858 markings/sec, 1530 secs
lola: 20845657 markings, 49424592 edges, 10748 markings/sec, 1535 secs
lola: 20915915 markings, 49590343 edges, 14052 markings/sec, 1540 secs
lola: 20997902 markings, 49776774 edges, 16397 markings/sec, 1545 secs
lola: 21079448 markings, 49960546 edges, 16309 markings/sec, 1550 secs
lola: 21147471 markings, 50135830 edges, 13605 markings/sec, 1555 secs
lola: 21220617 markings, 50315803 edges, 14629 markings/sec, 1560 secs
lola: 21290672 markings, 50488091 edges, 14011 markings/sec, 1565 secs
lola: 21371079 markings, 50672974 edges, 16081 markings/sec, 1570 secs
lola: 21451664 markings, 50856813 edges, 16117 markings/sec, 1575 secs
lola: 21529902 markings, 51039201 edges, 15648 markings/sec, 1580 secs
lola: 21589297 markings, 51163283 edges, 11879 markings/sec, 1585 secs
lola: 21664701 markings, 51338272 edges, 15081 markings/sec, 1590 secs
lola: 21731107 markings, 51512802 edges, 13281 markings/sec, 1595 secs
lola: 21804226 markings, 51691369 edges, 14624 markings/sec, 1600 secs
lola: 21874548 markings, 51864466 edges, 14064 markings/sec, 1605 secs
lola: 21952389 markings, 52045965 edges, 15568 markings/sec, 1610 secs
lola: 22029525 markings, 52225202 edges, 15427 markings/sec, 1615 secs
lola: 22082383 markings, 52379155 edges, 10572 markings/sec, 1620 secs
lola: 22134065 markings, 52518598 edges, 10336 markings/sec, 1625 secs
lola: 22196262 markings, 52673206 edges, 12439 markings/sec, 1630 secs
lola: 22255555 markings, 52821229 edges, 11859 markings/sec, 1635 secs
lola: 22321579 markings, 52979885 edges, 13205 markings/sec, 1640 secs
lola: 22391089 markings, 53144220 edges, 13902 markings/sec, 1645 secs
lola: 22452186 markings, 53303909 edges, 12219 markings/sec, 1650 secs
lola: 22495324 markings, 53470698 edges, 8628 markings/sec, 1655 secs
lola: 22547126 markings, 53678090 edges, 10360 markings/sec, 1660 secs
lola: 22601585 markings, 53849647 edges, 10892 markings/sec, 1665 secs
lola: 22673336 markings, 54033640 edges, 14350 markings/sec, 1670 secs
lola: 22727600 markings, 54176946 edges, 10853 markings/sec, 1675 secs
lola: 22785167 markings, 54345643 edges, 11513 markings/sec, 1680 secs
lola: 22845486 markings, 54500911 edges, 12064 markings/sec, 1685 secs
lola: 22914768 markings, 54652903 edges, 13856 markings/sec, 1690 secs
lola: 22994335 markings, 54805636 edges, 15913 markings/sec, 1695 secs
lola: 23046240 markings, 54941594 edges, 10381 markings/sec, 1700 secs
lola: 23112094 markings, 55113194 edges, 13171 markings/sec, 1705 secs
lola: 23164803 markings, 55271878 edges, 10542 markings/sec, 1710 secs
lola: 23227144 markings, 55433871 edges, 12468 markings/sec, 1715 secs
lola: 23289819 markings, 55589646 edges, 12535 markings/sec, 1720 secs
lola: 23348994 markings, 55729181 edges, 11835 markings/sec, 1725 secs
lola: 23410840 markings, 55899083 edges, 12369 markings/sec, 1730 secs
lola: 23468025 markings, 56046998 edges, 11437 markings/sec, 1735 secs
lola: 23528451 markings, 56188525 edges, 12085 markings/sec, 1740 secs
lola: 23586695 markings, 56333788 edges, 11649 markings/sec, 1745 secs
lola: 23639334 markings, 56467586 edges, 10528 markings/sec, 1750 secs
lola: 23690311 markings, 56616772 edges, 10195 markings/sec, 1755 secs
lola: 23745347 markings, 56752405 edges, 11007 markings/sec, 1760 secs
lola: 23785393 markings, 56885295 edges, 8009 markings/sec, 1765 secs
lola: 23851752 markings, 57031925 edges, 13272 markings/sec, 1770 secs
lola: 23912337 markings, 57183305 edges, 12117 markings/sec, 1775 secs
lola: 23964037 markings, 57319296 edges, 10340 markings/sec, 1780 secs
lola: 24024184 markings, 57468670 edges, 12029 markings/sec, 1785 secs
lola: 24089511 markings, 57612467 edges, 13065 markings/sec, 1790 secs
lola: 24138241 markings, 57756556 edges, 9746 markings/sec, 1795 secs
lola: 24195465 markings, 57940814 edges, 11445 markings/sec, 1800 secs
lola: 24253457 markings, 58095800 edges, 11598 markings/sec, 1805 secs
lola: 24303450 markings, 58231542 edges, 9999 markings/sec, 1810 secs
lola: 24367768 markings, 58390326 edges, 12864 markings/sec, 1815 secs
lola: 24424543 markings, 58529148 edges, 11355 markings/sec, 1820 secs
lola: 24472050 markings, 58686468 edges, 9501 markings/sec, 1825 secs
lola: 24537936 markings, 58858301 edges, 13177 markings/sec, 1830 secs
lola: 24582775 markings, 58996517 edges, 8968 markings/sec, 1835 secs
lola: 24651688 markings, 59137287 edges, 13783 markings/sec, 1840 secs
lola: 24701545 markings, 59274815 edges, 9971 markings/sec, 1845 secs
lola: 24749131 markings, 59399077 edges, 9517 markings/sec, 1850 secs
lola: 24807202 markings, 59546278 edges, 11614 markings/sec, 1855 secs
lola: 24874401 markings, 59701086 edges, 13440 markings/sec, 1860 secs
lola: 24941712 markings, 59850440 edges, 13462 markings/sec, 1865 secs
lola: 24986470 markings, 59982771 edges, 8952 markings/sec, 1870 secs
lola: 25032755 markings, 60125549 edges, 9257 markings/sec, 1875 secs
lola: 25082092 markings, 60251704 edges, 9867 markings/sec, 1880 secs
lola: 25141565 markings, 60384705 edges, 11895 markings/sec, 1885 secs
lola: 25199500 markings, 60522456 edges, 11587 markings/sec, 1890 secs
lola: 25261226 markings, 60671530 edges, 12345 markings/sec, 1895 secs
lola: 25328247 markings, 60823599 edges, 13404 markings/sec, 1900 secs
lola: 25386005 markings, 60960634 edges, 11552 markings/sec, 1905 secs
lola: 25437365 markings, 61100396 edges, 10272 markings/sec, 1910 secs
lola: 25486907 markings, 61229159 edges, 9908 markings/sec, 1915 secs
lola: 25547226 markings, 61381007 edges, 12064 markings/sec, 1920 secs
lola: 25616542 markings, 61538511 edges, 13863 markings/sec, 1925 secs
lola: 25680327 markings, 61693281 edges, 12757 markings/sec, 1930 secs
lola: 25750063 markings, 61851990 edges, 13947 markings/sec, 1935 secs
lola: 25821148 markings, 62010766 edges, 14217 markings/sec, 1940 secs
lola: 25880693 markings, 62166984 edges, 11909 markings/sec, 1945 secs
lola: 25970932 markings, 62329059 edges, 18048 markings/sec, 1950 secs
lola: 26056362 markings, 62484784 edges, 17086 markings/sec, 1955 secs
lola: 26119475 markings, 62630508 edges, 12623 markings/sec, 1960 secs
lola: 26167468 markings, 62776790 edges, 9599 markings/sec, 1965 secs
lola: 26222727 markings, 62923100 edges, 11052 markings/sec, 1970 secs
lola: 26283995 markings, 63072654 edges, 12254 markings/sec, 1975 secs
lola: 26348166 markings, 63224032 edges, 12834 markings/sec, 1980 secs
lola: 26436487 markings, 63381541 edges, 17664 markings/sec, 1985 secs
lola: 26493282 markings, 63526638 edges, 11359 markings/sec, 1990 secs
lola: 26558747 markings, 63688273 edges, 13093 markings/sec, 1995 secs
lola: 26613115 markings, 63815969 edges, 10874 markings/sec, 2000 secs
lola: 26682473 markings, 63981666 edges, 13872 markings/sec, 2005 secs
lola: 26743895 markings, 64133159 edges, 12284 markings/sec, 2010 secs
lola: 26791152 markings, 64266318 edges, 9451 markings/sec, 2015 secs
lola: 26856601 markings, 64407591 edges, 13090 markings/sec, 2020 secs
lola: 26913855 markings, 64547678 edges, 11451 markings/sec, 2025 secs
lola: 26970248 markings, 64679845 edges, 11279 markings/sec, 2030 secs
lola: 27020902 markings, 64806263 edges, 10131 markings/sec, 2035 secs
lola: 27105961 markings, 64960826 edges, 17012 markings/sec, 2040 secs
lola: 27176646 markings, 65104712 edges, 14137 markings/sec, 2045 secs
lola: 27230643 markings, 65246759 edges, 10799 markings/sec, 2050 secs
lola: 27287511 markings, 65389139 edges, 11374 markings/sec, 2055 secs
lola: 27339634 markings, 65522239 edges, 10425 markings/sec, 2060 secs
lola: 27387652 markings, 65657915 edges, 9604 markings/sec, 2065 secs
lola: 27446262 markings, 65801152 edges, 11722 markings/sec, 2070 secs
lola: 27500976 markings, 65934504 edges, 10943 markings/sec, 2075 secs
lola: 27552287 markings, 66061745 edges, 10262 markings/sec, 2080 secs
lola: 27613019 markings, 66193863 edges, 12146 markings/sec, 2085 secs
lola: 27656231 markings, 66349518 edges, 8642 markings/sec, 2090 secs
lola: 27715316 markings, 66501722 edges, 11817 markings/sec, 2095 secs
lola: 27759845 markings, 66632637 edges, 8906 markings/sec, 2100 secs
lola: 27820880 markings, 66771064 edges, 12207 markings/sec, 2105 secs
lola: 27874952 markings, 66901753 edges, 10814 markings/sec, 2110 secs
lola: 27945008 markings, 67043649 edges, 14011 markings/sec, 2115 secs
lola: 28000456 markings, 67169957 edges, 11090 markings/sec, 2120 secs
lola: 28063673 markings, 67302466 edges, 12643 markings/sec, 2125 secs
lola: 28112868 markings, 67438413 edges, 9839 markings/sec, 2130 secs
lola: 28167126 markings, 67575820 edges, 10852 markings/sec, 2135 secs
lola: 28219575 markings, 67707287 edges, 10490 markings/sec, 2140 secs
lola: 28275728 markings, 67847032 edges, 11231 markings/sec, 2145 secs
lola: 28332380 markings, 67995347 edges, 11330 markings/sec, 2150 secs
lola: 28378411 markings, 68113480 edges, 9206 markings/sec, 2155 secs
lola: 28436253 markings, 68257006 edges, 11568 markings/sec, 2160 secs
lola: 28511040 markings, 68421519 edges, 14957 markings/sec, 2165 secs
lola: 28578011 markings, 68575783 edges, 13394 markings/sec, 2170 secs
lola: 28626514 markings, 68699473 edges, 9701 markings/sec, 2175 secs
lola: 28682822 markings, 68841681 edges, 11262 markings/sec, 2180 secs
lola: 28730565 markings, 68954494 edges, 9549 markings/sec, 2185 secs
lola: 28789329 markings, 69085448 edges, 11753 markings/sec, 2190 secs
lola: 28840102 markings, 69211862 edges, 10155 markings/sec, 2195 secs
lola: 28889179 markings, 69334348 edges, 9815 markings/sec, 2200 secs
lola: 28947406 markings, 69473568 edges, 11645 markings/sec, 2205 secs
lola: 29002450 markings, 69623003 edges, 11009 markings/sec, 2210 secs
lola: 29055594 markings, 69784962 edges, 10629 markings/sec, 2215 secs
lola: 29126911 markings, 69948648 edges, 14263 markings/sec, 2220 secs
lola: 29191600 markings, 70106592 edges, 12938 markings/sec, 2225 secs
lola: 29254938 markings, 70253777 edges, 12668 markings/sec, 2230 secs
lola: 29308160 markings, 70389700 edges, 10644 markings/sec, 2235 secs
lola: 29389749 markings, 70559653 edges, 16318 markings/sec, 2240 secs
lola: 29466566 markings, 70721682 edges, 15363 markings/sec, 2245 secs
lola: 29553994 markings, 70894180 edges, 17486 markings/sec, 2250 secs
lola: 29629312 markings, 71062093 edges, 15064 markings/sec, 2255 secs
lola: 29734784 markings, 71255584 edges, 21094 markings/sec, 2260 secs
lola: 29827902 markings, 71432148 edges, 18624 markings/sec, 2265 secs
lola: 29919952 markings, 71609314 edges, 18410 markings/sec, 2270 secs
lola: 30008319 markings, 71781247 edges, 17673 markings/sec, 2275 secs
lola: 30094557 markings, 71950397 edges, 17248 markings/sec, 2280 secs
lola: 30179738 markings, 72120661 edges, 17036 markings/sec, 2285 secs
lola: 30268709 markings, 72293085 edges, 17794 markings/sec, 2290 secs
lola: 30349624 markings, 72451694 edges, 16183 markings/sec, 2295 secs
lola: 30423433 markings, 72596688 edges, 14762 markings/sec, 2300 secs
lola: 30497508 markings, 72746497 edges, 14815 markings/sec, 2305 secs
lola: 30575321 markings, 72905308 edges, 15563 markings/sec, 2310 secs
lola: 30673131 markings, 73084044 edges, 19562 markings/sec, 2315 secs
lola: 30751022 markings, 73239474 edges, 15578 markings/sec, 2320 secs
lola: 30837777 markings, 73402948 edges, 17351 markings/sec, 2325 secs
lola: 30911909 markings, 73545220 edges, 14826 markings/sec, 2330 secs
lola: 30987629 markings, 73699168 edges, 15144 markings/sec, 2335 secs
lola: 31069755 markings, 73861111 edges, 16425 markings/sec, 2340 secs
lola: 31154344 markings, 74023195 edges, 16918 markings/sec, 2345 secs
lola: 31226658 markings, 74163054 edges, 14463 markings/sec, 2350 secs
lola: 31291916 markings, 74293742 edges, 13052 markings/sec, 2355 secs
lola: 31353701 markings, 74414090 edges, 12357 markings/sec, 2360 secs
lola: 31403085 markings, 74518342 edges, 9877 markings/sec, 2365 secs
lola: 31471850 markings, 74669545 edges, 13753 markings/sec, 2370 secs
lola: 31538658 markings, 74829734 edges, 13362 markings/sec, 2375 secs
lola: 31597232 markings, 74974640 edges, 11715 markings/sec, 2380 secs
lola: 31656115 markings, 75126136 edges, 11777 markings/sec, 2385 secs
lola: 31726247 markings, 75285205 edges, 14026 markings/sec, 2390 secs
lola: 31815477 markings, 75462195 edges, 17846 markings/sec, 2395 secs
lola: 31908562 markings, 75660362 edges, 18617 markings/sec, 2400 secs
lola: 31992970 markings, 75844800 edges, 16882 markings/sec, 2405 secs
lola: 32078137 markings, 76033622 edges, 17033 markings/sec, 2410 secs
lola: 32153719 markings, 76212871 edges, 15116 markings/sec, 2415 secs
lola: 32234022 markings, 76383202 edges, 16061 markings/sec, 2420 secs
lola: 32313057 markings, 76558138 edges, 15807 markings/sec, 2425 secs
lola: 32385829 markings, 76726502 edges, 14554 markings/sec, 2430 secs
lola: 32482793 markings, 76919538 edges, 19393 markings/sec, 2435 secs
lola: 32555857 markings, 77084340 edges, 14613 markings/sec, 2440 secs
lola: 32629587 markings, 77245074 edges, 14746 markings/sec, 2445 secs
lola: 32701877 markings, 77419029 edges, 14458 markings/sec, 2450 secs
lola: 32765222 markings, 77576573 edges, 12669 markings/sec, 2455 secs
lola: 32848836 markings, 77763296 edges, 16723 markings/sec, 2460 secs
lola: 32950114 markings, 77958595 edges, 20256 markings/sec, 2465 secs
lola: 33031103 markings, 78129642 edges, 16198 markings/sec, 2470 secs
lola: 33103592 markings, 78297730 edges, 14498 markings/sec, 2475 secs
lola: 33169750 markings, 78472125 edges, 13232 markings/sec, 2480 secs
lola: 33244262 markings, 78649028 edges, 14902 markings/sec, 2485 secs
lola: 33316706 markings, 78822381 edges, 14489 markings/sec, 2490 secs
lola: 33392877 markings, 78992857 edges, 15234 markings/sec, 2495 secs
lola: 33483262 markings, 79180845 edges, 18077 markings/sec, 2500 secs
lola: 33578347 markings, 79371797 edges, 19017 markings/sec, 2505 secs
lola: 33647400 markings, 79546831 edges, 13811 markings/sec, 2510 secs
lola: 33704065 markings, 79723176 edges, 11333 markings/sec, 2515 secs
lola: 33787174 markings, 79899853 edges, 16622 markings/sec, 2520 secs
lola: 33866335 markings, 80075808 edges, 15832 markings/sec, 2525 secs
lola: 33958337 markings, 80264097 edges, 18400 markings/sec, 2530 secs
lola: 34022616 markings, 80443516 edges, 12856 markings/sec, 2535 secs
lola: 34094669 markings, 80619311 edges, 14411 markings/sec, 2540 secs
lola: 34170961 markings, 80788674 edges, 15258 markings/sec, 2545 secs
lola: 34237280 markings, 80955916 edges, 13264 markings/sec, 2550 secs
lola: 34319720 markings, 81132028 edges, 16488 markings/sec, 2555 secs
lola: 34412710 markings, 81322412 edges, 18598 markings/sec, 2560 secs
lola: 34503404 markings, 81505764 edges, 18139 markings/sec, 2565 secs
lola: 34578281 markings, 81671593 edges, 14975 markings/sec, 2570 secs
lola: 34648910 markings, 81860466 edges, 14126 markings/sec, 2575 secs
lola: 34729205 markings, 82043651 edges, 16059 markings/sec, 2580 secs
lola: 34820837 markings, 82226293 edges, 18326 markings/sec, 2585 secs
lola: 34885424 markings, 82406178 edges, 12917 markings/sec, 2590 secs
lola: 34950046 markings, 82574369 edges, 12924 markings/sec, 2595 secs
lola: 35025556 markings, 82754765 edges, 15102 markings/sec, 2600 secs
lola: 35101879 markings, 82926915 edges, 15265 markings/sec, 2605 secs
lola: 35197057 markings, 83111389 edges, 19036 markings/sec, 2610 secs
lola: 35276081 markings, 83284244 edges, 15805 markings/sec, 2615 secs
lola: 35367905 markings, 83464484 edges, 18365 markings/sec, 2620 secs
lola: 35442556 markings, 83639913 edges, 14930 markings/sec, 2625 secs
lola: 35504907 markings, 83796522 edges, 12470 markings/sec, 2630 secs
lola: 35581710 markings, 83998877 edges, 15361 markings/sec, 2635 secs
lola: 35664733 markings, 84185462 edges, 16605 markings/sec, 2640 secs
lola: 35742515 markings, 84365327 edges, 15556 markings/sec, 2645 secs
lola: 35824149 markings, 84547893 edges, 16327 markings/sec, 2650 secs
lola: 35901901 markings, 84736275 edges, 15550 markings/sec, 2655 secs
lola: 35993293 markings, 84924059 edges, 18278 markings/sec, 2660 secs
lola: 36077455 markings, 85109706 edges, 16832 markings/sec, 2665 secs
lola: 36168655 markings, 85306391 edges, 18240 markings/sec, 2670 secs
lola: 36252374 markings, 85500085 edges, 16744 markings/sec, 2675 secs
lola: 36341055 markings, 85690274 edges, 17736 markings/sec, 2680 secs
lola: 36428236 markings, 85880052 edges, 17436 markings/sec, 2685 secs
lola: 36505318 markings, 86056483 edges, 15416 markings/sec, 2690 secs
lola: 36569473 markings, 86210055 edges, 12831 markings/sec, 2695 secs
lola: 36651017 markings, 86382617 edges, 16309 markings/sec, 2700 secs
lola: 36731946 markings, 86563331 edges, 16186 markings/sec, 2705 secs
lola: 36804254 markings, 86739250 edges, 14462 markings/sec, 2710 secs
lola: 36877249 markings, 86917173 edges, 14599 markings/sec, 2715 secs
lola: 36952521 markings, 87094364 edges, 15054 markings/sec, 2720 secs
lola: 37024168 markings, 87264285 edges, 14329 markings/sec, 2725 secs
lola: 37109818 markings, 87445792 edges, 17130 markings/sec, 2730 secs
lola: 37198975 markings, 87635252 edges, 17831 markings/sec, 2735 secs
lola: 37289911 markings, 87821171 edges, 18187 markings/sec, 2740 secs
lola: 37379837 markings, 88005445 edges, 17985 markings/sec, 2745 secs
lola: 37472992 markings, 88189142 edges, 18631 markings/sec, 2750 secs
lola: 37554313 markings, 88363582 edges, 16264 markings/sec, 2755 secs
lola: 37635460 markings, 88543080 edges, 16229 markings/sec, 2760 secs
lola: 37733005 markings, 88740817 edges, 19509 markings/sec, 2765 secs
lola: 37819349 markings, 88929580 edges, 17269 markings/sec, 2770 secs
lola: 37908045 markings, 89115980 edges, 17739 markings/sec, 2775 secs
lola: 37997439 markings, 89302551 edges, 17879 markings/sec, 2780 secs
lola: 38088688 markings, 89497650 edges, 18250 markings/sec, 2785 secs
lola: 38181095 markings, 89692543 edges, 18481 markings/sec, 2790 secs
lola: 38261558 markings, 89889521 edges, 16093 markings/sec, 2795 secs
lola: 38349313 markings, 90071253 edges, 17551 markings/sec, 2800 secs
lola: 38433729 markings, 90250349 edges, 16883 markings/sec, 2805 secs
lola: 38527060 markings, 90443811 edges, 18666 markings/sec, 2810 secs
lola: 38611798 markings, 90636255 edges, 16948 markings/sec, 2815 secs
lola: 38693725 markings, 90831262 edges, 16385 markings/sec, 2820 secs
lola: 38774209 markings, 91012344 edges, 16097 markings/sec, 2825 secs
lola: 38866316 markings, 91209244 edges, 18421 markings/sec, 2830 secs
lola: 38954633 markings, 91399717 edges, 17663 markings/sec, 2835 secs
lola: 39033367 markings, 91587716 edges, 15747 markings/sec, 2840 secs
lola: 39112995 markings, 91763148 edges, 15926 markings/sec, 2845 secs
lola: 39198768 markings, 91941518 edges, 17155 markings/sec, 2850 secs
lola: 39269474 markings, 92112241 edges, 14141 markings/sec, 2855 secs
lola: 39355226 markings, 92287362 edges, 17150 markings/sec, 2860 secs
lola: 39444447 markings, 92466465 edges, 17844 markings/sec, 2865 secs
lola: 39531322 markings, 92649168 edges, 17375 markings/sec, 2870 secs
lola: 39612678 markings, 92823244 edges, 16271 markings/sec, 2875 secs
lola: 39694760 markings, 92998369 edges, 16416 markings/sec, 2880 secs
lola: 39778231 markings, 93174712 edges, 16694 markings/sec, 2885 secs
lola: 39859630 markings, 93348371 edges, 16280 markings/sec, 2890 secs
lola: 39936110 markings, 93521607 edges, 15296 markings/sec, 2895 secs
lola: 40013806 markings, 93686118 edges, 15539 markings/sec, 2900 secs
lola: 40099618 markings, 93858335 edges, 17162 markings/sec, 2905 secs
lola: 40170596 markings, 94031894 edges, 14196 markings/sec, 2910 secs
lola: 40237459 markings, 94186171 edges, 13373 markings/sec, 2915 secs
lola: 40305855 markings, 94337809 edges, 13679 markings/sec, 2920 secs
lola: 40367366 markings, 94493729 edges, 12302 markings/sec, 2925 secs
lola: 40435830 markings, 94642853 edges, 13693 markings/sec, 2930 secs
lola: 40524685 markings, 94824366 edges, 17771 markings/sec, 2935 secs
lola: 40615196 markings, 95002620 edges, 18102 markings/sec, 2940 secs
lola: 40698228 markings, 95183444 edges, 16606 markings/sec, 2945 secs
lola: 40774557 markings, 95374271 edges, 15266 markings/sec, 2950 secs
lola: 40863558 markings, 95555005 edges, 17800 markings/sec, 2955 secs
lola: 40939180 markings, 95718254 edges, 15124 markings/sec, 2960 secs
lola: 41008939 markings, 95883974 edges, 13952 markings/sec, 2965 secs
lola: 41093290 markings, 96053728 edges, 16870 markings/sec, 2970 secs
lola: 41179938 markings, 96228521 edges, 17330 markings/sec, 2975 secs
lola: 41265794 markings, 96405727 edges, 17171 markings/sec, 2980 secs
lola: 41344111 markings, 96576664 edges, 15663 markings/sec, 2985 secs
lola: 41429327 markings, 96753173 edges, 17043 markings/sec, 2990 secs
lola: 41507959 markings, 96923645 edges, 15726 markings/sec, 2995 secs
lola: 41592215 markings, 97099455 edges, 16851 markings/sec, 3000 secs
lola: 41662626 markings, 97262482 edges, 14082 markings/sec, 3005 secs
lola: 41749595 markings, 97434271 edges, 17394 markings/sec, 3010 secs
lola: 41832787 markings, 97607468 edges, 16638 markings/sec, 3015 secs
lola: 41913288 markings, 97779497 edges, 16100 markings/sec, 3020 secs
lola: 41994471 markings, 97953857 edges, 16237 markings/sec, 3025 secs
lola: 42062071 markings, 98114604 edges, 13520 markings/sec, 3030 secs
lola: 42142136 markings, 98278325 edges, 16013 markings/sec, 3035 secs
lola: 42228617 markings, 98447987 edges, 17296 markings/sec, 3040 secs
lola: 42313514 markings, 98621494 edges, 16979 markings/sec, 3045 secs
lola: 42388293 markings, 98788603 edges, 14956 markings/sec, 3050 secs
lola: 42458575 markings, 98953319 edges, 14056 markings/sec, 3055 secs
lola: 42532454 markings, 99125611 edges, 14776 markings/sec, 3060 secs
lola: 42610803 markings, 99294718 edges, 15670 markings/sec, 3065 secs
lola: 42693033 markings, 99470747 edges, 16446 markings/sec, 3070 secs
lola: 42774423 markings, 99638822 edges, 16278 markings/sec, 3075 secs
lola: 42854772 markings, 99811223 edges, 16070 markings/sec, 3080 secs
lola: 42922281 markings, 99968291 edges, 13502 markings/sec, 3085 secs
lola: 43005563 markings, 100134054 edges, 16656 markings/sec, 3090 secs
lola: 43085995 markings, 100302296 edges, 16086 markings/sec, 3095 secs
lola: 43150211 markings, 100463833 edges, 12843 markings/sec, 3100 secs
lola: 43222630 markings, 100626666 edges, 14484 markings/sec, 3105 secs
lola: 43286609 markings, 100787833 edges, 12796 markings/sec, 3110 secs
lola: 43353034 markings, 100942137 edges, 13285 markings/sec, 3115 secs
lola: 43417471 markings, 101095338 edges, 12887 markings/sec, 3120 secs
lola: 43485217 markings, 101244743 edges, 13549 markings/sec, 3125 secs
lola: 43573104 markings, 101418918 edges, 17577 markings/sec, 3130 secs
lola: 43656091 markings, 101589088 edges, 16597 markings/sec, 3135 secs
lola: 43744620 markings, 101757026 edges, 17706 markings/sec, 3140 secs
lola: 43825808 markings, 101924225 edges, 16238 markings/sec, 3145 secs
lola: 43905001 markings, 102101873 edges, 15839 markings/sec, 3150 secs
lola: 43979235 markings, 102289021 edges, 14847 markings/sec, 3155 secs
lola: 44068130 markings, 102466579 edges, 17779 markings/sec, 3160 secs
lola: 44143856 markings, 102625882 edges, 15145 markings/sec, 3165 secs
lola: 44225910 markings, 102791914 edges, 16411 markings/sec, 3170 secs
lola: 44296743 markings, 102949212 edges, 14167 markings/sec, 3175 secs
lola: 44374613 markings, 103112485 edges, 15574 markings/sec, 3180 secs
lola: 44451064 markings, 103275691 edges, 15290 markings/sec, 3185 secs
lola: 44531285 markings, 103446597 edges, 16044 markings/sec, 3190 secs
lola: 44599904 markings, 103604958 edges, 13724 markings/sec, 3195 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes yes yes yes yes yes yes no no yes unknown no yes no yes
lola:
preliminary result: yes yes yes yes yes yes yes yes no no yes unknown no yes no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes yes yes yes yes yes no no yes unknown no yes no yes
lola: memory consumption: 7242272 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes yes yes yes yes yes no no yes unknown no yes no yes
lola: memory consumption: 7242536 KB
lola: time consumption: 3570 seconds
BK_STOP 1526530647277
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-315"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-315.tgz
mv CloudReconfiguration-PT-315 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-315, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-smll-152646379900102"
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 '
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 ;