About the Execution of LoLA for DES-PT-60a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9582.770 | 3570844.00 | 3631325.00 | 8143.70 | FTTF?F?FT??FFTT? | 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 272K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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 12K 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 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K 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 16K 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 110K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DES-PT-60a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646380200284
=====================================================================
--------------------
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-60a-CTLFireability-00
FORMULA_NAME DES-PT-60a-CTLFireability-01
FORMULA_NAME DES-PT-60a-CTLFireability-02
FORMULA_NAME DES-PT-60a-CTLFireability-03
FORMULA_NAME DES-PT-60a-CTLFireability-04
FORMULA_NAME DES-PT-60a-CTLFireability-05
FORMULA_NAME DES-PT-60a-CTLFireability-06
FORMULA_NAME DES-PT-60a-CTLFireability-07
FORMULA_NAME DES-PT-60a-CTLFireability-08
FORMULA_NAME DES-PT-60a-CTLFireability-09
FORMULA_NAME DES-PT-60a-CTLFireability-10
FORMULA_NAME DES-PT-60a-CTLFireability-11
FORMULA_NAME DES-PT-60a-CTLFireability-12
FORMULA_NAME DES-PT-60a-CTLFireability-13
FORMULA_NAME DES-PT-60a-CTLFireability-14
FORMULA_NAME DES-PT-60a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526644420022
info: Time: 3600 - MCC
===========================================================================================
prep: translating DES-PT-60a 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-60a formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DES-PT-60a @ 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: 665/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 354
lola: finding significant places
lola: 354 places, 311 transitions, 295 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 336 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-60a-CTLFireability.task
lola: E ((A (F ((FIREABLE(t172) AND FIREABLE(t181)))) U A (G (FIREABLE(t252))))) : E (F ((A (F ((FIREABLE(t243) AND FIREABLE(t197)))) OR E (F ((FIREABLE(t215) OR FIREABLE(t198))))))) : A ((A (X (FIREABLE(t188))) U E (F ((FIREABLE(t233) OR FIREABLE(t116)))))) : A ((E (F (NOT FIREABLE(t239))) U FIREABLE(t88))) : NOT(E (F ((E (X (FIREABLE(t257))) AND (NOT FIREABLE(t138) AND FIREABLE(t153)))))) : NOT(E ((FIREABLE(t114) U E (F (FIREABLE(t206)))))) : NOT(E (F (((FIREABLE(t224) AND FIREABLE(t297) AND FIREABLE(t147) AND FIREABLE(t138)) AND A (G (FIREABLE(t165))))))) : (A (F (A (F ((FIREABLE(t232) AND FIREABLE(t264)))))) OR (A (((FIREABLE(t80) AND FIREABLE(t81)) U (FIREABLE(t278) AND FIREABLE(t15)))) AND FIREABLE(t298))) : E (F (FIREABLE(t21))) : NOT(A (G ((A (G (FIREABLE(t10))) OR (NOT FIREABLE(t74) OR FIREABLE(t62)))))) : (A (F (A (X ((FIREABLE(t0) OR FIREABLE(t41)))))) OR E (X (FIREABLE(t47)))) : (E (F ((FIREABLE(t139) AND FIREABLE(t204) AND FIREABLE(t64)))) OR E (G ((E (G (FIREABLE(t154))) AND FIREABLE(t9))))) : A (F (NOT(A (F (NOT FIREABLE(t182)))))) : A ((E (F (FIREABLE(t116))) U NOT(A (F (FIREABLE(t75)))))) : E (F ((A (F ((FIREABLE(t162) OR FIREABLE(t286)))) OR (E (X (FIREABLE(t206))) AND ((FIREABLE(t182) AND FIREABLE(t267)) OR FIREABLE(t240)))))) : (E (((NOT FIREABLE(t95) AND NOT FIREABLE(t220)) U FIREABLE(t40))) AND (E (F (FIREABLE(t204))) AND A (G ((NOT FIREABLE(t30) OR NOT FIREABLE(t121))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:548
lola: rewrite Frontend/Parser/formula_rewrite.k:455
lola: rewrite Frontend/Parser/formula_rewrite.k:401
lola: rewrite Frontend/Parser/formula_rewrite.k:452
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:473
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:392
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:548
lola: rewrite Frontend/Parser/formula_rewrite.k:455
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A (X (NOT FIREABLE(t257))) OR (FIREABLE(t138) OR NOT FIREABLE(t153)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: NOT(E(TRUE U (NOT(AX(NOT FIREABLE(t257))) AND (NOT FIREABLE(t138) AND FIREABLE(t153)))))
lola: processed formula length: 88
lola: 42 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 211710 markings, 1467266 edges, 42342 markings/sec, 0 secs
lola: 390594 markings, 3003125 edges, 35777 markings/sec, 5 secs
lola: 592502 markings, 4509998 edges, 40382 markings/sec, 10 secs
lola: 775635 markings, 6013415 edges, 36627 markings/sec, 15 secs
lola: 967158 markings, 7495755 edges, 38305 markings/sec, 20 secs
lola: 1122924 markings, 9000441 edges, 31153 markings/sec, 25 secs
lola: 1302992 markings, 10517150 edges, 36014 markings/sec, 30 secs
lola: 1482922 markings, 12010400 edges, 35986 markings/sec, 35 secs
lola: 1632017 markings, 13499693 edges, 29819 markings/sec, 40 secs
lola: 1785948 markings, 15010058 edges, 30786 markings/sec, 45 secs
lola: 1948446 markings, 16509031 edges, 32500 markings/sec, 50 secs
lola: 2120865 markings, 18023326 edges, 34484 markings/sec, 55 secs
lola: 2284852 markings, 19538915 edges, 32797 markings/sec, 60 secs
lola: 2446289 markings, 21053595 edges, 32287 markings/sec, 65 secs
lola: 2614848 markings, 22538856 edges, 33712 markings/sec, 70 secs
lola: 2783731 markings, 24038404 edges, 33777 markings/sec, 75 secs
lola: 2958855 markings, 25540614 edges, 35025 markings/sec, 80 secs
lola: 3159746 markings, 27064100 edges, 40178 markings/sec, 85 secs
lola: 3350546 markings, 28548950 edges, 38160 markings/sec, 90 secs
lola: 3538669 markings, 30047923 edges, 37625 markings/sec, 95 secs
lola: 3723647 markings, 31547303 edges, 36996 markings/sec, 100 secs
lola: 3884043 markings, 32964364 edges, 32079 markings/sec, 105 secs
lola: 4044794 markings, 34401029 edges, 32150 markings/sec, 110 secs
lola: 4223385 markings, 35840923 edges, 35718 markings/sec, 115 secs
lola: 4404685 markings, 37276022 edges, 36260 markings/sec, 120 secs
lola: 4591615 markings, 38729839 edges, 37386 markings/sec, 125 secs
lola: 4780379 markings, 40226349 edges, 37753 markings/sec, 130 secs
lola: 4948841 markings, 41724658 edges, 33692 markings/sec, 135 secs
lola: 5111076 markings, 43196931 edges, 32447 markings/sec, 140 secs
lola: 5276209 markings, 44648306 edges, 33027 markings/sec, 145 secs
lola: 5431522 markings, 46100717 edges, 31063 markings/sec, 150 secs
lola: 5597606 markings, 47534035 edges, 33217 markings/sec, 155 secs
lola: 5732886 markings, 48946504 edges, 27056 markings/sec, 160 secs
lola: 5881493 markings, 50435819 edges, 29721 markings/sec, 165 secs
lola: 6043244 markings, 51886564 edges, 32350 markings/sec, 170 secs
lola: 6188682 markings, 53316037 edges, 29088 markings/sec, 175 secs
lola: 6315133 markings, 54766152 edges, 25290 markings/sec, 180 secs
lola: 6456021 markings, 56234159 edges, 28178 markings/sec, 185 secs
lola: 6599682 markings, 57703792 edges, 28732 markings/sec, 190 secs
lola: 6751860 markings, 59185905 edges, 30436 markings/sec, 195 secs
lola: 6891795 markings, 60680026 edges, 27987 markings/sec, 200 secs
lola: 7028693 markings, 62168743 edges, 27380 markings/sec, 205 secs
lola: 7190583 markings, 63659256 edges, 32378 markings/sec, 210 secs
lola: 7339547 markings, 65129060 edges, 29793 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1006344 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (A (X ((FIREABLE(t0) OR FIREABLE(t41)))))) OR E (X (FIREABLE(t47))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (FIREABLE(t47)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(FIREABLE(t47))
lola: processed formula length: 17
lola: 39 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (X ((FIREABLE(t0) OR FIREABLE(t41))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U AX((FIREABLE(t0) OR FIREABLE(t41))))
lola: processed formula length: 46
lola: 40 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 217645 markings, 1513891 edges, 43529 markings/sec, 0 secs
lola: 413050 markings, 3139017 edges, 39081 markings/sec, 5 secs
lola: 621764 markings, 4727137 edges, 41743 markings/sec, 10 secs
lola: 816376 markings, 6314836 edges, 38922 markings/sec, 15 secs
lola: 1011691 markings, 7895738 edges, 39063 markings/sec, 20 secs
lola: 1174422 markings, 9493548 edges, 32546 markings/sec, 25 secs
lola: 1374094 markings, 11081670 edges, 39934 markings/sec, 30 secs
lola: 1551615 markings, 12652915 edges, 35504 markings/sec, 35 secs
lola: 1699307 markings, 14232537 edges, 29538 markings/sec, 40 secs
lola: 1879828 markings, 15806965 edges, 36104 markings/sec, 45 secs
lola: 2049063 markings, 17400165 edges, 33847 markings/sec, 50 secs
lola: 2221940 markings, 19024240 edges, 34575 markings/sec, 55 secs
lola: 2393721 markings, 20653253 edges, 34356 markings/sec, 60 secs
lola: 2581553 markings, 22243654 edges, 37566 markings/sec, 65 secs
lola: 2760086 markings, 23833570 edges, 35707 markings/sec, 70 secs
lola: 2948595 markings, 25449484 edges, 37702 markings/sec, 75 secs
lola: 3160431 markings, 27070114 edges, 42367 markings/sec, 80 secs
lola: 3363974 markings, 28655255 edges, 40709 markings/sec, 85 secs
lola: 3567654 markings, 30273052 edges, 40736 markings/sec, 90 secs
lola: 3761005 markings, 31863161 edges, 38670 markings/sec, 95 secs
lola: 3931486 markings, 33391497 edges, 34096 markings/sec, 100 secs
lola: 4108853 markings, 34959524 edges, 35473 markings/sec, 105 secs
lola: 4306746 markings, 36499066 edges, 39579 markings/sec, 110 secs
lola: 4502612 markings, 38030500 edges, 39173 markings/sec, 115 secs
lola: 4702538 markings, 39626560 edges, 39985 markings/sec, 120 secs
lola: 4898083 markings, 41246606 edges, 39109 markings/sec, 125 secs
lola: 5068130 markings, 42859772 edges, 34009 markings/sec, 130 secs
lola: 5250130 markings, 44423737 edges, 36400 markings/sec, 135 secs
lola: 5416340 markings, 45981572 edges, 33242 markings/sec, 140 secs
lola: 5598209 markings, 47539785 edges, 36374 markings/sec, 145 secs
lola: 5747476 markings, 49092005 edges, 29853 markings/sec, 150 secs
lola: 5909085 markings, 50689913 edges, 32322 markings/sec, 155 secs
lola: 6080774 markings, 52242350 edges, 34338 markings/sec, 160 secs
lola: 6232565 markings, 53778049 edges, 30358 markings/sec, 165 secs
lola: 6364478 markings, 55344549 edges, 26383 markings/sec, 170 secs
lola: 6527045 markings, 56905209 edges, 32513 markings/sec, 175 secs
lola: 6669852 markings, 58471607 edges, 28561 markings/sec, 180 secs
lola: 6828993 markings, 60074925 edges, 31828 markings/sec, 185 secs
lola: 6990125 markings, 61685770 edges, 32226 markings/sec, 190 secs
lola: 7152763 markings, 63285360 edges, 32528 markings/sec, 195 secs
lola: 7305422 markings, 64817918 edges, 30532 markings/sec, 200 secs
lola: 7456921 markings, 66292499 edges, 30300 markings/sec, 205 secs
lola: 7624202 markings, 67892466 edges, 33456 markings/sec, 210 secs
lola: 7812542 markings, 69503839 edges, 37668 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1071732 KB
lola: time consumption: 446 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1071732 KB
lola: time consumption: 446 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((FIREABLE(t162) OR FIREABLE(t286)))) OR E (F ((E (X (FIREABLE(t206))) AND ((FIREABLE(t182) AND FIREABLE(t267)) OR FIREABLE(t240))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t162) OR FIREABLE(t286))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t162) OR FIREABLE(t286))))
lola: processed formula length: 43
lola: 39 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t162) OR FIREABLE(t286))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-60a-CTLFireability-2-0.sara
lola: lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 36 markings, 35 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-60a-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t206)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G (NOT FIREABLE(t206)))
lola: processed formula length: 26
lola: 40 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: FIREABLE(t206)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 576 markings, 576 edges
lola: ========================================
FORMULA DES-PT-60a-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t21)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t21)))
lola: processed formula length: 21
lola: 39 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t21)
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-60a-CTLFireability-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-60a-CTLFireability-4-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 2506 markings, 2505 edges
lola: ========================================
FORMULA DES-PT-60a-CTLFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 284 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t233) OR FIREABLE(t116))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t233) OR FIREABLE(t116))))
lola: processed formula length: 43
lola: 39 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t233) OR FIREABLE(t116))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-60a-CTLFireability-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-60a-CTLFireability-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 59173 markings, 147620 edges
lola: ========================================
FORMULA DES-PT-60a-CTLFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 312 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G (FIREABLE(t182)))))
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:300
lola: processed formula: A(TRUE U NOT(A(TRUE U NOT FIREABLE(t182))))
lola: processed formula length: 43
lola: 41 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 45 markings, 89 edges
lola: ========================================
FORMULA DES-PT-60a-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 347 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((E (F (NOT FIREABLE(t239))) U FIREABLE(t88)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A(E(TRUE U NOT FIREABLE(t239)) U FIREABLE(t88))
lola: processed formula length: 47
lola: 40 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 45 markings, 89 edges
lola: ========================================
FORMULA DES-PT-60a-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((E (F (NOT FIREABLE(t10))) AND (FIREABLE(t74) AND NOT FIREABLE(t62)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U (E(TRUE U NOT FIREABLE(t10)) AND (FIREABLE(t74) AND NOT FIREABLE(t62))))
lola: processed formula length: 81
lola: 40 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 198928 markings, 1634049 edges, 39786 markings/sec, 0 secs
lola: 361107 markings, 3250087 edges, 32436 markings/sec, 5 secs
lola: 539277 markings, 4854915 edges, 35634 markings/sec, 10 secs
lola: 697369 markings, 6434168 edges, 31618 markings/sec, 15 secs
lola: 872135 markings, 8024080 edges, 34953 markings/sec, 20 secs
lola: 1029173 markings, 9602077 edges, 31408 markings/sec, 25 secs
lola: 1168894 markings, 11197491 edges, 27944 markings/sec, 30 secs
lola: 1336036 markings, 12779661 edges, 33428 markings/sec, 35 secs
lola: 1495991 markings, 14358537 edges, 31991 markings/sec, 40 secs
lola: 1632059 markings, 15937899 edges, 27214 markings/sec, 45 secs
lola: 1769954 markings, 17529270 edges, 27579 markings/sec, 50 secs
lola: 1922286 markings, 19099172 edges, 30466 markings/sec, 55 secs
lola: 2077158 markings, 20707591 edges, 30974 markings/sec, 60 secs
lola: 2224119 markings, 22339424 edges, 29392 markings/sec, 65 secs
lola: 2368670 markings, 23965170 edges, 28910 markings/sec, 70 secs
lola: 2533637 markings, 25562436 edges, 32993 markings/sec, 75 secs
lola: 2689293 markings, 27152295 edges, 31131 markings/sec, 80 secs
lola: 2843850 markings, 28768323 edges, 30911 markings/sec, 85 secs
lola: 3012781 markings, 30410221 edges, 33786 markings/sec, 90 secs
lola: 3189731 markings, 31993366 edges, 35390 markings/sec, 95 secs
lola: 3365260 markings, 33580615 edges, 35106 markings/sec, 100 secs
lola: 3538943 markings, 35204942 edges, 34737 markings/sec, 105 secs
lola: 3710350 markings, 36817078 edges, 34281 markings/sec, 110 secs
lola: 3860153 markings, 38356025 edges, 29961 markings/sec, 115 secs
lola: 4012980 markings, 39921069 edges, 30565 markings/sec, 120 secs
lola: 4172320 markings, 41511861 edges, 31868 markings/sec, 125 secs
lola: 4339894 markings, 43042412 edges, 33515 markings/sec, 130 secs
lola: 4507499 markings, 44597311 edges, 33521 markings/sec, 135 secs
lola: 4681084 markings, 46211881 edges, 34717 markings/sec, 140 secs
lola: 4855044 markings, 47836985 edges, 34792 markings/sec, 145 secs
lola: 5002432 markings, 49457867 edges, 29478 markings/sec, 150 secs
lola: 5159709 markings, 51049600 edges, 31455 markings/sec, 155 secs
lola: 5308761 markings, 52625378 edges, 29810 markings/sec, 160 secs
lola: 5458639 markings, 54209391 edges, 29976 markings/sec, 165 secs
lola: 5611214 markings, 55781901 edges, 30515 markings/sec, 170 secs
lola: 5742282 markings, 57354486 edges, 26214 markings/sec, 175 secs
lola: 5881479 markings, 58960316 edges, 27839 markings/sec, 180 secs
lola: 6032038 markings, 60532931 edges, 30112 markings/sec, 185 secs
lola: 6172493 markings, 62104947 edges, 28091 markings/sec, 190 secs
lola: 6295615 markings, 63675726 edges, 24624 markings/sec, 195 secs
lola: 6421748 markings, 65266227 edges, 25227 markings/sec, 200 secs
lola: 6562833 markings, 66831941 edges, 28217 markings/sec, 205 secs
lola: 6698537 markings, 68432683 edges, 27141 markings/sec, 210 secs
lola: 6831745 markings, 70043338 edges, 26642 markings/sec, 215 secs
lola: 6976383 markings, 71663641 edges, 28928 markings/sec, 220 secs
lola: 7115656 markings, 73274001 edges, 27855 markings/sec, 225 secs
lola: 7254722 markings, 74848743 edges, 27813 markings/sec, 230 secs
lola: 7397039 markings, 76441341 edges, 28463 markings/sec, 235 secs
lola: 7537622 markings, 78052762 edges, 28117 markings/sec, 240 secs
lola: 7695781 markings, 79673639 edges, 31632 markings/sec, 245 secs
lola: 7852527 markings, 81252317 edges, 31349 markings/sec, 250 secs
lola: 8010047 markings, 82834575 edges, 31504 markings/sec, 255 secs
lola: 8161890 markings, 84431062 edges, 30369 markings/sec, 260 secs
lola: 8316341 markings, 86037483 edges, 30890 markings/sec, 265 secs
lola: 8460289 markings, 87578113 edges, 28790 markings/sec, 270 secs
lola: 8595836 markings, 89121082 edges, 27109 markings/sec, 275 secs
lola: 8736187 markings, 90688758 edges, 28070 markings/sec, 280 secs
lola: 8884735 markings, 92240380 edges, 29710 markings/sec, 285 secs
lola: 9031439 markings, 93757325 edges, 29341 markings/sec, 290 secs
lola: 9182409 markings, 95310465 edges, 30194 markings/sec, 295 secs
lola: 9337152 markings, 96897407 edges, 30949 markings/sec, 300 secs
lola: 9507524 markings, 98527272 edges, 34074 markings/sec, 305 secs
lola: 9637442 markings, 100000357 edges, 25984 markings/sec, 310 secs
lola: 9774296 markings, 101609929 edges, 27371 markings/sec, 315 secs
lola: 9918776 markings, 103195352 edges, 28896 markings/sec, 320 secs
lola: 10049375 markings, 104763769 edges, 26120 markings/sec, 325 secs
lola: 10205083 markings, 106348046 edges, 31142 markings/sec, 330 secs
lola: 10338606 markings, 107918206 edges, 26705 markings/sec, 335 secs
lola: 10459604 markings, 109512518 edges, 24200 markings/sec, 340 secs
lola: 10596903 markings, 111103557 edges, 27460 markings/sec, 345 secs
lola: 10741837 markings, 112677120 edges, 28987 markings/sec, 350 secs
lola: 10869408 markings, 114247531 edges, 25514 markings/sec, 355 secs
lola: 10979844 markings, 115817111 edges, 22087 markings/sec, 360 secs
lola: 11105862 markings, 117412643 edges, 25204 markings/sec, 365 secs
lola: 11236357 markings, 118980149 edges, 26099 markings/sec, 370 secs
lola: 11372481 markings, 120586708 edges, 27225 markings/sec, 375 secs
lola: 11496220 markings, 122204842 edges, 24748 markings/sec, 380 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes no unknown no unknown unknown yes unknown unknown unknown no unknown yes unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown yes no unknown no unknown unknown yes unknown unknown unknown no unknown yes unknown
lola: memory consumption: 1007504 KB
lola: time consumption: 837 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t224) OR NOT FIREABLE(t297) OR NOT FIREABLE(t147) OR NOT FIREABLE(t138)) OR E (F (NOT FIREABLE(t165))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: NOT(E(TRUE U ((FIREABLE(t224) AND FIREABLE(t297) AND FIREABLE(t147) AND FIREABLE(t138)) AND NOT(E(TRUE U NOT FIREABLE(t165))))))
lola: processed formula length: 128
lola: 42 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 233233 markings, 1549839 edges, 46647 markings/sec, 0 secs
lola: 436582 markings, 3175175 edges, 40670 markings/sec, 5 secs
lola: 623697 markings, 4785239 edges, 37423 markings/sec, 10 secs
lola: 821095 markings, 6377974 edges, 39480 markings/sec, 15 secs
lola: 1012035 markings, 7977329 edges, 38188 markings/sec, 20 secs
lola: 1186093 markings, 9390601 edges, 34812 markings/sec, 25 secs
lola: 1369011 markings, 10987935 edges, 36584 markings/sec, 30 secs
lola: 1562469 markings, 12587853 edges, 38692 markings/sec, 35 secs
lola: 1747725 markings, 14166921 edges, 37051 markings/sec, 40 secs
lola: 1927184 markings, 15738930 edges, 35892 markings/sec, 45 secs
lola: 2083605 markings, 17330989 edges, 31284 markings/sec, 50 secs
lola: 2256967 markings, 18932124 edges, 34672 markings/sec, 55 secs
lola: 2441998 markings, 20537907 edges, 37006 markings/sec, 60 secs
lola: 2664267 markings, 22169145 edges, 44454 markings/sec, 65 secs
lola: 2876565 markings, 23773536 edges, 42460 markings/sec, 70 secs
lola: 3077401 markings, 25347316 edges, 40167 markings/sec, 75 secs
lola: 3265721 markings, 26905178 edges, 37664 markings/sec, 80 secs
lola: 3474723 markings, 28457355 edges, 41800 markings/sec, 85 secs
lola: 3637609 markings, 30052555 edges, 32577 markings/sec, 90 secs
lola: 3847363 markings, 31672398 edges, 41951 markings/sec, 95 secs
lola: 4030303 markings, 33292786 edges, 36588 markings/sec, 100 secs
lola: 4199631 markings, 34903454 edges, 33866 markings/sec, 105 secs
lola: 4372279 markings, 36487449 edges, 34530 markings/sec, 110 secs
lola: 4546698 markings, 38081885 edges, 34884 markings/sec, 115 secs
lola: 4716438 markings, 39674817 edges, 33948 markings/sec, 120 secs
lola: 4887818 markings, 41260789 edges, 34276 markings/sec, 125 secs
lola: 5051279 markings, 42846196 edges, 32692 markings/sec, 130 secs
lola: 5220643 markings, 44421196 edges, 33873 markings/sec, 135 secs
lola: 5384740 markings, 45982749 edges, 32819 markings/sec, 140 secs
lola: 5544954 markings, 47547365 edges, 32043 markings/sec, 145 secs
lola: 5689706 markings, 49142237 edges, 28950 markings/sec, 150 secs
lola: 5835286 markings, 50725894 edges, 29116 markings/sec, 155 secs
lola: 6009743 markings, 52337096 edges, 34891 markings/sec, 160 secs
lola: 6174748 markings, 53928424 edges, 33001 markings/sec, 165 secs
lola: 6379600 markings, 55541811 edges, 40970 markings/sec, 170 secs
lola: 6567136 markings, 57118484 edges, 37507 markings/sec, 175 secs
lola: 6735943 markings, 58672619 edges, 33761 markings/sec, 180 secs
lola: 6902624 markings, 60212740 edges, 33336 markings/sec, 185 secs
lola: 7088005 markings, 61748252 edges, 37076 markings/sec, 190 secs
lola: 7239002 markings, 63310067 edges, 30199 markings/sec, 195 secs
lola: 7420075 markings, 64912901 edges, 36215 markings/sec, 200 secs
lola: 7596090 markings, 66550625 edges, 35203 markings/sec, 205 secs
lola: 7762781 markings, 68167363 edges, 33338 markings/sec, 210 secs
lola: 7922356 markings, 69772127 edges, 31915 markings/sec, 215 secs
lola: 8082816 markings, 71356510 edges, 32092 markings/sec, 220 secs
lola: 8243082 markings, 72952605 edges, 32053 markings/sec, 225 secs
lola: 8398324 markings, 74547104 edges, 31048 markings/sec, 230 secs
lola: 8558906 markings, 76138073 edges, 32116 markings/sec, 235 secs
lola: 8706872 markings, 77721254 edges, 29593 markings/sec, 240 secs
lola: 8866910 markings, 79309023 edges, 32008 markings/sec, 245 secs
lola: 9016519 markings, 80892110 edges, 29922 markings/sec, 250 secs
lola: 9163604 markings, 82465522 edges, 29417 markings/sec, 255 secs
lola: 9306068 markings, 84037639 edges, 28493 markings/sec, 260 secs
lola: 9449366 markings, 85611997 edges, 28660 markings/sec, 265 secs
lola: 9612341 markings, 87232949 edges, 32595 markings/sec, 270 secs
lola: 9778160 markings, 88859229 edges, 33164 markings/sec, 275 secs
lola: 9941235 markings, 90474140 edges, 32615 markings/sec, 280 secs
lola: 10107224 markings, 92079712 edges, 33198 markings/sec, 285 secs
lola: 10306970 markings, 93708982 edges, 39949 markings/sec, 290 secs
lola: 10501774 markings, 95324952 edges, 38961 markings/sec, 295 secs
lola: 10700689 markings, 96914125 edges, 39783 markings/sec, 300 secs
lola: 10874514 markings, 98491995 edges, 34765 markings/sec, 305 secs
lola: 11033056 markings, 100064607 edges, 31708 markings/sec, 310 secs
lola: 11199801 markings, 101624513 edges, 33349 markings/sec, 315 secs
lola: 11372647 markings, 103184103 edges, 34569 markings/sec, 320 secs
lola: 11553086 markings, 104747373 edges, 36088 markings/sec, 325 secs
lola: 11702698 markings, 106305732 edges, 29922 markings/sec, 330 secs
lola: 11876442 markings, 107909220 edges, 34749 markings/sec, 335 secs
lola: 12034470 markings, 109535725 edges, 31606 markings/sec, 340 secs
lola: 12186171 markings, 111142218 edges, 30340 markings/sec, 345 secs
lola: 12330090 markings, 112737368 edges, 28784 markings/sec, 350 secs
lola: 12474758 markings, 114310261 edges, 28934 markings/sec, 355 secs
lola: 12618591 markings, 115891920 edges, 28767 markings/sec, 360 secs
lola: 12762072 markings, 117473551 edges, 28696 markings/sec, 365 secs
lola: 12905865 markings, 119056013 edges, 28759 markings/sec, 370 secs
lola: 13047500 markings, 120631659 edges, 28327 markings/sec, 375 secs
lola: 13180356 markings, 122198453 edges, 26571 markings/sec, 380 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes no unknown no unknown unknown yes unknown unknown unknown no unknown yes unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown yes no unknown no unknown unknown yes unknown unknown unknown no unknown yes unknown
lola: memory consumption: 1148504 KB
lola: time consumption: 1227 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((E (F (FIREABLE(t116))) U E (G (NOT FIREABLE(t75)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: A(E(TRUE U FIREABLE(t116)) U NOT(A(TRUE U FIREABLE(t75))))
lola: processed formula length: 58
lola: 42 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 45 markings, 45 edges
lola: ========================================
FORMULA DES-PT-60a-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 468 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (F ((FIREABLE(t172) AND FIREABLE(t181)))) U A (G (FIREABLE(t252)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(A(TRUE U (FIREABLE(t172) AND FIREABLE(t181))) U NOT(E(TRUE U NOT FIREABLE(t252))))
lola: processed formula length: 84
lola: 42 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 45 markings, 46 edges
lola: ========================================
FORMULA DES-PT-60a-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 585 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((FIREABLE(t243) AND FIREABLE(t197)))) OR E (F ((FIREABLE(t215) OR FIREABLE(t198)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 585 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t215) OR FIREABLE(t198))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t215) OR FIREABLE(t198))))
lola: processed formula length: 43
lola: 39 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t215) OR FIREABLE(t198))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-60a-CTLFireability-12-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 258 markings, 258 edges
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-60a-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 13 will run for 781 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((FIREABLE(t232) AND FIREABLE(t264)))) OR (A (((FIREABLE(t80) AND FIREABLE(t81)) U (FIREABLE(t278) AND FIREABLE(t15)))) AND FIREABLE(t298)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
sara: try reading problem file DES-PT-60a-CTLFireability-12-0.sara.
lola: subprocess 13 will run for 781 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t298)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t298)
lola: processed formula length: 14
lola: 38 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1171 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t232) AND FIREABLE(t264))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t232) OR NOT FIREABLE(t264))
lola: processed formula length: 43
lola: 40 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 26 markings, 25 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DES-PT-60a-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1171 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((FIREABLE(t139) AND FIREABLE(t204) AND FIREABLE(t64)))) OR E (G ((E (G (FIREABLE(t154))) AND FIREABLE(t9)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1171 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t139) AND FIREABLE(t204) AND FIREABLE(t64))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t139) AND FIREABLE(t204) AND FIREABLE(t64))))
lola: processed formula length: 61
lola: 39 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t139) AND FIREABLE(t204) AND FIREABLE(t64))
lola: state equation: Generated DNF with 7 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-60a-CTLFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-60a-CTLFireability-14-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 15 will run for 2343 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((E (G (FIREABLE(t154))) AND FIREABLE(t9))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(A(TRUE U (A(TRUE U NOT FIREABLE(t154)) OR NOT FIREABLE(t9))))
lola: processed formula length: 65
lola: 44 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DES-PT-60a-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2343 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (((NOT FIREABLE(t95) AND NOT FIREABLE(t220)) U FIREABLE(t40))) AND (E (F (FIREABLE(t204))) AND A (G ((NOT FIREABLE(t30) OR NOT FIREABLE(t121))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2343 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t204)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t204)))
lola: processed formula length: 22
lola: 39 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t204)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-60a-CTLFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-60a-CTLFireability-15-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 502 markings, 502 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 (((NOT FIREABLE(t95) AND NOT FIREABLE(t220)) U FIREABLE(t40)))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E (((NOT FIREABLE(t95) AND NOT FIREABLE(t220)) U FIREABLE(t40)))
lola: processed formula length: 64
lola: 41 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: FIREABLE(t40)
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-60a-CTLFireability-17-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-60a-CTLFireability-17-0.sara.
sara: place or transition ordering is non-deterministic
lola: local time limit reached - aborting
lola:
preliminary result: no yes yes no unknown no unknown no yes unknown unknown no no yes yes unknown
lola: memory consumption: 16124 KB
lola: time consumption: 1228 seconds
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G ((A (X (NOT FIREABLE(t257))) OR (FIREABLE(t138) OR NOT FIREABLE(t153)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: NOT(E(TRUE U (NOT(AX(NOT FIREABLE(t257))) AND (NOT FIREABLE(t138) AND FIREABLE(t153)))))
lola: processed formula length: 88
lola: 42 rewrites
lola: closed formula file DES-PT-60a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 205566 markings, 1413137 edges, 41113 markings/sec, 0 secs
lola: 382934 markings, 2934503 edges, 35474 markings/sec, 5 secs
lola: 577321 markings, 4366672 edges, 38877 markings/sec, 10 secs
lola: 753369 markings, 5860208 edges, 35210 markings/sec, 15 secs
lola: 948928 markings, 7349751 edges, 39112 markings/sec, 20 secs
lola: 1108268 markings, 8857089 edges, 31868 markings/sec, 25 secs
lola: 1285791 markings, 10376907 edges, 35505 markings/sec, 30 secs
lola: 1467725 markings, 11875500 edges, 36387 markings/sec, 35 secs
lola: 1620141 markings, 13363252 edges, 30483 markings/sec, 40 secs
lola: 1768897 markings, 14876925 edges, 29751 markings/sec, 45 secs
lola: 1936255 markings, 16376875 edges, 33472 markings/sec, 50 secs
lola: 2108038 markings, 17893781 edges, 34357 markings/sec, 55 secs
lola: 2271352 markings, 19420015 edges, 32663 markings/sec, 60 secs
lola: 2433001 markings, 20950207 edges, 32330 markings/sec, 65 secs
lola: 2605594 markings, 22454125 edges, 34519 markings/sec, 70 secs
lola: 2774630 markings, 23968498 edges, 33807 markings/sec, 75 secs
lola: 2953459 markings, 25490778 edges, 35766 markings/sec, 80 secs
lola: 3155770 markings, 27031856 edges, 40462 markings/sec, 85 secs
lola: 3348463 markings, 28534596 edges, 38539 markings/sec, 90 secs
lola: 3539020 markings, 30050718 edges, 38111 markings/sec, 95 secs
lola: 3725869 markings, 31568011 edges, 37370 markings/sec, 100 secs
lola: 3888215 markings, 33005364 edges, 32469 markings/sec, 105 secs
lola: 4053129 markings, 34463538 edges, 32983 markings/sec, 110 secs
lola: 4234332 markings, 35925318 edges, 36241 markings/sec, 115 secs
lola: 4419736 markings, 37388571 edges, 37081 markings/sec, 120 secs
lola: 4606382 markings, 38859464 edges, 37329 markings/sec, 125 secs
lola: 4799189 markings, 40376217 edges, 38561 markings/sec, 130 secs
lola: 4967182 markings, 41896078 edges, 33599 markings/sec, 135 secs
lola: 5133434 markings, 43378359 edges, 33250 markings/sec, 140 secs
lola: 5297321 markings, 44856896 edges, 32777 markings/sec, 145 secs
lola: 5459420 markings, 46326908 edges, 32420 markings/sec, 150 secs
lola: 5623770 markings, 47777255 edges, 32870 markings/sec, 155 secs
lola: 5761841 markings, 49246813 edges, 27614 markings/sec, 160 secs
lola: 5915618 markings, 50742797 edges, 30755 markings/sec, 165 secs
lola: 6076722 markings, 52205432 edges, 32221 markings/sec, 170 secs
lola: 6220820 markings, 53650307 edges, 28820 markings/sec, 175 secs
lola: 6346560 markings, 55131173 edges, 25148 markings/sec, 180 secs
lola: 6496209 markings, 56605420 edges, 29930 markings/sec, 185 secs
lola: 6630443 markings, 58080093 edges, 26847 markings/sec, 190 secs
lola: 6787011 markings, 59566791 edges, 31314 markings/sec, 195 secs
lola: 6933143 markings, 61056851 edges, 29226 markings/sec, 200 secs
lola: 7073306 markings, 62553695 edges, 28033 markings/sec, 205 secs
lola: 7227246 markings, 64034827 edges, 30788 markings/sec, 210 secs
lola: 7378492 markings, 65504748 edges, 30249 markings/sec, 215 secs
lola: 7524062 markings, 66978214 edges, 29114 markings/sec, 220 secs
lola: 7689303 markings, 68486977 edges, 33048 markings/sec, 225 secs
lola: 7863382 markings, 69963659 edges, 34816 markings/sec, 230 secs
lola: 8030369 markings, 71428601 edges, 33397 markings/sec, 235 secs
lola: 8194875 markings, 72898165 edges, 32901 markings/sec, 240 secs
lola: 8357258 markings, 74377212 edges, 32477 markings/sec, 245 secs
lola: 8503109 markings, 75790038 edges, 29170 markings/sec, 250 secs
lola: 8648264 markings, 77203168 edges, 29031 markings/sec, 255 secs
lola: 8788060 markings, 78620344 edges, 27959 markings/sec, 260 secs
lola: 8956043 markings, 80049016 edges, 33597 markings/sec, 265 secs
lola: 9118673 markings, 81474363 edges, 32526 markings/sec, 270 secs
lola: 9275686 markings, 82903011 edges, 31403 markings/sec, 275 secs
lola: 9452342 markings, 84408505 edges, 35331 markings/sec, 280 secs
lola: 9613702 markings, 85943681 edges, 32272 markings/sec, 285 secs
lola: 9766033 markings, 87459434 edges, 30466 markings/sec, 290 secs
lola: 9922756 markings, 88955294 edges, 31345 markings/sec, 295 secs
lola: 10073635 markings, 90449627 edges, 30176 markings/sec, 300 secs
lola: 10243991 markings, 91934612 edges, 34071 markings/sec, 305 secs
lola: 10374028 markings, 93412589 edges, 26007 markings/sec, 310 secs
lola: 10509532 markings, 94931437 edges, 27101 markings/sec, 315 secs
lola: 10665253 markings, 96426912 edges, 31144 markings/sec, 320 secs
lola: 10816723 markings, 97910025 edges, 30294 markings/sec, 325 secs
lola: 10937282 markings, 99387486 edges, 24112 markings/sec, 330 secs
lola: 11056462 markings, 100896481 edges, 23836 markings/sec, 335 secs
lola: 11209359 markings, 102379700 edges, 30579 markings/sec, 340 secs
lola: 11344667 markings, 103891442 edges, 27062 markings/sec, 345 secs
lola: 11485215 markings, 105402066 edges, 28110 markings/sec, 350 secs
lola: 11633181 markings, 106919753 edges, 29593 markings/sec, 355 secs
lola: 11782803 markings, 108445231 edges, 29924 markings/sec, 360 secs
lola: 11922663 markings, 109998693 edges, 27972 markings/sec, 365 secs
lola: 12064404 markings, 111510865 edges, 28348 markings/sec, 370 secs
lola: 12214669 markings, 113012038 edges, 30053 markings/sec, 375 secs
lola: 12362774 markings, 114520789 edges, 29621 markings/sec, 380 secs
lola: 12491616 markings, 116061592 edges, 25768 markings/sec, 385 secs
lola: 12645318 markings, 117595484 edges, 30740 markings/sec, 390 secs
lola: 12797611 markings, 119147390 edges, 30459 markings/sec, 395 secs
lola: 12961264 markings, 120661684 edges, 32731 markings/sec, 400 secs
lola: 13123373 markings, 122156391 edges, 32422 markings/sec, 405 secs
lola: 13290590 markings, 123662217 edges, 33443 markings/sec, 410 secs
lola: 13433502 markings, 125197246 edges, 28582 markings/sec, 415 secs
lola: 13582462 markings, 126728056 edges, 29792 markings/sec, 420 secs
lola: 13727420 markings, 128241606 edges, 28992 markings/sec, 425 secs
lola: 13868731 markings, 129692764 edges, 28262 markings/sec, 430 secs
lola: 14010920 markings, 131139082 edges, 28438 markings/sec, 435 secs
lola: 14146700 markings, 132583116 edges, 27156 markings/sec, 440 secs
lola: 14285017 markings, 134068430 edges, 27663 markings/sec, 445 secs
lola: 14436200 markings, 135550840 edges, 30237 markings/sec, 450 secs
lola: 14592856 markings, 137016226 edges, 31331 markings/sec, 455 secs
lola: 14753305 markings, 138474938 edges, 32090 markings/sec, 460 secs
lola: 14909020 markings, 139966477 edges, 31143 markings/sec, 465 secs
lola: 15046963 markings, 141476534 edges, 27589 markings/sec, 470 secs
lola: 15194562 markings, 142984190 edges, 29520 markings/sec, 475 secs
lola: 15354433 markings, 144486053 edges, 31974 markings/sec, 480 secs
lola: 15488292 markings, 146001492 edges, 26772 markings/sec, 485 secs
lola: 15626949 markings, 147482875 edges, 27731 markings/sec, 490 secs
lola: 15766684 markings, 148961194 edges, 27947 markings/sec, 495 secs
lola: 15902721 markings, 150431594 edges, 27207 markings/sec, 500 secs
lola: 16049299 markings, 151893523 edges, 29316 markings/sec, 505 secs
lola: 16166642 markings, 153350820 edges, 23469 markings/sec, 510 secs
lola: 16282667 markings, 154843403 edges, 23205 markings/sec, 515 secs
lola: 16424433 markings, 156322390 edges, 28353 markings/sec, 520 secs
lola: 16560044 markings, 157785930 edges, 27122 markings/sec, 525 secs
lola: 16683804 markings, 159240577 edges, 24752 markings/sec, 530 secs
lola: 16793034 markings, 160711337 edges, 21846 markings/sec, 535 secs
lola: 16914960 markings, 162194755 edges, 24385 markings/sec, 540 secs
lola: 17042065 markings, 163662109 edges, 25421 markings/sec, 545 secs
lola: 17173264 markings, 165152653 edges, 26240 markings/sec, 550 secs
lola: 17294464 markings, 166644351 edges, 24240 markings/sec, 555 secs
lola: 17427888 markings, 168137935 edges, 26685 markings/sec, 560 secs
lola: 17557323 markings, 169637633 edges, 25887 markings/sec, 565 secs
lola: 17682144 markings, 171160433 edges, 24964 markings/sec, 570 secs
lola: 17817293 markings, 172650000 edges, 27030 markings/sec, 575 secs
lola: 17945525 markings, 174127923 edges, 25646 markings/sec, 580 secs
lola: 18081901 markings, 175607739 edges, 27275 markings/sec, 585 secs
lola: 18216988 markings, 177097571 edges, 27017 markings/sec, 590 secs
lola: 18332558 markings, 178611495 edges, 23114 markings/sec, 595 secs
lola: 18466225 markings, 180125701 edges, 26733 markings/sec, 600 secs
lola: 18602849 markings, 181651706 edges, 27325 markings/sec, 605 secs
lola: 18743230 markings, 183135605 edges, 28076 markings/sec, 610 secs
lola: 18892841 markings, 184609144 edges, 29922 markings/sec, 615 secs
lola: 19033957 markings, 186076163 edges, 28223 markings/sec, 620 secs
lola: 19175421 markings, 187576936 edges, 28293 markings/sec, 625 secs
lola: 19302002 markings, 189066052 edges, 25316 markings/sec, 630 secs
lola: 19430138 markings, 190586094 edges, 25627 markings/sec, 635 secs
lola: 19564107 markings, 192042358 edges, 26794 markings/sec, 640 secs
lola: 19687467 markings, 193460515 edges, 24672 markings/sec, 645 secs
lola: 19818449 markings, 194885884 edges, 26196 markings/sec, 650 secs
lola: 19942754 markings, 196309725 edges, 24861 markings/sec, 655 secs
lola: 20071394 markings, 197763545 edges, 25728 markings/sec, 660 secs
lola: 20196301 markings, 199215535 edges, 24981 markings/sec, 665 secs
lola: 20329632 markings, 200645549 edges, 26666 markings/sec, 670 secs
lola: 20474842 markings, 202078116 edges, 29042 markings/sec, 675 secs
lola: 20613805 markings, 203522801 edges, 27793 markings/sec, 680 secs
lola: 20743225 markings, 204992952 edges, 25884 markings/sec, 685 secs
lola: 20875013 markings, 206477452 edges, 26358 markings/sec, 690 secs
lola: 21017700 markings, 207964307 edges, 28537 markings/sec, 695 secs
lola: 21217140 markings, 209532307 edges, 39888 markings/sec, 700 secs
lola: 21407347 markings, 211128807 edges, 38041 markings/sec, 705 secs
lola: 21608705 markings, 212700766 edges, 40272 markings/sec, 710 secs
lola: 21796338 markings, 214240453 edges, 37527 markings/sec, 715 secs
lola: 21984714 markings, 215830627 edges, 37675 markings/sec, 720 secs
lola: 22156652 markings, 217418058 edges, 34388 markings/sec, 725 secs
lola: 22317031 markings, 219005686 edges, 32076 markings/sec, 730 secs
lola: 22466389 markings, 220545711 edges, 29872 markings/sec, 735 secs
lola: 22631434 markings, 222104543 edges, 33009 markings/sec, 740 secs
lola: 22807009 markings, 223647525 edges, 35115 markings/sec, 745 secs
lola: 22967893 markings, 225231143 edges, 32177 markings/sec, 750 secs
lola: 23109332 markings, 226771263 edges, 28288 markings/sec, 755 secs
lola: 23247196 markings, 228312273 edges, 27573 markings/sec, 760 secs
lola: 23408916 markings, 229841062 edges, 32344 markings/sec, 765 secs
lola: 23549823 markings, 231389315 edges, 28181 markings/sec, 770 secs
lola: 23721139 markings, 232938985 edges, 34263 markings/sec, 775 secs
lola: 23890165 markings, 234482462 edges, 33805 markings/sec, 780 secs
lola: 24032410 markings, 236041506 edges, 28449 markings/sec, 785 secs
lola: 24201043 markings, 237586331 edges, 33727 markings/sec, 790 secs
lola: 24379526 markings, 239131215 edges, 35697 markings/sec, 795 secs
lola: 24577640 markings, 240677386 edges, 39623 markings/sec, 800 secs
lola: 24775374 markings, 242218100 edges, 39547 markings/sec, 805 secs
lola: 24951192 markings, 243725909 edges, 35164 markings/sec, 810 secs
lola: 25127558 markings, 245280855 edges, 35273 markings/sec, 815 secs
lola: 25297380 markings, 246844287 edges, 33964 markings/sec, 820 secs
lola: 25453695 markings, 248375416 edges, 31263 markings/sec, 825 secs
lola: 25596757 markings, 249884017 edges, 28612 markings/sec, 830 secs
lola: 25766134 markings, 251418411 edges, 33875 markings/sec, 835 secs
lola: 25934940 markings, 252915619 edges, 33761 markings/sec, 840 secs
lola: 26090109 markings, 254463081 edges, 31034 markings/sec, 845 secs
lola: 26228400 markings, 255961123 edges, 27658 markings/sec, 850 secs
lola: 26361838 markings, 257461668 edges, 26688 markings/sec, 855 secs
lola: 26519620 markings, 258958591 edges, 31556 markings/sec, 860 secs
lola: 26654561 markings, 260471899 edges, 26988 markings/sec, 865 secs
lola: 26823747 markings, 261984578 edges, 33837 markings/sec, 870 secs
lola: 26989343 markings, 263489701 edges, 33119 markings/sec, 875 secs
lola: 27127450 markings, 265010884 edges, 27621 markings/sec, 880 secs
lola: 27286529 markings, 266549827 edges, 31816 markings/sec, 885 secs
lola: 27484155 markings, 268088636 edges, 39525 markings/sec, 890 secs
lola: 27645845 markings, 269625026 edges, 32338 markings/sec, 895 secs
lola: 27820640 markings, 271147872 edges, 34959 markings/sec, 900 secs
lola: 27965780 markings, 272677532 edges, 29028 markings/sec, 905 secs
lola: 28118289 markings, 274178843 edges, 30502 markings/sec, 910 secs
lola: 28268664 markings, 275699507 edges, 30075 markings/sec, 915 secs
lola: 28427249 markings, 277213901 edges, 31717 markings/sec, 920 secs
lola: 28568545 markings, 278722051 edges, 28259 markings/sec, 925 secs
lola: 28708218 markings, 280266837 edges, 27935 markings/sec, 930 secs
lola: 28833779 markings, 281793545 edges, 25112 markings/sec, 935 secs
lola: 28961473 markings, 283314953 edges, 25539 markings/sec, 940 secs
lola: 29102204 markings, 284875243 edges, 28146 markings/sec, 945 secs
lola: 29236873 markings, 286447054 edges, 26934 markings/sec, 950 secs
lola: 29362566 markings, 287991145 edges, 25139 markings/sec, 955 secs
lola: 29502929 markings, 289539043 edges, 28073 markings/sec, 960 secs
lola: 29676106 markings, 291110019 edges, 34635 markings/sec, 965 secs
lola: 29828897 markings, 292650873 edges, 30558 markings/sec, 970 secs
lola: 29993309 markings, 294200525 edges, 32882 markings/sec, 975 secs
lola: 30148056 markings, 295728917 edges, 30949 markings/sec, 980 secs
lola: 30298426 markings, 297244202 edges, 30074 markings/sec, 985 secs
lola: 30465574 markings, 298775358 edges, 33430 markings/sec, 990 secs
lola: 30633925 markings, 300321236 edges, 33670 markings/sec, 995 secs
lola: 30783374 markings, 301841870 edges, 29890 markings/sec, 1000 secs
lola: 30939077 markings, 303367252 edges, 31141 markings/sec, 1005 secs
lola: 31071979 markings, 304891055 edges, 26580 markings/sec, 1010 secs
lola: 31208236 markings, 306391434 edges, 27251 markings/sec, 1015 secs
lola: 31340134 markings, 307901278 edges, 26380 markings/sec, 1020 secs
lola: 31491984 markings, 309409274 edges, 30370 markings/sec, 1025 secs
lola: 31618823 markings, 310908621 edges, 25368 markings/sec, 1030 secs
lola: 31743333 markings, 312363534 edges, 24902 markings/sec, 1035 secs
lola: 31862329 markings, 313884928 edges, 23799 markings/sec, 1040 secs
lola: 31972975 markings, 315380341 edges, 22129 markings/sec, 1045 secs
lola: 32092539 markings, 316892257 edges, 23913 markings/sec, 1050 secs
lola: 32221975 markings, 318445902 edges, 25887 markings/sec, 1055 secs
lola: 32338487 markings, 319980045 edges, 23302 markings/sec, 1060 secs
lola: 32457359 markings, 321504013 edges, 23774 markings/sec, 1065 secs
lola: 32614848 markings, 323021383 edges, 31498 markings/sec, 1070 secs
lola: 32785943 markings, 324540193 edges, 34219 markings/sec, 1075 secs
lola: 32934149 markings, 326037751 edges, 29641 markings/sec, 1080 secs
lola: 33087413 markings, 327552368 edges, 30653 markings/sec, 1085 secs
lola: 33249974 markings, 329078713 edges, 32512 markings/sec, 1090 secs
lola: 33385729 markings, 330583039 edges, 27151 markings/sec, 1095 secs
lola: 33510346 markings, 331970933 edges, 24923 markings/sec, 1100 secs
lola: 33645631 markings, 333517397 edges, 27057 markings/sec, 1105 secs
lola: 33763094 markings, 335042395 edges, 23493 markings/sec, 1110 secs
lola: 33879368 markings, 336550333 edges, 23255 markings/sec, 1115 secs
lola: 34020550 markings, 338071027 edges, 28236 markings/sec, 1120 secs
lola: 34192806 markings, 339602322 edges, 34451 markings/sec, 1125 secs
lola: 34337848 markings, 341120224 edges, 29008 markings/sec, 1130 secs
lola: 34479267 markings, 342650588 edges, 28284 markings/sec, 1135 secs
lola: 34609404 markings, 344210199 edges, 26027 markings/sec, 1140 secs
lola: 34726701 markings, 345747939 edges, 23459 markings/sec, 1145 secs
lola: 34844019 markings, 347275016 edges, 23464 markings/sec, 1150 secs
lola: 35007683 markings, 348790829 edges, 32733 markings/sec, 1155 secs
lola: 35157696 markings, 350280458 edges, 30003 markings/sec, 1160 secs
lola: 35310163 markings, 351799578 edges, 30493 markings/sec, 1165 secs
lola: 35442308 markings, 353322803 edges, 26429 markings/sec, 1170 secs
lola: 35559502 markings, 354825538 edges, 23439 markings/sec, 1175 secs
lola: 35672409 markings, 356341784 edges, 22581 markings/sec, 1180 secs
lola: 35797190 markings, 357832474 edges, 24956 markings/sec, 1185 secs
lola: 35966988 markings, 359352973 edges, 33960 markings/sec, 1190 secs
lola: 36117752 markings, 360887001 edges, 30153 markings/sec, 1195 secs
lola: 36271027 markings, 362419936 edges, 30655 markings/sec, 1200 secs
lola: 36423702 markings, 363954408 edges, 30535 markings/sec, 1205 secs
lola: 36556922 markings, 365462225 edges, 26644 markings/sec, 1210 secs
lola: 36696291 markings, 366971846 edges, 27874 markings/sec, 1215 secs
lola: 36845236 markings, 368483414 edges, 29789 markings/sec, 1220 secs
lola: 36980076 markings, 369976367 edges, 26968 markings/sec, 1225 secs
lola: 37110921 markings, 371461867 edges, 26169 markings/sec, 1230 secs
lola: 37277302 markings, 372991949 edges, 33276 markings/sec, 1235 secs
lola: 37405411 markings, 374398125 edges, 25622 markings/sec, 1240 secs
lola: 37539913 markings, 375897831 edges, 26900 markings/sec, 1245 secs
lola: 37692836 markings, 377416304 edges, 30585 markings/sec, 1250 secs
lola: 37826756 markings, 378820286 edges, 26784 markings/sec, 1255 secs
lola: 37956534 markings, 380310241 edges, 25956 markings/sec, 1260 secs
lola: 38105778 markings, 381820180 edges, 29849 markings/sec, 1265 secs
lola: 38273298 markings, 383356585 edges, 33504 markings/sec, 1270 secs
lola: 38409576 markings, 384772835 edges, 27256 markings/sec, 1275 secs
lola: 38576070 markings, 386313509 edges, 33299 markings/sec, 1280 secs
lola: 38772139 markings, 387866968 edges, 39214 markings/sec, 1285 secs
lola: 38937109 markings, 389397407 edges, 32994 markings/sec, 1290 secs
lola: 39109492 markings, 390930955 edges, 34477 markings/sec, 1295 secs
lola: 39264044 markings, 392459241 edges, 30910 markings/sec, 1300 secs
lola: 39412647 markings, 393965334 edges, 29721 markings/sec, 1305 secs
lola: 39583014 markings, 395485552 edges, 34073 markings/sec, 1310 secs
lola: 39734794 markings, 396980837 edges, 30356 markings/sec, 1315 secs
lola: 39886696 markings, 398467842 edges, 30380 markings/sec, 1320 secs
lola: 40062742 markings, 399988228 edges, 35209 markings/sec, 1325 secs
lola: 40213024 markings, 401484623 edges, 30056 markings/sec, 1330 secs
lola: 40362684 markings, 402976727 edges, 29932 markings/sec, 1335 secs
lola: 40532664 markings, 404496930 edges, 33996 markings/sec, 1340 secs
lola: 40680333 markings, 405991851 edges, 29534 markings/sec, 1345 secs
lola: 40832489 markings, 407484364 edges, 30431 markings/sec, 1350 secs
lola: 41008709 markings, 409021322 edges, 35244 markings/sec, 1355 secs
lola: 41158745 markings, 410534798 edges, 30007 markings/sec, 1360 secs
lola: 41311087 markings, 412045964 edges, 30468 markings/sec, 1365 secs
lola: 41487090 markings, 413564946 edges, 35201 markings/sec, 1370 secs
lola: 41639486 markings, 415041374 edges, 30479 markings/sec, 1375 secs
lola: 41784066 markings, 416496395 edges, 28916 markings/sec, 1380 secs
lola: 41931964 markings, 417964520 edges, 29580 markings/sec, 1385 secs
lola: 42067802 markings, 419429882 edges, 27168 markings/sec, 1390 secs
lola: 42197132 markings, 420868183 edges, 25866 markings/sec, 1395 secs
lola: 42331260 markings, 422317806 edges, 26826 markings/sec, 1400 secs
lola: 42478584 markings, 423783103 edges, 29465 markings/sec, 1405 secs
lola: 42599429 markings, 425218946 edges, 24169 markings/sec, 1410 secs
lola: 42737196 markings, 426665767 edges, 27553 markings/sec, 1415 secs
lola: 42890355 markings, 428126423 edges, 30632 markings/sec, 1420 secs
lola: 43020080 markings, 429573721 edges, 25945 markings/sec, 1425 secs
lola: 43152632 markings, 431013837 edges, 26510 markings/sec, 1430 secs
lola: 43300683 markings, 432476626 edges, 29610 markings/sec, 1435 secs
lola: 43436827 markings, 433933336 edges, 27229 markings/sec, 1440 secs
lola: 43565848 markings, 435369241 edges, 25804 markings/sec, 1445 secs
lola: 43713826 markings, 436833254 edges, 29596 markings/sec, 1450 secs
lola: 43897727 markings, 438337632 edges, 36780 markings/sec, 1455 secs
lola: 44060096 markings, 439806887 edges, 32474 markings/sec, 1460 secs
lola: 44226416 markings, 441297841 edges, 33264 markings/sec, 1465 secs
lola: 44374134 markings, 442771059 edges, 29544 markings/sec, 1470 secs
lola: 44518716 markings, 444232219 edges, 28916 markings/sec, 1475 secs
lola: 44682103 markings, 445714711 edges, 32677 markings/sec, 1480 secs
lola: 44824627 markings, 447172089 edges, 28505 markings/sec, 1485 secs
lola: 44971705 markings, 448620978 edges, 29416 markings/sec, 1490 secs
lola: 45142363 markings, 450104895 edges, 34132 markings/sec, 1495 secs
lola: 45288535 markings, 451555630 edges, 29234 markings/sec, 1500 secs
lola: 45433605 markings, 453004203 edges, 29014 markings/sec, 1505 secs
lola: 45599049 markings, 454491260 edges, 33089 markings/sec, 1510 secs
lola: 45746145 markings, 455954702 edges, 29419 markings/sec, 1515 secs
lola: 45892741 markings, 457417993 edges, 29319 markings/sec, 1520 secs
lola: 46072384 markings, 458925557 edges, 35929 markings/sec, 1525 secs
lola: 46240833 markings, 460450635 edges, 33690 markings/sec, 1530 secs
lola: 46391768 markings, 461985663 edges, 30187 markings/sec, 1535 secs
lola: 46550781 markings, 463499497 edges, 31803 markings/sec, 1540 secs
lola: 46684996 markings, 465026401 edges, 26843 markings/sec, 1545 secs
lola: 46839592 markings, 466512424 edges, 30919 markings/sec, 1550 secs
lola: 46982545 markings, 467999720 edges, 28591 markings/sec, 1555 secs
lola: 47111103 markings, 469501902 edges, 25712 markings/sec, 1560 secs
lola: 47237405 markings, 470996080 edges, 25260 markings/sec, 1565 secs
lola: 47412368 markings, 472479116 edges, 34993 markings/sec, 1570 secs
lola: 47552199 markings, 473985716 edges, 27966 markings/sec, 1575 secs
lola: 47715518 markings, 475461212 edges, 32664 markings/sec, 1580 secs
lola: 47848148 markings, 476948619 edges, 26526 markings/sec, 1585 secs
lola: 47991883 markings, 478399770 edges, 28747 markings/sec, 1590 secs
lola: 48137823 markings, 479859373 edges, 29188 markings/sec, 1595 secs
lola: 48268131 markings, 481315784 edges, 26062 markings/sec, 1600 secs
lola: 48389361 markings, 482775275 edges, 24246 markings/sec, 1605 secs
lola: 48542158 markings, 484261589 edges, 30559 markings/sec, 1610 secs
lola: 48689007 markings, 485751603 edges, 29370 markings/sec, 1615 secs
lola: 48836545 markings, 487223128 edges, 29508 markings/sec, 1620 secs
lola: 48973537 markings, 488683611 edges, 27398 markings/sec, 1625 secs
lola: 49093803 markings, 490126932 edges, 24053 markings/sec, 1630 secs
lola: 49218283 markings, 491616496 edges, 24896 markings/sec, 1635 secs
lola: 49331004 markings, 493076258 edges, 22544 markings/sec, 1640 secs
lola: 49457126 markings, 494604126 edges, 25224 markings/sec, 1645 secs
lola: 49579077 markings, 496102931 edges, 24390 markings/sec, 1650 secs
lola: 49722223 markings, 497606750 edges, 28629 markings/sec, 1655 secs
lola: 49864043 markings, 499083961 edges, 28364 markings/sec, 1660 secs
lola: 49997480 markings, 500537698 edges, 26687 markings/sec, 1665 secs
lola: 50141128 markings, 502023977 edges, 28730 markings/sec, 1670 secs
lola: 50279800 markings, 503501889 edges, 27734 markings/sec, 1675 secs
lola: 50415302 markings, 504970566 edges, 27100 markings/sec, 1680 secs
lola: 50535652 markings, 506419534 edges, 24070 markings/sec, 1685 secs
lola: 50645138 markings, 507861687 edges, 21897 markings/sec, 1690 secs
lola: 50758457 markings, 509349594 edges, 22664 markings/sec, 1695 secs
lola: 50861847 markings, 510806450 edges, 20678 markings/sec, 1700 secs
lola: 50977424 markings, 512319882 edges, 23115 markings/sec, 1705 secs
lola: 51087596 markings, 513797798 edges, 22034 markings/sec, 1710 secs
lola: 51238158 markings, 515260593 edges, 30112 markings/sec, 1715 secs
lola: 51369781 markings, 516695472 edges, 26325 markings/sec, 1720 secs
lola: 51499917 markings, 518134321 edges, 26027 markings/sec, 1725 secs
lola: 51612198 markings, 519589945 edges, 22456 markings/sec, 1730 secs
lola: 51721521 markings, 521043410 edges, 21865 markings/sec, 1735 secs
lola: 51853315 markings, 522512472 edges, 26359 markings/sec, 1740 secs
lola: 51991393 markings, 523971148 edges, 27616 markings/sec, 1745 secs
lola: 52109621 markings, 525453240 edges, 23646 markings/sec, 1750 secs
lola: 52217555 markings, 526934508 edges, 21587 markings/sec, 1755 secs
lola: 52354926 markings, 528424494 edges, 27474 markings/sec, 1760 secs
lola: 52486413 markings, 529887869 edges, 26297 markings/sec, 1765 secs
lola: 52602160 markings, 531392657 edges, 23149 markings/sec, 1770 secs
lola: 52706206 markings, 532859937 edges, 20809 markings/sec, 1775 secs
lola: 52857785 markings, 534345331 edges, 30316 markings/sec, 1780 secs
lola: 52991311 markings, 535814720 edges, 26705 markings/sec, 1785 secs
lola: 53120839 markings, 537285563 edges, 25906 markings/sec, 1790 secs
lola: 53245613 markings, 538730714 edges, 24955 markings/sec, 1795 secs
lola: 53368084 markings, 540169373 edges, 24494 markings/sec, 1800 secs
lola: 53504486 markings, 541639058 edges, 27280 markings/sec, 1805 secs
lola: 53626802 markings, 543084209 edges, 24463 markings/sec, 1810 secs
lola: 53758099 markings, 544552635 edges, 26259 markings/sec, 1815 secs
lola: 53876307 markings, 545994754 edges, 23642 markings/sec, 1820 secs
lola: 54023005 markings, 547466980 edges, 29340 markings/sec, 1825 secs
lola: 54157938 markings, 548943753 edges, 26987 markings/sec, 1830 secs
lola: 54326593 markings, 550429318 edges, 33731 markings/sec, 1835 secs
lola: 54470440 markings, 551899880 edges, 28769 markings/sec, 1840 secs
lola: 54607938 markings, 553354952 edges, 27500 markings/sec, 1845 secs
lola: 54748874 markings, 554819062 edges, 28187 markings/sec, 1850 secs
lola: 54887734 markings, 556257148 edges, 27772 markings/sec, 1855 secs
lola: 55035218 markings, 557710408 edges, 29497 markings/sec, 1860 secs
lola: 55172346 markings, 559156604 edges, 27426 markings/sec, 1865 secs
lola: 55307412 markings, 560589675 edges, 27013 markings/sec, 1870 secs
lola: 55452234 markings, 562040161 edges, 28964 markings/sec, 1875 secs
lola: 55584546 markings, 563487067 edges, 26462 markings/sec, 1880 secs
lola: 55728338 markings, 564886638 edges, 28758 markings/sec, 1885 secs
lola: 55859618 markings, 566285014 edges, 26256 markings/sec, 1890 secs
lola: 55984691 markings, 567712061 edges, 25015 markings/sec, 1895 secs
lola: 56097856 markings, 569095724 edges, 22633 markings/sec, 1900 secs
lola: 56226846 markings, 570504034 edges, 25798 markings/sec, 1905 secs
lola: 56343497 markings, 571877260 edges, 23330 markings/sec, 1910 secs
lola: 56474201 markings, 573287550 edges, 26141 markings/sec, 1915 secs
lola: 56589876 markings, 574672452 edges, 23135 markings/sec, 1920 secs
lola: 56720438 markings, 576093641 edges, 26112 markings/sec, 1925 secs
lola: 56841318 markings, 577488676 edges, 24176 markings/sec, 1930 secs
lola: 56999079 markings, 578903276 edges, 31552 markings/sec, 1935 secs
lola: 57136091 markings, 580320184 edges, 27402 markings/sec, 1940 secs
lola: 57264512 markings, 581723250 edges, 25684 markings/sec, 1945 secs
lola: 57400836 markings, 583133997 edges, 27265 markings/sec, 1950 secs
lola: 57536567 markings, 584538573 edges, 27146 markings/sec, 1955 secs
lola: 57677951 markings, 585947846 edges, 28277 markings/sec, 1960 secs
lola: 57811230 markings, 587359025 edges, 26656 markings/sec, 1965 secs
lola: 57946275 markings, 588794463 edges, 27009 markings/sec, 1970 secs
lola: 58101225 markings, 590245303 edges, 30990 markings/sec, 1975 secs
lola: 58319813 markings, 591731655 edges, 43718 markings/sec, 1980 secs
lola: 58512577 markings, 593207874 edges, 38553 markings/sec, 1985 secs
lola: 58691944 markings, 594697580 edges, 35873 markings/sec, 1990 secs
lola: 58868731 markings, 596172210 edges, 35357 markings/sec, 1995 secs
lola: 59044084 markings, 597649461 edges, 35071 markings/sec, 2000 secs
lola: 59224475 markings, 599123287 edges, 36078 markings/sec, 2005 secs
lola: 59399557 markings, 600611069 edges, 35016 markings/sec, 2010 secs
lola: 59569604 markings, 602096126 edges, 34009 markings/sec, 2015 secs
lola: 59725570 markings, 603584498 edges, 31193 markings/sec, 2020 secs
lola: 59885136 markings, 605059245 edges, 31913 markings/sec, 2025 secs
lola: 60039837 markings, 606520327 edges, 30940 markings/sec, 2030 secs
lola: 60207339 markings, 607990731 edges, 33500 markings/sec, 2035 secs
lola: 60379707 markings, 609449404 edges, 34474 markings/sec, 2040 secs
lola: 60544433 markings, 610905415 edges, 32945 markings/sec, 2045 secs
lola: 60697651 markings, 612364859 edges, 30644 markings/sec, 2050 secs
lola: 60856742 markings, 613821323 edges, 31818 markings/sec, 2055 secs
lola: 61008111 markings, 615270347 edges, 30274 markings/sec, 2060 secs
lola: 61158924 markings, 616769033 edges, 30163 markings/sec, 2065 secs
lola: 61350816 markings, 618269059 edges, 38378 markings/sec, 2070 secs
lola: 61514922 markings, 619751942 edges, 32821 markings/sec, 2075 secs
lola: 61660882 markings, 621223907 edges, 29192 markings/sec, 2080 secs
lola: 61848163 markings, 622697625 edges, 37456 markings/sec, 2085 secs
lola: 61989099 markings, 624164294 edges, 28187 markings/sec, 2090 secs
lola: 62168169 markings, 625640494 edges, 35814 markings/sec, 2095 secs
lola: 62335053 markings, 627129144 edges, 33377 markings/sec, 2100 secs
lola: 62480498 markings, 628611936 edges, 29089 markings/sec, 2105 secs
lola: 62648892 markings, 630092660 edges, 33679 markings/sec, 2110 secs
lola: 62784094 markings, 631549768 edges, 27040 markings/sec, 2115 secs
lola: 62926656 markings, 633008112 edges, 28512 markings/sec, 2120 secs
lola: 63082701 markings, 634409786 edges, 31209 markings/sec, 2125 secs
lola: 63211502 markings, 635870090 edges, 25760 markings/sec, 2130 secs
lola: 63372327 markings, 637334708 edges, 32165 markings/sec, 2135 secs
lola: 63572547 markings, 638852642 edges, 40044 markings/sec, 2140 secs
lola: 63735654 markings, 640335900 edges, 32621 markings/sec, 2145 secs
lola: 63893399 markings, 641803598 edges, 31549 markings/sec, 2150 secs
lola: 64040564 markings, 643281881 edges, 29433 markings/sec, 2155 secs
lola: 64188899 markings, 644751727 edges, 29667 markings/sec, 2160 secs
lola: 64337885 markings, 646216194 edges, 29797 markings/sec, 2165 secs
lola: 64483024 markings, 647675562 edges, 29028 markings/sec, 2170 secs
lola: 64638080 markings, 649151887 edges, 31011 markings/sec, 2175 secs
lola: 64779037 markings, 650615069 edges, 28191 markings/sec, 2180 secs
lola: 64921637 markings, 652082388 edges, 28520 markings/sec, 2185 secs
lola: 65052328 markings, 653545056 edges, 26138 markings/sec, 2190 secs
lola: 65186937 markings, 655009713 edges, 26922 markings/sec, 2195 secs
lola: 65322882 markings, 656468058 edges, 27189 markings/sec, 2200 secs
lola: 65451995 markings, 657926582 edges, 25823 markings/sec, 2205 secs
lola: 65604642 markings, 659391336 edges, 30529 markings/sec, 2210 secs
lola: 65745845 markings, 660845401 edges, 28241 markings/sec, 2215 secs
lola: 65886999 markings, 662302136 edges, 28231 markings/sec, 2220 secs
lola: 66016388 markings, 663744568 edges, 25878 markings/sec, 2225 secs
lola: 66150556 markings, 665196099 edges, 26834 markings/sec, 2230 secs
lola: 66282166 markings, 666644095 edges, 26322 markings/sec, 2235 secs
lola: 66416206 markings, 668103651 edges, 26808 markings/sec, 2240 secs
lola: 66579565 markings, 669618459 edges, 32672 markings/sec, 2245 secs
lola: 66768100 markings, 671089499 edges, 37707 markings/sec, 2250 secs
lola: 66909561 markings, 672550974 edges, 28292 markings/sec, 2255 secs
lola: 67054483 markings, 674036429 edges, 28984 markings/sec, 2260 secs
lola: 67166437 markings, 675517305 edges, 22391 markings/sec, 2265 secs
lola: 67268207 markings, 676993598 edges, 20354 markings/sec, 2270 secs
lola: 67357830 markings, 678466889 edges, 17925 markings/sec, 2275 secs
lola: 67520385 markings, 679961304 edges, 32511 markings/sec, 2280 secs
lola: 67680306 markings, 681426951 edges, 31984 markings/sec, 2285 secs
lola: 67831379 markings, 682916507 edges, 30215 markings/sec, 2290 secs
lola: 67993829 markings, 684365353 edges, 32490 markings/sec, 2295 secs
lola: 68125851 markings, 685819057 edges, 26404 markings/sec, 2300 secs
lola: 68259731 markings, 687292906 edges, 26776 markings/sec, 2305 secs
lola: 68367191 markings, 688771473 edges, 21492 markings/sec, 2310 secs
lola: 68466333 markings, 690232805 edges, 19828 markings/sec, 2315 secs
lola: 68552873 markings, 691710574 edges, 17308 markings/sec, 2320 secs
lola: 68651960 markings, 693191895 edges, 19817 markings/sec, 2325 secs
lola: 68860467 markings, 694738340 edges, 41701 markings/sec, 2330 secs
lola: 69013133 markings, 696286246 edges, 30533 markings/sec, 2335 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes yes no unknown no unknown no yes unknown unknown no no yes yes unknown
lola:
preliminary result: no yes yes no unknown no unknown no yes unknown unknown no no yes yes unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes no unknown no unknown no yes unknown unknown no no yes yes unknown
lola: memory consumption: 9569544 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes no unknown no unknown no yes unknown unknown no no yes yes unknown
lola: memory consumption: 9569776 KB
lola: time consumption: 3570 seconds
BK_STOP 1526647990866
--------------------
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-60a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-60a.tgz
mv DES-PT-60a 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-60a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-smll-152646380200284"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;