About the Execution of LoLA for DES-PT-01b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3919.980 | 3570608.00 | 3611389.00 | 10328.30 | FF?FF???F???FTF? | 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 228K
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.6K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18: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 68K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DES-PT-01b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646380000179
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DES-PT-01b-CTLFireability-00
FORMULA_NAME DES-PT-01b-CTLFireability-01
FORMULA_NAME DES-PT-01b-CTLFireability-02
FORMULA_NAME DES-PT-01b-CTLFireability-03
FORMULA_NAME DES-PT-01b-CTLFireability-04
FORMULA_NAME DES-PT-01b-CTLFireability-05
FORMULA_NAME DES-PT-01b-CTLFireability-06
FORMULA_NAME DES-PT-01b-CTLFireability-07
FORMULA_NAME DES-PT-01b-CTLFireability-08
FORMULA_NAME DES-PT-01b-CTLFireability-09
FORMULA_NAME DES-PT-01b-CTLFireability-10
FORMULA_NAME DES-PT-01b-CTLFireability-11
FORMULA_NAME DES-PT-01b-CTLFireability-12
FORMULA_NAME DES-PT-01b-CTLFireability-13
FORMULA_NAME DES-PT-01b-CTLFireability-14
FORMULA_NAME DES-PT-01b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526571095227
info: Time: 3600 - MCC
===========================================================================================
prep: translating DES-PT-01b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DES-PT-01b formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DES-PT-01b @ 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: 519/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 284
lola: finding significant places
lola: 284 places, 235 transitions, 219 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 332 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-01b-CTLFireability.task
lola: A ((((NOT FIREABLE(t22) OR NOT FIREABLE(t83)) OR E (F (FIREABLE(t36)))) U E (G (FIREABLE(t40))))) : A (G (((NOT FIREABLE(t45) AND NOT FIREABLE(t174)) OR FIREABLE(t58) OR FIREABLE(t51)))) : E (G (A (((FIREABLE(t66) OR FIREABLE(t213)) U NOT FIREABLE(t196))))) : A (((FIREABLE(t90) AND (FIREABLE(t103) OR NOT FIREABLE(t82))) U A (F ((FIREABLE(t134) AND FIREABLE(t69)))))) : A (X (A ((NOT FIREABLE(t137) U (FIREABLE(t146) OR FIREABLE(t41)))))) : A (G ((NOT(A (X (FIREABLE(t186)))) OR A (G (NOT FIREABLE(t199)))))) : (E (((FIREABLE(t52) AND FIREABLE(t130) AND (FIREABLE(t75) OR FIREABLE(t71))) U A (F (FIREABLE(t210))))) OR E (F ((NOT FIREABLE(t9) AND NOT FIREABLE(t110) AND FIREABLE(t80))))) : A (F ((FIREABLE(t53) OR A (G (FIREABLE(t74)))))) : (NOT(A (F (FIREABLE(t56)))) AND A (X (A (F (NOT FIREABLE(t9)))))) : NOT(E (F (E (G ((FIREABLE(t231) AND FIREABLE(t192))))))) : A ((E (G (NOT FIREABLE(t75))) U (E (G (FIREABLE(t221))) OR (FIREABLE(t196) AND NOT FIREABLE(t189))))) : E ((E (F (FIREABLE(t78))) U FIREABLE(t213))) : A (G (E (F ((FIREABLE(t121) OR FIREABLE(t16)))))) : ((((A (X (FIREABLE(t200))) OR A (F (FIREABLE(t136)))) AND E (F (NOT FIREABLE(t31)))) OR E (G ((FIREABLE(t124) AND FIREABLE(t178) AND FIREABLE(t174))))) OR (A (F (((FIREABLE(t225) AND FIREABLE(t27)) OR NOT FIREABLE(t109)))) AND (E (X (FIREABLE(t140))) OR A ((FIREABLE(t207) U FIREABLE(t166)))))) : (((A (G ((FIREABLE(t202) AND FIREABLE(t191)))) OR ((FIREABLE(t217) AND FIREABLE(t122) AND (FIREABLE(t142) OR FIREABLE(t122))) AND E (G (FIREABLE(t71))))) AND (NOT FIREABLE(t120) AND NOT FIREABLE(t63))) OR A (G (E (F (FIREABLE(t54)))))) : (E (((NOT FIREABLE(t130) AND NOT FIREABLE(t27)) U E (G (FIREABLE(t111))))) AND ((FIREABLE(t45) OR A (G ((FIREABLE(t36) AND FIREABLE(t189))))) OR A ((NOT FIREABLE(t35) U FIREABLE(t47)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:470
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k: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:332
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:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A ((NOT FIREABLE(t137) U (FIREABLE(t146) OR FIREABLE(t41))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(A(NOT FIREABLE(t137) U (FIREABLE(t146) OR FIREABLE(t41))))
lola: processed formula length: 62
lola: 16 rewrites
lola: closed formula file DES-PT-01b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 44 markings, 43 edges
lola: ========================================
FORMULA DES-PT-01b-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (X (NOT FIREABLE(t186))) OR A (G (NOT FIREABLE(t199))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: processed formula: NOT(E(TRUE U (NOT(EX(NOT FIREABLE(t186))) AND E(TRUE U FIREABLE(t199)))))
lola: processed formula length: 73
lola: 20 rewrites
lola: closed formula file DES-PT-01b-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: 338416 markings, 1777849 edges, 67683 markings/sec, 0 secs
lola: 655097 markings, 3690267 edges, 63336 markings/sec, 5 secs
lola: 954305 markings, 5602129 edges, 59842 markings/sec, 10 secs
lola: 1251334 markings, 7494302 edges, 59406 markings/sec, 15 secs
lola: 1570158 markings, 9407838 edges, 63765 markings/sec, 20 secs
lola: 1863673 markings, 11319601 edges, 58703 markings/sec, 25 secs
lola: 2147435 markings, 13220947 edges, 56752 markings/sec, 30 secs
lola: 2475463 markings, 15123228 edges, 65606 markings/sec, 35 secs
lola: 2759771 markings, 17019020 edges, 56862 markings/sec, 40 secs
lola: 3031440 markings, 18904115 edges, 54334 markings/sec, 45 secs
lola: 3261974 markings, 20784123 edges, 46107 markings/sec, 50 secs
lola: 3595047 markings, 22693220 edges, 66615 markings/sec, 55 secs
lola: 3886345 markings, 24603303 edges, 58260 markings/sec, 60 secs
lola: 4177341 markings, 26500399 edges, 58199 markings/sec, 65 secs
lola: 4480073 markings, 28391480 edges, 60546 markings/sec, 70 secs
lola: 4764935 markings, 30268706 edges, 56972 markings/sec, 75 secs
lola: 5062824 markings, 32161967 edges, 59578 markings/sec, 80 secs
lola: 5329266 markings, 34032672 edges, 53288 markings/sec, 85 secs
lola: 5578027 markings, 35885662 edges, 49752 markings/sec, 90 secs
lola: 5902452 markings, 37802167 edges, 64885 markings/sec, 95 secs
lola: 6191274 markings, 39695084 edges, 57764 markings/sec, 100 secs
lola: 6487607 markings, 41582921 edges, 59267 markings/sec, 105 secs
lola: 6782535 markings, 43488816 edges, 58986 markings/sec, 110 secs
lola: 7076640 markings, 45361870 edges, 58821 markings/sec, 115 secs
lola: 7364644 markings, 47238043 edges, 57601 markings/sec, 120 secs
lola: 7618681 markings, 49096266 edges, 50807 markings/sec, 125 secs
lola: 7839283 markings, 50949116 edges, 44120 markings/sec, 130 secs
lola: 8053201 markings, 52817592 edges, 42784 markings/sec, 135 secs
lola: 8266576 markings, 54670122 edges, 42675 markings/sec, 140 secs
lola: 8474435 markings, 56523076 edges, 41572 markings/sec, 145 secs
lola: 8688003 markings, 58370041 edges, 42714 markings/sec, 150 secs
lola: 8882045 markings, 60199887 edges, 38808 markings/sec, 155 secs
lola: 9081386 markings, 62016632 edges, 39868 markings/sec, 160 secs
lola: 9421477 markings, 63873017 edges, 68018 markings/sec, 165 secs
lola: 9719649 markings, 65714985 edges, 59634 markings/sec, 170 secs
lola: 10007827 markings, 67560584 edges, 57636 markings/sec, 175 secs
lola: 10293778 markings, 69392039 edges, 57190 markings/sec, 180 secs
lola: 10604784 markings, 71239395 edges, 62201 markings/sec, 185 secs
lola: 10884742 markings, 73082306 edges, 55992 markings/sec, 190 secs
lola: 11158640 markings, 74911542 edges, 54780 markings/sec, 195 secs
lola: 11475991 markings, 76739914 edges, 63470 markings/sec, 200 secs
lola: 11748969 markings, 78561658 edges, 54596 markings/sec, 205 secs
lola: 12012636 markings, 80367461 edges, 52733 markings/sec, 210 secs
lola: 12222345 markings, 82166094 edges, 41942 markings/sec, 215 secs
lola: 12547900 markings, 84021627 edges, 65111 markings/sec, 220 secs
lola: 12830333 markings, 85871813 edges, 56487 markings/sec, 225 secs
lola: 13112976 markings, 87709229 edges, 56529 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1607600 KB
lola: time consumption: 238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (NOT FIREABLE(t56))) AND A (X (A (F (NOT FIREABLE(t9))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t56)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t56)))
lola: processed formula length: 25
lola: 14 rewrites
lola: closed formula file DES-PT-01b-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: 1163316 markings, 1347335 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DES-PT-01b-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((A (X (FIREABLE(t200))) OR A (F (FIREABLE(t136)))) AND E (F (NOT FIREABLE(t31)))) OR (E (G ((FIREABLE(t124) AND FIREABLE(t178) AND FIREABLE(t174)))) OR (A (F (((FIREABLE(t225) AND FIREABLE(t27)) OR NOT FIREABLE(t109)))) AND (E (X (FIREABLE(t140))) OR A ((FIREABLE(t207) U FIREABLE(t166)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t207) U FIREABLE(t166)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A ((FIREABLE(t207) U FIREABLE(t166)))
lola: processed formula length: 37
lola: 18 rewrites
lola: closed formula file DES-PT-01b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (NOT FIREABLE(t31)))
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 (NOT FIREABLE(t31)))
lola: processed formula length: 25
lola: 15 rewrites
lola: closed formula file DES-PT-01b-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: NOT FIREABLE(t31)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((FIREABLE(t225) AND FIREABLE(t27)) OR NOT FIREABLE(t109))))
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(t225) OR NOT FIREABLE(t27)) AND FIREABLE(t109))
lola: processed formula length: 63
lola: 16 rewrites
lola: closed formula file DES-PT-01b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((FIREABLE(t124) AND FIREABLE(t178) AND FIREABLE(t174))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((FIREABLE(t124) AND FIREABLE(t178) AND FIREABLE(t174))))
lola: processed formula length: 62
lola: 14 rewrites
lola: closed formula file DES-PT-01b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (FIREABLE(t140)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(FIREABLE(t140))
lola: processed formula length: 18
lola: 15 rewrites
lola: closed formula file DES-PT-01b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 415 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t136)))
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(t136)
lola: processed formula length: 18
lola: 16 rewrites
lola: closed formula file DES-PT-01b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 51 markings, 50 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-01b-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t45) AND NOT FIREABLE(t174)) OR FIREABLE(t58) OR FIREABLE(t51))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((NOT FIREABLE(t45) AND NOT FIREABLE(t174)) OR FIREABLE(t58) OR FIREABLE(t51))))
lola: processed formula length: 88
lola: 16 rewrites
lola: closed formula file DES-PT-01b-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:694
lola: formula 0: ((FIREABLE(t45) OR FIREABLE(t174)) AND NOT FIREABLE(t58) AND NOT FIREABLE(t51))
lola: state equation: Generated DNF with 7 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 21 markings, 20 edges
lola: state equation: write sara problem file to DES-PT-01b-CTLFireability-4-0.sara
FORMULA DES-PT-01b-CTLFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F ((NOT FIREABLE(t231) OR NOT FIREABLE(t192))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: (FIREABLE(t231) AND FIREABLE(t192))
lola: processed formula length: 35
lola: 16 rewrites
lola: closed formula file DES-PT-01b-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
state equation: calling and running sara
sara: try reading problem file DES-PT-01b-CTLFireability-4-0.sara.
sara: place or transition ordering is non-deterministic
lola: 923134 markings, 1612061 edges, 184627 markings/sec, 0 secs
lola: 1825133 markings, 3175690 edges, 180400 markings/sec, 5 secs
lola: 2718345 markings, 4784165 edges, 178642 markings/sec, 10 secs
lola: 3581377 markings, 6342128 edges, 172606 markings/sec, 15 secs
lola: 4472584 markings, 7926769 edges, 178241 markings/sec, 20 secs
lola: 5439339 markings, 9632707 edges, 193351 markings/sec, 25 secs
lola: 6435497 markings, 11236038 edges, 199232 markings/sec, 30 secs
lola: 7380461 markings, 12921261 edges, 188993 markings/sec, 35 secs
lola: 8359346 markings, 14545322 edges, 195777 markings/sec, 40 secs
lola: 9326864 markings, 16135803 edges, 193504 markings/sec, 45 secs
lola: 10260631 markings, 17736810 edges, 186753 markings/sec, 50 secs
lola: 11214470 markings, 19378877 edges, 190768 markings/sec, 55 secs
lola: 12136538 markings, 20989345 edges, 184414 markings/sec, 60 secs
lola: 13039056 markings, 22647710 edges, 180504 markings/sec, 65 secs
lola: 13912080 markings, 24326641 edges, 174605 markings/sec, 70 secs
lola: 14801331 markings, 25988456 edges, 177850 markings/sec, 75 secs
lola: 15747315 markings, 27695680 edges, 189197 markings/sec, 80 secs
lola: 16638349 markings, 29325949 edges, 178207 markings/sec, 85 secs
lola: 17595611 markings, 30958110 edges, 191452 markings/sec, 90 secs
lola: 18560597 markings, 32592825 edges, 192997 markings/sec, 95 secs
lola: 19440476 markings, 34281164 edges, 175976 markings/sec, 100 secs
lola: 20329045 markings, 35970807 edges, 177714 markings/sec, 105 secs
lola: 21238010 markings, 37655263 edges, 181793 markings/sec, 110 secs
lola: 22163339 markings, 39295289 edges, 185066 markings/sec, 115 secs
lola: 23066202 markings, 40935724 edges, 180573 markings/sec, 120 secs
lola: 23984838 markings, 42552480 edges, 183727 markings/sec, 125 secs
lola: 24963380 markings, 44134902 edges, 195708 markings/sec, 130 secs
lola: 25846185 markings, 45738555 edges, 176561 markings/sec, 135 secs
lola: 26799791 markings, 47301535 edges, 190721 markings/sec, 140 secs
lola: 27719144 markings, 48889235 edges, 183871 markings/sec, 145 secs
lola: 28582364 markings, 50458130 edges, 172644 markings/sec, 150 secs
lola: 29550082 markings, 51997810 edges, 193544 markings/sec, 155 secs
lola: 30487676 markings, 53643358 edges, 187519 markings/sec, 160 secs
lola: 31355493 markings, 55301998 edges, 173563 markings/sec, 165 secs
lola: 32224472 markings, 56933332 edges, 173796 markings/sec, 170 secs
lola: 33239252 markings, 58478899 edges, 202956 markings/sec, 175 secs
lola: 34355590 markings, 59942768 edges, 223268 markings/sec, 180 secs
lola: 35216637 markings, 61521185 edges, 172209 markings/sec, 185 secs
lola: 36203587 markings, 63044666 edges, 197390 markings/sec, 190 secs
lola: 37086162 markings, 64579117 edges, 176515 markings/sec, 195 secs
lola: 38046997 markings, 66092870 edges, 192167 markings/sec, 200 secs
lola: 38866351 markings, 67607661 edges, 163871 markings/sec, 205 secs
lola: 39730017 markings, 69108249 edges, 172733 markings/sec, 210 secs
lola: 40598017 markings, 70658046 edges, 173600 markings/sec, 215 secs
lola: 41593341 markings, 72165417 edges, 199065 markings/sec, 220 secs
lola: 42484013 markings, 73734286 edges, 178134 markings/sec, 225 secs
lola: 43369287 markings, 75338897 edges, 177055 markings/sec, 230 secs
lola: 44319507 markings, 76914220 edges, 190044 markings/sec, 235 secs
lola: 45206249 markings, 78516059 edges, 177348 markings/sec, 240 secs
lola: 46113776 markings, 80076799 edges, 181505 markings/sec, 245 secs
lola: 47019132 markings, 81655537 edges, 181071 markings/sec, 250 secs
lola: 47873214 markings, 83203086 edges, 170816 markings/sec, 255 secs
lola: 48810619 markings, 84767173 edges, 187481 markings/sec, 260 secs
lola: 49675407 markings, 86423088 edges, 172958 markings/sec, 265 secs
lola: 50612969 markings, 88023543 edges, 187512 markings/sec, 270 secs
lola: 51510463 markings, 89647719 edges, 179499 markings/sec, 275 secs
lola: 52406910 markings, 91240623 edges, 179289 markings/sec, 280 secs
lola: 53364031 markings, 92824222 edges, 191424 markings/sec, 285 secs
lola: 54236437 markings, 94399158 edges, 174481 markings/sec, 290 secs
lola: 55181916 markings, 95954728 edges, 189096 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown no unknown unknown unknown no unknown unknown unknown unknown yes unknown unknown
lola: memory consumption: 2524008 KB
lola: time consumption: 545 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((FIREABLE(t121) OR FIREABLE(t16))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: (FIREABLE(t121) OR FIREABLE(t16))
lola: processed formula length: 34
lola: 15 rewrites
lola: closed formula file DES-PT-01b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: tscc_search
lola: The predicate is not live.
lola: 85 markings, 84 edges
lola: ========================================
FORMULA DES-PT-01b-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t134) AND FIREABLE(t69))))
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(t134) OR NOT FIREABLE(t69))
lola: processed formula length: 42
lola: 16 rewrites
lola: closed formula file DES-PT-01b-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: 90 markings, 89 edges
lola: ========================================
FORMULA DES-PT-01b-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t53) OR A (G (FIREABLE(t74))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U (FIREABLE(t53) OR NOT(E(TRUE U NOT FIREABLE(t74)))))
lola: processed formula length: 61
lola: 17 rewrites
lola: closed formula file DES-PT-01b-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: 477625 markings, 1844157 edges, 95525 markings/sec, 0 secs
lola: 946467 markings, 3737251 edges, 93768 markings/sec, 5 secs
lola: 1357172 markings, 5559840 edges, 82141 markings/sec, 10 secs
lola: 1764823 markings, 7429615 edges, 81530 markings/sec, 15 secs
lola: 2198804 markings, 9324603 edges, 86796 markings/sec, 20 secs
lola: 2689302 markings, 11302851 edges, 98100 markings/sec, 25 secs
lola: 3136856 markings, 13223767 edges, 89511 markings/sec, 30 secs
lola: 3545456 markings, 15063152 edges, 81720 markings/sec, 35 secs
lola: 3946085 markings, 16855588 edges, 80126 markings/sec, 40 secs
lola: 4376537 markings, 18743845 edges, 86090 markings/sec, 45 secs
lola: 4778198 markings, 20551459 edges, 80332 markings/sec, 50 secs
lola: 5152661 markings, 22418739 edges, 74893 markings/sec, 55 secs
lola: 5564182 markings, 24269460 edges, 82304 markings/sec, 60 secs
lola: 5978697 markings, 26147977 edges, 82903 markings/sec, 65 secs
lola: 6371264 markings, 27889177 edges, 78513 markings/sec, 70 secs
lola: 6749191 markings, 29655849 edges, 75585 markings/sec, 75 secs
lola: 7107062 markings, 31399845 edges, 71574 markings/sec, 80 secs
lola: 7441127 markings, 33166200 edges, 66813 markings/sec, 85 secs
lola: 7766269 markings, 34985774 edges, 65028 markings/sec, 90 secs
lola: 8077939 markings, 36774560 edges, 62334 markings/sec, 95 secs
lola: 8587446 markings, 38724893 edges, 101901 markings/sec, 100 secs
lola: 9100752 markings, 40711715 edges, 102661 markings/sec, 105 secs
lola: 9600089 markings, 42649353 edges, 99867 markings/sec, 110 secs
lola: 10040497 markings, 44490725 edges, 88082 markings/sec, 115 secs
lola: 10456544 markings, 46360424 edges, 83209 markings/sec, 120 secs
lola: 10880010 markings, 48250198 edges, 84693 markings/sec, 125 secs
lola: 11300542 markings, 50046399 edges, 84106 markings/sec, 130 secs
lola: 11705347 markings, 51876916 edges, 80961 markings/sec, 135 secs
lola: 12117891 markings, 53736698 edges, 82509 markings/sec, 140 secs
lola: 12539075 markings, 55573375 edges, 84237 markings/sec, 145 secs
lola: 12949762 markings, 57398996 edges, 82137 markings/sec, 150 secs
lola: 13377401 markings, 59261773 edges, 85528 markings/sec, 155 secs
lola: 13772941 markings, 61123073 edges, 79108 markings/sec, 160 secs
lola: 14136673 markings, 62945287 edges, 72746 markings/sec, 165 secs
lola: 14530404 markings, 64817629 edges, 78746 markings/sec, 170 secs
lola: 14890547 markings, 66681218 edges, 72029 markings/sec, 175 secs
lola: 15260808 markings, 68431789 edges, 74052 markings/sec, 180 secs
lola: 15635166 markings, 70264185 edges, 74872 markings/sec, 185 secs
lola: 15998341 markings, 72091804 edges, 72635 markings/sec, 190 secs
lola: 16389720 markings, 73924815 edges, 78276 markings/sec, 195 secs
lola: 16838943 markings, 75715543 edges, 89845 markings/sec, 200 secs
lola: 17248914 markings, 77565782 edges, 81994 markings/sec, 205 secs
lola: 17656729 markings, 79424277 edges, 81563 markings/sec, 210 secs
lola: 18043909 markings, 81211837 edges, 77436 markings/sec, 215 secs
lola: 18409853 markings, 83035347 edges, 73189 markings/sec, 220 secs
lola: 18778518 markings, 84867640 edges, 73733 markings/sec, 225 secs
lola: 19142309 markings, 86684229 edges, 72758 markings/sec, 230 secs
lola: 19493037 markings, 88449559 edges, 70146 markings/sec, 235 secs
lola: 19876695 markings, 90276323 edges, 76732 markings/sec, 240 secs
lola: 20222943 markings, 92087384 edges, 69250 markings/sec, 245 secs
lola: 20646141 markings, 93898796 edges, 84640 markings/sec, 250 secs
lola: 21031750 markings, 95765030 edges, 77122 markings/sec, 255 secs
lola: 21528713 markings, 97640805 edges, 99393 markings/sec, 260 secs
lola: 22006825 markings, 99487463 edges, 95622 markings/sec, 265 secs
lola: 22475647 markings, 101313449 edges, 93764 markings/sec, 270 secs
lola: 22904322 markings, 103132261 edges, 85735 markings/sec, 275 secs
lola: 23321096 markings, 104961625 edges, 83355 markings/sec, 280 secs
lola: 23741784 markings, 106801502 edges, 84138 markings/sec, 285 secs
lola: 24148956 markings, 108605384 edges, 81434 markings/sec, 290 secs
lola: 24545666 markings, 110385056 edges, 79342 markings/sec, 295 secs
lola: 24958549 markings, 112188514 edges, 82577 markings/sec, 300 secs
lola: 25364037 markings, 114032467 edges, 81098 markings/sec, 305 secs
lola: 25772660 markings, 115803135 edges, 81725 markings/sec, 310 secs
lola: 26190791 markings, 117639825 edges, 83626 markings/sec, 315 secs
lola: 26586017 markings, 119471562 edges, 79045 markings/sec, 320 secs
lola: 26959650 markings, 121240611 edges, 74727 markings/sec, 325 secs
lola: 27337492 markings, 123074986 edges, 75568 markings/sec, 330 secs
lola: 27706540 markings, 124900199 edges, 73810 markings/sec, 335 secs
lola: 28065481 markings, 126652117 edges, 71788 markings/sec, 340 secs
lola: 28420084 markings, 128423243 edges, 70921 markings/sec, 345 secs
lola: 28788436 markings, 130201578 edges, 73670 markings/sec, 350 secs
lola: 29140917 markings, 132024530 edges, 70496 markings/sec, 355 secs
lola: 29568947 markings, 133816817 edges, 85606 markings/sec, 360 secs
lola: 29973577 markings, 135593565 edges, 80926 markings/sec, 365 secs
lola: 30399807 markings, 137399989 edges, 85246 markings/sec, 370 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no no unknown unknown unknown no unknown unknown unknown no yes unknown unknown
lola: memory consumption: 2315176 KB
lola: time consumption: 923 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (F (FIREABLE(t78))) U FIREABLE(t213)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(E(TRUE U FIREABLE(t78)) U FIREABLE(t213))
lola: processed formula length: 43
lola: 16 rewrites
lola: closed formula file DES-PT-01b-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: 389257 markings, 1893726 edges, 77851 markings/sec, 0 secs
lola: 734638 markings, 3843773 edges, 69076 markings/sec, 5 secs
lola: 1065639 markings, 5789062 edges, 66200 markings/sec, 10 secs
lola: 1396792 markings, 7725791 edges, 66231 markings/sec, 15 secs
lola: 1747735 markings, 9662850 edges, 70189 markings/sec, 20 secs
lola: 2062804 markings, 11593056 edges, 63014 markings/sec, 25 secs
lola: 2410647 markings, 13532982 edges, 69569 markings/sec, 30 secs
lola: 2725572 markings, 15472838 edges, 62985 markings/sec, 35 secs
lola: 3028238 markings, 17391764 edges, 60533 markings/sec, 40 secs
lola: 3323593 markings, 19294237 edges, 59071 markings/sec, 45 secs
lola: 3679133 markings, 21236750 edges, 71108 markings/sec, 50 secs
lola: 4002526 markings, 23170188 edges, 64679 markings/sec, 55 secs
lola: 4342344 markings, 25107264 edges, 67964 markings/sec, 60 secs
lola: 4652398 markings, 27033347 edges, 62011 markings/sec, 65 secs
lola: 4989485 markings, 28963699 edges, 67417 markings/sec, 70 secs
lola: 5295677 markings, 30879415 edges, 61238 markings/sec, 75 secs
lola: 5602875 markings, 32777155 edges, 61440 markings/sec, 80 secs
lola: 5951348 markings, 34714839 edges, 69695 markings/sec, 85 secs
lola: 6273084 markings, 36642289 edges, 64347 markings/sec, 90 secs
lola: 6612601 markings, 38576583 edges, 67903 markings/sec, 95 secs
lola: 6921279 markings, 40503522 edges, 61736 markings/sec, 100 secs
lola: 7259603 markings, 42430469 edges, 67665 markings/sec, 105 secs
lola: 7560694 markings, 44335190 edges, 60218 markings/sec, 110 secs
lola: 7829452 markings, 46217295 edges, 53752 markings/sec, 115 secs
lola: 8082398 markings, 48097803 edges, 50589 markings/sec, 120 secs
lola: 8340691 markings, 49976147 edges, 51659 markings/sec, 125 secs
lola: 8597572 markings, 51849043 edges, 51376 markings/sec, 130 secs
lola: 8840015 markings, 53704508 edges, 48489 markings/sec, 135 secs
lola: 9116557 markings, 55540460 edges, 55308 markings/sec, 140 secs
lola: 9484091 markings, 57420201 edges, 73507 markings/sec, 145 secs
lola: 9801416 markings, 59289652 edges, 63465 markings/sec, 150 secs
lola: 10122214 markings, 61143301 edges, 64160 markings/sec, 155 secs
lola: 10447458 markings, 63008348 edges, 65049 markings/sec, 160 secs
lola: 10773108 markings, 64876492 edges, 65130 markings/sec, 165 secs
lola: 11077205 markings, 66727800 edges, 60819 markings/sec, 170 secs
lola: 11416850 markings, 68595848 edges, 67929 markings/sec, 175 secs
lola: 11713600 markings, 70450977 edges, 59350 markings/sec, 180 secs
lola: 12003027 markings, 72291259 edges, 57885 markings/sec, 185 secs
lola: 12285381 markings, 74115300 edges, 56471 markings/sec, 190 secs
lola: 12631246 markings, 75997831 edges, 69173 markings/sec, 195 secs
lola: 12944929 markings, 77870525 edges, 62737 markings/sec, 200 secs
lola: 13272959 markings, 79748386 edges, 65606 markings/sec, 205 secs
lola: 13576578 markings, 81613720 edges, 60724 markings/sec, 210 secs
lola: 13903590 markings, 83479145 edges, 65402 markings/sec, 215 secs
lola: 14200740 markings, 85331781 edges, 59430 markings/sec, 220 secs
lola: 14477688 markings, 87159661 edges, 55390 markings/sec, 225 secs
lola: 14832117 markings, 89047875 edges, 70886 markings/sec, 230 secs
lola: 15146353 markings, 90928158 edges, 62847 markings/sec, 235 secs
lola: 15471775 markings, 92810075 edges, 65084 markings/sec, 240 secs
lola: 15783125 markings, 94688390 edges, 62270 markings/sec, 245 secs
lola: 16110521 markings, 96555434 edges, 65479 markings/sec, 250 secs
lola: 16408138 markings, 98411699 edges, 59523 markings/sec, 255 secs
lola: 16672260 markings, 100240743 edges, 52824 markings/sec, 260 secs
lola: 16933324 markings, 102070184 edges, 52213 markings/sec, 265 secs
lola: 17176997 markings, 103886055 edges, 48735 markings/sec, 270 secs
lola: 17424074 markings, 105706480 edges, 49415 markings/sec, 275 secs
lola: 17673631 markings, 107520454 edges, 49911 markings/sec, 280 secs
lola: 17891970 markings, 109302060 edges, 43668 markings/sec, 285 secs
lola: 18235503 markings, 111140207 edges, 68707 markings/sec, 290 secs
lola: 18577860 markings, 113007378 edges, 68471 markings/sec, 295 secs
lola: 18894750 markings, 114874021 edges, 63378 markings/sec, 300 secs
lola: 19210558 markings, 116721168 edges, 63162 markings/sec, 305 secs
lola: 19550609 markings, 118586843 edges, 68010 markings/sec, 310 secs
lola: 19858522 markings, 120439038 edges, 61583 markings/sec, 315 secs
lola: 20170149 markings, 122286121 edges, 62325 markings/sec, 320 secs
lola: 20496460 markings, 124146315 edges, 65262 markings/sec, 325 secs
lola: 20791681 markings, 125992773 edges, 59044 markings/sec, 330 secs
lola: 21065145 markings, 127832501 edges, 54693 markings/sec, 335 secs
lola: 21394369 markings, 129681793 edges, 65845 markings/sec, 340 secs
lola: 21716304 markings, 131557895 edges, 64387 markings/sec, 345 secs
lola: 22027214 markings, 133420179 edges, 62182 markings/sec, 350 secs
lola: 22355125 markings, 135289888 edges, 65582 markings/sec, 355 secs
lola: 22658449 markings, 137147877 edges, 60665 markings/sec, 360 secs
lola: 22979664 markings, 139008649 edges, 64243 markings/sec, 365 secs
lola: 23269437 markings, 140846990 edges, 57955 markings/sec, 370 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no no unknown unknown unknown no unknown unknown unknown no yes unknown unknown
lola: memory consumption: 1873360 KB
lola: time consumption: 1301 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (((FIREABLE(t66) OR FIREABLE(t213)) U NOT FIREABLE(t196)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A((FIREABLE(t66) OR FIREABLE(t213)) U NOT FIREABLE(t196)))))
lola: processed formula length: 78
lola: 16 rewrites
lola: closed formula file DES-PT-01b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 85 markings, 169 edges
lola:
FORMULA DES-PT-01b-CTLFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 11 will run for 453 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((E (G (NOT FIREABLE(t75))) U (E (G (FIREABLE(t221))) OR (FIREABLE(t196) AND NOT FIREABLE(t189)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(NOT(A(TRUE U FIREABLE(t75))) U (NOT(A(TRUE U NOT FIREABLE(t221))) OR (FIREABLE(t196) AND NOT FIREABLE(t189))))
lola: processed formula length: 112
lola: 19 rewrites
lola: closed formula file DES-PT-01b-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: 466359 markings, 1852214 edges, 93272 markings/sec, 0 secs
lola: 875916 markings, 3790083 edges, 81911 markings/sec, 5 secs
lola: 1303830 markings, 5719772 edges, 85583 markings/sec, 10 secs
lola: 1713074 markings, 7640446 edges, 81849 markings/sec, 15 secs
lola: 2139472 markings, 9573717 edges, 85280 markings/sec, 20 secs
lola: 2509526 markings, 11479758 edges, 74011 markings/sec, 25 secs
lola: 2946935 markings, 13402687 edges, 87482 markings/sec, 30 secs
lola: 3363899 markings, 15324987 edges, 83393 markings/sec, 35 secs
lola: 3789250 markings, 17240347 edges, 85070 markings/sec, 40 secs
lola: 4199959 markings, 19149570 edges, 82142 markings/sec, 45 secs
lola: 4623911 markings, 21057394 edges, 84790 markings/sec, 50 secs
lola: 5024409 markings, 22975240 edges, 80100 markings/sec, 55 secs
lola: 5452085 markings, 24893058 edges, 85535 markings/sec, 60 secs
lola: 5875474 markings, 26802443 edges, 84678 markings/sec, 65 secs
lola: 6219792 markings, 28677828 edges, 68864 markings/sec, 70 secs
lola: 6533303 markings, 30540081 edges, 62702 markings/sec, 75 secs
lola: 6851747 markings, 32395921 edges, 63689 markings/sec, 80 secs
lola: 7217902 markings, 34230422 edges, 73231 markings/sec, 85 secs
lola: 7632851 markings, 36088595 edges, 82990 markings/sec, 90 secs
lola: 8000045 markings, 37808674 edges, 73439 markings/sec, 95 secs
lola: 8404342 markings, 39575655 edges, 80859 markings/sec, 100 secs
lola: 8802898 markings, 41414754 edges, 79711 markings/sec, 105 secs
lola: 9203211 markings, 43256899 edges, 80063 markings/sec, 110 secs
lola: 9538313 markings, 45070878 edges, 67020 markings/sec, 115 secs
lola: 9972099 markings, 46935428 edges, 86757 markings/sec, 120 secs
lola: 10378343 markings, 48787234 edges, 81249 markings/sec, 125 secs
lola: 10786412 markings, 50633223 edges, 81614 markings/sec, 130 secs
lola: 11182145 markings, 52468019 edges, 79147 markings/sec, 135 secs
lola: 11592640 markings, 54311850 edges, 82099 markings/sec, 140 secs
lola: 11980634 markings, 56171640 edges, 77599 markings/sec, 145 secs
lola: 12395399 markings, 58034426 edges, 82953 markings/sec, 150 secs
lola: 12809596 markings, 59880739 edges, 82839 markings/sec, 155 secs
lola: 13147481 markings, 61698885 edges, 67577 markings/sec, 160 secs
lola: 13451522 markings, 63499853 edges, 60808 markings/sec, 165 secs
lola: 13765793 markings, 65299356 edges, 62854 markings/sec, 170 secs
lola: 14084906 markings, 67077209 edges, 63823 markings/sec, 175 secs
lola: 14517136 markings, 68930949 edges, 86446 markings/sec, 180 secs
lola: 14908352 markings, 70771123 edges, 78243 markings/sec, 185 secs
lola: 15330956 markings, 72613779 edges, 84521 markings/sec, 190 secs
lola: 15710216 markings, 74446754 edges, 75852 markings/sec, 195 secs
lola: 16119036 markings, 76287412 edges, 81764 markings/sec, 200 secs
lola: 16472468 markings, 78100676 edges, 70686 markings/sec, 205 secs
lola: 16889862 markings, 79941706 edges, 83479 markings/sec, 210 secs
lola: 17279691 markings, 81787886 edges, 77966 markings/sec, 215 secs
lola: 17689244 markings, 83629039 edges, 81911 markings/sec, 220 secs
lola: 18098455 markings, 85462577 edges, 81842 markings/sec, 225 secs
lola: 18486373 markings, 87292044 edges, 77584 markings/sec, 230 secs
lola: 18892484 markings, 89150380 edges, 81222 markings/sec, 235 secs
lola: 19302179 markings, 91007937 edges, 81939 markings/sec, 240 secs
lola: 19712914 markings, 92850460 edges, 82147 markings/sec, 245 secs
lola: 20069449 markings, 94665991 edges, 71307 markings/sec, 250 secs
lola: 20374425 markings, 96468250 edges, 60995 markings/sec, 255 secs
lola: 20686934 markings, 98264951 edges, 62502 markings/sec, 260 secs
lola: 20968281 markings, 100034667 edges, 56269 markings/sec, 265 secs
lola: 21287031 markings, 101947499 edges, 63750 markings/sec, 270 secs
lola: 21574648 markings, 103853985 edges, 57523 markings/sec, 275 secs
lola: 21858723 markings, 105749512 edges, 56815 markings/sec, 280 secs
lola: 22140188 markings, 107644587 edges, 56293 markings/sec, 285 secs
lola: 22434887 markings, 109550932 edges, 58940 markings/sec, 290 secs
lola: 22711925 markings, 111435663 edges, 55408 markings/sec, 295 secs
lola: 23011288 markings, 113334493 edges, 59873 markings/sec, 300 secs
lola: 23279509 markings, 115213638 edges, 53644 markings/sec, 305 secs
lola: 23526724 markings, 117064574 edges, 49443 markings/sec, 310 secs
lola: 23846980 markings, 118985444 edges, 64051 markings/sec, 315 secs
lola: 24127517 markings, 120889903 edges, 56107 markings/sec, 320 secs
lola: 24425964 markings, 122796743 edges, 59689 markings/sec, 325 secs
lola: 24706189 markings, 124687607 edges, 56045 markings/sec, 330 secs
lola: 25008746 markings, 126580681 edges, 60511 markings/sec, 335 secs
lola: 25266275 markings, 128439800 edges, 51506 markings/sec, 340 secs
lola: 25584403 markings, 130356237 edges, 63626 markings/sec, 345 secs
lola: 25866303 markings, 132267654 edges, 56380 markings/sec, 350 secs
lola: 26158249 markings, 134181724 edges, 58389 markings/sec, 355 secs
lola: 26445268 markings, 136081589 edges, 57404 markings/sec, 360 secs
lola: 26744459 markings, 137978427 edges, 59838 markings/sec, 365 secs
lola: 27009896 markings, 139842515 edges, 53087 markings/sec, 370 secs
lola: 27250649 markings, 141687607 edges, 48151 markings/sec, 375 secs
lola: 27487605 markings, 143523085 edges, 47391 markings/sec, 380 secs
lola: 27728701 markings, 145350802 edges, 48219 markings/sec, 385 secs
lola: 27945355 markings, 147153705 edges, 43331 markings/sec, 390 secs
lola: 28379969 markings, 148994535 edges, 86923 markings/sec, 395 secs
lola: 28775857 markings, 150834734 edges, 79178 markings/sec, 400 secs
lola: 29165992 markings, 152670379 edges, 78027 markings/sec, 405 secs
lola: 29573191 markings, 154507937 edges, 81440 markings/sec, 410 secs
lola: 29985294 markings, 156342126 edges, 82421 markings/sec, 415 secs
lola: 30353106 markings, 158165003 edges, 73562 markings/sec, 420 secs
lola: 30736962 markings, 159989196 edges, 76771 markings/sec, 425 secs
lola: 31137051 markings, 161836676 edges, 80018 markings/sec, 430 secs
lola: 31544576 markings, 163682273 edges, 81505 markings/sec, 435 secs
lola: 31954902 markings, 165513209 edges, 82065 markings/sec, 440 secs
lola: 32321233 markings, 167319610 edges, 73266 markings/sec, 445 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no yes no no unknown unknown unknown no unknown unknown unknown no yes unknown unknown
lola: memory consumption: 2584184 KB
lola: time consumption: 1754 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 454 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((NOT FIREABLE(t22) OR NOT FIREABLE(t83)) OR E (F (FIREABLE(t36)))) U E (G (FIREABLE(t40)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(((NOT FIREABLE(t22) OR NOT FIREABLE(t83)) OR E(TRUE U FIREABLE(t36))) U NOT(A(TRUE U NOT FIREABLE(t40))))
lola: processed formula length: 108
lola: 18 rewrites
lola: closed formula file DES-PT-01b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 873 markings, 1393 edges
FORMULA DES-PT-01b-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 605 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (((FIREABLE(t52) AND FIREABLE(t130) AND (FIREABLE(t75) OR FIREABLE(t71))) U A (F (FIREABLE(t210))))) OR E (F ((NOT FIREABLE(t9) AND NOT FIREABLE(t110) AND FIREABLE(t80)))))
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:719
lola: processed formula: (E((FIREABLE(t52) AND FIREABLE(t130) AND (FIREABLE(t75) OR FIREABLE(t71))) U A(TRUE U FIREABLE(t210))) OR E(TRUE U (NOT FIREABLE(t9) AND NOT FIREABLE(t110) AND FIREABLE(t80))))
lola: processed formula length: 177
lola: 17 rewrites
lola: closed formula file DES-PT-01b-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: 422545 markings, 1898266 edges, 84509 markings/sec, 0 secs
lola: 842081 markings, 3841979 edges, 83907 markings/sec, 5 secs
lola: 1250912 markings, 5776214 edges, 81766 markings/sec, 10 secs
lola: 1674754 markings, 7707351 edges, 84768 markings/sec, 15 secs
lola: 2104096 markings, 9641270 edges, 85868 markings/sec, 20 secs
lola: 2486817 markings, 11550730 edges, 76544 markings/sec, 25 secs
lola: 2814081 markings, 13423837 edges, 65453 markings/sec, 30 secs
lola: 3227591 markings, 15305157 edges, 82702 markings/sec, 35 secs
lola: 3629854 markings, 17180092 edges, 80453 markings/sec, 40 secs
lola: 4024039 markings, 19045653 edges, 78837 markings/sec, 45 secs
lola: 4434935 markings, 20913256 edges, 82179 markings/sec, 50 secs
lola: 4852000 markings, 22792604 edges, 83413 markings/sec, 55 secs
lola: 5228427 markings, 24645980 edges, 75285 markings/sec, 60 secs
lola: 5533293 markings, 26463987 edges, 60973 markings/sec, 65 secs
lola: 5948269 markings, 28340243 edges, 82995 markings/sec, 70 secs
lola: 6352177 markings, 30208220 edges, 80782 markings/sec, 75 secs
lola: 6743631 markings, 32070234 edges, 78291 markings/sec, 80 secs
lola: 7161056 markings, 33937109 edges, 83485 markings/sec, 85 secs
lola: 7568071 markings, 35805339 edges, 81403 markings/sec, 90 secs
lola: 7955901 markings, 37658584 edges, 77566 markings/sec, 95 secs
lola: 8262937 markings, 39476247 edges, 61407 markings/sec, 100 secs
lola: 8542762 markings, 41390127 edges, 55965 markings/sec, 105 secs
lola: 8818984 markings, 43332268 edges, 55244 markings/sec, 110 secs
lola: 9093705 markings, 45257958 edges, 54944 markings/sec, 115 secs
lola: 9358120 markings, 47166610 edges, 52883 markings/sec, 120 secs
lola: 9648464 markings, 49104556 edges, 58069 markings/sec, 125 secs
lola: 9937149 markings, 51018655 edges, 57737 markings/sec, 130 secs
lola: 10219048 markings, 52942609 edges, 56380 markings/sec, 135 secs
lola: 10510154 markings, 54874527 edges, 58221 markings/sec, 140 secs
lola: 10766543 markings, 56762001 edges, 51278 markings/sec, 145 secs
lola: 11001528 markings, 58619184 edges, 46997 markings/sec, 150 secs
lola: 11372799 markings, 60472757 edges, 74254 markings/sec, 155 secs
lola: 11773316 markings, 62343071 edges, 80103 markings/sec, 160 secs
lola: 12157470 markings, 64194668 edges, 76831 markings/sec, 165 secs
lola: 12576776 markings, 66062178 edges, 83861 markings/sec, 170 secs
lola: 12981973 markings, 67919553 edges, 81039 markings/sec, 175 secs
lola: 13395851 markings, 69785315 edges, 82776 markings/sec, 180 secs
lola: 13708052 markings, 71604634 edges, 62440 markings/sec, 185 secs
lola: 14083116 markings, 73456182 edges, 75013 markings/sec, 190 secs
lola: 14489383 markings, 75358553 edges, 81253 markings/sec, 195 secs
lola: 14881123 markings, 77243235 edges, 78348 markings/sec, 200 secs
lola: 15308767 markings, 79144730 edges, 85529 markings/sec, 205 secs
lola: 15720918 markings, 81035377 edges, 82430 markings/sec, 210 secs
lola: 16146139 markings, 82938839 edges, 85044 markings/sec, 215 secs
lola: 16465817 markings, 84796530 edges, 63936 markings/sec, 220 secs
lola: 16772760 markings, 86675341 edges, 61389 markings/sec, 225 secs
lola: 17084049 markings, 88601288 edges, 62258 markings/sec, 230 secs
lola: 17390727 markings, 90514767 edges, 61336 markings/sec, 235 secs
lola: 17688481 markings, 92414314 edges, 59551 markings/sec, 240 secs
lola: 18012780 markings, 94337313 edges, 64860 markings/sec, 245 secs
lola: 18324667 markings, 96233470 edges, 62377 markings/sec, 250 secs
lola: 18650008 markings, 98161497 edges, 65068 markings/sec, 255 secs
lola: 18961918 markings, 100064625 edges, 62382 markings/sec, 260 secs
lola: 19219428 markings, 101928927 edges, 51502 markings/sec, 265 secs
lola: 19539564 markings, 103708717 edges, 64027 markings/sec, 270 secs
lola: 19916161 markings, 105443287 edges, 75319 markings/sec, 275 secs
lola: 20280084 markings, 107162195 edges, 72785 markings/sec, 280 secs
lola: 20647827 markings, 108874611 edges, 73549 markings/sec, 285 secs
lola: 21017822 markings, 110574332 edges, 73999 markings/sec, 290 secs
lola: 21403544 markings, 112300921 edges, 77144 markings/sec, 295 secs
lola: 21758964 markings, 113997437 edges, 71084 markings/sec, 300 secs
lola: 22041044 markings, 115647761 edges, 56416 markings/sec, 305 secs
lola: 22369948 markings, 117450233 edges, 65781 markings/sec, 310 secs
lola: 22716958 markings, 119329295 edges, 69402 markings/sec, 315 secs
lola: 23053064 markings, 121191322 edges, 67221 markings/sec, 320 secs
lola: 23331239 markings, 123078635 edges, 55635 markings/sec, 325 secs
lola: 23605111 markings, 124993775 edges, 54774 markings/sec, 330 secs
lola: 23876164 markings, 126895040 edges, 54211 markings/sec, 335 secs
lola: 24140270 markings, 128774974 edges, 52821 markings/sec, 340 secs
lola: 24501944 markings, 130642422 edges, 72335 markings/sec, 345 secs
lola: 24840331 markings, 132501561 edges, 67677 markings/sec, 350 secs
lola: 25127546 markings, 134416923 edges, 57443 markings/sec, 355 secs
lola: 25414846 markings, 136316793 edges, 57460 markings/sec, 360 secs
lola: 25742515 markings, 138186516 edges, 65534 markings/sec, 365 secs
lola: 26104124 markings, 140056979 edges, 72322 markings/sec, 370 secs
lola: 26398912 markings, 141946906 edges, 58958 markings/sec, 375 secs
lola: 26687635 markings, 143861419 edges, 57745 markings/sec, 380 secs
lola: 26959502 markings, 145728825 edges, 54373 markings/sec, 385 secs
lola: 27207848 markings, 147576760 edges, 49669 markings/sec, 390 secs
lola: 27468486 markings, 149408884 edges, 52128 markings/sec, 395 secs
lola: 27758424 markings, 151279241 edges, 57988 markings/sec, 400 secs
lola: 28195965 markings, 153286978 edges, 87508 markings/sec, 405 secs
lola: 28608389 markings, 155273445 edges, 82485 markings/sec, 410 secs
lola: 29047390 markings, 157258583 edges, 87800 markings/sec, 415 secs
lola: 29477314 markings, 159226027 edges, 85985 markings/sec, 420 secs
lola: 29921889 markings, 161206603 edges, 88915 markings/sec, 425 secs
lola: 30264159 markings, 163146954 edges, 68454 markings/sec, 430 secs
lola: 30647091 markings, 165060589 edges, 76586 markings/sec, 435 secs
lola: 31059166 markings, 166986064 edges, 82415 markings/sec, 440 secs
lola: 31453031 markings, 168887826 edges, 78773 markings/sec, 445 secs
lola: 31885664 markings, 170809074 edges, 86527 markings/sec, 450 secs
lola: 32302689 markings, 172721927 edges, 83405 markings/sec, 455 secs
lola: 32729465 markings, 174635716 edges, 85355 markings/sec, 460 secs
lola: 33051247 markings, 176509947 edges, 64356 markings/sec, 465 secs
lola: 33434755 markings, 178395391 edges, 76702 markings/sec, 470 secs
lola: 33845361 markings, 180311469 edges, 82121 markings/sec, 475 secs
lola: 34238916 markings, 182207047 edges, 78711 markings/sec, 480 secs
lola: 34668567 markings, 184119220 edges, 85930 markings/sec, 485 secs
lola: 35084865 markings, 186025645 edges, 83260 markings/sec, 490 secs
lola: 35505542 markings, 187931464 edges, 84135 markings/sec, 495 secs
lola: 35826286 markings, 189802006 edges, 64149 markings/sec, 500 secs
lola: 36114430 markings, 191735299 edges, 57629 markings/sec, 505 secs
lola: 36398294 markings, 193717035 edges, 56773 markings/sec, 510 secs
lola: 36679149 markings, 195687687 edges, 56171 markings/sec, 515 secs
lola: 36947775 markings, 197639701 edges, 53725 markings/sec, 520 secs
lola: 37244504 markings, 199619067 edges, 59346 markings/sec, 525 secs
lola: 37541342 markings, 201582923 edges, 59368 markings/sec, 530 secs
lola: 37829054 markings, 203553430 edges, 57542 markings/sec, 535 secs
lola: 38126555 markings, 205526423 edges, 59500 markings/sec, 540 secs
lola: 38390371 markings, 207460755 edges, 52763 markings/sec, 545 secs
lola: 38631266 markings, 209366458 edges, 48179 markings/sec, 550 secs
lola: 39017153 markings, 211265765 edges, 77177 markings/sec, 555 secs
lola: 39423628 markings, 213170772 edges, 81295 markings/sec, 560 secs
lola: 39817914 markings, 215063879 edges, 78857 markings/sec, 565 secs
lola: 40245520 markings, 216967010 edges, 85521 markings/sec, 570 secs
lola: 40657801 markings, 218869192 edges, 82456 markings/sec, 575 secs
lola: 41066845 markings, 220763084 edges, 81809 markings/sec, 580 secs
lola: 41386074 markings, 222622752 edges, 63846 markings/sec, 585 secs
lola: 41790532 markings, 224538624 edges, 80892 markings/sec, 590 secs
lola: 42204479 markings, 226474288 edges, 82789 markings/sec, 595 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no yes no no unknown unknown unknown no unknown unknown unknown no yes unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no yes no no unknown unknown unknown no unknown unknown unknown no yes unknown unknown
lola: memory consumption: 3385504 KB
lola: time consumption: 2359 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 605 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (((NOT FIREABLE(t130) AND NOT FIREABLE(t27)) U E (G (FIREABLE(t111))))) AND (FIREABLE(t45) OR (A (G ((FIREABLE(t36) AND FIREABLE(t189)))) OR A ((NOT FIREABLE(t35) U FIREABLE(t47))))))
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:737
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: (E((NOT FIREABLE(t130) AND NOT FIREABLE(t27)) U NOT(A(TRUE U NOT FIREABLE(t111)))) AND (FIREABLE(t45) OR (NOT(E(TRUE U (NOT FIREABLE(t36) OR NOT FIREABLE(t189)))) OR A(NOT FIREABLE(t35) U FIREABLE(t47)))))
lola: processed formula length: 206
lola: 20 rewrites
lola: closed formula file DES-PT-01b-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 4 significant temporal operators and needs 17 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 429918 markings, 1803497 edges, 85984 markings/sec, 0 secs
lola: 857670 markings, 3709119 edges, 85550 markings/sec, 5 secs
lola: 1238087 markings, 5595476 edges, 76083 markings/sec, 10 secs
lola: 1659385 markings, 7498688 edges, 84260 markings/sec, 15 secs
lola: 2048290 markings, 9385222 edges, 77781 markings/sec, 20 secs
lola: 2411259 markings, 11254853 edges, 72594 markings/sec, 25 secs
lola: 2791376 markings, 13126571 edges, 76023 markings/sec, 30 secs
lola: 3153748 markings, 14867695 edges, 72474 markings/sec, 35 secs
lola: 3535889 markings, 16731548 edges, 76428 markings/sec, 40 secs
lola: 3877696 markings, 18563351 edges, 68361 markings/sec, 45 secs
lola: 4267494 markings, 20434408 edges, 77960 markings/sec, 50 secs
lola: 4622038 markings, 22291348 edges, 70909 markings/sec, 55 secs
lola: 4927772 markings, 24029425 edges, 61147 markings/sec, 60 secs
lola: 5278970 markings, 25935633 edges, 70240 markings/sec, 65 secs
lola: 5558335 markings, 27667258 edges, 55873 markings/sec, 70 secs
lola: 5866293 markings, 29414650 edges, 61592 markings/sec, 75 secs
lola: 6221537 markings, 31315706 edges, 71049 markings/sec, 80 secs
lola: 6563705 markings, 33204533 edges, 68434 markings/sec, 85 secs
lola: 6867521 markings, 35087283 edges, 60763 markings/sec, 90 secs
lola: 7217520 markings, 36963013 edges, 70000 markings/sec, 95 secs
lola: 7549856 markings, 38791245 edges, 66467 markings/sec, 100 secs
lola: 7881437 markings, 40628383 edges, 66316 markings/sec, 105 secs
lola: 8149329 markings, 42313651 edges, 53578 markings/sec, 110 secs
lola: 8422522 markings, 44150104 edges, 54639 markings/sec, 115 secs
lola: 8682523 markings, 45974909 edges, 52000 markings/sec, 120 secs
lola: 8942704 markings, 47827356 edges, 52036 markings/sec, 125 secs
lola: 9217525 markings, 49658482 edges, 54964 markings/sec, 130 secs
lola: 9591103 markings, 51512248 edges, 74716 markings/sec, 135 secs
lola: 9916942 markings, 53359843 edges, 65168 markings/sec, 140 secs
lola: 10259538 markings, 55212664 edges, 68519 markings/sec, 145 secs
lola: 10571130 markings, 57049880 edges, 62318 markings/sec, 150 secs
lola: 10868670 markings, 58877643 edges, 59508 markings/sec, 155 secs
lola: 11225908 markings, 60743988 edges, 71448 markings/sec, 160 secs
lola: 11558113 markings, 62599271 edges, 66441 markings/sec, 165 secs
lola: 11878523 markings, 64444668 edges, 64082 markings/sec, 170 secs
lola: 12191816 markings, 66288133 edges, 62659 markings/sec, 175 secs
lola: 12540056 markings, 68145771 edges, 69648 markings/sec, 180 secs
lola: 12877849 markings, 69989857 edges, 67559 markings/sec, 185 secs
lola: 13154557 markings, 71625541 edges, 55342 markings/sec, 190 secs
lola: 13418518 markings, 73443359 edges, 52792 markings/sec, 195 secs
lola: 13683583 markings, 75254693 edges, 53013 markings/sec, 200 secs
lola: 13939465 markings, 77051835 edges, 51176 markings/sec, 205 secs
lola: 14152931 markings, 78822222 edges, 42693 markings/sec, 210 secs
lola: 14524100 markings, 80639001 edges, 74234 markings/sec, 215 secs
lola: 14831979 markings, 82293405 edges, 61576 markings/sec, 220 secs
lola: 15160352 markings, 84122248 edges, 65675 markings/sec, 225 secs
lola: 15492699 markings, 85955412 edges, 66469 markings/sec, 230 secs
lola: 15773518 markings, 87759206 edges, 56164 markings/sec, 235 secs
lola: 16117712 markings, 89591702 edges, 68839 markings/sec, 240 secs
lola: 16452739 markings, 91436149 edges, 67005 markings/sec, 245 secs
lola: 16784758 markings, 93274248 edges, 66404 markings/sec, 250 secs
lola: 17071002 markings, 95095054 edges, 57249 markings/sec, 255 secs
lola: 17427601 markings, 96939244 edges, 71320 markings/sec, 260 secs
lola: 17758435 markings, 98787776 edges, 66167 markings/sec, 265 secs
lola: 18092574 markings, 100625217 edges, 66828 markings/sec, 270 secs
lola: 18369575 markings, 102441776 edges, 55400 markings/sec, 275 secs
lola: 18644978 markings, 104260811 edges, 55081 markings/sec, 280 secs
lola: 18899497 markings, 106056267 edges, 50904 markings/sec, 285 secs
lola: 19142730 markings, 107844270 edges, 48647 markings/sec, 290 secs
lola: 19381709 markings, 109652002 edges, 47796 markings/sec, 295 secs
lola: 19647087 markings, 111530143 edges, 53076 markings/sec, 300 secs
lola: 19878434 markings, 113288429 edges, 46269 markings/sec, 305 secs
lola: 20114291 markings, 115146260 edges, 47171 markings/sec, 310 secs
lola: 20360587 markings, 117014242 edges, 49259 markings/sec, 315 secs
lola: 20594076 markings, 118863650 edges, 46698 markings/sec, 320 secs
lola: 20811605 markings, 120691482 edges, 43506 markings/sec, 325 secs
lola: 21042987 markings, 122519723 edges, 46276 markings/sec, 330 secs
lola: 21306509 markings, 124402459 edges, 52704 markings/sec, 335 secs
lola: 21541803 markings, 126266724 edges, 47059 markings/sec, 340 secs
lola: 21787892 markings, 128131782 edges, 49218 markings/sec, 345 secs
lola: 22019010 markings, 129973353 edges, 46224 markings/sec, 350 secs
lola: 22230461 markings, 131802978 edges, 42290 markings/sec, 355 secs
lola: 22498697 markings, 133682833 edges, 53647 markings/sec, 360 secs
lola: 22743703 markings, 135566487 edges, 49001 markings/sec, 365 secs
lola: 22983365 markings, 137426903 edges, 47932 markings/sec, 370 secs
lola: 23221763 markings, 139276938 edges, 47680 markings/sec, 375 secs
lola: 23432570 markings, 141104013 edges, 42161 markings/sec, 380 secs
lola: 23642430 markings, 142921058 edges, 41972 markings/sec, 385 secs
lola: 23847032 markings, 144737543 edges, 40920 markings/sec, 390 secs
lola: 24047400 markings, 146534399 edges, 40074 markings/sec, 395 secs
lola: 24233080 markings, 148312734 edges, 37136 markings/sec, 400 secs
lola: 24476016 markings, 150079726 edges, 48587 markings/sec, 405 secs
lola: 24845941 markings, 151910525 edges, 73985 markings/sec, 410 secs
lola: 25167258 markings, 153732615 edges, 64263 markings/sec, 415 secs
lola: 25505326 markings, 155556995 edges, 67614 markings/sec, 420 secs
lola: 25812879 markings, 157360337 edges, 61511 markings/sec, 425 secs
lola: 26096519 markings, 159146748 edges, 56728 markings/sec, 430 secs
lola: 26454225 markings, 160987406 edges, 71541 markings/sec, 435 secs
lola: 26776997 markings, 162812767 edges, 64554 markings/sec, 440 secs
lola: 27100437 markings, 164626731 edges, 64688 markings/sec, 445 secs
lola: 27395330 markings, 166432151 edges, 58979 markings/sec, 450 secs
lola: 27749095 markings, 168276098 edges, 70753 markings/sec, 455 secs
lola: 28075213 markings, 170103839 edges, 65224 markings/sec, 460 secs
lola: 28393070 markings, 171914725 edges, 63571 markings/sec, 465 secs
lola: 28654083 markings, 173708711 edges, 52203 markings/sec, 470 secs
lola: 28916476 markings, 175493829 edges, 52479 markings/sec, 475 secs
lola: 29169101 markings, 177263084 edges, 50525 markings/sec, 480 secs
lola: 29385176 markings, 179002302 edges, 43215 markings/sec, 485 secs
lola: 29732796 markings, 180811975 edges, 69524 markings/sec, 490 secs
lola: 30083922 markings, 182677321 edges, 70225 markings/sec, 495 secs
lola: 30415014 markings, 184524256 edges, 66218 markings/sec, 500 secs
lola: 30752843 markings, 186386434 edges, 67566 markings/sec, 505 secs
lola: 31036616 markings, 188212134 edges, 56755 markings/sec, 510 secs
lola: 31385564 markings, 190060789 edges, 69790 markings/sec, 515 secs
lola: 31723318 markings, 191927356 edges, 67551 markings/sec, 520 secs
lola: 32060778 markings, 193791103 edges, 67492 markings/sec, 525 secs
lola: 32344660 markings, 195625027 edges, 56776 markings/sec, 530 secs
lola: 32712096 markings, 197495398 edges, 73487 markings/sec, 535 secs
lola: 33043395 markings, 199363064 edges, 66260 markings/sec, 540 secs
lola: 33381060 markings, 201224231 edges, 67533 markings/sec, 545 secs
lola: 33657538 markings, 203058564 edges, 55296 markings/sec, 550 secs
lola: 33934299 markings, 204894649 edges, 55352 markings/sec, 555 secs
lola: 34193775 markings, 206714185 edges, 51895 markings/sec, 560 secs
lola: 34429072 markings, 208508612 edges, 47059 markings/sec, 565 secs
lola: 34692091 markings, 210316383 edges, 52604 markings/sec, 570 secs
lola: 34984099 markings, 212183685 edges, 58402 markings/sec, 575 secs
lola: 35247282 markings, 214042401 edges, 52637 markings/sec, 580 secs
lola: 35507797 markings, 215888116 edges, 52103 markings/sec, 585 secs
lola: 35774356 markings, 217751533 edges, 53312 markings/sec, 590 secs
lola: 36022971 markings, 219585288 edges, 49723 markings/sec, 595 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no yes no no unknown unknown unknown no unknown unknown unknown no yes unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no yes no no unknown unknown unknown no unknown unknown unknown no yes unknown unknown
lola: memory consumption: 2906540 KB
lola: time consumption: 2965 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 605 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((A (G ((FIREABLE(t202) AND FIREABLE(t191)))) OR ((FIREABLE(t217) AND FIREABLE(t122) AND (FIREABLE(t142) OR FIREABLE(t122))) AND E (G (FIREABLE(t71))))) AND (NOT FIREABLE(t120) AND NOT FIREABLE(t63))) OR A (G (E (F (FIREABLE(t54))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 605 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t217) AND FIREABLE(t122) AND (FIREABLE(t142) OR FIREABLE(t122)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t217) AND FIREABLE(t122) AND (FIREABLE(t142) OR FIREABLE(t122)))
lola: processed formula length: 75
lola: 14 rewrites
lola: closed formula file DES-PT-01b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t202) AND FIREABLE(t191))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((FIREABLE(t202) AND FIREABLE(t191))))
lola: processed formula length: 43
lola: 16 rewrites
lola: closed formula file DES-PT-01b-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:694
lola: formula 0: (NOT FIREABLE(t202) OR NOT FIREABLE(t191))
lola: state equation: Generated DNF with 4 literals and 4 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: state equation: write sara problem file to DES-PT-01b-CTLFireability-17-0.sara
lola: ========================================lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: state equation: calling and running sara
lola: ========================================
lola: ...considering subproblem: A (G (E (F (FIREABLE(t54)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: FIREABLE(t54)
lola: processed formula length: 13
lola: 15 rewrites
lola: closed formula file DES-PT-01b-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
sara: try reading problem file DES-PT-01b-CTLFireability-17-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: tscc_search
lola: The predicate is not live.
lola: 70 markings, 69 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
FORMULA DES-PT-01b-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G ((E (X (NOT FIREABLE(t186))) OR A (G (NOT FIREABLE(t199))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: processed formula: NOT(E(TRUE U (NOT(EX(NOT FIREABLE(t186))) AND E(TRUE U FIREABLE(t199)))))
lola: processed formula length: 73
lola: 20 rewrites
lola: closed formula file DES-PT-01b-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).
sara: place or transition ordering is non-deterministic
lola: 342714 markings, 1797181 edges, 68543 markings/sec, 0 secs
lola: 662495 markings, 3738178 edges, 63956 markings/sec, 5 secs
lola: 966057 markings, 5678966 edges, 60712 markings/sec, 10 secs
lola: 1267689 markings, 7595922 edges, 60326 markings/sec, 15 secs
lola: 1589363 markings, 9526779 edges, 64335 markings/sec, 20 secs
lola: 1882740 markings, 11456693 edges, 58675 markings/sec, 25 secs
lola: 2169974 markings, 13370772 edges, 57447 markings/sec, 30 secs
lola: 2499644 markings, 15284791 edges, 65934 markings/sec, 35 secs
lola: 2786197 markings, 17196139 edges, 57311 markings/sec, 40 secs
lola: 3054361 markings, 19098164 edges, 53633 markings/sec, 45 secs
lola: 3298022 markings, 20984801 edges, 48732 markings/sec, 50 secs
lola: 3627975 markings, 22909159 edges, 65991 markings/sec, 55 secs
lola: 3921003 markings, 24830865 edges, 58606 markings/sec, 60 secs
lola: 4219316 markings, 26742742 edges, 59663 markings/sec, 65 secs
lola: 4517083 markings, 28659949 edges, 59553 markings/sec, 70 secs
lola: 4814933 markings, 30558509 edges, 59570 markings/sec, 75 secs
lola: 5108365 markings, 32462258 edges, 58686 markings/sec, 80 secs
lola: 5366085 markings, 34345023 edges, 51544 markings/sec, 85 secs
lola: 5640676 markings, 36233767 edges, 54918 markings/sec, 90 secs
lola: 5955872 markings, 38153932 edges, 63039 markings/sec, 95 secs
lola: 6247814 markings, 40064996 edges, 58388 markings/sec, 100 secs
lola: 6555759 markings, 41978879 edges, 61589 markings/sec, 105 secs
lola: 6842675 markings, 43888893 edges, 57383 markings/sec, 110 secs
lola: 7148307 markings, 45791173 edges, 61126 markings/sec, 115 secs
lola: 7429741 markings, 47680346 edges, 56287 markings/sec, 120 secs
lola: 7669871 markings, 49557105 edges, 48026 markings/sec, 125 secs
lola: 7899105 markings, 51439409 edges, 45847 markings/sec, 130 secs
lola: 8110107 markings, 53312491 edges, 42200 markings/sec, 135 secs
lola: 8328533 markings, 55188775 edges, 43685 markings/sec, 140 secs
lola: 8532276 markings, 57051290 edges, 40749 markings/sec, 145 secs
lola: 8747514 markings, 58915682 edges, 43048 markings/sec, 150 secs
lola: 8930820 markings, 60753442 edges, 36661 markings/sec, 155 secs
lola: 9188060 markings, 62588458 edges, 51448 markings/sec, 160 secs
lola: 9522858 markings, 64460457 edges, 66960 markings/sec, 165 secs
lola: 9815201 markings, 66317503 edges, 58469 markings/sec, 170 secs
lola: 10090425 markings, 68087312 edges, 55045 markings/sec, 175 secs
lola: 10376001 markings, 69944496 edges, 57115 markings/sec, 180 secs
lola: 10696276 markings, 71808152 edges, 64055 markings/sec, 185 secs
lola: 10974128 markings, 73662875 edges, 55570 markings/sec, 190 secs
lola: 11264393 markings, 75508628 edges, 58053 markings/sec, 195 secs
lola: 11567894 markings, 77353765 edges, 60700 markings/sec, 200 secs
lola: 11842405 markings, 79185804 edges, 54902 markings/sec, 205 secs
lola: 12091819 markings, 81012751 edges, 49883 markings/sec, 210 secs
lola: 12340034 markings, 82840138 edges, 49643 markings/sec, 215 secs
lola: 12656822 markings, 84713378 edges, 63358 markings/sec, 220 secs
lola: 12941612 markings, 86578705 edges, 56958 markings/sec, 225 secs
lola: 13232001 markings, 88436851 edges, 58078 markings/sec, 230 secs
lola: 13520871 markings, 90298167 edges, 57774 markings/sec, 235 secs
lola: 13808184 markings, 92139676 edges, 57463 markings/sec, 240 secs
lola: 14093043 markings, 93987144 edges, 56972 markings/sec, 245 secs
lola: 14350501 markings, 95813400 edges, 51492 markings/sec, 250 secs
lola: 14602481 markings, 97643058 edges, 50396 markings/sec, 255 secs
lola: 14917949 markings, 99518656 edges, 63094 markings/sec, 260 secs
lola: 15203190 markings, 101388643 edges, 57048 markings/sec, 265 secs
lola: 15496412 markings, 103254127 edges, 58644 markings/sec, 270 secs
lola: 15785521 markings, 105125629 edges, 57822 markings/sec, 275 secs
lola: 16075532 markings, 106974266 edges, 58002 markings/sec, 280 secs
lola: 16359989 markings, 108820495 edges, 56891 markings/sec, 285 secs
lola: 16612909 markings, 110647228 edges, 50584 markings/sec, 290 secs
lola: 16828940 markings, 112472916 edges, 43206 markings/sec, 295 secs
lola: 17041601 markings, 114309165 edges, 42532 markings/sec, 300 secs
lola: 17248839 markings, 116130280 edges, 41448 markings/sec, 305 secs
lola: 17456506 markings, 117955938 edges, 41533 markings/sec, 310 secs
lola: 17666323 markings, 119769422 edges, 41963 markings/sec, 315 secs
lola: 17860931 markings, 121565395 edges, 38922 markings/sec, 320 secs
lola: 18021847 markings, 123349473 edges, 32183 markings/sec, 325 secs
lola: 18375478 markings, 125213355 edges, 70726 markings/sec, 330 secs
lola: 18678970 markings, 127074302 edges, 60698 markings/sec, 335 secs
lola: 18970591 markings, 128938362 edges, 58324 markings/sec, 340 secs
lola: 19258939 markings, 130781504 edges, 57670 markings/sec, 345 secs
lola: 19567839 markings, 132640716 edges, 61780 markings/sec, 350 secs
lola: 19857482 markings, 134496142 edges, 57929 markings/sec, 355 secs
lola: 20122309 markings, 136261062 edges, 52965 markings/sec, 360 secs
lola: 20433307 markings, 138104381 edges, 62200 markings/sec, 365 secs
lola: 20710442 markings, 139940981 edges, 55427 markings/sec, 370 secs
lola: 20982606 markings, 141758703 edges, 54433 markings/sec, 375 secs
lola: 21201564 markings, 143574084 edges, 43792 markings/sec, 380 secs
lola: 21512628 markings, 145429034 edges, 62213 markings/sec, 385 secs
lola: 21804130 markings, 147294494 edges, 58300 markings/sec, 390 secs
lola: 22087953 markings, 149146273 edges, 56765 markings/sec, 395 secs
lola: 22388777 markings, 151001671 edges, 60165 markings/sec, 400 secs
lola: 22660948 markings, 152847775 edges, 54434 markings/sec, 405 secs
lola: 22959921 markings, 154685021 edges, 59795 markings/sec, 410 secs
lola: 23229409 markings, 156512557 edges, 53898 markings/sec, 415 secs
lola: 23454774 markings, 158331541 edges, 45073 markings/sec, 420 secs
lola: 23767047 markings, 160190395 edges, 62455 markings/sec, 425 secs
lola: 24058665 markings, 162059313 edges, 58324 markings/sec, 430 secs
lola: 24343815 markings, 163916654 edges, 57030 markings/sec, 435 secs
lola: 24645666 markings, 165781568 edges, 60370 markings/sec, 440 secs
lola: 24919353 markings, 167638173 edges, 54737 markings/sec, 445 secs
lola: 25219121 markings, 169478856 edges, 59954 markings/sec, 450 secs
lola: 25489375 markings, 171307202 edges, 54051 markings/sec, 455 secs
lola: 25712490 markings, 173127906 edges, 44623 markings/sec, 460 secs
lola: 25936226 markings, 174960932 edges, 44747 markings/sec, 465 secs
lola: 26140539 markings, 176781858 edges, 40863 markings/sec, 470 secs
lola: 26352744 markings, 178605284 edges, 42441 markings/sec, 475 secs
lola: 26551953 markings, 180415343 edges, 39842 markings/sec, 480 secs
lola: 26759798 markings, 182224045 edges, 41569 markings/sec, 485 secs
lola: 26938769 markings, 184009538 edges, 35794 markings/sec, 490 secs
lola: 27129411 markings, 185847341 edges, 38128 markings/sec, 495 secs
lola: 27359376 markings, 187775542 edges, 45993 markings/sec, 500 secs
lola: 27575425 markings, 189693330 edges, 43210 markings/sec, 505 secs
lola: 27778747 markings, 191600584 edges, 40664 markings/sec, 510 secs
lola: 27981674 markings, 193510390 edges, 40585 markings/sec, 515 secs
lola: 28182390 markings, 195394608 edges, 40143 markings/sec, 520 secs
lola: 28379222 markings, 197293380 edges, 39366 markings/sec, 525 secs
lola: 28602426 markings, 199206825 edges, 44641 markings/sec, 530 secs
lola: 28804034 markings, 201107870 edges, 40322 markings/sec, 535 secs
lola: 28999835 markings, 203000447 edges, 39160 markings/sec, 540 secs
lola: 29194137 markings, 204888243 edges, 38860 markings/sec, 545 secs
lola: 29413880 markings, 206782828 edges, 43949 markings/sec, 550 secs
lola: 29613472 markings, 208667475 edges, 39918 markings/sec, 555 secs
lola: 29807370 markings, 210541374 edges, 38780 markings/sec, 560 secs
lola: 29997944 markings, 212408738 edges, 38115 markings/sec, 565 secs
lola: 30161812 markings, 214265935 edges, 32774 markings/sec, 570 secs
lola: 30350857 markings, 216135270 edges, 37809 markings/sec, 575 secs
lola: 30573110 markings, 218065018 edges, 44451 markings/sec, 580 secs
lola: 30773932 markings, 219971674 edges, 40164 markings/sec, 585 secs
lola: 30972780 markings, 221872810 edges, 39770 markings/sec, 590 secs
lola: 31159791 markings, 223685654 edges, 37402 markings/sec, 595 secs
lola: 31373555 markings, 225570997 edges, 42753 markings/sec, 600 secs
lola: time limit reached - aborting
lola:
preliminary result: no no yes no no unknown unknown unknown no unknown unknown unknown no yes no unknown
lola:
preliminary result: no no yes no no unknown unknown unknown no unknown unknown unknown no yes no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes no no unknown unknown unknown no unknown unknown unknown no yes no unknown
lola: memory consumption: 3798732 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes no no unknown unknown unknown no unknown unknown unknown no yes no unknown
lola: memory consumption: 3799020 KB
lola: time consumption: 3570 seconds
BK_STOP 1526574665835
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-01b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-01b.tgz
mv DES-PT-01b execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DES-PT-01b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-smll-152646380000179"
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 ;