About the Execution of LoLA for CircularTrains-PT-768
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4074.410 | 3570635.00 | 3624433.00 | 8721.40 | TT??FF??F?TF??FF | 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 752K
-rw-r--r-- 1 mcc users 3.3K 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.8K 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:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K 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 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 591K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CircularTrains-PT-768, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357100046
=====================================================================
--------------------
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 CircularTrains-PT-768-CTLFireability-00
FORMULA_NAME CircularTrains-PT-768-CTLFireability-01
FORMULA_NAME CircularTrains-PT-768-CTLFireability-02
FORMULA_NAME CircularTrains-PT-768-CTLFireability-03
FORMULA_NAME CircularTrains-PT-768-CTLFireability-04
FORMULA_NAME CircularTrains-PT-768-CTLFireability-05
FORMULA_NAME CircularTrains-PT-768-CTLFireability-06
FORMULA_NAME CircularTrains-PT-768-CTLFireability-07
FORMULA_NAME CircularTrains-PT-768-CTLFireability-08
FORMULA_NAME CircularTrains-PT-768-CTLFireability-09
FORMULA_NAME CircularTrains-PT-768-CTLFireability-10
FORMULA_NAME CircularTrains-PT-768-CTLFireability-11
FORMULA_NAME CircularTrains-PT-768-CTLFireability-12
FORMULA_NAME CircularTrains-PT-768-CTLFireability-13
FORMULA_NAME CircularTrains-PT-768-CTLFireability-14
FORMULA_NAME CircularTrains-PT-768-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526486461163
info: Time: 3600 - MCC
===========================================================================================
prep: translating CircularTrains-PT-768 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating CircularTrains-PT-768 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ CircularTrains-PT-768 @ 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: 2304/65536 symbol table entries, 362 collisions
lola: preprocessing...
lola: Size of bit vector: 49152
lola: finding significant places
lola: 1536 places, 768 transitions, 767 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1536 transition conflict sets
lola: TASK
lola: reading formula from CircularTrains-PT-768-CTLFireability.task
lola: E (G (NOT((A (G (FIREABLE(t25_to_26))) AND (NOT FIREABLE(t571_to_572) OR NOT FIREABLE(t179_to_180)))))) : A (F (NOT(A (G (NOT FIREABLE(t692_to_693)))))) : A (((NOT FIREABLE(t331_to_332) OR NOT FIREABLE(t55_to_56) OR FIREABLE(t486_to_487)) U (NOT FIREABLE(t72_to_73) OR E (G (FIREABLE(t138_to_139)))))) : (A (F ((FIREABLE(t634_to_635) OR E (G (FIREABLE(t287_to_288)))))) OR A ((E (X (FIREABLE(t142_to_143))) U E (X (FIREABLE(t755_to_756)))))) : (FIREABLE(t719_to_720) OR (NOT(E (F ((FIREABLE(t5_to_6) AND FIREABLE(t153_to_154))))) AND E (((FIREABLE(t117_to_118) OR FIREABLE(t266_to_267)) U FIREABLE(t526_to_527))))) : A (F ((FIREABLE(t264_to_265) AND (FIREABLE(t181_to_182) OR FIREABLE(t96_to_97)) AND FIREABLE(t452_to_453) AND FIREABLE(t422_to_423)))) : E (G ((((FIREABLE(t114_to_115) AND FIREABLE(t567_to_568) AND NOT FIREABLE(t544_to_545)) OR FIREABLE(t480_to_481)) OR A (F ((FIREABLE(t94_to_95) AND FIREABLE(t641_to_642))))))) : E ((NOT FIREABLE(t623_to_624) U E (G (NOT FIREABLE(t217_to_218))))) : NOT(E (G (E (F (FIREABLE(t450_to_451)))))) : E (F ((E (X ((FIREABLE(t432_to_433) OR FIREABLE(t535_to_536)))) AND A (X (FIREABLE(t287_to_288)))))) : A (((FIREABLE(t153_to_154) AND A (F (FIREABLE(t110_to_111)))) U E ((FIREABLE(t621_to_622) U FIREABLE(t329_to_330))))) : E (F (NOT(A (F ((FIREABLE(t658_to_659) OR FIREABLE(t291_to_292))))))) : NOT((((FIREABLE(t150_to_151) OR FIREABLE(t421_to_422) OR (FIREABLE(t376_to_377) AND FIREABLE(t214_to_215)) OR (FIREABLE(t599_to_600) AND NOT FIREABLE(t578_to_579))) AND A (G (NOT FIREABLE(t308_to_309)))) OR NOT(E (G (NOT FIREABLE(t274_to_275)))))) : E (F (E (F (A (G (FIREABLE(t690_to_691))))))) : (E (X ((A (G (FIREABLE(t702_to_703))) AND E (G (FIREABLE(t306_to_307)))))) OR FIREABLE(t592_to_593)) : E (G (FIREABLE(t510_to_511)))
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:449
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:401
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((FIREABLE(t634_to_635) OR E (G (FIREABLE(t287_to_288)))))) OR A ((E (X (FIREABLE(t142_to_143))) U E (X (FIREABLE(t755_to_756))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: (A(TRUE U (FIREABLE(t634_to_635) OR NOT(A(TRUE U NOT FIREABLE(t287_to_288))))) OR A(EX(FIREABLE(t142_to_143)) U EX(FIREABLE(t755_to_756))))
lola: processed formula length: 139
lola: 39 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 230462 markings, 476476 edges, 46092 markings/sec, 0 secs
lola: 438246 markings, 998549 edges, 41557 markings/sec, 5 secs
lola: 605128 markings, 1516543 edges, 33376 markings/sec, 10 secs
lola: 792689 markings, 2073916 edges, 37512 markings/sec, 15 secs
lola: 977561 markings, 2629176 edges, 36974 markings/sec, 20 secs
lola: 1161108 markings, 3146217 edges, 36709 markings/sec, 25 secs
lola: 1357006 markings, 3700186 edges, 39180 markings/sec, 30 secs
lola: 1549228 markings, 4254610 edges, 38444 markings/sec, 35 secs
lola: 1746197 markings, 4810621 edges, 39394 markings/sec, 40 secs
lola: 1949219 markings, 5369753 edges, 40604 markings/sec, 45 secs
lola: 2122188 markings, 5888456 edges, 34594 markings/sec, 50 secs
lola: 2322152 markings, 6446670 edges, 39993 markings/sec, 55 secs
lola: 2493613 markings, 6960697 edges, 34292 markings/sec, 60 secs
lola: 2697606 markings, 7515227 edges, 40799 markings/sec, 65 secs
lola: 2895111 markings, 8069909 edges, 39501 markings/sec, 70 secs
lola: 3062534 markings, 8589727 edges, 33485 markings/sec, 75 secs
lola: 3233239 markings, 9154009 edges, 34141 markings/sec, 80 secs
lola: 3411286 markings, 9718466 edges, 35609 markings/sec, 85 secs
lola: 3587352 markings, 10283481 edges, 35213 markings/sec, 90 secs
lola: 3749514 markings, 10848835 edges, 32432 markings/sec, 95 secs
lola: 3903402 markings, 11365825 edges, 30778 markings/sec, 100 secs
lola: 4089888 markings, 11928898 edges, 37297 markings/sec, 105 secs
lola: 4271898 markings, 12492154 edges, 36402 markings/sec, 110 secs
lola: 4441341 markings, 13059355 edges, 33889 markings/sec, 115 secs
lola: 4599138 markings, 13620982 edges, 31559 markings/sec, 120 secs
lola: 4770468 markings, 14185287 edges, 34266 markings/sec, 125 secs
lola: 4953574 markings, 14743793 edges, 36621 markings/sec, 130 secs
lola: 5122510 markings, 15300645 edges, 33787 markings/sec, 135 secs
lola: 5291535 markings, 15858405 edges, 33805 markings/sec, 140 secs
lola: 5466621 markings, 16419818 edges, 35017 markings/sec, 145 secs
lola: 5624099 markings, 16939326 edges, 31496 markings/sec, 150 secs
lola: 5804797 markings, 17501158 edges, 36140 markings/sec, 155 secs
lola: 5974276 markings, 18064255 edges, 33896 markings/sec, 160 secs
lola: 6135711 markings, 18628251 edges, 32287 markings/sec, 165 secs
lola: 6293511 markings, 19192087 edges, 31560 markings/sec, 170 secs
lola: 6463486 markings, 19756041 edges, 33995 markings/sec, 175 secs
lola: 6630334 markings, 20316134 edges, 33370 markings/sec, 180 secs
lola: 6799747 markings, 20877462 edges, 33883 markings/sec, 185 secs
lola: 6975875 markings, 21438394 edges, 35226 markings/sec, 190 secs
lola: 7144367 markings, 21987924 edges, 33698 markings/sec, 195 secs
lola: 7321010 markings, 22541225 edges, 35329 markings/sec, 200 secs
lola: 7474543 markings, 23058118 edges, 30707 markings/sec, 205 secs
lola: 7647260 markings, 23619120 edges, 34543 markings/sec, 210 secs
lola: 7821991 markings, 24172676 edges, 34946 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 617184 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((E (X ((FIREABLE(t432_to_433) OR FIREABLE(t535_to_536)))) AND A (X (FIREABLE(t287_to_288))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U (EX((FIREABLE(t432_to_433) OR FIREABLE(t535_to_536))) AND AX(FIREABLE(t287_to_288))))
lola: processed formula length: 95
lola: 36 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 339352 markings, 499292 edges, 67870 markings/sec, 0 secs
lola: 652288 markings, 995829 edges, 62587 markings/sec, 5 secs
lola: 953795 markings, 1484283 edges, 60301 markings/sec, 10 secs
lola: 1251099 markings, 1967371 edges, 59461 markings/sec, 15 secs
lola: 1544584 markings, 2449382 edges, 58697 markings/sec, 20 secs
lola: 1834372 markings, 2927964 edges, 57958 markings/sec, 25 secs
lola: 2126936 markings, 3409635 edges, 58513 markings/sec, 30 secs
lola: 2414970 markings, 3888804 edges, 57607 markings/sec, 35 secs
lola: 2701202 markings, 4365749 edges, 57246 markings/sec, 40 secs
lola: 2985958 markings, 4841514 edges, 56951 markings/sec, 45 secs
lola: 3271389 markings, 5315275 edges, 57086 markings/sec, 50 secs
lola: 3556027 markings, 5783115 edges, 56928 markings/sec, 55 secs
lola: 3836558 markings, 6255229 edges, 56106 markings/sec, 60 secs
lola: 4117329 markings, 6721020 edges, 56154 markings/sec, 65 secs
lola: 4398585 markings, 7185940 edges, 56251 markings/sec, 70 secs
lola: 4675930 markings, 7650954 edges, 55469 markings/sec, 75 secs
lola: 4951601 markings, 8115862 edges, 55134 markings/sec, 80 secs
lola: 5228658 markings, 8578278 edges, 55411 markings/sec, 85 secs
lola: 5505537 markings, 9045657 edges, 55376 markings/sec, 90 secs
lola: 5780568 markings, 9509133 edges, 55006 markings/sec, 95 secs
lola: 6056599 markings, 9974023 edges, 55206 markings/sec, 100 secs
lola: 6332944 markings, 10435630 edges, 55269 markings/sec, 105 secs
lola: 6609115 markings, 10900238 edges, 55234 markings/sec, 110 secs
lola: 6881264 markings, 11362801 edges, 54430 markings/sec, 115 secs
lola: 7154909 markings, 11819265 edges, 54729 markings/sec, 120 secs
lola: 7428046 markings, 12278637 edges, 54627 markings/sec, 125 secs
lola: 7696309 markings, 12736054 edges, 53653 markings/sec, 130 secs
lola: 7964681 markings, 13191865 edges, 53674 markings/sec, 135 secs
lola: 8233128 markings, 13647693 edges, 53689 markings/sec, 140 secs
lola: 8503609 markings, 14106583 edges, 54096 markings/sec, 145 secs
lola: 8778051 markings, 14564971 edges, 54888 markings/sec, 150 secs
lola: 9049228 markings, 15023737 edges, 54235 markings/sec, 155 secs
lola: 9315882 markings, 15483591 edges, 53331 markings/sec, 160 secs
lola: 9587154 markings, 15940105 edges, 54254 markings/sec, 165 secs
lola: 9855303 markings, 16399327 edges, 53630 markings/sec, 170 secs
lola: 10124606 markings, 16859211 edges, 53861 markings/sec, 175 secs
lola: 10395409 markings, 17317800 edges, 54161 markings/sec, 180 secs
lola: 10663222 markings, 17774005 edges, 53563 markings/sec, 185 secs
lola: 10932086 markings, 18230236 edges, 53773 markings/sec, 190 secs
lola: 11202085 markings, 18685947 edges, 54000 markings/sec, 195 secs
lola: 11470230 markings, 19144071 edges, 53629 markings/sec, 200 secs
lola: 11738677 markings, 19601882 edges, 53689 markings/sec, 205 secs
lola: 12006209 markings, 20057762 edges, 53506 markings/sec, 210 secs
lola: 12272313 markings, 20511320 edges, 53221 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2876332 KB
lola: time consumption: 446 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X ((A (G (FIREABLE(t702_to_703))) AND E (G (FIREABLE(t306_to_307)))))) OR FIREABLE(t592_to_593))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t592_to_593)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t592_to_593)
lola: processed formula length: 21
lola: 33 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((A (G (FIREABLE(t702_to_703))) AND E (G (FIREABLE(t306_to_307))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: EX((NOT(E(TRUE U NOT FIREABLE(t702_to_703))) AND NOT(A(TRUE U NOT FIREABLE(t306_to_307)))))
lola: processed formula length: 91
lola: 38 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 125918 markings, 126167 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA CircularTrains-PT-768-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t692_to_693)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t692_to_693)))
lola: processed formula length: 29
lola: 34 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t692_to_693)
lola: SUBRESULT
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: state equation: write sara problem file to CircularTrains-PT-768-CTLFireability-3-0.sara
lola: ========================================
FORMULA CircularTrains-PT-768-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (FIREABLE(t690_to_691)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t690_to_691)
lola: processed formula length: 25
lola: 35 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 362323 markings, 537750 edges, 72465 markings/sec, 0 secs
lola: 718770 markings, 1106656 edges, 71289 markings/sec, 5 secs
lola: 1061646 markings, 1667870 edges, 68575 markings/sec, 10 secs
lola: 1405775 markings, 2223625 edges, 68826 markings/sec, 15 secs
lola: 1741708 markings, 2774064 edges, 67187 markings/sec, 20 secs
lola: 2071993 markings, 3322277 edges, 66057 markings/sec, 25 secs
lola: 2402372 markings, 3865724 edges, 66076 markings/sec, 30 secs
lola: 2726643 markings, 4408267 edges, 64854 markings/sec, 35 secs
lola: 3053684 markings, 4951134 edges, 65408 markings/sec, 40 secs
lola: 3377137 markings, 5491598 edges, 64691 markings/sec, 45 secs
lola: 3698137 markings, 6028226 edges, 64200 markings/sec, 50 secs
lola: 4000360 markings, 6535269 edges, 60445 markings/sec, 55 secs
lola: 4316871 markings, 7066073 edges, 63302 markings/sec, 60 secs
lola: 4635875 markings, 7594492 edges, 63801 markings/sec, 65 secs
lola: 4951613 markings, 8122957 edges, 63148 markings/sec, 70 secs
lola: 5264780 markings, 8648003 edges, 62633 markings/sec, 75 secs
lola: 5574562 markings, 9174789 edges, 61956 markings/sec, 80 secs
lola: 5885973 markings, 9698292 edges, 62282 markings/sec, 85 secs
lola: 6193495 markings, 10222376 edges, 61504 markings/sec, 90 secs
lola: 6502649 markings, 10744644 edges, 61831 markings/sec, 95 secs
lola: 6809090 markings, 11265086 edges, 61288 markings/sec, 100 secs
lola: 7117963 markings, 11784782 edges, 61775 markings/sec, 105 secs
lola: 7423595 markings, 12298945 edges, 61126 markings/sec, 110 secs
lola: 7731740 markings, 12814056 edges, 61629 markings/sec, 115 secs
lola: 8036475 markings, 13327333 edges, 60947 markings/sec, 120 secs
lola: 8341128 markings, 13839216 edges, 60931 markings/sec, 125 secs
lola: 8643329 markings, 14351386 edges, 60440 markings/sec, 130 secs
lola: 8945118 markings, 14860745 edges, 60358 markings/sec, 135 secs
lola: 9244085 markings, 15372720 edges, 59793 markings/sec, 140 secs
lola: 9544851 markings, 15883566 edges, 60153 markings/sec, 145 secs
lola: 9843099 markings, 16391522 edges, 59650 markings/sec, 150 secs
lola: 10142659 markings, 16900731 edges, 59912 markings/sec, 155 secs
lola: 10440040 markings, 17407293 edges, 59476 markings/sec, 160 secs
lola: 10736182 markings, 17911860 edges, 59228 markings/sec, 165 secs
lola: 11030551 markings, 18414448 edges, 58874 markings/sec, 170 secs
lola: 11331197 markings, 18914559 edges, 60129 markings/sec, 175 secs
lola: 11627355 markings, 19419607 edges, 59232 markings/sec, 180 secs
lola: 11920728 markings, 19921370 edges, 58675 markings/sec, 185 secs
lola: 12214487 markings, 20423777 edges, 58752 markings/sec, 190 secs
lola: 12506940 markings, 20926213 edges, 58491 markings/sec, 195 secs
lola: 12803972 markings, 21426843 edges, 59406 markings/sec, 200 secs
lola: 13099275 markings, 21924297 edges, 59061 markings/sec, 205 secs
lola: 13391321 markings, 22421761 edges, 58409 markings/sec, 210 secs
lola: 13683270 markings, 22921478 edges, 58390 markings/sec, 215 secs
lola: 13969252 markings, 23413389 edges, 57196 markings/sec, 220 secs
lola: 14252444 markings, 23897983 edges, 56638 markings/sec, 225 secs
lola: 14534938 markings, 24379178 edges, 56499 markings/sec, 230 secs
lola: 14817049 markings, 24862826 edges, 56422 markings/sec, 235 secs
lola: 15105398 markings, 25351132 edges, 57670 markings/sec, 240 secs
lola: 15391802 markings, 25839394 edges, 57281 markings/sec, 245 secs
lola: 15677839 markings, 26327243 edges, 57207 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown
lola: memory consumption: 2567828 KB
lola: time consumption: 707 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(t510_to_511)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (FIREABLE(t510_to_511)))
lola: processed formula length: 29
lola: 33 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 49025 markings, 49024 edges
lola: ========================================
FORMULA CircularTrains-PT-768-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 286 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((NOT FIREABLE(t658_to_659) AND NOT FIREABLE(t291_to_292))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: (NOT FIREABLE(t658_to_659) AND NOT FIREABLE(t291_to_292))
lola: processed formula length: 57
lola: 34 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: 518259 markings, 519065 edges, 103652 markings/sec, 0 secs
lola: 998947 markings, 1001892 edges, 96138 markings/sec, 5 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate is not possibly preserved from any reachable marking.
lola: 1139849 markings, 1143497 edges
FORMULA CircularTrains-PT-768-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 7 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t264_to_265) AND (FIREABLE(t181_to_182) OR FIREABLE(t96_to_97)) AND FIREABLE(t452_to_453) AND FIREABLE(t422_to_423))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t264_to_265) OR (NOT FIREABLE(t181_to_182) AND NOT FIREABLE(t96_to_97)) OR NOT FIREABLE(t452_to_453) OR NOT FIREABLE(t422_to_423))
lola: processed formula length: 147
lola: 35 rewrites
lola: ========================================
closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 49350 markings, 49350 edges
lola: ========================================
FORMULA CircularTrains-PT-768-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((NOT FIREABLE(t623_to_624) U E (G (NOT FIREABLE(t217_to_218)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(NOT FIREABLE(t623_to_624) U NOT(A(TRUE U FIREABLE(t217_to_218))))
lola: processed formula length: 67
lola: 36 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 264888 markings, 497417 edges, 52978 markings/sec, 0 secs
lola: 492121 markings, 1016086 edges, 45447 markings/sec, 5 secs
lola: 729282 markings, 1535200 edges, 47432 markings/sec, 10 secs
lola: 957731 markings, 2035617 edges, 45690 markings/sec, 15 secs
lola: 1158079 markings, 2551019 edges, 40070 markings/sec, 20 secs
lola: 1354399 markings, 3068863 edges, 39264 markings/sec, 25 secs
lola: 1553486 markings, 3581404 edges, 39817 markings/sec, 30 secs
lola: 1756713 markings, 4086179 edges, 40645 markings/sec, 35 secs
lola: 1947016 markings, 4610846 edges, 38061 markings/sec, 40 secs
lola: 2135414 markings, 5133496 edges, 37680 markings/sec, 45 secs
lola: 2324755 markings, 5656392 edges, 37868 markings/sec, 50 secs
lola: 2528487 markings, 6174694 edges, 40746 markings/sec, 55 secs
lola: 2733511 markings, 6695044 edges, 41005 markings/sec, 60 secs
lola: 2931831 markings, 7214164 edges, 39664 markings/sec, 65 secs
lola: 3128113 markings, 7735160 edges, 39256 markings/sec, 70 secs
lola: 3324450 markings, 8254081 edges, 39267 markings/sec, 75 secs
lola: 3522387 markings, 8772041 edges, 39587 markings/sec, 80 secs
lola: 3736105 markings, 9294018 edges, 42744 markings/sec, 85 secs
lola: 3932506 markings, 9820560 edges, 39280 markings/sec, 90 secs
lola: 4118815 markings, 10344429 edges, 37262 markings/sec, 95 secs
lola: 4294969 markings, 10870556 edges, 35231 markings/sec, 100 secs
lola: 4474813 markings, 11391121 edges, 35969 markings/sec, 105 secs
lola: 4639442 markings, 11889258 edges, 32926 markings/sec, 110 secs
lola: 4812740 markings, 12408871 edges, 34660 markings/sec, 115 secs
lola: 4988500 markings, 12929387 edges, 35152 markings/sec, 120 secs
lola: 5162688 markings, 13453017 edges, 34838 markings/sec, 125 secs
lola: 5341678 markings, 13977802 edges, 35798 markings/sec, 130 secs
lola: 5519799 markings, 14495658 edges, 35624 markings/sec, 135 secs
lola: 5703892 markings, 15015379 edges, 36819 markings/sec, 140 secs
lola: 5882870 markings, 15509526 edges, 35796 markings/sec, 145 secs
lola: 6096745 markings, 16003783 edges, 42775 markings/sec, 150 secs
lola: 6285811 markings, 16491916 edges, 37813 markings/sec, 155 secs
lola: 6472394 markings, 16998485 edges, 37317 markings/sec, 160 secs
lola: 6663749 markings, 17517288 edges, 38271 markings/sec, 165 secs
lola: 6859391 markings, 18009110 edges, 39128 markings/sec, 170 secs
lola: 7056803 markings, 18528754 edges, 39482 markings/sec, 175 secs
lola: 7258774 markings, 19039914 edges, 40394 markings/sec, 180 secs
lola: 7452414 markings, 19563406 edges, 38728 markings/sec, 185 secs
lola: 7645572 markings, 20078950 edges, 38632 markings/sec, 190 secs
lola: 7844223 markings, 20594386 edges, 39730 markings/sec, 195 secs
lola: 8027934 markings, 21076759 edges, 36742 markings/sec, 200 secs
lola: 8230493 markings, 21585857 edges, 40512 markings/sec, 205 secs
lola: 8424842 markings, 22088478 edges, 38870 markings/sec, 210 secs
lola: 8598448 markings, 22550646 edges, 34721 markings/sec, 215 secs
lola: 8793683 markings, 23061940 edges, 39047 markings/sec, 220 secs
lola: 8990327 markings, 23582761 edges, 39329 markings/sec, 225 secs
lola: 9192088 markings, 24102179 edges, 40352 markings/sec, 230 secs
lola: 9391957 markings, 24624513 edges, 39974 markings/sec, 235 secs
lola: 9584700 markings, 25153918 edges, 38549 markings/sec, 240 secs
lola: 9781566 markings, 25679327 edges, 39373 markings/sec, 245 secs
lola: 9985714 markings, 26198537 edges, 40830 markings/sec, 250 secs
lola: 10185982 markings, 26718922 edges, 40054 markings/sec, 255 secs
lola: 10384300 markings, 27239640 edges, 39664 markings/sec, 260 secs
lola: 10588254 markings, 27753253 edges, 40791 markings/sec, 265 secs
lola: 10781298 markings, 28275296 edges, 38609 markings/sec, 270 secs
lola: 10985471 markings, 28788551 edges, 40835 markings/sec, 275 secs
lola: 11181441 markings, 29304585 edges, 39194 markings/sec, 280 secs
lola: 11368810 markings, 29780280 edges, 37474 markings/sec, 285 secs
lola: 11566580 markings, 30295316 edges, 39554 markings/sec, 290 secs
lola: 11757159 markings, 30799746 edges, 38116 markings/sec, 295 secs
lola: 11933633 markings, 31318465 edges, 35295 markings/sec, 300 secs
lola: 12099117 markings, 31843269 edges, 33097 markings/sec, 305 secs
lola: 12264205 markings, 32367348 edges, 33018 markings/sec, 310 secs
lola: 12433033 markings, 32887278 edges, 33766 markings/sec, 315 secs
lola: 12617170 markings, 33379677 edges, 36827 markings/sec, 320 secs
lola: 12806950 markings, 33876398 edges, 37956 markings/sec, 325 secs
lola: 12992303 markings, 34373659 edges, 37071 markings/sec, 330 secs
lola: 13176475 markings, 34868706 edges, 36834 markings/sec, 335 secs
lola: 13365574 markings, 35366000 edges, 37820 markings/sec, 340 secs
lola: 13563415 markings, 35870594 edges, 39568 markings/sec, 345 secs
lola: 13770079 markings, 36384919 edges, 41333 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown no unknown unknown unknown unknown unknown no unknown unknown no no
lola: memory consumption: 1095704 KB
lola: time consumption: 1077 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((E (F (NOT FIREABLE(t25_to_26))) OR (FIREABLE(t571_to_572) AND FIREABLE(t179_to_180)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: NOT(A(TRUE U (NOT(E(TRUE U NOT FIREABLE(t25_to_26))) AND (NOT FIREABLE(t571_to_572) OR NOT FIREABLE(t179_to_180)))))
lola: processed formula length: 117
lola: 37 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 63861 markings, 113436 edges
lola: ========================================
FORMULA CircularTrains-PT-768-CTLFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 415 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t331_to_332) OR NOT FIREABLE(t55_to_56) OR FIREABLE(t486_to_487)) U (NOT FIREABLE(t72_to_73) OR E (G (FIREABLE(t138_to_139))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A((NOT FIREABLE(t331_to_332) OR NOT FIREABLE(t55_to_56) OR FIREABLE(t486_to_487)) U (NOT FIREABLE(t72_to_73) OR NOT(A(TRUE U NOT FIREABLE(t138_to_139)))))
lola: processed formula length: 156
lola: 36 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 281899 markings, 452655 edges, 56380 markings/sec, 0 secs
lola: 523017 markings, 936595 edges, 48224 markings/sec, 5 secs
lola: 741242 markings, 1425981 edges, 43645 markings/sec, 10 secs
lola: 944745 markings, 1872982 edges, 40701 markings/sec, 15 secs
lola: 1171816 markings, 2366426 edges, 45414 markings/sec, 20 secs
lola: 1357977 markings, 2821394 edges, 37232 markings/sec, 25 secs
lola: 1568598 markings, 3282652 edges, 42124 markings/sec, 30 secs
lola: 1772806 markings, 3750144 edges, 40842 markings/sec, 35 secs
lola: 1976793 markings, 4197527 edges, 40797 markings/sec, 40 secs
lola: 2182740 markings, 4660174 edges, 41189 markings/sec, 45 secs
lola: 2389537 markings, 5125515 edges, 41359 markings/sec, 50 secs
lola: 2598832 markings, 5592056 edges, 41859 markings/sec, 55 secs
lola: 2842266 markings, 6084163 edges, 48687 markings/sec, 60 secs
lola: 3052410 markings, 6563897 edges, 42029 markings/sec, 65 secs
lola: 3239127 markings, 6988246 edges, 37343 markings/sec, 70 secs
lola: 3401790 markings, 7357069 edges, 32533 markings/sec, 75 secs
lola: 3600016 markings, 7807820 edges, 39645 markings/sec, 80 secs
lola: 3807105 markings, 8277358 edges, 41418 markings/sec, 85 secs
lola: 4008692 markings, 8740694 edges, 40317 markings/sec, 90 secs
lola: 4215938 markings, 9215414 edges, 41449 markings/sec, 95 secs
lola: 4407303 markings, 9648151 edges, 38273 markings/sec, 100 secs
lola: 4602494 markings, 10094045 edges, 39038 markings/sec, 105 secs
lola: 4802323 markings, 10547795 edges, 39966 markings/sec, 110 secs
lola: 5012406 markings, 11013671 edges, 42017 markings/sec, 115 secs
lola: 5203286 markings, 11442791 edges, 38176 markings/sec, 120 secs
lola: 5400393 markings, 11888543 edges, 39421 markings/sec, 125 secs
lola: 5597408 markings, 12330168 edges, 39403 markings/sec, 130 secs
lola: 5795365 markings, 12775539 edges, 39591 markings/sec, 135 secs
lola: 5980921 markings, 13196647 edges, 37111 markings/sec, 140 secs
lola: 6196032 markings, 13678560 edges, 43022 markings/sec, 145 secs
lola: 6404294 markings, 14146658 edges, 41652 markings/sec, 150 secs
lola: 6632402 markings, 14649289 edges, 45622 markings/sec, 155 secs
lola: 6862519 markings, 15147592 edges, 46023 markings/sec, 160 secs
lola: 7071222 markings, 15614393 edges, 41741 markings/sec, 165 secs
lola: 7278828 markings, 16086869 edges, 41521 markings/sec, 170 secs
lola: 7482811 markings, 16536608 edges, 40797 markings/sec, 175 secs
lola: 7692921 markings, 17013968 edges, 42022 markings/sec, 180 secs
lola: 7892029 markings, 17466958 edges, 39822 markings/sec, 185 secs
lola: 8104819 markings, 17950842 edges, 42558 markings/sec, 190 secs
lola: 8319965 markings, 18430922 edges, 43029 markings/sec, 195 secs
lola: 8532046 markings, 18906431 edges, 42416 markings/sec, 200 secs
lola: 8734198 markings, 19360639 edges, 40430 markings/sec, 205 secs
lola: 8939887 markings, 19813464 edges, 41138 markings/sec, 210 secs
lola: 9151692 markings, 20274687 edges, 42361 markings/sec, 215 secs
lola: 9357980 markings, 20737941 edges, 41258 markings/sec, 220 secs
lola: 9558103 markings, 21179342 edges, 40025 markings/sec, 225 secs
lola: 9761920 markings, 21645916 edges, 40763 markings/sec, 230 secs
lola: 9960601 markings, 22099992 edges, 39736 markings/sec, 235 secs
lola: 10168837 markings, 22573769 edges, 41647 markings/sec, 240 secs
lola: 10384066 markings, 23057959 edges, 43046 markings/sec, 245 secs
lola: 10585322 markings, 23503278 edges, 40251 markings/sec, 250 secs
lola: 10794516 markings, 23977344 edges, 41839 markings/sec, 255 secs
lola: 10999958 markings, 24435765 edges, 41088 markings/sec, 260 secs
lola: 11218739 markings, 24913884 edges, 43756 markings/sec, 265 secs
lola: 11429678 markings, 25389164 edges, 42188 markings/sec, 270 secs
lola: 11627073 markings, 25821044 edges, 39479 markings/sec, 275 secs
lola: 11818853 markings, 26260252 edges, 38356 markings/sec, 280 secs
lola: 12001348 markings, 26679438 edges, 36499 markings/sec, 285 secs
lola: 12196912 markings, 27119696 edges, 39113 markings/sec, 290 secs
lola: 12373018 markings, 27514249 edges, 35221 markings/sec, 295 secs
lola: 12566308 markings, 27941912 edges, 38658 markings/sec, 300 secs
lola: 12748983 markings, 28353307 edges, 36535 markings/sec, 305 secs
lola: 12951792 markings, 28825464 edges, 40562 markings/sec, 310 secs
lola: 13131106 markings, 29232378 edges, 35863 markings/sec, 315 secs
lola: 13344380 markings, 29710410 edges, 42655 markings/sec, 320 secs
lola: 13567642 markings, 30200631 edges, 44652 markings/sec, 325 secs
lola: 13773445 markings, 30652187 edges, 41161 markings/sec, 330 secs
lola: 13993189 markings, 31140386 edges, 43949 markings/sec, 335 secs
lola: 14187932 markings, 31601084 edges, 38949 markings/sec, 340 secs
lola: 14396080 markings, 32080669 edges, 41630 markings/sec, 345 secs
lola: 14606718 markings, 32541565 edges, 42128 markings/sec, 350 secs
lola: 14814782 markings, 33031102 edges, 41613 markings/sec, 355 secs
lola: 15038627 markings, 33525171 edges, 44769 markings/sec, 360 secs
lola: 15249181 markings, 34012059 edges, 42111 markings/sec, 365 secs
lola: 15455997 markings, 34471745 edges, 41363 markings/sec, 370 secs
lola: 15668973 markings, 34967902 edges, 42595 markings/sec, 375 secs
lola: 15893382 markings, 35460065 edges, 44882 markings/sec, 380 secs
lola: 16101173 markings, 35936071 edges, 41558 markings/sec, 385 secs
lola: 16306066 markings, 36383000 edges, 40979 markings/sec, 390 secs
lola: 16517264 markings, 36861574 edges, 42240 markings/sec, 395 secs
lola: 16728656 markings, 37336639 edges, 42278 markings/sec, 400 secs
lola: 16932272 markings, 37783018 edges, 40723 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown unknown no unknown unknown unknown unknown unknown no unknown unknown no no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: yes yes unknown unknown unknown no unknown unknown unknown unknown unknown no unknown unknown no no
lola: memory consumption: 1455684 KB
lola: time consumption: 1494 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 415 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((((FIREABLE(t114_to_115) AND FIREABLE(t567_to_568) AND NOT FIREABLE(t544_to_545)) OR FIREABLE(t480_to_481)) OR A (F ((FIREABLE(t94_to_95) AND FIREABLE(t641_to_642)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(A(TRUE U (((NOT FIREABLE(t114_to_115) OR NOT FIREABLE(t567_to_568) OR FIREABLE(t544_to_545)) AND NOT FIREABLE(t480_to_481)) AND NOT(A(TRUE U (FIREABLE(t94_to_95) AND FIREABLE(t641_to_642)))))))
lola: processed formula length: 199
lola: 37 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 476763 markings, 477619 edges, 95353 markings/sec, 0 secs
lola: 932026 markings, 933354 edges, 91053 markings/sec, 5 secs
lola: 1311315 markings, 1313169 edges, 75858 markings/sec, 10 secs
lola: 1719051 markings, 1721155 edges, 81547 markings/sec, 15 secs
lola: 2139492 markings, 2141792 edges, 84088 markings/sec, 20 secs
lola: 2599967 markings, 2602703 edges, 92095 markings/sec, 25 secs
lola: 2994228 markings, 3009447 edges, 78852 markings/sec, 30 secs
lola: 3265716 markings, 3514022 edges, 54298 markings/sec, 35 secs
lola: 3523680 markings, 3985201 edges, 51593 markings/sec, 40 secs
lola: 3778061 markings, 4486744 edges, 50876 markings/sec, 45 secs
lola: 3996916 markings, 4982056 edges, 43771 markings/sec, 50 secs
lola: 4193951 markings, 5453908 edges, 39407 markings/sec, 55 secs
lola: 4415685 markings, 5952237 edges, 44347 markings/sec, 60 secs
lola: 4633002 markings, 6457244 edges, 43463 markings/sec, 65 secs
lola: 4865045 markings, 6944572 edges, 46409 markings/sec, 70 secs
lola: 5100598 markings, 7421267 edges, 47111 markings/sec, 75 secs
lola: 5306968 markings, 7936776 edges, 41274 markings/sec, 80 secs
lola: 5498271 markings, 8466893 edges, 38261 markings/sec, 85 secs
lola: 5723968 markings, 8963848 edges, 45139 markings/sec, 90 secs
lola: 5960862 markings, 9462204 edges, 47379 markings/sec, 95 secs
lola: 6182307 markings, 9938898 edges, 44289 markings/sec, 100 secs
lola: 6458380 markings, 10443798 edges, 55215 markings/sec, 105 secs
lola: 6684107 markings, 10912798 edges, 45145 markings/sec, 110 secs
lola: 6899901 markings, 11407970 edges, 43159 markings/sec, 115 secs
lola: 7126123 markings, 11881531 edges, 45244 markings/sec, 120 secs
lola: 7397638 markings, 12386375 edges, 54303 markings/sec, 125 secs
lola: 7627692 markings, 12882849 edges, 46011 markings/sec, 130 secs
lola: 7865434 markings, 13382066 edges, 47548 markings/sec, 135 secs
lola: 8092383 markings, 13884889 edges, 45390 markings/sec, 140 secs
lola: 8287025 markings, 14363003 edges, 38928 markings/sec, 145 secs
lola: 8479779 markings, 14882661 edges, 38551 markings/sec, 150 secs
lola: 8672478 markings, 15364529 edges, 38540 markings/sec, 155 secs
lola: 8879576 markings, 15870721 edges, 41420 markings/sec, 160 secs
lola: 9135350 markings, 16371095 edges, 51155 markings/sec, 165 secs
lola: 9356271 markings, 16879814 edges, 44184 markings/sec, 170 secs
lola: 9557030 markings, 17388156 edges, 40152 markings/sec, 175 secs
lola: 9753873 markings, 17895565 edges, 39369 markings/sec, 180 secs
lola: 9929744 markings, 18422197 edges, 35174 markings/sec, 185 secs
lola: 10122104 markings, 18932791 edges, 38472 markings/sec, 190 secs
lola: 10320689 markings, 19439506 edges, 39717 markings/sec, 195 secs
lola: 10516702 markings, 19943600 edges, 39203 markings/sec, 200 secs
lola: 10710072 markings, 20446364 edges, 38674 markings/sec, 205 secs
lola: 10898442 markings, 20921738 edges, 37674 markings/sec, 210 secs
lola: 11088436 markings, 21407596 edges, 37999 markings/sec, 215 secs
lola: 11286379 markings, 21913466 edges, 39589 markings/sec, 220 secs
lola: 11485300 markings, 22419416 edges, 39784 markings/sec, 225 secs
lola: 11684383 markings, 22920761 edges, 39817 markings/sec, 230 secs
lola: 11870681 markings, 23387007 edges, 37260 markings/sec, 235 secs
lola: 12070147 markings, 23870817 edges, 39893 markings/sec, 240 secs
lola: 12320636 markings, 24373455 edges, 50098 markings/sec, 245 secs
lola: 12515413 markings, 24856410 edges, 38955 markings/sec, 250 secs
lola: 12749030 markings, 25364313 edges, 46723 markings/sec, 255 secs
lola: 12951483 markings, 25836908 edges, 40491 markings/sec, 260 secs
lola: 13166481 markings, 26348289 edges, 43000 markings/sec, 265 secs
lola: 13373052 markings, 26833690 edges, 41314 markings/sec, 270 secs
lola: 13595313 markings, 27330283 edges, 44452 markings/sec, 275 secs
lola: 13840190 markings, 27826218 edges, 48975 markings/sec, 280 secs
lola: 14066717 markings, 28297236 edges, 45305 markings/sec, 285 secs
lola: 14292445 markings, 28796495 edges, 45146 markings/sec, 290 secs
lola: 14539231 markings, 29296407 edges, 49357 markings/sec, 295 secs
lola: 14758823 markings, 29797675 edges, 43918 markings/sec, 300 secs
lola: 14969709 markings, 30243299 edges, 42177 markings/sec, 305 secs
lola: 15217463 markings, 30748747 edges, 49551 markings/sec, 310 secs
lola: 15444801 markings, 31245389 edges, 45468 markings/sec, 315 secs
lola: 15682201 markings, 31744706 edges, 47480 markings/sec, 320 secs
lola: 15906848 markings, 32243144 edges, 44929 markings/sec, 325 secs
lola: 16121010 markings, 32722031 edges, 42832 markings/sec, 330 secs
lola: 16351772 markings, 33226686 edges, 46152 markings/sec, 335 secs
lola: 16579178 markings, 33731644 edges, 45481 markings/sec, 340 secs
lola: 16799175 markings, 34244835 edges, 43999 markings/sec, 345 secs
lola: 17024686 markings, 34728568 edges, 45102 markings/sec, 350 secs
lola: 17253239 markings, 35241822 edges, 45711 markings/sec, 355 secs
lola: 17481308 markings, 35726146 edges, 45614 markings/sec, 360 secs
lola: 17713662 markings, 36213057 edges, 46471 markings/sec, 365 secs
lola: 17904204 markings, 36707920 edges, 38108 markings/sec, 370 secs
lola: 18115867 markings, 37196419 edges, 42333 markings/sec, 375 secs
lola: 18350489 markings, 37693773 edges, 46924 markings/sec, 380 secs
lola: 18559824 markings, 38199715 edges, 41867 markings/sec, 385 secs
lola: 18741173 markings, 38717341 edges, 36270 markings/sec, 390 secs
lola: 18956954 markings, 39213515 edges, 43156 markings/sec, 395 secs
lola: 19168347 markings, 39710716 edges, 42279 markings/sec, 400 secs
lola: 19378621 markings, 40188703 edges, 42055 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown unknown no unknown unknown unknown unknown unknown no unknown unknown no no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: yes yes unknown unknown unknown no unknown unknown unknown unknown unknown no unknown unknown no no
lola: memory consumption: 2009200 KB
lola: time consumption: 1909 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 415 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t153_to_154) AND A (F (FIREABLE(t110_to_111)))) U E ((FIREABLE(t621_to_622) U FIREABLE(t329_to_330)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A((FIREABLE(t153_to_154) AND A(TRUE U FIREABLE(t110_to_111))) U E(FIREABLE(t621_to_622) U FIREABLE(t329_to_330)))
lola: processed formula length: 113
lola: 36 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 25894 markings, 25894 edges
lola: ========================================
FORMULA CircularTrains-PT-768-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 553 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G (NOT FIREABLE(t450_to_451)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:665
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: FIREABLE(t450_to_451)
lola: processed formula length: 21
lola: 35 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 49774 markings, 49774 edges
lola: ========================================
FORMULA CircularTrains-PT-768-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 830 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t719_to_720) OR (A (G ((NOT FIREABLE(t5_to_6) OR NOT FIREABLE(t153_to_154)))) AND E (((FIREABLE(t117_to_118) OR FIREABLE(t266_to_267)) U FIREABLE(t526_to_527)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 830 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t719_to_720)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t719_to_720)
lola: processed formula length: 21
lola: 33 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 1660 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t5_to_6) OR NOT FIREABLE(t153_to_154))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G ((NOT FIREABLE(t5_to_6) OR NOT FIREABLE(t153_to_154))))
lola: processed formula length: 61
lola: 35 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: (FIREABLE(t5_to_6) AND FIREABLE(t153_to_154))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA CircularTrains-PT-768-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1660 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((NOT FIREABLE(t150_to_151) AND NOT FIREABLE(t421_to_422) AND (NOT FIREABLE(t376_to_377) OR NOT FIREABLE(t214_to_215)) AND (NOT FIREABLE(t599_to_600) OR FIREABLE(t578_to_579))) OR E (F (FIREABLE(t308_to_309)))) AND E (G (NOT FIREABLE(t274_to_275))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1660 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t150_to_151) AND NOT FIREABLE(t421_to_422) AND (NOT FIREABLE(t376_to_377) OR NOT FIREABLE(t214_to_215)) AND (NOT FIREABLE(t599_to_600) OR FIREABLE(t578_to_579)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t150_to_151) AND NOT FIREABLE(t421_to_422) AND (NOT FIREABLE(t376_to_377) OR NOT FIREABLE(t214_to_215)) AND (NOT FIREABLE(t599_to_600) OR FIREABLE(t578_to_579)))
lola: processed formula length: 177
lola: 33 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t308_to_309)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t308_to_309)))
lola: processed formula length: 29
lola: 34 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t308_to_309)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CircularTrains-PT-768-CTLFireability-17-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: lola: state equation: calling and running sara
========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A (F ((FIREABLE(t634_to_635) OR E (G (FIREABLE(t287_to_288)))))) OR A ((E (X (FIREABLE(t142_to_143))) U E (X (FIREABLE(t755_to_756))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: (A(TRUE U (FIREABLE(t634_to_635) OR NOT(A(TRUE U NOT FIREABLE(t287_to_288))))) OR A(EX(FIREABLE(t142_to_143)) U EX(FIREABLE(t755_to_756))))
lola: processed formula length: 139
lola: 39 rewrites
lola: closed formula file CircularTrains-PT-768-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
sara: try reading problem file CircularTrains-PT-768-CTLFireability-17-0.sara.
sara: place or transition ordering is non-deterministic
lola: 255445 markings, 538594 edges, 51089 markings/sec, 0 secs
lola: 473287 markings, 1101214 edges, 43568 markings/sec, 5 secs
lola: 653552 markings, 1664771 edges, 36053 markings/sec, 10 secs
lola: 843025 markings, 2225515 edges, 37895 markings/sec, 15 secs
lola: 1027893 markings, 2761504 edges, 36974 markings/sec, 20 secs
lola: 1223050 markings, 3318299 edges, 39031 markings/sec, 25 secs
lola: 1416629 markings, 3873765 edges, 38716 markings/sec, 30 secs
lola: 1597538 markings, 4393522 edges, 36182 markings/sec, 35 secs
lola: 1798448 markings, 4956194 edges, 40182 markings/sec, 40 secs
lola: 2001048 markings, 5519432 edges, 40520 markings/sec, 45 secs
lola: 2186348 markings, 6080034 edges, 37060 markings/sec, 50 secs
lola: 2384166 markings, 6637736 edges, 39564 markings/sec, 55 secs
lola: 2575421 markings, 7195191 edges, 38251 markings/sec, 60 secs
lola: 2784437 markings, 7753560 edges, 41803 markings/sec, 65 secs
lola: 2967864 markings, 8292448 edges, 36685 markings/sec, 70 secs
lola: 3142771 markings, 8856278 edges, 34981 markings/sec, 75 secs
lola: 3310434 markings, 9414719 edges, 33533 markings/sec, 80 secs
lola: 3480744 markings, 9931072 edges, 34062 markings/sec, 85 secs
lola: 3639612 markings, 10470141 edges, 31774 markings/sec, 90 secs
lola: 3802251 markings, 11028507 edges, 32528 markings/sec, 95 secs
lola: 3956932 markings, 11543981 edges, 30936 markings/sec, 100 secs
lola: 4149903 markings, 12106950 edges, 38594 markings/sec, 105 secs
lola: 4325394 markings, 12670191 edges, 35098 markings/sec, 110 secs
lola: 4488107 markings, 13228756 edges, 32543 markings/sec, 115 secs
lola: 4636938 markings, 13746024 edges, 29766 markings/sec, 120 secs
lola: 4813107 markings, 14308083 edges, 35234 markings/sec, 125 secs
lola: 4989877 markings, 14871069 edges, 35354 markings/sec, 130 secs
lola: 5160887 markings, 15430506 edges, 34202 markings/sec, 135 secs
lola: 5319692 markings, 15945825 edges, 31761 markings/sec, 140 secs
lola: 5495293 markings, 16509158 edges, 35120 markings/sec, 145 secs
lola: 5665441 markings, 17065969 edges, 34030 markings/sec, 150 secs
lola: 5841377 markings, 17624764 edges, 35187 markings/sec, 155 secs
lola: 5996507 markings, 18144971 edges, 31026 markings/sec, 160 secs
lola: 6161445 markings, 18711986 edges, 32988 markings/sec, 165 secs
lola: 6317776 markings, 19278347 edges, 31266 markings/sec, 170 secs
lola: 6485699 markings, 19829456 edges, 33585 markings/sec, 175 secs
lola: 6652490 markings, 20390923 edges, 33358 markings/sec, 180 secs
lola: 6823697 markings, 20954137 edges, 34241 markings/sec, 185 secs
lola: 6998866 markings, 21516221 edges, 35034 markings/sec, 190 secs
lola: 7175682 markings, 22078757 edges, 35363 markings/sec, 195 secs
lola: 7350158 markings, 22641285 edges, 34895 markings/sec, 200 secs
lola: 7519877 markings, 23202979 edges, 33944 markings/sec, 205 secs
lola: 7693322 markings, 23767143 edges, 34689 markings/sec, 210 secs
lola: 7878588 markings, 24330463 edges, 37053 markings/sec, 215 secs
lola: 8061577 markings, 24893883 edges, 36598 markings/sec, 220 secs
lola: 8233926 markings, 25458164 edges, 34470 markings/sec, 225 secs
lola: 8407585 markings, 26020729 edges, 34732 markings/sec, 230 secs
lola: 8598434 markings, 26584450 edges, 38170 markings/sec, 235 secs
lola: 8767166 markings, 27148151 edges, 33746 markings/sec, 240 secs
lola: 8938599 markings, 27712770 edges, 34287 markings/sec, 245 secs
lola: 9115175 markings, 28277215 edges, 35315 markings/sec, 250 secs
lola: 9308130 markings, 28839586 edges, 38591 markings/sec, 255 secs
lola: 9484679 markings, 29399386 edges, 35310 markings/sec, 260 secs
lola: 9666168 markings, 29960962 edges, 36298 markings/sec, 265 secs
lola: 9842760 markings, 30522568 edges, 35318 markings/sec, 270 secs
lola: 10016233 markings, 31085182 edges, 34695 markings/sec, 275 secs
lola: 10188941 markings, 31648390 edges, 34542 markings/sec, 280 secs
lola: 10348429 markings, 32213477 edges, 31898 markings/sec, 285 secs
lola: 10523990 markings, 32776036 edges, 35112 markings/sec, 290 secs
lola: 10702323 markings, 33340414 edges, 35667 markings/sec, 295 secs
lola: 10866064 markings, 33904958 edges, 32748 markings/sec, 300 secs
lola: 11015406 markings, 34471124 edges, 29868 markings/sec, 305 secs
lola: 11156072 markings, 35036991 edges, 28133 markings/sec, 310 secs
lola: 11295001 markings, 35601215 edges, 27786 markings/sec, 315 secs
lola: 11434012 markings, 36158260 edges, 27802 markings/sec, 320 secs
lola: 11558348 markings, 36655189 edges, 24867 markings/sec, 325 secs
lola: 11699913 markings, 37211654 edges, 28313 markings/sec, 330 secs
lola: 11848162 markings, 37772352 edges, 29650 markings/sec, 335 secs
lola: 11983400 markings, 38332768 edges, 27048 markings/sec, 340 secs
lola: 12136120 markings, 38892297 edges, 30544 markings/sec, 345 secs
lola: 12301270 markings, 39453630 edges, 33030 markings/sec, 350 secs
lola: 12448938 markings, 40010441 edges, 29534 markings/sec, 355 secs
lola: 12593875 markings, 40565248 edges, 28987 markings/sec, 360 secs
lola: 12739495 markings, 41121605 edges, 29124 markings/sec, 365 secs
lola: 12888048 markings, 41685477 edges, 29711 markings/sec, 370 secs
lola: 13037363 markings, 42248835 edges, 29863 markings/sec, 375 secs
lola: 13192916 markings, 42810928 edges, 31111 markings/sec, 380 secs
lola: 13341288 markings, 43371598 edges, 29674 markings/sec, 385 secs
lola: 13506534 markings, 43925969 edges, 33049 markings/sec, 390 secs
lola: 13663337 markings, 44491625 edges, 31361 markings/sec, 395 secs
lola: 13813049 markings, 45050059 edges, 29942 markings/sec, 400 secs
lola: 13963647 markings, 45611769 edges, 30120 markings/sec, 405 secs
lola: 14119377 markings, 46172068 edges, 31146 markings/sec, 410 secs
lola: 14278577 markings, 46729270 edges, 31840 markings/sec, 415 secs
lola: 14438447 markings, 47291563 edges, 31974 markings/sec, 420 secs
lola: 14579961 markings, 47816804 edges, 28303 markings/sec, 425 secs
lola: 14729067 markings, 48359336 edges, 29821 markings/sec, 430 secs
lola: 14881885 markings, 48919098 edges, 30564 markings/sec, 435 secs
lola: 15035171 markings, 49447933 edges, 30657 markings/sec, 440 secs
lola: 15162389 markings, 49936956 edges, 25444 markings/sec, 445 secs
lola: 15311912 markings, 50498370 edges, 29905 markings/sec, 450 secs
lola: 15464559 markings, 51063859 edges, 30529 markings/sec, 455 secs
lola: 15641414 markings, 51633670 edges, 35371 markings/sec, 460 secs
lola: 15820299 markings, 52203681 edges, 35777 markings/sec, 465 secs
lola: 16008140 markings, 52772495 edges, 37568 markings/sec, 470 secs
lola: 16184179 markings, 53341554 edges, 35208 markings/sec, 475 secs
lola: 16354294 markings, 53910759 edges, 34023 markings/sec, 480 secs
lola: 16528211 markings, 54478547 edges, 34783 markings/sec, 485 secs
lola: 16699389 markings, 55043327 edges, 34236 markings/sec, 490 secs
lola: 16872390 markings, 55605203 edges, 34600 markings/sec, 495 secs
lola: 17026178 markings, 56170901 edges, 30758 markings/sec, 500 secs
lola: 17180514 markings, 56735246 edges, 30867 markings/sec, 505 secs
lola: 17329436 markings, 57300411 edges, 29784 markings/sec, 510 secs
lola: 17477260 markings, 57865850 edges, 29565 markings/sec, 515 secs
lola: 17635655 markings, 58430070 edges, 31679 markings/sec, 520 secs
lola: 17796353 markings, 58995496 edges, 32140 markings/sec, 525 secs
lola: 17982810 markings, 59557325 edges, 37291 markings/sec, 530 secs
lola: 18154997 markings, 60121729 edges, 34437 markings/sec, 535 secs
lola: 18323539 markings, 60684890 edges, 33708 markings/sec, 540 secs
lola: 18498672 markings, 61247351 edges, 35027 markings/sec, 545 secs
lola: 18666512 markings, 61810257 edges, 33568 markings/sec, 550 secs
lola: 18842162 markings, 62373616 edges, 35130 markings/sec, 555 secs
lola: 19010616 markings, 62933721 edges, 33691 markings/sec, 560 secs
lola: 19154641 markings, 63498359 edges, 28805 markings/sec, 565 secs
lola: 19305579 markings, 64059936 edges, 30188 markings/sec, 570 secs
lola: 19454853 markings, 64622784 edges, 29855 markings/sec, 575 secs
lola: 19615428 markings, 65186959 edges, 32115 markings/sec, 580 secs
lola: 19798240 markings, 65751344 edges, 36562 markings/sec, 585 secs
lola: 19976590 markings, 66318278 edges, 35670 markings/sec, 590 secs
lola: 20162686 markings, 66883368 edges, 37219 markings/sec, 595 secs
lola: 20346843 markings, 67445122 edges, 36831 markings/sec, 600 secs
lola: 20526638 markings, 68015280 edges, 35959 markings/sec, 605 secs
lola: 20707727 markings, 68581736 edges, 36218 markings/sec, 610 secs
lola: 20892282 markings, 69150269 edges, 36911 markings/sec, 615 secs
lola: 21073271 markings, 69719008 edges, 36198 markings/sec, 620 secs
lola: 21251549 markings, 70287017 edges, 35656 markings/sec, 625 secs
lola: 21420953 markings, 70856337 edges, 33881 markings/sec, 630 secs
lola: 21598706 markings, 71423298 edges, 35551 markings/sec, 635 secs
lola: 21766365 markings, 71990828 edges, 33532 markings/sec, 640 secs
lola: 21940907 markings, 72558831 edges, 34908 markings/sec, 645 secs
lola: 22134349 markings, 73127478 edges, 38688 markings/sec, 650 secs
lola: 22314873 markings, 73696969 edges, 36105 markings/sec, 655 secs
lola: 22464778 markings, 74242060 edges, 29981 markings/sec, 660 secs
lola: 22621139 markings, 74813039 edges, 31272 markings/sec, 665 secs
lola: 22791683 markings, 75384210 edges, 34109 markings/sec, 670 secs
lola: 22947788 markings, 75955659 edges, 31221 markings/sec, 675 secs
lola: 23118835 markings, 76525897 edges, 34209 markings/sec, 680 secs
lola: 23306938 markings, 77057972 edges, 37621 markings/sec, 685 secs
lola: 23497692 markings, 77624220 edges, 38151 markings/sec, 690 secs
lola: 23686045 markings, 78147168 edges, 37671 markings/sec, 695 secs
lola: 23833918 markings, 78667217 edges, 29575 markings/sec, 700 secs
lola: 23982594 markings, 79191327 edges, 29735 markings/sec, 705 secs
lola: 24141704 markings, 79759869 edges, 31822 markings/sec, 710 secs
lola: 24274218 markings, 80242888 edges, 26503 markings/sec, 715 secs
lola: 24426402 markings, 80763035 edges, 30437 markings/sec, 720 secs
lola: 24569105 markings, 81292466 edges, 28541 markings/sec, 725 secs
lola: 24726966 markings, 81854476 edges, 31572 markings/sec, 730 secs
lola: 24887086 markings, 82421661 edges, 32024 markings/sec, 735 secs
lola: 25029921 markings, 82939500 edges, 28567 markings/sec, 740 secs
lola: 25186050 markings, 83499232 edges, 31226 markings/sec, 745 secs
lola: 25339279 markings, 84037897 edges, 30646 markings/sec, 750 secs
lola: 25478680 markings, 84548780 edges, 27880 markings/sec, 755 secs
lola: 25626175 markings, 85068683 edges, 29499 markings/sec, 760 secs
lola: 25779767 markings, 85633567 edges, 30718 markings/sec, 765 secs
lola: 25917435 markings, 86157856 edges, 27534 markings/sec, 770 secs
lola: 26070717 markings, 86723916 edges, 30656 markings/sec, 775 secs
lola: 26222219 markings, 87289948 edges, 30300 markings/sec, 780 secs
lola: 26379025 markings, 87854608 edges, 31361 markings/sec, 785 secs
lola: 26532841 markings, 88374671 edges, 30763 markings/sec, 790 secs
lola: 26687799 markings, 88939886 edges, 30992 markings/sec, 795 secs
lola: 26825898 markings, 89507842 edges, 27620 markings/sec, 800 secs
lola: 26963513 markings, 90075615 edges, 27523 markings/sec, 805 secs
lola: 27112237 markings, 90642405 edges, 29745 markings/sec, 810 secs
lola: 27238980 markings, 91168147 edges, 25349 markings/sec, 815 secs
lola: 27390632 markings, 91737137 edges, 30330 markings/sec, 820 secs
lola: 27541852 markings, 92231905 edges, 30244 markings/sec, 825 secs
lola: 27702206 markings, 92780448 edges, 32071 markings/sec, 830 secs
lola: 27885246 markings, 93348705 edges, 36608 markings/sec, 835 secs
lola: 28067715 markings, 93874122 edges, 36494 markings/sec, 840 secs
lola: 28240317 markings, 94401925 edges, 34520 markings/sec, 845 secs
lola: 28407439 markings, 94969753 edges, 33424 markings/sec, 850 secs
lola: 28556748 markings, 95478100 edges, 29862 markings/sec, 855 secs
lola: 28718751 markings, 96025139 edges, 32401 markings/sec, 860 secs
lola: 28873845 markings, 96547515 edges, 31019 markings/sec, 865 secs
lola: 29044212 markings, 97114493 edges, 34073 markings/sec, 870 secs
lola: 29198038 markings, 97614989 edges, 30765 markings/sec, 875 secs
lola: 29367629 markings, 98182832 edges, 33918 markings/sec, 880 secs
lola: 29546505 markings, 98750622 edges, 35775 markings/sec, 885 secs
lola: 29709333 markings, 99319054 edges, 32566 markings/sec, 890 secs
lola: 29850894 markings, 99842587 edges, 28312 markings/sec, 895 secs
lola: 29989793 markings, 100411719 edges, 27780 markings/sec, 900 secs
lola: 30120225 markings, 100937361 edges, 26086 markings/sec, 905 secs
lola: 30261074 markings, 101505827 edges, 28170 markings/sec, 910 secs
lola: 30391853 markings, 102030325 edges, 26156 markings/sec, 915 secs
lola: 30523146 markings, 102557464 edges, 26259 markings/sec, 920 secs
lola: 30659296 markings, 103101542 edges, 27230 markings/sec, 925 secs
lola: 30793163 markings, 103629607 edges, 26773 markings/sec, 930 secs
lola: 30946388 markings, 104199042 edges, 30645 markings/sec, 935 secs
lola: 31099613 markings, 104721872 edges, 30645 markings/sec, 940 secs
lola: 31245724 markings, 105266958 edges, 29222 markings/sec, 945 secs
lola: 31383418 markings, 105792696 edges, 27539 markings/sec, 950 secs
lola: 31530661 markings, 106362340 edges, 29449 markings/sec, 955 secs
lola: 31680173 markings, 106930880 edges, 29902 markings/sec, 960 secs
lola: 31829699 markings, 107499044 edges, 29905 markings/sec, 965 secs
lola: 31968292 markings, 108021342 edges, 27719 markings/sec, 970 secs
lola: 32109603 markings, 108545731 edges, 28262 markings/sec, 975 secs
lola: 32255381 markings, 109066884 edges, 29156 markings/sec, 980 secs
lola: 32410638 markings, 109599540 edges, 31051 markings/sec, 985 secs
lola: 32538385 markings, 110088643 edges, 25549 markings/sec, 990 secs
lola: 32686951 markings, 110655250 edges, 29713 markings/sec, 995 secs
lola: 32825945 markings, 111178225 edges, 27799 markings/sec, 1000 secs
lola: 32966445 markings, 111702548 edges, 28100 markings/sec, 1005 secs
lola: 33125349 markings, 112269028 edges, 31781 markings/sec, 1010 secs
lola: 33263419 markings, 112760869 edges, 27614 markings/sec, 1015 secs
lola: 33412157 markings, 113327168 edges, 29748 markings/sec, 1020 secs
lola: 33563526 markings, 113896087 edges, 30274 markings/sec, 1025 secs
lola: 33705137 markings, 114419211 edges, 28322 markings/sec, 1030 secs
lola: 33857138 markings, 114943062 edges, 30400 markings/sec, 1035 secs
lola: 33996866 markings, 115464181 edges, 27946 markings/sec, 1040 secs
lola: 34133906 markings, 115987017 edges, 27408 markings/sec, 1045 secs
lola: 34276260 markings, 116519216 edges, 28471 markings/sec, 1050 secs
lola: 34430237 markings, 117081075 edges, 30795 markings/sec, 1055 secs
lola: 34590170 markings, 117644068 edges, 31987 markings/sec, 1060 secs
lola: 34731503 markings, 118166809 edges, 28267 markings/sec, 1065 secs
lola: 34882831 markings, 118708653 edges, 30266 markings/sec, 1070 secs
lola: 35025719 markings, 119232331 edges, 28578 markings/sec, 1075 secs
lola: 35185321 markings, 119800160 edges, 31920 markings/sec, 1080 secs
lola: 35353448 markings, 120368426 edges, 33625 markings/sec, 1085 secs
lola: 35510942 markings, 120937896 edges, 31499 markings/sec, 1090 secs
lola: 35637414 markings, 121463803 edges, 25294 markings/sec, 1095 secs
lola: 35775723 markings, 121989832 edges, 27662 markings/sec, 1100 secs
lola: 35916644 markings, 122559643 edges, 28184 markings/sec, 1105 secs
lola: 36050415 markings, 123081205 edges, 26754 markings/sec, 1110 secs
lola: 36201263 markings, 123647933 edges, 30170 markings/sec, 1115 secs
lola: 36347675 markings, 124213589 edges, 29282 markings/sec, 1120 secs
lola: 36494867 markings, 124778971 edges, 29438 markings/sec, 1125 secs
lola: 36640808 markings, 125341978 edges, 29188 markings/sec, 1130 secs
lola: 36787043 markings, 125905673 edges, 29247 markings/sec, 1135 secs
lola: 36943905 markings, 126469282 edges, 31372 markings/sec, 1140 secs
lola: 37098139 markings, 127031204 edges, 30847 markings/sec, 1145 secs
lola: 37256152 markings, 127591757 edges, 31603 markings/sec, 1150 secs
lola: 37403467 markings, 128112152 edges, 29463 markings/sec, 1155 secs
lola: 37554017 markings, 128676898 edges, 30110 markings/sec, 1160 secs
lola: 37719018 markings, 129241763 edges, 33000 markings/sec, 1165 secs
lola: 37870507 markings, 129766247 edges, 30298 markings/sec, 1170 secs
lola: 38022669 markings, 130333206 edges, 30432 markings/sec, 1175 secs
lola: 38144735 markings, 130845567 edges, 24413 markings/sec, 1180 secs
lola: 38281839 markings, 131383096 edges, 27421 markings/sec, 1185 secs
lola: 38427285 markings, 131948771 edges, 29089 markings/sec, 1190 secs
lola: 38573404 markings, 132515895 edges, 29224 markings/sec, 1195 secs
lola: 38706524 markings, 133039611 edges, 26624 markings/sec, 1200 secs
lola: 38853797 markings, 133604061 edges, 29455 markings/sec, 1205 secs
lola: 38990065 markings, 134126433 edges, 27254 markings/sec, 1210 secs
lola: 39136411 markings, 134689275 edges, 29269 markings/sec, 1215 secs
lola: 39285319 markings, 135254337 edges, 29782 markings/sec, 1220 secs
lola: 39413467 markings, 135739245 edges, 25630 markings/sec, 1225 secs
lola: 39553390 markings, 136234932 edges, 27985 markings/sec, 1230 secs
lola: 39704189 markings, 136766066 edges, 30160 markings/sec, 1235 secs
lola: 39866124 markings, 137330576 edges, 32387 markings/sec, 1240 secs
lola: 40015674 markings, 137849865 edges, 29910 markings/sec, 1245 secs
lola: 40172170 markings, 138410130 edges, 31299 markings/sec, 1250 secs
lola: 40337785 markings, 138973063 edges, 33123 markings/sec, 1255 secs
lola: 40530177 markings, 139539377 edges, 38478 markings/sec, 1260 secs
lola: 40712324 markings, 140063155 edges, 36429 markings/sec, 1265 secs
lola: 40881618 markings, 140588284 edges, 33859 markings/sec, 1270 secs
lola: 41052138 markings, 141156087 edges, 34104 markings/sec, 1275 secs
lola: 41223220 markings, 141724460 edges, 34216 markings/sec, 1280 secs
lola: 41382256 markings, 142250219 edges, 31807 markings/sec, 1285 secs
lola: 41545105 markings, 142776178 edges, 32570 markings/sec, 1290 secs
lola: 41710206 markings, 143308401 edges, 33020 markings/sec, 1295 secs
lola: 41881584 markings, 143848249 edges, 34276 markings/sec, 1300 secs
lola: 42050258 markings, 144415021 edges, 33735 markings/sec, 1305 secs
lola: 42201404 markings, 144981972 edges, 30229 markings/sec, 1310 secs
lola: 42343008 markings, 145507657 edges, 28321 markings/sec, 1315 secs
lola: 42497546 markings, 146077476 edges, 30908 markings/sec, 1320 secs
lola: 42641393 markings, 146603521 edges, 28769 markings/sec, 1325 secs
lola: 42796222 markings, 147124165 edges, 30966 markings/sec, 1330 secs
lola: 42949219 markings, 147689318 edges, 30599 markings/sec, 1335 secs
lola: 43102551 markings, 148258395 edges, 30666 markings/sec, 1340 secs
lola: 43258028 markings, 148826847 edges, 31095 markings/sec, 1345 secs
lola: 43433909 markings, 149394732 edges, 35176 markings/sec, 1350 secs
lola: 43621080 markings, 149960188 edges, 37434 markings/sec, 1355 secs
lola: 43806268 markings, 150526465 edges, 37038 markings/sec, 1360 secs
lola: 43953860 markings, 151006126 edges, 29518 markings/sec, 1365 secs
lola: 44116772 markings, 151574565 edges, 32582 markings/sec, 1370 secs
lola: 44260643 markings, 152070939 edges, 28774 markings/sec, 1375 secs
lola: 44414069 markings, 152636237 edges, 30685 markings/sec, 1380 secs
lola: 44582693 markings, 153201308 edges, 33725 markings/sec, 1385 secs
lola: 44730714 markings, 153721560 edges, 29604 markings/sec, 1390 secs
lola: 44898642 markings, 154287307 edges, 33586 markings/sec, 1395 secs
lola: 45053605 markings, 154811676 edges, 30993 markings/sec, 1400 secs
lola: 45210609 markings, 155341736 edges, 31401 markings/sec, 1405 secs
lola: 45338785 markings, 155773187 edges, 25635 markings/sec, 1410 secs
lola: 45505486 markings, 156329149 edges, 33340 markings/sec, 1415 secs
lola: 45665111 markings, 156859120 edges, 31925 markings/sec, 1420 secs
lola: 45834932 markings, 157426764 edges, 33964 markings/sec, 1425 secs
lola: 45977215 markings, 157920966 edges, 28457 markings/sec, 1430 secs
lola: 46148487 markings, 158487077 edges, 34254 markings/sec, 1435 secs
lola: 46332387 markings, 159054357 edges, 36780 markings/sec, 1440 secs
lola: 46487800 markings, 159578273 edges, 31083 markings/sec, 1445 secs
lola: 46638240 markings, 160104603 edges, 30088 markings/sec, 1450 secs
lola: 46771874 markings, 160630911 edges, 26727 markings/sec, 1455 secs
lola: 46897759 markings, 161157089 edges, 25177 markings/sec, 1460 secs
lola: 47045962 markings, 161723039 edges, 29641 markings/sec, 1465 secs
lola: 47177608 markings, 162247516 edges, 26329 markings/sec, 1470 secs
lola: 47316235 markings, 162775825 edges, 27725 markings/sec, 1475 secs
lola: 47463204 markings, 163343033 edges, 29394 markings/sec, 1480 secs
lola: 47599260 markings, 163868801 edges, 27211 markings/sec, 1485 secs
lola: 47744932 markings, 164435493 edges, 29134 markings/sec, 1490 secs
lola: 47893858 markings, 164999790 edges, 29785 markings/sec, 1495 secs
lola: 48022208 markings, 165493924 edges, 25670 markings/sec, 1500 secs
lola: 48173416 markings, 166058590 edges, 30242 markings/sec, 1505 secs
lola: 48318948 markings, 166625531 edges, 29106 markings/sec, 1510 secs
lola: 48464313 markings, 167192527 edges, 29073 markings/sec, 1515 secs
lola: 48617545 markings, 167751400 edges, 30646 markings/sec, 1520 secs
lola: 48771162 markings, 168278489 edges, 30723 markings/sec, 1525 secs
lola: 48936057 markings, 168845087 edges, 32979 markings/sec, 1530 secs
lola: 49095464 markings, 169412561 edges, 31881 markings/sec, 1535 secs
lola: 49221670 markings, 169938986 edges, 25241 markings/sec, 1540 secs
lola: 49345002 markings, 170430213 edges, 24666 markings/sec, 1545 secs
lola: 49490816 markings, 170996016 edges, 29163 markings/sec, 1550 secs
lola: 49632216 markings, 171563165 edges, 28280 markings/sec, 1555 secs
lola: 49780704 markings, 172129966 edges, 29698 markings/sec, 1560 secs
lola: 49916601 markings, 172649696 edges, 27179 markings/sec, 1565 secs
lola: 50063220 markings, 173214730 edges, 29324 markings/sec, 1570 secs
lola: 50209769 markings, 173778344 edges, 29310 markings/sec, 1575 secs
lola: 50357509 markings, 174342675 edges, 29548 markings/sec, 1580 secs
lola: 50505252 markings, 174906552 edges, 29549 markings/sec, 1585 secs
lola: 50654835 markings, 175473392 edges, 29917 markings/sec, 1590 secs
lola: 50799222 markings, 176039126 edges, 28877 markings/sec, 1595 secs
lola: 50950393 markings, 176604647 edges, 30234 markings/sec, 1600 secs
lola: 51111787 markings, 177169197 edges, 32279 markings/sec, 1605 secs
lola: 51277043 markings, 177731171 edges, 33051 markings/sec, 1610 secs
lola: 51430404 markings, 178296866 edges, 30672 markings/sec, 1615 secs
lola: 51578733 markings, 178862729 edges, 29666 markings/sec, 1620 secs
lola: 51729309 markings, 179428947 edges, 30115 markings/sec, 1625 secs
lola: 51888822 markings, 179994668 edges, 31903 markings/sec, 1630 secs
lola: 52050293 markings, 180562085 edges, 32294 markings/sec, 1635 secs
lola: 52207107 markings, 181129915 edges, 31363 markings/sec, 1640 secs
lola: 52370488 markings, 181698720 edges, 32676 markings/sec, 1645 secs
lola: 52528039 markings, 182270110 edges, 31510 markings/sec, 1650 secs
lola: 52690447 markings, 182840404 edges, 32482 markings/sec, 1655 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown no no unknown unknown no unknown yes no unknown unknown no no
lola:
preliminary result: yes yes unknown unknown no no unknown unknown no unknown yes no unknown unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown unknown no no unknown unknown no unknown yes no unknown unknown no no
lola: memory consumption: 3953552 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown unknown no no unknown unknown no unknown yes no unknown unknown no no
lola: memory consumption: 3953552 KB
lola: time consumption: 3570 seconds
BK_STOP 1526490031798
--------------------
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="CircularTrains-PT-768"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/CircularTrains-PT-768.tgz
mv CircularTrains-PT-768 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 CircularTrains-PT-768, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r040-smll-152646357100046"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;