About the Execution of LoLA for DES-PT-50b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7604.520 | 3600000.00 | 3634118.00 | 8203.90 | TTFTFFFFT?T?TTF? | 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 300K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18: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.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 127K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DES-PT-50b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646380100277
=====================================================================
--------------------
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-50b-CTLFireability-00
FORMULA_NAME DES-PT-50b-CTLFireability-01
FORMULA_NAME DES-PT-50b-CTLFireability-02
FORMULA_NAME DES-PT-50b-CTLFireability-03
FORMULA_NAME DES-PT-50b-CTLFireability-04
FORMULA_NAME DES-PT-50b-CTLFireability-05
FORMULA_NAME DES-PT-50b-CTLFireability-06
FORMULA_NAME DES-PT-50b-CTLFireability-07
FORMULA_NAME DES-PT-50b-CTLFireability-08
FORMULA_NAME DES-PT-50b-CTLFireability-09
FORMULA_NAME DES-PT-50b-CTLFireability-10
FORMULA_NAME DES-PT-50b-CTLFireability-11
FORMULA_NAME DES-PT-50b-CTLFireability-12
FORMULA_NAME DES-PT-50b-CTLFireability-13
FORMULA_NAME DES-PT-50b-CTLFireability-14
FORMULA_NAME DES-PT-50b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526637202154
info: Time: 3600 - MCC
===========================================================================================
prep: translating DES-PT-50b 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-50b formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DES-PT-50b @ 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: 909/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 479
lola: finding significant places
lola: 479 places, 430 transitions, 414 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 527 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-50b-CTLFireability.task
lola: E (F (NOT(E (F ((FIREABLE(t327) AND FIREABLE(t341))))))) : (NOT(A (F (FIREABLE(t145)))) OR FIREABLE(t165)) : E (X (A (F (FIREABLE(t312))))) : (E (((NOT FIREABLE(t251) AND (FIREABLE(t111) OR FIREABLE(t23))) U E (F (FIREABLE(t127))))) OR (E (G ((FIREABLE(t275) AND NOT FIREABLE(t297)))) AND FIREABLE(t324))) : (E (G (A (F ((FIREABLE(t349) AND FIREABLE(t79)))))) OR FIREABLE(t38)) : (A (G (A (F ((FIREABLE(t247) OR FIREABLE(t207)))))) OR E (X ((A (G (FIREABLE(t329))) AND (NOT FIREABLE(t174) OR NOT FIREABLE(t286)))))) : E (X (((A (F (FIREABLE(t230))) AND A (F (FIREABLE(t421)))) OR FIREABLE(t238)))) : E (G (A (F ((FIREABLE(t34) AND FIREABLE(t159) AND FIREABLE(t413)))))) : NOT(NOT(E (F (FIREABLE(t114))))) : A (((NOT FIREABLE(t267) OR NOT FIREABLE(t255) OR (NOT FIREABLE(t187) AND NOT FIREABLE(t87))) U E ((FIREABLE(t90) U FIREABLE(t26))))) : E ((E (G (NOT FIREABLE(t183))) U A (X ((FIREABLE(t266) AND FIREABLE(t426)))))) : NOT(A (F ((E (F (FIREABLE(t121))) AND (FIREABLE(t79) AND (FIREABLE(t15) OR FIREABLE(t34))))))) : NOT((NOT(E (F ((FIREABLE(t287) AND FIREABLE(t159))))) AND NOT(((NOT FIREABLE(t124) OR NOT FIREABLE(t310)) AND E (G (FIREABLE(t242))))))) : E ((E (X ((FIREABLE(t222) OR FIREABLE(t253)))) U NOT(A (F (FIREABLE(t315)))))) : (A (F ((E (G (FIREABLE(t205))) OR (FIREABLE(t172) AND FIREABLE(t125) AND FIREABLE(t322))))) AND NOT FIREABLE(t114)) : ((A (((FIREABLE(t228) AND FIREABLE(t201)) U (FIREABLE(t344) AND FIREABLE(t338)))) OR (((FIREABLE(t406) OR FIREABLE(t378) OR (FIREABLE(t409) AND FIREABLE(t335))) AND NOT FIREABLE(t401)) AND A (F (FIREABLE(t82))))) OR E (F (FIREABLE(t357))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:473
lola: rewrite Frontend/Parser/formula_rewrite.k:554
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:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
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 (X (A (F (FIREABLE(t312)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(A(TRUE U FIREABLE(t312)))
lola: processed formula length: 28
lola: 44 rewrites
lola: closed formula file DES-PT-50b-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: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 84 markings, 83 edges
lola: ========================================
FORMULA DES-PT-50b-CTLFireability-2 FALSE 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: (A (G (A (F ((FIREABLE(t247) OR FIREABLE(t207)))))) OR E (X ((A (G (FIREABLE(t329))) AND (NOT FIREABLE(t174) OR NOT FIREABLE(t286))))))
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 (G (A (F ((FIREABLE(t247) OR FIREABLE(t207))))))
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(t247) AND NOT FIREABLE(t207))
lola: processed formula length: 43
lola: 44 rewrites
lola: closed formula file DES-PT-50b-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: 87 markings, 86 edges
lola: ========================================
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((A (G (FIREABLE(t329))) AND (NOT FIREABLE(t174) OR NOT FIREABLE(t286)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: EX((NOT(E(TRUE U NOT FIREABLE(t329))) AND (NOT FIREABLE(t174) OR NOT FIREABLE(t286))))
lola: processed formula length: 87
lola: 45 rewrites
lola: closed formula file DES-PT-50b-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: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DES-PT-50b-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X ((A (F (FIREABLE(t230))) AND A (F (FIREABLE(t421)))))) OR E (X (FIREABLE(t238))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (FIREABLE(t238)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(FIREABLE(t238))
lola: processed formula length: 18
lola: 43 rewrites
lola: closed formula file DES-PT-50b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((A (F (FIREABLE(t230))) AND A (F (FIREABLE(t421))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX((A(TRUE U FIREABLE(t230)) AND A(TRUE U FIREABLE(t421))))
lola: processed formula length: 59
lola: 45 rewrites
lola: closed formula file DES-PT-50b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 84 markings, 83 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DES-PT-50b-CTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (G (NOT FIREABLE(t183))) U A (X ((FIREABLE(t266) AND FIREABLE(t426))))))
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:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(NOT(A(TRUE U FIREABLE(t183))) U AX((FIREABLE(t266) AND FIREABLE(t426))))
lola: processed formula length: 74
lola: 46 rewrites
lola: closed formula file DES-PT-50b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 243 markings, 410 edges
lola: ========================================
FORMULA DES-PT-50b-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (X ((FIREABLE(t222) OR FIREABLE(t253)))) U E (G (NOT FIREABLE(t315)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: E(EX((FIREABLE(t222) OR FIREABLE(t253))) U NOT(A(TRUE U FIREABLE(t315))))
lola: processed formula length: 74
lola: 46 rewrites
lola: closed formula file DES-PT-50b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 85 markings, 85 edges
lola: ========================================
FORMULA DES-PT-50b-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t114)))
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(t114)))
lola: processed formula length: 22
lola: 43 rewrites
lola: closed formula file DES-PT-50b-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(t114)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-50b-CTLFireability-5-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 22 markings, 21 edges
lola: ========================================
FORMULA DES-PT-50b-CTLFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((NOT FIREABLE(t327) OR NOT FIREABLE(t341))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: (FIREABLE(t327) AND FIREABLE(t341))
lola: processed formula length: 35
lola: 44 rewrites
lola: closed formula file DES-PT-50b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: tscc_search
lola: The predicate is cwpossibly invariant.
lola: 93 markings, 92 edges
lola: ========================================
FORMULA DES-PT-50b-CTLFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((FIREABLE(t34) AND FIREABLE(t159) AND FIREABLE(t413))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U (FIREABLE(t34) AND FIREABLE(t159) AND FIREABLE(t413))))))
lola: processed formula length: 83
lola: 44 rewrites
lola: closed formula file DES-PT-50b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 85 markings, 85 edges
lola: ========================================
FORMULA DES-PT-50b-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((A (G (NOT FIREABLE(t121))) OR (NOT FIREABLE(t79) OR (NOT FIREABLE(t15) AND NOT FIREABLE(t34))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: NOT(A(TRUE U (E(TRUE U FIREABLE(t121)) AND (FIREABLE(t79) AND (FIREABLE(t15) OR FIREABLE(t34))))))
lola: processed formula length: 99
lola: 48 rewrites
lola: closed formula file DES-PT-50b-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: 230540 markings, 1151251 edges, 46108 markings/sec, 0 secs
lola: 465112 markings, 2397796 edges, 46914 markings/sec, 5 secs
lola: 691415 markings, 3639813 edges, 45261 markings/sec, 10 secs
lola: 901355 markings, 4878891 edges, 41988 markings/sec, 15 secs
lola: 1099572 markings, 6120007 edges, 39643 markings/sec, 20 secs
lola: 1298380 markings, 7358876 edges, 39762 markings/sec, 25 secs
lola: 1500722 markings, 8597309 edges, 40468 markings/sec, 30 secs
lola: 1699504 markings, 9837186 edges, 39756 markings/sec, 35 secs
lola: 1899052 markings, 11081890 edges, 39910 markings/sec, 40 secs
lola: 2094650 markings, 12317469 edges, 39120 markings/sec, 45 secs
lola: 2317244 markings, 13543375 edges, 44519 markings/sec, 50 secs
lola: 2529782 markings, 14760895 edges, 42508 markings/sec, 55 secs
lola: 2716237 markings, 15978264 edges, 37291 markings/sec, 60 secs
lola: 2907106 markings, 17192804 edges, 38174 markings/sec, 65 secs
lola: 3093232 markings, 18407737 edges, 37225 markings/sec, 70 secs
lola: 3287690 markings, 19621789 edges, 38892 markings/sec, 75 secs
lola: 3505300 markings, 20835219 edges, 43522 markings/sec, 80 secs
lola: 3714778 markings, 22044506 edges, 41896 markings/sec, 85 secs
lola: 3900125 markings, 23254081 edges, 37069 markings/sec, 90 secs
lola: 4089800 markings, 24461258 edges, 37935 markings/sec, 95 secs
lola: 4274895 markings, 25669082 edges, 37019 markings/sec, 100 secs
lola: 4458872 markings, 26873117 edges, 36795 markings/sec, 105 secs
lola: 4623875 markings, 28070163 edges, 33001 markings/sec, 110 secs
lola: 4810879 markings, 29206463 edges, 37401 markings/sec, 115 secs
lola: 5041490 markings, 30439188 edges, 46122 markings/sec, 120 secs
lola: 5258062 markings, 31666392 edges, 43314 markings/sec, 125 secs
lola: 5453903 markings, 32893084 edges, 39168 markings/sec, 130 secs
lola: 5649345 markings, 34119207 edges, 39088 markings/sec, 135 secs
lola: 5847334 markings, 35342585 edges, 39598 markings/sec, 140 secs
lola: 6042156 markings, 36567163 edges, 38964 markings/sec, 145 secs
lola: 6255569 markings, 37783537 edges, 42683 markings/sec, 150 secs
lola: 6459205 markings, 38992681 edges, 40727 markings/sec, 155 secs
lola: 6649273 markings, 40202023 edges, 38014 markings/sec, 160 secs
lola: 6836864 markings, 41410248 edges, 37518 markings/sec, 165 secs
lola: 7047109 markings, 42616406 edges, 42049 markings/sec, 170 secs
lola: 7251078 markings, 43818624 edges, 40794 markings/sec, 175 secs
lola: 7438696 markings, 45022266 edges, 37524 markings/sec, 180 secs
lola: 7625426 markings, 46223692 edges, 37346 markings/sec, 185 secs
lola: 7804991 markings, 47416768 edges, 35913 markings/sec, 190 secs
lola: 7992058 markings, 48619945 edges, 37413 markings/sec, 195 secs
lola: 8221839 markings, 49848759 edges, 45956 markings/sec, 200 secs
lola: 8443795 markings, 51073838 edges, 44391 markings/sec, 205 secs
lola: 8638828 markings, 52296821 edges, 39007 markings/sec, 210 secs
lola: 8830695 markings, 53520488 edges, 38373 markings/sec, 215 secs
lola: 9021482 markings, 54677310 edges, 38157 markings/sec, 220 secs
lola: 9219222 markings, 55902572 edges, 39548 markings/sec, 225 secs
lola: 9424486 markings, 57119696 edges, 41053 markings/sec, 230 secs
lola: 9635210 markings, 58330548 edges, 42145 markings/sec, 235 secs
lola: 9821869 markings, 59540119 edges, 37332 markings/sec, 240 secs
lola: 10011552 markings, 60749204 edges, 37937 markings/sec, 245 secs
lola: 10216702 markings, 61956058 edges, 41030 markings/sec, 250 secs
lola: 10427964 markings, 63160772 edges, 42252 markings/sec, 255 secs
lola: 10614107 markings, 64363743 edges, 37229 markings/sec, 260 secs
lola: 10802400 markings, 65565275 edges, 37659 markings/sec, 265 secs
lola: 10985778 markings, 66763090 edges, 36676 markings/sec, 270 secs
lola: 11150068 markings, 67958055 edges, 32858 markings/sec, 275 secs
lola: 11331659 markings, 69177949 edges, 36318 markings/sec, 280 secs
lola: 11495046 markings, 70390216 edges, 32677 markings/sec, 285 secs
lola: 11654765 markings, 71602793 edges, 31944 markings/sec, 290 secs
lola: 11813161 markings, 72818917 edges, 31679 markings/sec, 295 secs
lola: 11985654 markings, 74024133 edges, 34499 markings/sec, 300 secs
lola: 12141478 markings, 75226581 edges, 31165 markings/sec, 305 secs
lola: 12301932 markings, 76428312 edges, 32091 markings/sec, 310 secs
lola: 12467664 markings, 77625041 edges, 33146 markings/sec, 315 secs
lola: 12622830 markings, 78821639 edges, 31033 markings/sec, 320 secs
lola: 12769146 markings, 80015339 edges, 29263 markings/sec, 325 secs
lola: 12931322 markings, 81219354 edges, 32435 markings/sec, 330 secs
lola: 13168100 markings, 82461150 edges, 47356 markings/sec, 335 secs
lola: 13402034 markings, 83703919 edges, 46787 markings/sec, 340 secs
lola: 13627855 markings, 84941448 edges, 45164 markings/sec, 345 secs
lola: 13826565 markings, 86176479 edges, 39742 markings/sec, 350 secs
lola: 14024960 markings, 87413802 edges, 39679 markings/sec, 355 secs
lola: 14218865 markings, 88649434 edges, 38781 markings/sec, 360 secs
lola: 14425021 markings, 89883921 edges, 41231 markings/sec, 365 secs
lola: 14622968 markings, 91118366 edges, 39589 markings/sec, 370 secs
lola: 14823068 markings, 92354784 edges, 40020 markings/sec, 375 secs
lola: 15023995 markings, 93583878 edges, 40185 markings/sec, 380 secs
lola: 15242893 markings, 94807800 edges, 43780 markings/sec, 385 secs
lola: 15447678 markings, 96024037 edges, 40957 markings/sec, 390 secs
lola: 15634480 markings, 97243841 edges, 37360 markings/sec, 395 secs
lola: 15825252 markings, 98457557 edges, 38154 markings/sec, 400 secs
lola: 16011726 markings, 99675127 edges, 37295 markings/sec, 405 secs
lola: 16214971 markings, 100888691 edges, 40649 markings/sec, 410 secs
lola: 16433115 markings, 102101430 edges, 43629 markings/sec, 415 secs
lola: 16633560 markings, 103308966 edges, 40089 markings/sec, 420 secs
lola: 16819003 markings, 104520501 edges, 37089 markings/sec, 425 secs
lola: 17008003 markings, 105726770 edges, 37800 markings/sec, 430 secs
lola: 17193361 markings, 106936236 edges, 37072 markings/sec, 435 secs
lola: 17375497 markings, 108137682 edges, 36427 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown no unknown unknown no no no yes unknown yes unknown unknown yes unknown unknown
lola: memory consumption: 1430084 KB
lola: time consumption: 446 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t267) OR NOT FIREABLE(t255) OR (NOT FIREABLE(t187) AND NOT FIREABLE(t87))) U E ((FIREABLE(t90) U FIREABLE(t26)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A((NOT FIREABLE(t267) OR NOT FIREABLE(t255) OR (NOT FIREABLE(t187) AND NOT FIREABLE(t87))) U E(FIREABLE(t90) U FIREABLE(t26)))
lola: processed formula length: 128
lola: 44 rewrites
lola: closed formula file DES-PT-50b-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: 266243 markings, 1186183 edges, 53249 markings/sec, 0 secs
lola: 532163 markings, 2388419 edges, 53184 markings/sec, 5 secs
lola: 724514 markings, 3517165 edges, 38470 markings/sec, 10 secs
lola: 963157 markings, 4712724 edges, 47729 markings/sec, 15 secs
lola: 1212392 markings, 5831731 edges, 49847 markings/sec, 20 secs
lola: 1439604 markings, 7029478 edges, 45442 markings/sec, 25 secs
lola: 1656331 markings, 8150342 edges, 43345 markings/sec, 30 secs
lola: 1906823 markings, 9353452 edges, 50098 markings/sec, 35 secs
lola: 2154259 markings, 10555309 edges, 49487 markings/sec, 40 secs
lola: 2349642 markings, 11761948 edges, 39077 markings/sec, 45 secs
lola: 2544057 markings, 12962489 edges, 38883 markings/sec, 50 secs
lola: 2739086 markings, 14166999 edges, 39006 markings/sec, 55 secs
lola: 2917279 markings, 15370406 edges, 35639 markings/sec, 60 secs
lola: 3085695 markings, 16572726 edges, 33683 markings/sec, 65 secs
lola: 3354185 markings, 17770217 edges, 53698 markings/sec, 70 secs
lola: 3608269 markings, 18970854 edges, 50817 markings/sec, 75 secs
lola: 3805105 markings, 20178580 edges, 39367 markings/sec, 80 secs
lola: 4069836 markings, 21376081 edges, 52946 markings/sec, 85 secs
lola: 4336113 markings, 22574867 edges, 53255 markings/sec, 90 secs
lola: 4540711 markings, 23780177 edges, 40920 markings/sec, 95 secs
lola: 4746046 markings, 24978181 edges, 41067 markings/sec, 100 secs
lola: 4954835 markings, 26179852 edges, 41758 markings/sec, 105 secs
lola: 5163470 markings, 27378571 edges, 41727 markings/sec, 110 secs
lola: 5321790 markings, 28522319 edges, 31664 markings/sec, 115 secs
lola: 5576726 markings, 29720137 edges, 50987 markings/sec, 120 secs
lola: 5844905 markings, 30918627 edges, 53636 markings/sec, 125 secs
lola: 6054943 markings, 32121945 edges, 42008 markings/sec, 130 secs
lola: 6274418 markings, 33325080 edges, 43895 markings/sec, 135 secs
lola: 6509365 markings, 34530690 edges, 46989 markings/sec, 140 secs
lola: 6728448 markings, 35735187 edges, 43817 markings/sec, 145 secs
lola: 6923690 markings, 36940198 edges, 39048 markings/sec, 150 secs
lola: 7162300 markings, 38142607 edges, 47722 markings/sec, 155 secs
lola: 7396244 markings, 39345936 edges, 46789 markings/sec, 160 secs
lola: 7584592 markings, 40554974 edges, 37670 markings/sec, 165 secs
lola: 7802039 markings, 41760075 edges, 43489 markings/sec, 170 secs
lola: 8037697 markings, 42963002 edges, 47132 markings/sec, 175 secs
lola: 8255834 markings, 44168385 edges, 43627 markings/sec, 180 secs
lola: 8439173 markings, 45373366 edges, 36668 markings/sec, 185 secs
lola: 8633387 markings, 46573356 edges, 38843 markings/sec, 190 secs
lola: 8827843 markings, 47774115 edges, 38891 markings/sec, 195 secs
lola: 9006690 markings, 48972108 edges, 35769 markings/sec, 200 secs
lola: 9166697 markings, 50168188 edges, 32001 markings/sec, 205 secs
lola: 9403217 markings, 51360803 edges, 47304 markings/sec, 210 secs
lola: 9639144 markings, 52550561 edges, 47185 markings/sec, 215 secs
lola: 9835554 markings, 53744638 edges, 39282 markings/sec, 220 secs
lola: 10046009 markings, 54932583 edges, 42091 markings/sec, 225 secs
lola: 10270935 markings, 56118409 edges, 44985 markings/sec, 230 secs
lola: 10495190 markings, 57303972 edges, 44851 markings/sec, 235 secs
lola: 10671465 markings, 58493902 edges, 35255 markings/sec, 240 secs
lola: 10889156 markings, 59596009 edges, 43538 markings/sec, 245 secs
lola: 11126652 markings, 60792863 edges, 47499 markings/sec, 250 secs
lola: 11332280 markings, 61989228 edges, 41126 markings/sec, 255 secs
lola: 11509463 markings, 63183667 edges, 35437 markings/sec, 260 secs
lola: 11686413 markings, 64374896 edges, 35390 markings/sec, 265 secs
lola: 11862325 markings, 65566869 edges, 35182 markings/sec, 270 secs
lola: 12031742 markings, 66758977 edges, 33883 markings/sec, 275 secs
lola: 12176041 markings, 67951765 edges, 28860 markings/sec, 280 secs
lola: 12396102 markings, 69144766 edges, 44012 markings/sec, 285 secs
lola: 12632857 markings, 70338466 edges, 47351 markings/sec, 290 secs
lola: 12842648 markings, 71532323 edges, 41958 markings/sec, 295 secs
lola: 13041430 markings, 72726084 edges, 39756 markings/sec, 300 secs
lola: 13277842 markings, 73918179 edges, 47282 markings/sec, 305 secs
lola: 13505576 markings, 75110271 edges, 45547 markings/sec, 310 secs
lola: 13689594 markings, 76304748 edges, 36804 markings/sec, 315 secs
lola: 13879434 markings, 77492903 edges, 37968 markings/sec, 320 secs
lola: 14071518 markings, 78683035 edges, 38417 markings/sec, 325 secs
lola: 14263642 markings, 79873488 edges, 38425 markings/sec, 330 secs
lola: 14424283 markings, 81062677 edges, 32128 markings/sec, 335 secs
lola: 14627654 markings, 82253658 edges, 40674 markings/sec, 340 secs
lola: 14853252 markings, 83451063 edges, 45120 markings/sec, 345 secs
lola: 15078868 markings, 84647302 edges, 45123 markings/sec, 350 secs
lola: 15260223 markings, 85847263 edges, 36271 markings/sec, 355 secs
lola: 15473584 markings, 87047720 edges, 42672 markings/sec, 360 secs
lola: 15688671 markings, 88250357 edges, 43017 markings/sec, 365 secs
lola: 15881751 markings, 89451567 edges, 38616 markings/sec, 370 secs
lola: 16058363 markings, 90651081 edges, 35322 markings/sec, 375 secs
lola: 16270111 markings, 91840103 edges, 42350 markings/sec, 380 secs
lola: 16481639 markings, 93029860 edges, 42306 markings/sec, 385 secs
lola: 16665838 markings, 94219450 edges, 36840 markings/sec, 390 secs
lola: 16847645 markings, 95408035 edges, 36361 markings/sec, 395 secs
lola: 17059621 markings, 96595811 edges, 42395 markings/sec, 400 secs
lola: 17270733 markings, 97782460 edges, 42222 markings/sec, 405 secs
lola: 17448898 markings, 98971841 edges, 35633 markings/sec, 410 secs
lola: 17617682 markings, 100160259 edges, 33757 markings/sec, 415 secs
lola: 17794394 markings, 101351450 edges, 35342 markings/sec, 420 secs
lola: 17971214 markings, 102543628 edges, 35364 markings/sec, 425 secs
lola: 18137500 markings, 103734787 edges, 33257 markings/sec, 430 secs
lola: 18280370 markings, 104928245 edges, 28574 markings/sec, 435 secs
lola: 18537009 markings, 106123931 edges, 51328 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown no unknown unknown no no no yes unknown yes unknown unknown yes unknown unknown
lola: memory consumption: 1523476 KB
lola: time consumption: 892 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (NOT FIREABLE(t145))) OR FIREABLE(t165))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t165)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t165)
lola: processed formula length: 14
lola: 42 rewrites
lola: closed formula file DES-PT-50b-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 535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t145)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t145)))
lola: processed formula length: 26
lola: 42 rewrites
lola: closed formula file DES-PT-50b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 87 markings, 86 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-50b-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (A (F ((FIREABLE(t349) AND FIREABLE(t79)))))) OR FIREABLE(t38))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t38)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t38)
lola: processed formula length: 13
lola: 42 rewrites
lola: closed formula file DES-PT-50b-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 669 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((FIREABLE(t349) AND FIREABLE(t79))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U (FIREABLE(t349) AND FIREABLE(t79))))))
lola: processed formula length: 64
lola: 44 rewrites
lola: closed formula file DES-PT-50b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 85 markings, 85 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DES-PT-50b-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 669 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (FIREABLE(t127))) OR (E (G ((FIREABLE(t275) AND NOT FIREABLE(t297)))) AND FIREABLE(t324)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 669 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t324)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t324)
lola: processed formula length: 14
lola: 42 rewrites
lola: closed formula file DES-PT-50b-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 13 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t127)))
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(t127)))
lola: processed formula length: 22
lola: 43 rewrites
lola: closed formula file DES-PT-50b-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(t127)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 15 markings, 14 edges
lola: state equation: write sara problem file to DES-PT-50b-CTLFireability-13-0.sara
lola: lola: lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
state equation: calling and running sara
FORMULA DES-PT-50b-CTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
sara: try reading problem file DES-PT-50b-CTLFireability-13-0.sara.
lola: subprocess 13 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((FIREABLE(t287) AND FIREABLE(t159)))) OR ((NOT FIREABLE(t124) OR NOT FIREABLE(t310)) AND E (G (FIREABLE(t242)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t124) OR NOT FIREABLE(t310))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t124) OR NOT FIREABLE(t310))
lola: processed formula length: 43
lola: 42 rewrites
lola: closed formula file DES-PT-50b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1339 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(t242)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (FIREABLE(t242)))
lola: processed formula length: 22
lola: 42 rewrites
lola: closed formula file DES-PT-50b-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 is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2678 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t287) AND FIREABLE(t159))))
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(t287) AND FIREABLE(t159))))
lola: processed formula length: 43
lola: 43 rewrites
lola: closed formula file DES-PT-50b-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(t287) AND FIREABLE(t159))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-50b-CTLFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-50b-CTLFireability-15-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 679774 markings, 947057 edges, 135955 markings/sec, 0 secs
lola: sara is running 5 secs || 1347561 markings, 1962539 edges, 133557 markings/sec, 5 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 1674087 markings, 2526499 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-50b-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((E (G (FIREABLE(t205))) OR (FIREABLE(t172) AND FIREABLE(t125) AND FIREABLE(t322))))) AND NOT FIREABLE(t114))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t114)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t114)
lola: processed formula length: 18
lola: 42 rewrites
lola: closed formula file DES-PT-50b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2665 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((E (G (FIREABLE(t205))) OR (FIREABLE(t172) AND FIREABLE(t125) AND FIREABLE(t322)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U (NOT(A(TRUE U NOT FIREABLE(t205))) OR (FIREABLE(t172) AND FIREABLE(t125) AND FIREABLE(t322))))
lola: processed formula length: 103
lola: 45 rewrites
lola: closed formula file DES-PT-50b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 85 markings, 169 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DES-PT-50b-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2665 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (((FIREABLE(t228) AND FIREABLE(t201)) U (FIREABLE(t344) AND FIREABLE(t338)))) OR ((((FIREABLE(t406) OR FIREABLE(t378) OR (FIREABLE(t409) AND FIREABLE(t335))) AND NOT FIREABLE(t401)) AND A (F (FIREABLE(t82)))) OR E (F (FIREABLE(t357)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2665 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t406) OR FIREABLE(t378) OR (FIREABLE(t409) AND FIREABLE(t335))) AND NOT FIREABLE(t401))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((FIREABLE(t406) OR FIREABLE(t378) OR (FIREABLE(t409) AND FIREABLE(t335))) AND NOT FIREABLE(t401))
lola: processed formula length: 100
lola: 42 rewrites
lola: closed formula file DES-PT-50b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t228) AND FIREABLE(t201)) U (FIREABLE(t344) AND FIREABLE(t338))))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (((FIREABLE(t228) AND FIREABLE(t201)) U (FIREABLE(t344) AND FIREABLE(t338))))
lola: processed formula length: 79
lola: 46 rewrites
lola: closed formula file DES-PT-50b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (G ((A (G (NOT FIREABLE(t121))) OR (NOT FIREABLE(t79) OR (NOT FIREABLE(t15) AND NOT FIREABLE(t34))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: NOT(A(TRUE U (E(TRUE U FIREABLE(t121)) AND (FIREABLE(t79) AND (FIREABLE(t15) OR FIREABLE(t34))))))
lola: processed formula length: 99
lola: 48 rewrites
lola: closed formula file DES-PT-50b-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: 247696 markings, 1244194 edges, 49539 markings/sec, 0 secs
lola: 483063 markings, 2488555 edges, 47073 markings/sec, 5 secs
lola: 709646 markings, 3728782 edges, 45317 markings/sec, 10 secs
lola: 915523 markings, 4965658 edges, 41175 markings/sec, 15 secs
lola: 1114069 markings, 6204081 edges, 39709 markings/sec, 20 secs
lola: 1310642 markings, 7441588 edges, 39315 markings/sec, 25 secs
lola: 1513529 markings, 8678178 edges, 40577 markings/sec, 30 secs
lola: 1711466 markings, 9913300 edges, 39587 markings/sec, 35 secs
lola: 1909987 markings, 11150824 edges, 39704 markings/sec, 40 secs
lola: 2108740 markings, 12384770 edges, 39751 markings/sec, 45 secs
lola: 2328922 markings, 13610088 edges, 44036 markings/sec, 50 secs
lola: 2540465 markings, 14831583 edges, 42309 markings/sec, 55 secs
lola: 2727320 markings, 16051749 edges, 37371 markings/sec, 60 secs
lola: 2918560 markings, 17269113 edges, 38248 markings/sec, 65 secs
lola: 3104916 markings, 18485868 edges, 37271 markings/sec, 70 secs
lola: 3302907 markings, 19701810 edges, 39598 markings/sec, 75 secs
lola: 3520064 markings, 20915576 edges, 43431 markings/sec, 80 secs
lola: 3726792 markings, 22119816 edges, 41346 markings/sec, 85 secs
lola: 3912184 markings, 23330098 edges, 37078 markings/sec, 90 secs
lola: 4099796 markings, 24527690 edges, 37522 markings/sec, 95 secs
lola: 4283754 markings, 25728592 edges, 36792 markings/sec, 100 secs
lola: 4466379 markings, 26922313 edges, 36525 markings/sec, 105 secs
lola: 4629013 markings, 28107962 edges, 32527 markings/sec, 110 secs
lola: 4830417 markings, 29313163 edges, 40281 markings/sec, 115 secs
lola: 5047743 markings, 30473837 edges, 43465 markings/sec, 120 secs
lola: 5264042 markings, 31703576 edges, 43260 markings/sec, 125 secs
lola: 5460008 markings, 32932250 edges, 39193 markings/sec, 130 secs
lola: 5656872 markings, 34160258 edges, 39373 markings/sec, 135 secs
lola: 5854879 markings, 35385722 edges, 39601 markings/sec, 140 secs
lola: 6048592 markings, 36611757 edges, 38743 markings/sec, 145 secs
lola: 6264241 markings, 37830765 edges, 43130 markings/sec, 150 secs
lola: 6466725 markings, 39041820 edges, 40497 markings/sec, 155 secs
lola: 6656889 markings, 40251970 edges, 38033 markings/sec, 160 secs
lola: 6844408 markings, 41460883 edges, 37504 markings/sec, 165 secs
lola: 7056803 markings, 42671296 edges, 42479 markings/sec, 170 secs
lola: 7260327 markings, 43877952 edges, 40705 markings/sec, 175 secs
lola: 7449635 markings, 45085105 edges, 37862 markings/sec, 180 secs
lola: 7637153 markings, 46291156 edges, 37504 markings/sec, 185 secs
lola: 7814984 markings, 47487724 edges, 35566 markings/sec, 190 secs
lola: 8005928 markings, 48695455 edges, 38189 markings/sec, 195 secs
lola: 8236217 markings, 49927102 edges, 46058 markings/sec, 200 secs
lola: 8456068 markings, 51152896 edges, 43970 markings/sec, 205 secs
lola: 8651318 markings, 52376469 edges, 39050 markings/sec, 210 secs
lola: 8843049 markings, 53600002 edges, 38346 markings/sec, 215 secs
lola: 9044657 markings, 54820113 edges, 40322 markings/sec, 220 secs
lola: 9240252 markings, 56042400 edges, 39119 markings/sec, 225 secs
lola: 9449380 markings, 57258499 edges, 41826 markings/sec, 230 secs
lola: 9656490 markings, 58467644 edges, 41422 markings/sec, 235 secs
lola: 9843562 markings, 59676539 edges, 37414 markings/sec, 240 secs
lola: 10032297 markings, 60882831 edges, 37747 markings/sec, 245 secs
lola: 10240289 markings, 62087076 edges, 41598 markings/sec, 250 secs
lola: 10447416 markings, 63287632 edges, 41425 markings/sec, 255 secs
lola: 10632560 markings, 64488005 edges, 37029 markings/sec, 260 secs
lola: 10820995 markings, 65687273 edges, 37687 markings/sec, 265 secs
lola: 11002677 markings, 66879390 edges, 36336 markings/sec, 270 secs
lola: 11168602 markings, 68074431 edges, 33185 markings/sec, 275 secs
lola: 11347634 markings, 69295195 edges, 35806 markings/sec, 280 secs
lola: 11510700 markings, 70508556 edges, 32613 markings/sec, 285 secs
lola: 11670451 markings, 71721231 edges, 31950 markings/sec, 290 secs
lola: 11828898 markings, 72938347 edges, 31689 markings/sec, 295 secs
lola: 12000820 markings, 74141793 edges, 34384 markings/sec, 300 secs
lola: 12156674 markings, 75343742 edges, 31171 markings/sec, 305 secs
lola: 12318614 markings, 76544553 edges, 32388 markings/sec, 310 secs
lola: 12482494 markings, 77740314 edges, 32776 markings/sec, 315 secs
lola: 12637614 markings, 78936512 edges, 31024 markings/sec, 320 secs
lola: 12781892 markings, 80129709 edges, 28856 markings/sec, 325 secs
lola: 12956018 markings, 81336927 edges, 34825 markings/sec, 330 secs
lola: 13189072 markings, 82574941 edges, 46611 markings/sec, 335 secs
lola: 13423710 markings, 83813912 edges, 46928 markings/sec, 340 secs
lola: 13646251 markings, 85046262 edges, 44508 markings/sec, 345 secs
lola: 13843609 markings, 86278036 edges, 39472 markings/sec, 350 secs
lola: 14040247 markings, 87511300 edges, 39328 markings/sec, 355 secs
lola: 14232507 markings, 88741541 edges, 38452 markings/sec, 360 secs
lola: 14438753 markings, 89971813 edges, 41249 markings/sec, 365 secs
lola: 14636043 markings, 91202122 edges, 39458 markings/sec, 370 secs
lola: 14835567 markings, 92433123 edges, 39905 markings/sec, 375 secs
lola: 15037549 markings, 93656851 edges, 40396 markings/sec, 380 secs
lola: 15256764 markings, 94876091 edges, 43843 markings/sec, 385 secs
lola: 15458145 markings, 96088784 edges, 40276 markings/sec, 390 secs
lola: 15644384 markings, 97304584 edges, 37248 markings/sec, 395 secs
lola: 15833594 markings, 98513292 edges, 37842 markings/sec, 400 secs
lola: 16019393 markings, 99726527 edges, 37160 markings/sec, 405 secs
lola: 16223065 markings, 100934517 edges, 40734 markings/sec, 410 secs
lola: 16441470 markings, 102143774 edges, 43681 markings/sec, 415 secs
lola: 16639411 markings, 103348221 edges, 39588 markings/sec, 420 secs
lola: 16825308 markings, 104554523 edges, 37179 markings/sec, 425 secs
lola: 17012190 markings, 105754247 edges, 37376 markings/sec, 430 secs
lola: 17196737 markings, 106958926 edges, 36909 markings/sec, 435 secs
lola: 17377962 markings, 108155396 edges, 36245 markings/sec, 440 secs
lola: 17538713 markings, 109347653 edges, 32150 markings/sec, 445 secs
lola: 17756793 markings, 110565544 edges, 43616 markings/sec, 450 secs
lola: 17985045 markings, 111789126 edges, 45650 markings/sec, 455 secs
lola: 18190507 markings, 113008380 edges, 41092 markings/sec, 460 secs
lola: 18385232 markings, 114228164 edges, 38945 markings/sec, 465 secs
lola: 18581687 markings, 115442993 edges, 39291 markings/sec, 470 secs
lola: 18776449 markings, 116658204 edges, 38952 markings/sec, 475 secs
lola: 18969574 markings, 117874667 edges, 38625 markings/sec, 480 secs
lola: 19188465 markings, 119080500 edges, 43778 markings/sec, 485 secs
lola: 19381817 markings, 120283041 edges, 38670 markings/sec, 490 secs
lola: 19570409 markings, 121484361 edges, 37718 markings/sec, 495 secs
lola: 19755553 markings, 122686501 edges, 37029 markings/sec, 500 secs
lola: 19975545 markings, 123885842 edges, 43998 markings/sec, 505 secs
lola: 20169307 markings, 125080506 edges, 38752 markings/sec, 510 secs
lola: 20357317 markings, 126276149 edges, 37602 markings/sec, 515 secs
lola: 20542066 markings, 127472474 edges, 36950 markings/sec, 520 secs
lola: 20714069 markings, 128663538 edges, 34401 markings/sec, 525 secs
lola: 20917821 markings, 129871104 edges, 40750 markings/sec, 530 secs
lola: 21146862 markings, 131095479 edges, 45808 markings/sec, 535 secs
lola: 21360195 markings, 132314706 edges, 42667 markings/sec, 540 secs
lola: 21555014 markings, 133536072 edges, 38964 markings/sec, 545 secs
lola: 21751120 markings, 134755506 edges, 39221 markings/sec, 550 secs
lola: 21946934 markings, 135970447 edges, 39163 markings/sec, 555 secs
lola: 22139235 markings, 137187792 edges, 38460 markings/sec, 560 secs
lola: 22353255 markings, 138398094 edges, 42804 markings/sec, 565 secs
lola: 22554817 markings, 139601676 edges, 40312 markings/sec, 570 secs
lola: 22744046 markings, 140805443 edges, 37846 markings/sec, 575 secs
lola: 22930552 markings, 142007660 edges, 37301 markings/sec, 580 secs
lola: 23140373 markings, 143206626 edges, 41964 markings/sec, 585 secs
lola: 23343152 markings, 144404303 edges, 40556 markings/sec, 590 secs
lola: 23529978 markings, 145602025 edges, 37365 markings/sec, 595 secs
lola: 23715629 markings, 146797247 edges, 37130 markings/sec, 600 secs
lola: 23894588 markings, 147986083 edges, 35792 markings/sec, 605 secs
lola: 24061647 markings, 149179652 edges, 33412 markings/sec, 610 secs
lola: 24237849 markings, 150392051 edges, 35240 markings/sec, 615 secs
lola: 24399670 markings, 151599845 edges, 32364 markings/sec, 620 secs
lola: 24558263 markings, 152805215 edges, 31719 markings/sec, 625 secs
lola: 24718225 markings, 154013712 edges, 31992 markings/sec, 630 secs
lola: 24886445 markings, 155210538 edges, 33644 markings/sec, 635 secs
lola: 25041344 markings, 156404999 edges, 30980 markings/sec, 640 secs
lola: 25203891 markings, 157599634 edges, 32509 markings/sec, 645 secs
lola: 25365823 markings, 158790941 edges, 32386 markings/sec, 650 secs
lola: 25520125 markings, 159980593 edges, 30860 markings/sec, 655 secs
lola: 25662235 markings, 161166870 edges, 28422 markings/sec, 660 secs
lola: 25840929 markings, 162369363 edges, 35739 markings/sec, 665 secs
lola: 26072004 markings, 163596544 edges, 46215 markings/sec, 670 secs
lola: 26306796 markings, 164825188 edges, 46958 markings/sec, 675 secs
lola: 26524889 markings, 166051105 edges, 43619 markings/sec, 680 secs
lola: 26721165 markings, 167274725 edges, 39255 markings/sec, 685 secs
lola: 26917855 markings, 168504311 edges, 39338 markings/sec, 690 secs
lola: 27108607 markings, 169732529 edges, 38150 markings/sec, 695 secs
lola: 27314018 markings, 170954685 edges, 41082 markings/sec, 700 secs
lola: 27510703 markings, 172181660 edges, 39337 markings/sec, 705 secs
lola: 27708925 markings, 173405280 edges, 39644 markings/sec, 710 secs
lola: 27910920 markings, 174627120 edges, 40399 markings/sec, 715 secs
lola: 28128239 markings, 175835897 edges, 43464 markings/sec, 720 secs
lola: 28328580 markings, 177042215 edges, 40068 markings/sec, 725 secs
lola: 28513387 markings, 178250423 edges, 36961 markings/sec, 730 secs
lola: 28702669 markings, 179456793 edges, 37856 markings/sec, 735 secs
lola: 28887237 markings, 180661507 edges, 36914 markings/sec, 740 secs
lola: 29088922 markings, 181861804 edges, 40337 markings/sec, 745 secs
lola: 29305157 markings, 183063742 edges, 43247 markings/sec, 750 secs
lola: 29504015 markings, 184262607 edges, 39772 markings/sec, 755 secs
lola: 29688082 markings, 185466320 edges, 36813 markings/sec, 760 secs
lola: 29861952 markings, 186569433 edges, 34774 markings/sec, 765 secs
lola: 30046515 markings, 187773608 edges, 36913 markings/sec, 770 secs
lola: 30230083 markings, 188974696 edges, 36714 markings/sec, 775 secs
lola: 30391297 markings, 190168677 edges, 32243 markings/sec, 780 secs
lola: 30602162 markings, 191384543 edges, 42173 markings/sec, 785 secs
lola: 30832919 markings, 192610189 edges, 46151 markings/sec, 790 secs
lola: 31039812 markings, 193831524 edges, 41379 markings/sec, 795 secs
lola: 31235336 markings, 195051758 edges, 39105 markings/sec, 800 secs
lola: 31432582 markings, 196271243 edges, 39449 markings/sec, 805 secs
lola: 31626702 markings, 197488003 edges, 38824 markings/sec, 810 secs
lola: 31817909 markings, 198707690 edges, 38241 markings/sec, 815 secs
lola: 32037980 markings, 199916169 edges, 44014 markings/sec, 820 secs
lola: 32234231 markings, 201119896 edges, 39250 markings/sec, 825 secs
lola: 32423558 markings, 202324359 edges, 37865 markings/sec, 830 secs
lola: 32609240 markings, 203526478 edges, 37136 markings/sec, 835 secs
lola: 32824337 markings, 204728082 edges, 43019 markings/sec, 840 secs
lola: 33022952 markings, 205925080 edges, 39723 markings/sec, 845 secs
lola: 33211288 markings, 207122694 edges, 37667 markings/sec, 850 secs
lola: 33396774 markings, 208319133 edges, 37097 markings/sec, 855 secs
lola: 33571943 markings, 209514554 edges, 35034 markings/sec, 860 secs
lola: 33769636 markings, 210722883 edges, 39539 markings/sec, 865 secs
lola: 33998638 markings, 211947523 edges, 45800 markings/sec, 870 secs
lola: 34214316 markings, 213168633 edges, 43136 markings/sec, 875 secs
lola: 34409378 markings, 214386246 edges, 39012 markings/sec, 880 secs
lola: 34602708 markings, 215606147 edges, 38666 markings/sec, 885 secs
lola: 34800274 markings, 216818704 edges, 39513 markings/sec, 890 secs
lola: 34994290 markings, 218035660 edges, 38803 markings/sec, 895 secs
lola: 35204830 markings, 219245629 edges, 42108 markings/sec, 900 secs
lola: 35408902 markings, 220448868 edges, 40814 markings/sec, 905 secs
lola: 35597097 markings, 221655821 edges, 37639 markings/sec, 910 secs
lola: 35784304 markings, 222861118 edges, 37441 markings/sec, 915 secs
lola: 35993626 markings, 224065456 edges, 41864 markings/sec, 920 secs
lola: 36200059 markings, 225267487 edges, 41287 markings/sec, 925 secs
lola: 36384968 markings, 226469739 edges, 36982 markings/sec, 930 secs
lola: 36565697 markings, 227616533 edges, 36146 markings/sec, 935 secs
lola: 36743044 markings, 228778385 edges, 35469 markings/sec, 940 secs
lola: 36908533 markings, 229971979 edges, 33098 markings/sec, 945 secs
lola: 37086798 markings, 231185480 edges, 35653 markings/sec, 950 secs
lola: 37249386 markings, 232393386 edges, 32518 markings/sec, 955 secs
lola: 37408215 markings, 233600264 edges, 31766 markings/sec, 960 secs
lola: 37564943 markings, 234808502 edges, 31346 markings/sec, 965 secs
lola: 37736650 markings, 236004718 edges, 34341 markings/sec, 970 secs
lola: 37891347 markings, 237197374 edges, 30939 markings/sec, 975 secs
lola: 38051127 markings, 238390590 edges, 31956 markings/sec, 980 secs
lola: 38215485 markings, 239579645 edges, 32872 markings/sec, 985 secs
lola: 38369336 markings, 240766966 edges, 30770 markings/sec, 990 secs
lola: 38514677 markings, 241955054 edges, 29068 markings/sec, 995 secs
lola: 38653433 markings, 243153478 edges, 27751 markings/sec, 1000 secs
lola: 38808082 markings, 244384364 edges, 30930 markings/sec, 1005 secs
lola: 38960225 markings, 245617814 edges, 30429 markings/sec, 1010 secs
lola: 39112680 markings, 246855226 edges, 30491 markings/sec, 1015 secs
lola: 39261794 markings, 248091374 edges, 29823 markings/sec, 1020 secs
lola: 39407124 markings, 249319979 edges, 29066 markings/sec, 1025 secs
lola: 39541987 markings, 250542811 edges, 26973 markings/sec, 1030 secs
lola: 39677046 markings, 251767885 edges, 27012 markings/sec, 1035 secs
lola: 39812899 markings, 253000104 edges, 27171 markings/sec, 1040 secs
lola: 39946318 markings, 254230394 edges, 26684 markings/sec, 1045 secs
lola: 40086635 markings, 255457589 edges, 28063 markings/sec, 1050 secs
lola: 40221157 markings, 256678647 edges, 26904 markings/sec, 1055 secs
lola: 40356241 markings, 257903375 edges, 27017 markings/sec, 1060 secs
lola: 40491893 markings, 259133434 edges, 27130 markings/sec, 1065 secs
lola: 40625875 markings, 260362194 edges, 26796 markings/sec, 1070 secs
lola: 40766112 markings, 261584774 edges, 28047 markings/sec, 1075 secs
lola: 40910771 markings, 262798698 edges, 28932 markings/sec, 1080 secs
lola: 41055839 markings, 264015761 edges, 29014 markings/sec, 1085 secs
lola: 41191240 markings, 265222028 edges, 27080 markings/sec, 1090 secs
lola: 41320878 markings, 266430406 edges, 25928 markings/sec, 1095 secs
lola: 41450565 markings, 267641222 edges, 25937 markings/sec, 1100 secs
lola: 41582653 markings, 268842987 edges, 26418 markings/sec, 1105 secs
lola: 41712033 markings, 270048517 edges, 25876 markings/sec, 1110 secs
lola: 41841679 markings, 271258941 edges, 25929 markings/sec, 1115 secs
lola: 41985908 markings, 272461283 edges, 28846 markings/sec, 1120 secs
lola: 42128984 markings, 273667073 edges, 28615 markings/sec, 1125 secs
lola: 42272514 markings, 274873002 edges, 28706 markings/sec, 1130 secs
lola: 42402527 markings, 276065077 edges, 26003 markings/sec, 1135 secs
lola: 42531518 markings, 277266091 edges, 25798 markings/sec, 1140 secs
lola: 42661022 markings, 278469406 edges, 25901 markings/sec, 1145 secs
lola: 42791189 markings, 279659300 edges, 26033 markings/sec, 1150 secs
lola: 42919737 markings, 280857233 edges, 25710 markings/sec, 1155 secs
lola: 43047924 markings, 282055217 edges, 25637 markings/sec, 1160 secs
lola: 43173995 markings, 283245689 edges, 25214 markings/sec, 1165 secs
lola: 43292193 markings, 284437476 edges, 23640 markings/sec, 1170 secs
lola: 43439292 markings, 285649423 edges, 29420 markings/sec, 1175 secs
lola: 43590363 markings, 286871438 edges, 30214 markings/sec, 1180 secs
lola: 43740623 markings, 288096729 edges, 30052 markings/sec, 1185 secs
lola: 43882499 markings, 289311990 edges, 28375 markings/sec, 1190 secs
lola: 44017309 markings, 290525392 edges, 26962 markings/sec, 1195 secs
lola: 44153911 markings, 291746670 edges, 27320 markings/sec, 1200 secs
lola: 44289548 markings, 292961050 edges, 27127 markings/sec, 1205 secs
lola: 44423329 markings, 294166987 edges, 26756 markings/sec, 1210 secs
lola: 44558206 markings, 295381417 edges, 26975 markings/sec, 1215 secs
lola: 44690617 markings, 296599142 edges, 26482 markings/sec, 1220 secs
lola: 44837160 markings, 297799911 edges, 29309 markings/sec, 1225 secs
lola: 44982814 markings, 299006570 edges, 29131 markings/sec, 1230 secs
lola: 45113704 markings, 300200645 edges, 26178 markings/sec, 1235 secs
lola: 45245746 markings, 301403430 edges, 26408 markings/sec, 1240 secs
lola: 45376652 markings, 302593643 edges, 26181 markings/sec, 1245 secs
lola: 45508388 markings, 303794551 edges, 26347 markings/sec, 1250 secs
lola: 45653894 markings, 304984324 edges, 29101 markings/sec, 1255 secs
lola: 45798096 markings, 306178751 edges, 28840 markings/sec, 1260 secs
lola: 45927326 markings, 307365091 edges, 25846 markings/sec, 1265 secs
lola: 46058820 markings, 308557574 edges, 26299 markings/sec, 1270 secs
lola: 46188101 markings, 309740123 edges, 25856 markings/sec, 1275 secs
lola: 46318756 markings, 310931666 edges, 26131 markings/sec, 1280 secs
lola: 46445001 markings, 312118827 edges, 25249 markings/sec, 1285 secs
lola: 46576847 markings, 313314332 edges, 26369 markings/sec, 1290 secs
lola: 46727614 markings, 314526140 edges, 30153 markings/sec, 1295 secs
lola: 46878286 markings, 315746465 edges, 30134 markings/sec, 1300 secs
lola: 47025666 markings, 316964603 edges, 29476 markings/sec, 1305 secs
lola: 47161263 markings, 318170972 edges, 27119 markings/sec, 1310 secs
lola: 47296041 markings, 319383771 edges, 26956 markings/sec, 1315 secs
lola: 47429291 markings, 320599801 edges, 26650 markings/sec, 1320 secs
lola: 47566552 markings, 321803900 edges, 27452 markings/sec, 1325 secs
lola: 47699780 markings, 323002903 edges, 26646 markings/sec, 1330 secs
lola: 47834491 markings, 324206179 edges, 26942 markings/sec, 1335 secs
lola: 47969206 markings, 325398385 edges, 26943 markings/sec, 1340 secs
lola: 48112659 markings, 326588460 edges, 28691 markings/sec, 1345 secs
lola: 48251460 markings, 327773342 edges, 27760 markings/sec, 1350 secs
lola: 48380121 markings, 328956861 edges, 25732 markings/sec, 1355 secs
lola: 48511650 markings, 330139222 edges, 26306 markings/sec, 1360 secs
lola: 48640812 markings, 331328025 edges, 25832 markings/sec, 1365 secs
lola: 48777912 markings, 332513631 edges, 27420 markings/sec, 1370 secs
lola: 48920429 markings, 333697614 edges, 28503 markings/sec, 1375 secs
lola: 49058552 markings, 334879078 edges, 27625 markings/sec, 1380 secs
lola: 49187197 markings, 336062263 edges, 25729 markings/sec, 1385 secs
lola: 49317307 markings, 337232492 edges, 26022 markings/sec, 1390 secs
lola: 49444869 markings, 338405809 edges, 25512 markings/sec, 1395 secs
lola: 49576382 markings, 339592740 edges, 26303 markings/sec, 1400 secs
lola: 49697153 markings, 340765176 edges, 24154 markings/sec, 1405 secs
lola: 49822659 markings, 341947550 edges, 25101 markings/sec, 1410 secs
lola: 49951667 markings, 343143305 edges, 25802 markings/sec, 1415 secs
lola: 50072203 markings, 344332036 edges, 24107 markings/sec, 1420 secs
lola: 50189937 markings, 345525517 edges, 23547 markings/sec, 1425 secs
lola: 50308362 markings, 346711928 edges, 23685 markings/sec, 1430 secs
lola: 50425441 markings, 347904470 edges, 23416 markings/sec, 1435 secs
lola: 50551010 markings, 349088657 edges, 25114 markings/sec, 1440 secs
lola: 50668733 markings, 350258249 edges, 23545 markings/sec, 1445 secs
lola: 50784101 markings, 351428571 edges, 23074 markings/sec, 1450 secs
lola: 50902375 markings, 352605585 edges, 23655 markings/sec, 1455 secs
lola: 51027294 markings, 353782965 edges, 24984 markings/sec, 1460 secs
lola: 51141792 markings, 354946642 edges, 22900 markings/sec, 1465 secs
lola: 51256018 markings, 356107532 edges, 22845 markings/sec, 1470 secs
lola: 51367747 markings, 357280307 edges, 22346 markings/sec, 1475 secs
lola: 51469902 markings, 358442185 edges, 20431 markings/sec, 1480 secs
lola: 51689615 markings, 359657076 edges, 43943 markings/sec, 1485 secs
lola: 51920681 markings, 360876661 edges, 46213 markings/sec, 1490 secs
lola: 52145325 markings, 362095831 edges, 44929 markings/sec, 1495 secs
lola: 52353819 markings, 363312588 edges, 41699 markings/sec, 1500 secs
lola: 52549905 markings, 364534988 edges, 39217 markings/sec, 1505 secs
lola: 52748598 markings, 365761161 edges, 39739 markings/sec, 1510 secs
lola: 52946381 markings, 366985270 edges, 39557 markings/sec, 1515 secs
lola: 53141258 markings, 368206026 edges, 38975 markings/sec, 1520 secs
lola: 53337206 markings, 369428118 edges, 39190 markings/sec, 1525 secs
lola: 53529225 markings, 370651876 edges, 38404 markings/sec, 1530 secs
lola: 53745388 markings, 371864308 edges, 43233 markings/sec, 1535 secs
lola: 53961202 markings, 373075379 edges, 43163 markings/sec, 1540 secs
lola: 54150352 markings, 374279270 edges, 37830 markings/sec, 1545 secs
lola: 54334134 markings, 375486678 edges, 36756 markings/sec, 1550 secs
lola: 54523620 markings, 376688951 edges, 37897 markings/sec, 1555 secs
lola: 54708352 markings, 377894122 edges, 36946 markings/sec, 1560 secs
lola: 54923078 markings, 379097446 edges, 42945 markings/sec, 1565 secs
lola: 55137693 markings, 380300789 edges, 42923 markings/sec, 1570 secs
lola: 55325536 markings, 381497851 edges, 37569 markings/sec, 1575 secs
lola: 55508343 markings, 382698071 edges, 36561 markings/sec, 1580 secs
lola: 55696881 markings, 383894165 edges, 37708 markings/sec, 1585 secs
lola: 55880490 markings, 385092520 edges, 36722 markings/sec, 1590 secs
lola: 56054688 markings, 386287970 edges, 34840 markings/sec, 1595 secs
lola: 56227103 markings, 387486418 edges, 34483 markings/sec, 1600 secs
lola: 56456018 markings, 388703039 edges, 45783 markings/sec, 1605 secs
lola: 56679473 markings, 389920560 edges, 44691 markings/sec, 1610 secs
lola: 56874769 markings, 391129933 edges, 39059 markings/sec, 1615 secs
lola: 57067705 markings, 392342924 edges, 38587 markings/sec, 1620 secs
lola: 57264694 markings, 393552013 edges, 39398 markings/sec, 1625 secs
lola: 57457750 markings, 394762123 edges, 38611 markings/sec, 1630 secs
lola: 57659734 markings, 395969088 edges, 40397 markings/sec, 1635 secs
lola: 57873312 markings, 397168549 edges, 42716 markings/sec, 1640 secs
lola: 58059114 markings, 398365697 edges, 37160 markings/sec, 1645 secs
lola: 58245702 markings, 399560919 edges, 37318 markings/sec, 1650 secs
lola: 58442973 markings, 400757505 edges, 39454 markings/sec, 1655 secs
lola: 58656507 markings, 401949352 edges, 42707 markings/sec, 1660 secs
lola: 58841544 markings, 403138197 edges, 37007 markings/sec, 1665 secs
lola: 59028336 markings, 404325990 edges, 37358 markings/sec, 1670 secs
lola: 59212706 markings, 405515513 edges, 36874 markings/sec, 1675 secs
lola: 59378953 markings, 406704680 edges, 33249 markings/sec, 1680 secs
lola: 59599701 markings, 407911438 edges, 44150 markings/sec, 1685 secs
lola: 59825312 markings, 409126434 edges, 45122 markings/sec, 1690 secs
lola: 60028459 markings, 410335175 edges, 40629 markings/sec, 1695 secs
lola: 60221466 markings, 411544815 edges, 38601 markings/sec, 1700 secs
lola: 60417006 markings, 412753265 edges, 39108 markings/sec, 1705 secs
lola: 60610068 markings, 413957640 edges, 38612 markings/sec, 1710 secs
lola: 60801671 markings, 415166824 edges, 38321 markings/sec, 1715 secs
lola: 61019146 markings, 416363029 edges, 43495 markings/sec, 1720 secs
lola: 61211196 markings, 417556336 edges, 38410 markings/sec, 1725 secs
lola: 61398732 markings, 418750143 edges, 37507 markings/sec, 1730 secs
lola: 61582614 markings, 419941845 edges, 36776 markings/sec, 1735 secs
lola: 61798122 markings, 421132300 edges, 43102 markings/sec, 1740 secs
lola: 61993590 markings, 422318199 edges, 39094 markings/sec, 1745 secs
lola: 62179882 markings, 423505326 edges, 37258 markings/sec, 1750 secs
lola: 62363612 markings, 424690564 edges, 36746 markings/sec, 1755 secs
lola: 62536814 markings, 425876884 edges, 34640 markings/sec, 1760 secs
lola: 62707075 markings, 427072381 edges, 34052 markings/sec, 1765 secs
lola: 62882096 markings, 428277512 edges, 35004 markings/sec, 1770 secs
lola: 63040437 markings, 429477299 edges, 31668 markings/sec, 1775 secs
lola: 63197445 markings, 430673052 edges, 31402 markings/sec, 1780 secs
lola: 63357951 markings, 431870929 edges, 32101 markings/sec, 1785 secs
lola: 63522465 markings, 433059691 edges, 32903 markings/sec, 1790 secs
lola: 63676522 markings, 434247403 edges, 30811 markings/sec, 1795 secs
lola: 63840506 markings, 435434451 edges, 32797 markings/sec, 1800 secs
lola: 63999405 markings, 436617286 edges, 31780 markings/sec, 1805 secs
lola: 64152597 markings, 437798063 edges, 30638 markings/sec, 1810 secs
lola: 64290580 markings, 438980451 edges, 27597 markings/sec, 1815 secs
lola: 64480040 markings, 440186018 edges, 37892 markings/sec, 1820 secs
lola: 64712481 markings, 441412398 edges, 46488 markings/sec, 1825 secs
lola: 64945356 markings, 442640639 edges, 46575 markings/sec, 1830 secs
lola: 65159979 markings, 443864064 edges, 42925 markings/sec, 1835 secs
lola: 65355407 markings, 445082738 edges, 39086 markings/sec, 1840 secs
lola: 65551323 markings, 446304321 edges, 39183 markings/sec, 1845 secs
lola: 65739990 markings, 447529131 edges, 37733 markings/sec, 1850 secs
lola: 65945593 markings, 448746560 edges, 41121 markings/sec, 1855 secs
lola: 66141157 markings, 449965849 edges, 39113 markings/sec, 1860 secs
lola: 66338121 markings, 451186611 edges, 39393 markings/sec, 1865 secs
lola: 66541551 markings, 452402660 edges, 40686 markings/sec, 1870 secs
lola: 66759511 markings, 453610949 edges, 43592 markings/sec, 1875 secs
lola: 66956868 markings, 454815557 edges, 39471 markings/sec, 1880 secs
lola: 67143144 markings, 456020696 edges, 37255 markings/sec, 1885 secs
lola: 67329725 markings, 457222580 edges, 37316 markings/sec, 1890 secs
lola: 67514088 markings, 458425709 edges, 36873 markings/sec, 1895 secs
lola: 67717661 markings, 459626867 edges, 40715 markings/sec, 1900 secs
lola: 67934261 markings, 460826945 edges, 43320 markings/sec, 1905 secs
lola: 68130493 markings, 462023185 edges, 39246 markings/sec, 1910 secs
lola: 68315017 markings, 463219460 edges, 36905 markings/sec, 1915 secs
lola: 68500651 markings, 464412708 edges, 37127 markings/sec, 1920 secs
lola: 68683633 markings, 465606728 edges, 36596 markings/sec, 1925 secs
lola: 68864619 markings, 466801324 edges, 36197 markings/sec, 1930 secs
lola: 69025607 markings, 467994997 edges, 32198 markings/sec, 1935 secs
lola: 69241300 markings, 469202460 edges, 43139 markings/sec, 1940 secs
lola: 69468359 markings, 470415459 edges, 45412 markings/sec, 1945 secs
lola: 69672330 markings, 471623842 edges, 40794 markings/sec, 1950 secs
lola: 69865201 markings, 472832139 edges, 38574 markings/sec, 1955 secs
lola: 70060659 markings, 474039915 edges, 39092 markings/sec, 1960 secs
lola: 70252767 markings, 475244176 edges, 38422 markings/sec, 1965 secs
lola: 70441695 markings, 476453777 edges, 37786 markings/sec, 1970 secs
lola: 70661647 markings, 477648897 edges, 43990 markings/sec, 1975 secs
lola: 70852893 markings, 478829889 edges, 38249 markings/sec, 1980 secs
lola: 71038592 markings, 480010149 edges, 37140 markings/sec, 1985 secs
lola: 71220779 markings, 481188577 edges, 36437 markings/sec, 1990 secs
lola: 71433711 markings, 482381883 edges, 42586 markings/sec, 1995 secs
lola: 71632605 markings, 483574899 edges, 39779 markings/sec, 2000 secs
lola: 71816697 markings, 484744693 edges, 36818 markings/sec, 2005 secs
lola: 72000150 markings, 485926480 edges, 36691 markings/sec, 2010 secs
lola: 72175896 markings, 487112411 edges, 35149 markings/sec, 2015 secs
lola: 72364347 markings, 488303369 edges, 37690 markings/sec, 2020 secs
lola: 72592530 markings, 489523665 edges, 45637 markings/sec, 2025 secs
lola: 72811863 markings, 490743316 edges, 43867 markings/sec, 2030 secs
lola: 73005738 markings, 491957793 edges, 38775 markings/sec, 2035 secs
lola: 73196397 markings, 493177425 edges, 38132 markings/sec, 2040 secs
lola: 73397000 markings, 494388165 edges, 40121 markings/sec, 2045 secs
lola: 73591742 markings, 495603247 edges, 38948 markings/sec, 2050 secs
lola: 73797825 markings, 496809054 edges, 41217 markings/sec, 2055 secs
lola: 74004780 markings, 498011437 edges, 41391 markings/sec, 2060 secs
lola: 74187597 markings, 499196189 edges, 36563 markings/sec, 2065 secs
lola: 74370416 markings, 500359314 edges, 36564 markings/sec, 2070 secs
lola: 74569149 markings, 501531240 edges, 39747 markings/sec, 2075 secs
lola: 74779908 markings, 502726859 edges, 42152 markings/sec, 2080 secs
lola: 74964636 markings, 503917791 edges, 36946 markings/sec, 2085 secs
lola: 75150549 markings, 505107449 edges, 37183 markings/sec, 2090 secs
lola: 75334473 markings, 506300537 edges, 36785 markings/sec, 2095 secs
lola: 75496506 markings, 507494582 edges, 32407 markings/sec, 2100 secs
lola: 75677770 markings, 508702428 edges, 36253 markings/sec, 2105 secs
lola: 75841901 markings, 509907812 edges, 32826 markings/sec, 2110 secs
lola: 76000746 markings, 511115242 edges, 31769 markings/sec, 2115 secs
lola: 76158746 markings, 512319937 edges, 31600 markings/sec, 2120 secs
lola: 76328014 markings, 513519681 edges, 33854 markings/sec, 2125 secs
lola: 76483949 markings, 514711661 edges, 31187 markings/sec, 2130 secs
lola: 76641148 markings, 515902745 edges, 31440 markings/sec, 2135 secs
lola: 76807668 markings, 517088143 edges, 33304 markings/sec, 2140 secs
lola: 76961473 markings, 518273677 edges, 30761 markings/sec, 2145 secs
lola: 77109520 markings, 519463198 edges, 29609 markings/sec, 2150 secs
lola: 77244764 markings, 520652973 edges, 27049 markings/sec, 2155 secs
lola: 77422590 markings, 521884037 edges, 35565 markings/sec, 2160 secs
lola: 77594630 markings, 523115863 edges, 34408 markings/sec, 2165 secs
lola: 77766129 markings, 524352820 edges, 34300 markings/sec, 2170 secs
lola: 77933530 markings, 525589525 edges, 33480 markings/sec, 2175 secs
lola: 78090527 markings, 526813700 edges, 31399 markings/sec, 2180 secs
lola: 78241201 markings, 528039882 edges, 30135 markings/sec, 2185 secs
lola: 78392411 markings, 529269985 edges, 30242 markings/sec, 2190 secs
lola: 78542833 markings, 530498991 edges, 30084 markings/sec, 2195 secs
lola: 78698256 markings, 531727724 edges, 31085 markings/sec, 2200 secs
lola: 78848388 markings, 532949110 edges, 30026 markings/sec, 2205 secs
lola: 78999027 markings, 534174343 edges, 30128 markings/sec, 2210 secs
lola: 79150152 markings, 535404995 edges, 30225 markings/sec, 2215 secs
lola: 79296793 markings, 536635053 edges, 29328 markings/sec, 2220 secs
lola: 79462947 markings, 537847675 edges, 33231 markings/sec, 2225 secs
lola: 79627091 markings, 539063096 edges, 32829 markings/sec, 2230 secs
lola: 79781579 markings, 540271871 edges, 30898 markings/sec, 2235 secs
lola: 79924967 markings, 541478884 edges, 28678 markings/sec, 2240 secs
lola: 80069097 markings, 542689811 edges, 28826 markings/sec, 2245 secs
lola: 80216284 markings, 543892089 edges, 29437 markings/sec, 2250 secs
lola: 80360037 markings, 545098739 edges, 28751 markings/sec, 2255 secs
lola: 80508812 markings, 546307690 edges, 29755 markings/sec, 2260 secs
lola: 80671230 markings, 547508504 edges, 32484 markings/sec, 2265 secs
lola: 80833375 markings, 548713967 edges, 32429 markings/sec, 2270 secs
lola: 80983853 markings, 549911990 edges, 30096 markings/sec, 2275 secs
lola: 81126461 markings, 551109145 edges, 28522 markings/sec, 2280 secs
lola: 81269611 markings, 552313493 edges, 28630 markings/sec, 2285 secs
lola: 81415409 markings, 553506201 edges, 29160 markings/sec, 2290 secs
lola: 81558399 markings, 554706150 edges, 28598 markings/sec, 2295 secs
lola: 81702382 markings, 555906724 edges, 28797 markings/sec, 2300 secs
lola: 81835427 markings, 557105877 edges, 26609 markings/sec, 2305 secs
lola: 81980438 markings, 558309196 edges, 29002 markings/sec, 2310 secs
lola: 82150080 markings, 559526964 edges, 33928 markings/sec, 2315 secs
lola: 82321931 markings, 560750821 edges, 34370 markings/sec, 2320 secs
lola: 82481478 markings, 561969048 edges, 31909 markings/sec, 2325 secs
lola: 82631973 markings, 563182290 edges, 30099 markings/sec, 2330 secs
lola: 82783368 markings, 564402201 edges, 30279 markings/sec, 2335 secs
lola: 82934609 markings, 565617190 edges, 30248 markings/sec, 2340 secs
lola: 83084284 markings, 566826898 edges, 29935 markings/sec, 2345 secs
lola: 83236189 markings, 568044317 edges, 30381 markings/sec, 2350 secs
lola: 83390016 markings, 569253692 edges, 30765 markings/sec, 2355 secs
lola: 83553716 markings, 570457484 edges, 32740 markings/sec, 2360 secs
lola: 83703631 markings, 571654869 edges, 29983 markings/sec, 2365 secs
lola: 83848715 markings, 572858258 edges, 29017 markings/sec, 2370 secs
lola: 83995393 markings, 574049989 edges, 29336 markings/sec, 2375 secs
lola: 84145853 markings, 575250093 edges, 30092 markings/sec, 2380 secs
lola: 84307170 markings, 576441021 edges, 32263 markings/sec, 2385 secs
lola: 84462287 markings, 577631902 edges, 31023 markings/sec, 2390 secs
lola: 84607046 markings, 578822605 edges, 28952 markings/sec, 2395 secs
lola: 84752015 markings, 580009413 edges, 28994 markings/sec, 2400 secs
lola: 84896296 markings, 581200868 edges, 28856 markings/sec, 2405 secs
lola: 85038547 markings, 582395240 edges, 28450 markings/sec, 2410 secs
lola: 85178658 markings, 583593091 edges, 28022 markings/sec, 2415 secs
lola: 85350134 markings, 584806078 edges, 34295 markings/sec, 2420 secs
lola: 85521048 markings, 586025144 edges, 34183 markings/sec, 2425 secs
lola: 85682321 markings, 587238691 edges, 32255 markings/sec, 2430 secs
lola: 85831475 markings, 588446429 edges, 29831 markings/sec, 2435 secs
lola: 85982995 markings, 589661697 edges, 30304 markings/sec, 2440 secs
lola: 86133604 markings, 590871592 edges, 30122 markings/sec, 2445 secs
lola: 86281915 markings, 592072535 edges, 29662 markings/sec, 2450 secs
lola: 86431319 markings, 593283554 edges, 29881 markings/sec, 2455 secs
lola: 86584618 markings, 594490415 edges, 30660 markings/sec, 2460 secs
lola: 86747855 markings, 595686574 edges, 32647 markings/sec, 2465 secs
lola: 86899123 markings, 596878529 edges, 30254 markings/sec, 2470 secs
lola: 87043818 markings, 598073981 edges, 28939 markings/sec, 2475 secs
lola: 87189327 markings, 599260275 edges, 29102 markings/sec, 2480 secs
lola: 87333345 markings, 600454758 edges, 28804 markings/sec, 2485 secs
lola: 87496705 markings, 601640475 edges, 32672 markings/sec, 2490 secs
lola: 87654697 markings, 602829695 edges, 31598 markings/sec, 2495 secs
lola: 87797579 markings, 604014043 edges, 28576 markings/sec, 2500 secs
lola: 87943239 markings, 605197177 edges, 29132 markings/sec, 2505 secs
lola: 88087183 markings, 606382599 edges, 28789 markings/sec, 2510 secs
lola: 88229868 markings, 607568691 edges, 28537 markings/sec, 2515 secs
lola: 88360970 markings, 608755290 edges, 26220 markings/sec, 2520 secs
lola: 88504848 markings, 609956157 edges, 28776 markings/sec, 2525 secs
lola: 88643251 markings, 611160416 edges, 27681 markings/sec, 2530 secs
lola: 88772836 markings, 612359558 edges, 25917 markings/sec, 2535 secs
lola: 88902055 markings, 613554341 edges, 25844 markings/sec, 2540 secs
lola: 89031141 markings, 614754707 edges, 25817 markings/sec, 2545 secs
lola: 89168373 markings, 615947602 edges, 27446 markings/sec, 2550 secs
lola: 89297769 markings, 617132765 edges, 25879 markings/sec, 2555 secs
lola: 89424458 markings, 618316332 edges, 25338 markings/sec, 2560 secs
lola: 89557225 markings, 619500002 edges, 26553 markings/sec, 2565 secs
lola: 89690203 markings, 620678776 edges, 26596 markings/sec, 2570 secs
lola: 89816388 markings, 621857448 edges, 25237 markings/sec, 2575 secs
lola: 89941328 markings, 623037518 edges, 24988 markings/sec, 2580 secs
lola: 90055047 markings, 624221952 edges, 22744 markings/sec, 2585 secs
lola: 90239599 markings, 625450565 edges, 36910 markings/sec, 2590 secs
lola: 90444160 markings, 626703393 edges, 40912 markings/sec, 2595 secs
lola: 90634977 markings, 627953590 edges, 38163 markings/sec, 2600 secs
lola: 90806457 markings, 629201269 edges, 34296 markings/sec, 2605 secs
lola: 90981765 markings, 630445937 edges, 35062 markings/sec, 2610 secs
lola: 91171988 markings, 631668365 edges, 38045 markings/sec, 2615 secs
lola: 91341146 markings, 632888237 edges, 33832 markings/sec, 2620 secs
lola: 91509223 markings, 634102988 edges, 33615 markings/sec, 2625 secs
lola: 91678258 markings, 635306302 edges, 33807 markings/sec, 2630 secs
lola: 91831325 markings, 636504993 edges, 30613 markings/sec, 2635 secs
lola: 91977679 markings, 637698224 edges, 29271 markings/sec, 2640 secs
lola: 92124104 markings, 638889833 edges, 29285 markings/sec, 2645 secs
lola: 92289814 markings, 640094798 edges, 33142 markings/sec, 2650 secs
lola: 92443167 markings, 641298456 edges, 30671 markings/sec, 2655 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes no yes no no no no yes unknown yes unknown yes yes no unknown
lola:
preliminary result: yes yes no yes no no no no yes unknown yes unknown yes yes no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes no yes no no no no yes unknown yes unknown yes yes no unknown
lola: memory consumption: 7559436 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes no yes no no no no yes unknown yes unknown yes yes no unknown
lola: memory consumption: 7559436 KB
lola: time consumption: 3570 seconds
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-50b"
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-50b.tgz
mv DES-PT-50b 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-50b, 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-152646380100277"
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 ;