About the Execution of LoLA for DES-PT-10a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15907.700 | 3600000.00 | 3595224.00 | 12484.10 | FFTTFFTTFT?TTFFT | 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 208K
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 43K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DES-PT-10a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646380100214
=====================================================================
--------------------
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 DES-PT-10a-CTLFireability-00
FORMULA_NAME DES-PT-10a-CTLFireability-01
FORMULA_NAME DES-PT-10a-CTLFireability-02
FORMULA_NAME DES-PT-10a-CTLFireability-03
FORMULA_NAME DES-PT-10a-CTLFireability-04
FORMULA_NAME DES-PT-10a-CTLFireability-05
FORMULA_NAME DES-PT-10a-CTLFireability-06
FORMULA_NAME DES-PT-10a-CTLFireability-07
FORMULA_NAME DES-PT-10a-CTLFireability-08
FORMULA_NAME DES-PT-10a-CTLFireability-09
FORMULA_NAME DES-PT-10a-CTLFireability-10
FORMULA_NAME DES-PT-10a-CTLFireability-11
FORMULA_NAME DES-PT-10a-CTLFireability-12
FORMULA_NAME DES-PT-10a-CTLFireability-13
FORMULA_NAME DES-PT-10a-CTLFireability-14
FORMULA_NAME DES-PT-10a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526594331919
info: Time: 3600 - MCC
===========================================================================================
prep: translating DES-PT-10a 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 DES-PT-10a formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DES-PT-10a @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 267/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 155
lola: finding significant places
lola: 155 places, 112 transitions, 96 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 137 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-10a-CTLFireability.task
lola: A ((NOT(A (X (FIREABLE(t93)))) U A (F ((FIREABLE(t12) OR FIREABLE(t14)))))) : A (F ((A ((FIREABLE(t78) U FIREABLE(t42))) OR (A (G (FIREABLE(t73))) AND E (X (FIREABLE(t48))))))) : (NOT(A ((NOT FIREABLE(t32) U FIREABLE(t50)))) OR ((E ((FIREABLE(t105) U FIREABLE(t66))) AND (FIREABLE(t46) AND A (X (FIREABLE(t63))))) OR (FIREABLE(t0) AND (FIREABLE(t60) OR FIREABLE(t84))))) : E (F (FIREABLE(t102))) : ((((A (F (FIREABLE(t88))) OR (FIREABLE(t106) AND NOT FIREABLE(t65))) OR ((FIREABLE(t88) OR FIREABLE(t34) OR NOT FIREABLE(t31)) AND FIREABLE(t16))) OR FIREABLE(t105)) AND ((NOT(A (F (FIREABLE(t1)))) AND (NOT FIREABLE(t81) AND NOT FIREABLE(t50) AND (NOT FIREABLE(t13) OR NOT FIREABLE(t32)))) OR (((NOT FIREABLE(t11) AND NOT FIREABLE(t1)) OR (NOT FIREABLE(t91) AND NOT FIREABLE(t45))) AND (FIREABLE(t68) OR FIREABLE(t84))))) : (A ((NOT FIREABLE(t17) U A (X (FIREABLE(t75))))) AND NOT(((FIREABLE(t14) AND FIREABLE(t24)) OR E (X ((FIREABLE(t14) AND FIREABLE(t36))))))) : E (F (((FIREABLE(t15) AND ((FIREABLE(t13) AND FIREABLE(t88)) OR NOT FIREABLE(t100))) OR ((NOT FIREABLE(t77) OR NOT FIREABLE(t101)) AND A (F (FIREABLE(t80))))))) : E (G (NOT FIREABLE(t29))) : A (F (A ((FIREABLE(t63) U (FIREABLE(t10) AND FIREABLE(t106)))))) : (((E (X (NOT FIREABLE(t68))) OR FIREABLE(t32)) AND NOT((E (G (FIREABLE(t67))) AND A (X (FIREABLE(t105)))))) AND A (X (E (G (NOT FIREABLE(t31)))))) : E (((A (G (FIREABLE(t49))) OR NOT FIREABLE(t15)) U E (G ((FIREABLE(t109) OR FIREABLE(t91)))))) : NOT(NOT((A (G ((FIREABLE(t34) AND FIREABLE(t56)))) OR E (F ((FIREABLE(t91) AND FIREABLE(t21))))))) : E (F (NOT((A (F (FIREABLE(t54))) OR (FIREABLE(t59) AND FIREABLE(t13) AND FIREABLE(t100)))))) : (E (X (A (X (FIREABLE(t36))))) OR A ((E (F (FIREABLE(t94))) U A (G (FIREABLE(t61)))))) : NOT(E (F (FIREABLE(t88)))) : A ((A (F (FIREABLE(t69))) U NOT(A (F (FIREABLE(t95))))))
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:470
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:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k: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:548
lola: rewrite Frontend/Parser/formula_rewrite.k:440
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:315
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k: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: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: 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 ((A ((FIREABLE(t78) U FIREABLE(t42))) OR (A (G (FIREABLE(t73))) AND E (X (FIREABLE(t48)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U (A(FIREABLE(t78) U FIREABLE(t42)) OR (NOT(E(TRUE U NOT FIREABLE(t73))) AND EX(FIREABLE(t48)))))
lola: processed formula length: 104
lola: 59 rewrites
lola: closed formula file DES-PT-10a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 46 markings, 139 edges
FORMULA DES-PT-10a-CTLFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E ((FIREABLE(t32) R NOT FIREABLE(t50))) OR ((E ((FIREABLE(t105) U FIREABLE(t66))) AND (FIREABLE(t46) AND A (X (FIREABLE(t63))))) OR (FIREABLE(t0) AND (FIREABLE(t60) OR FIREABLE(t84)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t32) R NOT FIREABLE(t50)))
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(t32) R NOT FIREABLE(t50)))
lola: processed formula length: 39
lola: 56 rewrites
lola: closed formula file DES-PT-10a-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: 44 markings, 43 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-10a-CTLFireability-2 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: (A ((NOT FIREABLE(t17) U A (X (FIREABLE(t75))))) AND ((NOT FIREABLE(t14) OR NOT FIREABLE(t24)) AND A (X ((NOT FIREABLE(t14) OR NOT FIREABLE(t36))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: (A(NOT FIREABLE(t17) U AX(FIREABLE(t75))) AND ((NOT FIREABLE(t14) OR NOT FIREABLE(t24)) AND AX((NOT FIREABLE(t14) OR NOT FIREABLE(t36)))))
lola: processed formula length: 140
lola: 57 rewrites
lola: closed formula file DES-PT-10a-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: 509000 markings, 3685834 edges, 101800 markings/sec, 0 secs
lola: 988422 markings, 7543832 edges, 95884 markings/sec, 5 secs
lola: 1435590 markings, 11357839 edges, 89434 markings/sec, 10 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1924493 markings, 14734139 edges
lola: ========================================
FORMULA DES-PT-10a-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((E (X (NOT FIREABLE(t68))) OR FIREABLE(t32)) AND ((A (F (NOT FIREABLE(t67))) OR E (X (NOT FIREABLE(t105)))) AND A (X (E (G (NOT FIREABLE(t31)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (G (NOT FIREABLE(t31)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: AX(NOT(A(TRUE U FIREABLE(t31))))
lola: processed formula length: 32
lola: 57 rewrites
lola: closed formula file DES-PT-10a-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: 45 markings, 44 edges
lola: ========================================
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (NOT FIREABLE(t67)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: FIREABLE(t67)
lola: processed formula length: 13
lola: 56 rewrites
lola: closed formula file DES-PT-10a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t32)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t32)
lola: processed formula length: 13
lola: 54 rewrites
lola: closed formula file DES-PT-10a-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 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (NOT FIREABLE(t68)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(NOT FIREABLE(t68))
lola: processed formula length: 21
lola: 55 rewrites
lola: closed formula file DES-PT-10a-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: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-10a-CTLFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (A (X (FIREABLE(t36))))) OR A ((E (F (FIREABLE(t94))) U A (G (FIREABLE(t61))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: (EX(AX(FIREABLE(t36))) OR A(E(TRUE U FIREABLE(t94)) U NOT(E(TRUE U NOT FIREABLE(t61)))))
lola: processed formula length: 88
lola: 60 rewrites
lola: closed formula file DES-PT-10a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 8858 markings, 46809 edges
lola: ========================================
FORMULA DES-PT-10a-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t102)))
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(t102)))
lola: processed formula length: 22
lola: 55 rewrites
lola: closed formula file DES-PT-10a-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(t102)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 16 markings, 15 edges
lola: state equation: write sara problem file to DES-PT-10a-CTLFireability-5-0.sara
lola: ========================================
FORMULA DES-PT-10a-CTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t88)))
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(t88)))
lola: processed formula length: 25
lola: 56 rewrites
lola: closed formula file DES-PT-10a-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: SUBRESULT
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: result: no
lola: produced by: state space
lola: formula 0: FIREABLE(t88)
lola: The predicate is not invariant.
lola: 19 markings, 18 edges
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: ========================================
FORMULA DES-PT-10a-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t29)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t29)))
lola: processed formula length: 25
lola: 54 rewrites
lola: closed formula file DES-PT-10a-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: 4809 markings, 6306 edges
lola: ========================================
FORMULA DES-PT-10a-CTLFireability-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 443 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t10) AND FIREABLE(t106))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t10) OR NOT FIREABLE(t106))
lola: processed formula length: 42
lola: 56 rewrites
lola: closed formula file DES-PT-10a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 27 markings, 26 edges
lola: ========================================
FORMULA DES-PT-10a-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 507 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t12) OR FIREABLE(t14))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t12) AND NOT FIREABLE(t14))
lola: processed formula length: 41
lola: 56 rewrites
lola: closed formula file DES-PT-10a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 26 markings, 25 edges
lola: ========================================
FORMULA DES-PT-10a-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 591 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((E (G (NOT FIREABLE(t54))) AND (NOT FIREABLE(t59) OR NOT FIREABLE(t13) OR NOT FIREABLE(t100)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: E(TRUE U (NOT(A(TRUE U FIREABLE(t54))) AND (NOT FIREABLE(t59) OR NOT FIREABLE(t13) OR NOT FIREABLE(t100))))
lola: processed formula length: 109
lola: 57 rewrites
lola: closed formula file DES-PT-10a-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: 1495 markings, 4357 edges
lola: ========================================
FORMULA DES-PT-10a-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 710 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((A (F (FIREABLE(t69))) U E (G (NOT FIREABLE(t95)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: A(A(TRUE U FIREABLE(t69)) U NOT(A(TRUE U FIREABLE(t95))))
lola: processed formula length: 57
lola: 58 rewrites
lola: closed formula file DES-PT-10a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 46 markings, 46 edges
lola: ========================================
FORMULA DES-PT-10a-CTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 887 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((A (G (FIREABLE(t49))) OR NOT FIREABLE(t15)) U E (G ((FIREABLE(t109) OR FIREABLE(t91))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E((NOT(E(TRUE U NOT FIREABLE(t49))) OR NOT FIREABLE(t15)) U NOT(A(TRUE U (NOT FIREABLE(t109) AND NOT FIREABLE(t91)))))
lola: processed formula length: 118
lola: 59 rewrites
lola: closed formula file DES-PT-10a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 386445 markings, 3854158 edges, 77289 markings/sec, 0 secs
lola: 785264 markings, 7787482 edges, 79764 markings/sec, 5 secs
lola: 1082849 markings, 11713442 edges, 59517 markings/sec, 10 secs
lola: 1342310 markings, 15658856 edges, 51892 markings/sec, 15 secs
lola: 1701718 markings, 19506345 edges, 71882 markings/sec, 20 secs
lola: 2140761 markings, 23285876 edges, 87809 markings/sec, 25 secs
lola: 2524524 markings, 26900306 edges, 76753 markings/sec, 30 secs
lola: 2908502 markings, 30434884 edges, 76796 markings/sec, 35 secs
lola: 3269498 markings, 33965981 edges, 72199 markings/sec, 40 secs
lola: 3638714 markings, 37490442 edges, 73843 markings/sec, 45 secs
lola: 4001361 markings, 40954230 edges, 72529 markings/sec, 50 secs
lola: 4339305 markings, 44263295 edges, 67589 markings/sec, 55 secs
lola: 4690247 markings, 47482626 edges, 70188 markings/sec, 60 secs
lola: 5086053 markings, 50867854 edges, 79161 markings/sec, 65 secs
lola: 5449490 markings, 54253183 edges, 72687 markings/sec, 70 secs
lola: 5778457 markings, 57415080 edges, 65793 markings/sec, 75 secs
lola: 6116365 markings, 60626949 edges, 67582 markings/sec, 80 secs
lola: 6473238 markings, 63833306 edges, 71375 markings/sec, 85 secs
lola: 6784188 markings, 66750616 edges, 62190 markings/sec, 90 secs
lola: 7090821 markings, 69607256 edges, 61327 markings/sec, 95 secs
lola: 7394771 markings, 72483648 edges, 60790 markings/sec, 100 secs
lola: 7706885 markings, 75294957 edges, 62423 markings/sec, 105 secs
lola: 7988073 markings, 77983253 edges, 56238 markings/sec, 110 secs
lola: 8311593 markings, 81118615 edges, 64704 markings/sec, 115 secs
lola: 8624954 markings, 84634148 edges, 62672 markings/sec, 120 secs
lola: 8955566 markings, 88155941 edges, 66122 markings/sec, 125 secs
lola: 9229411 markings, 91674659 edges, 54769 markings/sec, 130 secs
lola: 9517041 markings, 95097851 edges, 57526 markings/sec, 135 secs
lola: 9816105 markings, 98495105 edges, 59813 markings/sec, 140 secs
lola: 10117440 markings, 102021120 edges, 60267 markings/sec, 145 secs
lola: 10390517 markings, 105557415 edges, 54615 markings/sec, 150 secs
lola: 10624183 markings, 109073920 edges, 46733 markings/sec, 155 secs
lola: 10884373 markings, 112539223 edges, 52038 markings/sec, 160 secs
lola: 11173805 markings, 115951656 edges, 57886 markings/sec, 165 secs
lola: 11476518 markings, 119313779 edges, 60543 markings/sec, 170 secs
lola: 11734974 markings, 122802814 edges, 51691 markings/sec, 175 secs
lola: 12065082 markings, 126299111 edges, 66022 markings/sec, 180 secs
lola: 12331439 markings, 129781325 edges, 53271 markings/sec, 185 secs
lola: 12587713 markings, 133281901 edges, 51255 markings/sec, 190 secs
lola: 12807184 markings, 136646742 edges, 43894 markings/sec, 195 secs
lola: 13073128 markings, 140011516 edges, 53189 markings/sec, 200 secs
lola: 13382907 markings, 143408323 edges, 61956 markings/sec, 205 secs
lola: 13651825 markings, 146797178 edges, 53784 markings/sec, 210 secs
lola: 13963071 markings, 150271386 edges, 62249 markings/sec, 215 secs
lola: 14228358 markings, 153750961 edges, 53057 markings/sec, 220 secs
lola: 14479616 markings, 157230247 edges, 50252 markings/sec, 225 secs
lola: 14718905 markings, 160744112 edges, 47858 markings/sec, 230 secs
lola: 14990009 markings, 164168834 edges, 54221 markings/sec, 235 secs
lola: 15294448 markings, 167577601 edges, 60888 markings/sec, 240 secs
lola: 15555264 markings, 170947519 edges, 52163 markings/sec, 245 secs
lola: 15841052 markings, 174419971 edges, 57158 markings/sec, 250 secs
lola: 16142415 markings, 177882686 edges, 60273 markings/sec, 255 secs
lola: 16405294 markings, 181362248 edges, 52576 markings/sec, 260 secs
lola: 16631011 markings, 184826307 edges, 45143 markings/sec, 265 secs
lola: 16888331 markings, 188287671 edges, 51464 markings/sec, 270 secs
lola: 17170610 markings, 191694637 edges, 56456 markings/sec, 275 secs
lola: 17485769 markings, 195080124 edges, 63032 markings/sec, 280 secs
lola: 17731296 markings, 198501004 edges, 49105 markings/sec, 285 secs
lola: 18039888 markings, 201907967 edges, 61718 markings/sec, 290 secs
lola: 18294385 markings, 205266163 edges, 50899 markings/sec, 295 secs
lola: 18548222 markings, 208642761 edges, 50767 markings/sec, 300 secs
lola: 18760814 markings, 212011569 edges, 42518 markings/sec, 305 secs
lola: 19011313 markings, 215379750 edges, 50100 markings/sec, 310 secs
lola: 19299934 markings, 218720421 edges, 57724 markings/sec, 315 secs
lola: 19542890 markings, 222005557 edges, 48591 markings/sec, 320 secs
lola: 19810559 markings, 225329679 edges, 53534 markings/sec, 325 secs
lola: 20097768 markings, 228623653 edges, 57442 markings/sec, 330 secs
lola: 20357920 markings, 231834791 edges, 52030 markings/sec, 335 secs
lola: 20560575 markings, 235036468 edges, 40531 markings/sec, 340 secs
lola: 20816680 markings, 238292076 edges, 51221 markings/sec, 345 secs
lola: 21100421 markings, 241537721 edges, 56748 markings/sec, 350 secs
lola: 21365374 markings, 244777700 edges, 52991 markings/sec, 355 secs
lola: 21627379 markings, 247979426 edges, 52401 markings/sec, 360 secs
lola: 21898628 markings, 251124847 edges, 54250 markings/sec, 365 secs
lola: 22180377 markings, 254253376 edges, 56350 markings/sec, 370 secs
lola: 22467810 markings, 257439502 edges, 57487 markings/sec, 375 secs
lola: 22760641 markings, 260751329 edges, 58566 markings/sec, 380 secs
lola: 23034935 markings, 263990814 edges, 54859 markings/sec, 385 secs
lola: 23326611 markings, 267266247 edges, 58335 markings/sec, 390 secs
lola: 23609497 markings, 270515678 edges, 56577 markings/sec, 395 secs
lola: 23868586 markings, 273708278 edges, 51818 markings/sec, 400 secs
lola: 24128473 markings, 276953994 edges, 51977 markings/sec, 405 secs
lola: 24405180 markings, 280193734 edges, 55341 markings/sec, 410 secs
lola: 24649674 markings, 283475433 edges, 48899 markings/sec, 415 secs
lola: 24934891 markings, 286842752 edges, 57043 markings/sec, 420 secs
lola: 25228140 markings, 290165225 edges, 58650 markings/sec, 425 secs
lola: 25490487 markings, 293492298 edges, 52469 markings/sec, 430 secs
lola: 25721505 markings, 296600771 edges, 46204 markings/sec, 435 secs
lola: 25950434 markings, 299623675 edges, 45786 markings/sec, 440 secs
lola: 26171853 markings, 302674010 edges, 44284 markings/sec, 445 secs
lola: 26439926 markings, 305829071 edges, 53615 markings/sec, 450 secs
lola: 26712104 markings, 309076276 edges, 54436 markings/sec, 455 secs
lola: 26980021 markings, 312342660 edges, 53583 markings/sec, 460 secs
lola: 27233001 markings, 315513534 edges, 50596 markings/sec, 465 secs
lola: 27480006 markings, 318636761 edges, 49401 markings/sec, 470 secs
lola: 27720127 markings, 321766715 edges, 48024 markings/sec, 475 secs
lola: 28010858 markings, 324933673 edges, 58146 markings/sec, 480 secs
lola: 28267893 markings, 328132767 edges, 51407 markings/sec, 485 secs
lola: 28528546 markings, 331338014 edges, 52131 markings/sec, 490 secs
lola: 28786795 markings, 334485610 edges, 51650 markings/sec, 495 secs
lola: 29024018 markings, 337538607 edges, 47445 markings/sec, 500 secs
lola: 29267331 markings, 340595483 edges, 48663 markings/sec, 505 secs
lola: 29533531 markings, 343691452 edges, 53240 markings/sec, 510 secs
lola: 29799056 markings, 346823782 edges, 53105 markings/sec, 515 secs
lola: 30049349 markings, 349930667 edges, 50059 markings/sec, 520 secs
lola: 30289304 markings, 353052619 edges, 47991 markings/sec, 525 secs
lola: 30525032 markings, 356018719 edges, 47146 markings/sec, 530 secs
lola: 30780563 markings, 358952578 edges, 51106 markings/sec, 535 secs
lola: 31009137 markings, 361917480 edges, 45715 markings/sec, 540 secs
lola: 31263060 markings, 364986172 edges, 50785 markings/sec, 545 secs
lola: 31541039 markings, 367998558 edges, 55596 markings/sec, 550 secs
lola: 31776875 markings, 371024373 edges, 47167 markings/sec, 555 secs
lola: 32014861 markings, 373998463 edges, 47597 markings/sec, 560 secs
lola: 32244512 markings, 376892475 edges, 45930 markings/sec, 565 secs
lola: 32470005 markings, 379830108 edges, 45099 markings/sec, 570 secs
lola: 32726525 markings, 382836790 edges, 51304 markings/sec, 575 secs
lola: 32977662 markings, 385832472 edges, 50227 markings/sec, 580 secs
lola: 33239137 markings, 388832641 edges, 52295 markings/sec, 585 secs
lola: 33472078 markings, 391798256 edges, 46588 markings/sec, 590 secs
lola: 33732254 markings, 394891615 edges, 52035 markings/sec, 595 secs
lola: 33966665 markings, 397921318 edges, 46882 markings/sec, 600 secs
lola: 34199215 markings, 400958931 edges, 46510 markings/sec, 605 secs
lola: 34438594 markings, 403956077 edges, 47876 markings/sec, 610 secs
lola: 34676196 markings, 406760771 edges, 47520 markings/sec, 615 secs
lola: 34907366 markings, 409554969 edges, 46234 markings/sec, 620 secs
lola: 35122582 markings, 412351833 edges, 43043 markings/sec, 625 secs
lola: 35372003 markings, 415327081 edges, 49884 markings/sec, 630 secs
lola: 35629902 markings, 418402808 edges, 51580 markings/sec, 635 secs
lola: 35902950 markings, 421433858 edges, 54610 markings/sec, 640 secs
lola: 36147802 markings, 424342940 edges, 48970 markings/sec, 645 secs
lola: 36383564 markings, 427234037 edges, 47152 markings/sec, 650 secs
lola: 36612001 markings, 430182547 edges, 45687 markings/sec, 655 secs
lola: 36944608 markings, 433652919 edges, 66521 markings/sec, 660 secs
lola: 37224948 markings, 437084654 edges, 56068 markings/sec, 665 secs
lola: 37558972 markings, 440404345 edges, 66805 markings/sec, 670 secs
lola: 37822874 markings, 443754198 edges, 52780 markings/sec, 675 secs
lola: 38159757 markings, 447053184 edges, 67377 markings/sec, 680 secs
lola: 38424188 markings, 450400402 edges, 52886 markings/sec, 685 secs
lola: 38738694 markings, 453725681 edges, 62901 markings/sec, 690 secs
lola: 39036171 markings, 457080910 edges, 59495 markings/sec, 695 secs
lola: 39339275 markings, 460428523 edges, 60621 markings/sec, 700 secs
lola: 39636527 markings, 463757534 edges, 59450 markings/sec, 705 secs
lola: 39919400 markings, 466987766 edges, 56575 markings/sec, 710 secs
lola: 40215133 markings, 470257909 edges, 59147 markings/sec, 715 secs
lola: 40490903 markings, 473356651 edges, 55154 markings/sec, 720 secs
lola: 40794895 markings, 476535968 edges, 60798 markings/sec, 725 secs
lola: 41029605 markings, 479115372 edges, 46942 markings/sec, 730 secs
lola: 41370153 markings, 482426430 edges, 68110 markings/sec, 735 secs
lola: 41676448 markings, 485743431 edges, 61259 markings/sec, 740 secs
lola: 41962940 markings, 488915399 edges, 57298 markings/sec, 745 secs
lola: 42248029 markings, 492126581 edges, 57018 markings/sec, 750 secs
lola: 42505717 markings, 495146721 edges, 51538 markings/sec, 755 secs
lola: 42751849 markings, 498158905 edges, 49226 markings/sec, 760 secs
lola: 43030100 markings, 501305661 edges, 55650 markings/sec, 765 secs
lola: 43313056 markings, 504377064 edges, 56591 markings/sec, 770 secs
lola: 43585101 markings, 507460065 edges, 54409 markings/sec, 775 secs
lola: 43861683 markings, 510463892 edges, 55316 markings/sec, 780 secs
lola: 44130933 markings, 513465647 edges, 53850 markings/sec, 785 secs
lola: 44379961 markings, 516408000 edges, 49806 markings/sec, 790 secs
lola: 44643907 markings, 519323032 edges, 52789 markings/sec, 795 secs
lola: 44911607 markings, 522185480 edges, 53540 markings/sec, 800 secs
lola: 45154145 markings, 525034946 edges, 48508 markings/sec, 805 secs
lola: 45409840 markings, 527911255 edges, 51139 markings/sec, 810 secs
lola: 45678037 markings, 530683032 edges, 53639 markings/sec, 815 secs
lola: 46192249 markings, 533775523 edges, 102842 markings/sec, 820 secs
lola: 46731952 markings, 537285958 edges, 107941 markings/sec, 825 secs
lola: 47029747 markings, 540630681 edges, 59559 markings/sec, 830 secs
lola: 47394633 markings, 544072250 edges, 72977 markings/sec, 835 secs
lola: 47703261 markings, 547548877 edges, 61726 markings/sec, 840 secs
lola: 47992846 markings, 550960600 edges, 57917 markings/sec, 845 secs
lola: 48257723 markings, 554315195 edges, 52975 markings/sec, 850 secs
lola: 48514694 markings, 557587426 edges, 51394 markings/sec, 855 secs
lola: 49286190 markings, 561247593 edges, 154299 markings/sec, 860 secs
lola: 50028695 markings, 564888611 edges, 148501 markings/sec, 865 secs
lola: 50718109 markings, 568441362 edges, 137883 markings/sec, 870 secs
lola: 51435084 markings, 571964498 edges, 143395 markings/sec, 875 secs
lola: 52208581 markings, 575608847 edges, 154699 markings/sec, 880 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no yes yes unknown no unknown yes no yes unknown unknown yes no no yes
lola: memory consumption: 4030080 KB
lola: time consumption: 906 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 887 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((FIREABLE(t34) AND FIREABLE(t56)))) OR E (F ((FIREABLE(t91) AND FIREABLE(t21)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 887 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t91) AND FIREABLE(t21))))
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(t91) AND FIREABLE(t21))))
lola: processed formula length: 41
lola: 55 rewrites
lola: closed formula file DES-PT-10a-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(t91) AND FIREABLE(t21))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-10a-CTLFireability-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-10a-CTLFireability-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-10a-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (F (FIREABLE(t88))) OR ((FIREABLE(t106) AND NOT FIREABLE(t65)) OR (((FIREABLE(t88) OR FIREABLE(t34) OR NOT FIREABLE(t31)) AND FIREABLE(t16)) OR FIREABLE(t105)))) AND ((E (G (NOT FIREABLE(t1))) AND (NOT FIREABLE(t81) AND NOT FIREABLE(t50) AND (NOT FIREABLE(t13) OR NOT FIREABLE(t32)))) OR (((NOT FIREABLE(t11) AND NOT FIREABLE(t1)) OR (NOT FIREABLE(t91) AND NOT FIREABLE(t45))) AND (FIREABLE(t... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t81) AND NOT FIREABLE(t50) AND (NOT FIREABLE(t13) OR NOT FIREABLE(t32)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t81) AND NOT FIREABLE(t50) AND (NOT FIREABLE(t13) OR NOT FIREABLE(t32)))
lola: processed formula length: 87
lola: 54 rewrites
lola: closed formula file DES-PT-10a-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 2662 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((NOT FIREABLE(t11) AND NOT FIREABLE(t1)) OR (NOT FIREABLE(t91) AND NOT FIREABLE(t45))) AND (FIREABLE(t68) OR FIREABLE(t84)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((NOT FIREABLE(t11) AND NOT FIREABLE(t1)) OR (NOT FIREABLE(t91) AND NOT FIREABLE(t45))) AND (FIREABLE(t68) OR FIREABLE(t84)))
lola: processed formula length: 128
lola: 54 rewrites
lola: closed formula file DES-PT-10a-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: ((FIREABLE(t106) AND NOT FIREABLE(t65)) OR (((FIREABLE(t88) OR FIREABLE(t34) OR NOT FIREABLE(t31)) AND FIREABLE(t16)) OR FIREABLE(t105)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:704
lola: rewrite Frontend/Parser/formula_rewrite.k:704
lola: rewrite Frontend/Parser/formula_rewrite.k:705
lola: processed formula: ((FIREABLE(t106) AND NOT FIREABLE(t65)) OR ((FIREABLE(t88) OR FIREABLE(t34) OR NOT FIREABLE(t31)) AND FIREABLE(t16)) OR FIREABLE(t105))
lola: processed formula length: 137
lola: 57 rewrites
lola: closed formula file DES-PT-10a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t88)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t88)
lola: processed formula length: 17
lola: 56 rewrites
lola: closed formula file DES-PT-10a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 26 markings, 25 edges
lola: lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
========================================lola: ========================================
FORMULA DES-PT-10a-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2662 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((FIREABLE(t15) AND ((FIREABLE(t13) AND FIREABLE(t88)) OR NOT FIREABLE(t100))))) OR E (F (((NOT FIREABLE(t77) OR NOT FIREABLE(t101)) AND A (F (FIREABLE(t80)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2662 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t15) AND ((FIREABLE(t13) AND FIREABLE(t88)) OR NOT FIREABLE(t100)))))
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(t15) AND ((FIREABLE(t13) AND FIREABLE(t88)) OR NOT FIREABLE(t100)))))
lola: processed formula length: 86
lola: 55 rewrites
lola: closed formula file DES-PT-10a-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(t15) AND ((FIREABLE(t13) AND FIREABLE(t88)) OR NOT FIREABLE(t100)))
lola: state equation: Generated DNF with 16 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-10a-CTLFireability-15-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 303 markings, 302 edges
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
FORMULA DES-PT-10a-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (((A (G (FIREABLE(t49))) OR NOT FIREABLE(t15)) U E (G ((FIREABLE(t109) OR FIREABLE(t91))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E((NOT(E(TRUE U NOT FIREABLE(t49))) OR NOT FIREABLE(t15)) U NOT(A(TRUE U (NOT FIREABLE(t109) AND NOT FIREABLE(t91)))))
lola: processed formula length: 118
lola: 59 rewrites
lola: closed formula file DES-PT-10a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 395893 markings, 4014164 edges, 79179 markings/sec, 0 secs
lola: 787262 markings, 7942095 edges, 78274 markings/sec, 5 secs
lola: 1084166 markings, 11853667 edges, 59381 markings/sec, 10 secs
lola: 1356849 markings, 15788865 edges, 54537 markings/sec, 15 secs
lola: 1716026 markings, 19665397 edges, 71835 markings/sec, 20 secs
lola: 2166419 markings, 23474258 edges, 90079 markings/sec, 25 secs
lola: 2553372 markings, 27131397 edges, 77391 markings/sec, 30 secs
lola: 2923036 markings, 30724190 edges, 73933 markings/sec, 35 secs
lola: 3300493 markings, 34309641 edges, 75491 markings/sec, 40 secs
lola: 3677103 markings, 37892179 edges, 75322 markings/sec, 45 secs
lola: 4046607 markings, 41403483 edges, 73901 markings/sec, 50 secs
lola: 4384249 markings, 44650346 edges, 67528 markings/sec, 55 secs
lola: 4750072 markings, 47930550 edges, 73165 markings/sec, 60 secs
lola: 5152020 markings, 51411338 edges, 80390 markings/sec, 65 secs
lola: 5522455 markings, 54843683 edges, 74087 markings/sec, 70 secs
lola: 5838720 markings, 58006916 edges, 63253 markings/sec, 75 secs
lola: 6193818 markings, 61312996 edges, 71020 markings/sec, 80 secs
lola: 6545671 markings, 64596540 edges, 70371 markings/sec, 85 secs
lola: 6899696 markings, 67801243 edges, 70805 markings/sec, 90 secs
lola: 7236804 markings, 70925944 edges, 67422 markings/sec, 95 secs
lola: 7559935 markings, 74001352 edges, 64626 markings/sec, 100 secs
lola: 7892987 markings, 77068884 edges, 66610 markings/sec, 105 secs
lola: 8236077 markings, 80338470 edges, 68618 markings/sec, 110 secs
lola: 8563112 markings, 83883897 edges, 65407 markings/sec, 115 secs
lola: 8906606 markings, 87501552 edges, 68699 markings/sec, 120 secs
lola: 9192105 markings, 91105330 edges, 57100 markings/sec, 125 secs
lola: 9466103 markings, 94611547 edges, 54800 markings/sec, 130 secs
lola: 9779711 markings, 98056280 edges, 62722 markings/sec, 135 secs
lola: 10082541 markings, 101568499 edges, 60566 markings/sec, 140 secs
lola: 10373734 markings, 105080326 edges, 58239 markings/sec, 145 secs
lola: 10602175 markings, 108590910 edges, 45688 markings/sec, 150 secs
lola: 10850648 markings, 112057179 edges, 49695 markings/sec, 155 secs
lola: 11129334 markings, 115445070 edges, 55737 markings/sec, 160 secs
lola: 11440878 markings, 118816169 edges, 62309 markings/sec, 165 secs
lola: 11703393 markings, 122264863 edges, 52503 markings/sec, 170 secs
lola: 12014297 markings, 125754528 edges, 62181 markings/sec, 175 secs
lola: 12288300 markings, 129223318 edges, 54801 markings/sec, 180 secs
lola: 12527187 markings, 132701205 edges, 47777 markings/sec, 185 secs
lola: 12776940 markings, 136200178 edges, 49951 markings/sec, 190 secs
lola: 13031185 markings, 139550178 edges, 50849 markings/sec, 195 secs
lola: 13338968 markings, 142944895 edges, 61557 markings/sec, 200 secs
lola: 13601330 markings, 146317911 edges, 52472 markings/sec, 205 secs
lola: 13915816 markings, 149795665 edges, 62897 markings/sec, 210 secs
lola: 14196638 markings, 153262694 edges, 56164 markings/sec, 215 secs
lola: 14432482 markings, 156595469 edges, 47169 markings/sec, 220 secs
lola: 14676336 markings, 160076617 edges, 48771 markings/sec, 225 secs
lola: 14936396 markings, 163520951 edges, 52012 markings/sec, 230 secs
lola: 15239139 markings, 166918589 edges, 60549 markings/sec, 235 secs
lola: 15510970 markings, 170292059 edges, 54366 markings/sec, 240 secs
lola: 15783632 markings, 173730537 edges, 54532 markings/sec, 245 secs
lola: 16090003 markings, 177203287 edges, 61274 markings/sec, 250 secs
lola: 16359616 markings, 180656680 edges, 53923 markings/sec, 255 secs
lola: 16625549 markings, 184143180 edges, 53187 markings/sec, 260 secs
lola: 16845605 markings, 187621324 edges, 44011 markings/sec, 265 secs
lola: 17104187 markings, 190850161 edges, 51716 markings/sec, 270 secs
lola: 17414950 markings, 194254889 edges, 62153 markings/sec, 275 secs
lola: 17668637 markings, 197516691 edges, 50737 markings/sec, 280 secs
lola: 17971144 markings, 200942374 edges, 60501 markings/sec, 285 secs
lola: 18217803 markings, 204343822 edges, 49332 markings/sec, 290 secs
lola: 18461571 markings, 207733507 edges, 48754 markings/sec, 295 secs
lola: 18679049 markings, 210930330 edges, 43496 markings/sec, 300 secs
lola: 18927301 markings, 214295313 edges, 49650 markings/sec, 305 secs
lola: 19187905 markings, 217615170 edges, 52121 markings/sec, 310 secs
lola: 19484966 markings, 220920920 edges, 59412 markings/sec, 315 secs
lola: 19731465 markings, 224243147 edges, 49300 markings/sec, 320 secs
lola: 20022976 markings, 227549854 edges, 58302 markings/sec, 325 secs
lola: 20272232 markings, 230742196 edges, 49851 markings/sec, 330 secs
lola: 20512741 markings, 233938892 edges, 48102 markings/sec, 335 secs
lola: 20727005 markings, 237166262 edges, 42853 markings/sec, 340 secs
lola: 21000142 markings, 240391012 edges, 54627 markings/sec, 345 secs
lola: 21282308 markings, 243566424 edges, 56433 markings/sec, 350 secs
lola: 21508911 markings, 246651409 edges, 45321 markings/sec, 355 secs
lola: 21791338 markings, 249687690 edges, 56485 markings/sec, 360 secs
lola: 22023603 markings, 252604374 edges, 46453 markings/sec, 365 secs
lola: 22306674 markings, 255678014 edges, 56614 markings/sec, 370 secs
lola: 22589869 markings, 258894506 edges, 56639 markings/sec, 375 secs
lola: 22892807 markings, 262146997 edges, 60588 markings/sec, 380 secs
lola: 23152350 markings, 265344903 edges, 51909 markings/sec, 385 secs
lola: 23431855 markings, 268636050 edges, 55901 markings/sec, 390 secs
lola: 23711637 markings, 271806981 edges, 55956 markings/sec, 395 secs
lola: 23971073 markings, 274995797 edges, 51887 markings/sec, 400 secs
lola: 24226580 markings, 278256020 edges, 51101 markings/sec, 405 secs
lola: 24495686 markings, 281489815 edges, 53821 markings/sec, 410 secs
lola: 24770686 markings, 284773340 edges, 55000 markings/sec, 415 secs
lola: 25062129 markings, 288124279 edges, 58289 markings/sec, 420 secs
lola: 25326964 markings, 291441126 edges, 52967 markings/sec, 425 secs
lola: 25580692 markings, 294696434 edges, 50746 markings/sec, 430 secs
lola: 25801318 markings, 297760833 edges, 44125 markings/sec, 435 secs
lola: 26043011 markings, 300702039 edges, 48339 markings/sec, 440 secs
lola: 26252571 markings, 303709408 edges, 41912 markings/sec, 445 secs
lola: 26515462 markings, 306872788 edges, 52578 markings/sec, 450 secs
lola: 26772883 markings, 309695861 edges, 51484 markings/sec, 455 secs
lola: 27015310 markings, 312814308 edges, 48485 markings/sec, 460 secs
lola: 27260858 markings, 315889516 edges, 49110 markings/sec, 465 secs
lola: 27503806 markings, 318903538 edges, 48590 markings/sec, 470 secs
lola: 27740377 markings, 321915594 edges, 47314 markings/sec, 475 secs
lola: 27983511 markings, 324697326 edges, 48627 markings/sec, 480 secs
lola: 28219940 markings, 327495811 edges, 47286 markings/sec, 485 secs
lola: 28457278 markings, 330406351 edges, 47468 markings/sec, 490 secs
lola: 28695484 markings, 333489458 edges, 47641 markings/sec, 495 secs
lola: 28928158 markings, 336459220 edges, 46535 markings/sec, 500 secs
lola: 29181872 markings, 339361788 edges, 50743 markings/sec, 505 secs
lola: 29404596 markings, 342318491 edges, 44545 markings/sec, 510 secs
lola: 29660281 markings, 345342054 edges, 51137 markings/sec, 515 secs
lola: 29931079 markings, 348338634 edges, 54160 markings/sec, 520 secs
lola: 30163363 markings, 351331281 edges, 46457 markings/sec, 525 secs
lola: 30406703 markings, 354274995 edges, 48668 markings/sec, 530 secs
lola: 30632265 markings, 357141145 edges, 45112 markings/sec, 535 secs
lola: 30852005 markings, 359986888 edges, 43948 markings/sec, 540 secs
lola: 31096284 markings, 362877639 edges, 48856 markings/sec, 545 secs
lola: 31341339 markings, 365800959 edges, 49011 markings/sec, 550 secs
lola: 31590349 markings, 368725890 edges, 49802 markings/sec, 555 secs
lola: 31821278 markings, 371655122 edges, 46186 markings/sec, 560 secs
lola: 32052444 markings, 374592228 edges, 46233 markings/sec, 565 secs
lola: 32296962 markings, 377495051 edges, 48904 markings/sec, 570 secs
lola: 32522416 markings, 380425235 edges, 45091 markings/sec, 575 secs
lola: 32768597 markings, 383138312 edges, 49236 markings/sec, 580 secs
lola: 33018368 markings, 386139864 edges, 49954 markings/sec, 585 secs
lola: 33266824 markings, 389143526 edges, 49691 markings/sec, 590 secs
lola: 33495881 markings, 392123463 edges, 45811 markings/sec, 595 secs
lola: 33738788 markings, 394924806 edges, 48581 markings/sec, 600 secs
lola: 33956026 markings, 397788429 edges, 43448 markings/sec, 605 secs
lola: 34187944 markings, 400815648 edges, 46384 markings/sec, 610 secs
lola: 34432655 markings, 403828053 edges, 48942 markings/sec, 615 secs
lola: 34642399 markings, 406273754 edges, 41949 markings/sec, 620 secs
lola: 34855271 markings, 408888872 edges, 42574 markings/sec, 625 secs
lola: 35040575 markings, 411289442 edges, 37061 markings/sec, 630 secs
lola: 35274890 markings, 414136583 edges, 46863 markings/sec, 635 secs
lola: 35515349 markings, 417187789 edges, 48092 markings/sec, 640 secs
lola: 35796837 markings, 420294002 edges, 56298 markings/sec, 645 secs
lola: 36037764 markings, 423196732 edges, 48185 markings/sec, 650 secs
lola: 36292748 markings, 426088620 edges, 50997 markings/sec, 655 secs
lola: 36526218 markings, 428964930 edges, 46694 markings/sec, 660 secs
lola: 36807833 markings, 432300432 edges, 56323 markings/sec, 665 secs
lola: 37116893 markings, 435695487 edges, 61812 markings/sec, 670 secs
lola: 37437129 markings, 439071933 edges, 64047 markings/sec, 675 secs
lola: 37712090 markings, 442379184 edges, 54992 markings/sec, 680 secs
lola: 38031247 markings, 445667955 edges, 63831 markings/sec, 685 secs
lola: 38303315 markings, 449004831 edges, 54414 markings/sec, 690 secs
lola: 38625757 markings, 452289426 edges, 64488 markings/sec, 695 secs
lola: 38899304 markings, 455646094 edges, 54709 markings/sec, 700 secs
lola: 39221178 markings, 458940664 edges, 64375 markings/sec, 705 secs
lola: 39497923 markings, 462308744 edges, 55349 markings/sec, 710 secs
lola: 39823119 markings, 465558015 edges, 65039 markings/sec, 715 secs
lola: 40072843 markings, 468820536 edges, 49945 markings/sec, 720 secs
lola: 40379787 markings, 471993241 edges, 61389 markings/sec, 725 secs
lola: 40644239 markings, 475143753 edges, 52890 markings/sec, 730 secs
lola: 40946421 markings, 478173312 edges, 60436 markings/sec, 735 secs
lola: 41258377 markings, 481370152 edges, 62391 markings/sec, 740 secs
lola: 41578417 markings, 484718381 edges, 64008 markings/sec, 745 secs
lola: 41870449 markings, 487899883 edges, 58406 markings/sec, 750 secs
lola: 42159116 markings, 491069216 edges, 57733 markings/sec, 755 secs
lola: 42419932 markings, 494177072 edges, 52163 markings/sec, 760 secs
lola: 42674814 markings, 497150379 edges, 50976 markings/sec, 765 secs
lola: 42946404 markings, 500261679 edges, 54318 markings/sec, 770 secs
lola: 43217830 markings, 503349347 edges, 54285 markings/sec, 775 secs
lola: 43503680 markings, 506417218 edges, 57170 markings/sec, 780 secs
lola: 43761790 markings, 509454611 edges, 51622 markings/sec, 785 secs
lola: 44032332 markings, 512452476 edges, 54108 markings/sec, 790 secs
lola: 44305875 markings, 515398823 edges, 54709 markings/sec, 795 secs
lola: 44556962 markings, 518296955 edges, 50217 markings/sec, 800 secs
lola: 44816199 markings, 521202011 edges, 51847 markings/sec, 805 secs
lola: 45085117 markings, 524014995 edges, 53784 markings/sec, 810 secs
lola: 45328496 markings, 526891000 edges, 48676 markings/sec, 815 secs
lola: 45570714 markings, 529701170 edges, 48444 markings/sec, 820 secs
lola: 45826232 markings, 532508098 edges, 51104 markings/sec, 825 secs
lola: 46612820 markings, 535954502 edges, 157318 markings/sec, 830 secs
lola: 46942594 markings, 539604486 edges, 65955 markings/sec, 835 secs
lola: 47211448 markings, 543130221 edges, 53771 markings/sec, 840 secs
lola: 47674127 markings, 546606421 edges, 92536 markings/sec, 845 secs
lola: 47962181 markings, 549852545 edges, 57611 markings/sec, 850 secs
lola: 48208161 markings, 553256834 edges, 49196 markings/sec, 855 secs
lola: 48441467 markings, 556721457 edges, 46661 markings/sec, 860 secs
lola: 49090057 markings, 560327281 edges, 129718 markings/sec, 865 secs
lola: 49842185 markings, 563978263 edges, 150426 markings/sec, 870 secs
lola: 50462208 markings, 567243846 edges, 124005 markings/sec, 875 secs
lola: 51176851 markings, 570755574 edges, 142929 markings/sec, 880 secs
lola: 51955458 markings, 574393088 edges, 155721 markings/sec, 885 secs
lola: 52657605 markings, 577960588 edges, 140429 markings/sec, 890 secs
lola: 53365206 markings, 581561663 edges, 141520 markings/sec, 895 secs
lola: 54010238 markings, 585075607 edges, 129006 markings/sec, 900 secs
lola: 54683526 markings, 588564719 edges, 134658 markings/sec, 905 secs
lola: 55305322 markings, 591990835 edges, 124359 markings/sec, 910 secs
lola: 55629907 markings, 595221632 edges, 64917 markings/sec, 915 secs
lola: 56217416 markings, 598602393 edges, 117502 markings/sec, 920 secs
lola: 56932673 markings, 602084432 edges, 143051 markings/sec, 925 secs
lola: 57574683 markings, 605498575 edges, 128402 markings/sec, 930 secs
lola: 58197701 markings, 608814802 edges, 124604 markings/sec, 935 secs
lola: 58679481 markings, 612127245 edges, 96356 markings/sec, 940 secs
lola: 58908408 markings, 615517840 edges, 45785 markings/sec, 945 secs
lola: 59180749 markings, 618909510 edges, 54468 markings/sec, 950 secs
lola: 59404666 markings, 622331250 edges, 44783 markings/sec, 955 secs
lola: 59646275 markings, 625703231 edges, 48322 markings/sec, 960 secs
lola: 60412515 markings, 629072939 edges, 153248 markings/sec, 965 secs
lola: 60679997 markings, 632561338 edges, 53496 markings/sec, 970 secs
lola: 60960893 markings, 635937055 edges, 56179 markings/sec, 975 secs
lola: 61393383 markings, 639357023 edges, 86498 markings/sec, 980 secs
lola: 61866526 markings, 642583142 edges, 94629 markings/sec, 985 secs
lola: 62070469 markings, 645820880 edges, 40789 markings/sec, 990 secs
lola: 62557493 markings, 649086590 edges, 97405 markings/sec, 995 secs
lola: 62824794 markings, 652343242 edges, 53460 markings/sec, 1000 secs
lola: 63048904 markings, 655212270 edges, 44822 markings/sec, 1005 secs
lola: 63302044 markings, 658370195 edges, 50628 markings/sec, 1010 secs
lola: 63559927 markings, 661621794 edges, 51577 markings/sec, 1015 secs
lola: 63859438 markings, 664810500 edges, 59902 markings/sec, 1020 secs
lola: 64050245 markings, 668008851 edges, 38161 markings/sec, 1025 secs
lola: 64280968 markings, 671226975 edges, 46145 markings/sec, 1030 secs
lola: 64520468 markings, 674529951 edges, 47900 markings/sec, 1035 secs
lola: 64896295 markings, 677751474 edges, 75165 markings/sec, 1040 secs
lola: 65639741 markings, 681206286 edges, 148689 markings/sec, 1045 secs
lola: 66337972 markings, 684637079 edges, 139646 markings/sec, 1050 secs
lola: 66987919 markings, 687956928 edges, 129989 markings/sec, 1055 secs
lola: 67673003 markings, 691297914 edges, 137017 markings/sec, 1060 secs
lola: 68400199 markings, 694752737 edges, 145439 markings/sec, 1065 secs
lola: 69061671 markings, 698138485 edges, 132294 markings/sec, 1070 secs
lola: 69715170 markings, 701535639 edges, 130700 markings/sec, 1075 secs
lola: 70298276 markings, 704834660 edges, 116621 markings/sec, 1080 secs
lola: 70961890 markings, 708169506 edges, 132723 markings/sec, 1085 secs
lola: 71511089 markings, 711406399 edges, 109840 markings/sec, 1090 secs
lola: 71806257 markings, 714419196 edges, 59034 markings/sec, 1095 secs
lola: 72382291 markings, 717631617 edges, 115207 markings/sec, 1100 secs
lola: 73062581 markings, 720920854 edges, 136058 markings/sec, 1105 secs
lola: 73672558 markings, 724148828 edges, 121995 markings/sec, 1110 secs
lola: 74251068 markings, 727285614 edges, 115702 markings/sec, 1115 secs
lola: 74770645 markings, 730463873 edges, 103915 markings/sec, 1120 secs
lola: 75474008 markings, 734000556 edges, 140673 markings/sec, 1125 secs
lola: 76123865 markings, 737501921 edges, 129971 markings/sec, 1130 secs
lola: 76720101 markings, 740927317 edges, 119247 markings/sec, 1135 secs
lola: 77348522 markings, 744315610 edges, 125684 markings/sec, 1140 secs
lola: 78017625 markings, 747800894 edges, 133821 markings/sec, 1145 secs
lola: 78667102 markings, 751270489 edges, 129895 markings/sec, 1150 secs
lola: 79280550 markings, 754716313 edges, 122690 markings/sec, 1155 secs
lola: 79876179 markings, 758147058 edges, 119126 markings/sec, 1160 secs
lola: 80429150 markings, 761504634 edges, 110594 markings/sec, 1165 secs
lola: 80998949 markings, 764672304 edges, 113960 markings/sec, 1170 secs
lola: 81537161 markings, 767934958 edges, 107642 markings/sec, 1175 secs
lola: 81802748 markings, 770843618 edges, 53117 markings/sec, 1180 secs
lola: 82227804 markings, 773984043 edges, 85011 markings/sec, 1185 secs
lola: 82845928 markings, 777312707 edges, 123625 markings/sec, 1190 secs
lola: 83433646 markings, 780671125 edges, 117544 markings/sec, 1195 secs
lola: 83983945 markings, 783887471 edges, 110060 markings/sec, 1200 secs
lola: 84531030 markings, 787072496 edges, 109417 markings/sec, 1205 secs
lola: 84890951 markings, 790212924 edges, 71984 markings/sec, 1210 secs
lola: 85224017 markings, 793336971 edges, 66613 markings/sec, 1215 secs
lola: 85293911 markings, 796683021 edges, 13979 markings/sec, 1220 secs
lola: 85673120 markings, 799939640 edges, 75842 markings/sec, 1225 secs
lola: 85787388 markings, 803221157 edges, 22854 markings/sec, 1230 secs
lola: 86053243 markings, 806408480 edges, 53171 markings/sec, 1235 secs
lola: 86177648 markings, 809341229 edges, 24881 markings/sec, 1240 secs
lola: 86455747 markings, 812616565 edges, 55620 markings/sec, 1245 secs
lola: 87169682 markings, 815881007 edges, 142787 markings/sec, 1250 secs
lola: 87480307 markings, 819251631 edges, 62125 markings/sec, 1255 secs
lola: 87754088 markings, 822705653 edges, 54756 markings/sec, 1260 secs
lola: 88071151 markings, 826101054 edges, 63413 markings/sec, 1265 secs
lola: 88596712 markings, 829301399 edges, 105112 markings/sec, 1270 secs
lola: 88889559 markings, 832541398 edges, 58569 markings/sec, 1275 secs
lola: 89334344 markings, 835695707 edges, 88957 markings/sec, 1280 secs
lola: 89635026 markings, 838834732 edges, 60136 markings/sec, 1285 secs
lola: 89876128 markings, 841980063 edges, 48220 markings/sec, 1290 secs
lola: 90152640 markings, 845093217 edges, 55302 markings/sec, 1295 secs
lola: 90412776 markings, 848257219 edges, 52027 markings/sec, 1300 secs
lola: 90703542 markings, 851001360 edges, 58153 markings/sec, 1305 secs
lola: 90843259 markings, 854174378 edges, 27943 markings/sec, 1310 secs
lola: 91052920 markings, 857325995 edges, 41932 markings/sec, 1315 secs
lola: 91276747 markings, 860500341 edges, 44765 markings/sec, 1320 secs
lola: 91503162 markings, 863591332 edges, 45283 markings/sec, 1325 secs
lola: 92092342 markings, 866581364 edges, 117836 markings/sec, 1330 secs
lola: 92766086 markings, 869818422 edges, 134749 markings/sec, 1335 secs
lola: 93417164 markings, 873170486 edges, 130216 markings/sec, 1340 secs
lola: 94077872 markings, 876459729 edges, 132142 markings/sec, 1345 secs
lola: 94787149 markings, 879847326 edges, 141855 markings/sec, 1350 secs
lola: 95488441 markings, 883249248 edges, 140258 markings/sec, 1355 secs
lola: 96144975 markings, 886627781 edges, 131307 markings/sec, 1360 secs
lola: 96776950 markings, 889976163 edges, 126395 markings/sec, 1365 secs
lola: 97386685 markings, 893270810 edges, 121947 markings/sec, 1370 secs
lola: 98017754 markings, 896557746 edges, 126214 markings/sec, 1375 secs
lola: 98468992 markings, 899704450 edges, 90248 markings/sec, 1380 secs
lola: 98786821 markings, 902714846 edges, 63566 markings/sec, 1385 secs
lola: 99438562 markings, 905943485 edges, 130348 markings/sec, 1390 secs
lola: 100112149 markings, 909244557 edges, 134717 markings/sec, 1395 secs
lola: 100648588 markings, 912155232 edges, 107288 markings/sec, 1400 secs
lola: 101227312 markings, 915223864 edges, 115745 markings/sec, 1405 secs
lola: 101689995 markings, 918190324 edges, 92537 markings/sec, 1410 secs
lola: 102328190 markings, 921318941 edges, 127639 markings/sec, 1415 secs
lola: 102914253 markings, 924482203 edges, 117213 markings/sec, 1420 secs
lola: 103494414 markings, 927761309 edges, 116032 markings/sec, 1425 secs
lola: 104091672 markings, 931001959 edges, 119452 markings/sec, 1430 secs
lola: 104719047 markings, 934306670 edges, 125475 markings/sec, 1435 secs
lola: 105327106 markings, 937516156 edges, 121612 markings/sec, 1440 secs
lola: 105910883 markings, 940808345 edges, 116755 markings/sec, 1445 secs
lola: 106498966 markings, 944120344 edges, 117617 markings/sec, 1450 secs
lola: 107044238 markings, 947366326 edges, 109054 markings/sec, 1455 secs
lola: 107604612 markings, 950600325 edges, 112075 markings/sec, 1460 secs
lola: 108164504 markings, 953797707 edges, 111978 markings/sec, 1465 secs
lola: 108535320 markings, 956810155 edges, 74163 markings/sec, 1470 secs
lola: 108779685 markings, 959653716 edges, 48873 markings/sec, 1475 secs
lola: 109353551 markings, 962818386 edges, 114773 markings/sec, 1480 secs
lola: 109947253 markings, 966004384 edges, 118740 markings/sec, 1485 secs
lola: 110488867 markings, 969159604 edges, 108323 markings/sec, 1490 secs
lola: 110995796 markings, 972161334 edges, 101386 markings/sec, 1495 secs
lola: 111507768 markings, 975217657 edges, 102394 markings/sec, 1500 secs
lola: 111825711 markings, 978251317 edges, 63589 markings/sec, 1505 secs
lola: 112123627 markings, 981293140 edges, 59583 markings/sec, 1510 secs
lola: 112206294 markings, 984598271 edges, 16533 markings/sec, 1515 secs
lola: 112530286 markings, 987796792 edges, 64798 markings/sec, 1520 secs
lola: 112733822 markings, 991032959 edges, 40707 markings/sec, 1525 secs
lola: 112897872 markings, 994254261 edges, 32810 markings/sec, 1530 secs
lola: 113125088 markings, 997538073 edges, 45443 markings/sec, 1535 secs
lola: 113545601 markings, 1000825335 edges, 84103 markings/sec, 1540 secs
lola: 114125594 markings, 1004103686 edges, 115999 markings/sec, 1545 secs
lola: 114425525 markings, 1007501176 edges, 59986 markings/sec, 1550 secs
lola: 114696752 markings, 1010943522 edges, 54245 markings/sec, 1555 secs
lola: 115192980 markings, 1014250038 edges, 99246 markings/sec, 1560 secs
lola: 115582729 markings, 1017465818 edges, 77950 markings/sec, 1565 secs
lola: 115853270 markings, 1020700361 edges, 54108 markings/sec, 1570 secs
lola: 116273197 markings, 1023778297 edges, 83985 markings/sec, 1575 secs
lola: 116547875 markings, 1026943654 edges, 54936 markings/sec, 1580 secs
lola: 116792076 markings, 1030025848 edges, 48840 markings/sec, 1585 secs
lola: 117026354 markings, 1033097213 edges, 46856 markings/sec, 1590 secs
lola: 117277855 markings, 1036296965 edges, 50300 markings/sec, 1595 secs
lola: 117547845 markings, 1039405716 edges, 53998 markings/sec, 1600 secs
lola: 117753960 markings, 1042563149 edges, 41223 markings/sec, 1605 secs
lola: 117983017 markings, 1045648150 edges, 45811 markings/sec, 1610 secs
lola: 118197791 markings, 1048773504 edges, 42955 markings/sec, 1615 secs
lola: 118531957 markings, 1051821501 edges, 66833 markings/sec, 1620 secs
lola: 119280738 markings, 1055234886 edges, 149756 markings/sec, 1625 secs
lola: 119961959 markings, 1058600316 edges, 136244 markings/sec, 1630 secs
lola: 120597444 markings, 1061862968 edges, 127097 markings/sec, 1635 secs
lola: 121197939 markings, 1064866372 edges, 120099 markings/sec, 1640 secs
lola: 121901619 markings, 1068130405 edges, 140736 markings/sec, 1645 secs
lola: 122490093 markings, 1071147856 edges, 117695 markings/sec, 1650 secs
lola: 123153915 markings, 1074510912 edges, 132764 markings/sec, 1655 secs
lola: 123765341 markings, 1077806172 edges, 122285 markings/sec, 1660 secs
lola: 124379817 markings, 1081073583 edges, 122895 markings/sec, 1665 secs
lola: 124995577 markings, 1084317808 edges, 123152 markings/sec, 1670 secs
lola: 125370460 markings, 1087386000 edges, 74977 markings/sec, 1675 secs
lola: 125789680 markings, 1090425676 edges, 83844 markings/sec, 1680 secs
lola: 126432863 markings, 1093629115 edges, 128637 markings/sec, 1685 secs
lola: 127063181 markings, 1096882638 edges, 126064 markings/sec, 1690 secs
lola: 127647365 markings, 1099985344 edges, 116837 markings/sec, 1695 secs
lola: 128222758 markings, 1103071430 edges, 115079 markings/sec, 1700 secs
lola: 128751081 markings, 1106221682 edges, 105665 markings/sec, 1705 secs
lola: 129387313 markings, 1109519457 edges, 127246 markings/sec, 1710 secs
lola: 129997181 markings, 1112801790 edges, 121974 markings/sec, 1715 secs
lola: 130564116 markings, 1116003760 edges, 113387 markings/sec, 1720 secs
lola: 131101990 markings, 1118994893 edges, 107575 markings/sec, 1725 secs
lola: 131744487 markings, 1122285933 edges, 128499 markings/sec, 1730 secs
lola: 132353129 markings, 1125545779 edges, 121728 markings/sec, 1735 secs
lola: 132927690 markings, 1128776287 edges, 114912 markings/sec, 1740 secs
lola: 133487964 markings, 1131995596 edges, 112055 markings/sec, 1745 secs
lola: 133997870 markings, 1135133816 edges, 101981 markings/sec, 1750 secs
lola: 134574938 markings, 1138327306 edges, 115414 markings/sec, 1755 secs
lola: 135108158 markings, 1141436649 edges, 106644 markings/sec, 1760 secs
lola: 135418538 markings, 1144366482 edges, 62076 markings/sec, 1765 secs
lola: 135719747 markings, 1147233924 edges, 60242 markings/sec, 1770 secs
lola: 136290766 markings, 1150343554 edges, 114204 markings/sec, 1775 secs
lola: 136876251 markings, 1153498959 edges, 117097 markings/sec, 1780 secs
lola: 137400525 markings, 1156567976 edges, 104855 markings/sec, 1785 secs
lola: 137904542 markings, 1159535355 edges, 100803 markings/sec, 1790 secs
lola: 138389297 markings, 1162553327 edges, 96951 markings/sec, 1795 secs
lola: 138694676 markings, 1165555921 edges, 61076 markings/sec, 1800 secs
lola: 138966417 markings, 1168592325 edges, 54348 markings/sec, 1805 secs
lola: 139068669 markings, 1171870762 edges, 20450 markings/sec, 1810 secs
lola: 139365598 markings, 1175057403 edges, 59386 markings/sec, 1815 secs
lola: 139571341 markings, 1178257742 edges, 41149 markings/sec, 1820 secs
lola: 139740695 markings, 1181425123 edges, 33871 markings/sec, 1825 secs
lola: 139960386 markings, 1184722808 edges, 43938 markings/sec, 1830 secs
lola: 140428553 markings, 1187989746 edges, 93633 markings/sec, 1835 secs
lola: 140979268 markings, 1191257819 edges, 110143 markings/sec, 1840 secs
lola: 141260936 markings, 1194649390 edges, 56334 markings/sec, 1845 secs
lola: 141539114 markings, 1198057701 edges, 55636 markings/sec, 1850 secs
lola: 142056043 markings, 1201347264 edges, 103386 markings/sec, 1855 secs
lola: 142414943 markings, 1204289924 edges, 71780 markings/sec, 1860 secs
lola: 142608759 markings, 1207328678 edges, 38763 markings/sec, 1865 secs
lola: 143088780 markings, 1210436412 edges, 96004 markings/sec, 1870 secs
lola: 143349367 markings, 1213618318 edges, 52117 markings/sec, 1875 secs
lola: 143583100 markings, 1216584171 edges, 46747 markings/sec, 1880 secs
lola: 143825623 markings, 1219685228 edges, 48505 markings/sec, 1885 secs
lola: 144083475 markings, 1222871197 edges, 51570 markings/sec, 1890 secs
lola: 144382991 markings, 1225989632 edges, 59903 markings/sec, 1895 secs
lola: 144573720 markings, 1229144393 edges, 38146 markings/sec, 1900 secs
lola: 144802100 markings, 1232235258 edges, 45676 markings/sec, 1905 secs
lola: 145008704 markings, 1235355794 edges, 41321 markings/sec, 1910 secs
lola: 145249905 markings, 1238303895 edges, 48240 markings/sec, 1915 secs
lola: 146019810 markings, 1241733431 edges, 153981 markings/sec, 1920 secs
lola: 146703466 markings, 1245097268 edges, 136731 markings/sec, 1925 secs
lola: 147343122 markings, 1248390612 edges, 127931 markings/sec, 1930 secs
lola: 147979979 markings, 1251623190 edges, 127371 markings/sec, 1935 secs
lola: 148726217 markings, 1255051413 edges, 149248 markings/sec, 1940 secs
lola: 149361219 markings, 1258355531 edges, 127000 markings/sec, 1945 secs
lola: 150032577 markings, 1261726611 edges, 134272 markings/sec, 1950 secs
lola: 150610270 markings, 1264837631 edges, 115539 markings/sec, 1955 secs
lola: 151217649 markings, 1268062450 edges, 121476 markings/sec, 1960 secs
lola: 151825347 markings, 1271263892 edges, 121540 markings/sec, 1965 secs
lola: 152199756 markings, 1274324666 edges, 74882 markings/sec, 1970 secs
lola: 152618390 markings, 1277370642 edges, 83727 markings/sec, 1975 secs
lola: 153257821 markings, 1280559733 edges, 127886 markings/sec, 1980 secs
lola: 153844130 markings, 1283604306 edges, 117262 markings/sec, 1985 secs
lola: 154405379 markings, 1286542190 edges, 112250 markings/sec, 1990 secs
lola: 154986513 markings, 1289645927 edges, 116227 markings/sec, 1995 secs
lola: 155502513 markings, 1292792452 edges, 103200 markings/sec, 2000 secs
lola: 156154601 markings, 1296101296 edges, 130418 markings/sec, 2005 secs
lola: 156757469 markings, 1299363840 edges, 120574 markings/sec, 2010 secs
lola: 157315030 markings, 1302547243 edges, 111512 markings/sec, 2015 secs
lola: 157894235 markings, 1305709961 edges, 115841 markings/sec, 2020 secs
lola: 158526427 markings, 1308995364 edges, 126438 markings/sec, 2025 secs
lola: 159143094 markings, 1312266946 edges, 123333 markings/sec, 2030 secs
lola: 159716219 markings, 1315492777 edges, 114625 markings/sec, 2035 secs
lola: 160281194 markings, 1318720374 edges, 112995 markings/sec, 2040 secs
lola: 160797662 markings, 1321869702 edges, 103294 markings/sec, 2045 secs
lola: 161366863 markings, 1325057423 edges, 113840 markings/sec, 2050 secs
lola: 161905112 markings, 1328175598 edges, 107650 markings/sec, 2055 secs
lola: 162236855 markings, 1331116258 edges, 66349 markings/sec, 2060 secs
lola: 162501554 markings, 1333959115 edges, 52940 markings/sec, 2065 secs
lola: 163084843 markings, 1337086428 edges, 116658 markings/sec, 2070 secs
lola: 163665977 markings, 1340229351 edges, 116227 markings/sec, 2075 secs
lola: 164193955 markings, 1343311208 edges, 105596 markings/sec, 2080 secs
lola: 164690319 markings, 1346268238 edges, 99273 markings/sec, 2085 secs
lola: 165196420 markings, 1349290865 edges, 101220 markings/sec, 2090 secs
lola: 165504909 markings, 1352284476 edges, 61698 markings/sec, 2095 secs
lola: 165796313 markings, 1355308156 edges, 58281 markings/sec, 2100 secs
lola: 165881011 markings, 1358599306 edges, 16940 markings/sec, 2105 secs
lola: 166200804 markings, 1361770385 edges, 63959 markings/sec, 2110 secs
lola: 166404375 markings, 1364989815 edges, 40714 markings/sec, 2115 secs
lola: 166568312 markings, 1367968111 edges, 32787 markings/sec, 2120 secs
lola: 166794035 markings, 1371233172 edges, 45145 markings/sec, 2125 secs
lola: 167146412 markings, 1374510965 edges, 70475 markings/sec, 2130 secs
lola: 167781515 markings, 1377743799 edges, 127021 markings/sec, 2135 secs
lola: 168076100 markings, 1381107649 edges, 58917 markings/sec, 2140 secs
lola: 168329942 markings, 1384538643 edges, 50768 markings/sec, 2145 secs
lola: 168768236 markings, 1387861591 edges, 87659 markings/sec, 2150 secs
lola: 169238362 markings, 1391061049 edges, 94025 markings/sec, 2155 secs
lola: 169437891 markings, 1394295955 edges, 39906 markings/sec, 2160 secs
lola: 169921386 markings, 1397404627 edges, 96699 markings/sec, 2165 secs
lola: 170177652 markings, 1400581663 edges, 51253 markings/sec, 2170 secs
lola: 170425113 markings, 1403688594 edges, 49492 markings/sec, 2175 secs
lola: 170666420 markings, 1406777566 edges, 48261 markings/sec, 2180 secs
lola: 170918753 markings, 1409983278 edges, 50467 markings/sec, 2185 secs
lola: 171218261 markings, 1413123184 edges, 59902 markings/sec, 2190 secs
lola: 171409037 markings, 1416298196 edges, 38155 markings/sec, 2195 secs
lola: 171637748 markings, 1419411163 edges, 45742 markings/sec, 2200 secs
lola: 171846583 markings, 1422397741 edges, 41767 markings/sec, 2205 secs
lola: 172086816 markings, 1425367779 edges, 48047 markings/sec, 2210 secs
lola: 172857252 markings, 1428775799 edges, 154087 markings/sec, 2215 secs
lola: 173535093 markings, 1432110815 edges, 135568 markings/sec, 2220 secs
lola: 174164539 markings, 1435355447 edges, 125889 markings/sec, 2225 secs
lola: 174782036 markings, 1438527039 edges, 123499 markings/sec, 2230 secs
lola: 175527804 markings, 1441924008 edges, 149154 markings/sec, 2235 secs
lola: 176167451 markings, 1445196190 edges, 127929 markings/sec, 2240 secs
lola: 176825306 markings, 1448523736 edges, 131571 markings/sec, 2245 secs
lola: 177426590 markings, 1451762752 edges, 120257 markings/sec, 2250 secs
lola: 178026211 markings, 1454970160 edges, 119924 markings/sec, 2255 secs
lola: 178635745 markings, 1458157526 edges, 121907 markings/sec, 2260 secs
lola: 179019084 markings, 1461195000 edges, 76668 markings/sec, 2265 secs
lola: 179409143 markings, 1464199340 edges, 78012 markings/sec, 2270 secs
lola: 180041836 markings, 1467358138 edges, 126539 markings/sec, 2275 secs
lola: 180665238 markings, 1470571613 edges, 124680 markings/sec, 2280 secs
lola: 181258807 markings, 1473661600 edges, 118714 markings/sec, 2285 secs
lola: 181826040 markings, 1476731562 edges, 113447 markings/sec, 2290 secs
lola: 182341780 markings, 1479843627 edges, 103148 markings/sec, 2295 secs
lola: 182990368 markings, 1483136046 edges, 129718 markings/sec, 2300 secs
lola: 183589776 markings, 1486379240 edges, 119882 markings/sec, 2305 secs
lola: 184142270 markings, 1489539877 edges, 110499 markings/sec, 2310 secs
lola: 184720180 markings, 1492687319 edges, 115582 markings/sec, 2315 secs
lola: 185344286 markings, 1495945273 edges, 124821 markings/sec, 2320 secs
lola: 185905607 markings, 1498902121 edges, 112264 markings/sec, 2325 secs
lola: 186472159 markings, 1502096365 edges, 113310 markings/sec, 2330 secs
lola: 187039876 markings, 1505301718 edges, 113543 markings/sec, 2335 secs
lola: 187563565 markings, 1508436754 edges, 104738 markings/sec, 2340 secs
lola: 188108558 markings, 1511576235 edges, 108999 markings/sec, 2345 secs
lola: 188654131 markings, 1514685369 edges, 109115 markings/sec, 2350 secs
lola: 189028578 markings, 1517643374 edges, 74889 markings/sec, 2355 secs
lola: 189266912 markings, 1520446484 edges, 47667 markings/sec, 2360 secs
lola: 189801286 markings, 1523510390 edges, 106875 markings/sec, 2365 secs
lola: 190376945 markings, 1526604382 edges, 115132 markings/sec, 2370 secs
lola: 190924317 markings, 1529701651 edges, 109474 markings/sec, 2375 secs
lola: 191424395 markings, 1532652476 edges, 100016 markings/sec, 2380 secs
lola: 191929897 markings, 1535622751 edges, 101100 markings/sec, 2385 secs
lola: 192235960 markings, 1538420231 edges, 61213 markings/sec, 2390 secs
lola: 192548180 markings, 1541247722 edges, 62444 markings/sec, 2395 secs
lola: 192652091 markings, 1544460850 edges, 20782 markings/sec, 2400 secs
lola: 193022269 markings, 1547633415 edges, 74036 markings/sec, 2405 secs
lola: 193090051 markings, 1550856768 edges, 13556 markings/sec, 2410 secs
lola: 193384133 markings, 1554030301 edges, 58816 markings/sec, 2415 secs
lola: 193472058 markings, 1556951778 edges, 17585 markings/sec, 2420 secs
lola: 193732215 markings, 1560147501 edges, 52031 markings/sec, 2425 secs
lola: 194345432 markings, 1563286146 edges, 122643 markings/sec, 2430 secs
lola: 194729371 markings, 1566489705 edges, 76788 markings/sec, 2435 secs
lola: 195024862 markings, 1569783358 edges, 59098 markings/sec, 2440 secs
lola: 195225507 markings, 1572679807 edges, 40129 markings/sec, 2445 secs
lola: 195720484 markings, 1575906944 edges, 98995 markings/sec, 2450 secs
lola: 196086557 markings, 1579030067 edges, 73215 markings/sec, 2455 secs
lola: 196280280 markings, 1582159891 edges, 38745 markings/sec, 2460 secs
lola: 196742091 markings, 1585219092 edges, 92362 markings/sec, 2465 secs
lola: 196983792 markings, 1588316181 edges, 48340 markings/sec, 2470 secs
lola: 197217207 markings, 1591368941 edges, 46683 markings/sec, 2475 secs
lola: 197495346 markings, 1594422811 edges, 55628 markings/sec, 2480 secs
lola: 197753702 markings, 1597510677 edges, 51671 markings/sec, 2485 secs
lola: 198046573 markings, 1600644874 edges, 58574 markings/sec, 2490 secs
lola: 198186125 markings, 1603753710 edges, 27910 markings/sec, 2495 secs
lola: 198393710 markings, 1606875952 edges, 41517 markings/sec, 2500 secs
lola: 198580323 markings, 1609781660 edges, 37323 markings/sec, 2505 secs
lola: 198794146 markings, 1612646531 edges, 42765 markings/sec, 2510 secs
lola: 199275799 markings, 1615819035 edges, 96331 markings/sec, 2515 secs
lola: 199980504 markings, 1619157363 edges, 140941 markings/sec, 2520 secs
lola: 200642732 markings, 1622460687 edges, 132446 markings/sec, 2525 secs
lola: 201277015 markings, 1625672020 edges, 126857 markings/sec, 2530 secs
lola: 201955347 markings, 1628941721 edges, 135666 markings/sec, 2535 secs
lola: 202652300 markings, 1632282362 edges, 139391 markings/sec, 2540 secs
lola: 203293095 markings, 1635567644 edges, 128159 markings/sec, 2545 secs
lola: 203921984 markings, 1638854872 edges, 125778 markings/sec, 2550 secs
lola: 204484496 markings, 1642045929 edges, 112502 markings/sec, 2555 secs
lola: 205129675 markings, 1645281539 edges, 129036 markings/sec, 2560 secs
lola: 205681170 markings, 1648424483 edges, 110299 markings/sec, 2565 secs
lola: 205978513 markings, 1651401534 edges, 59469 markings/sec, 2570 secs
lola: 206523686 markings, 1654522196 edges, 109035 markings/sec, 2575 secs
lola: 207158830 markings, 1657702047 edges, 127029 markings/sec, 2580 secs
lola: 207763694 markings, 1660876456 edges, 120973 markings/sec, 2585 secs
lola: 208331958 markings, 1663916555 edges, 113653 markings/sec, 2590 secs
lola: 208875235 markings, 1667018260 edges, 108655 markings/sec, 2595 secs
lola: 209446569 markings, 1670175644 edges, 114267 markings/sec, 2600 secs
lola: 210056940 markings, 1673402846 edges, 122074 markings/sec, 2605 secs
lola: 210648302 markings, 1676625856 edges, 118272 markings/sec, 2610 secs
lola: 211208503 markings, 1679768951 edges, 112040 markings/sec, 2615 secs
lola: 211778400 markings, 1682898470 edges, 113979 markings/sec, 2620 secs
lola: 212298234 markings, 1685551201 edges, 103967 markings/sec, 2625 secs
lola: 212749216 markings, 1687954204 edges, 90196 markings/sec, 2630 secs
lola: 212766997 markings, 1688052001 edges, 3556 markings/sec, 2635 secs
lola: 212769928 markings, 1688068870 edges, 586 markings/sec, 2640 secs
lola: 212772444 markings, 1688083774 edges, 503 markings/sec, 2645 secs
lola: 212779868 markings, 1688122541 edges, 1485 markings/sec, 2650 secs
lola: 212782411 markings, 1688136293 edges, 509 markings/sec, 2655 secs
lola: time limit reached - aborting
lola:
preliminary result: no no yes yes no no yes yes no yes unknown yes yes no no yes
lola:
preliminary result: no no yes yes no no yes yes no yes unknown yes yes no no yes
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Segmentation fault
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="DES-PT-10a"
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/DES-PT-10a.tgz
mv DES-PT-10a 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 DES-PT-10a, 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-152646380100214"
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 ;