About the Execution of LoLA for DES-PT-02b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12480.090 | 3600000.00 | 3611538.00 | 9117.80 | FFFF?FTTFT?FTT?F | 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 232K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K 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 69K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DES-PT-02b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646380000193
=====================================================================
--------------------
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-02b-CTLFireability-00
FORMULA_NAME DES-PT-02b-CTLFireability-01
FORMULA_NAME DES-PT-02b-CTLFireability-02
FORMULA_NAME DES-PT-02b-CTLFireability-03
FORMULA_NAME DES-PT-02b-CTLFireability-04
FORMULA_NAME DES-PT-02b-CTLFireability-05
FORMULA_NAME DES-PT-02b-CTLFireability-06
FORMULA_NAME DES-PT-02b-CTLFireability-07
FORMULA_NAME DES-PT-02b-CTLFireability-08
FORMULA_NAME DES-PT-02b-CTLFireability-09
FORMULA_NAME DES-PT-02b-CTLFireability-10
FORMULA_NAME DES-PT-02b-CTLFireability-11
FORMULA_NAME DES-PT-02b-CTLFireability-12
FORMULA_NAME DES-PT-02b-CTLFireability-13
FORMULA_NAME DES-PT-02b-CTLFireability-14
FORMULA_NAME DES-PT-02b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526582177818
info: Time: 3600 - MCC
===========================================================================================
prep: translating DES-PT-02b 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-02b formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DES-PT-02b @ 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: 527/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 288
lola: finding significant places
lola: 288 places, 239 transitions, 223 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 336 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-02b-CTLFireability.task
lola: (E (G ((E (F (FIREABLE(t88))) AND A (F (FIREABLE(t102)))))) OR FIREABLE(t81)) : A (G ((FIREABLE(t16) OR NOT FIREABLE(t202)))) : A (G (A (F (A (G (FIREABLE(t227))))))) : A (F (FIREABLE(t52))) : E (G ((NOT(E (G (FIREABLE(t159)))) OR NOT(A (F (FIREABLE(t2))))))) : A ((E (G ((FIREABLE(t24) AND FIREABLE(t175)))) U NOT(E (F (FIREABLE(t179)))))) : A (F (FIREABLE(t79))) : (FIREABLE(t205) OR E (((NOT FIREABLE(t94) AND NOT FIREABLE(t237)) U E (F (FIREABLE(t146)))))) : (NOT(NOT(NOT(E (F (FIREABLE(t136)))))) OR (FIREABLE(t71) OR FIREABLE(t194))) : (E (G ((A (X (FIREABLE(t161))) OR (FIREABLE(t190) OR FIREABLE(t219) OR NOT FIREABLE(t179))))) OR (A (((FIREABLE(t205) OR FIREABLE(t98)) U (FIREABLE(t27) AND FIREABLE(t54)))) AND NOT(E (F ((FIREABLE(t236) OR FIREABLE(t112))))))) : (NOT((FIREABLE(t42) AND (A (X (FIREABLE(t5))) OR NOT FIREABLE(t211)))) AND NOT(E (X (A (F (FIREABLE(t62))))))) : (FIREABLE(t178) OR A (G (A (F ((FIREABLE(t89) OR FIREABLE(t231))))))) : (E (G ((A (G (FIREABLE(t144))) OR (FIREABLE(t39) OR FIREABLE(t3) OR FIREABLE(t213))))) OR E (F (A ((FIREABLE(t76) U FIREABLE(t49)))))) : NOT(A (F (A (G ((FIREABLE(t33) AND FIREABLE(t196))))))) : A (G (A (F ((NOT FIREABLE(t1) OR (FIREABLE(t10) AND FIREABLE(t174))))))) : ((FIREABLE(t87) AND ((NOT FIREABLE(t199) OR FIREABLE(t112)) AND A (X ((FIREABLE(t181) AND FIREABLE(t229)))))) OR E (X (E (G (FIREABLE(t167))))))
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:332
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:473
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((A (X (FIREABLE(t161))) OR (FIREABLE(t190) OR FIREABLE(t219) OR NOT FIREABLE(t179))))) OR (A (((FIREABLE(t205) OR FIREABLE(t98)) U (FIREABLE(t27) AND FIREABLE(t54)))) AND A (G ((NOT FIREABLE(t236) AND NOT FIREABLE(t112))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t236) AND NOT FIREABLE(t112))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G ((NOT FIREABLE(t236) AND NOT FIREABLE(t112))))
lola: processed formula length: 51
lola: 41 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: (FIREABLE(t236) OR FIREABLE(t112))
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-02b-CTLFireability-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 29 markings, 28 edges
lola: ========================================
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((A (X (FIREABLE(t161))) OR (FIREABLE(t190) OR FIREABLE(t219) OR NOT FIREABLE(t179)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(A(TRUE U (NOT(AX(FIREABLE(t161))) AND (NOT FIREABLE(t190) AND NOT FIREABLE(t219) AND FIREABLE(t179)))))
lola: processed formula length: 107
lola: 43 rewrites
lola: closed formula file DES-PT-02b-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: 85 markings, 84 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-02b-CTLFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(t42) OR (E (X (NOT FIREABLE(t5))) AND FIREABLE(t211))) AND A (X (E (G (NOT FIREABLE(t62))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (G (NOT FIREABLE(t62)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: AX(NOT(A(TRUE U FIREABLE(t62))))
lola: processed formula length: 32
lola: 42 rewrites
lola: closed formula file DES-PT-02b-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: 617291 markings, 1770188 edges, 123458 markings/sec, 0 secs
lola: 1260888 markings, 3696068 edges, 128719 markings/sec, 5 secs
lola: 1775431 markings, 5616347 edges, 102909 markings/sec, 10 secs
lola: 2306270 markings, 7579653 edges, 106168 markings/sec, 15 secs
lola: 2833281 markings, 9586769 edges, 105402 markings/sec, 20 secs
lola: 3316995 markings, 11568048 edges, 96743 markings/sec, 25 secs
lola: 3789857 markings, 13533408 edges, 94572 markings/sec, 30 secs
lola: 4331274 markings, 15486068 edges, 108283 markings/sec, 35 secs
lola: 4815834 markings, 17424453 edges, 96912 markings/sec, 40 secs
lola: 5295969 markings, 19352422 edges, 96027 markings/sec, 45 secs
lola: 5813484 markings, 21310162 edges, 103503 markings/sec, 50 secs
lola: 6325996 markings, 23282103 edges, 102502 markings/sec, 55 secs
lola: 6780284 markings, 25148462 edges, 90858 markings/sec, 60 secs
lola: 7240800 markings, 27080094 edges, 92103 markings/sec, 65 secs
lola: 7645209 markings, 29059606 edges, 80882 markings/sec, 70 secs
lola: 8008249 markings, 31002343 edges, 72608 markings/sec, 75 secs
lola: 8346535 markings, 32918450 edges, 67657 markings/sec, 80 secs
lola: 8701915 markings, 34837389 edges, 71076 markings/sec, 85 secs
lola: 9068607 markings, 36749815 edges, 73338 markings/sec, 90 secs
lola: 9591463 markings, 38665719 edges, 104571 markings/sec, 95 secs
lola: 10057953 markings, 40556326 edges, 93298 markings/sec, 100 secs
lola: 10530234 markings, 42446462 edges, 94456 markings/sec, 105 secs
lola: 11034487 markings, 44347024 edges, 100851 markings/sec, 110 secs
lola: 11528233 markings, 46242487 edges, 98749 markings/sec, 115 secs
lola: 11972229 markings, 48077494 edges, 88799 markings/sec, 120 secs
lola: 12395504 markings, 49823852 edges, 84655 markings/sec, 125 secs
lola: 12894614 markings, 51618792 edges, 99822 markings/sec, 130 secs
lola: 13382481 markings, 53524249 edges, 97573 markings/sec, 135 secs
lola: 13847068 markings, 55428740 edges, 92917 markings/sec, 140 secs
lola: 14278790 markings, 57294004 edges, 86344 markings/sec, 145 secs
lola: 14652833 markings, 59182383 edges, 74809 markings/sec, 150 secs
lola: 15002461 markings, 61047361 edges, 69926 markings/sec, 155 secs
lola: 15323676 markings, 62887641 edges, 64243 markings/sec, 160 secs
lola: 15669967 markings, 64747993 edges, 69258 markings/sec, 165 secs
lola: 16026516 markings, 66593142 edges, 71310 markings/sec, 170 secs
lola: 16500278 markings, 68329377 edges, 94752 markings/sec, 175 secs
lola: 16973698 markings, 70216821 edges, 94684 markings/sec, 180 secs
lola: 17440726 markings, 72098132 edges, 93406 markings/sec, 185 secs
lola: 17932743 markings, 73988093 edges, 98403 markings/sec, 190 secs
lola: 18436186 markings, 75894407 edges, 100689 markings/sec, 195 secs
lola: 18890195 markings, 77777890 edges, 90802 markings/sec, 200 secs
lola: 19350008 markings, 79656298 edges, 91963 markings/sec, 205 secs
lola: 19880962 markings, 81581025 edges, 106191 markings/sec, 210 secs
lola: 20371181 markings, 83497709 edges, 98044 markings/sec, 215 secs
lola: 20835426 markings, 85395592 edges, 92849 markings/sec, 220 secs
lola: 21269716 markings, 87296835 edges, 86858 markings/sec, 225 secs
lola: 21642441 markings, 89209911 edges, 74545 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1912760 KB
lola: time consumption: 238 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1912760 KB
lola: time consumption: 238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t87) AND ((NOT FIREABLE(t199) OR FIREABLE(t112)) AND A (X ((FIREABLE(t181) AND FIREABLE(t229)))))) OR E (X (E (G (FIREABLE(t167))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t87)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t87)
lola: processed formula length: 13
lola: 39 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (G (FIREABLE(t167)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:627
lola: processed formula: FIREABLE(t167)
lola: processed formula length: 14
lola: 40 rewrites
lola: closed formula file DES-PT-02b-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: SUBRESULT
lola: result: no
lola: produced by: state space /EXEG
lola: The predicate is not possibly preserved from any successor.
lola: 41 markings, 40 edges
lola: lola: ========================================
SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DES-PT-02b-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t16) OR NOT FIREABLE(t202))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((FIREABLE(t16) OR NOT FIREABLE(t202))))
lola: processed formula length: 46
lola: 41 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (NOT FIREABLE(t16) AND FIREABLE(t202))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-02b-CTLFireability-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-02b-CTLFireability-3-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 4686 markings, 4786 edges
lola: ========================================
FORMULA DES-PT-02b-CTLFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t79)))
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(t79)
lola: processed formula length: 17
lola: 41 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1774 markings, 2136 edges
lola: ========================================
FORMULA DES-PT-02b-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t52)))
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(t52)
lola: processed formula length: 17
lola: 41 rewrites
lola: closed formula file DES-PT-02b-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: 127 markings, 126 edges
lola:
========================================
FORMULA DES-PT-02b-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 333 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F ((NOT FIREABLE(t1) OR (FIREABLE(t10) AND FIREABLE(t174)))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (FIREABLE(t1) AND (NOT FIREABLE(t10) OR NOT FIREABLE(t174)))
lola: processed formula length: 61
lola: 41 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: 1243059 markings, 1660053 edges, 248612 markings/sec, 0 secs
lola: 2512446 markings, 3293022 edges, 253877 markings/sec, 5 secs
lola: 3708765 markings, 5042055 edges, 239264 markings/sec, 10 secs
lola: 4995602 markings, 6658693 edges, 257367 markings/sec, 15 secs
lola: 6273647 markings, 8246331 edges, 255609 markings/sec, 20 secs
lola: 7508442 markings, 9876113 edges, 246959 markings/sec, 25 secs
lola: 8720431 markings, 11480026 edges, 242398 markings/sec, 30 secs
lola: 9943642 markings, 13118852 edges, 244642 markings/sec, 35 secs
lola: 11104871 markings, 14780052 edges, 232246 markings/sec, 40 secs
lola: 12259288 markings, 16457001 edges, 230883 markings/sec, 45 secs
lola: 13449498 markings, 18108932 edges, 238042 markings/sec, 50 secs
lola: 14578897 markings, 19765335 edges, 225880 markings/sec, 55 secs
lola: 15695286 markings, 21434557 edges, 223278 markings/sec, 60 secs
lola: 16817243 markings, 23065385 edges, 224391 markings/sec, 65 secs
lola: 17905715 markings, 24774367 edges, 217694 markings/sec, 70 secs
lola: 18953334 markings, 26437543 edges, 209524 markings/sec, 75 secs
lola: 19986126 markings, 28039834 edges, 206558 markings/sec, 80 secs
lola: 21139337 markings, 29669336 edges, 230642 markings/sec, 85 secs
lola: 22319180 markings, 31285248 edges, 235969 markings/sec, 90 secs
lola: 23452254 markings, 32845517 edges, 226615 markings/sec, 95 secs
lola: 24571777 markings, 34468863 edges, 223905 markings/sec, 100 secs
lola: 25682535 markings, 36078834 edges, 222152 markings/sec, 105 secs
lola: 26830832 markings, 37682541 edges, 229659 markings/sec, 110 secs
lola: 27975998 markings, 39301098 edges, 229033 markings/sec, 115 secs
lola: 29078044 markings, 40924195 edges, 220409 markings/sec, 120 secs
lola: 30135345 markings, 42461694 edges, 211460 markings/sec, 125 secs
lola: 31076945 markings, 44020599 edges, 188320 markings/sec, 130 secs
lola: 32150366 markings, 45590380 edges, 214684 markings/sec, 135 secs
lola: 33208774 markings, 47148771 edges, 211682 markings/sec, 140 secs
lola: 34253177 markings, 48672561 edges, 208881 markings/sec, 145 secs
lola: 35185341 markings, 50218507 edges, 186433 markings/sec, 150 secs
lola: 36186391 markings, 51863048 edges, 200210 markings/sec, 155 secs
lola: 37272626 markings, 53513166 edges, 217247 markings/sec, 160 secs
lola: 38432084 markings, 55151804 edges, 231892 markings/sec, 165 secs
lola: 39648414 markings, 56826078 edges, 243266 markings/sec, 170 secs
lola: 40844130 markings, 58476629 edges, 239143 markings/sec, 175 secs
lola: 42011199 markings, 60105330 edges, 233414 markings/sec, 180 secs
lola: 43197686 markings, 61747669 edges, 237297 markings/sec, 185 secs
lola: 44374004 markings, 63338466 edges, 235264 markings/sec, 190 secs
lola: 45523946 markings, 64981488 edges, 229988 markings/sec, 195 secs
lola: 46703030 markings, 66582007 edges, 235817 markings/sec, 200 secs
lola: 47854325 markings, 68188952 edges, 230259 markings/sec, 205 secs
lola: 49010930 markings, 69798493 edges, 231321 markings/sec, 210 secs
lola: 50169010 markings, 71373358 edges, 231616 markings/sec, 215 secs
lola: 51295089 markings, 72972728 edges, 225216 markings/sec, 220 secs
lola: 52446582 markings, 74523999 edges, 230299 markings/sec, 225 secs
lola: 53564196 markings, 76036568 edges, 223523 markings/sec, 230 secs
lola: 54662013 markings, 77526400 edges, 219563 markings/sec, 235 secs
lola: 55676919 markings, 79156625 edges, 202981 markings/sec, 240 secs
lola: 56603031 markings, 80828145 edges, 185222 markings/sec, 245 secs
lola: 57681361 markings, 82446867 edges, 215666 markings/sec, 250 secs
lola: 58832974 markings, 84125059 edges, 230323 markings/sec, 255 secs
lola: 59922986 markings, 85870324 edges, 218002 markings/sec, 260 secs
lola: 61140197 markings, 87483013 edges, 243442 markings/sec, 265 secs
lola: 62253477 markings, 89142470 edges, 222656 markings/sec, 270 secs
lola: 63380880 markings, 90821007 edges, 225481 markings/sec, 275 secs
lola: 64647631 markings, 92392772 edges, 253350 markings/sec, 280 secs
lola: 65830021 markings, 94086319 edges, 236478 markings/sec, 285 secs
lola: 67001435 markings, 95691680 edges, 234283 markings/sec, 290 secs
lola: 68145643 markings, 97373892 edges, 228842 markings/sec, 295 secs
lola: 69245381 markings, 99011147 edges, 219948 markings/sec, 300 secs
lola: 70361812 markings, 100690911 edges, 223286 markings/sec, 305 secs
lola: 71512429 markings, 102349356 edges, 230123 markings/sec, 310 secs
lola: 72631759 markings, 103971560 edges, 223866 markings/sec, 315 secs
lola: 73758216 markings, 105561910 edges, 225291 markings/sec, 320 secs
lola: 74891477 markings, 107170210 edges, 226652 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown no
lola: memory consumption: 3453096 KB
lola: time consumption: 571 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 333 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F (A (G (FIREABLE(t227)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(E(TRUE U NOT(A(TRUE U NOT(E(TRUE U NOT FIREABLE(t227)))))))
lola: processed formula length: 63
lola: 43 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 85 markings, 170 edges
lola: ========================================
FORMULA DES-PT-02b-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 374 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((A (F (NOT FIREABLE(t159))) OR E (G (NOT FIREABLE(t2))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: processed formula: NOT(A(TRUE U (NOT(A(TRUE U NOT FIREABLE(t159))) AND A(TRUE U FIREABLE(t2)))))
lola: processed formula length: 77
lola: 45 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 935897 markings, 1773350 edges, 187179 markings/sec, 0 secs
lola: 1816712 markings, 3650144 edges, 176163 markings/sec, 5 secs
lola: 2634466 markings, 5516495 edges, 163551 markings/sec, 10 secs
lola: 3386987 markings, 7386321 edges, 150504 markings/sec, 15 secs
lola: 4227289 markings, 9262148 edges, 168060 markings/sec, 20 secs
lola: 5084508 markings, 11184209 edges, 171444 markings/sec, 25 secs
lola: 5943682 markings, 13057073 edges, 171835 markings/sec, 30 secs
lola: 6691429 markings, 14873303 edges, 149549 markings/sec, 35 secs
lola: 7445909 markings, 16658267 edges, 150896 markings/sec, 40 secs
lola: 8271965 markings, 18527214 edges, 165211 markings/sec, 45 secs
lola: 9029945 markings, 20324302 edges, 151596 markings/sec, 50 secs
lola: 9777727 markings, 22140044 edges, 149556 markings/sec, 55 secs
lola: 10552491 markings, 23999511 edges, 154953 markings/sec, 60 secs
lola: 11345193 markings, 25793686 edges, 158540 markings/sec, 65 secs
lola: 12066714 markings, 27581169 edges, 144304 markings/sec, 70 secs
lola: 12877248 markings, 29451119 edges, 162107 markings/sec, 75 secs
lola: 13631886 markings, 31271553 edges, 150928 markings/sec, 80 secs
lola: 14396589 markings, 33122576 edges, 152941 markings/sec, 85 secs
lola: 15092023 markings, 34887225 edges, 139087 markings/sec, 90 secs
lola: 15887192 markings, 36722585 edges, 159034 markings/sec, 95 secs
lola: 16656396 markings, 38522312 edges, 153841 markings/sec, 100 secs
lola: 17390876 markings, 40332539 edges, 146896 markings/sec, 105 secs
lola: 18208449 markings, 42219525 edges, 163515 markings/sec, 110 secs
lola: 18920605 markings, 44021864 edges, 142431 markings/sec, 115 secs
lola: 19703304 markings, 45872134 edges, 156540 markings/sec, 120 secs
lola: 20430715 markings, 47676397 edges, 145482 markings/sec, 125 secs
lola: 21162407 markings, 49489755 edges, 146338 markings/sec, 130 secs
lola: 21936996 markings, 51253953 edges, 154918 markings/sec, 135 secs
lola: 22618386 markings, 53005876 edges, 136278 markings/sec, 140 secs
lola: 23323049 markings, 54762925 edges, 140933 markings/sec, 145 secs
lola: 23966312 markings, 56519960 edges, 128653 markings/sec, 150 secs
lola: 24722034 markings, 58341928 edges, 151144 markings/sec, 155 secs
lola: 25462070 markings, 60191346 edges, 148007 markings/sec, 160 secs
lola: 26219882 markings, 62010310 edges, 151562 markings/sec, 165 secs
lola: 26884992 markings, 63751229 edges, 133022 markings/sec, 170 secs
lola: 27525883 markings, 65487019 edges, 128178 markings/sec, 175 secs
lola: 28238307 markings, 67308121 edges, 142485 markings/sec, 180 secs
lola: 28941707 markings, 69036142 edges, 140680 markings/sec, 185 secs
lola: 29577743 markings, 70744125 edges, 127207 markings/sec, 190 secs
lola: 30258023 markings, 72498159 edges, 136056 markings/sec, 195 secs
lola: 30915571 markings, 74252703 edges, 131510 markings/sec, 200 secs
lola: 31717315 markings, 76038023 edges, 160349 markings/sec, 205 secs
lola: 32409821 markings, 77795711 edges, 138501 markings/sec, 210 secs
lola: 33114687 markings, 79562840 edges, 140973 markings/sec, 215 secs
lola: 33757472 markings, 81321250 edges, 128557 markings/sec, 220 secs
lola: 34563304 markings, 83135924 edges, 161166 markings/sec, 225 secs
lola: 35354164 markings, 84962131 edges, 158172 markings/sec, 230 secs
lola: 36121417 markings, 86773288 edges, 153451 markings/sec, 235 secs
lola: 36824908 markings, 88580898 edges, 140698 markings/sec, 240 secs
lola: 37601686 markings, 90397486 edges, 155356 markings/sec, 245 secs
lola: 38305576 markings, 92202998 edges, 140778 markings/sec, 250 secs
lola: 39090426 markings, 94039922 edges, 156970 markings/sec, 255 secs
lola: 39811663 markings, 95866170 edges, 144247 markings/sec, 260 secs
lola: 40575102 markings, 97683586 edges, 152688 markings/sec, 265 secs
lola: 41298047 markings, 99498169 edges, 144589 markings/sec, 270 secs
lola: 42056140 markings, 101330363 edges, 151619 markings/sec, 275 secs
lola: 42789859 markings, 103152833 edges, 146744 markings/sec, 280 secs
lola: 43538562 markings, 104968442 edges, 149741 markings/sec, 285 secs
lola: 44271805 markings, 106780025 edges, 146649 markings/sec, 290 secs
lola: 45014092 markings, 108602448 edges, 148457 markings/sec, 295 secs
lola: 45755819 markings, 110421139 edges, 148345 markings/sec, 300 secs
lola: 46488422 markings, 112236977 edges, 146521 markings/sec, 305 secs
lola: 47236039 markings, 114061168 edges, 149523 markings/sec, 310 secs
lola: 47970713 markings, 115895263 edges, 146935 markings/sec, 315 secs
lola: 48727569 markings, 117719781 edges, 151371 markings/sec, 320 secs
lola: 49448992 markings, 119538976 edges, 144285 markings/sec, 325 secs
lola: 50207419 markings, 121356266 edges, 151685 markings/sec, 330 secs
lola: 50919923 markings, 123166764 edges, 142501 markings/sec, 335 secs
lola: 51490504 markings, 124944097 edges, 114116 markings/sec, 340 secs
lola: 52003013 markings, 126689773 edges, 102502 markings/sec, 345 secs
lola: 52511714 markings, 128442363 edges, 101740 markings/sec, 350 secs
lola: 53285907 markings, 130268545 edges, 154839 markings/sec, 355 secs
lola: 53989471 markings, 132059079 edges, 140713 markings/sec, 360 secs
lola: 54746601 markings, 133852894 edges, 151426 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no no unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown no
lola: memory consumption: 4246568 KB
lola: time consumption: 945 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 375 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((E (G ((FIREABLE(t24) AND FIREABLE(t175)))) U A (G (NOT FIREABLE(t179)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: A(NOT(A(TRUE U (NOT FIREABLE(t24) OR NOT FIREABLE(t175)))) U NOT(E(TRUE U FIREABLE(t179))))
lola: processed formula length: 92
lola: 44 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 435853 markings, 1854784 edges, 87171 markings/sec, 0 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 695689 markings, 3035893 edges
lola: ========================================
FORMULA DES-PT-02b-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 436 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t205) OR E (F (FIREABLE(t146))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 436 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t205)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t205)
lola: processed formula length: 14
lola: 39 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 523 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t146)))
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(t146)))
lola: processed formula length: 22
lola: 40 rewrites
lola: closed formula file DES-PT-02b-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(t146)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-02b-CTLFireability-11-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 22 markings, 21 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-02b-CTLFireability-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 523 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (NOT FIREABLE(t136))) OR (FIREABLE(t71) OR FIREABLE(t194)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 523 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t71) OR FIREABLE(t194))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t71) OR FIREABLE(t194))
lola: processed formula length: 34
lola: 39 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 654 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t136)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G (NOT FIREABLE(t136)))
lola: processed formula length: 26
lola: 41 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: FIREABLE(t136)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: state equation: write sara problem file to DES-PT-02b-CTLFireability-12-0.sara
lola: The predicate is not invariant.
lola: 15 markings, 14 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DES-PT-02b-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 654 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F ((NOT FIREABLE(t33) OR NOT FIREABLE(t196))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:641
lola: processed formula: (NOT FIREABLE(t33) OR NOT FIREABLE(t196))
lola: processed formula length: 42
lola: 40 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: Reachability of the predicate is possibly preserved.
lola: 85 markings, 84 edges
lola: ========================================
FORMULA DES-PT-02b-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 872 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t178) OR A (G (A (F ((FIREABLE(t89) OR FIREABLE(t231)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 872 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t178)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t178)
lola: processed formula length: 14
lola: 39 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F ((FIREABLE(t89) OR FIREABLE(t231))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t89) AND NOT FIREABLE(t231))
lola: processed formula length: 42
lola: 41 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate does not eventually occur from all states.
lola: 118 markings, 117 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DES-PT-02b-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((E (F (FIREABLE(t88))) AND A (F (FIREABLE(t102)))))) OR FIREABLE(t81))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t81)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t81)
lola: processed formula length: 13
lola: 39 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2616 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((E (F (FIREABLE(t88))) AND A (F (FIREABLE(t102))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: processed formula: NOT(A(TRUE U (NOT(E(TRUE U FIREABLE(t88))) OR NOT(A(TRUE U FIREABLE(t102))))))
lola: processed formula length: 78
lola: 43 rewrites
lola: closed formula file DES-PT-02b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 435443 markings, 1930538 edges, 87089 markings/sec, 0 secs
lola: 870961 markings, 3888490 edges, 87104 markings/sec, 5 secs
lola: 1312834 markings, 5838562 edges, 88375 markings/sec, 10 secs
lola: 1698382 markings, 7751854 edges, 77110 markings/sec, 15 secs
lola: 2116792 markings, 9660499 edges, 83682 markings/sec, 20 secs
lola: 2540853 markings, 11548162 edges, 84812 markings/sec, 25 secs
lola: 2965704 markings, 13438583 edges, 84970 markings/sec, 30 secs
lola: 3346127 markings, 15309157 edges, 76085 markings/sec, 35 secs
lola: 3760701 markings, 17201009 edges, 82915 markings/sec, 40 secs
lola: 4186680 markings, 19081391 edges, 85196 markings/sec, 45 secs
lola: 4592312 markings, 20960600 edges, 81126 markings/sec, 50 secs
lola: 4897857 markings, 22876758 edges, 61109 markings/sec, 55 secs
lola: 5181389 markings, 24827912 edges, 56706 markings/sec, 60 secs
lola: 5470372 markings, 26773081 edges, 57797 markings/sec, 65 secs
lola: 5763928 markings, 28710102 edges, 58711 markings/sec, 70 secs
lola: 6058795 markings, 30660436 edges, 58973 markings/sec, 75 secs
lola: 6340423 markings, 32553472 edges, 56326 markings/sec, 80 secs
lola: 6767745 markings, 34483405 edges, 85464 markings/sec, 85 secs
lola: 7196081 markings, 36398846 edges, 85667 markings/sec, 90 secs
lola: 7629045 markings, 38318242 edges, 86593 markings/sec, 95 secs
lola: 8013157 markings, 40216558 edges, 76822 markings/sec, 100 secs
lola: 8433279 markings, 42150670 edges, 84024 markings/sec, 105 secs
lola: 8826173 markings, 43885281 edges, 78579 markings/sec, 110 secs
lola: 9219343 markings, 45621722 edges, 78634 markings/sec, 115 secs
lola: 9556615 markings, 47524291 edges, 67454 markings/sec, 120 secs
lola: 9877040 markings, 49472643 edges, 64085 markings/sec, 125 secs
lola: 10200361 markings, 51406183 edges, 64664 markings/sec, 130 secs
lola: 10529036 markings, 53337263 edges, 65735 markings/sec, 135 secs
lola: 10848068 markings, 55265945 edges, 63806 markings/sec, 140 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 10996045 markings, 56282409 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DES-PT-02b-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2469 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((A (G (FIREABLE(t144))) OR (FIREABLE(t39) OR FIREABLE(t3) OR FIREABLE(t213))))) OR E (F (A ((FIREABLE(t76) U FIREABLE(t49))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2469 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A ((FIREABLE(t76) U FIREABLE(t49)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U A(FIREABLE(t76) U FIREABLE(t49)))
lola: processed formula length: 42
lola: 41 rewrites
lola: closed formula file DES-PT-02b-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: 373821 markings, 2036766 edges, 74764 markings/sec, 0 secs
lola: 724127 markings, 4028093 edges, 70061 markings/sec, 5 secs
lola: 1064786 markings, 6014046 edges, 68132 markings/sec, 10 secs
lola: 1393711 markings, 7979786 edges, 65785 markings/sec, 15 secs
lola: 1745224 markings, 9944055 edges, 70303 markings/sec, 20 secs
lola: 2092189 markings, 11910466 edges, 69393 markings/sec, 25 secs
lola: 2429475 markings, 13845260 edges, 67457 markings/sec, 30 secs
lola: 2789255 markings, 15827502 edges, 71956 markings/sec, 35 secs
lola: 3137258 markings, 17788978 edges, 69601 markings/sec, 40 secs
lola: 3444412 markings, 19713302 edges, 61431 markings/sec, 45 secs
lola: 3718135 markings, 21609844 edges, 54745 markings/sec, 50 secs
lola: 4042454 markings, 23505369 edges, 64864 markings/sec, 55 secs
lola: 4384514 markings, 25434314 edges, 68412 markings/sec, 60 secs
lola: 4711621 markings, 27345844 edges, 65421 markings/sec, 65 secs
lola: 5038405 markings, 29241750 edges, 65357 markings/sec, 70 secs
lola: 5355663 markings, 31108558 edges, 63452 markings/sec, 75 secs
lola: 5700866 markings, 33017648 edges, 69041 markings/sec, 80 secs
lola: 6033217 markings, 34910827 edges, 66470 markings/sec, 85 secs
lola: 6365797 markings, 36794923 edges, 66516 markings/sec, 90 secs
lola: 6709675 markings, 38713139 edges, 68776 markings/sec, 95 secs
lola: 7042218 markings, 40606762 edges, 66509 markings/sec, 100 secs
lola: 7315725 markings, 42438030 edges, 54701 markings/sec, 105 secs
lola: 7570015 markings, 44241433 edges, 50858 markings/sec, 110 secs
lola: 7924291 markings, 46170973 edges, 70855 markings/sec, 115 secs
lola: 8257750 markings, 48067762 edges, 66692 markings/sec, 120 secs
lola: 8581980 markings, 49973244 edges, 64846 markings/sec, 125 secs
lola: 8905659 markings, 51861002 edges, 64736 markings/sec, 130 secs
lola: 9231511 markings, 53733261 edges, 65170 markings/sec, 135 secs
lola: 9569910 markings, 55626388 edges, 67680 markings/sec, 140 secs
lola: 9896576 markings, 57493791 edges, 65333 markings/sec, 145 secs
lola: 10236347 markings, 59385615 edges, 67954 markings/sec, 150 secs
lola: 10573778 markings, 61289585 edges, 67486 markings/sec, 155 secs
lola: 10890631 markings, 63153975 edges, 63371 markings/sec, 160 secs
lola: 11161279 markings, 64987287 edges, 54130 markings/sec, 165 secs
lola: 11413111 markings, 66812345 edges, 50366 markings/sec, 170 secs
lola: 11661989 markings, 68779608 edges, 49776 markings/sec, 175 secs
lola: 11905584 markings, 70728580 edges, 48719 markings/sec, 180 secs
lola: 12143141 markings, 72667962 edges, 47511 markings/sec, 185 secs
lola: 12377877 markings, 74607573 edges, 46947 markings/sec, 190 secs
lola: 12612799 markings, 76537966 edges, 46984 markings/sec, 195 secs
lola: 12838923 markings, 78423312 edges, 45225 markings/sec, 200 secs
lola: 13092612 markings, 80371454 edges, 50738 markings/sec, 205 secs
lola: 13340318 markings, 82306117 edges, 49541 markings/sec, 210 secs
lola: 13583631 markings, 84219520 edges, 48663 markings/sec, 215 secs
lola: 13821113 markings, 86111839 edges, 47496 markings/sec, 220 secs
lola: 14076040 markings, 88070860 edges, 50985 markings/sec, 225 secs
lola: 14323242 markings, 90015590 edges, 49440 markings/sec, 230 secs
lola: 14567477 markings, 91939546 edges, 48847 markings/sec, 235 secs
lola: 14787136 markings, 93813537 edges, 43932 markings/sec, 240 secs
lola: 14993853 markings, 95670283 edges, 41343 markings/sec, 245 secs
lola: 15240804 markings, 97519111 edges, 49390 markings/sec, 250 secs
lola: 15592113 markings, 99469970 edges, 70262 markings/sec, 255 secs
lola: 15927666 markings, 101400993 edges, 67111 markings/sec, 260 secs
lola: 16258144 markings, 103328656 edges, 66096 markings/sec, 265 secs
lola: 16566671 markings, 105223271 edges, 61705 markings/sec, 270 secs
lola: 16923857 markings, 107159168 edges, 71437 markings/sec, 275 secs
lola: 17263542 markings, 109080211 edges, 67937 markings/sec, 280 secs
lola: 17592521 markings, 110974570 edges, 65796 markings/sec, 285 secs
lola: 17932846 markings, 112853135 edges, 68065 markings/sec, 290 secs
lola: 18269517 markings, 114751314 edges, 67334 markings/sec, 295 secs
lola: 18567815 markings, 116622395 edges, 59660 markings/sec, 300 secs
lola: 18834779 markings, 118464556 edges, 53393 markings/sec, 305 secs
lola: 19155548 markings, 120363139 edges, 64154 markings/sec, 310 secs
lola: 19504027 markings, 122322978 edges, 69696 markings/sec, 315 secs
lola: 19836052 markings, 124265288 edges, 66405 markings/sec, 320 secs
lola: 20169130 markings, 126196098 edges, 66616 markings/sec, 325 secs
lola: 20492286 markings, 128094024 edges, 64631 markings/sec, 330 secs
lola: 20842636 markings, 130033350 edges, 70070 markings/sec, 335 secs
lola: 21179159 markings, 131960134 edges, 67305 markings/sec, 340 secs
lola: 21521137 markings, 133879604 edges, 68396 markings/sec, 345 secs
lola: 21868625 markings, 135824762 edges, 69498 markings/sec, 350 secs
lola: 22203005 markings, 137747083 edges, 66876 markings/sec, 355 secs
lola: 22479037 markings, 139619090 edges, 55206 markings/sec, 360 secs
lola: 22742193 markings, 141470771 edges, 52631 markings/sec, 365 secs
lola: 23017901 markings, 143427000 edges, 55142 markings/sec, 370 secs
lola: 23284778 markings, 145361753 edges, 53375 markings/sec, 375 secs
lola: 23546426 markings, 147300628 edges, 52330 markings/sec, 380 secs
lola: 23805597 markings, 149214159 edges, 51834 markings/sec, 385 secs
lola: 24059859 markings, 151129615 edges, 50852 markings/sec, 390 secs
lola: 24324508 markings, 153039125 edges, 52930 markings/sec, 395 secs
lola: 24599936 markings, 154969917 edges, 55086 markings/sec, 400 secs
lola: 24867779 markings, 156878709 edges, 53569 markings/sec, 405 secs
lola: 25109523 markings, 158641524 edges, 48349 markings/sec, 410 secs
lola: 25391375 markings, 160600288 edges, 56370 markings/sec, 415 secs
lola: 25665546 markings, 162549265 edges, 54834 markings/sec, 420 secs
lola: 25936262 markings, 164477843 edges, 54143 markings/sec, 425 secs
lola: 26172016 markings, 166366102 edges, 47151 markings/sec, 430 secs
lola: 26398931 markings, 168246547 edges, 45383 markings/sec, 435 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 26569301 markings, 169516732 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-02b-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(t42) OR (E (X (NOT FIREABLE(t5))) AND FIREABLE(t211))) AND A (X (E (G (NOT FIREABLE(t62))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (X (E (G (NOT FIREABLE(t62)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: AX(NOT(A(TRUE U FIREABLE(t62))))
lola: processed formula length: 32
lola: 42 rewrites
lola: closed formula file DES-PT-02b-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: 468813 markings, 1991501 edges, 93763 markings/sec, 0 secs
lola: 848180 markings, 3969133 edges, 75873 markings/sec, 5 secs
lola: 1203428 markings, 5759790 edges, 71050 markings/sec, 10 secs
lola: 1624869 markings, 7729935 edges, 84288 markings/sec, 15 secs
lola: 1985814 markings, 9700442 edges, 72189 markings/sec, 20 secs
lola: 2395834 markings, 11661952 edges, 82004 markings/sec, 25 secs
lola: 2749382 markings, 13621087 edges, 70710 markings/sec, 30 secs
lola: 3131428 markings, 15550301 edges, 76409 markings/sec, 35 secs
lola: 3527962 markings, 17508752 edges, 79307 markings/sec, 40 secs
lola: 3912307 markings, 19463212 edges, 76869 markings/sec, 45 secs
lola: 4285012 markings, 21412380 edges, 74541 markings/sec, 50 secs
lola: 4678226 markings, 23350226 edges, 78643 markings/sec, 55 secs
lola: 5051403 markings, 25262832 edges, 74635 markings/sec, 60 secs
lola: 5440982 markings, 27225435 edges, 77916 markings/sec, 65 secs
lola: 5826774 markings, 29171397 edges, 77158 markings/sec, 70 secs
lola: 6202512 markings, 31122138 edges, 75148 markings/sec, 75 secs
lola: 6587260 markings, 33070731 edges, 76950 markings/sec, 80 secs
lola: 6935496 markings, 34975977 edges, 69647 markings/sec, 85 secs
lola: 7246017 markings, 36887593 edges, 62104 markings/sec, 90 secs
lola: 7544360 markings, 38793733 edges, 59669 markings/sec, 95 secs
lola: 7844489 markings, 40681545 edges, 60026 markings/sec, 100 secs
lola: 8221442 markings, 42545599 edges, 75391 markings/sec, 105 secs
lola: 8623739 markings, 44438743 edges, 80459 markings/sec, 110 secs
lola: 9005402 markings, 46322907 edges, 76333 markings/sec, 115 secs
lola: 9369562 markings, 48223240 edges, 72832 markings/sec, 120 secs
lola: 9738271 markings, 50123441 edges, 73742 markings/sec, 125 secs
lola: 10117228 markings, 52006560 edges, 75791 markings/sec, 130 secs
lola: 10483998 markings, 53886213 edges, 73354 markings/sec, 135 secs
lola: 10810682 markings, 55737312 edges, 65337 markings/sec, 140 secs
lola: 11222813 markings, 57616572 edges, 82426 markings/sec, 145 secs
lola: 11585998 markings, 59501807 edges, 72637 markings/sec, 150 secs
lola: 11961938 markings, 61395087 edges, 75188 markings/sec, 155 secs
lola: 12323744 markings, 63281196 edges, 72361 markings/sec, 160 secs
lola: 12681179 markings, 65148571 edges, 71487 markings/sec, 165 secs
lola: 13052139 markings, 67004792 edges, 74192 markings/sec, 170 secs
lola: 13430191 markings, 68910550 edges, 75610 markings/sec, 175 secs
lola: 13807817 markings, 70797478 edges, 75525 markings/sec, 180 secs
lola: 14168384 markings, 72689430 edges, 72113 markings/sec, 185 secs
lola: 14546807 markings, 74574285 edges, 75685 markings/sec, 190 secs
lola: 14880410 markings, 76418422 edges, 66721 markings/sec, 195 secs
lola: 15181943 markings, 78261892 edges, 60307 markings/sec, 200 secs
lola: 15472366 markings, 80105956 edges, 58085 markings/sec, 205 secs
lola: 15759485 markings, 81935124 edges, 57424 markings/sec, 210 secs
lola: 16120519 markings, 83753540 edges, 72207 markings/sec, 215 secs
lola: 16529449 markings, 85636427 edges, 81786 markings/sec, 220 secs
lola: 16894575 markings, 87521334 edges, 73025 markings/sec, 225 secs
lola: 17259648 markings, 89406282 edges, 73015 markings/sec, 230 secs
lola: 17632516 markings, 91297931 edges, 74574 markings/sec, 235 secs
lola: 18011423 markings, 93167710 edges, 75781 markings/sec, 240 secs
lola: 18372132 markings, 95046402 edges, 72142 markings/sec, 245 secs
lola: 18712438 markings, 96898769 edges, 68061 markings/sec, 250 secs
lola: 19093436 markings, 98765798 edges, 76200 markings/sec, 255 secs
lola: 19472509 markings, 100642762 edges, 75815 markings/sec, 260 secs
lola: 19842456 markings, 102530048 edges, 73989 markings/sec, 265 secs
lola: 20206439 markings, 104405486 edges, 72797 markings/sec, 270 secs
lola: 20573533 markings, 106269335 edges, 73419 markings/sec, 275 secs
lola: 20934951 markings, 108110937 edges, 72284 markings/sec, 280 secs
lola: 21309983 markings, 110013526 edges, 75006 markings/sec, 285 secs
lola: 21677757 markings, 111897774 edges, 73555 markings/sec, 290 secs
lola: 22057955 markings, 113781975 edges, 76040 markings/sec, 295 secs
lola: 22426560 markings, 115667444 edges, 73721 markings/sec, 300 secs
lola: 22759681 markings, 117516799 edges, 66624 markings/sec, 305 secs
lola: 23065698 markings, 119362707 edges, 61203 markings/sec, 310 secs
lola: 23360605 markings, 121201020 edges, 58981 markings/sec, 315 secs
lola: 23651489 markings, 123021929 edges, 58177 markings/sec, 320 secs
lola: 23941766 markings, 124842835 edges, 58055 markings/sec, 325 secs
lola: 24221781 markings, 126812221 edges, 56003 markings/sec, 330 secs
lola: 24503945 markings, 128744488 edges, 56433 markings/sec, 335 secs
lola: 24759185 markings, 130694668 edges, 51048 markings/sec, 340 secs
lola: 25014020 markings, 132628616 edges, 50967 markings/sec, 345 secs
lola: 25288637 markings, 134576102 edges, 54923 markings/sec, 350 secs
lola: 25550711 markings, 136525182 edges, 52415 markings/sec, 355 secs
lola: 25808006 markings, 138453680 edges, 51459 markings/sec, 360 secs
lola: 26085232 markings, 140397577 edges, 55445 markings/sec, 365 secs
lola: 26337502 markings, 142325395 edges, 50454 markings/sec, 370 secs
lola: 26590835 markings, 144236955 edges, 50667 markings/sec, 375 secs
lola: 26857096 markings, 146114845 edges, 53252 markings/sec, 380 secs
lola: 27138301 markings, 148066663 edges, 56241 markings/sec, 385 secs
lola: 27401753 markings, 150008141 edges, 52690 markings/sec, 390 secs
lola: 27655648 markings, 151945809 edges, 50779 markings/sec, 395 secs
lola: 27919690 markings, 153893247 edges, 52808 markings/sec, 400 secs
lola: 28188178 markings, 155818407 edges, 53698 markings/sec, 405 secs
lola: 28445499 markings, 157743149 edges, 51464 markings/sec, 410 secs
lola: 28689688 markings, 159632832 edges, 48838 markings/sec, 415 secs
lola: 28975263 markings, 161573831 edges, 57115 markings/sec, 420 secs
lola: 29241829 markings, 163527578 edges, 53313 markings/sec, 425 secs
lola: 29507859 markings, 165466661 edges, 53206 markings/sec, 430 secs
lola: 29782827 markings, 167419122 edges, 54994 markings/sec, 435 secs
lola: 30037387 markings, 169358257 edges, 50912 markings/sec, 440 secs
lola: 30317588 markings, 171293552 edges, 56040 markings/sec, 445 secs
lola: 30565377 markings, 173219784 edges, 49558 markings/sec, 450 secs
lola: 30807454 markings, 175096418 edges, 48415 markings/sec, 455 secs
lola: 31037728 markings, 176987585 edges, 46055 markings/sec, 460 secs
lola: 31264311 markings, 178869053 edges, 45317 markings/sec, 465 secs
lola: 31487088 markings, 180745452 edges, 44555 markings/sec, 470 secs
lola: 31702083 markings, 182590157 edges, 42999 markings/sec, 475 secs
lola: 32058293 markings, 184430896 edges, 71242 markings/sec, 480 secs
lola: 32458493 markings, 186314490 edges, 80040 markings/sec, 485 secs
lola: 32841048 markings, 188205085 edges, 76511 markings/sec, 490 secs
lola: 33212536 markings, 190142034 edges, 74298 markings/sec, 495 secs
lola: 33590445 markings, 192074517 edges, 75582 markings/sec, 500 secs
lola: 33972757 markings, 194000702 edges, 76462 markings/sec, 505 secs
lola: 34355400 markings, 195920480 edges, 76529 markings/sec, 510 secs
lola: 34677663 markings, 197809633 edges, 64453 markings/sec, 515 secs
lola: 35108512 markings, 199737813 edges, 86170 markings/sec, 520 secs
lola: 35467881 markings, 201675099 edges, 71874 markings/sec, 525 secs
lola: 35852168 markings, 203611561 edges, 76857 markings/sec, 530 secs
lola: 36239073 markings, 205533150 edges, 77381 markings/sec, 535 secs
lola: 36591097 markings, 207442010 edges, 70405 markings/sec, 540 secs
lola: 36993761 markings, 209359319 edges, 80533 markings/sec, 545 secs
lola: 37381857 markings, 211292485 edges, 77619 markings/sec, 550 secs
lola: 37731092 markings, 213094927 edges, 69847 markings/sec, 555 secs
lola: 38106427 markings, 215012257 edges, 75067 markings/sec, 560 secs
lola: 38473755 markings, 216929753 edges, 73466 markings/sec, 565 secs
lola: 38799607 markings, 218811451 edges, 65170 markings/sec, 570 secs
lola: 39097073 markings, 220693373 edges, 59493 markings/sec, 575 secs
lola: 39401009 markings, 222571149 edges, 60787 markings/sec, 580 secs
lola: 39679707 markings, 224418800 edges, 55740 markings/sec, 585 secs
lola: 40099868 markings, 226325152 edges, 84032 markings/sec, 590 secs
lola: 40484157 markings, 228256829 edges, 76858 markings/sec, 595 secs
lola: 40871193 markings, 230171631 edges, 77407 markings/sec, 600 secs
lola: 41265047 markings, 232109273 edges, 78771 markings/sec, 605 secs
lola: 41636166 markings, 234030782 edges, 74224 markings/sec, 610 secs
lola: 42032847 markings, 235960010 edges, 79336 markings/sec, 615 secs
lola: 42388358 markings, 237880767 edges, 71102 markings/sec, 620 secs
lola: 42748522 markings, 239757377 edges, 72033 markings/sec, 625 secs
lola: 43135114 markings, 241691589 edges, 77318 markings/sec, 630 secs
lola: 43506945 markings, 243614648 edges, 74366 markings/sec, 635 secs
lola: 43897880 markings, 245537738 edges, 78187 markings/sec, 640 secs
lola: 44271718 markings, 247455798 edges, 74768 markings/sec, 645 secs
lola: 44610084 markings, 249334015 edges, 67673 markings/sec, 650 secs
lola: 45021641 markings, 251166001 edges, 82311 markings/sec, 655 secs
lola: 45377248 markings, 253046697 edges, 71121 markings/sec, 660 secs
lola: 45756154 markings, 254967413 edges, 75781 markings/sec, 665 secs
lola: 46133564 markings, 256876635 edges, 75482 markings/sec, 670 secs
lola: 46492242 markings, 258775951 edges, 71736 markings/sec, 675 secs
lola: 46814762 markings, 260642229 edges, 64504 markings/sec, 680 secs
lola: 47109257 markings, 262529152 edges, 58899 markings/sec, 685 secs
lola: 47411483 markings, 264398644 edges, 60445 markings/sec, 690 secs
lola: 47681345 markings, 266228268 edges, 53972 markings/sec, 695 secs
lola: 48017255 markings, 268186189 edges, 67182 markings/sec, 700 secs
lola: 48337823 markings, 270125246 edges, 64114 markings/sec, 705 secs
lola: 48636991 markings, 272069613 edges, 59834 markings/sec, 710 secs
lola: 48911371 markings, 274014610 edges, 54876 markings/sec, 715 secs
lola: 49227243 markings, 275969028 edges, 63174 markings/sec, 720 secs
lola: 49518153 markings, 277913382 edges, 58182 markings/sec, 725 secs
lola: 49814387 markings, 279853259 edges, 59247 markings/sec, 730 secs
lola: 50101510 markings, 281794470 edges, 57425 markings/sec, 735 secs
lola: 50383884 markings, 283720133 edges, 56475 markings/sec, 740 secs
lola: 50669939 markings, 285605730 edges, 57211 markings/sec, 745 secs
lola: 50991495 markings, 287560147 edges, 64311 markings/sec, 750 secs
lola: 51282574 markings, 289510203 edges, 58216 markings/sec, 755 secs
lola: 51561706 markings, 291440443 edges, 55826 markings/sec, 760 secs
lola: 51859405 markings, 293383581 edges, 59540 markings/sec, 765 secs
lola: 52164351 markings, 295319559 edges, 60989 markings/sec, 770 secs
lola: 52437620 markings, 297242296 edges, 54654 markings/sec, 775 secs
lola: 52741269 markings, 299150335 edges, 60730 markings/sec, 780 secs
lola: 53045648 markings, 301110082 edges, 60876 markings/sec, 785 secs
lola: 53336794 markings, 303059580 edges, 58229 markings/sec, 790 secs
lola: 53644881 markings, 305013653 edges, 61617 markings/sec, 795 secs
lola: 53921129 markings, 306959808 edges, 55250 markings/sec, 800 secs
lola: 54226579 markings, 308897030 edges, 61090 markings/sec, 805 secs
lola: 54502971 markings, 310807798 edges, 55278 markings/sec, 810 secs
lola: 54767681 markings, 312699879 edges, 52942 markings/sec, 815 secs
lola: 55011724 markings, 314595109 edges, 48809 markings/sec, 820 secs
lola: 55257400 markings, 316483407 edges, 49135 markings/sec, 825 secs
lola: 55498784 markings, 318358287 edges, 48277 markings/sec, 830 secs
lola: 55912077 markings, 320263273 edges, 82659 markings/sec, 835 secs
lola: 56432166 markings, 322209545 edges, 104018 markings/sec, 840 secs
lola: 57015914 markings, 324237546 edges, 116750 markings/sec, 845 secs
lola: 57548312 markings, 326258610 edges, 106480 markings/sec, 850 secs
lola: 58046953 markings, 328267711 edges, 99728 markings/sec, 855 secs
lola: 58541643 markings, 330263747 edges, 98938 markings/sec, 860 secs
lola: 59017810 markings, 332252565 edges, 95233 markings/sec, 865 secs
lola: 59564838 markings, 334235786 edges, 109406 markings/sec, 870 secs
lola: 60090542 markings, 336214369 edges, 105141 markings/sec, 875 secs
lola: 60592066 markings, 338182065 edges, 100305 markings/sec, 880 secs
lola: 61062722 markings, 340139192 edges, 94131 markings/sec, 885 secs
lola: 61554509 markings, 342096144 edges, 98357 markings/sec, 890 secs
lola: 62068546 markings, 344058725 edges, 102807 markings/sec, 895 secs
lola: 62607130 markings, 346053635 edges, 107717 markings/sec, 900 secs
lola: 63121561 markings, 348038124 edges, 102886 markings/sec, 905 secs
lola: 63583261 markings, 350012384 edges, 92340 markings/sec, 910 secs
lola: 64094070 markings, 351980308 edges, 102162 markings/sec, 915 secs
lola: 64545406 markings, 353944506 edges, 90267 markings/sec, 920 secs
lola: 64956552 markings, 355932760 edges, 82229 markings/sec, 925 secs
lola: 65332386 markings, 357909820 edges, 75167 markings/sec, 930 secs
lola: 65710346 markings, 359876390 edges, 75592 markings/sec, 935 secs
lola: 66066373 markings, 361837490 edges, 71205 markings/sec, 940 secs
lola: 66413458 markings, 363784651 edges, 69417 markings/sec, 945 secs
lola: 66778588 markings, 365738349 edges, 73026 markings/sec, 950 secs
lola: 67113762 markings, 367677638 edges, 67035 markings/sec, 955 secs
lola: 67654983 markings, 369623728 edges, 108244 markings/sec, 960 secs
lola: 68164225 markings, 371562749 edges, 101848 markings/sec, 965 secs
lola: 68649854 markings, 373484868 edges, 97126 markings/sec, 970 secs
lola: 69115508 markings, 375403610 edges, 93131 markings/sec, 975 secs
lola: 69593617 markings, 377321387 edges, 95622 markings/sec, 980 secs
lola: 70100704 markings, 379247692 edges, 101417 markings/sec, 985 secs
lola: 70625370 markings, 381193682 edges, 104933 markings/sec, 990 secs
lola: 71126370 markings, 383125923 edges, 100200 markings/sec, 995 secs
lola: 71577699 markings, 385045187 edges, 90266 markings/sec, 1000 secs
lola: 71963774 markings, 386527089 edges, 77215 markings/sec, 1005 secs
lola: 72385831 markings, 388285063 edges, 84411 markings/sec, 1010 secs
lola: 72923767 markings, 390231222 edges, 107587 markings/sec, 1015 secs
lola: 73414285 markings, 392092552 edges, 98104 markings/sec, 1020 secs
lola: 73921070 markings, 394045912 edges, 101357 markings/sec, 1025 secs
lola: 74381562 markings, 395984215 edges, 92098 markings/sec, 1030 secs
lola: 74872621 markings, 397923958 edges, 98212 markings/sec, 1035 secs
lola: 75307876 markings, 399859516 edges, 87051 markings/sec, 1040 secs
lola: 75709411 markings, 401815397 edges, 80307 markings/sec, 1045 secs
lola: 76072756 markings, 403756373 edges, 72669 markings/sec, 1050 secs
lola: 76444454 markings, 405691324 edges, 74340 markings/sec, 1055 secs
lola: 76792493 markings, 407617394 edges, 69608 markings/sec, 1060 secs
lola: 77138407 markings, 409531885 edges, 69183 markings/sec, 1065 secs
lola: 77492693 markings, 411444240 edges, 70857 markings/sec, 1070 secs
lola: 77821341 markings, 413349926 edges, 65730 markings/sec, 1075 secs
lola: 78373174 markings, 415296901 edges, 110367 markings/sec, 1080 secs
lola: 78881322 markings, 417237869 edges, 101630 markings/sec, 1085 secs
lola: 79367386 markings, 419171224 edges, 97213 markings/sec, 1090 secs
lola: 79837045 markings, 421092131 edges, 93932 markings/sec, 1095 secs
lola: 80313001 markings, 423011903 edges, 95191 markings/sec, 1100 secs
lola: 80825237 markings, 424942462 edges, 102447 markings/sec, 1105 secs
lola: 81345696 markings, 426890145 edges, 104092 markings/sec, 1110 secs
lola: 81847396 markings, 428822873 edges, 100340 markings/sec, 1115 secs
lola: 82277807 markings, 430661937 edges, 86082 markings/sec, 1120 secs
lola: 82772763 markings, 432578192 edges, 98991 markings/sec, 1125 secs
lola: 83220370 markings, 434486794 edges, 89521 markings/sec, 1130 secs
lola: 83795162 markings, 436455254 edges, 114958 markings/sec, 1135 secs
lola: 84308553 markings, 438403127 edges, 102678 markings/sec, 1140 secs
lola: 84779533 markings, 440315539 edges, 94196 markings/sec, 1145 secs
lola: 85258101 markings, 442247111 edges, 95714 markings/sec, 1150 secs
lola: 85723640 markings, 444173131 edges, 93108 markings/sec, 1155 secs
lola: 86145094 markings, 446109720 edges, 84291 markings/sec, 1160 secs
lola: 86529052 markings, 448047294 edges, 76792 markings/sec, 1165 secs
lola: 86890595 markings, 449970534 edges, 72309 markings/sec, 1170 secs
lola: 87250071 markings, 451890390 edges, 71895 markings/sec, 1175 secs
lola: 87583035 markings, 453798234 edges, 66593 markings/sec, 1180 secs
lola: 87933391 markings, 455641348 edges, 70071 markings/sec, 1185 secs
lola: 88277656 markings, 457547954 edges, 68853 markings/sec, 1190 secs
lola: 88619579 markings, 459453430 edges, 68385 markings/sec, 1195 secs
lola: 89023604 markings, 461413234 edges, 80805 markings/sec, 1200 secs
lola: 89392647 markings, 463359078 edges, 73809 markings/sec, 1205 secs
lola: 89765387 markings, 465295257 edges, 74548 markings/sec, 1210 secs
lola: 90115562 markings, 467222449 edges, 70035 markings/sec, 1215 secs
lola: 90454434 markings, 469135731 edges, 67774 markings/sec, 1220 secs
lola: 90814226 markings, 471057158 edges, 71958 markings/sec, 1225 secs
lola: 91147100 markings, 472964693 edges, 66575 markings/sec, 1230 secs
lola: 91542537 markings, 474910776 edges, 79087 markings/sec, 1235 secs
lola: 91928600 markings, 476863419 edges, 77213 markings/sec, 1240 secs
lola: 92294775 markings, 478797021 edges, 73235 markings/sec, 1245 secs
lola: 92649427 markings, 480720865 edges, 70930 markings/sec, 1250 secs
lola: 92978735 markings, 482633149 edges, 65862 markings/sec, 1255 secs
lola: 93344746 markings, 484548965 edges, 73202 markings/sec, 1260 secs
lola: 93692375 markings, 486461798 edges, 69526 markings/sec, 1265 secs
lola: 94049428 markings, 488383009 edges, 71411 markings/sec, 1270 secs
lola: 94448474 markings, 490349952 edges, 79809 markings/sec, 1275 secs
lola: 94817750 markings, 492305407 edges, 73855 markings/sec, 1280 secs
lola: 95186926 markings, 494251664 edges, 73835 markings/sec, 1285 secs
lola: 95534476 markings, 496189013 edges, 69510 markings/sec, 1290 secs
lola: 95890427 markings, 498120642 edges, 71190 markings/sec, 1295 secs
lola: 96241588 markings, 500047967 edges, 70232 markings/sec, 1300 secs
lola: 96570481 markings, 501960355 edges, 65779 markings/sec, 1305 secs
lola: 96888585 markings, 503907467 edges, 63621 markings/sec, 1310 secs
lola: 97187927 markings, 505844243 edges, 59868 markings/sec, 1315 secs
lola: 97470145 markings, 507763304 edges, 56444 markings/sec, 1320 secs
lola: 97762511 markings, 509684693 edges, 58473 markings/sec, 1325 secs
lola: 98035752 markings, 511591905 edges, 54648 markings/sec, 1330 secs
lola: 98298029 markings, 513488743 edges, 52455 markings/sec, 1335 secs
lola: 98586240 markings, 515395971 edges, 57642 markings/sec, 1340 secs
lola: 98860606 markings, 517292482 edges, 54873 markings/sec, 1345 secs
lola: 99124387 markings, 519182119 edges, 52756 markings/sec, 1350 secs
lola: 99545838 markings, 521064816 edges, 84290 markings/sec, 1355 secs
lola: 100036519 markings, 522931961 edges, 98136 markings/sec, 1360 secs
lola: 100506290 markings, 524786929 edges, 93954 markings/sec, 1365 secs
lola: 100951305 markings, 526625591 edges, 89003 markings/sec, 1370 secs
lola: 101399407 markings, 528462278 edges, 89620 markings/sec, 1375 secs
lola: 101893458 markings, 530322962 edges, 98810 markings/sec, 1380 secs
lola: 102385817 markings, 532192970 edges, 98472 markings/sec, 1385 secs
lola: 102851882 markings, 534050303 edges, 93213 markings/sec, 1390 secs
lola: 103302027 markings, 535894066 edges, 90029 markings/sec, 1395 secs
lola: 103743392 markings, 537733152 edges, 88273 markings/sec, 1400 secs
lola: 104249201 markings, 539607003 edges, 101162 markings/sec, 1405 secs
lola: 104742228 markings, 541494623 edges, 98605 markings/sec, 1410 secs
lola: 105210413 markings, 543365320 edges, 93637 markings/sec, 1415 secs
lola: 105665827 markings, 545228320 edges, 91083 markings/sec, 1420 secs
lola: 106101938 markings, 547080076 edges, 87222 markings/sec, 1425 secs
lola: 106497713 markings, 548944707 edges, 79155 markings/sec, 1430 secs
lola: 106856764 markings, 550803656 edges, 71810 markings/sec, 1435 secs
lola: 107209604 markings, 552654572 edges, 70568 markings/sec, 1440 secs
lola: 107539935 markings, 554490204 edges, 66066 markings/sec, 1445 secs
lola: 107863408 markings, 556316349 edges, 64695 markings/sec, 1450 secs
lola: 108200160 markings, 558147042 edges, 67350 markings/sec, 1455 secs
lola: 108514309 markings, 559962154 edges, 62830 markings/sec, 1460 secs
lola: 109059484 markings, 561854547 edges, 109035 markings/sec, 1465 secs
lola: 109540998 markings, 563722094 edges, 96303 markings/sec, 1470 secs
lola: 109977232 markings, 565574188 edges, 87247 markings/sec, 1475 secs
lola: 110441951 markings, 567423600 edges, 92944 markings/sec, 1480 secs
lola: 110883730 markings, 569269454 edges, 88356 markings/sec, 1485 secs
lola: 111420370 markings, 571161869 edges, 107328 markings/sec, 1490 secs
lola: 111896075 markings, 573031639 edges, 95141 markings/sec, 1495 secs
lola: 112330194 markings, 574885057 edges, 86824 markings/sec, 1500 secs
lola: 112800288 markings, 576733084 edges, 94019 markings/sec, 1505 secs
lola: 113249840 markings, 578580260 edges, 89910 markings/sec, 1510 secs
lola: 113781487 markings, 580488785 edges, 106329 markings/sec, 1515 secs
lola: 114261499 markings, 582374962 edges, 96002 markings/sec, 1520 secs
lola: 114696390 markings, 584244155 edges, 86978 markings/sec, 1525 secs
lola: 115171825 markings, 586117712 edges, 95087 markings/sec, 1530 secs
lola: 115588951 markings, 587981483 edges, 83425 markings/sec, 1535 secs
lola: 115965437 markings, 589855422 edges, 75297 markings/sec, 1540 secs
lola: 116314532 markings, 591713309 edges, 69819 markings/sec, 1545 secs
lola: 116660655 markings, 593566508 edges, 69225 markings/sec, 1550 secs
lola: 116976178 markings, 595401075 edges, 63105 markings/sec, 1555 secs
lola: 117322309 markings, 597240941 edges, 69226 markings/sec, 1560 secs
lola: 117648916 markings, 599074317 edges, 65321 markings/sec, 1565 secs
lola: 118103857 markings, 600943237 edges, 90988 markings/sec, 1570 secs
lola: 118602206 markings, 602834459 edges, 99670 markings/sec, 1575 secs
lola: 119074040 markings, 604714782 edges, 94367 markings/sec, 1580 secs
lola: 119530802 markings, 606583008 edges, 91352 markings/sec, 1585 secs
lola: 119974020 markings, 608444198 edges, 88644 markings/sec, 1590 secs
lola: 120489294 markings, 610332604 edges, 103055 markings/sec, 1595 secs
lola: 120983986 markings, 612225643 edges, 98938 markings/sec, 1600 secs
lola: 121450154 markings, 614102250 edges, 93234 markings/sec, 1605 secs
lola: 121904760 markings, 615969075 edges, 90921 markings/sec, 1610 secs
lola: 122341732 markings, 617826293 edges, 87394 markings/sec, 1615 secs
lola: 122876192 markings, 619738173 edges, 106892 markings/sec, 1620 secs
lola: 123377495 markings, 621647586 edges, 100261 markings/sec, 1625 secs
lola: 123830081 markings, 623537365 edges, 90517 markings/sec, 1630 secs
lola: 124294482 markings, 625418515 edges, 92880 markings/sec, 1635 secs
lola: 124727413 markings, 627284187 edges, 86586 markings/sec, 1640 secs
lola: 125119434 markings, 629172525 edges, 78404 markings/sec, 1645 secs
lola: 125473389 markings, 631047325 edges, 70791 markings/sec, 1650 secs
lola: 125827142 markings, 632914453 edges, 70751 markings/sec, 1655 secs
lola: 126155772 markings, 634769797 edges, 65726 markings/sec, 1660 secs
lola: 126498586 markings, 636623716 edges, 68563 markings/sec, 1665 secs
lola: 126831282 markings, 638470837 edges, 66539 markings/sec, 1670 secs
lola: 127171064 markings, 640327344 edges, 67956 markings/sec, 1675 secs
lola: 127551403 markings, 642219715 edges, 76068 markings/sec, 1680 secs
lola: 127903686 markings, 644093737 edges, 70457 markings/sec, 1685 secs
lola: 128252584 markings, 645964150 edges, 69780 markings/sec, 1690 secs
lola: 128570056 markings, 647811485 edges, 63494 markings/sec, 1695 secs
lola: 128920725 markings, 649672514 edges, 70134 markings/sec, 1700 secs
lola: 129247269 markings, 651518992 edges, 65309 markings/sec, 1705 secs
lola: 129616148 markings, 653393815 edges, 73776 markings/sec, 1710 secs
lola: 129985326 markings, 655279881 edges, 73836 markings/sec, 1715 secs
lola: 130338980 markings, 657149011 edges, 70731 markings/sec, 1720 secs
lola: 130673671 markings, 659008015 edges, 66938 markings/sec, 1725 secs
lola: 130997866 markings, 660854232 edges, 64839 markings/sec, 1730 secs
lola: 131342974 markings, 662705191 edges, 69022 markings/sec, 1735 secs
lola: 131658335 markings, 664540186 edges, 63072 markings/sec, 1740 secs
lola: 132048975 markings, 666443771 edges, 78128 markings/sec, 1745 secs
lola: 132408777 markings, 668338153 edges, 71960 markings/sec, 1750 secs
lola: 132765423 markings, 670223083 edges, 71329 markings/sec, 1755 secs
lola: 133098667 markings, 672095391 edges, 66649 markings/sec, 1760 secs
lola: 133442662 markings, 673964039 edges, 68799 markings/sec, 1765 secs
lola: 133777772 markings, 675826321 edges, 67022 markings/sec, 1770 secs
lola: 134087885 markings, 677681855 edges, 62023 markings/sec, 1775 secs
lola: 134385283 markings, 679555327 edges, 59480 markings/sec, 1780 secs
lola: 134664927 markings, 681421134 edges, 55929 markings/sec, 1785 secs
lola: 134944103 markings, 683275433 edges, 55835 markings/sec, 1790 secs
lola: 135210727 markings, 685120474 edges, 53325 markings/sec, 1795 secs
lola: 135464524 markings, 686952346 edges, 50759 markings/sec, 1800 secs
lola: 135737460 markings, 688791500 edges, 54587 markings/sec, 1805 secs
lola: 135999459 markings, 690621982 edges, 52400 markings/sec, 1810 secs
lola: 136251627 markings, 692442959 edges, 50434 markings/sec, 1815 secs
lola: 136727045 markings, 694301350 edges, 95084 markings/sec, 1820 secs
lola: 137211027 markings, 696157452 edges, 96796 markings/sec, 1825 secs
lola: 137667975 markings, 697998434 edges, 91390 markings/sec, 1830 secs
lola: 138115315 markings, 699831673 edges, 89468 markings/sec, 1835 secs
lola: 138544885 markings, 701654505 edges, 85914 markings/sec, 1840 secs
lola: 139063743 markings, 703514887 edges, 103772 markings/sec, 1845 secs
lola: 139546838 markings, 705371847 edges, 96619 markings/sec, 1850 secs
lola: 140000549 markings, 707213668 edges, 90742 markings/sec, 1855 secs
lola: 140447714 markings, 709046899 edges, 89433 markings/sec, 1860 secs
lola: 140877113 markings, 710871371 edges, 85880 markings/sec, 1865 secs
lola: 141403092 markings, 712748589 edges, 105196 markings/sec, 1870 secs
lola: 141893478 markings, 714622729 edges, 98077 markings/sec, 1875 secs
lola: 142344585 markings, 716481154 edges, 90221 markings/sec, 1880 secs
lola: 142798381 markings, 718331856 edges, 90759 markings/sec, 1885 secs
lola: 143228315 markings, 720171787 edges, 85987 markings/sec, 1890 secs
lola: 143617051 markings, 722029614 edges, 77747 markings/sec, 1895 secs
lola: 143969357 markings, 723876029 edges, 70461 markings/sec, 1900 secs
lola: 144318397 markings, 725716394 edges, 69808 markings/sec, 1905 secs
lola: 144647409 markings, 727544770 edges, 65802 markings/sec, 1910 secs
lola: 144975516 markings, 729364562 edges, 65621 markings/sec, 1915 secs
lola: 145306606 markings, 731185294 edges, 66218 markings/sec, 1920 secs
lola: 145648104 markings, 733000606 edges, 68300 markings/sec, 1925 secs
lola: 146179311 markings, 734877640 edges, 106241 markings/sec, 1930 secs
lola: 146652061 markings, 736734374 edges, 94550 markings/sec, 1935 secs
lola: 147082956 markings, 738574854 edges, 86179 markings/sec, 1940 secs
lola: 147551681 markings, 740418152 edges, 93745 markings/sec, 1945 secs
lola: 147996749 markings, 742255600 edges, 89014 markings/sec, 1950 secs
lola: 148524130 markings, 744135373 edges, 105476 markings/sec, 1955 secs
lola: 148996275 markings, 745992442 edges, 94429 markings/sec, 1960 secs
lola: 149424768 markings, 747833408 edges, 85699 markings/sec, 1965 secs
lola: 149893785 markings, 749672818 edges, 93803 markings/sec, 1970 secs
lola: 150350635 markings, 751515121 edges, 91370 markings/sec, 1975 secs
lola: 150869888 markings, 753408592 edges, 103851 markings/sec, 1980 secs
lola: 151348506 markings, 755284043 edges, 95724 markings/sec, 1985 secs
lola: 151783680 markings, 757144576 edges, 87035 markings/sec, 1990 secs
lola: 152254805 markings, 759005761 edges, 94225 markings/sec, 1995 secs
lola: 152668345 markings, 760860466 edges, 82708 markings/sec, 2000 secs
lola: 153041579 markings, 762724243 edges, 74647 markings/sec, 2005 secs
lola: 153389090 markings, 764573814 edges, 69502 markings/sec, 2010 secs
lola: 153733750 markings, 766419526 edges, 68932 markings/sec, 2015 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no no unknown no yes yes no yes unknown no yes yes unknown no
lola:
preliminary result: no no no no unknown no yes yes no yes unknown no yes yes unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no unknown no yes yes no yes unknown no yes yes unknown no
lola: memory consumption: 12543544 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 12543544 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no unknown no yes yes no yes unknown no yes yes unknown no
BK_TIME_CONFINEMENT_REACHED
--------------------
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-02b"
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-02b.tgz
mv DES-PT-02b 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-02b, 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-152646380000193"
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 ;