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 |
| 8057.230 | 3570779.00 | 3616120.00 | 9616.20 | TTFTT?F?FF?FTTFT | 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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646380100276
=====================================================================
--------------------
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-CTLCardinality-00
FORMULA_NAME DES-PT-50b-CTLCardinality-01
FORMULA_NAME DES-PT-50b-CTLCardinality-02
FORMULA_NAME DES-PT-50b-CTLCardinality-03
FORMULA_NAME DES-PT-50b-CTLCardinality-04
FORMULA_NAME DES-PT-50b-CTLCardinality-05
FORMULA_NAME DES-PT-50b-CTLCardinality-06
FORMULA_NAME DES-PT-50b-CTLCardinality-07
FORMULA_NAME DES-PT-50b-CTLCardinality-08
FORMULA_NAME DES-PT-50b-CTLCardinality-09
FORMULA_NAME DES-PT-50b-CTLCardinality-10
FORMULA_NAME DES-PT-50b-CTLCardinality-11
FORMULA_NAME DES-PT-50b-CTLCardinality-12
FORMULA_NAME DES-PT-50b-CTLCardinality-13
FORMULA_NAME DES-PT-50b-CTLCardinality-14
FORMULA_NAME DES-PT-50b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526636517189
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 CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ 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-CTLCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p209)
lola: LP says that atomic proposition is always false: (3 <= p272)
lola: LP says that atomic proposition is always false: (3 <= p347)
lola: always true
lola: LP says that atomic proposition is always false: (2 <= p40)
lola: LP says that atomic proposition is always false: (3 <= p450)
lola: LP says that atomic proposition is always false: (2 <= p246)
lola: LP says that atomic proposition is always false: (3 <= p82)
lola: LP says that atomic proposition is always false: (2 <= p120)
lola: LP says that atomic proposition is always false: (3 <= p126)
lola: LP says that atomic proposition is always false: (2 <= p128)
lola: LP says that atomic proposition is always false: (2 <= p120)
lola: always true
lola: LP says that atomic proposition is always false: (3 <= p411)
lola: LP says that atomic proposition is always false: (2 <= p10)
lola: LP says that atomic proposition is always false: (2 <= p369)
lola: LP says that atomic proposition is always false: (2 <= p132)
lola: LP says that atomic proposition is always false: (2 <= p79)
lola: LP says that atomic proposition is always false: (2 <= p187)
lola: LP says that atomic proposition is always false: (3 <= p88)
lola: E (G (E (((1 <= p378) U (p28 <= p115))))) : E (X (A (G (TRUE)))) : (A (F (())) OR (TRUE AND (((p477 + 1 <= p31)) OR A (G (FALSE))))) : (NOT((E (G ((p255 <= p176))) AND A (X ((1 <= p8))))) AND E (G (((p197 <= 0))))) : (((A (G ((p413 <= p449))) OR A (X (FALSE))) AND A (((p448 <= p327) U (p462 <= p188)))) OR NOT((((p411 + 1 <= p41) AND (1 <= p43)) OR A (F (FALSE))))) : (E (G (A (F ((p467 <= p474))))) AND (((((p140 <= p469) AND (p353 <= p214)) OR (p236 + 1 <= p343)) AND (p467 <= p118)) AND E (F ((p47 + 1 <= p318))))) : ((((p195 + 1 <= p113) OR (p176 + 1 <= p4) OR (p219 <= p199)) AND (E (G ((p278 <= p445))) AND (p17 <= p154))) AND E (((p302 <= p318) U ()))) : E (X ((E (G ((1 <= p83))) OR A (G ((p187 <= p344)))))) : A (F ((((p220 + 1 <= p237)) OR E (G ((1 <= p465)))))) : E (F ((A (F ((p279 <= p422))) AND FALSE))) : E (F (NOT(A (F ((p216 <= p80)))))) : (A ((TRUE U (p385 + 1 <= p141))) OR A (G (A (X (FALSE))))) : (E (G (((p362 <= p261) AND (p402 <= p269)))) AND ((p201 <= p178) OR (E (X (FALSE)) OR E (F (FALSE))))) : E (G ((A (F ((p391 <= p273))) OR (1 <= p181)))) : E (X (A (((p205 <= p99) U (1 <= p80))))) : ((E (G (TRUE)) AND A (F (((p203 <= p202) OR (p379 <= p168))))) OR FALSE)
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:130
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:554
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
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:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:200
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:133
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT DEADLOCK
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT DEADLOCK
lola: processed formula length: 12
lola: 63 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.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: ========================================
FORMULA DES-PT-50b-CTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p477 + 1 <= p31))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p477 + 1 <= p31))
lola: processed formula length: 19
lola: 63 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.task
lola: processed formula with 1 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:
FORMULA DES-PT-50b-CTLCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 63 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.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: ========================================
FORMULA DES-PT-50b-CTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 63 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.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: ========================================
FORMULA DES-PT-50b-CTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (E (G ((1 <= p83))))) OR E (X (A (G ((p187 <= p344))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (G ((1 <= p83)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:627
lola: processed formula: (1 <= p83)
lola: processed formula length: 10
lola: 64 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEG
lola: The predicate is not possibly preserved from any successor.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (G ((p187 <= p344)))))
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 (p344 + 1 <= p187))))
lola: processed formula length: 37
lola: 66 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.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: 282608 markings, 1237283 edges, 56522 markings/sec, 0 secs
lola: 555767 markings, 2466691 edges, 54632 markings/sec, 5 secs
lola: 804043 markings, 3697588 edges, 49655 markings/sec, 10 secs
lola: 1035544 markings, 4928273 edges, 46300 markings/sec, 15 secs
lola: 1266274 markings, 6165350 edges, 46146 markings/sec, 20 secs
lola: 1503094 markings, 7399366 edges, 47364 markings/sec, 25 secs
lola: 1733855 markings, 8631643 edges, 46152 markings/sec, 30 secs
lola: 1961640 markings, 9866852 edges, 45557 markings/sec, 35 secs
lola: 2213668 markings, 11092307 edges, 50406 markings/sec, 40 secs
lola: 2458274 markings, 12313803 edges, 48921 markings/sec, 45 secs
lola: 2676620 markings, 13531509 edges, 43669 markings/sec, 50 secs
lola: 2897031 markings, 14751816 edges, 44082 markings/sec, 55 secs
lola: 3118625 markings, 15969799 edges, 44319 markings/sec, 60 secs
lola: 3374939 markings, 17194077 edges, 51263 markings/sec, 65 secs
lola: 3608912 markings, 18407917 edges, 46795 markings/sec, 70 secs
lola: 3825565 markings, 19622192 edges, 43331 markings/sec, 75 secs
lola: 4046533 markings, 20837538 edges, 44194 markings/sec, 80 secs
lola: 4261860 markings, 22048981 edges, 43065 markings/sec, 85 secs
lola: 4454742 markings, 23250790 edges, 38576 markings/sec, 90 secs
lola: 4731979 markings, 24486413 edges, 55447 markings/sec, 95 secs
lola: 4992575 markings, 25714369 edges, 52119 markings/sec, 100 secs
lola: 5225070 markings, 26941488 edges, 46499 markings/sec, 105 secs
lola: 5464759 markings, 28164012 edges, 47938 markings/sec, 110 secs
lola: 5700314 markings, 29392989 edges, 47111 markings/sec, 115 secs
lola: 5955243 markings, 30615910 edges, 50986 markings/sec, 120 secs
lola: 6191623 markings, 31831902 edges, 47276 markings/sec, 125 secs
lola: 6420253 markings, 33043645 edges, 45726 markings/sec, 130 secs
lola: 6668822 markings, 34253601 edges, 49714 markings/sec, 135 secs
lola: 6908248 markings, 35461392 edges, 47885 markings/sec, 140 secs
lola: 7135762 markings, 36670357 edges, 45503 markings/sec, 145 secs
lola: 7353562 markings, 37877008 edges, 43560 markings/sec, 150 secs
lola: 7587649 markings, 39090775 edges, 46817 markings/sec, 155 secs
lola: 7861738 markings, 40325989 edges, 54818 markings/sec, 160 secs
lola: 8106053 markings, 41555319 edges, 48863 markings/sec, 165 secs
lola: 8339775 markings, 42782566 edges, 46744 markings/sec, 170 secs
lola: 8578669 markings, 44002192 edges, 47779 markings/sec, 175 secs
lola: 8817511 markings, 45223289 edges, 47768 markings/sec, 180 secs
lola: 9075157 markings, 46436048 edges, 51529 markings/sec, 185 secs
lola: 9302520 markings, 47643372 edges, 45473 markings/sec, 190 secs
lola: 9528029 markings, 48852565 edges, 45102 markings/sec, 195 secs
lola: 9790688 markings, 50065806 edges, 52532 markings/sec, 200 secs
lola: 10017758 markings, 51275240 edges, 45414 markings/sec, 205 secs
lola: 10245480 markings, 52483224 edges, 45544 markings/sec, 210 secs
lola: 10447130 markings, 53681598 edges, 40330 markings/sec, 215 secs
lola: 10652251 markings, 54902793 edges, 41024 markings/sec, 220 secs
lola: 10841103 markings, 56117979 edges, 37770 markings/sec, 225 secs
lola: 11025712 markings, 57326813 edges, 36922 markings/sec, 230 secs
lola: 11219791 markings, 58531110 edges, 38816 markings/sec, 235 secs
lola: 11404647 markings, 59728410 edges, 36971 markings/sec, 240 secs
lola: 11599192 markings, 60930715 edges, 38909 markings/sec, 245 secs
lola: 11784103 markings, 62129183 edges, 36982 markings/sec, 250 secs
lola: 11953805 markings, 63328060 edges, 33940 markings/sec, 255 secs
lola: 12187543 markings, 64549089 edges, 46748 markings/sec, 260 secs
lola: 12459178 markings, 65790260 edges, 54327 markings/sec, 265 secs
lola: 12725343 markings, 67031715 edges, 53233 markings/sec, 270 secs
lola: 12958101 markings, 68262209 edges, 46552 markings/sec, 275 secs
lola: 13188938 markings, 69495015 edges, 46167 markings/sec, 280 secs
lola: 13423581 markings, 70731399 edges, 46929 markings/sec, 285 secs
lola: 13654740 markings, 71957981 edges, 46232 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no unknown unknown unknown no unknown unknown no unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no unknown unknown unknown no unknown unknown no unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1137980 KB
lola: time consumption: 305 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no unknown unknown unknown no unknown unknown no unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1137980 KB
lola: time consumption: 305 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (F ((p176 + 1 <= p255))) OR E (X ((p8 <= 0)))) AND E (G (((p197 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p176 + 1 <= p255)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: (p255 <= p176)
lola: processed formula length: 14
lola: 65 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 89 markings, 88 edges
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((p197 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (((p197 <= 0))))
lola: processed formula length: 21
lola: 63 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.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: 89 markings, 88 edges
lola: ========================================
lola: subprocess 7 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((p8 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX((p8 <= 0))
lola: processed formula length: 13
lola: 64 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-50b-CTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (((p205 <= p99) U (1 <= p80)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(A((p205 <= p99) U (1 <= p80)))
lola: processed formula length: 33
lola: 65 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.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-CTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((p80 + 1 <= p216)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: (p80 + 1 <= p216)
lola: processed formula length: 17
lola: 64 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.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: 734123 markings, 998568 edges, 146825 markings/sec, 0 secs
lola: 1403218 markings, 2054389 edges, 133819 markings/sec, 5 secs
lola: 2095697 markings, 3132816 edges, 138496 markings/sec, 10 secs
lola: 2768734 markings, 4187761 edges, 134607 markings/sec, 15 secs
lola: 3465608 markings, 5242845 edges, 139375 markings/sec, 20 secs
lola: 4140290 markings, 6323900 edges, 134936 markings/sec, 25 secs
lola: 4831036 markings, 7389518 edges, 138149 markings/sec, 30 secs
lola: 5519108 markings, 8484977 edges, 137614 markings/sec, 35 secs
lola: 6189475 markings, 9544164 edges, 134073 markings/sec, 40 secs
lola: 6885621 markings, 10597016 edges, 139229 markings/sec, 45 secs
lola: 7585750 markings, 11679258 edges, 140026 markings/sec, 50 secs
lola: 8267936 markings, 12745066 edges, 136437 markings/sec, 55 secs
lola: 8964334 markings, 13821425 edges, 139280 markings/sec, 60 secs
lola: 9631949 markings, 14886157 edges, 133523 markings/sec, 65 secs
lola: 10299956 markings, 15928599 edges, 133601 markings/sec, 70 secs
lola: 10829142 markings, 17004877 edges, 105837 markings/sec, 75 secs
lola: 11396375 markings, 18059399 edges, 113447 markings/sec, 80 secs
lola: 12088887 markings, 19118510 edges, 138502 markings/sec, 85 secs
lola: 12751033 markings, 20171252 edges, 132429 markings/sec, 90 secs
lola: 13408883 markings, 21231408 edges, 131570 markings/sec, 95 secs
lola: 14057860 markings, 22282471 edges, 129795 markings/sec, 100 secs
lola: 14733974 markings, 23317805 edges, 135223 markings/sec, 105 secs
lola: 15393444 markings, 24356693 edges, 131894 markings/sec, 110 secs
lola: 16029706 markings, 25403683 edges, 127252 markings/sec, 115 secs
lola: 16658828 markings, 26448286 edges, 125824 markings/sec, 120 secs
lola: 17338637 markings, 27506506 edges, 135962 markings/sec, 125 secs
lola: 18015561 markings, 28564339 edges, 135385 markings/sec, 130 secs
lola: 18665460 markings, 29620321 edges, 129980 markings/sec, 135 secs
lola: 19320748 markings, 30670310 edges, 131058 markings/sec, 140 secs
lola: 19994895 markings, 31708062 edges, 134829 markings/sec, 145 secs
lola: 20656886 markings, 32746206 edges, 132398 markings/sec, 150 secs
lola: 21285172 markings, 33793701 edges, 125657 markings/sec, 155 secs
lola: 21921459 markings, 34837699 edges, 127257 markings/sec, 160 secs
lola: 22593758 markings, 35885179 edges, 134460 markings/sec, 165 secs
lola: 23262001 markings, 36931397 edges, 133649 markings/sec, 170 secs
lola: 23907445 markings, 37978038 edges, 129089 markings/sec, 175 secs
lola: 24562715 markings, 39032820 edges, 131054 markings/sec, 180 secs
lola: 25263506 markings, 40103601 edges, 140158 markings/sec, 185 secs
lola: 25800023 markings, 41022507 edges, 107303 markings/sec, 190 secs
lola: 26313584 markings, 41924155 edges, 102712 markings/sec, 195 secs
lola: 26804962 markings, 42812968 edges, 98276 markings/sec, 200 secs
lola: 27210210 markings, 43738519 edges, 81050 markings/sec, 205 secs
lola: 27545565 markings, 44719455 edges, 67071 markings/sec, 210 secs
lola: 27885123 markings, 45688841 edges, 67912 markings/sec, 215 secs
lola: 28230258 markings, 46658374 edges, 69027 markings/sec, 220 secs
lola: 28553546 markings, 47622096 edges, 64658 markings/sec, 225 secs
lola: 28894461 markings, 48611014 edges, 68183 markings/sec, 230 secs
lola: 29249304 markings, 49608192 edges, 70969 markings/sec, 235 secs
lola: 29586379 markings, 50588097 edges, 67415 markings/sec, 240 secs
lola: 29925145 markings, 51567979 edges, 67753 markings/sec, 245 secs
lola: 30360777 markings, 52545492 edges, 87126 markings/sec, 250 secs
lola: 30893253 markings, 53544185 edges, 106495 markings/sec, 255 secs
lola: 31351420 markings, 54512145 edges, 91633 markings/sec, 260 secs
lola: 31742285 markings, 55454933 edges, 78173 markings/sec, 265 secs
lola: 32148853 markings, 56374396 edges, 81314 markings/sec, 270 secs
lola: 32502465 markings, 57294155 edges, 70722 markings/sec, 275 secs
lola: 32968160 markings, 58248659 edges, 93139 markings/sec, 280 secs
lola: 33327215 markings, 59209684 edges, 71811 markings/sec, 285 secs
lola: 33751275 markings, 60130254 edges, 84812 markings/sec, 290 secs
lola: 34237588 markings, 61133234 edges, 97263 markings/sec, 295 secs
lola: 34773373 markings, 62171770 edges, 107157 markings/sec, 300 secs
lola: 35258752 markings, 63127331 edges, 97076 markings/sec, 305 secs
lola: 35705159 markings, 64128368 edges, 89281 markings/sec, 310 secs
lola: 36099568 markings, 65149413 edges, 78882 markings/sec, 315 secs
lola: 36511429 markings, 66176036 edges, 82372 markings/sec, 320 secs
lola: 36896740 markings, 67199536 edges, 77062 markings/sec, 325 secs
lola: 37290444 markings, 68157466 edges, 78741 markings/sec, 330 secs
lola: 37636378 markings, 69127834 edges, 69187 markings/sec, 335 secs
lola: 38019291 markings, 70042233 edges, 76583 markings/sec, 340 secs
lola: 38416413 markings, 71009085 edges, 79424 markings/sec, 345 secs
lola: 38874719 markings, 72027342 edges, 91661 markings/sec, 350 secs
lola: 39245623 markings, 73050082 edges, 74181 markings/sec, 355 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no yes unknown unknown no unknown unknown no unknown unknown unknown unknown no unknown
lola: memory consumption: 2168704 KB
lola: time consumption: 667 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((p203 <= p202) OR (p379 <= p168))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: ((p202 + 1 <= p203) AND (p168 + 1 <= p379))
lola: processed formula length: 43
lola: 65 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
FORMULA DES-PT-50b-CTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 414 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((A (F ((p391 <= p273))) OR (1 <= p181))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(A(TRUE U (NOT(A(TRUE U (p391 <= p273))) AND (p181 <= 0))))
lola: processed formula length: 62
lola: 67 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.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, 169 edges
lola: ========================================
FORMULA DES-PT-50b-CTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 483 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (((1 <= p378) U (p28 <= p115)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(E((1 <= p378) U (p28 <= p115)))))
lola: processed formula length: 50
lola: 65 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.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, 169 edges
lola: ========================================
FORMULA DES-PT-50b-CTLCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 580 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((p220 + 1 <= p237)) OR E (G ((1 <= p465))))))
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 (((p220 + 1 <= p237)) OR NOT(A(TRUE U (p465 <= 0)))))
lola: processed formula length: 62
lola: 66 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.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: ========================================
FORMULA DES-PT-50b-CTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 725 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((p385 + 1 <= p141))) OR DEADLOCK)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 725 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: DEADLOCK
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: DEADLOCK
lola: processed formula length: 8
lola: 63 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.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 967 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p385 + 1 <= p141)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (p141 <= p385)
lola: processed formula length: 14
lola: 65 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 89 markings, 88 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DES-PT-50b-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 967 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (((p362 <= p261) AND (p402 <= p269)))) AND (p201 <= p178))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 967 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p201 <= p178)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p201 <= p178)
lola: processed formula length: 14
lola: 63 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.task
lola: processed formula with 1 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 1451 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((p362 <= p261) AND (p402 <= p269))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (((p362 <= p261) AND (p402 <= p269))))
lola: processed formula length: 43
lola: 63 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.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-CTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1451 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((A (G ((p413 <= p449))) OR DEADLOCK) AND A (((p448 <= p327) U (p462 <= p188)))) OR ((p41 <= p411) OR (p43 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1451 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: DEADLOCK
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: DEADLOCK
lola: processed formula length: 8
lola: 63 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2903 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p41 <= p411) OR (p43 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p41 <= p411) OR (p43 <= 0))
lola: processed formula length: 30
lola: 63 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.task
lola: processed formula with 2 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: SUBRESULT
lola: result: yes
lola: ========================================
The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-50b-CTLCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2903 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (A (F ((p467 <= p474))))) AND (((((p140 <= p469) AND (p353 <= p214)) OR (p236 + 1 <= p343)) AND (p467 <= p118)) AND E (F ((p47 + 1 <= p318)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2903 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((p140 <= p469) AND (p353 <= p214)) OR (p236 + 1 <= p343)) AND (p467 <= p118))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((((p140 <= p469) AND (p353 <= p214)) OR (p236 + 1 <= p343)) AND (p467 <= p118))
lola: processed formula length: 81
lola: 63 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.task
lola: processed formula with 4 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: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((p467 <= p474)))))
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 (p467 <= p474)))))
lola: processed formula length: 44
lola: 65 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.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, 169 edges
lola: lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
========================================lola:
========================================
lola: ...considering subproblem: (E (X (E (G ((1 <= p83))))) OR E (X (A (G ((p187 <= p344))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: E (X (E (G ((1 <= p83)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:627
lola: processed formula: (1 <= p83)
lola: processed formula length: 10
lola: 64 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEG
lola: The predicate is not possibly preserved from any successor.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (X (A (G ((p187 <= p344)))))
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 (p344 + 1 <= p187))))
lola: processed formula length: 37
lola: 66 rewrites
lola: closed formula file DES-PT-50b-CTLCardinality.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: 275055 markings, 1234127 edges, 55011 markings/sec, 0 secs
lola: 505657 markings, 2327336 edges, 46120 markings/sec, 5 secs
lola: 746471 markings, 3501049 edges, 48163 markings/sec, 10 secs
lola: 992318 markings, 4734582 edges, 49169 markings/sec, 15 secs
lola: 1239355 markings, 5958761 edges, 49407 markings/sec, 20 secs
lola: 1472976 markings, 7180657 edges, 46724 markings/sec, 25 secs
lola: 1729141 markings, 8410389 edges, 51233 markings/sec, 30 secs
lola: 1990871 markings, 9645573 edges, 52346 markings/sec, 35 secs
lola: 2242736 markings, 10864305 edges, 50373 markings/sec, 40 secs
lola: 2480598 markings, 12027427 edges, 47572 markings/sec, 45 secs
lola: 2729905 markings, 13241873 edges, 49861 markings/sec, 50 secs
lola: 2988261 markings, 14473970 edges, 51671 markings/sec, 55 secs
lola: 3239025 markings, 15683378 edges, 50153 markings/sec, 60 secs
lola: 3490626 markings, 16896822 edges, 50320 markings/sec, 65 secs
lola: 3702836 markings, 18110923 edges, 42442 markings/sec, 70 secs
lola: 3910584 markings, 19330689 edges, 41550 markings/sec, 75 secs
lola: 4106349 markings, 20536020 edges, 39153 markings/sec, 80 secs
lola: 4370881 markings, 21771428 edges, 52906 markings/sec, 85 secs
lola: 4633887 markings, 23015319 edges, 52601 markings/sec, 90 secs
lola: 4887017 markings, 24251299 edges, 50626 markings/sec, 95 secs
lola: 5130560 markings, 25479168 edges, 48709 markings/sec, 100 secs
lola: 5377525 markings, 26700602 edges, 49393 markings/sec, 105 secs
lola: 5608382 markings, 27920329 edges, 46171 markings/sec, 110 secs
lola: 5867419 markings, 29147474 edges, 51807 markings/sec, 115 secs
lola: 6127967 markings, 30378417 edges, 52110 markings/sec, 120 secs
lola: 6380334 markings, 31596105 edges, 50473 markings/sec, 125 secs
lola: 6623746 markings, 32806468 edges, 48682 markings/sec, 130 secs
lola: 6879011 markings, 34026422 edges, 51053 markings/sec, 135 secs
lola: 7139156 markings, 35257506 edges, 52029 markings/sec, 140 secs
lola: 7389928 markings, 36471672 edges, 50154 markings/sec, 145 secs
lola: 7638430 markings, 37682124 edges, 49700 markings/sec, 150 secs
lola: 7845124 markings, 38893398 edges, 41339 markings/sec, 155 secs
lola: 8051755 markings, 40105834 edges, 41326 markings/sec, 160 secs
lola: 8242015 markings, 41303295 edges, 38052 markings/sec, 165 secs
lola: 8518079 markings, 42546157 edges, 55213 markings/sec, 170 secs
lola: 8780830 markings, 43792942 edges, 52550 markings/sec, 175 secs
lola: 9032898 markings, 45030841 edges, 50414 markings/sec, 180 secs
lola: 9276183 markings, 46263052 edges, 48657 markings/sec, 185 secs
lola: 9525035 markings, 47487314 edges, 49770 markings/sec, 190 secs
lola: 9750140 markings, 48709447 edges, 45021 markings/sec, 195 secs
lola: 10017892 markings, 49941748 edges, 53550 markings/sec, 200 secs
lola: 10277523 markings, 51172588 edges, 51926 markings/sec, 205 secs
lola: 10530116 markings, 52391102 edges, 50519 markings/sec, 210 secs
lola: 10769718 markings, 53605816 edges, 47920 markings/sec, 215 secs
lola: 11032348 markings, 54834233 edges, 52526 markings/sec, 220 secs
lola: 11292516 markings, 56064781 edges, 52034 markings/sec, 225 secs
lola: 11544242 markings, 57280652 edges, 50345 markings/sec, 230 secs
lola: 11786878 markings, 58493343 edges, 48527 markings/sec, 235 secs
lola: 11993446 markings, 59706479 edges, 41314 markings/sec, 240 secs
lola: 12199834 markings, 60909604 edges, 41278 markings/sec, 245 secs
lola: 12387537 markings, 62107495 edges, 37541 markings/sec, 250 secs
lola: 12563139 markings, 63329348 edges, 35120 markings/sec, 255 secs
lola: 12733864 markings, 64559570 edges, 34145 markings/sec, 260 secs
lola: 12905318 markings, 65793113 edges, 34291 markings/sec, 265 secs
lola: 13071768 markings, 67024276 edges, 33290 markings/sec, 270 secs
lola: 13233569 markings, 68232737 edges, 32360 markings/sec, 275 secs
lola: 13394917 markings, 69449942 edges, 32270 markings/sec, 280 secs
lola: 13559794 markings, 70655552 edges, 32975 markings/sec, 285 secs
lola: 13721398 markings, 71865926 edges, 32321 markings/sec, 290 secs
lola: 13871389 markings, 73070256 edges, 29998 markings/sec, 295 secs
lola: 14048524 markings, 74284659 edges, 35427 markings/sec, 300 secs
lola: 14221963 markings, 75509253 edges, 34688 markings/sec, 305 secs
lola: 14394329 markings, 76726869 edges, 34473 markings/sec, 310 secs
lola: 14562549 markings, 77938209 edges, 33644 markings/sec, 315 secs
lola: 14731312 markings, 79136637 edges, 33753 markings/sec, 320 secs
lola: 14893438 markings, 80337553 edges, 32425 markings/sec, 325 secs
lola: 15067118 markings, 81546600 edges, 34736 markings/sec, 330 secs
lola: 15240044 markings, 82761974 edges, 34585 markings/sec, 335 secs
lola: 15411733 markings, 83975081 edges, 34338 markings/sec, 340 secs
lola: 15579051 markings, 85176667 edges, 33464 markings/sec, 345 secs
lola: 15746897 markings, 86368611 edges, 33569 markings/sec, 350 secs
lola: 15910215 markings, 87564663 edges, 32664 markings/sec, 355 secs
lola: 16060087 markings, 88760481 edges, 29974 markings/sec, 360 secs
lola: 16211069 markings, 89960941 edges, 30196 markings/sec, 365 secs
lola: 16361799 markings, 91146803 edges, 30146 markings/sec, 370 secs
lola: 16516359 markings, 92334572 edges, 30912 markings/sec, 375 secs
lola: 16783308 markings, 93556717 edges, 53390 markings/sec, 380 secs
lola: 17042831 markings, 94782217 edges, 51905 markings/sec, 385 secs
lola: 17287699 markings, 95999682 edges, 48974 markings/sec, 390 secs
lola: 17526551 markings, 97212625 edges, 47770 markings/sec, 395 secs
lola: 17771947 markings, 98417075 edges, 49079 markings/sec, 400 secs
lola: 17993929 markings, 99623870 edges, 44396 markings/sec, 405 secs
lola: 18257583 markings, 100835092 edges, 52731 markings/sec, 410 secs
lola: 18513461 markings, 102047201 edges, 51176 markings/sec, 415 secs
lola: 18762284 markings, 103246898 edges, 49765 markings/sec, 420 secs
lola: 19000140 markings, 104441476 edges, 47571 markings/sec, 425 secs
lola: 19255137 markings, 105646938 edges, 50999 markings/sec, 430 secs
lola: 19512063 markings, 106859027 edges, 51385 markings/sec, 435 secs
lola: 19757833 markings, 108052013 edges, 49154 markings/sec, 440 secs
lola: 20002103 markings, 109243484 edges, 48854 markings/sec, 445 secs
lola: 20205552 markings, 110434853 edges, 40690 markings/sec, 450 secs
lola: 20408783 markings, 111626400 edges, 40646 markings/sec, 455 secs
lola: 20598521 markings, 112806253 edges, 37948 markings/sec, 460 secs
lola: 20864003 markings, 114022543 edges, 53096 markings/sec, 465 secs
lola: 21121376 markings, 115244893 edges, 51475 markings/sec, 470 secs
lola: 21371564 markings, 116465299 edges, 50038 markings/sec, 475 secs
lola: 21612838 markings, 117680893 edges, 48255 markings/sec, 480 secs
lola: 21856477 markings, 118886442 edges, 48728 markings/sec, 485 secs
lola: 22087143 markings, 120097698 edges, 46133 markings/sec, 490 secs
lola: 22341092 markings, 121309150 edges, 50790 markings/sec, 495 secs
lola: 22599852 markings, 122529457 edges, 51752 markings/sec, 500 secs
lola: 22848172 markings, 123733440 edges, 49664 markings/sec, 505 secs
lola: 23092972 markings, 124931103 edges, 48960 markings/sec, 510 secs
lola: 23341291 markings, 126138458 edges, 49664 markings/sec, 515 secs
lola: 23596939 markings, 127357870 edges, 51130 markings/sec, 520 secs
lola: 23845461 markings, 128555955 edges, 49704 markings/sec, 525 secs
lola: 24093848 markings, 129752105 edges, 49677 markings/sec, 530 secs
lola: 24303547 markings, 130949261 edges, 41940 markings/sec, 535 secs
lola: 24507371 markings, 132147095 edges, 40765 markings/sec, 540 secs
lola: 24702961 markings, 133331275 edges, 39118 markings/sec, 545 secs
lola: 24898673 markings, 134547242 edges, 39142 markings/sec, 550 secs
lola: 25090554 markings, 135772337 edges, 38376 markings/sec, 555 secs
lola: 25284574 markings, 137000732 edges, 38804 markings/sec, 560 secs
lola: 25469905 markings, 138225855 edges, 37066 markings/sec, 565 secs
lola: 25650845 markings, 139438100 edges, 36188 markings/sec, 570 secs
lola: 25836360 markings, 140650615 edges, 37103 markings/sec, 575 secs
lola: 26014843 markings, 141845789 edges, 35697 markings/sec, 580 secs
lola: 26190433 markings, 143045392 edges, 35118 markings/sec, 585 secs
lola: 26375163 markings, 144245242 edges, 36946 markings/sec, 590 secs
lola: 26568398 markings, 145452013 edges, 38647 markings/sec, 595 secs
lola: 26759469 markings, 146656367 edges, 38214 markings/sec, 600 secs
lola: 26945290 markings, 147854398 edges, 37164 markings/sec, 605 secs
lola: 27132498 markings, 149039054 edges, 37442 markings/sec, 610 secs
lola: 27314504 markings, 150232363 edges, 36401 markings/sec, 615 secs
lola: 27507302 markings, 151430443 edges, 38560 markings/sec, 620 secs
lola: 27698431 markings, 152636170 edges, 38226 markings/sec, 625 secs
lola: 27886112 markings, 153826901 edges, 37536 markings/sec, 630 secs
lola: 28073613 markings, 155013284 edges, 37500 markings/sec, 635 secs
lola: 28256611 markings, 156197721 edges, 36600 markings/sec, 640 secs
lola: 28419867 markings, 157382717 edges, 32651 markings/sec, 645 secs
lola: 28583487 markings, 158570931 edges, 32724 markings/sec, 650 secs
lola: 28746626 markings, 159746518 edges, 32628 markings/sec, 655 secs
lola: 28920258 markings, 160934916 edges, 34726 markings/sec, 660 secs
lola: 29127284 markings, 162159872 edges, 41405 markings/sec, 665 secs
lola: 29330906 markings, 163362036 edges, 40724 markings/sec, 670 secs
lola: 29514553 markings, 164553790 edges, 36729 markings/sec, 675 secs
lola: 29698783 markings, 165764427 edges, 36846 markings/sec, 680 secs
lola: 29870147 markings, 166978846 edges, 34273 markings/sec, 685 secs
lola: 30034168 markings, 168191464 edges, 32804 markings/sec, 690 secs
lola: 30210200 markings, 169411535 edges, 35206 markings/sec, 695 secs
lola: 30381674 markings, 170618756 edges, 34295 markings/sec, 700 secs
lola: 30540838 markings, 171811954 edges, 31833 markings/sec, 705 secs
lola: 30711671 markings, 173011050 edges, 34167 markings/sec, 710 secs
lola: 30884627 markings, 174214689 edges, 34591 markings/sec, 715 secs
lola: 31043016 markings, 175407867 edges, 31678 markings/sec, 720 secs
lola: 31212757 markings, 176612310 edges, 33948 markings/sec, 725 secs
lola: 31389095 markings, 177824112 edges, 35268 markings/sec, 730 secs
lola: 31550020 markings, 179024484 edges, 32185 markings/sec, 735 secs
lola: 31718920 markings, 180226585 edges, 33780 markings/sec, 740 secs
lola: 31897972 markings, 181417531 edges, 35810 markings/sec, 745 secs
lola: 32059806 markings, 182626287 edges, 32367 markings/sec, 750 secs
lola: 32225812 markings, 183826388 edges, 33201 markings/sec, 755 secs
lola: 32388385 markings, 185025014 edges, 32515 markings/sec, 760 secs
lola: 32554750 markings, 186222486 edges, 33273 markings/sec, 765 secs
lola: 32719485 markings, 187418469 edges, 32947 markings/sec, 770 secs
lola: 32892156 markings, 188616112 edges, 34534 markings/sec, 775 secs
lola: 33054827 markings, 189816250 edges, 32534 markings/sec, 780 secs
lola: 33215332 markings, 191004761 edges, 32101 markings/sec, 785 secs
lola: 33396842 markings, 192225172 edges, 36302 markings/sec, 790 secs
lola: 33556206 markings, 193421756 edges, 31873 markings/sec, 795 secs
lola: 33717589 markings, 194616914 edges, 32277 markings/sec, 800 secs
lola: 33876034 markings, 195827711 edges, 31689 markings/sec, 805 secs
lola: 34026950 markings, 197050332 edges, 30183 markings/sec, 810 secs
lola: 34166969 markings, 198256519 edges, 28004 markings/sec, 815 secs
lola: 34310760 markings, 199479763 edges, 28758 markings/sec, 820 secs
lola: 34470149 markings, 200700979 edges, 31878 markings/sec, 825 secs
lola: 34617066 markings, 201915053 edges, 29383 markings/sec, 830 secs
lola: 34758089 markings, 203113078 edges, 28205 markings/sec, 835 secs
lola: 34895975 markings, 204319201 edges, 27577 markings/sec, 840 secs
lola: 35055717 markings, 205515108 edges, 31948 markings/sec, 845 secs
lola: 35211302 markings, 206716647 edges, 31117 markings/sec, 850 secs
lola: 35349832 markings, 207925414 edges, 27706 markings/sec, 855 secs
lola: 35497136 markings, 209130247 edges, 29461 markings/sec, 860 secs
lola: 35647632 markings, 210328383 edges, 30099 markings/sec, 865 secs
lola: 35797784 markings, 211525780 edges, 30030 markings/sec, 870 secs
lola: 35942172 markings, 212728358 edges, 28878 markings/sec, 875 secs
lola: 36101365 markings, 213939544 edges, 31839 markings/sec, 880 secs
lola: 36247699 markings, 215152898 edges, 29267 markings/sec, 885 secs
lola: 36388995 markings, 216347608 edges, 28259 markings/sec, 890 secs
lola: 36534004 markings, 217546551 edges, 29002 markings/sec, 895 secs
lola: 36682080 markings, 218736010 edges, 29615 markings/sec, 900 secs
lola: 36839129 markings, 219922731 edges, 31410 markings/sec, 905 secs
lola: 37000617 markings, 221149814 edges, 32298 markings/sec, 910 secs
lola: 37157133 markings, 222357188 edges, 31303 markings/sec, 915 secs
lola: 37309115 markings, 223537625 edges, 30396 markings/sec, 920 secs
lola: 37521579 markings, 224741755 edges, 42493 markings/sec, 925 secs
lola: 37704462 markings, 225932110 edges, 36577 markings/sec, 930 secs
lola: 37887334 markings, 227129215 edges, 36574 markings/sec, 935 secs
lola: 38067355 markings, 228344353 edges, 36004 markings/sec, 940 secs
lola: 38229404 markings, 229545492 edges, 32410 markings/sec, 945 secs
lola: 38393531 markings, 230749490 edges, 32825 markings/sec, 950 secs
lola: 38569573 markings, 231916170 edges, 35208 markings/sec, 955 secs
lola: 38725989 markings, 233091754 edges, 31283 markings/sec, 960 secs
lola: 38885692 markings, 234289309 edges, 31941 markings/sec, 965 secs
lola: 39069116 markings, 235489805 edges, 36685 markings/sec, 970 secs
lola: 39229286 markings, 236687144 edges, 32034 markings/sec, 975 secs
lola: 39391247 markings, 237892211 edges, 32392 markings/sec, 980 secs
lola: 39573885 markings, 239105046 edges, 36528 markings/sec, 985 secs
lola: 39736889 markings, 240304578 edges, 32601 markings/sec, 990 secs
lola: 39899614 markings, 241508802 edges, 32545 markings/sec, 995 secs
lola: 40080324 markings, 242722704 edges, 36142 markings/sec, 1000 secs
lola: 40246067 markings, 243927963 edges, 33149 markings/sec, 1005 secs
lola: 40408770 markings, 245132153 edges, 32541 markings/sec, 1010 secs
lola: 40574972 markings, 246358441 edges, 33240 markings/sec, 1015 secs
lola: 40729064 markings, 247579782 edges, 30818 markings/sec, 1020 secs
lola: 40873415 markings, 248802054 edges, 28870 markings/sec, 1025 secs
lola: 41024275 markings, 250023685 edges, 30172 markings/sec, 1030 secs
lola: 41182250 markings, 251233426 edges, 31595 markings/sec, 1035 secs
lola: 41325547 markings, 252437299 edges, 28659 markings/sec, 1040 secs
lola: 41468911 markings, 253643691 edges, 28673 markings/sec, 1045 secs
lola: 41630418 markings, 254858117 edges, 32301 markings/sec, 1050 secs
lola: 41781407 markings, 256064115 edges, 30198 markings/sec, 1055 secs
lola: 41926443 markings, 257265244 edges, 29007 markings/sec, 1060 secs
lola: 42076062 markings, 258477911 edges, 29924 markings/sec, 1065 secs
lola: 42232120 markings, 259690764 edges, 31212 markings/sec, 1070 secs
lola: 42376409 markings, 260890543 edges, 28858 markings/sec, 1075 secs
lola: 42519030 markings, 262101383 edges, 28524 markings/sec, 1080 secs
lola: 42700597 markings, 263288753 edges, 36313 markings/sec, 1085 secs
lola: 42868156 markings, 264481929 edges, 33512 markings/sec, 1090 secs
lola: 43029501 markings, 265659539 edges, 32269 markings/sec, 1095 secs
lola: 43189682 markings, 266843022 edges, 32036 markings/sec, 1100 secs
lola: 43350330 markings, 268034724 edges, 32130 markings/sec, 1105 secs
lola: 43511437 markings, 269233979 edges, 32221 markings/sec, 1110 secs
lola: 43676152 markings, 270428046 edges, 32943 markings/sec, 1115 secs
lola: 43830633 markings, 271632121 edges, 30896 markings/sec, 1120 secs
lola: 43974398 markings, 272835153 edges, 28753 markings/sec, 1125 secs
lola: 44117058 markings, 274028676 edges, 28532 markings/sec, 1130 secs
lola: 44264491 markings, 275230293 edges, 29487 markings/sec, 1135 secs
lola: 44412987 markings, 276433083 edges, 29699 markings/sec, 1140 secs
lola: 44557251 markings, 277634862 edges, 28853 markings/sec, 1145 secs
lola: 44736768 markings, 278822798 edges, 35903 markings/sec, 1150 secs
lola: 44894169 markings, 279998299 edges, 31480 markings/sec, 1155 secs
lola: 45055332 markings, 281183409 edges, 32233 markings/sec, 1160 secs
lola: 45215418 markings, 282372672 edges, 32017 markings/sec, 1165 secs
lola: 45362723 markings, 283572111 edges, 29461 markings/sec, 1170 secs
lola: 45506546 markings, 284762123 edges, 28765 markings/sec, 1175 secs
lola: 45660753 markings, 285958873 edges, 30841 markings/sec, 1180 secs
lola: 45835930 markings, 287164445 edges, 35035 markings/sec, 1185 secs
lola: 45987372 markings, 288345548 edges, 30288 markings/sec, 1190 secs
lola: 46146465 markings, 289531096 edges, 31819 markings/sec, 1195 secs
lola: 46307691 markings, 290734644 edges, 32245 markings/sec, 1200 secs
lola: 46453271 markings, 291938323 edges, 29116 markings/sec, 1205 secs
lola: 46592392 markings, 293123383 edges, 27824 markings/sec, 1210 secs
lola: 46729761 markings, 294320113 edges, 27474 markings/sec, 1215 secs
lola: 46890211 markings, 295525822 edges, 32090 markings/sec, 1220 secs
lola: 47036736 markings, 296731242 edges, 29305 markings/sec, 1225 secs
lola: 47176766 markings, 297929039 edges, 28006 markings/sec, 1230 secs
lola: 47313730 markings, 299136029 edges, 27393 markings/sec, 1235 secs
lola: 47461760 markings, 300354145 edges, 29606 markings/sec, 1240 secs
lola: 47593174 markings, 301568340 edges, 26283 markings/sec, 1245 secs
lola: 47721008 markings, 302772086 edges, 25567 markings/sec, 1250 secs
lola: 47849907 markings, 303991169 edges, 25780 markings/sec, 1255 secs
lola: 47999556 markings, 305192816 edges, 29930 markings/sec, 1260 secs
lola: 48145553 markings, 306392444 edges, 29199 markings/sec, 1265 secs
lola: 48284742 markings, 307581553 edges, 27838 markings/sec, 1270 secs
lola: 48425242 markings, 308785875 edges, 28100 markings/sec, 1275 secs
lola: 48571975 markings, 309996407 edges, 29347 markings/sec, 1280 secs
lola: 48704893 markings, 311210301 edges, 26584 markings/sec, 1285 secs
lola: 48828545 markings, 312404636 edges, 24730 markings/sec, 1290 secs
lola: 48960632 markings, 313603718 edges, 26417 markings/sec, 1295 secs
lola: 49100970 markings, 314798717 edges, 28068 markings/sec, 1300 secs
lola: 49253414 markings, 315971008 edges, 30489 markings/sec, 1305 secs
lola: 49397776 markings, 317160982 edges, 28872 markings/sec, 1310 secs
lola: 49542855 markings, 318354754 edges, 29016 markings/sec, 1315 secs
lola: 49679796 markings, 319547138 edges, 27388 markings/sec, 1320 secs
lola: 49811262 markings, 320752403 edges, 26293 markings/sec, 1325 secs
lola: 49946532 markings, 321951110 edges, 27054 markings/sec, 1330 secs
lola: 50085159 markings, 323139529 edges, 27725 markings/sec, 1335 secs
lola: 50219473 markings, 324338673 edges, 26863 markings/sec, 1340 secs
lola: 50353762 markings, 325528818 edges, 26858 markings/sec, 1345 secs
lola: 50508465 markings, 326708242 edges, 30941 markings/sec, 1350 secs
lola: 50643187 markings, 327841402 edges, 26944 markings/sec, 1355 secs
lola: 50782277 markings, 329034099 edges, 27818 markings/sec, 1360 secs
lola: 50913569 markings, 330228436 edges, 26258 markings/sec, 1365 secs
lola: 51053985 markings, 331414478 edges, 28083 markings/sec, 1370 secs
lola: 51182980 markings, 332600507 edges, 25799 markings/sec, 1375 secs
lola: 51369809 markings, 333805854 edges, 37366 markings/sec, 1380 secs
lola: 51533312 markings, 335002747 edges, 32701 markings/sec, 1385 secs
lola: 51691967 markings, 336201058 edges, 31731 markings/sec, 1390 secs
lola: 51848232 markings, 337393102 edges, 31253 markings/sec, 1395 secs
lola: 52005770 markings, 338582873 edges, 31508 markings/sec, 1400 secs
lola: 52168256 markings, 339778929 edges, 32497 markings/sec, 1405 secs
lola: 52325213 markings, 340964628 edges, 31391 markings/sec, 1410 secs
lola: 52481274 markings, 342139592 edges, 31212 markings/sec, 1415 secs
lola: 52639764 markings, 343294160 edges, 31698 markings/sec, 1420 secs
lola: 52797788 markings, 344437604 edges, 31605 markings/sec, 1425 secs
lola: 52948617 markings, 345573015 edges, 30166 markings/sec, 1430 secs
lola: 53113008 markings, 346774595 edges, 32878 markings/sec, 1435 secs
lola: 53278426 markings, 347968958 edges, 33084 markings/sec, 1440 secs
lola: 53433548 markings, 349146883 edges, 31024 markings/sec, 1445 secs
lola: 53595126 markings, 350313949 edges, 32316 markings/sec, 1450 secs
lola: 53755316 markings, 351501392 edges, 32038 markings/sec, 1455 secs
lola: 53906121 markings, 352711765 edges, 30161 markings/sec, 1460 secs
lola: 54045659 markings, 353922673 edges, 27908 markings/sec, 1465 secs
lola: 54188267 markings, 355118963 edges, 28522 markings/sec, 1470 secs
lola: 54319747 markings, 356310439 edges, 26296 markings/sec, 1475 secs
lola: 54447857 markings, 357497911 edges, 25622 markings/sec, 1480 secs
lola: 54591000 markings, 358694961 edges, 28629 markings/sec, 1485 secs
lola: 54720150 markings, 359876923 edges, 25830 markings/sec, 1490 secs
lola: 54860928 markings, 361065289 edges, 28156 markings/sec, 1495 secs
lola: 55000545 markings, 362236623 edges, 27923 markings/sec, 1500 secs
lola: 55137499 markings, 363409858 edges, 27391 markings/sec, 1505 secs
lola: 55293633 markings, 364596028 edges, 31227 markings/sec, 1510 secs
lola: 55447017 markings, 365794641 edges, 30677 markings/sec, 1515 secs
lola: 55601963 markings, 367000972 edges, 30989 markings/sec, 1520 secs
lola: 55740308 markings, 368216740 edges, 27669 markings/sec, 1525 secs
lola: 55886397 markings, 369417830 edges, 29218 markings/sec, 1530 secs
lola: 56035885 markings, 370607507 edges, 29898 markings/sec, 1535 secs
lola: 56172886 markings, 371780785 edges, 27400 markings/sec, 1540 secs
lola: 56320952 markings, 372945306 edges, 29613 markings/sec, 1545 secs
lola: 56495362 markings, 374130350 edges, 34882 markings/sec, 1550 secs
lola: 56669888 markings, 375312267 edges, 34905 markings/sec, 1555 secs
lola: 56821672 markings, 376498795 edges, 30357 markings/sec, 1560 secs
lola: 56977035 markings, 377671380 edges, 31073 markings/sec, 1565 secs
lola: 57125106 markings, 378835486 edges, 29614 markings/sec, 1570 secs
lola: 57278412 markings, 379994458 edges, 30661 markings/sec, 1575 secs
lola: 57415972 markings, 381154935 edges, 27512 markings/sec, 1580 secs
lola: 57546458 markings, 382302363 edges, 26097 markings/sec, 1585 secs
lola: 57692223 markings, 383484736 edges, 29153 markings/sec, 1590 secs
lola: 57835457 markings, 384663674 edges, 28647 markings/sec, 1595 secs
lola: 57990594 markings, 385844332 edges, 31027 markings/sec, 1600 secs
lola: 58121374 markings, 387029860 edges, 26156 markings/sec, 1605 secs
lola: 58260736 markings, 388198854 edges, 27872 markings/sec, 1610 secs
lola: 58408299 markings, 389386990 edges, 29513 markings/sec, 1615 secs
lola: 58564127 markings, 390572885 edges, 31166 markings/sec, 1620 secs
lola: 58697698 markings, 391739665 edges, 26714 markings/sec, 1625 secs
lola: 58836814 markings, 392904599 edges, 27823 markings/sec, 1630 secs
lola: 58969852 markings, 394082114 edges, 26608 markings/sec, 1635 secs
lola: 59109903 markings, 395253588 edges, 28010 markings/sec, 1640 secs
lola: 59257233 markings, 396438266 edges, 29466 markings/sec, 1645 secs
lola: 59408684 markings, 397624711 edges, 30290 markings/sec, 1650 secs
lola: 59545788 markings, 398794182 edges, 27421 markings/sec, 1655 secs
lola: 59676935 markings, 399971326 edges, 26229 markings/sec, 1660 secs
lola: 59821244 markings, 401154688 edges, 28862 markings/sec, 1665 secs
lola: 59973183 markings, 402366980 edges, 30388 markings/sec, 1670 secs
lola: 60131346 markings, 403571659 edges, 31633 markings/sec, 1675 secs
lola: 60270749 markings, 404777263 edges, 27881 markings/sec, 1680 secs
lola: 60412507 markings, 405976691 edges, 28352 markings/sec, 1685 secs
lola: 60551573 markings, 407162090 edges, 27813 markings/sec, 1690 secs
lola: 60679858 markings, 408331419 edges, 25657 markings/sec, 1695 secs
lola: 60817672 markings, 409508266 edges, 27563 markings/sec, 1700 secs
lola: 60936022 markings, 410677522 edges, 23670 markings/sec, 1705 secs
lola: 61059801 markings, 411835050 edges, 24756 markings/sec, 1710 secs
lola: 61192405 markings, 413018284 edges, 26521 markings/sec, 1715 secs
lola: 61326296 markings, 414199402 edges, 26778 markings/sec, 1720 secs
lola: 61463296 markings, 415389365 edges, 27400 markings/sec, 1725 secs
lola: 61578390 markings, 416552571 edges, 23019 markings/sec, 1730 secs
lola: 61702850 markings, 417720176 edges, 24892 markings/sec, 1735 secs
lola: 61840978 markings, 418899443 edges, 27626 markings/sec, 1740 secs
lola: 61975400 markings, 420088428 edges, 26884 markings/sec, 1745 secs
lola: 62097710 markings, 421249335 edges, 24462 markings/sec, 1750 secs
lola: 62227649 markings, 422427586 edges, 25988 markings/sec, 1755 secs
lola: 62373868 markings, 423593848 edges, 29244 markings/sec, 1760 secs
lola: 62500971 markings, 424764884 edges, 25421 markings/sec, 1765 secs
lola: 62633709 markings, 425919460 edges, 26548 markings/sec, 1770 secs
lola: 62758477 markings, 427083488 edges, 24954 markings/sec, 1775 secs
lola: 62888962 markings, 428242048 edges, 26097 markings/sec, 1780 secs
lola: 63035081 markings, 429396103 edges, 29224 markings/sec, 1785 secs
lola: 63187577 markings, 430555222 edges, 30499 markings/sec, 1790 secs
lola: 63320670 markings, 431715623 edges, 26619 markings/sec, 1795 secs
lola: 63468035 markings, 432887379 edges, 29473 markings/sec, 1800 secs
lola: 63624630 markings, 434064981 edges, 31319 markings/sec, 1805 secs
lola: 63762693 markings, 435234428 edges, 27613 markings/sec, 1810 secs
lola: 63907126 markings, 436416597 edges, 28887 markings/sec, 1815 secs
lola: 64043058 markings, 437602367 edges, 27186 markings/sec, 1820 secs
lola: 64180975 markings, 438797996 edges, 27583 markings/sec, 1825 secs
lola: 64323432 markings, 439977458 edges, 28491 markings/sec, 1830 secs
lola: 64446401 markings, 441140407 edges, 24594 markings/sec, 1835 secs
lola: 64582042 markings, 442326303 edges, 27128 markings/sec, 1840 secs
lola: 64722909 markings, 443515661 edges, 28173 markings/sec, 1845 secs
lola: 64846304 markings, 444701796 edges, 24679 markings/sec, 1850 secs
lola: 64990824 markings, 445882777 edges, 28904 markings/sec, 1855 secs
lola: 65144046 markings, 447055152 edges, 30644 markings/sec, 1860 secs
lola: 65281066 markings, 448234156 edges, 27404 markings/sec, 1865 secs
lola: 65427803 markings, 449401059 edges, 29347 markings/sec, 1870 secs
lola: 65564260 markings, 450565404 edges, 27291 markings/sec, 1875 secs
lola: 65690874 markings, 451738950 edges, 25323 markings/sec, 1880 secs
lola: 65817512 markings, 452900959 edges, 25328 markings/sec, 1885 secs
lola: 65956058 markings, 454082224 edges, 27709 markings/sec, 1890 secs
lola: 66094322 markings, 455259507 edges, 27653 markings/sec, 1895 secs
lola: 66218800 markings, 456431517 edges, 24896 markings/sec, 1900 secs
lola: 66366132 markings, 457627294 edges, 29466 markings/sec, 1905 secs
lola: 66524911 markings, 458812888 edges, 31756 markings/sec, 1910 secs
lola: 66663453 markings, 459994559 edges, 27708 markings/sec, 1915 secs
lola: 66801394 markings, 461183605 edges, 27588 markings/sec, 1920 secs
lola: 66941967 markings, 462358550 edges, 28115 markings/sec, 1925 secs
lola: 67065741 markings, 463527006 edges, 24755 markings/sec, 1930 secs
lola: 67200593 markings, 464710959 edges, 26970 markings/sec, 1935 secs
lola: 67340025 markings, 465897897 edges, 27886 markings/sec, 1940 secs
lola: 67464809 markings, 467090546 edges, 24957 markings/sec, 1945 secs
lola: 67596222 markings, 468265471 edges, 26283 markings/sec, 1950 secs
lola: 67728656 markings, 469392546 edges, 26487 markings/sec, 1955 secs
lola: 67866814 markings, 470547970 edges, 27632 markings/sec, 1960 secs
lola: 68002657 markings, 471704988 edges, 27169 markings/sec, 1965 secs
lola: 68129745 markings, 472875925 edges, 25418 markings/sec, 1970 secs
lola: 68260135 markings, 474043760 edges, 26078 markings/sec, 1975 secs
lola: 68387644 markings, 475217888 edges, 25502 markings/sec, 1980 secs
lola: 68520073 markings, 476392145 edges, 26486 markings/sec, 1985 secs
lola: 68660512 markings, 477551612 edges, 28088 markings/sec, 1990 secs
lola: 68785155 markings, 478710032 edges, 24929 markings/sec, 1995 secs
lola: 68909030 markings, 479881981 edges, 24775 markings/sec, 2000 secs
lola: 69045076 markings, 481054441 edges, 27209 markings/sec, 2005 secs
lola: 69185422 markings, 482238008 edges, 28069 markings/sec, 2010 secs
lola: 69311922 markings, 483399196 edges, 25300 markings/sec, 2015 secs
lola: 69438889 markings, 484578156 edges, 25393 markings/sec, 2020 secs
lola: 69566109 markings, 485758863 edges, 25444 markings/sec, 2025 secs
lola: 69702913 markings, 486903599 edges, 27361 markings/sec, 2030 secs
lola: 69842104 markings, 488062749 edges, 27838 markings/sec, 2035 secs
lola: 69970740 markings, 489232451 edges, 25727 markings/sec, 2040 secs
lola: 70099477 markings, 490397860 edges, 25747 markings/sec, 2045 secs
lola: 70232106 markings, 491580295 edges, 26526 markings/sec, 2050 secs
lola: 70369912 markings, 492745077 edges, 27561 markings/sec, 2055 secs
lola: 70494662 markings, 493903146 edges, 24950 markings/sec, 2060 secs
lola: 70622460 markings, 495069250 edges, 25560 markings/sec, 2065 secs
lola: 70763000 markings, 496249630 edges, 28108 markings/sec, 2070 secs
lola: 70892770 markings, 497417907 edges, 25954 markings/sec, 2075 secs
lola: 71018436 markings, 498592418 edges, 25133 markings/sec, 2080 secs
lola: 71161775 markings, 499756048 edges, 28668 markings/sec, 2085 secs
lola: 71290379 markings, 500885581 edges, 25721 markings/sec, 2090 secs
lola: 71408826 markings, 502027264 edges, 23689 markings/sec, 2095 secs
lola: 71539644 markings, 503173487 edges, 26164 markings/sec, 2100 secs
lola: 71675660 markings, 504335899 edges, 27203 markings/sec, 2105 secs
lola: 71802164 markings, 505503012 edges, 25301 markings/sec, 2110 secs
lola: 71927179 markings, 506660264 edges, 25003 markings/sec, 2115 secs
lola: 72059060 markings, 507824184 edges, 26376 markings/sec, 2120 secs
lola: 72177818 markings, 508986251 edges, 23752 markings/sec, 2125 secs
lola: 72301214 markings, 510165282 edges, 24679 markings/sec, 2130 secs
lola: 72429548 markings, 511330666 edges, 25667 markings/sec, 2135 secs
lola: 72539739 markings, 512506180 edges, 22038 markings/sec, 2140 secs
lola: 72662531 markings, 513678770 edges, 24558 markings/sec, 2145 secs
lola: 72787185 markings, 514857786 edges, 24931 markings/sec, 2150 secs
lola: 72912379 markings, 516046012 edges, 25039 markings/sec, 2155 secs
lola: 73025310 markings, 517221967 edges, 22586 markings/sec, 2160 secs
lola: 73156868 markings, 518411045 edges, 26312 markings/sec, 2165 secs
lola: 73297528 markings, 519603079 edges, 28132 markings/sec, 2170 secs
lola: 73422899 markings, 520794923 edges, 25074 markings/sec, 2175 secs
lola: 73554935 markings, 521968630 edges, 26407 markings/sec, 2180 secs
lola: 73677167 markings, 523133987 edges, 24446 markings/sec, 2185 secs
lola: 73801665 markings, 524300023 edges, 24900 markings/sec, 2190 secs
lola: 73911088 markings, 525452526 edges, 21885 markings/sec, 2195 secs
lola: 74035044 markings, 526627145 edges, 24791 markings/sec, 2200 secs
lola: 74158938 markings, 527797580 edges, 24779 markings/sec, 2205 secs
lola: 74276567 markings, 528967539 edges, 23526 markings/sec, 2210 secs
lola: 74391206 markings, 530136587 edges, 22928 markings/sec, 2215 secs
lola: 74513858 markings, 531272821 edges, 24530 markings/sec, 2220 secs
lola: 74636420 markings, 532405854 edges, 24512 markings/sec, 2225 secs
lola: 74760139 markings, 533560263 edges, 24744 markings/sec, 2230 secs
lola: 74879749 markings, 534713343 edges, 23922 markings/sec, 2235 secs
lola: 74993411 markings, 535880417 edges, 22732 markings/sec, 2240 secs
lola: 75113797 markings, 537048780 edges, 24077 markings/sec, 2245 secs
lola: 75228403 markings, 538214248 edges, 22921 markings/sec, 2250 secs
lola: 75351817 markings, 539408235 edges, 24683 markings/sec, 2255 secs
lola: 75481629 markings, 540593130 edges, 25962 markings/sec, 2260 secs
lola: 75595399 markings, 541757573 edges, 22754 markings/sec, 2265 secs
lola: 75714142 markings, 542933515 edges, 23749 markings/sec, 2270 secs
lola: 75829410 markings, 544109189 edges, 23054 markings/sec, 2275 secs
lola: 75951850 markings, 545267251 edges, 24488 markings/sec, 2280 secs
lola: 76078143 markings, 546433216 edges, 25259 markings/sec, 2285 secs
lola: 76201602 markings, 547616494 edges, 24692 markings/sec, 2290 secs
lola: 76320374 markings, 548796383 edges, 23754 markings/sec, 2295 secs
lola: 76435874 markings, 549984250 edges, 23100 markings/sec, 2300 secs
lola: 76559197 markings, 551181901 edges, 24665 markings/sec, 2305 secs
lola: 76686560 markings, 552364129 edges, 25473 markings/sec, 2310 secs
lola: 76801077 markings, 553532314 edges, 22903 markings/sec, 2315 secs
lola: 76918585 markings, 554708659 edges, 23502 markings/sec, 2320 secs
lola: 77053720 markings, 555912793 edges, 27027 markings/sec, 2325 secs
lola: 77197604 markings, 557108365 edges, 28777 markings/sec, 2330 secs
lola: 77322589 markings, 558304668 edges, 24997 markings/sec, 2335 secs
lola: 77455637 markings, 559493967 edges, 26610 markings/sec, 2340 secs
lola: 77579416 markings, 560667388 edges, 24756 markings/sec, 2345 secs
lola: 77698357 markings, 561844561 edges, 23788 markings/sec, 2350 secs
lola: 77813201 markings, 563016224 edges, 22969 markings/sec, 2355 secs
lola: 77935960 markings, 564206199 edges, 24552 markings/sec, 2360 secs
lola: 78066397 markings, 565392353 edges, 26087 markings/sec, 2365 secs
lola: 78180614 markings, 566552674 edges, 22843 markings/sec, 2370 secs
lola: 78301331 markings, 567740568 edges, 24143 markings/sec, 2375 secs
lola: 78427210 markings, 568925855 edges, 25176 markings/sec, 2380 secs
lola: 78547139 markings, 570097427 edges, 23986 markings/sec, 2385 secs
lola: 78677923 markings, 571274089 edges, 26157 markings/sec, 2390 secs
lola: 78807972 markings, 572435702 edges, 26010 markings/sec, 2395 secs
lola: 78928100 markings, 573600064 edges, 24026 markings/sec, 2400 secs
lola: 79052317 markings, 574770396 edges, 24843 markings/sec, 2405 secs
lola: 79180603 markings, 575928442 edges, 25657 markings/sec, 2410 secs
lola: 79304661 markings, 577088755 edges, 24812 markings/sec, 2415 secs
lola: 79460842 markings, 578275686 edges, 31236 markings/sec, 2420 secs
lola: 79608989 markings, 579383419 edges, 29629 markings/sec, 2425 secs
lola: 79760902 markings, 580575375 edges, 30383 markings/sec, 2430 secs
lola: 79905540 markings, 581759373 edges, 28928 markings/sec, 2435 secs
lola: 80042164 markings, 582945598 edges, 27325 markings/sec, 2440 secs
lola: 80192171 markings, 584148059 edges, 30001 markings/sec, 2445 secs
lola: 80326213 markings, 585348480 edges, 26808 markings/sec, 2450 secs
lola: 80478126 markings, 586567050 edges, 30383 markings/sec, 2455 secs
lola: 80618224 markings, 587783350 edges, 28020 markings/sec, 2460 secs
lola: 80755478 markings, 588983598 edges, 27451 markings/sec, 2465 secs
lola: 80886278 markings, 590169324 edges, 26160 markings/sec, 2470 secs
lola: 81004942 markings, 591355475 edges, 23733 markings/sec, 2475 secs
lola: 81138770 markings, 592565410 edges, 26766 markings/sec, 2480 secs
lola: 81267025 markings, 593767010 edges, 25651 markings/sec, 2485 secs
lola: 81401137 markings, 594959074 edges, 26822 markings/sec, 2490 secs
lola: 81548120 markings, 596159455 edges, 29397 markings/sec, 2495 secs
lola: 81681765 markings, 597355748 edges, 26729 markings/sec, 2500 secs
lola: 81814692 markings, 598542330 edges, 26585 markings/sec, 2505 secs
lola: 81937847 markings, 599731806 edges, 24631 markings/sec, 2510 secs
lola: 82066427 markings, 600905777 edges, 25716 markings/sec, 2515 secs
lola: 82196921 markings, 602095233 edges, 26099 markings/sec, 2520 secs
lola: 82315653 markings, 603271167 edges, 23746 markings/sec, 2525 secs
lola: 82452885 markings, 604494537 edges, 27446 markings/sec, 2530 secs
lola: 82580150 markings, 605709788 edges, 25453 markings/sec, 2535 secs
lola: 82704471 markings, 606903498 edges, 24864 markings/sec, 2540 secs
lola: 82821787 markings, 608080012 edges, 23463 markings/sec, 2545 secs
lola: 82931643 markings, 609274291 edges, 21971 markings/sec, 2550 secs
lola: 83047910 markings, 610435872 edges, 23253 markings/sec, 2555 secs
lola: 83166633 markings, 611618824 edges, 23745 markings/sec, 2560 secs
lola: 83275349 markings, 612797602 edges, 21743 markings/sec, 2565 secs
lola: 83421599 markings, 613981793 edges, 29250 markings/sec, 2570 secs
lola: 83555709 markings, 615161401 edges, 26822 markings/sec, 2575 secs
lola: 83691053 markings, 616355272 edges, 27069 markings/sec, 2580 secs
lola: 83827073 markings, 617564360 edges, 27204 markings/sec, 2585 secs
lola: 83949779 markings, 618752245 edges, 24541 markings/sec, 2590 secs
lola: 84071552 markings, 619944823 edges, 24355 markings/sec, 2595 secs
lola: 84201164 markings, 621133973 edges, 25922 markings/sec, 2600 secs
lola: 84328175 markings, 622316621 edges, 25402 markings/sec, 2605 secs
lola: 84449161 markings, 623482308 edges, 24197 markings/sec, 2610 secs
lola: 84570588 markings, 624668958 edges, 24285 markings/sec, 2615 secs
lola: 84691321 markings, 625865003 edges, 24147 markings/sec, 2620 secs
lola: 84799126 markings, 627043065 edges, 21561 markings/sec, 2625 secs
lola: 84909891 markings, 628212956 edges, 22153 markings/sec, 2630 secs
lola: 85047875 markings, 629386047 edges, 27597 markings/sec, 2635 secs
lola: 85185166 markings, 630571745 edges, 27458 markings/sec, 2640 secs
lola: 85320787 markings, 631771398 edges, 27124 markings/sec, 2645 secs
lola: 85448082 markings, 632953173 edges, 25459 markings/sec, 2650 secs
lola: 85570799 markings, 634137824 edges, 24543 markings/sec, 2655 secs
lola: 85704527 markings, 635321763 edges, 26746 markings/sec, 2660 secs
lola: 85825115 markings, 636488380 edges, 24118 markings/sec, 2665 secs
lola: 85946538 markings, 637676793 edges, 24285 markings/sec, 2670 secs
lola: 86062657 markings, 638858804 edges, 23224 markings/sec, 2675 secs
lola: 86172582 markings, 640018677 edges, 21985 markings/sec, 2680 secs
lola: 86316985 markings, 641199141 edges, 28881 markings/sec, 2685 secs
lola: 86462459 markings, 642385006 edges, 29095 markings/sec, 2690 secs
lola: 86603244 markings, 643554121 edges, 28157 markings/sec, 2695 secs
lola: 86752624 markings, 644715565 edges, 29876 markings/sec, 2700 secs
lola: 86919423 markings, 645894169 edges, 33360 markings/sec, 2705 secs
lola: 87086069 markings, 647075982 edges, 33329 markings/sec, 2710 secs
lola: 87244544 markings, 648251523 edges, 31695 markings/sec, 2715 secs
lola: 87404627 markings, 649432494 edges, 32017 markings/sec, 2720 secs
lola: 87559768 markings, 650606927 edges, 31028 markings/sec, 2725 secs
lola: 87724896 markings, 651800360 edges, 33026 markings/sec, 2730 secs
lola: 87874689 markings, 653003655 edges, 29959 markings/sec, 2735 secs
lola: 88025720 markings, 654179679 edges, 30206 markings/sec, 2740 secs
lola: 88204422 markings, 655354336 edges, 35740 markings/sec, 2745 secs
lola: 88372328 markings, 656539093 edges, 33581 markings/sec, 2750 secs
lola: 88530936 markings, 657729261 edges, 31722 markings/sec, 2755 secs
lola: 88690703 markings, 658929849 edges, 31953 markings/sec, 2760 secs
lola: 88845314 markings, 660131372 edges, 30922 markings/sec, 2765 secs
lola: 88988483 markings, 661320331 edges, 28634 markings/sec, 2770 secs
lola: 89129481 markings, 662519688 edges, 28200 markings/sec, 2775 secs
lola: 89291557 markings, 663698623 edges, 32415 markings/sec, 2780 secs
lola: 89442757 markings, 664892652 edges, 30240 markings/sec, 2785 secs
lola: 89590371 markings, 666079088 edges, 29523 markings/sec, 2790 secs
lola: 89743298 markings, 667264023 edges, 30585 markings/sec, 2795 secs
lola: 89897047 markings, 668464907 edges, 30750 markings/sec, 2800 secs
lola: 90046392 markings, 669671733 edges, 29869 markings/sec, 2805 secs
lola: 90189077 markings, 670869119 edges, 28537 markings/sec, 2810 secs
lola: 90330475 markings, 672066051 edges, 28280 markings/sec, 2815 secs
lola: 90475856 markings, 673233225 edges, 29076 markings/sec, 2820 secs
lola: 90612072 markings, 674391761 edges, 27243 markings/sec, 2825 secs
lola: 90781273 markings, 675574109 edges, 33840 markings/sec, 2830 secs
lola: 90943539 markings, 676773487 edges, 32453 markings/sec, 2835 secs
lola: 91094623 markings, 677960090 edges, 30217 markings/sec, 2840 secs
lola: 91238237 markings, 679130773 edges, 28723 markings/sec, 2845 secs
lola: 91371361 markings, 680299534 edges, 26625 markings/sec, 2850 secs
lola: 91518967 markings, 681481471 edges, 29521 markings/sec, 2855 secs
lola: 91652093 markings, 682667656 edges, 26625 markings/sec, 2860 secs
lola: 91798805 markings, 683851317 edges, 29342 markings/sec, 2865 secs
lola: 91933003 markings, 685017284 edges, 26840 markings/sec, 2870 secs
lola: 92065976 markings, 686190032 edges, 26595 markings/sec, 2875 secs
lola: 92213519 markings, 687365728 edges, 29509 markings/sec, 2880 secs
lola: 92346316 markings, 688532828 edges, 26559 markings/sec, 2885 secs
lola: 92492170 markings, 689729244 edges, 29171 markings/sec, 2890 secs
lola: 92637478 markings, 690936277 edges, 29062 markings/sec, 2895 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes no yes yes unknown no unknown no no unknown no yes yes no yes
lola:
preliminary result: yes yes no yes yes unknown no unknown no no unknown no yes yes no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes no yes yes unknown no unknown no no unknown no yes yes no yes
lola: memory consumption: 8023512 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes no yes yes unknown no unknown no no unknown no yes yes no yes
lola: memory consumption: 8023512 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes no yes yes unknown no unknown no no unknown no yes yes no yes
lola: memory consumption: 8023904 KB
lola: time consumption: 3570 seconds
BK_STOP 1526640087968
--------------------
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="CTLCardinality"
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 CTLCardinality"
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-152646380100276"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 ;