About the Execution of LoLA for DES-PT-20a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4329.380 | 3570423.00 | 3610955.00 | 9973.60 | TFFFTFF??T??TTT? | 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 216K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K 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.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 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.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.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 57K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DES-PT-20a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646380100228
=====================================================================
--------------------
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-20a-CTLFireability-00
FORMULA_NAME DES-PT-20a-CTLFireability-01
FORMULA_NAME DES-PT-20a-CTLFireability-02
FORMULA_NAME DES-PT-20a-CTLFireability-03
FORMULA_NAME DES-PT-20a-CTLFireability-04
FORMULA_NAME DES-PT-20a-CTLFireability-05
FORMULA_NAME DES-PT-20a-CTLFireability-06
FORMULA_NAME DES-PT-20a-CTLFireability-07
FORMULA_NAME DES-PT-20a-CTLFireability-08
FORMULA_NAME DES-PT-20a-CTLFireability-09
FORMULA_NAME DES-PT-20a-CTLFireability-10
FORMULA_NAME DES-PT-20a-CTLFireability-11
FORMULA_NAME DES-PT-20a-CTLFireability-12
FORMULA_NAME DES-PT-20a-CTLFireability-13
FORMULA_NAME DES-PT-20a-CTLFireability-14
FORMULA_NAME DES-PT-20a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526602845323
info: Time: 3600 - MCC
===========================================================================================
prep: translating DES-PT-20a 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-20a formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DES-PT-20a @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 347/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 195
lola: finding significant places
lola: 195 places, 152 transitions, 136 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 177 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-20a-CTLFireability.task
lola: E (G (NOT(((NOT FIREABLE(t59) AND NOT FIREABLE(t116)) AND A (G (FIREABLE(t93))))))) : NOT(NOT(E (F ((FIREABLE(t10) AND FIREABLE(t51) AND FIREABLE(t30) AND FIREABLE(t117)))))) : A (X (NOT(E (G (NOT FIREABLE(t115)))))) : A (F ((A (G (FIREABLE(t55))) AND (((FIREABLE(t51) OR FIREABLE(t127)) AND FIREABLE(t69)) OR A (X (FIREABLE(t39))))))) : (NOT(A ((NOT FIREABLE(t73) U (FIREABLE(t11) OR FIREABLE(t69))))) AND E (F (NOT FIREABLE(t150)))) : E ((A (F (FIREABLE(t145))) U FIREABLE(t43))) : A (F (FIREABLE(t42))) : ((FIREABLE(t120) OR FIREABLE(t36) OR (FIREABLE(t40) AND NOT FIREABLE(t123))) OR A (F ((FIREABLE(t65) OR A (G (FIREABLE(t6))))))) : E (F (A (G ((FIREABLE(t116) AND (FIREABLE(t53) OR FIREABLE(t39))))))) : E (G (A (X (NOT FIREABLE(t103))))) : E (((FIREABLE(t57) OR E (F (FIREABLE(t135)))) U (((FIREABLE(t44) AND FIREABLE(t42)) OR (FIREABLE(t104) AND FIREABLE(t70))) AND ((FIREABLE(t13) AND FIREABLE(t58)) OR NOT FIREABLE(t115))))) : A (F (((NOT FIREABLE(t104) AND NOT FIREABLE(t133) AND (NOT FIREABLE(t89) OR NOT FIREABLE(t120))) AND E (F ((FIREABLE(t83) AND FIREABLE(t103))))))) : NOT(NOT(E (F (E (F (FIREABLE(t11))))))) : E (F (FIREABLE(t25))) : E (F (FIREABLE(t89))) : E (G (A (F ((FIREABLE(t121) OR (FIREABLE(t60) AND FIREABLE(t65)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k: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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:401
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (F (FIREABLE(t115)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:664
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: NOT FIREABLE(t115)
lola: processed formula length: 18
lola: 27 rewrites
lola: closed formula file DES-PT-20a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 992914 markings, 2302380 edges, 198583 markings/sec, 0 secs
lola: 2040563 markings, 4699839 edges, 209530 markings/sec, 5 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEG
lola: The predicate does not eventually occur from all successors.
lola: 3034019 markings, 6961078 edges
lola: ========================================
FORMULA DES-PT-20a-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A (G (FIREABLE(t55))) AND (((FIREABLE(t51) OR FIREABLE(t127)) AND FIREABLE(t69)) OR A (X (FIREABLE(t39)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U (NOT(E(TRUE U NOT FIREABLE(t55))) AND (((FIREABLE(t51) OR FIREABLE(t127)) AND FIREABLE(t69)) OR AX(FIREABLE(t39)))))
lola: processed formula length: 126
lola: 29 rewrites
lola: closed formula file DES-PT-20a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 46 markings, 91 edges
lola: ========================================
FORMULA DES-PT-20a-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (X (NOT FIREABLE(t103)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(AX(NOT FIREABLE(t103)))))
lola: processed formula length: 42
lola: 27 rewrites
lola: closed formula file DES-PT-20a-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: 46 markings, 45 edges
lola: ========================================
FORMULA DES-PT-20a-CTLFireability-9 TRUE 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 (F (FIREABLE(t11)))
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(t11)))
lola: processed formula length: 21
lola: 26 rewrites
lola: closed formula file DES-PT-20a-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(t11)
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-20a-CTLFireability-3-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 1770 markings, 2148 edges
lola: ========================================
FORMULA DES-PT-20a-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t25)))
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(t25)))
lola: processed formula length: 21
lola: 26 rewrites
lola: closed formula file DES-PT-20a-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(t25)
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 313 markings, 312 edges
lola: ========================================
FORMULA DES-PT-20a-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t89)))
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(t89)))
lola: processed formula length: 21
lola: 26 rewrites
lola: closed formula file DES-PT-20a-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(t89)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-20a-CTLFireability-5-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 647 markings, 646 edges
lola: ========================================
FORMULA DES-PT-20a-CTLFireability-14 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: E (F ((FIREABLE(t10) AND FIREABLE(t51) AND FIREABLE(t30) AND FIREABLE(t117))))
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(t10) AND FIREABLE(t51) AND FIREABLE(t30) AND FIREABLE(t117))))
lola: processed formula length: 78
lola: 26 rewrites
lola: closed formula file DES-PT-20a-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(t10) AND FIREABLE(t51) AND FIREABLE(t30) AND FIREABLE(t117))
lola: state equation: Generated DNF with 8 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-20a-CTLFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-20a-CTLFireability-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
FORMULA DES-PT-20a-CTLFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t42)))
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(t42)
lola: processed formula length: 17
lola: 27 rewrites
lola: closed formula file DES-PT-20a-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: 72 markings, 71 edges
lola: ========================================
FORMULA DES-PT-20a-CTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((FIREABLE(t116) AND (FIREABLE(t53) OR FIREABLE(t39)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t116) OR (NOT FIREABLE(t53) AND NOT FIREABLE(t39)))
lola: processed formula length: 66
lola: 27 rewrites
lola: closed formula file DES-PT-20a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 428531 markings, 3098005 edges, 85706 markings/sec, 0 secs
lola: 780268 markings, 6079680 edges, 70347 markings/sec, 5 secs
lola: 1171537 markings, 9142710 edges, 78254 markings/sec, 10 secs
lola: 1544418 markings, 12078111 edges, 74576 markings/sec, 15 secs
lola: 1970649 markings, 15000158 edges, 85246 markings/sec, 20 secs
lola: 2383072 markings, 18100861 edges, 82485 markings/sec, 25 secs
lola: 2745208 markings, 21089276 edges, 72427 markings/sec, 30 secs
lola: 3113793 markings, 24014658 edges, 73717 markings/sec, 35 secs
lola: 3474302 markings, 26831012 edges, 72102 markings/sec, 40 secs
lola: 3870959 markings, 29869988 edges, 79331 markings/sec, 45 secs
lola: 4235240 markings, 32846964 edges, 72856 markings/sec, 50 secs
lola: 4594773 markings, 35754704 edges, 71907 markings/sec, 55 secs
lola: 4968152 markings, 38651535 edges, 74676 markings/sec, 60 secs
lola: 5359905 markings, 41636141 edges, 78351 markings/sec, 65 secs
lola: 5715506 markings, 44548823 edges, 71120 markings/sec, 70 secs
lola: 6066396 markings, 47403233 edges, 70178 markings/sec, 75 secs
lola: 6432885 markings, 50230940 edges, 73298 markings/sec, 80 secs
lola: 6820037 markings, 53181164 edges, 77430 markings/sec, 85 secs
lola: 7171269 markings, 56060403 edges, 70246 markings/sec, 90 secs
lola: 7517784 markings, 58849882 edges, 69303 markings/sec, 95 secs
lola: 7871907 markings, 61597684 edges, 70825 markings/sec, 100 secs
lola: 8251427 markings, 64495843 edges, 75904 markings/sec, 105 secs
lola: 8588430 markings, 67305973 edges, 67401 markings/sec, 110 secs
lola: 8941704 markings, 70062265 edges, 70655 markings/sec, 115 secs
lola: 9268606 markings, 72764879 edges, 65380 markings/sec, 120 secs
lola: 9656752 markings, 75606851 edges, 77629 markings/sec, 125 secs
lola: 9986630 markings, 78372230 edges, 65976 markings/sec, 130 secs
lola: 10338180 markings, 81100046 edges, 70310 markings/sec, 135 secs
lola: 10649801 markings, 83753758 edges, 62324 markings/sec, 140 secs
lola: 11021619 markings, 86501636 edges, 74364 markings/sec, 145 secs
lola: 11368480 markings, 89242614 edges, 69372 markings/sec, 150 secs
lola: 11710964 markings, 91936904 edges, 68497 markings/sec, 155 secs
lola: 12011881 markings, 94552488 edges, 60183 markings/sec, 160 secs
lola: 12376665 markings, 97228513 edges, 72957 markings/sec, 165 secs
lola: 12732535 markings, 99936328 edges, 71174 markings/sec, 170 secs
lola: 13058198 markings, 102592789 edges, 65133 markings/sec, 175 secs
lola: 13379629 markings, 105191549 edges, 64286 markings/sec, 180 secs
lola: 13704693 markings, 107750373 edges, 65013 markings/sec, 185 secs
lola: 14059922 markings, 110413481 edges, 71046 markings/sec, 190 secs
lola: 14371201 markings, 113024853 edges, 62256 markings/sec, 195 secs
lola: 14705560 markings, 115615097 edges, 66872 markings/sec, 200 secs
lola: 14994752 markings, 118120154 edges, 57838 markings/sec, 205 secs
lola: 15340253 markings, 120683979 edges, 69100 markings/sec, 210 secs
lola: 15681999 markings, 123266370 edges, 68349 markings/sec, 215 secs
lola: 15997578 markings, 125821688 edges, 63116 markings/sec, 220 secs
lola: 16307152 markings, 128324672 edges, 61915 markings/sec, 225 secs
lola: 16624111 markings, 130696332 edges, 63392 markings/sec, 230 secs
lola: 16967030 markings, 133251031 edges, 68584 markings/sec, 235 secs
lola: 17273973 markings, 135781390 edges, 61389 markings/sec, 240 secs
lola: 17595211 markings, 138308873 edges, 64248 markings/sec, 245 secs
lola: 17875160 markings, 140747004 edges, 55990 markings/sec, 250 secs
lola: 18243596 markings, 143457138 edges, 73687 markings/sec, 255 secs
lola: 18632702 markings, 146464654 edges, 77821 markings/sec, 260 secs
lola: 19002415 markings, 149399409 edges, 73943 markings/sec, 265 secs
lola: 19330737 markings, 152236628 edges, 65664 markings/sec, 270 secs
lola: 19723677 markings, 155166399 edges, 78588 markings/sec, 275 secs
lola: 20110265 markings, 158154952 edges, 77318 markings/sec, 280 secs
lola: 20479009 markings, 161076642 edges, 73749 markings/sec, 285 secs
lola: 20803487 markings, 163890660 edges, 64896 markings/sec, 290 secs
lola: 21196813 markings, 166817320 edges, 78665 markings/sec, 295 secs
lola: 21582201 markings, 169793855 edges, 77078 markings/sec, 300 secs
lola: 21949614 markings, 172706860 edges, 73483 markings/sec, 305 secs
lola: 22274210 markings, 175526546 edges, 64919 markings/sec, 310 secs
lola: 22670000 markings, 178472872 edges, 79158 markings/sec, 315 secs
lola: 23057178 markings, 181462234 edges, 77436 markings/sec, 320 secs
lola: 23425776 markings, 184386799 edges, 73720 markings/sec, 325 secs
lola: 23750282 markings, 187190578 edges, 64901 markings/sec, 330 secs
lola: 24145065 markings, 190144845 edges, 78957 markings/sec, 335 secs
lola: 24531120 markings, 193137036 edges, 77211 markings/sec, 340 secs
lola: 24902433 markings, 196071722 edges, 74263 markings/sec, 345 secs
lola: 25237416 markings, 198945733 edges, 66997 markings/sec, 350 secs
lola: 25632206 markings, 201893539 edges, 78958 markings/sec, 355 secs
lola: 25984938 markings, 204830916 edges, 70546 markings/sec, 360 secs
lola: 26350419 markings, 207642309 edges, 73096 markings/sec, 365 secs
lola: 26667906 markings, 210297634 edges, 63497 markings/sec, 370 secs
lola: 27036965 markings, 213184855 edges, 73812 markings/sec, 375 secs
lola: 27384139 markings, 215967036 edges, 69435 markings/sec, 380 secs
lola: 27686265 markings, 218768655 edges, 60425 markings/sec, 385 secs
lola: 27979212 markings, 221658652 edges, 58589 markings/sec, 390 secs
lola: 28258045 markings, 224477558 edges, 55767 markings/sec, 395 secs
lola: 28541227 markings, 227309748 edges, 56636 markings/sec, 400 secs
lola: 28808024 markings, 230075115 edges, 53359 markings/sec, 405 secs
lola: 29090454 markings, 232919177 edges, 56486 markings/sec, 410 secs
lola: 29382900 markings, 235711589 edges, 58489 markings/sec, 415 secs
lola: 29754442 markings, 238680035 edges, 74308 markings/sec, 420 secs
lola: 30090038 markings, 241688746 edges, 67119 markings/sec, 425 secs
lola: 30399737 markings, 244548942 edges, 61940 markings/sec, 430 secs
lola: 30688006 markings, 247290524 edges, 57654 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no no unknown unknown no unknown unknown yes unknown unknown yes yes yes unknown
lola: memory consumption: 1541340 KB
lola: time consumption: 459 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (F (FIREABLE(t145))) U FIREABLE(t43)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(A(TRUE U FIREABLE(t145)) U FIREABLE(t43))
lola: processed formula length: 43
lola: 27 rewrites
lola: closed formula file DES-PT-20a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 46 markings, 46 edges
lola: ========================================
FORMULA DES-PT-20a-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 518 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((FIREABLE(t59) OR FIREABLE(t116)) OR E (F (NOT FIREABLE(t93))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: NOT(A(TRUE U ((NOT FIREABLE(t59) AND NOT FIREABLE(t116)) AND NOT(E(TRUE U NOT FIREABLE(t93))))))
lola: processed formula length: 96
lola: 29 rewrites
lola: closed formula file DES-PT-20a-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: 46 markings, 103 edges
lola: ========================================
FORMULA DES-PT-20a-CTLFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 622 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((FIREABLE(t121) OR (FIREABLE(t60) AND FIREABLE(t65)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U (FIREABLE(t121) OR (FIREABLE(t60) AND FIREABLE(t65)))))))
lola: processed formula length: 84
lola: 27 rewrites
lola: closed formula file DES-PT-20a-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: 564373 markings, 2871490 edges, 112875 markings/sec, 0 secs
lola: 1080772 markings, 5673264 edges, 103280 markings/sec, 5 secs
lola: 1548885 markings, 8443546 edges, 93623 markings/sec, 10 secs
lola: 2016564 markings, 11208895 edges, 93536 markings/sec, 15 secs
lola: 2437447 markings, 13946990 edges, 84177 markings/sec, 20 secs
lola: 2884284 markings, 16689285 edges, 89367 markings/sec, 25 secs
lola: 3275434 markings, 19518283 edges, 78230 markings/sec, 30 secs
lola: 3664634 markings, 22428166 edges, 77840 markings/sec, 35 secs
lola: 4149582 markings, 25196330 edges, 96990 markings/sec, 40 secs
lola: 4538875 markings, 27973230 edges, 77859 markings/sec, 45 secs
lola: 4833575 markings, 30798197 edges, 58940 markings/sec, 50 secs
lola: 5181982 markings, 33609524 edges, 69681 markings/sec, 55 secs
lola: 5554226 markings, 36327205 edges, 74449 markings/sec, 60 secs
lola: 6015155 markings, 39101570 edges, 92186 markings/sec, 65 secs
lola: 6424975 markings, 41841536 edges, 81964 markings/sec, 70 secs
lola: 6850750 markings, 44526828 edges, 85155 markings/sec, 75 secs
lola: 7315070 markings, 47310832 edges, 92864 markings/sec, 80 secs
lola: 7691463 markings, 49978330 edges, 75279 markings/sec, 85 secs
lola: 8146117 markings, 52756008 edges, 90931 markings/sec, 90 secs
lola: 8510770 markings, 55509502 edges, 72931 markings/sec, 95 secs
lola: 8995349 markings, 58336486 edges, 96916 markings/sec, 100 secs
lola: 9411747 markings, 61090881 edges, 83280 markings/sec, 105 secs
lola: 9771524 markings, 63915575 edges, 71955 markings/sec, 110 secs
lola: 10129975 markings, 66739473 edges, 71690 markings/sec, 115 secs
lola: 10400542 markings, 69552851 edges, 54113 markings/sec, 120 secs
lola: 10730363 markings, 72382745 edges, 65964 markings/sec, 125 secs
lola: 11140589 markings, 75045975 edges, 82045 markings/sec, 130 secs
lola: 11499475 markings, 77651923 edges, 71777 markings/sec, 135 secs
lola: 11849907 markings, 80228634 edges, 70086 markings/sec, 140 secs
lola: 12288676 markings, 82880656 edges, 87754 markings/sec, 145 secs
lola: 12660541 markings, 85558013 edges, 74373 markings/sec, 150 secs
lola: 13052316 markings, 88158939 edges, 78355 markings/sec, 155 secs
lola: 13465492 markings, 90784281 edges, 82635 markings/sec, 160 secs
lola: 13760267 markings, 93334566 edges, 58955 markings/sec, 165 secs
lola: 14023740 markings, 96002672 edges, 52695 markings/sec, 170 secs
lola: 14303612 markings, 98734304 edges, 55974 markings/sec, 175 secs
lola: 14594071 markings, 101430647 edges, 58092 markings/sec, 180 secs
lola: 14899901 markings, 104067674 edges, 61166 markings/sec, 185 secs
lola: 15246892 markings, 106568721 edges, 69398 markings/sec, 190 secs
lola: 15558109 markings, 109119943 edges, 62243 markings/sec, 195 secs
lola: 15902147 markings, 111728801 edges, 68808 markings/sec, 200 secs
lola: 16223315 markings, 114262611 edges, 64234 markings/sec, 205 secs
lola: 16461267 markings, 116798560 edges, 47590 markings/sec, 210 secs
lola: 16798414 markings, 119138222 edges, 67429 markings/sec, 215 secs
lola: 17008735 markings, 121464814 edges, 42064 markings/sec, 220 secs
lola: 17396116 markings, 124038561 edges, 77476 markings/sec, 225 secs
lola: 17633371 markings, 126582710 edges, 47451 markings/sec, 230 secs
lola: 17989504 markings, 128911542 edges, 71227 markings/sec, 235 secs
lola: 18229140 markings, 131190721 edges, 47927 markings/sec, 240 secs
lola: 18570279 markings, 133747851 edges, 68228 markings/sec, 245 secs
lola: 18937300 markings, 136329582 edges, 73404 markings/sec, 250 secs
lola: 19284452 markings, 138812556 edges, 69430 markings/sec, 255 secs
lola: 19622274 markings, 141161507 edges, 67564 markings/sec, 260 secs
lola: 19903906 markings, 143555855 edges, 56326 markings/sec, 265 secs
lola: 20123475 markings, 146172460 edges, 43914 markings/sec, 270 secs
lola: 20331752 markings, 148676115 edges, 41655 markings/sec, 275 secs
lola: 20533929 markings, 151012700 edges, 40435 markings/sec, 280 secs
lola: 21006027 markings, 153602991 edges, 94420 markings/sec, 285 secs
lola: 21565532 markings, 156347086 edges, 111901 markings/sec, 290 secs
lola: 22113799 markings, 159138301 edges, 109653 markings/sec, 295 secs
lola: 22616660 markings, 161887731 edges, 100572 markings/sec, 300 secs
lola: 23079633 markings, 164589004 edges, 92595 markings/sec, 305 secs
lola: 23527361 markings, 167315663 edges, 89546 markings/sec, 310 secs
lola: 23977890 markings, 170041514 edges, 90106 markings/sec, 315 secs
lola: 24401811 markings, 172700894 edges, 84784 markings/sec, 320 secs
lola: 24794176 markings, 175389415 edges, 78473 markings/sec, 325 secs
lola: 25243306 markings, 178106057 edges, 89826 markings/sec, 330 secs
lola: 25706706 markings, 180792717 edges, 92680 markings/sec, 335 secs
lola: 26173092 markings, 183472209 edges, 93277 markings/sec, 340 secs
lola: 26694520 markings, 186155142 edges, 104286 markings/sec, 345 secs
lola: 27174167 markings, 188817300 edges, 95929 markings/sec, 350 secs
lola: 27621212 markings, 191423913 edges, 89409 markings/sec, 355 secs
lola: 28013586 markings, 194153798 edges, 78475 markings/sec, 360 secs
lola: 28558518 markings, 196794035 edges, 108986 markings/sec, 365 secs
lola: 29072529 markings, 199398846 edges, 102802 markings/sec, 370 secs
lola: 29500034 markings, 201981793 edges, 85501 markings/sec, 375 secs
lola: 29933431 markings, 204539785 edges, 86679 markings/sec, 380 secs
lola: 30346184 markings, 207156447 edges, 82551 markings/sec, 385 secs
lola: 30855166 markings, 209759621 edges, 101796 markings/sec, 390 secs
lola: 31333998 markings, 212356265 edges, 95766 markings/sec, 395 secs
lola: 31932852 markings, 215146887 edges, 119771 markings/sec, 400 secs
lola: 32432598 markings, 217836430 edges, 99949 markings/sec, 405 secs
lola: 32882547 markings, 220455921 edges, 89990 markings/sec, 410 secs
lola: 33302555 markings, 223036049 edges, 84002 markings/sec, 415 secs
lola: 33777898 markings, 225647389 edges, 95069 markings/sec, 420 secs
lola: 34218527 markings, 228246234 edges, 88126 markings/sec, 425 secs
lola: 34650770 markings, 230855344 edges, 86449 markings/sec, 430 secs
lola: 35081257 markings, 233432865 edges, 86097 markings/sec, 435 secs
lola: 35484210 markings, 236079399 edges, 80591 markings/sec, 440 secs
lola: 35884474 markings, 238760553 edges, 80053 markings/sec, 445 secs
lola: 36389096 markings, 241351267 edges, 100924 markings/sec, 450 secs
lola: 36816386 markings, 243824339 edges, 85458 markings/sec, 455 secs
lola: 37203269 markings, 246432740 edges, 77377 markings/sec, 460 secs
lola: 37597614 markings, 248916383 edges, 78869 markings/sec, 465 secs
lola: 37926878 markings, 251248247 edges, 65853 markings/sec, 470 secs
lola: 38288228 markings, 253809838 edges, 72270 markings/sec, 475 secs
lola: 38702542 markings, 256247509 edges, 82863 markings/sec, 480 secs
lola: 39193236 markings, 258874316 edges, 98139 markings/sec, 485 secs
lola: 39565231 markings, 261194638 edges, 74399 markings/sec, 490 secs
lola: 39967703 markings, 263781058 edges, 80494 markings/sec, 495 secs
lola: 40355101 markings, 266350745 edges, 77480 markings/sec, 500 secs
lola: 40739877 markings, 268882510 edges, 76955 markings/sec, 505 secs
lola: 41176173 markings, 271281995 edges, 87259 markings/sec, 510 secs
lola: 41594432 markings, 273779856 edges, 83652 markings/sec, 515 secs
lola: 42017520 markings, 276362933 edges, 84618 markings/sec, 520 secs
lola: 42385901 markings, 278785443 edges, 73676 markings/sec, 525 secs
lola: 42780765 markings, 281386813 edges, 78973 markings/sec, 530 secs
lola: 43192987 markings, 284053489 edges, 82444 markings/sec, 535 secs
lola: 43612400 markings, 286736494 edges, 83883 markings/sec, 540 secs
lola: 44038349 markings, 289342666 edges, 85190 markings/sec, 545 secs
lola: 44424350 markings, 292047640 edges, 77200 markings/sec, 550 secs
lola: 44804095 markings, 294766866 edges, 75949 markings/sec, 555 secs
lola: 45196385 markings, 297497111 edges, 78458 markings/sec, 560 secs
lola: 45604835 markings, 300114622 edges, 81690 markings/sec, 565 secs
lola: 45987925 markings, 302817157 edges, 76618 markings/sec, 570 secs
lola: 46382563 markings, 305560803 edges, 78928 markings/sec, 575 secs
lola: 46748778 markings, 308242385 edges, 73243 markings/sec, 580 secs
lola: 47108928 markings, 310970723 edges, 72030 markings/sec, 585 secs
lola: 47476448 markings, 313741410 edges, 73504 markings/sec, 590 secs
lola: 47998087 markings, 316667413 edges, 104328 markings/sec, 595 secs
lola: 48503780 markings, 319588239 edges, 101139 markings/sec, 600 secs
lola: 49010338 markings, 322405038 edges, 101312 markings/sec, 605 secs
lola: 49445712 markings, 325082885 edges, 87075 markings/sec, 610 secs
lola: 49858532 markings, 327823966 edges, 82564 markings/sec, 615 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no no no unknown no no unknown unknown yes unknown unknown yes yes yes unknown
lola: memory consumption: 4253292 KB
lola: time consumption: 1081 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 622 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((NOT FIREABLE(t104) AND NOT FIREABLE(t133) AND (NOT FIREABLE(t89) OR NOT FIREABLE(t120))) AND E (F ((FIREABLE(t83) AND FIREABLE(t103)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U ((NOT FIREABLE(t104) AND NOT FIREABLE(t133) AND (NOT FIREABLE(t89) OR NOT FIREABLE(t120))) AND E(TRUE U (FIREABLE(t83) AND FIREABLE(t103)))))
lola: processed formula length: 151
lola: 27 rewrites
lola: closed formula file DES-PT-20a-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: 466099 markings, 2962411 edges, 93220 markings/sec, 0 secs
lola: 911531 markings, 5838611 edges, 89086 markings/sec, 5 secs
lola: 1351580 markings, 8700759 edges, 88010 markings/sec, 10 secs
lola: 1788479 markings, 11500673 edges, 87380 markings/sec, 15 secs
lola: 2205861 markings, 14175796 edges, 83476 markings/sec, 20 secs
lola: 2588770 markings, 16694430 edges, 76582 markings/sec, 25 secs
lola: 2999447 markings, 19359061 edges, 82135 markings/sec, 30 secs
lola: 3464296 markings, 22364323 edges, 92970 markings/sec, 35 secs
lola: 3926019 markings, 25355816 edges, 92345 markings/sec, 40 secs
lola: 4379470 markings, 28327180 edges, 90690 markings/sec, 45 secs
lola: 4827706 markings, 31342104 edges, 89647 markings/sec, 50 secs
lola: 5216434 markings, 34280994 edges, 77746 markings/sec, 55 secs
lola: 5586426 markings, 37216910 edges, 73998 markings/sec, 60 secs
lola: 5922262 markings, 40202813 edges, 67167 markings/sec, 65 secs
lola: 6234445 markings, 43155709 edges, 62437 markings/sec, 70 secs
lola: 6590908 markings, 46083266 edges, 71293 markings/sec, 75 secs
lola: 6945869 markings, 48988725 edges, 70992 markings/sec, 80 secs
lola: 7282259 markings, 51855986 edges, 67278 markings/sec, 85 secs
lola: 7617385 markings, 54707365 edges, 67025 markings/sec, 90 secs
lola: 7959030 markings, 57607017 edges, 68329 markings/sec, 95 secs
lola: 8281422 markings, 60491813 edges, 64478 markings/sec, 100 secs
lola: 8615246 markings, 63340686 edges, 66765 markings/sec, 105 secs
lola: 8924795 markings, 66148321 edges, 61910 markings/sec, 110 secs
lola: 9241039 markings, 69036545 edges, 63249 markings/sec, 115 secs
lola: 9554692 markings, 71913976 edges, 62731 markings/sec, 120 secs
lola: 9867221 markings, 74812753 edges, 62506 markings/sec, 125 secs
lola: 10153629 markings, 77733203 edges, 57282 markings/sec, 130 secs
lola: 10378362 markings, 80644258 edges, 44947 markings/sec, 135 secs
lola: 10652834 markings, 83522138 edges, 54894 markings/sec, 140 secs
lola: 10993262 markings, 86428763 edges, 68086 markings/sec, 145 secs
lola: 11326207 markings, 89306710 edges, 66589 markings/sec, 150 secs
lola: 11608107 markings, 92164330 edges, 56380 markings/sec, 155 secs
lola: 11828416 markings, 95027233 edges, 44062 markings/sec, 160 secs
lola: 12041028 markings, 97888664 edges, 42522 markings/sec, 165 secs
lola: 12265907 markings, 100736357 edges, 44976 markings/sec, 170 secs
lola: 12479523 markings, 103541616 edges, 42723 markings/sec, 175 secs
lola: 12758484 markings, 106353522 edges, 55792 markings/sec, 180 secs
lola: 13102705 markings, 109287013 edges, 68844 markings/sec, 185 secs
lola: 13432276 markings, 112275262 edges, 65914 markings/sec, 190 secs
lola: 13712590 markings, 115195978 edges, 56063 markings/sec, 195 secs
lola: 14007656 markings, 118070060 edges, 59013 markings/sec, 200 secs
lola: 14280081 markings, 120925523 edges, 54485 markings/sec, 205 secs
lola: 14514335 markings, 123727937 edges, 46851 markings/sec, 210 secs
lola: 14790865 markings, 126489636 edges, 55306 markings/sec, 215 secs
lola: 15170760 markings, 129356888 edges, 75979 markings/sec, 220 secs
lola: 15474553 markings, 132148442 edges, 60759 markings/sec, 225 secs
lola: 15798977 markings, 134895991 edges, 64885 markings/sec, 230 secs
lola: 16064674 markings, 137423804 edges, 53139 markings/sec, 235 secs
lola: 16324514 markings, 139934093 edges, 51968 markings/sec, 240 secs
lola: 16561074 markings, 142487995 edges, 47312 markings/sec, 245 secs
lola: 16813994 markings, 144963294 edges, 50584 markings/sec, 250 secs
lola: 17061669 markings, 147371079 edges, 49535 markings/sec, 255 secs
lola: 17407907 markings, 150100040 edges, 69248 markings/sec, 260 secs
lola: 17726977 markings, 152759486 edges, 63814 markings/sec, 265 secs
lola: 17990624 markings, 155391030 edges, 52729 markings/sec, 270 secs
lola: 18257630 markings, 157971277 edges, 53401 markings/sec, 275 secs
lola: 18521165 markings, 160519759 edges, 52707 markings/sec, 280 secs
lola: 18782421 markings, 163044970 edges, 52251 markings/sec, 285 secs
lola: 19019428 markings, 165577821 edges, 47401 markings/sec, 290 secs
lola: 19239070 markings, 168037478 edges, 43928 markings/sec, 295 secs
lola: 19483806 markings, 170531262 edges, 48947 markings/sec, 300 secs
lola: 19723833 markings, 173019432 edges, 48005 markings/sec, 305 secs
lola: 20047778 markings, 175619118 edges, 64789 markings/sec, 310 secs
lola: 20369505 markings, 178149726 edges, 64345 markings/sec, 315 secs
lola: 20659494 markings, 180600872 edges, 57998 markings/sec, 320 secs
lola: 20945898 markings, 183054723 edges, 57281 markings/sec, 325 secs
lola: 21214815 markings, 185485467 edges, 53783 markings/sec, 330 secs
lola: 21463265 markings, 187899347 edges, 49690 markings/sec, 335 secs
lola: 21770039 markings, 190293544 edges, 61355 markings/sec, 340 secs
lola: 22069563 markings, 192897052 edges, 59905 markings/sec, 345 secs
lola: 22328846 markings, 195405106 edges, 51857 markings/sec, 350 secs
lola: 22602372 markings, 197864788 edges, 54705 markings/sec, 355 secs
lola: 22838944 markings, 200265752 edges, 47314 markings/sec, 360 secs
lola: 23157353 markings, 202908795 edges, 63682 markings/sec, 365 secs
lola: 23445268 markings, 205563242 edges, 57583 markings/sec, 370 secs
lola: 23706536 markings, 208077936 edges, 52254 markings/sec, 375 secs
lola: 24029735 markings, 210660867 edges, 64640 markings/sec, 380 secs
lola: 24332721 markings, 213245594 edges, 60597 markings/sec, 385 secs
lola: 24660198 markings, 215877780 edges, 65495 markings/sec, 390 secs
lola: 24953900 markings, 218503918 edges, 58740 markings/sec, 395 secs
lola: 25210625 markings, 221192481 edges, 51345 markings/sec, 400 secs
lola: 25529919 markings, 223766661 edges, 63859 markings/sec, 405 secs
lola: 25868097 markings, 226478620 edges, 67636 markings/sec, 410 secs
lola: 26143481 markings, 229072451 edges, 55077 markings/sec, 415 secs
lola: 26390229 markings, 231607526 edges, 49350 markings/sec, 420 secs
lola: 26647907 markings, 234216677 edges, 51536 markings/sec, 425 secs
lola: 26894268 markings, 236808762 edges, 49272 markings/sec, 430 secs
lola: 27151760 markings, 239384726 edges, 51498 markings/sec, 435 secs
lola: 27419668 markings, 241955182 edges, 53582 markings/sec, 440 secs
lola: 27729264 markings, 244554980 edges, 61919 markings/sec, 445 secs
lola: 28039948 markings, 247176248 edges, 62137 markings/sec, 450 secs
lola: 28271731 markings, 249759550 edges, 46357 markings/sec, 455 secs
lola: 28536270 markings, 252157955 edges, 52908 markings/sec, 460 secs
lola: 28815019 markings, 254742330 edges, 55750 markings/sec, 465 secs
lola: 29069439 markings, 257347878 edges, 50884 markings/sec, 470 secs
lola: 29306027 markings, 259912969 edges, 47318 markings/sec, 475 secs
lola: 29568050 markings, 262344602 edges, 52405 markings/sec, 480 secs
lola: 29835253 markings, 264806871 edges, 53441 markings/sec, 485 secs
lola: 30077652 markings, 267413172 edges, 48480 markings/sec, 490 secs
lola: 30319880 markings, 270044157 edges, 48446 markings/sec, 495 secs
lola: 30559527 markings, 272593881 edges, 47929 markings/sec, 500 secs
lola: 30810903 markings, 275160023 edges, 50275 markings/sec, 505 secs
lola: 31025783 markings, 277690625 edges, 42976 markings/sec, 510 secs
lola: 31252743 markings, 280186636 edges, 45392 markings/sec, 515 secs
lola: 31518384 markings, 282646442 edges, 53128 markings/sec, 520 secs
lola: 31794174 markings, 285037571 edges, 55158 markings/sec, 525 secs
lola: 32081182 markings, 287513205 edges, 57402 markings/sec, 530 secs
lola: 32326223 markings, 289979733 edges, 49008 markings/sec, 535 secs
lola: 32553132 markings, 292369942 edges, 45382 markings/sec, 540 secs
lola: 32761360 markings, 294700103 edges, 41646 markings/sec, 545 secs
lola: 32982561 markings, 297118638 edges, 44240 markings/sec, 550 secs
lola: 33183898 markings, 299526082 edges, 40267 markings/sec, 555 secs
lola: 33394888 markings, 301955644 edges, 42198 markings/sec, 560 secs
lola: 33649602 markings, 304371807 edges, 50943 markings/sec, 565 secs
lola: 33860150 markings, 306874269 edges, 42110 markings/sec, 570 secs
lola: 34151335 markings, 309414141 edges, 58237 markings/sec, 575 secs
lola: 34412342 markings, 311911758 edges, 52201 markings/sec, 580 secs
lola: 34629090 markings, 314419652 edges, 43350 markings/sec, 585 secs
lola: 34851584 markings, 316882995 edges, 44499 markings/sec, 590 secs
lola: 35082999 markings, 319192585 edges, 46283 markings/sec, 595 secs
lola: 35320755 markings, 321562410 edges, 47551 markings/sec, 600 secs
lola: 35529988 markings, 324054696 edges, 41847 markings/sec, 605 secs
lola: 35734531 markings, 326516196 edges, 40909 markings/sec, 610 secs
lola: 35936323 markings, 328982508 edges, 40358 markings/sec, 615 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no no no unknown no no unknown unknown yes unknown unknown yes yes yes unknown
lola: memory consumption: 3059476 KB
lola: time consumption: 1704 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 622 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((FIREABLE(t57) OR E (F (FIREABLE(t135)))) U (((FIREABLE(t44) AND FIREABLE(t42)) OR (FIREABLE(t104) AND FIREABLE(t70))) AND ((FIREABLE(t13) AND FIREABLE(t58)) OR NOT FIREABLE(t115)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E((FIREABLE(t57) OR E(TRUE U FIREABLE(t135))) U (((FIREABLE(t44) AND FIREABLE(t42)) OR (FIREABLE(t104) AND FIREABLE(t70))) AND ((FIREABLE(t13) AND FIREABLE(t58)) OR NOT FIREABLE(t115))))
lola: processed formula length: 188
lola: 27 rewrites
lola: closed formula file DES-PT-20a-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: 341073 markings, 2736275 edges, 68215 markings/sec, 0 secs
lola: 652023 markings, 5462613 edges, 62190 markings/sec, 5 secs
lola: 937372 markings, 8179696 edges, 57070 markings/sec, 10 secs
lola: 1205813 markings, 10819351 edges, 53688 markings/sec, 15 secs
lola: 1514360 markings, 13434532 edges, 61709 markings/sec, 20 secs
lola: 1836451 markings, 16025465 edges, 64418 markings/sec, 25 secs
lola: 2152575 markings, 18735704 edges, 63225 markings/sec, 30 secs
lola: 2458000 markings, 21403900 edges, 61085 markings/sec, 35 secs
lola: 2739664 markings, 24092349 edges, 56333 markings/sec, 40 secs
lola: 2996160 markings, 26667329 edges, 51299 markings/sec, 45 secs
lola: 3317065 markings, 29303528 edges, 64181 markings/sec, 50 secs
lola: 3629719 markings, 31967833 edges, 62531 markings/sec, 55 secs
lola: 3914517 markings, 34594840 edges, 56960 markings/sec, 60 secs
lola: 4188463 markings, 37252611 edges, 54789 markings/sec, 65 secs
lola: 4449637 markings, 39767944 edges, 52235 markings/sec, 70 secs
lola: 4779005 markings, 42394841 edges, 65874 markings/sec, 75 secs
lola: 5074935 markings, 44998512 edges, 59186 markings/sec, 80 secs
lola: 5353057 markings, 47595872 edges, 55624 markings/sec, 85 secs
lola: 5620176 markings, 50189594 edges, 53424 markings/sec, 90 secs
lola: 5896978 markings, 52682819 edges, 55360 markings/sec, 95 secs
lola: 6209817 markings, 55311665 edges, 62568 markings/sec, 100 secs
lola: 6502162 markings, 57879169 edges, 58469 markings/sec, 105 secs
lola: 6772562 markings, 60456236 edges, 54080 markings/sec, 110 secs
lola: 7034173 markings, 63019098 edges, 52322 markings/sec, 115 secs
lola: 7322114 markings, 65529472 edges, 57588 markings/sec, 120 secs
lola: 7625961 markings, 68111526 edges, 60769 markings/sec, 125 secs
lola: 7909203 markings, 70609309 edges, 56648 markings/sec, 130 secs
lola: 8170955 markings, 73088771 edges, 52350 markings/sec, 135 secs
lola: 8411246 markings, 75458209 edges, 48058 markings/sec, 140 secs
lola: 8701930 markings, 77968637 edges, 58137 markings/sec, 145 secs
lola: 8980244 markings, 80320760 edges, 55663 markings/sec, 150 secs
lola: 9265579 markings, 82831768 edges, 57067 markings/sec, 155 secs
lola: 9533255 markings, 85386026 edges, 53535 markings/sec, 160 secs
lola: 9787613 markings, 87888936 edges, 50872 markings/sec, 165 secs
lola: 10073244 markings, 90343338 edges, 57126 markings/sec, 170 secs
lola: 10369269 markings, 92870294 edges, 59205 markings/sec, 175 secs
lola: 10630880 markings, 95144754 edges, 52322 markings/sec, 180 secs
lola: 10873162 markings, 97441304 edges, 48456 markings/sec, 185 secs
lola: 11130247 markings, 99951926 edges, 51417 markings/sec, 190 secs
lola: 11407894 markings, 102412284 edges, 55529 markings/sec, 195 secs
lola: 11713735 markings, 104988673 edges, 61168 markings/sec, 200 secs
lola: 12002976 markings, 107528480 edges, 57848 markings/sec, 205 secs
lola: 12268848 markings, 110078517 edges, 53174 markings/sec, 210 secs
lola: 12527335 markings, 112609621 edges, 51697 markings/sec, 215 secs
lola: 12813840 markings, 115077241 edges, 57301 markings/sec, 220 secs
lola: 13109956 markings, 117601401 edges, 59223 markings/sec, 225 secs
lola: 13392149 markings, 120087276 edges, 56439 markings/sec, 230 secs
lola: 13656386 markings, 122590817 edges, 52847 markings/sec, 235 secs
lola: 13905735 markings, 125064966 edges, 49870 markings/sec, 240 secs
lola: 14190205 markings, 127486962 edges, 56894 markings/sec, 245 secs
lola: 14472182 markings, 129952459 edges, 56395 markings/sec, 250 secs
lola: 14746464 markings, 132387612 edges, 54856 markings/sec, 255 secs
lola: 14999293 markings, 134831491 edges, 50566 markings/sec, 260 secs
lola: 15236313 markings, 137166633 edges, 47404 markings/sec, 265 secs
lola: 15504290 markings, 139539593 edges, 53595 markings/sec, 270 secs
lola: 15796677 markings, 141988986 edges, 58477 markings/sec, 275 secs
lola: 16071574 markings, 144399832 edges, 54979 markings/sec, 280 secs
lola: 16327989 markings, 146811068 edges, 51283 markings/sec, 285 secs
lola: 16575645 markings, 149219949 edges, 49531 markings/sec, 290 secs
lola: 16826283 markings, 151563879 edges, 50128 markings/sec, 295 secs
lola: 17175658 markings, 154436976 edges, 69875 markings/sec, 300 secs
lola: 17493010 markings, 157248798 edges, 63470 markings/sec, 305 secs
lola: 17791359 markings, 160083063 edges, 59670 markings/sec, 310 secs
lola: 18064429 markings, 162824117 edges, 54614 markings/sec, 315 secs
lola: 18407821 markings, 165625138 edges, 68678 markings/sec, 320 secs
lola: 18738121 markings, 168459141 edges, 66060 markings/sec, 325 secs
lola: 19038834 markings, 171259755 edges, 60143 markings/sec, 330 secs
lola: 19329962 markings, 174078982 edges, 58226 markings/sec, 335 secs
lola: 19631082 markings, 176785921 edges, 60224 markings/sec, 340 secs
lola: 19965165 markings, 179632991 edges, 66817 markings/sec, 345 secs
lola: 20280766 markings, 182410469 edges, 63120 markings/sec, 350 secs
lola: 20575069 markings, 185223031 edges, 58861 markings/sec, 355 secs
lola: 20849005 markings, 187930429 edges, 54787 markings/sec, 360 secs
lola: 21197261 markings, 190741729 edges, 69651 markings/sec, 365 secs
lola: 21519674 markings, 193560061 edges, 64483 markings/sec, 370 secs
lola: 21818752 markings, 196365612 edges, 59816 markings/sec, 375 secs
lola: 22105737 markings, 199177861 edges, 57397 markings/sec, 380 secs
lola: 22419915 markings, 201932702 edges, 62836 markings/sec, 385 secs
lola: 22757054 markings, 204806902 edges, 67428 markings/sec, 390 secs
lola: 23071297 markings, 207625568 edges, 62849 markings/sec, 395 secs
lola: 23366758 markings, 210484240 edges, 59092 markings/sec, 400 secs
lola: 23648022 markings, 213195429 edges, 56253 markings/sec, 405 secs
lola: 23985275 markings, 216043579 edges, 67451 markings/sec, 410 secs
lola: 24305574 markings, 218850464 edges, 64060 markings/sec, 415 secs
lola: 24596643 markings, 221678086 edges, 58214 markings/sec, 420 secs
lola: 24880717 markings, 224377307 edges, 56815 markings/sec, 425 secs
lola: 25215445 markings, 227246375 edges, 66946 markings/sec, 430 secs
lola: 25512359 markings, 230030678 edges, 59383 markings/sec, 435 secs
lola: 25781866 markings, 232822292 edges, 53901 markings/sec, 440 secs
lola: 26052201 markings, 235560237 edges, 54067 markings/sec, 445 secs
lola: 26297368 markings, 238300727 edges, 49033 markings/sec, 450 secs
lola: 26544016 markings, 240965883 edges, 49330 markings/sec, 455 secs
lola: 26809419 markings, 243707097 edges, 53081 markings/sec, 460 secs
lola: 27132828 markings, 246549174 edges, 64682 markings/sec, 465 secs
lola: 27418476 markings, 249352829 edges, 57130 markings/sec, 470 secs
lola: 27688622 markings, 252031898 edges, 54029 markings/sec, 475 secs
lola: 28001987 markings, 254879440 edges, 62673 markings/sec, 480 secs
lola: 28344816 markings, 257682695 edges, 68566 markings/sec, 485 secs
lola: 28690906 markings, 260585461 edges, 69218 markings/sec, 490 secs
lola: 29013646 markings, 263475904 edges, 64548 markings/sec, 495 secs
lola: 29325273 markings, 266342093 edges, 62325 markings/sec, 500 secs
lola: 29625592 markings, 269158119 edges, 60064 markings/sec, 505 secs
lola: 29897435 markings, 271981769 edges, 54369 markings/sec, 510 secs
lola: 30169049 markings, 274740882 edges, 54323 markings/sec, 515 secs
lola: 30416060 markings, 277500845 edges, 49402 markings/sec, 520 secs
lola: 30677459 markings, 280226110 edges, 52280 markings/sec, 525 secs
lola: 30967236 markings, 283067028 edges, 57955 markings/sec, 530 secs
lola: 31232232 markings, 285943112 edges, 52999 markings/sec, 535 secs
lola: 31497995 markings, 288820425 edges, 53153 markings/sec, 540 secs
lola: 31759959 markings, 291644132 edges, 52393 markings/sec, 545 secs
lola: 32017063 markings, 294469101 edges, 51421 markings/sec, 550 secs
lola: 32261448 markings, 297350868 edges, 48877 markings/sec, 555 secs
lola: 32531343 markings, 300189198 edges, 53979 markings/sec, 560 secs
lola: 32781868 markings, 302978250 edges, 50105 markings/sec, 565 secs
lola: 33066555 markings, 305556275 edges, 56937 markings/sec, 570 secs
lola: 33330802 markings, 308344868 edges, 52849 markings/sec, 575 secs
lola: 33572200 markings, 311154131 edges, 48280 markings/sec, 580 secs
lola: 33835158 markings, 313842190 edges, 52592 markings/sec, 585 secs
lola: 34070097 markings, 316575100 edges, 46988 markings/sec, 590 secs
lola: 34285056 markings, 319328502 edges, 42992 markings/sec, 595 secs
lola: 34542994 markings, 322095429 edges, 51588 markings/sec, 600 secs
lola: 34778858 markings, 324816822 edges, 47173 markings/sec, 605 secs
lola: 35013280 markings, 327519653 edges, 46884 markings/sec, 610 secs
lola: 35276627 markings, 330172066 edges, 52669 markings/sec, 615 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no no no unknown no no unknown unknown yes unknown unknown yes yes yes unknown
lola: memory consumption: 3023188 KB
lola: time consumption: 2326 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 622 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E ((FIREABLE(t73) R (NOT FIREABLE(t11) AND NOT FIREABLE(t69)))) AND E (F (NOT FIREABLE(t150))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 622 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (NOT FIREABLE(t150)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (NOT FIREABLE(t150)))
lola: processed formula length: 26
lola: 26 rewrites
lola: closed formula file DES-PT-20a-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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 0 markings, 0 edges
lola: formula 0: NOT FIREABLE(t150)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: subprocess 15 will run for 1244 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t73) R (NOT FIREABLE(t11) AND NOT FIREABLE(t69))))
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(t73) R (NOT FIREABLE(t11) AND NOT FIREABLE(t69))))
lola: processed formula length: 63
lola: 27 rewrites
lola: closed formula file DES-PT-20a-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: 174 markings, 241 edges
lola: lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
FORMULA DES-PT-20a-CTLFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: ========================================
lola: subprocess 15 will run for 1244 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t120) OR FIREABLE(t36) OR (FIREABLE(t40) AND NOT FIREABLE(t123))) OR A (F ((FIREABLE(t65) OR A (G (FIREABLE(t6)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1244 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t120) OR FIREABLE(t36) OR (FIREABLE(t40) AND NOT FIREABLE(t123)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t120) OR FIREABLE(t36) OR (FIREABLE(t40) AND NOT FIREABLE(t123)))
lola: processed formula length: 77
lola: 25 rewrites
lola: closed formula file DES-PT-20a-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: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((FIREABLE(t116) AND (FIREABLE(t53) OR FIREABLE(t39)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t116) OR (NOT FIREABLE(t53) AND NOT FIREABLE(t39)))
lola: processed formula length: 66
lola: 27 rewrites
lola: closed formula file DES-PT-20a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 405908 markings, 2925234 edges, 81182 markings/sec, 0 secs
lola: 764373 markings, 5932639 edges, 71693 markings/sec, 5 secs
lola: 1156454 markings, 9002304 edges, 78416 markings/sec, 10 secs
lola: 1522454 markings, 11939876 edges, 73200 markings/sec, 15 secs
lola: 1946712 markings, 14860730 edges, 84852 markings/sec, 20 secs
lola: 2364466 markings, 17961602 edges, 83551 markings/sec, 25 secs
lola: 2721332 markings, 20928286 edges, 71373 markings/sec, 30 secs
lola: 3090190 markings, 23796242 edges, 73772 markings/sec, 35 secs
lola: 3453048 markings, 26685460 edges, 72572 markings/sec, 40 secs
lola: 3855569 markings, 29742647 edges, 80504 markings/sec, 45 secs
lola: 4216635 markings, 32715848 edges, 72213 markings/sec, 50 secs
lola: 4580872 markings, 35617688 edges, 72847 markings/sec, 55 secs
lola: 4949272 markings, 38484391 edges, 73680 markings/sec, 60 secs
lola: 5339826 markings, 41485160 edges, 78111 markings/sec, 65 secs
lola: 5696419 markings, 44401293 edges, 71319 markings/sec, 70 secs
lola: 6050975 markings, 47250043 edges, 70911 markings/sec, 75 secs
lola: 6414488 markings, 50068644 edges, 72703 markings/sec, 80 secs
lola: 6799802 markings, 53024343 edges, 77063 markings/sec, 85 secs
lola: 7147933 markings, 55890985 edges, 69626 markings/sec, 90 secs
lola: 7502265 markings, 58696306 edges, 70866 markings/sec, 95 secs
lola: 7851518 markings, 61458028 edges, 69851 markings/sec, 100 secs
lola: 8236243 markings, 64379358 edges, 76945 markings/sec, 105 secs
lola: 8572216 markings, 67208975 edges, 67195 markings/sec, 110 secs
lola: 8931853 markings, 69997025 edges, 71927 markings/sec, 115 secs
lola: 9260126 markings, 72713873 edges, 65655 markings/sec, 120 secs
lola: 9652843 markings, 75575598 edges, 78543 markings/sec, 125 secs
lola: 9984994 markings, 78359265 edges, 66430 markings/sec, 130 secs
lola: 10338665 markings, 81104157 edges, 70734 markings/sec, 135 secs
lola: 10652314 markings, 83772971 edges, 62730 markings/sec, 140 secs
lola: 11026243 markings, 86537325 edges, 74786 markings/sec, 145 secs
lola: 11375397 markings, 89295637 edges, 69831 markings/sec, 150 secs
lola: 11718915 markings, 92001536 edges, 68704 markings/sec, 155 secs
lola: 12021233 markings, 94631032 edges, 60464 markings/sec, 160 secs
lola: 12387744 markings, 97330617 edges, 73302 markings/sec, 165 secs
lola: 12746017 markings, 100052752 edges, 71655 markings/sec, 170 secs
lola: 13075555 markings, 102724635 edges, 65908 markings/sec, 175 secs
lola: 13394786 markings, 105342034 edges, 63846 markings/sec, 180 secs
lola: 13732409 markings, 107932353 edges, 67525 markings/sec, 185 secs
lola: 14086769 markings, 110634675 edges, 70872 markings/sec, 190 secs
lola: 14398942 markings, 113265281 edges, 62435 markings/sec, 195 secs
lola: 14736995 markings, 115874592 edges, 67611 markings/sec, 200 secs
lola: 15034731 markings, 118418707 edges, 59547 markings/sec, 205 secs
lola: 15385448 markings, 121023954 edges, 70143 markings/sec, 210 secs
lola: 15722076 markings, 123627429 edges, 67326 markings/sec, 215 secs
lola: 16048516 markings, 126207233 edges, 65288 markings/sec, 220 secs
lola: 16349449 markings, 128727566 edges, 60187 markings/sec, 225 secs
lola: 16691022 markings, 131168838 edges, 68315 markings/sec, 230 secs
lola: 17032608 markings, 133760993 edges, 68317 markings/sec, 235 secs
lola: 17332004 markings, 136297692 edges, 59879 markings/sec, 240 secs
lola: 17661112 markings, 138828656 edges, 65822 markings/sec, 245 secs
lola: 17948819 markings, 141304145 edges, 57541 markings/sec, 250 secs
lola: 18338390 markings, 144188440 edges, 77914 markings/sec, 255 secs
lola: 18720049 markings, 147205476 edges, 76332 markings/sec, 260 secs
lola: 19090478 markings, 150125022 edges, 74086 markings/sec, 265 secs
lola: 19424009 markings, 152961045 edges, 66706 markings/sec, 270 secs
lola: 19823284 markings, 155918729 edges, 79855 markings/sec, 275 secs
lola: 20197851 markings, 158893965 edges, 74913 markings/sec, 280 secs
lola: 20569938 markings, 161819820 edges, 74417 markings/sec, 285 secs
lola: 20909618 markings, 164705628 edges, 67936 markings/sec, 290 secs
lola: 21325366 markings, 167736593 edges, 83150 markings/sec, 295 secs
lola: 21693329 markings, 170743205 edges, 73593 markings/sec, 300 secs
lola: 22069782 markings, 173690789 edges, 75291 markings/sec, 305 secs
lola: 22409132 markings, 176557371 edges, 67870 markings/sec, 310 secs
lola: 22834857 markings, 179637099 edges, 85145 markings/sec, 315 secs
lola: 23194523 markings, 182643396 edges, 71933 markings/sec, 320 secs
lola: 23572814 markings, 185594791 edges, 75658 markings/sec, 325 secs
lola: 23923023 markings, 188464872 edges, 70042 markings/sec, 330 secs
lola: 24343506 markings, 191567009 edges, 84097 markings/sec, 335 secs
lola: 24704627 markings, 194570363 edges, 72224 markings/sec, 340 secs
lola: 25077493 markings, 197473280 edges, 74573 markings/sec, 345 secs
lola: 25425691 markings, 200339951 edges, 69640 markings/sec, 350 secs
lola: 25812748 markings, 203366657 edges, 77411 markings/sec, 355 secs
lola: 26187932 markings, 206312593 edges, 75037 markings/sec, 360 secs
lola: 26515368 markings, 209149056 edges, 65487 markings/sec, 365 secs
lola: 26930005 markings, 212155210 edges, 82927 markings/sec, 370 secs
lola: 27288847 markings, 215170876 edges, 71768 markings/sec, 375 secs
lola: 27613829 markings, 218072019 edges, 64996 markings/sec, 380 secs
lola: 27898668 markings, 220950236 edges, 56968 markings/sec, 385 secs
lola: 28191015 markings, 223655207 edges, 58469 markings/sec, 390 secs
lola: 28466361 markings, 226526388 edges, 55069 markings/sec, 395 secs
lola: 28733893 markings, 229361758 edges, 53506 markings/sec, 400 secs
lola: 29018686 markings, 232196182 edges, 56959 markings/sec, 405 secs
lola: 29311424 markings, 235068318 edges, 58548 markings/sec, 410 secs
lola: 29671207 markings, 238032260 edges, 71957 markings/sec, 415 secs
lola: 30017782 markings, 241068004 edges, 69315 markings/sec, 420 secs
lola: 30333349 markings, 243963064 edges, 63113 markings/sec, 425 secs
lola: 30641709 markings, 246787040 edges, 61672 markings/sec, 430 secs
lola: 31009576 markings, 249823806 edges, 73573 markings/sec, 435 secs
lola: 31400558 markings, 252880067 edges, 78196 markings/sec, 440 secs
lola: 31795247 markings, 255853358 edges, 78938 markings/sec, 445 secs
lola: 32212669 markings, 258895239 edges, 83484 markings/sec, 450 secs
lola: 32585315 markings, 261917051 edges, 74529 markings/sec, 455 secs
lola: 32934008 markings, 264946527 edges, 69739 markings/sec, 460 secs
lola: 33272268 markings, 267908128 edges, 67652 markings/sec, 465 secs
lola: 33587002 markings, 270832563 edges, 62947 markings/sec, 470 secs
lola: 33910617 markings, 273797019 edges, 64723 markings/sec, 475 secs
lola: 34166719 markings, 276695550 edges, 51220 markings/sec, 480 secs
lola: 34467085 markings, 279601927 edges, 60073 markings/sec, 485 secs
lola: 34755442 markings, 282502155 edges, 57671 markings/sec, 490 secs
lola: 35084386 markings, 285460449 edges, 65789 markings/sec, 495 secs
lola: 35391969 markings, 288461992 edges, 61517 markings/sec, 500 secs
lola: 35694460 markings, 291504367 edges, 60498 markings/sec, 505 secs
lola: 35985201 markings, 294492206 edges, 58148 markings/sec, 510 secs
lola: 36272146 markings, 297484729 edges, 57389 markings/sec, 515 secs
lola: 36535604 markings, 300516905 edges, 52692 markings/sec, 520 secs
lola: 36828090 markings, 303561938 edges, 58497 markings/sec, 525 secs
lola: 37124426 markings, 306532846 edges, 59267 markings/sec, 530 secs
lola: 37412259 markings, 309486076 edges, 57567 markings/sec, 535 secs
lola: 37762867 markings, 312479814 edges, 70122 markings/sec, 540 secs
lola: 38059251 markings, 315497663 edges, 59277 markings/sec, 545 secs
lola: 38328994 markings, 318510203 edges, 53949 markings/sec, 550 secs
lola: 38631076 markings, 321454018 edges, 60416 markings/sec, 555 secs
lola: 38894583 markings, 324411924 edges, 52701 markings/sec, 560 secs
lola: 39152365 markings, 327319553 edges, 51556 markings/sec, 565 secs
lola: 39415852 markings, 330309849 edges, 52697 markings/sec, 570 secs
lola: 39702460 markings, 333280016 edges, 57322 markings/sec, 575 secs
lola: 39965175 markings, 336203829 edges, 52543 markings/sec, 580 secs
lola: 40230174 markings, 339134729 edges, 53000 markings/sec, 585 secs
lola: 40532039 markings, 342025346 edges, 60373 markings/sec, 590 secs
lola: 40828572 markings, 344910100 edges, 59307 markings/sec, 595 secs
lola: 41162079 markings, 347783594 edges, 66701 markings/sec, 600 secs
lola: 41477401 markings, 350697083 edges, 63064 markings/sec, 605 secs
lola: 41761496 markings, 353517566 edges, 56819 markings/sec, 610 secs
lola: 42054353 markings, 356301339 edges, 58571 markings/sec, 615 secs
lola: 42323238 markings, 359160782 edges, 53777 markings/sec, 620 secs
lola: 42593699 markings, 362007838 edges, 54092 markings/sec, 625 secs
lola: 42905659 markings, 364851740 edges, 62392 markings/sec, 630 secs
lola: 43160223 markings, 367687354 edges, 50913 markings/sec, 635 secs
lola: 43446948 markings, 370521018 edges, 57345 markings/sec, 640 secs
lola: 43708363 markings, 373307888 edges, 52283 markings/sec, 645 secs
lola: 43950880 markings, 376029187 edges, 48503 markings/sec, 650 secs
lola: 44200549 markings, 378837853 edges, 49934 markings/sec, 655 secs
lola: 44478970 markings, 381631636 edges, 55684 markings/sec, 660 secs
lola: 44777456 markings, 384546057 edges, 59697 markings/sec, 665 secs
lola: 45104697 markings, 387506397 edges, 65448 markings/sec, 670 secs
lola: 45416318 markings, 390366475 edges, 62324 markings/sec, 675 secs
lola: 45727231 markings, 393225189 edges, 62183 markings/sec, 680 secs
lola: 45978386 markings, 396041663 edges, 50231 markings/sec, 685 secs
lola: 46284296 markings, 398893684 edges, 61182 markings/sec, 690 secs
lola: 46558964 markings, 401739603 edges, 54934 markings/sec, 695 secs
lola: 46901432 markings, 404780672 edges, 68494 markings/sec, 700 secs
lola: 47198779 markings, 407762098 edges, 59469 markings/sec, 705 secs
lola: 47501459 markings, 410756377 edges, 60536 markings/sec, 710 secs
lola: 47770087 markings, 413673929 edges, 53726 markings/sec, 715 secs
lola: 48038590 markings, 416567036 edges, 53701 markings/sec, 720 secs
lola: 48337309 markings, 419516841 edges, 59744 markings/sec, 725 secs
lola: 48620625 markings, 422449651 edges, 56663 markings/sec, 730 secs
lola: 48904020 markings, 425252172 edges, 56679 markings/sec, 735 secs
lola: 49192799 markings, 428100499 edges, 57756 markings/sec, 740 secs
lola: 49421430 markings, 431038267 edges, 45726 markings/sec, 745 secs
lola: 49705255 markings, 433929983 edges, 56765 markings/sec, 750 secs
lola: 49975303 markings, 436913429 edges, 54010 markings/sec, 755 secs
lola: 50314196 markings, 439887363 edges, 67779 markings/sec, 760 secs
lola: 50689682 markings, 442951038 edges, 75097 markings/sec, 765 secs
lola: 51046761 markings, 445957587 edges, 71416 markings/sec, 770 secs
lola: 51349162 markings, 448910269 edges, 60480 markings/sec, 775 secs
lola: 51624639 markings, 451890937 edges, 55095 markings/sec, 780 secs
lola: 51919462 markings, 454817585 edges, 58965 markings/sec, 785 secs
lola: 52235227 markings, 457752979 edges, 63153 markings/sec, 790 secs
lola: 52549315 markings, 460684711 edges, 62818 markings/sec, 795 secs
lola: 52828232 markings, 463545239 edges, 55783 markings/sec, 800 secs
lola: 53079711 markings, 466470226 edges, 50296 markings/sec, 805 secs
lola: 53312526 markings, 469308051 edges, 46563 markings/sec, 810 secs
lola: 53600793 markings, 472121985 edges, 57653 markings/sec, 815 secs
lola: 53843081 markings, 474686139 edges, 48458 markings/sec, 820 secs
lola: 54123598 markings, 477436830 edges, 56103 markings/sec, 825 secs
lola: 54422751 markings, 480364271 edges, 59831 markings/sec, 830 secs
lola: 54720827 markings, 483320425 edges, 59615 markings/sec, 835 secs
lola: 55069612 markings, 486310548 edges, 69757 markings/sec, 840 secs
lola: 55372376 markings, 489296579 edges, 60553 markings/sec, 845 secs
lola: 55696861 markings, 492226892 edges, 64897 markings/sec, 850 secs
lola: 55968079 markings, 495127386 edges, 54244 markings/sec, 855 secs
lola: 56257313 markings, 497997263 edges, 57847 markings/sec, 860 secs
lola: 56548282 markings, 500855403 edges, 58194 markings/sec, 865 secs
lola: 56814258 markings, 503647976 edges, 53195 markings/sec, 870 secs
lola: 57062014 markings, 506479630 edges, 49551 markings/sec, 875 secs
lola: 57274594 markings, 509118446 edges, 42516 markings/sec, 880 secs
lola: 57561053 markings, 511932870 edges, 57292 markings/sec, 885 secs
lola: 57812572 markings, 514661544 edges, 50304 markings/sec, 890 secs
lola: 58099797 markings, 517441267 edges, 57445 markings/sec, 895 secs
lola: 58450442 markings, 520451418 edges, 70129 markings/sec, 900 secs
lola: 58789449 markings, 523393036 edges, 67801 markings/sec, 905 secs
lola: 59188059 markings, 526402144 edges, 79722 markings/sec, 910 secs
lola: 59528414 markings, 529278110 edges, 68071 markings/sec, 915 secs
lola: 59875909 markings, 532100755 edges, 69499 markings/sec, 920 secs
lola: 60198087 markings, 534904763 edges, 64436 markings/sec, 925 secs
lola: 60485019 markings, 537673854 edges, 57386 markings/sec, 930 secs
lola: 60790745 markings, 540442085 edges, 61145 markings/sec, 935 secs
lola: 61093940 markings, 543188030 edges, 60639 markings/sec, 940 secs
lola: 61401296 markings, 545992846 edges, 61471 markings/sec, 945 secs
lola: 61714117 markings, 548899716 edges, 62564 markings/sec, 950 secs
lola: 61991452 markings, 551747849 edges, 55467 markings/sec, 955 secs
lola: 62275130 markings, 554556640 edges, 56736 markings/sec, 960 secs
lola: 62544915 markings, 557310684 edges, 53957 markings/sec, 965 secs
lola: 62819693 markings, 560126836 edges, 54956 markings/sec, 970 secs
lola: 63056195 markings, 562862979 edges, 47300 markings/sec, 975 secs
lola: 63328931 markings, 565643204 edges, 54547 markings/sec, 980 secs
lola: 63564453 markings, 568332845 edges, 47104 markings/sec, 985 secs
lola: 63816482 markings, 571047093 edges, 50406 markings/sec, 990 secs
lola: 64062100 markings, 573737812 edges, 49124 markings/sec, 995 secs
lola: 64405262 markings, 576652852 edges, 68632 markings/sec, 1000 secs
lola: 64746452 markings, 579524093 edges, 68238 markings/sec, 1005 secs
lola: 65079046 markings, 582332482 edges, 66519 markings/sec, 1010 secs
lola: 65406904 markings, 585136752 edges, 65572 markings/sec, 1015 secs
lola: 65699348 markings, 587903830 edges, 58489 markings/sec, 1020 secs
lola: 65983982 markings, 590624866 edges, 56927 markings/sec, 1025 secs
lola: 66290398 markings, 593363505 edges, 61283 markings/sec, 1030 secs
lola: 66591540 markings, 596184555 edges, 60228 markings/sec, 1035 secs
lola: 66899424 markings, 599129896 edges, 61577 markings/sec, 1040 secs
lola: 67170915 markings, 601993989 edges, 54298 markings/sec, 1045 secs
lola: 67467865 markings, 604845594 edges, 59390 markings/sec, 1050 secs
lola: 67734600 markings, 607619411 edges, 53347 markings/sec, 1055 secs
lola: 68003876 markings, 610431437 edges, 53855 markings/sec, 1060 secs
lola: 68258971 markings, 613247605 edges, 51019 markings/sec, 1065 secs
lola: 68502410 markings, 616000068 edges, 48688 markings/sec, 1070 secs
lola: 68761288 markings, 618758859 edges, 51776 markings/sec, 1075 secs
lola: 69005102 markings, 621471122 edges, 48763 markings/sec, 1080 secs
lola: 69264757 markings, 624248239 edges, 51931 markings/sec, 1085 secs
lola: 69538225 markings, 626863580 edges, 54694 markings/sec, 1090 secs
lola: 69921527 markings, 629856901 edges, 76660 markings/sec, 1095 secs
lola: 70268490 markings, 632795369 edges, 69393 markings/sec, 1100 secs
lola: 70613940 markings, 635741126 edges, 69090 markings/sec, 1105 secs
lola: 70926997 markings, 638745906 edges, 62611 markings/sec, 1110 secs
lola: 71200659 markings, 641671368 edges, 54732 markings/sec, 1115 secs
lola: 71473408 markings, 644512959 edges, 54550 markings/sec, 1120 secs
lola: 71754364 markings, 647304499 edges, 56191 markings/sec, 1125 secs
lola: 72051303 markings, 650182819 edges, 59388 markings/sec, 1130 secs
lola: 72405832 markings, 653144062 edges, 70906 markings/sec, 1135 secs
lola: 72697681 markings, 656030484 edges, 58370 markings/sec, 1140 secs
lola: 72980091 markings, 658819111 edges, 56482 markings/sec, 1145 secs
lola: 73299405 markings, 661749641 edges, 63863 markings/sec, 1150 secs
lola: 73659652 markings, 664690357 edges, 72049 markings/sec, 1155 secs
lola: 73999195 markings, 667647046 edges, 67909 markings/sec, 1160 secs
lola: 74297076 markings, 670677715 edges, 59576 markings/sec, 1165 secs
lola: 74560228 markings, 673630004 edges, 52630 markings/sec, 1170 secs
lola: 74900155 markings, 676520003 edges, 67985 markings/sec, 1175 secs
lola: 75184623 markings, 679375503 edges, 56894 markings/sec, 1180 secs
lola: 75477119 markings, 682242932 edges, 58499 markings/sec, 1185 secs
lola: 75770038 markings, 685021872 edges, 58584 markings/sec, 1190 secs
lola: 76016966 markings, 687756724 edges, 49386 markings/sec, 1195 secs
lola: 76273861 markings, 690535435 edges, 51379 markings/sec, 1200 secs
lola: 76565007 markings, 693338302 edges, 58229 markings/sec, 1205 secs
lola: 76889956 markings, 696205320 edges, 64990 markings/sec, 1210 secs
lola: 77188631 markings, 699056358 edges, 59735 markings/sec, 1215 secs
lola: 77505608 markings, 701992075 edges, 63395 markings/sec, 1220 secs
lola: 77803171 markings, 704866910 edges, 59513 markings/sec, 1225 secs
lola: 78074102 markings, 707705571 edges, 54186 markings/sec, 1230 secs
lola: 78346764 markings, 710503778 edges, 54532 markings/sec, 1235 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no no no yes no no unknown unknown yes unknown unknown yes yes yes unknown
lola:
preliminary result: yes no no no yes no no unknown unknown yes unknown unknown yes yes yes unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no no no yes no no unknown unknown yes unknown unknown yes yes yes unknown
lola: memory consumption: 3862168 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no no no yes no no unknown unknown yes unknown unknown yes yes yes unknown
lola: memory consumption: 3862168 KB
lola: time consumption: 3570 seconds
BK_STOP 1526606415746
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-20a"
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-20a.tgz
mv DES-PT-20a 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-20a, 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-152646380100228"
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 ;