About the Execution of LoLA for DES-PT-60b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2677.810 | 3570496.00 | 4590673.00 | 8222.50 | ?FTTF?FT?TFFFFTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 300K
-rw-r--r-- 1 mcc users 3.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.3K 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.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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 139K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DES-PT-60b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646380200290
=====================================================================
--------------------
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-60b-CTLCardinality-00
FORMULA_NAME DES-PT-60b-CTLCardinality-01
FORMULA_NAME DES-PT-60b-CTLCardinality-02
FORMULA_NAME DES-PT-60b-CTLCardinality-03
FORMULA_NAME DES-PT-60b-CTLCardinality-04
FORMULA_NAME DES-PT-60b-CTLCardinality-05
FORMULA_NAME DES-PT-60b-CTLCardinality-06
FORMULA_NAME DES-PT-60b-CTLCardinality-07
FORMULA_NAME DES-PT-60b-CTLCardinality-08
FORMULA_NAME DES-PT-60b-CTLCardinality-09
FORMULA_NAME DES-PT-60b-CTLCardinality-10
FORMULA_NAME DES-PT-60b-CTLCardinality-11
FORMULA_NAME DES-PT-60b-CTLCardinality-12
FORMULA_NAME DES-PT-60b-CTLCardinality-13
FORMULA_NAME DES-PT-60b-CTLCardinality-14
FORMULA_NAME DES-PT-60b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526648008996
info: Time: 3600 - MCC
===========================================================================================
prep: translating DES-PT-60b 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-60b formula CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ DES-PT-60b @ 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: 989/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 519
lola: finding significant places
lola: 519 places, 470 transitions, 454 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 567 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-60b-CTLCardinality.task
lola: LP says that atomic proposition is always false: (3 <= p165)
lola: LP says that atomic proposition is always false: (2 <= p323)
lola: LP says that atomic proposition is always false: (2 <= p90)
lola: LP says that atomic proposition is always false: (3 <= p57)
lola: LP says that atomic proposition is always false: (2 <= p300)
lola: LP says that atomic proposition is always false: (3 <= p130)
lola: LP says that atomic proposition is always false: (2 <= p110)
lola: LP says that atomic proposition is always false: (2 <= p450)
lola: LP says that atomic proposition is always false: (3 <= p213)
lola: LP says that atomic proposition is always false: (2 <= p86)
lola: LP says that atomic proposition is always false: (2 <= p438)
lola: ((A (F ((p178 + 1 <= p430))) OR ()) OR (((1 <= p478)) AND (E (G ((p57 <= p67))) OR ((p37 <= p499) OR (p304 <= p126))))) : A (F ((E (F ((1 <= p504))) AND ((p227 <= p106) AND (p155 + 1 <= p175))))) : NOT(E (((p169 <= p179) U FALSE))) : E (X (E (((p227 <= p425) U (1 <= p354))))) : E (G (A (F (())))) : E (((p89 <= p489) U ((p175 + 1 <= p10) AND (p376 <= 0)))) : ((A (G ((p171 <= 0))) AND E (F (FALSE))) OR A ((TRUE U (p475 + 1 <= p219)))) : E (G (A (F ((p322 <= p63))))) : E (G (A (((1 <= p239) U (p418 <= p249))))) : NOT(A (G (E (G ((p149 <= p403)))))) : A ((A (G ((p47 <= p112))) U ((p35 + 1 <= p459) AND (p3 + 1 <= p209)))) : NOT(E (G (((p378 <= 0) OR (1 <= p280))))) : A (X (E (F (FALSE)))) : E (G (((p378 <= p430)))) : E (G ((p310 <= p497))) : E (X (A (F (()))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:458
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:479
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:133
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 34 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DES-PT-60b-CTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 34 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DES-PT-60b-CTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: DEADLOCK
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: DEADLOCK
lola: processed formula length: 8
lola: 34 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
FORMULA DES-PT-60b-CTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 34 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DES-PT-60b-CTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (((p227 <= p425) U (1 <= p354)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(E((p227 <= p425) U (1 <= p354)))
lola: processed formula length: 35
lola: 36 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 240108 markings, 1130752 edges, 48022 markings/sec, 0 secs
lola: 464859 markings, 2270037 edges, 44950 markings/sec, 5 secs
lola: 681672 markings, 3412661 edges, 43363 markings/sec, 10 secs
lola: 893530 markings, 4558049 edges, 42372 markings/sec, 15 secs
lola: 1100167 markings, 5697625 edges, 41327 markings/sec, 20 secs
lola: 1303721 markings, 6815025 edges, 40711 markings/sec, 25 secs
lola: 1499671 markings, 7939811 edges, 39190 markings/sec, 30 secs
lola: 1711989 markings, 9076424 edges, 42464 markings/sec, 35 secs
lola: 1936528 markings, 10226855 edges, 44908 markings/sec, 40 secs
lola: 2146398 markings, 11367834 edges, 41974 markings/sec, 45 secs
lola: 2354651 markings, 12503468 edges, 41651 markings/sec, 50 secs
lola: 2557570 markings, 13634248 edges, 40584 markings/sec, 55 secs
lola: 2770010 markings, 14768235 edges, 42488 markings/sec, 60 secs
lola: 2993086 markings, 15914537 edges, 44615 markings/sec, 65 secs
lola: 3203457 markings, 17052105 edges, 42074 markings/sec, 70 secs
lola: 3411280 markings, 18183986 edges, 41565 markings/sec, 75 secs
lola: 3614047 markings, 19314767 edges, 40553 markings/sec, 80 secs
lola: 3792256 markings, 20446923 edges, 35642 markings/sec, 85 secs
lola: 3960192 markings, 21587532 edges, 33587 markings/sec, 90 secs
lola: 4126825 markings, 22723104 edges, 33327 markings/sec, 95 secs
lola: 4292303 markings, 23857716 edges, 33096 markings/sec, 100 secs
lola: 4528435 markings, 24995186 edges, 47226 markings/sec, 105 secs
lola: 4755144 markings, 26148752 edges, 45342 markings/sec, 110 secs
lola: 4974206 markings, 27295099 edges, 43812 markings/sec, 115 secs
lola: 5181801 markings, 28442845 edges, 41519 markings/sec, 120 secs
lola: 5391094 markings, 29581285 edges, 41859 markings/sec, 125 secs
lola: 5591372 markings, 30696241 edges, 40056 markings/sec, 130 secs
lola: 5782838 markings, 31815016 edges, 38293 markings/sec, 135 secs
lola: 5998194 markings, 32934038 edges, 43071 markings/sec, 140 secs
lola: 6217270 markings, 34068752 edges, 43815 markings/sec, 145 secs
lola: 6423808 markings, 35192045 edges, 41308 markings/sec, 150 secs
lola: 6629052 markings, 36308773 edges, 41049 markings/sec, 155 secs
lola: 6827221 markings, 37420097 edges, 39634 markings/sec, 160 secs
lola: 7037857 markings, 38536435 edges, 42127 markings/sec, 165 secs
lola: 7260567 markings, 39679027 edges, 44542 markings/sec, 170 secs
lola: 7470532 markings, 40818250 edges, 41993 markings/sec, 175 secs
lola: 7675902 markings, 41936549 edges, 41074 markings/sec, 180 secs
lola: 7876474 markings, 43054775 edges, 40114 markings/sec, 185 secs
lola: 8052119 markings, 44168408 edges, 35129 markings/sec, 190 secs
lola: 8217901 markings, 45295845 edges, 33156 markings/sec, 195 secs
lola: 8381824 markings, 46412773 edges, 32785 markings/sec, 200 secs
lola: 8537382 markings, 47525623 edges, 31112 markings/sec, 205 secs
lola: 8771783 markings, 48645965 edges, 46880 markings/sec, 210 secs
lola: 8986343 markings, 49733271 edges, 42912 markings/sec, 215 secs
lola: 9202777 markings, 50872100 edges, 43287 markings/sec, 220 secs
lola: 9412881 markings, 52007694 edges, 42021 markings/sec, 225 secs
lola: 9617905 markings, 53144654 edges, 41005 markings/sec, 230 secs
lola: 9820930 markings, 54252129 edges, 40605 markings/sec, 235 secs
lola: 10017592 markings, 55375040 edges, 39332 markings/sec, 240 secs
lola: 10224055 markings, 56491629 edges, 41293 markings/sec, 245 secs
lola: 10442113 markings, 57619361 edges, 43612 markings/sec, 250 secs
lola: 10651184 markings, 58736591 edges, 41814 markings/sec, 255 secs
lola: 10855495 markings, 59852025 edges, 40862 markings/sec, 260 secs
lola: 11056096 markings, 60964312 edges, 40120 markings/sec, 265 secs
lola: 11260720 markings, 62078501 edges, 40925 markings/sec, 270 secs
lola: 11479640 markings, 63200766 edges, 43784 markings/sec, 275 secs
lola: 11689980 markings, 64317580 edges, 42068 markings/sec, 280 secs
lola: 11892694 markings, 65431248 edges, 40543 markings/sec, 285 secs
lola: 12094097 markings, 66536208 edges, 40281 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown no unknown unknown unknown unknown unknown unknown unknown no unknown unknown no
lola: memory consumption: 1007064 KB
lola: time consumption: 304 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p403 + 1 <= p149)))
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 ((p403 + 1 <= p149)))
lola: processed formula length: 26
lola: 35 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.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: (p403 + 1 <= p149)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-60b-CTLCardinality-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-60b-CTLCardinality-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: 21937 markings, 43997 edges
lola: ========================================
FORMULA DES-PT-60b-CTLCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p475 + 1 <= p219)))
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: (p219 <= p475)
lola: processed formula length: 14
lola: 36 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 89 markings, 88 edges
lola: ========================================
FORMULA DES-PT-60b-CTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((p378 <= p430))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (((p378 <= p430))))
lola: processed formula length: 24
lola: 34 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 794346 markings, 905373 edges, 158869 markings/sec, 0 secs
lola: 1522503 markings, 1767990 edges, 145631 markings/sec, 5 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1639580 markings, 1916119 edges
FORMULA DES-PT-60b-CTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 406 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((p310 <= p497)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((p310 <= p497)))
lola: processed formula length: 22
lola: 34 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 89 markings, 88 edges
lola: ========================================
FORMULA DES-PT-60b-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 464 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p378) AND (p280 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: ((p378 <= 0) OR (1 <= p280))
lola: processed formula length: 29
lola: 36 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 113 markings, 113 edges
FORMULA DES-PT-60b-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 542 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((p322 <= p63)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U (p322 <= p63)))))
lola: processed formula length: 43
lola: 36 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 85 markings, 169 edges
FORMULA DES-PT-60b-CTLCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 650 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (((1 <= p239) U (p418 <= p249)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A((1 <= p239) U (p418 <= p249)))))
lola: processed formula length: 51
lola: 36 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 221959 markings, 1136394 edges, 44392 markings/sec, 0 secs
lola: 435574 markings, 2286291 edges, 42723 markings/sec, 5 secs
lola: 638043 markings, 3432902 edges, 40494 markings/sec, 10 secs
lola: 837675 markings, 4569961 edges, 39926 markings/sec, 15 secs
lola: 1030259 markings, 5693785 edges, 38517 markings/sec, 20 secs
lola: 1215742 markings, 6801512 edges, 37097 markings/sec, 25 secs
lola: 1415237 markings, 7885755 edges, 39899 markings/sec, 30 secs
lola: 1618044 markings, 9030280 edges, 40561 markings/sec, 35 secs
lola: 1814795 markings, 10162188 edges, 39350 markings/sec, 40 secs
lola: 2009653 markings, 11294686 edges, 38972 markings/sec, 45 secs
lola: 2220541 markings, 12440581 edges, 42178 markings/sec, 50 secs
lola: 2420116 markings, 13580447 edges, 39915 markings/sec, 55 secs
lola: 2616097 markings, 14708588 edges, 39196 markings/sec, 60 secs
lola: 2796794 markings, 15842129 edges, 36139 markings/sec, 65 secs
lola: 2960836 markings, 16984414 edges, 32808 markings/sec, 70 secs
lola: 3121554 markings, 18116084 edges, 32144 markings/sec, 75 secs
lola: 3326070 markings, 19258446 edges, 40903 markings/sec, 80 secs
lola: 3539255 markings, 20410367 edges, 42637 markings/sec, 85 secs
lola: 3745134 markings, 21557740 edges, 41176 markings/sec, 90 secs
lola: 3942087 markings, 22702532 edges, 39391 markings/sec, 95 secs
lola: 4141012 markings, 23828693 edges, 39785 markings/sec, 100 secs
lola: 4324940 markings, 24953755 edges, 36786 markings/sec, 105 secs
lola: 4536184 markings, 26090207 edges, 42249 markings/sec, 110 secs
lola: 4737819 markings, 27223672 edges, 40327 markings/sec, 115 secs
lola: 4933748 markings, 28346975 edges, 39186 markings/sec, 120 secs
lola: 5122887 markings, 29471640 edges, 37828 markings/sec, 125 secs
lola: 5336070 markings, 30616759 edges, 42637 markings/sec, 130 secs
lola: 5538050 markings, 31758519 edges, 40396 markings/sec, 135 secs
lola: 5734854 markings, 32886391 edges, 39361 markings/sec, 140 secs
lola: 5916724 markings, 34012602 edges, 36374 markings/sec, 145 secs
lola: 6082536 markings, 35147055 edges, 33162 markings/sec, 150 secs
lola: 6244190 markings, 36273784 edges, 32331 markings/sec, 155 secs
lola: 6434190 markings, 37404464 edges, 38000 markings/sec, 160 secs
lola: 6648414 markings, 38548798 edges, 42845 markings/sec, 165 secs
lola: 6857166 markings, 39690706 edges, 41750 markings/sec, 170 secs
lola: 7052281 markings, 40829472 edges, 39023 markings/sec, 175 secs
lola: 7248919 markings, 41948438 edges, 39328 markings/sec, 180 secs
lola: 7435290 markings, 43075102 edges, 37274 markings/sec, 185 secs
lola: 7640425 markings, 44206416 edges, 41027 markings/sec, 190 secs
lola: 7846723 markings, 45343568 edges, 41260 markings/sec, 195 secs
lola: 8042032 markings, 46471258 edges, 39062 markings/sec, 200 secs
lola: 8230258 markings, 47591392 edges, 37645 markings/sec, 205 secs
lola: 8436533 markings, 48721411 edges, 41255 markings/sec, 210 secs
lola: 8641926 markings, 49856767 edges, 41079 markings/sec, 215 secs
lola: 8837727 markings, 50980715 edges, 39160 markings/sec, 220 secs
lola: 9025028 markings, 52098983 edges, 37460 markings/sec, 225 secs
lola: 9191969 markings, 53226942 edges, 33388 markings/sec, 230 secs
lola: 9353776 markings, 54349266 edges, 32361 markings/sec, 235 secs
lola: 9506836 markings, 55472499 edges, 30612 markings/sec, 240 secs
lola: 9661027 markings, 56605129 edges, 30838 markings/sec, 245 secs
lola: 9806907 markings, 57749893 edges, 29176 markings/sec, 250 secs
lola: 9952838 markings, 58892156 edges, 29186 markings/sec, 255 secs
lola: 10096200 markings, 60026154 edges, 28672 markings/sec, 260 secs
lola: 10233829 markings, 61163661 edges, 27526 markings/sec, 265 secs
lola: 10374021 markings, 62282675 edges, 28038 markings/sec, 270 secs
lola: 10510900 markings, 63407486 edges, 27376 markings/sec, 275 secs
lola: 10645904 markings, 64535109 edges, 27001 markings/sec, 280 secs
lola: 10794968 markings, 65665289 edges, 29813 markings/sec, 285 secs
lola: 10940696 markings, 66803577 edges, 29146 markings/sec, 290 secs
lola: 11082732 markings, 67932515 edges, 28407 markings/sec, 295 secs
lola: 11222699 markings, 69051631 edges, 27993 markings/sec, 300 secs
lola: 11359755 markings, 70169309 edges, 27411 markings/sec, 305 secs
lola: 11504185 markings, 71292303 edges, 28886 markings/sec, 310 secs
lola: 11650124 markings, 72423888 edges, 29188 markings/sec, 315 secs
lola: 11794589 markings, 73551978 edges, 28893 markings/sec, 320 secs
lola: 11932098 markings, 74674186 edges, 27502 markings/sec, 325 secs
lola: 12071476 markings, 75785870 edges, 27876 markings/sec, 330 secs
lola: 12204957 markings, 76902574 edges, 26696 markings/sec, 335 secs
lola: 12331801 markings, 78027760 edges, 25369 markings/sec, 340 secs
lola: 12455617 markings, 79149467 edges, 24763 markings/sec, 345 secs
lola: 12578156 markings, 80264052 edges, 24508 markings/sec, 350 secs
lola: 12765831 markings, 81390551 edges, 37535 markings/sec, 355 secs
lola: 12977111 markings, 82530638 edges, 42256 markings/sec, 360 secs
lola: 13181084 markings, 83668689 edges, 40795 markings/sec, 365 secs
lola: 13376798 markings, 84803684 edges, 39143 markings/sec, 370 secs
lola: 13571821 markings, 85920645 edges, 39005 markings/sec, 375 secs
lola: 13757207 markings, 87045966 edges, 37077 markings/sec, 380 secs
lola: 13966262 markings, 88175813 edges, 41811 markings/sec, 385 secs
lola: 14168613 markings, 89308563 edges, 40470 markings/sec, 390 secs
lola: 14363639 markings, 90430662 edges, 39005 markings/sec, 395 secs
lola: 14550390 markings, 91548245 edges, 37350 markings/sec, 400 secs
lola: 14759701 markings, 92674175 edges, 41862 markings/sec, 405 secs
lola: 14962935 markings, 93803481 edges, 40647 markings/sec, 410 secs
lola: 15158873 markings, 94928254 edges, 39188 markings/sec, 415 secs
lola: 15342604 markings, 96043473 edges, 36746 markings/sec, 420 secs
lola: 15509874 markings, 97174578 edges, 33454 markings/sec, 425 secs
lola: 15671811 markings, 98295597 edges, 32387 markings/sec, 430 secs
lola: 15849226 markings, 99419625 edges, 35483 markings/sec, 435 secs
lola: 16062903 markings, 100552715 edges, 42735 markings/sec, 440 secs
lola: 16267955 markings, 101691759 edges, 41010 markings/sec, 445 secs
lola: 16467891 markings, 102824033 edges, 39987 markings/sec, 450 secs
lola: 16664474 markings, 103944006 edges, 39317 markings/sec, 455 secs
lola: 16854168 markings, 105062840 edges, 37939 markings/sec, 460 secs
lola: 17050657 markings, 106188949 edges, 39298 markings/sec, 465 secs
lola: 17255039 markings, 107322536 edges, 40876 markings/sec, 470 secs
lola: 17451359 markings, 108447328 edges, 39264 markings/sec, 475 secs
lola: 17645456 markings, 109561139 edges, 38819 markings/sec, 480 secs
lola: 17845546 markings, 110683225 edges, 40018 markings/sec, 485 secs
lola: 18047614 markings, 111814113 edges, 40414 markings/sec, 490 secs
lola: 18243170 markings, 112936162 edges, 39111 markings/sec, 495 secs
lola: 18437816 markings, 114052272 edges, 38929 markings/sec, 500 secs
lola: 18609404 markings, 115181826 edges, 34318 markings/sec, 505 secs
lola: 18770775 markings, 116311681 edges, 32274 markings/sec, 510 secs
lola: 18923137 markings, 117425826 edges, 30472 markings/sec, 515 secs
lola: 19094743 markings, 118549550 edges, 34321 markings/sec, 520 secs
lola: 19259780 markings, 119682773 edges, 33007 markings/sec, 525 secs
lola: 19419031 markings, 120818974 edges, 31850 markings/sec, 530 secs
lola: 19576925 markings, 121944255 edges, 31579 markings/sec, 535 secs
lola: 19727540 markings, 123072056 edges, 30123 markings/sec, 540 secs
lola: 19879946 markings, 124176800 edges, 30481 markings/sec, 545 secs
lola: 20029540 markings, 125295041 edges, 29919 markings/sec, 550 secs
lola: 20186612 markings, 126413905 edges, 31414 markings/sec, 555 secs
lola: 20346806 markings, 127542640 edges, 32039 markings/sec, 560 secs
lola: 20505183 markings, 128666674 edges, 31675 markings/sec, 565 secs
lola: 20660278 markings, 129787026 edges, 31019 markings/sec, 570 secs
lola: 20809692 markings, 130898190 edges, 29883 markings/sec, 575 secs
lola: 20968185 markings, 132013458 edges, 31699 markings/sec, 580 secs
lola: 21126576 markings, 133133137 edges, 31678 markings/sec, 585 secs
lola: 21284842 markings, 134254929 edges, 31653 markings/sec, 590 secs
lola: 21438464 markings, 135371672 edges, 30724 markings/sec, 595 secs
lola: 21589201 markings, 136478387 edges, 30147 markings/sec, 600 secs
lola: 21731268 markings, 137593466 edges, 28413 markings/sec, 605 secs
lola: 21865250 markings, 138712881 edges, 26796 markings/sec, 610 secs
lola: 21997467 markings, 139823750 edges, 26443 markings/sec, 615 secs
lola: 22178352 markings, 140954651 edges, 36177 markings/sec, 620 secs
lola: 22443181 markings, 142108208 edges, 52966 markings/sec, 625 secs
lola: 22690787 markings, 143248974 edges, 49521 markings/sec, 630 secs
lola: 22941636 markings, 144382335 edges, 50170 markings/sec, 635 secs
lola: 23173245 markings, 145525644 edges, 46322 markings/sec, 640 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown no unknown no yes unknown yes unknown no no no yes no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown yes unknown no unknown no yes unknown yes unknown no no no yes no
lola: memory consumption: 1935756 KB
lola: time consumption: 966 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 651 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((E (F ((1 <= p504))) AND ((p227 <= p106) AND (p155 + 1 <= p175)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (E(TRUE U (1 <= p504)) AND ((p227 <= p106) AND (p155 + 1 <= p175))))
lola: processed formula length: 77
lola: 36 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 520 markings, 688 edges
lola: ========================================
FORMULA DES-PT-60b-CTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 868 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((p89 <= p489) U ((p175 + 1 <= p10) AND (p376 <= 0))))
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 (((p89 <= p489) U ((p175 + 1 <= p10) AND (p376 <= 0))))
lola: processed formula length: 57
lola: 37 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.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: ((p175 + 1 <= p10) AND (p376 <= 0))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-60b-CTLCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-60b-CTLCardinality-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 192976 markings, 1000705 edges, 38595 markings/sec, 0 secs
lola: sara is running 5 secs || 373219 markings, 1998023 edges, 36049 markings/sec, 5 secs
lola: sara is running 10 secs || 545786 markings, 2958531 edges, 34513 markings/sec, 10 secs
lola: sara is running 15 secs || 713727 markings, 3926004 edges, 33588 markings/sec, 15 secs
lola: sara is running 20 secs || 872096 markings, 4919305 edges, 31674 markings/sec, 20 secs
lola: sara is running 25 secs || 1023947 markings, 5916523 edges, 30370 markings/sec, 25 secs
lola: sara is running 30 secs || 1177120 markings, 6913431 edges, 30635 markings/sec, 30 secs
lola: sara is running 35 secs || 1326709 markings, 7912647 edges, 29918 markings/sec, 35 secs
lola: sara is running 40 secs || 1491096 markings, 8945094 edges, 32877 markings/sec, 40 secs
lola: sara is running 45 secs || 1649080 markings, 9982729 edges, 31597 markings/sec, 45 secs
lola: sara is running 50 secs || 1809445 markings, 11027673 edges, 32073 markings/sec, 50 secs
lola: sara is running 55 secs || 1967233 markings, 12052058 edges, 31558 markings/sec, 55 secs
lola: sara is running 60 secs || 2120084 markings, 13040120 edges, 30570 markings/sec, 60 secs
lola: sara is running 65 secs || 2284525 markings, 14011596 edges, 32888 markings/sec, 65 secs
lola: sara is running 70 secs || 2450654 markings, 14999775 edges, 33226 markings/sec, 70 secs
lola: sara is running 75 secs || 2602943 markings, 15996650 edges, 30458 markings/sec, 75 secs
lola: sara is running 80 secs || 2747614 markings, 16993724 edges, 28934 markings/sec, 80 secs
lola: sara is running 85 secs || 2897116 markings, 18002792 edges, 29900 markings/sec, 85 secs
lola: sara is running 90 secs || 3043584 markings, 19010624 edges, 29294 markings/sec, 90 secs
lola: sara is running 95 secs || 3191164 markings, 20019714 edges, 29516 markings/sec, 95 secs
lola: sara is running 100 secs || 3351838 markings, 21010697 edges, 32135 markings/sec, 100 secs
lola: sara is running 105 secs || 3518186 markings, 21989755 edges, 33270 markings/sec, 105 secs
lola: sara is running 110 secs || 3682151 markings, 22971486 edges, 32793 markings/sec, 110 secs
lola: sara is running 115 secs || 3826366 markings, 23964809 edges, 28843 markings/sec, 115 secs
lola: sara is running 120 secs || 3973440 markings, 24969614 edges, 29415 markings/sec, 120 secs
lola: sara is running 125 secs || 4121642 markings, 25972228 edges, 29640 markings/sec, 125 secs
lola: sara is running 130 secs || 4267232 markings, 26975792 edges, 29118 markings/sec, 130 secs
lola: sara is running 135 secs || 4411392 markings, 27981076 edges, 28832 markings/sec, 135 secs
lola: sara is running 140 secs || 4540923 markings, 28987471 edges, 25906 markings/sec, 140 secs
lola: sara is running 145 secs || 4657532 markings, 30006903 edges, 23322 markings/sec, 145 secs
lola: sara is running 150 secs || 4812680 markings, 31001436 edges, 31030 markings/sec, 150 secs
lola: sara is running 155 secs || 4984593 markings, 31984816 edges, 34383 markings/sec, 155 secs
lola: sara is running 160 secs || 5152439 markings, 32970829 edges, 33569 markings/sec, 160 secs
lola: sara is running 165 secs || 5310598 markings, 33977867 edges, 31632 markings/sec, 165 secs
lola: sara is running 170 secs || 5460915 markings, 34990692 edges, 30063 markings/sec, 170 secs
lola: sara is running 175 secs || 5608561 markings, 36005441 edges, 29529 markings/sec, 175 secs
lola: sara is running 180 secs || 5765145 markings, 37013942 edges, 31317 markings/sec, 180 secs
lola: sara is running 185 secs || 5915315 markings, 38025673 edges, 30034 markings/sec, 185 secs
lola: sara is running 190 secs || 6063292 markings, 39039034 edges, 29595 markings/sec, 190 secs
lola: sara is running 195 secs || 6227131 markings, 40024587 edges, 32768 markings/sec, 195 secs
lola: sara is running 200 secs || 6388859 markings, 41013584 edges, 32346 markings/sec, 200 secs
lola: sara is running 205 secs || 6532118 markings, 42019935 edges, 28652 markings/sec, 205 secs
lola: sara is running 210 secs || 6677892 markings, 43023364 edges, 29155 markings/sec, 210 secs
lola: sara is running 215 secs || 6820737 markings, 44029213 edges, 28569 markings/sec, 215 secs
lola: sara is running 220 secs || 6977044 markings, 45017491 edges, 31261 markings/sec, 220 secs
lola: sara is running 225 secs || 7138887 markings, 45995175 edges, 32369 markings/sec, 225 secs
lola: sara is running 230 secs || 7286870 markings, 46992478 edges, 29597 markings/sec, 230 secs
lola: sara is running 235 secs || 7429514 markings, 47995264 edges, 28529 markings/sec, 235 secs
lola: sara is running 240 secs || 7574411 markings, 48994191 edges, 28979 markings/sec, 240 secs
lola: sara is running 245 secs || 7715043 markings, 49995323 edges, 28126 markings/sec, 245 secs
lola: sara is running 250 secs || 7834311 markings, 51004577 edges, 23854 markings/sec, 250 secs
lola: sara is running 255 secs || 7969751 markings, 52009502 edges, 27088 markings/sec, 255 secs
lola: sara is running 260 secs || 8140136 markings, 52988379 edges, 34077 markings/sec, 260 secs
lola: sara is running 265 secs || 8315903 markings, 53988253 edges, 35153 markings/sec, 265 secs
lola: sara is running 270 secs || 8479794 markings, 55006684 edges, 32778 markings/sec, 270 secs
lola: sara is running 275 secs || 8632687 markings, 56037332 edges, 30579 markings/sec, 275 secs
lola: sara is running 280 secs || 8785986 markings, 57068281 edges, 30660 markings/sec, 280 secs
lola: sara is running 285 secs || 8942163 markings, 58095811 edges, 31235 markings/sec, 285 secs
lola: sara is running 290 secs || 9094791 markings, 59124690 edges, 30526 markings/sec, 290 secs
lola: sara is running 295 secs || 9247772 markings, 60153891 edges, 30596 markings/sec, 295 secs
lola: sara is running 300 secs || 9409093 markings, 61163650 edges, 32264 markings/sec, 300 secs
lola: sara is running 305 secs || 9574547 markings, 62164755 edges, 33091 markings/sec, 305 secs
lola: sara is running 310 secs || 9722501 markings, 63185743 edges, 29591 markings/sec, 310 secs
lola: sara is running 315 secs || 9871189 markings, 64207012 edges, 29738 markings/sec, 315 secs
lola: sara is running 320 secs || 10016288 markings, 65228660 edges, 29020 markings/sec, 320 secs
lola: sara is running 325 secs || 10172260 markings, 66238065 edges, 31194 markings/sec, 325 secs
lola: sara is running 330 secs || 10337757 markings, 67231058 edges, 33099 markings/sec, 330 secs
lola: sara is running 335 secs || 10489415 markings, 68242209 edges, 30332 markings/sec, 335 secs
lola: sara is running 340 secs || 10633808 markings, 69261863 edges, 28879 markings/sec, 340 secs
lola: sara is running 345 secs || 10781842 markings, 70276187 edges, 29607 markings/sec, 345 secs
lola: sara is running 350 secs || 10925488 markings, 71294649 edges, 28729 markings/sec, 350 secs
lola: sara is running 355 secs || 11047825 markings, 72319141 edges, 24467 markings/sec, 355 secs
lola: sara is running 360 secs || 11168533 markings, 73352205 edges, 24142 markings/sec, 360 secs
lola: sara is running 365 secs || 11297023 markings, 74388447 edges, 25698 markings/sec, 365 secs
lola: sara is running 370 secs || 11420556 markings, 75428889 edges, 24707 markings/sec, 370 secs
lola: sara is running 375 secs || 11536380 markings, 76479683 edges, 23165 markings/sec, 375 secs
lola: sara is running 380 secs || 11652813 markings, 77525435 edges, 23287 markings/sec, 380 secs
lola: sara is running 385 secs || 11768432 markings, 78574576 edges, 23124 markings/sec, 385 secs
lola: sara is running 390 secs || 11887798 markings, 79611052 edges, 23873 markings/sec, 390 secs
lola: sara is running 395 secs || 12007874 markings, 80641929 edges, 24015 markings/sec, 395 secs
lola: sara is running 400 secs || 12119735 markings, 81685015 edges, 22372 markings/sec, 400 secs
lola: sara is running 405 secs || 12232326 markings, 82725630 edges, 22518 markings/sec, 405 secs
lola: sara is running 410 secs || 12352846 markings, 83751566 edges, 24104 markings/sec, 410 secs
lola: sara is running 415 secs || 12469235 markings, 84780528 edges, 23278 markings/sec, 415 secs
lola: sara is running 420 secs || 12581182 markings, 85816532 edges, 22389 markings/sec, 420 secs
lola: sara is running 425 secs || 12691814 markings, 86855752 edges, 22126 markings/sec, 425 secs
lola: sara is running 430 secs || 12786894 markings, 87895951 edges, 19016 markings/sec, 430 secs
lola: sara is running 435 secs || 12881583 markings, 88942429 edges, 18938 markings/sec, 435 secs
lola: sara is running 440 secs || 13069182 markings, 89931878 edges, 37520 markings/sec, 440 secs
lola: sara is running 445 secs || 13248934 markings, 90926184 edges, 35950 markings/sec, 445 secs
lola: sara is running 450 secs || 13429938 markings, 91919345 edges, 36201 markings/sec, 450 secs
lola: sara is running 455 secs || 13601925 markings, 92925517 edges, 34397 markings/sec, 455 secs
lola: sara is running 460 secs || 13763388 markings, 93955659 edges, 32293 markings/sec, 460 secs
lola: sara is running 465 secs || 13923062 markings, 94996194 edges, 31935 markings/sec, 465 secs
lola: sara is running 470 secs || 14082112 markings, 96040681 edges, 31810 markings/sec, 470 secs
lola: sara is running 475 secs || 14235726 markings, 97082625 edges, 30723 markings/sec, 475 secs
lola: sara is running 480 secs || 14403707 markings, 98115503 edges, 33596 markings/sec, 480 secs
lola: sara is running 485 secs || 14562685 markings, 99159782 edges, 31796 markings/sec, 485 secs
lola: sara is running 490 secs || 14721026 markings, 100199013 edges, 31668 markings/sec, 490 secs
lola: sara is running 495 secs || 14878788 markings, 101240579 edges, 31552 markings/sec, 495 secs
lola: sara is running 500 secs || 15045704 markings, 102265850 edges, 33383 markings/sec, 500 secs
lola: sara is running 505 secs || 15217945 markings, 103279507 edges, 34448 markings/sec, 505 secs
lola: sara is running 510 secs || 15387388 markings, 104298720 edges, 33889 markings/sec, 510 secs
lola: sara is running 515 secs || 15537758 markings, 105335665 edges, 30074 markings/sec, 515 secs
lola: sara is running 520 secs || 15688292 markings, 106374982 edges, 30107 markings/sec, 520 secs
lola: sara is running 525 secs || 15841688 markings, 107408962 edges, 30679 markings/sec, 525 secs
lola: sara is running 530 secs || 15992172 markings, 108446534 edges, 30097 markings/sec, 530 secs
lola: sara is running 535 secs || 16146991 markings, 109480389 edges, 30964 markings/sec, 535 secs
lola: sara is running 540 secs || 16319577 markings, 110480435 edges, 34517 markings/sec, 540 secs
lola: sara is running 545 secs || 16489221 markings, 111488052 edges, 33929 markings/sec, 545 secs
lola: sara is running 550 secs || 16646444 markings, 112512348 edges, 31445 markings/sec, 550 secs
lola: sara is running 555 secs || 16796022 markings, 113543981 edges, 29916 markings/sec, 555 secs
lola: sara is running 560 secs || 16948913 markings, 114572385 edges, 30578 markings/sec, 560 secs
lola: sara is running 565 secs || 17098309 markings, 115602474 edges, 29879 markings/sec, 565 secs
lola: sara is running 570 secs || 17248362 markings, 116633826 edges, 30011 markings/sec, 570 secs
lola: sara is running 575 secs || 17385109 markings, 117666009 edges, 27349 markings/sec, 575 secs
lola: sara is running 580 secs || 17505854 markings, 118711798 edges, 24149 markings/sec, 580 secs
lola: sara is running 585 secs || 17655090 markings, 119741583 edges, 29847 markings/sec, 585 secs
lola: sara is running 590 secs || 17831353 markings, 120750152 edges, 35253 markings/sec, 590 secs
lola: sara is running 595 secs || 18005895 markings, 121763072 edges, 34908 markings/sec, 595 secs
lola: sara is running 600 secs || 18168572 markings, 122795288 edges, 32535 markings/sec, 600 secs
lola: sara is running 605 secs || 18323501 markings, 123833771 edges, 30986 markings/sec, 605 secs
lola: sara is running 610 secs || 18475630 markings, 124876587 edges, 30426 markings/sec, 610 secs
lola: sara is running 615 secs || 18635802 markings, 125913181 edges, 32034 markings/sec, 615 secs
lola: sara is running 620 secs || 18790392 markings, 126954207 edges, 30918 markings/sec, 620 secs
lola: sara is running 625 secs || 18942202 markings, 127997589 edges, 30362 markings/sec, 625 secs
lola: sara is running 630 secs || 19111688 markings, 129006038 edges, 33897 markings/sec, 630 secs
lola: sara is running 635 secs || 19275117 markings, 130023219 edges, 32686 markings/sec, 635 secs
lola: sara is running 640 secs || 19422548 markings, 131058825 edges, 29486 markings/sec, 640 secs
lola: sara is running 645 secs || 19572628 markings, 132090239 edges, 30016 markings/sec, 645 secs
lola: sara is running 650 secs || 19719496 markings, 133118214 edges, 29374 markings/sec, 650 secs
lola: sara is running 655 secs || 19882824 markings, 134129692 edges, 32666 markings/sec, 655 secs
lola: sara is running 660 secs || 20048519 markings, 135132299 edges, 33139 markings/sec, 660 secs
lola: sara is running 665 secs || 20195159 markings, 136156216 edges, 29328 markings/sec, 665 secs
lola: sara is running 670 secs || 20344180 markings, 137183236 edges, 29804 markings/sec, 670 secs
lola: sara is running 675 secs || 20490664 markings, 138212103 edges, 29297 markings/sec, 675 secs
lola: sara is running 680 secs || 20629536 markings, 139241070 edges, 27774 markings/sec, 680 secs
lola: sara is running 685 secs || 20748774 markings, 140283547 edges, 23848 markings/sec, 685 secs
lola: sara is running 690 secs || 20909049 markings, 141303612 edges, 32055 markings/sec, 690 secs
lola: sara is running 695 secs || 21085416 markings, 142313183 edges, 35273 markings/sec, 695 secs
lola: sara is running 700 secs || 21258531 markings, 143326971 edges, 34623 markings/sec, 700 secs
lola: sara is running 705 secs || 21417241 markings, 144356851 edges, 31742 markings/sec, 705 secs
lola: sara is running 710 secs || 21571631 markings, 145394783 edges, 30878 markings/sec, 710 secs
lola: sara is running 715 secs || 21723729 markings, 146430364 edges, 30420 markings/sec, 715 secs
lola: sara is running 720 secs || 21882065 markings, 147463032 edges, 31667 markings/sec, 720 secs
lola: sara is running 725 secs || 22036672 markings, 148499822 edges, 30921 markings/sec, 725 secs
lola: sara is running 730 secs || 22190675 markings, 149536426 edges, 30801 markings/sec, 730 secs
lola: sara is running 735 secs || 22359244 markings, 150542166 edges, 33714 markings/sec, 735 secs
lola: sara is running 740 secs || 22518823 markings, 151560953 edges, 31916 markings/sec, 740 secs
lola: sara is running 745 secs || 22666618 markings, 152592048 edges, 29559 markings/sec, 745 secs
lola: sara is running 750 secs || 22814872 markings, 153618333 edges, 29651 markings/sec, 750 secs
lola: sara is running 755 secs || 22960625 markings, 154645594 edges, 29151 markings/sec, 755 secs
lola: sara is running 760 secs || 23127618 markings, 155648641 edges, 33399 markings/sec, 760 secs
lola: sara is running 765 secs || 23290965 markings, 156655423 edges, 32669 markings/sec, 765 secs
lola: sara is running 770 secs || 23436523 markings, 157677739 edges, 29112 markings/sec, 770 secs
lola: sara is running 775 secs || 23584792 markings, 158699515 edges, 29654 markings/sec, 775 secs
lola: sara is running 780 secs || 23731903 markings, 159723794 edges, 29422 markings/sec, 780 secs
lola: sara is running 785 secs || 23866264 markings, 160753013 edges, 26872 markings/sec, 785 secs
lola: sara is running 790 secs || 23984516 markings, 161794615 edges, 23650 markings/sec, 790 secs
lola: sara is running 795 secs || 24111846 markings, 162835966 edges, 25466 markings/sec, 795 secs
lola: sara is running 800 secs || 24239885 markings, 163882126 edges, 25608 markings/sec, 800 secs
lola: sara is running 805 secs || 24358435 markings, 164934134 edges, 23710 markings/sec, 805 secs
lola: sara is running 810 secs || 24474574 markings, 165993023 edges, 23228 markings/sec, 810 secs
lola: sara is running 815 secs || 24591876 markings, 167041401 edges, 23460 markings/sec, 815 secs
lola: sara is running 820 secs || 24708666 markings, 168094412 edges, 23358 markings/sec, 820 secs
lola: sara is running 825 secs || 24832199 markings, 169125421 edges, 24707 markings/sec, 825 secs
lola: sara is running 830 secs || 24946476 markings, 170172056 edges, 22855 markings/sec, 830 secs
lola: sara is running 835 secs || 25059485 markings, 171218116 edges, 22602 markings/sec, 835 secs
lola: sara is running 840 secs || 25176942 markings, 172260209 edges, 23491 markings/sec, 840 secs
lola: sara is running 845 secs || 25298595 markings, 173289708 edges, 24331 markings/sec, 845 secs
lola: sara is running 850 secs || 25409904 markings, 174332060 edges, 22262 markings/sec, 850 secs
lola: sara is running 855 secs || 25522634 markings, 175373681 edges, 22546 markings/sec, 855 secs
lola: sara is running 860 secs || 25625404 markings, 176422718 edges, 20554 markings/sec, 860 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no yes unknown no unknown no yes unknown yes unknown no no no yes no
lola: memory consumption: 1104208 KB
lola: time consumption: 1834 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 868 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p35 + 1 <= p459) AND (p3 + 1 <= p209)) OR (A (G ((p47 <= p112))) AND A (F (((p35 + 1 <= p459) AND (p3 + 1 <= p209))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 868 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p35 + 1 <= p459) AND (p3 + 1 <= p209))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p35 + 1 <= p459) AND (p3 + 1 <= p209))
lola: processed formula length: 40
lola: 34 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 1736 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p47 <= p112)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((p47 <= p112)))
lola: processed formula length: 21
lola: 36 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p112 + 1 <= p47)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-60b-CTLCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-60b-CTLCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 655934 markings, 890364 edges, 131187 markings/sec, 0 secs
lola: sara is running 5 secs || 1142580 markings, 1821661 edges, 97329 markings/sec, 5 secs
lola: sara is running 10 secs || 1613869 markings, 2759475 edges, 94258 markings/sec, 10 secs
lola: sara is running 15 secs || 2133329 markings, 3689015 edges, 103892 markings/sec, 15 secs
lola: sara is running 20 secs || 2650703 markings, 4616612 edges, 103475 markings/sec, 20 secs
lola: sara is running 25 secs || 3143000 markings, 5556226 edges, 98459 markings/sec, 25 secs
lola: sara is running 30 secs || 3618849 markings, 6504136 edges, 95170 markings/sec, 30 secs
lola: sara is running 35 secs || 4145591 markings, 7447670 edges, 105348 markings/sec, 35 secs
lola: sara is running 40 secs || 4668284 markings, 8388735 edges, 104539 markings/sec, 40 secs
lola: sara is running 45 secs || 5170970 markings, 9334498 edges, 100537 markings/sec, 45 secs
lola: sara is running 50 secs || 5646800 markings, 10295174 edges, 95166 markings/sec, 50 secs
lola: sara is running 55 secs || 6167977 markings, 11234795 edges, 104235 markings/sec, 55 secs
lola: sara is running 60 secs || 6700310 markings, 12194390 edges, 106467 markings/sec, 60 secs
lola: sara is running 65 secs || 7217847 markings, 13144113 edges, 103507 markings/sec, 65 secs
lola: sara is running 70 secs || 7714084 markings, 14108225 edges, 99247 markings/sec, 70 secs
lola: sara is running 75 secs || 8211447 markings, 15066037 edges, 99473 markings/sec, 75 secs
lola: sara is running 80 secs || 8752436 markings, 16038412 edges, 108198 markings/sec, 80 secs
lola: sara is running 85 secs || 9277668 markings, 16985554 edges, 105046 markings/sec, 85 secs
lola: sara is running 90 secs || 9788310 markings, 17949242 edges, 102128 markings/sec, 90 secs
lola: sara is running 95 secs || 10253501 markings, 18920650 edges, 93038 markings/sec, 95 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 10702298 markings, 19852934 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DES-PT-60b-CTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1631 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((p178 + 1 <= p430))) OR (((1 <= p478)) AND (E (G ((p57 <= p67))) OR ((p37 <= p499) OR (p304 <= p126)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1631 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p37 <= p499) OR (p304 <= p126))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p37 <= p499) OR (p304 <= p126))
lola: processed formula length: 34
lola: 34 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p178 + 1 <= p430)))
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: (p430 <= p178)
lola: processed formula length: 14
lola: 36 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 89 markings, 88 edges
lola: ========================================lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (X (E (((p227 <= p425) U (1 <= p354)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(E((p227 <= p425) U (1 <= p354)))
lola: processed formula length: 35
lola: 36 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 238943 markings, 1125024 edges, 47789 markings/sec, 0 secs
lola: 464830 markings, 2269864 edges, 45177 markings/sec, 5 secs
lola: 680385 markings, 3405758 edges, 43111 markings/sec, 10 secs
lola: 891207 markings, 4545276 edges, 42164 markings/sec, 15 secs
lola: 1095961 markings, 5677766 edges, 40951 markings/sec, 20 secs
lola: 1298639 markings, 6786308 edges, 40536 markings/sec, 25 secs
lola: 1496308 markings, 7917661 edges, 39534 markings/sec, 30 secs
lola: 1704606 markings, 9038645 edges, 41660 markings/sec, 35 secs
lola: 1924875 markings, 10172160 edges, 44054 markings/sec, 40 secs
lola: 2133399 markings, 11296490 edges, 41705 markings/sec, 45 secs
lola: 2340383 markings, 12423503 edges, 41397 markings/sec, 50 secs
lola: 2541515 markings, 13544591 edges, 40226 markings/sec, 55 secs
lola: 2750426 markings, 14669725 edges, 41782 markings/sec, 60 secs
lola: 2970650 markings, 15805405 edges, 44045 markings/sec, 65 secs
lola: 3182875 markings, 16937561 edges, 42445 markings/sec, 70 secs
lola: 3388701 markings, 18059994 edges, 41165 markings/sec, 75 secs
lola: 3589994 markings, 19174569 edges, 40259 markings/sec, 80 secs
lola: 3768534 markings, 20292758 edges, 35708 markings/sec, 85 secs
lola: 3935498 markings, 21417511 edges, 33393 markings/sec, 90 secs
lola: 4099172 markings, 22535970 edges, 32735 markings/sec, 95 secs
lola: 4252055 markings, 23647738 edges, 30577 markings/sec, 100 secs
lola: 4483149 markings, 24773104 edges, 46219 markings/sec, 105 secs
lola: 4710346 markings, 25923997 edges, 45439 markings/sec, 110 secs
lola: 4927903 markings, 27063624 edges, 43511 markings/sec, 115 secs
lola: 5136772 markings, 28191822 edges, 41774 markings/sec, 120 secs
lola: 5339611 markings, 29334259 edges, 40568 markings/sec, 125 secs
lola: 5545276 markings, 30438750 edges, 41133 markings/sec, 130 secs
lola: 5742712 markings, 31554888 edges, 39487 markings/sec, 135 secs
lola: 5945966 markings, 32674006 edges, 40651 markings/sec, 140 secs
lola: 6165854 markings, 33806497 edges, 43978 markings/sec, 145 secs
lola: 6377519 markings, 34935468 edges, 42333 markings/sec, 150 secs
lola: 6582347 markings, 36051563 edges, 40966 markings/sec, 155 secs
lola: 6782463 markings, 37158713 edges, 40023 markings/sec, 160 secs
lola: 6985304 markings, 38271143 edges, 40568 markings/sec, 165 secs
lola: 7206532 markings, 39400628 edges, 44246 markings/sec, 170 secs
lola: 7417805 markings, 40525193 edges, 42255 markings/sec, 175 secs
lola: 7620205 markings, 41643297 edges, 40480 markings/sec, 180 secs
lola: 7823127 markings, 42748518 edges, 40584 markings/sec, 185 secs
lola: 8004001 markings, 43859830 edges, 36175 markings/sec, 190 secs
lola: 8172753 markings, 44993732 edges, 33750 markings/sec, 195 secs
lola: 8337396 markings, 46110522 edges, 32929 markings/sec, 200 secs
lola: 8494694 markings, 47221623 edges, 31460 markings/sec, 205 secs
lola: 8709518 markings, 48338050 edges, 42965 markings/sec, 210 secs
lola: 8933731 markings, 49467559 edges, 44843 markings/sec, 215 secs
lola: 9153046 markings, 50597836 edges, 43863 markings/sec, 220 secs
lola: 9365001 markings, 51738890 edges, 42391 markings/sec, 225 secs
lola: 9566708 markings, 52866299 edges, 40341 markings/sec, 230 secs
lola: 9770532 markings, 53970451 edges, 40765 markings/sec, 235 secs
lola: 9970119 markings, 55089728 edges, 39917 markings/sec, 240 secs
lola: 10165791 markings, 56201761 edges, 39134 markings/sec, 245 secs
lola: 10387717 markings, 57334632 edges, 44385 markings/sec, 250 secs
lola: 10600354 markings, 58453572 edges, 42527 markings/sec, 255 secs
lola: 10801593 markings, 59576605 edges, 40248 markings/sec, 260 secs
lola: 11005304 markings, 60683219 edges, 40742 markings/sec, 265 secs
lola: 11203786 markings, 61790622 edges, 39696 markings/sec, 270 secs
lola: 11424247 markings, 62915617 edges, 44092 markings/sec, 275 secs
lola: 11638709 markings, 64032334 edges, 42892 markings/sec, 280 secs
lola: 11839595 markings, 65147446 edges, 40177 markings/sec, 285 secs
lola: 12041926 markings, 66253123 edges, 40466 markings/sec, 290 secs
lola: 12229647 markings, 67368330 edges, 37544 markings/sec, 295 secs
lola: 12399176 markings, 68484649 edges, 33906 markings/sec, 300 secs
lola: 12562686 markings, 69601954 edges, 32702 markings/sec, 305 secs
lola: 12725585 markings, 70715402 edges, 32580 markings/sec, 310 secs
lola: 12876584 markings, 71839324 edges, 30200 markings/sec, 315 secs
lola: 13025047 markings, 72972202 edges, 29693 markings/sec, 320 secs
lola: 13172821 markings, 74123204 edges, 29555 markings/sec, 325 secs
lola: 13319960 markings, 75278236 edges, 29428 markings/sec, 330 secs
lola: 13464836 markings, 76431858 edges, 28975 markings/sec, 335 secs
lola: 13605883 markings, 77573987 edges, 28209 markings/sec, 340 secs
lola: 13741964 markings, 78718477 edges, 27216 markings/sec, 345 secs
lola: 13879396 markings, 79858019 edges, 27486 markings/sec, 350 secs
lola: 14017668 markings, 80985238 edges, 27654 markings/sec, 355 secs
lola: 14152700 markings, 82122491 edges, 27006 markings/sec, 360 secs
lola: 14286152 markings, 83255043 edges, 26690 markings/sec, 365 secs
lola: 14426038 markings, 84389886 edges, 27977 markings/sec, 370 secs
lola: 14574282 markings, 85527238 edges, 29649 markings/sec, 375 secs
lola: 14720726 markings, 86669095 edges, 29289 markings/sec, 380 secs
lola: 14862955 markings, 87806450 edges, 28446 markings/sec, 385 secs
lola: 15000224 markings, 88943501 edges, 27454 markings/sec, 390 secs
lola: 15140352 markings, 90073257 edges, 28026 markings/sec, 395 secs
lola: 15277315 markings, 91201024 edges, 27393 markings/sec, 400 secs
lola: 15408060 markings, 92324904 edges, 26149 markings/sec, 405 secs
lola: 15560398 markings, 93456944 edges, 30468 markings/sec, 410 secs
lola: 15706021 markings, 94594891 edges, 29125 markings/sec, 415 secs
lola: 15850709 markings, 95735281 edges, 28938 markings/sec, 420 secs
lola: 15990353 markings, 96863546 edges, 27929 markings/sec, 425 secs
lola: 16127449 markings, 97998433 edges, 27419 markings/sec, 430 secs
lola: 16266947 markings, 99117871 edges, 27900 markings/sec, 435 secs
lola: 16403347 markings, 100247307 edges, 27280 markings/sec, 440 secs
lola: 16531716 markings, 101367032 edges, 25674 markings/sec, 445 secs
lola: 16655326 markings, 102498082 edges, 24722 markings/sec, 450 secs
lola: 16769551 markings, 103547428 edges, 22845 markings/sec, 455 secs
lola: 16890803 markings, 104664460 edges, 24250 markings/sec, 460 secs
lola: 17008976 markings, 105778036 edges, 23635 markings/sec, 465 secs
lola: 17199247 markings, 106898511 edges, 38054 markings/sec, 470 secs
lola: 17423647 markings, 108027612 edges, 44880 markings/sec, 475 secs
lola: 17646932 markings, 109166447 edges, 44657 markings/sec, 480 secs
lola: 17858536 markings, 110301343 edges, 42321 markings/sec, 485 secs
lola: 18063246 markings, 111437988 edges, 40942 markings/sec, 490 secs
lola: 18267171 markings, 112552258 edges, 40785 markings/sec, 495 secs
lola: 18468637 markings, 113672427 edges, 40293 markings/sec, 500 secs
lola: 18662745 markings, 114796177 edges, 38822 markings/sec, 505 secs
lola: 18883507 markings, 115922367 edges, 44152 markings/sec, 510 secs
lola: 19100614 markings, 117054084 edges, 43421 markings/sec, 515 secs
lola: 19303300 markings, 118179140 edges, 40537 markings/sec, 520 secs
lola: 19507186 markings, 119293751 edges, 40777 markings/sec, 525 secs
lola: 19702569 markings, 120411136 edges, 39077 markings/sec, 530 secs
lola: 19925108 markings, 121529466 edges, 44508 markings/sec, 535 secs
lola: 20140708 markings, 122657227 edges, 43120 markings/sec, 540 secs
lola: 20345959 markings, 123778130 edges, 41050 markings/sec, 545 secs
lola: 20548312 markings, 124886735 edges, 40471 markings/sec, 550 secs
lola: 20737104 markings, 126002272 edges, 37758 markings/sec, 555 secs
lola: 20909024 markings, 127124931 edges, 34384 markings/sec, 560 secs
lola: 21074264 markings, 128249424 edges, 33048 markings/sec, 565 secs
lola: 21237900 markings, 129361818 edges, 32727 markings/sec, 570 secs
lola: 21428698 markings, 130478343 edges, 38160 markings/sec, 575 secs
lola: 21654325 markings, 131600521 edges, 45125 markings/sec, 580 secs
lola: 21878396 markings, 132739341 edges, 44814 markings/sec, 585 secs
lola: 22089977 markings, 133869375 edges, 42316 markings/sec, 590 secs
lola: 22292810 markings, 135001040 edges, 40567 markings/sec, 595 secs
lola: 22497191 markings, 136113321 edges, 40876 markings/sec, 600 secs
lola: 22698281 markings, 137228722 edges, 40218 markings/sec, 605 secs
lola: 22881325 markings, 138344326 edges, 36609 markings/sec, 610 secs
lola: 23107617 markings, 139462587 edges, 45258 markings/sec, 615 secs
lola: 23322127 markings, 140591828 edges, 42902 markings/sec, 620 secs
lola: 23527915 markings, 141713105 edges, 41158 markings/sec, 625 secs
lola: 23731655 markings, 142820821 edges, 40748 markings/sec, 630 secs
lola: 23923049 markings, 143935029 edges, 38279 markings/sec, 635 secs
lola: 24146825 markings, 145051222 edges, 44755 markings/sec, 640 secs
lola: 24362115 markings, 146179557 edges, 43058 markings/sec, 645 secs
lola: 24567400 markings, 147299710 edges, 41057 markings/sec, 650 secs
lola: 24771634 markings, 148407729 edges, 40847 markings/sec, 655 secs
lola: 24966573 markings, 149519422 edges, 38988 markings/sec, 660 secs
lola: 25138225 markings, 150636467 edges, 34330 markings/sec, 665 secs
lola: 25303075 markings, 151756662 edges, 32970 markings/sec, 670 secs
lola: 25466701 markings, 152870302 edges, 32725 markings/sec, 675 secs
lola: 25624462 markings, 153986916 edges, 31552 markings/sec, 680 secs
lola: 25794361 markings, 155115793 edges, 33980 markings/sec, 685 secs
lola: 25959026 markings, 156247341 edges, 32933 markings/sec, 690 secs
lola: 26122850 markings, 157384569 edges, 32765 markings/sec, 695 secs
lola: 26285239 markings, 158522508 edges, 32478 markings/sec, 700 secs
lola: 26438088 markings, 159648148 edges, 30570 markings/sec, 705 secs
lola: 26591348 markings, 160780589 edges, 30652 markings/sec, 710 secs
lola: 26745692 markings, 161904210 edges, 30869 markings/sec, 715 secs
lola: 26896344 markings, 163024203 edges, 30130 markings/sec, 720 secs
lola: 27046435 markings, 164148682 edges, 30018 markings/sec, 725 secs
lola: 27196883 markings, 165267489 edges, 30090 markings/sec, 730 secs
lola: 27361669 markings, 166388612 edges, 32957 markings/sec, 735 secs
lola: 27524490 markings, 167516466 edges, 32564 markings/sec, 740 secs
lola: 27681063 markings, 168639870 edges, 31315 markings/sec, 745 secs
lola: 27833855 markings, 169762291 edges, 30558 markings/sec, 750 secs
lola: 27988362 markings, 170873342 edges, 30901 markings/sec, 755 secs
lola: 28139200 markings, 171988990 edges, 30168 markings/sec, 760 secs
lola: 28296667 markings, 173104402 edges, 31493 markings/sec, 765 secs
lola: 28459773 markings, 174225341 edges, 32621 markings/sec, 770 secs
lola: 28621721 markings, 175352351 edges, 32390 markings/sec, 775 secs
lola: 28776738 markings, 176468504 edges, 31003 markings/sec, 780 secs
lola: 28929712 markings, 177589694 edges, 30595 markings/sec, 785 secs
lola: 29082639 markings, 178695830 edges, 30585 markings/sec, 790 secs
lola: 29231461 markings, 179807760 edges, 29764 markings/sec, 795 secs
lola: 29370166 markings, 180919912 edges, 27741 markings/sec, 800 secs
lola: 29503513 markings, 182041005 edges, 26669 markings/sec, 805 secs
lola: 29633963 markings, 183154131 edges, 26090 markings/sec, 810 secs
lola: 29765673 markings, 184254947 edges, 26342 markings/sec, 815 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 29848318 markings, 184992855 edges
FORMULA DES-PT-60b-CTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: lola: ========================================
...considering subproblem: E (G (A (((1 <= p239) U (p418 <= p249)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A((1 <= p239) U (p418 <= p249)))))
lola: processed formula length: 51
lola: 36 rewrites
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 223494 markings, 1145807 edges, 44699 markings/sec, 0 secs
lola: 436664 markings, 2293603 edges, 42634 markings/sec, 5 secs
lola: 637012 markings, 3426272 edges, 40070 markings/sec, 10 secs
lola: 836794 markings, 4563501 edges, 39956 markings/sec, 15 secs
lola: 1029920 markings, 5691942 edges, 38625 markings/sec, 20 secs
lola: 1218854 markings, 6817725 edges, 37787 markings/sec, 25 secs
lola: 1431089 markings, 7967248 edges, 42447 markings/sec, 30 secs
lola: 1628689 markings, 9099325 edges, 39520 markings/sec, 35 secs
lola: 1825174 markings, 10226990 edges, 39297 markings/sec, 40 secs
lola: 2021587 markings, 11353309 edges, 39283 markings/sec, 45 secs
lola: 2229911 markings, 12492804 edges, 41665 markings/sec, 50 secs
lola: 2427234 markings, 13624052 edges, 39465 markings/sec, 55 secs
lola: 2623454 markings, 14749761 edges, 39244 markings/sec, 60 secs
lola: 2800876 markings, 15872619 edges, 35484 markings/sec, 65 secs
lola: 2963962 markings, 17003870 edges, 32617 markings/sec, 70 secs
lola: 3122404 markings, 18123739 edges, 31688 markings/sec, 75 secs
lola: 3325301 markings, 19253924 edges, 40579 markings/sec, 80 secs
lola: 3537706 markings, 20400352 edges, 42481 markings/sec, 85 secs
lola: 3742090 markings, 21537282 edges, 40877 markings/sec, 90 secs
lola: 3937753 markings, 22677122 edges, 39133 markings/sec, 95 secs
lola: 4134745 markings, 23794281 edges, 39398 markings/sec, 100 secs
lola: 4317149 markings, 24922861 edges, 36481 markings/sec, 105 secs
lola: 4529601 markings, 26049293 edges, 42490 markings/sec, 110 secs
lola: 4731169 markings, 27179158 edges, 40314 markings/sec, 115 secs
lola: 4927359 markings, 28304490 edges, 39238 markings/sec, 120 secs
lola: 5113664 markings, 29423166 edges, 37261 markings/sec, 125 secs
lola: 5324030 markings, 30554245 edges, 42073 markings/sec, 130 secs
lola: 5524919 markings, 31681917 edges, 40178 markings/sec, 135 secs
lola: 5720186 markings, 32801574 edges, 39053 markings/sec, 140 secs
lola: 5903345 markings, 33924691 edges, 36632 markings/sec, 145 secs
lola: 6069679 markings, 35053645 edges, 33267 markings/sec, 150 secs
lola: 6230187 markings, 36177134 edges, 32102 markings/sec, 155 secs
lola: 6416861 markings, 37299536 edges, 37335 markings/sec, 160 secs
lola: 6629008 markings, 38437964 edges, 42429 markings/sec, 165 secs
lola: 6834970 markings, 39574758 edges, 41192 markings/sec, 170 secs
lola: 7030947 markings, 40710621 edges, 39195 markings/sec, 175 secs
lola: 7228670 markings, 41828832 edges, 39545 markings/sec, 180 secs
lola: 7416831 markings, 42950390 edges, 37632 markings/sec, 185 secs
lola: 7616694 markings, 44076501 edges, 39973 markings/sec, 190 secs
lola: 7822153 markings, 45211329 edges, 41092 markings/sec, 195 secs
lola: 8018116 markings, 46339695 edges, 39193 markings/sec, 200 secs
lola: 8211082 markings, 47464863 edges, 38593 markings/sec, 205 secs
lola: 8417030 markings, 48598376 edges, 41190 markings/sec, 210 secs
lola: 8622448 markings, 49743009 edges, 41084 markings/sec, 215 secs
lola: 8819702 markings, 50877050 edges, 39451 markings/sec, 220 secs
lola: 9010418 markings, 52003988 edges, 38143 markings/sec, 225 secs
lola: 9179768 markings, 53141271 edges, 33870 markings/sec, 230 secs
lola: 9342393 markings, 54274515 edges, 32525 markings/sec, 235 secs
lola: 9498583 markings, 55407689 edges, 31238 markings/sec, 240 secs
lola: 9653066 markings, 56552962 edges, 30897 markings/sec, 245 secs
lola: 9801635 markings, 57703658 edges, 29714 markings/sec, 250 secs
lola: 9947372 markings, 58852497 edges, 29147 markings/sec, 255 secs
lola: 10092856 markings, 59994768 edges, 29097 markings/sec, 260 secs
lola: 10230369 markings, 61136729 edges, 27503 markings/sec, 265 secs
lola: 10370210 markings, 62261672 edges, 27968 markings/sec, 270 secs
lola: 10509353 markings, 63392251 edges, 27829 markings/sec, 275 secs
lola: 10644891 markings, 64527660 edges, 27108 markings/sec, 280 secs
lola: 10794970 markings, 65665312 edges, 30016 markings/sec, 285 secs
lola: 10941330 markings, 66809878 edges, 29272 markings/sec, 290 secs
lola: 11083936 markings, 67944608 edges, 28521 markings/sec, 295 secs
lola: 11224759 markings, 69071098 edges, 28165 markings/sec, 300 secs
lola: 11363064 markings, 70198680 edges, 27661 markings/sec, 305 secs
lola: 11509538 markings, 71328431 edges, 29295 markings/sec, 310 secs
lola: 11654910 markings, 72468051 edges, 29074 markings/sec, 315 secs
lola: 11799929 markings, 73602645 edges, 29004 markings/sec, 320 secs
lola: 11938842 markings, 74732988 edges, 27783 markings/sec, 325 secs
lola: 12079214 markings, 75851320 edges, 28074 markings/sec, 330 secs
lola: 12213985 markings, 76976610 edges, 26954 markings/sec, 335 secs
lola: 12341249 markings, 78110011 edges, 25453 markings/sec, 340 secs
lola: 12464982 markings, 79239539 edges, 24747 markings/sec, 345 secs
lola: 12587564 markings, 80358135 edges, 24516 markings/sec, 350 secs
lola: 12783061 markings, 81492988 edges, 39099 markings/sec, 355 secs
lola: 12995900 markings, 82641223 edges, 42568 markings/sec, 360 secs
lola: 13201610 markings, 83785723 edges, 41142 markings/sec, 365 secs
lola: 13396830 markings, 84926904 edges, 39044 markings/sec, 370 secs
lola: 13594048 markings, 86048360 edges, 39444 markings/sec, 375 secs
lola: 13775039 markings, 87174292 edges, 36198 markings/sec, 380 secs
lola: 13989582 markings, 88302189 edges, 42909 markings/sec, 385 secs
lola: 14190768 markings, 89430712 edges, 40237 markings/sec, 390 secs
lola: 14384942 markings, 90550568 edges, 38835 markings/sec, 395 secs
lola: 14571772 markings, 91669592 edges, 37366 markings/sec, 400 secs
lola: 14782262 markings, 92796165 edges, 42098 markings/sec, 405 secs
lola: 14983157 markings, 93922392 edges, 40179 markings/sec, 410 secs
lola: 15177997 markings, 95038842 edges, 38968 markings/sec, 415 secs
lola: 15359973 markings, 96153808 edges, 36395 markings/sec, 420 secs
lola: 15525355 markings, 97278182 edges, 33076 markings/sec, 425 secs
lola: 15685937 markings, 98396732 edges, 32116 markings/sec, 430 secs
lola: 15868782 markings, 99518474 edges, 36569 markings/sec, 435 secs
lola: 16078911 markings, 100650168 edges, 42026 markings/sec, 440 secs
lola: 16288041 markings, 101788456 edges, 41826 markings/sec, 445 secs
lola: 16483693 markings, 102919187 edges, 39130 markings/sec, 450 secs
lola: 16678543 markings, 104036524 edges, 38970 markings/sec, 455 secs
lola: 16869712 markings, 105155848 edges, 38234 markings/sec, 460 secs
lola: 17067590 markings, 106279774 edges, 39576 markings/sec, 465 secs
lola: 17273124 markings, 107413483 edges, 41107 markings/sec, 470 secs
lola: 17467265 markings, 108537274 edges, 38828 markings/sec, 475 secs
lola: 17659966 markings, 109649944 edges, 38540 markings/sec, 480 secs
lola: 17859823 markings, 110770533 edges, 39971 markings/sec, 485 secs
lola: 18064791 markings, 111899956 edges, 40994 markings/sec, 490 secs
lola: 18259050 markings, 113017901 edges, 38852 markings/sec, 495 secs
lola: 18449672 markings, 114125894 edges, 38124 markings/sec, 500 secs
lola: 18618784 markings, 115245205 edges, 33822 markings/sec, 505 secs
lola: 18779266 markings, 116365342 edges, 32096 markings/sec, 510 secs
lola: 18934933 markings, 117477918 edges, 31133 markings/sec, 515 secs
lola: 19101056 markings, 118598603 edges, 33225 markings/sec, 520 secs
lola: 19265693 markings, 119729170 edges, 32927 markings/sec, 525 secs
lola: 19425155 markings, 120861419 edges, 31892 markings/sec, 530 secs
lola: 19581156 markings, 121980545 edges, 31200 markings/sec, 535 secs
lola: 19734513 markings, 123106175 edges, 30671 markings/sec, 540 secs
lola: 19885162 markings, 124206519 edges, 30130 markings/sec, 545 secs
lola: 20032802 markings, 125319323 edges, 29528 markings/sec, 550 secs
lola: 20189928 markings, 126440204 edges, 31425 markings/sec, 555 secs
lola: 20349856 markings, 127564039 edges, 31986 markings/sec, 560 secs
lola: 20507249 markings, 128684755 edges, 31479 markings/sec, 565 secs
lola: 20661891 markings, 129800468 edges, 30928 markings/sec, 570 secs
lola: 20811260 markings, 130908584 edges, 29874 markings/sec, 575 secs
lola: 20969824 markings, 132023296 edges, 31713 markings/sec, 580 secs
lola: 21129263 markings, 133146530 edges, 31888 markings/sec, 585 secs
lola: 21286895 markings, 134264908 edges, 31526 markings/sec, 590 secs
lola: 21439328 markings, 135378655 edges, 30487 markings/sec, 595 secs
lola: 21589679 markings, 136482390 edges, 30070 markings/sec, 600 secs
lola: 21731381 markings, 137594200 edges, 28340 markings/sec, 605 secs
lola: 21864948 markings, 138711032 edges, 26713 markings/sec, 610 secs
lola: 21996857 markings, 139819701 edges, 26382 markings/sec, 615 secs
lola: 22176940 markings, 140945362 edges, 36017 markings/sec, 620 secs
lola: 22439582 markings, 142093213 edges, 52528 markings/sec, 625 secs
lola: 22686501 markings, 143228705 edges, 49384 markings/sec, 630 secs
lola: 22936234 markings, 144357261 edges, 49947 markings/sec, 635 secs
lola: 23166480 markings, 145493946 edges, 46049 markings/sec, 640 secs
lola: 23405547 markings, 146635702 edges, 47813 markings/sec, 645 secs
lola: 23637844 markings, 147765534 edges, 46459 markings/sec, 650 secs
lola: 23863305 markings, 148891922 edges, 45092 markings/sec, 655 secs
lola: 24069441 markings, 150017725 edges, 41227 markings/sec, 660 secs
lola: 24286351 markings, 151151748 edges, 43382 markings/sec, 665 secs
lola: 24506228 markings, 152277265 edges, 43975 markings/sec, 670 secs
lola: 24729589 markings, 153395868 edges, 44672 markings/sec, 675 secs
lola: 24935719 markings, 154514222 edges, 41226 markings/sec, 680 secs
lola: 25148232 markings, 155637534 edges, 42503 markings/sec, 685 secs
lola: 25361587 markings, 156759451 edges, 42671 markings/sec, 690 secs
lola: 25568169 markings, 157862557 edges, 41316 markings/sec, 695 secs
lola: 25762775 markings, 158969370 edges, 38921 markings/sec, 700 secs
lola: 25948083 markings, 160076965 edges, 37062 markings/sec, 705 secs
lola: 26141497 markings, 161186447 edges, 38683 markings/sec, 710 secs
lola: 26344025 markings, 162297096 edges, 40506 markings/sec, 715 secs
lola: 26568619 markings, 163423430 edges, 44919 markings/sec, 720 secs
lola: 26777658 markings, 164550749 edges, 41808 markings/sec, 725 secs
lola: 26990307 markings, 165675107 edges, 42530 markings/sec, 730 secs
lola: 27200746 markings, 166792670 edges, 42088 markings/sec, 735 secs
lola: 27403478 markings, 167913867 edges, 40546 markings/sec, 740 secs
lola: 27592387 markings, 169031671 edges, 37782 markings/sec, 745 secs
lola: 27784657 markings, 170141427 edges, 38454 markings/sec, 750 secs
lola: 28007351 markings, 171256942 edges, 44539 markings/sec, 755 secs
lola: 28256490 markings, 172383101 edges, 49828 markings/sec, 760 secs
lola: 28485510 markings, 173513766 edges, 45804 markings/sec, 765 secs
lola: 28723773 markings, 174649099 edges, 47653 markings/sec, 770 secs
lola: 28955548 markings, 175772952 edges, 46355 markings/sec, 775 secs
lola: 29178500 markings, 176897279 edges, 44590 markings/sec, 780 secs
lola: 29384755 markings, 178023077 edges, 41251 markings/sec, 785 secs
lola: 29601955 markings, 179161145 edges, 43440 markings/sec, 790 secs
lola: 29822584 markings, 180287242 edges, 44126 markings/sec, 795 secs
lola: 30045969 markings, 181408072 edges, 44677 markings/sec, 800 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no yes yes no unknown no yes unknown yes no no no no yes no
lola:
preliminary result: unknown no yes yes no unknown no yes unknown yes no no no no yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no yes yes no unknown no yes unknown yes no no no no yes no
lola: memory consumption: 2526592 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no yes yes no unknown no yes unknown yes no no no no yes no
lola: memory consumption: 2526592 KB
lola: time consumption: 3570 seconds
BK_STOP 1526651579492
--------------------
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-60b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-60b.tgz
mv DES-PT-60b 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-60b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-smll-152646380200290"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;