About the Execution of LoLA for DLCround-PT-10b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8618.390 | 3600000.00 | 3631701.00 | 8173.60 | ????TF??F?TFFFF? | 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 1.7M
-rw-r--r-- 1 mcc users 3.4K 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.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.5M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-10b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735200109
=====================================================================
--------------------
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 DLCround-PT-10b-CTLFireability-00
FORMULA_NAME DLCround-PT-10b-CTLFireability-01
FORMULA_NAME DLCround-PT-10b-CTLFireability-02
FORMULA_NAME DLCround-PT-10b-CTLFireability-03
FORMULA_NAME DLCround-PT-10b-CTLFireability-04
FORMULA_NAME DLCround-PT-10b-CTLFireability-05
FORMULA_NAME DLCround-PT-10b-CTLFireability-06
FORMULA_NAME DLCround-PT-10b-CTLFireability-07
FORMULA_NAME DLCround-PT-10b-CTLFireability-08
FORMULA_NAME DLCround-PT-10b-CTLFireability-09
FORMULA_NAME DLCround-PT-10b-CTLFireability-10
FORMULA_NAME DLCround-PT-10b-CTLFireability-11
FORMULA_NAME DLCround-PT-10b-CTLFireability-12
FORMULA_NAME DLCround-PT-10b-CTLFireability-13
FORMULA_NAME DLCround-PT-10b-CTLFireability-14
FORMULA_NAME DLCround-PT-10b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526649964393
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-10b 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 DLCround-PT-10b formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DLCround-PT-10b @ 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: 10116/65536 symbol table entries, 2628 collisions
lola: preprocessing...
lola: Size of bit vector: 3924
lola: finding significant places
lola: 3924 places, 6192 transitions, 3711 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 8844 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-10b-CTLFireability.task
lola: E (((E (G (FIREABLE(t5700))) OR NOT FIREABLE(t4446)) U E ((FIREABLE(t5501) U FIREABLE(t3793))))) : A (G (E (F ((FIREABLE(t4351) OR FIREABLE(t4776) OR NOT FIREABLE(t1467)))))) : (E (G ((E (X (FIREABLE(t6049))) AND (NOT FIREABLE(t1189) AND NOT FIREABLE(t3479))))) OR A (X (E (F ((FIREABLE(t1997) AND FIREABLE(t2089))))))) : E ((((NOT FIREABLE(t946) AND NOT FIREABLE(t3332)) OR FIREABLE(t810)) U A (X (FIREABLE(t298))))) : NOT(A ((NOT FIREABLE(t3347) U (NOT FIREABLE(t1960) AND FIREABLE(t4535))))) : A (F (A (G (((FIREABLE(t1725) OR FIREABLE(t5807)) AND FIREABLE(t3550)))))) : (NOT(A (F (A (G (FIREABLE(t4267)))))) OR E ((FIREABLE(t76) U (FIREABLE(t2390) AND FIREABLE(t4152) AND FIREABLE(t5096))))) : A (G (E ((NOT FIREABLE(t796) U FIREABLE(t5784))))) : A (G (A (G ((FIREABLE(t1417) OR FIREABLE(t2484) OR NOT FIREABLE(t5418)))))) : A (G (E ((FIREABLE(t3522) U NOT FIREABLE(t1135))))) : NOT(A (F ((A (F (FIREABLE(t3249))) OR FIREABLE(t748))))) : A (F (FIREABLE(t382))) : (A (G (FIREABLE(t3876))) OR A ((FIREABLE(t326) U A (F (FIREABLE(t573)))))) : (FIREABLE(t5180) OR ((FIREABLE(t3576) AND NOT(E (F (FIREABLE(t4824))))) OR NOT(E (F (FIREABLE(t4598)))))) : A (F (A (F ((FIREABLE(t3323) AND FIREABLE(t5741) AND NOT FIREABLE(t894)))))) : (A ((FIREABLE(t5860) U FIREABLE(t1705))) OR NOT(E ((NOT FIREABLE(t4609) U (FIREABLE(t1744) AND FIREABLE(t1144))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:389
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:470
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:392
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((E (X (FIREABLE(t6049))) AND (NOT FIREABLE(t1189) AND NOT FIREABLE(t3479))))) OR A (X (E (F ((FIREABLE(t1997) AND FIREABLE(t2089)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (F ((FIREABLE(t1997) AND FIREABLE(t2089))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(E(TRUE U (FIREABLE(t1997) AND FIREABLE(t2089))))
lola: processed formula length: 51
lola: 31 rewrites
lola: closed formula file DLCround-PT-10b-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: 124646 markings, 134675 edges, 24929 markings/sec, 0 secs
lola: 252732 markings, 275358 edges, 25617 markings/sec, 5 secs
lola: 379631 markings, 415460 edges, 25380 markings/sec, 10 secs
lola: 504420 markings, 554609 edges, 24958 markings/sec, 15 secs
lola: 633207 markings, 695260 edges, 25757 markings/sec, 20 secs
lola: 761374 markings, 835945 edges, 25633 markings/sec, 25 secs
lola: 886644 markings, 975082 edges, 25054 markings/sec, 30 secs
lola: 1013261 markings, 1115588 edges, 25323 markings/sec, 35 secs
lola: 1140083 markings, 1255914 edges, 25364 markings/sec, 40 secs
lola: 1268605 markings, 1397139 edges, 25704 markings/sec, 45 secs
lola: 1393255 markings, 1536924 edges, 24930 markings/sec, 50 secs
lola: 1519548 markings, 1677477 edges, 25259 markings/sec, 55 secs
lola: 1642908 markings, 1815750 edges, 24672 markings/sec, 60 secs
lola: 1761038 markings, 1947029 edges, 23626 markings/sec, 65 secs
lola: 1888274 markings, 2087142 edges, 25447 markings/sec, 70 secs
lola: 2016758 markings, 2227028 edges, 25697 markings/sec, 75 secs
lola: 2144853 markings, 2367352 edges, 25619 markings/sec, 80 secs
lola: 2271557 markings, 2507280 edges, 25341 markings/sec, 85 secs
lola: 2398711 markings, 2647924 edges, 25431 markings/sec, 90 secs
lola: 2522643 markings, 2786284 edges, 24786 markings/sec, 95 secs
lola: 2651031 markings, 2926031 edges, 25678 markings/sec, 100 secs
lola: 2776788 markings, 3064339 edges, 25151 markings/sec, 105 secs
lola: 2903249 markings, 3202643 edges, 25292 markings/sec, 110 secs
lola: 3029076 markings, 3341041 edges, 25165 markings/sec, 115 secs
lola: 3153431 markings, 3479286 edges, 24871 markings/sec, 120 secs
lola: 3276909 markings, 3616883 edges, 24696 markings/sec, 125 secs
lola: 3400935 markings, 3755340 edges, 24805 markings/sec, 130 secs
lola: 3527599 markings, 3894591 edges, 25333 markings/sec, 135 secs
lola: 3653920 markings, 4034211 edges, 25264 markings/sec, 140 secs
lola: 3780248 markings, 4173104 edges, 25266 markings/sec, 145 secs
lola: 3908160 markings, 4312723 edges, 25582 markings/sec, 150 secs
lola: 4027913 markings, 4443645 edges, 23951 markings/sec, 155 secs
lola: 4151110 markings, 4581900 edges, 24639 markings/sec, 160 secs
lola: 4273331 markings, 4719563 edges, 24444 markings/sec, 165 secs
lola: 4395425 markings, 4859471 edges, 24419 markings/sec, 170 secs
lola: 4523421 markings, 4999018 edges, 25599 markings/sec, 175 secs
lola: 4651118 markings, 5138997 edges, 25539 markings/sec, 180 secs
lola: 4776107 markings, 5278809 edges, 24998 markings/sec, 185 secs
lola: 4899901 markings, 5417677 edges, 24759 markings/sec, 190 secs
lola: 5024401 markings, 5556592 edges, 24900 markings/sec, 195 secs
lola: 5150787 markings, 5696156 edges, 25277 markings/sec, 200 secs
lola: 5278002 markings, 5835946 edges, 25443 markings/sec, 205 secs
lola: 5405093 markings, 5976110 edges, 25418 markings/sec, 210 secs
lola: 5531093 markings, 6115878 edges, 25200 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2063148 KB
lola: time consumption: 224 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2063148 KB
lola: time consumption: 224 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((NOT FIREABLE(t946) AND NOT FIREABLE(t3332)) OR FIREABLE(t810)) U A (X (FIREABLE(t298)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(((NOT FIREABLE(t946) AND NOT FIREABLE(t3332)) OR FIREABLE(t810)) U AX(FIREABLE(t298)))
lola: processed formula length: 89
lola: 31 rewrites
lola: closed formula file DLCround-PT-10b-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: 100517 markings, 125681 edges, 20103 markings/sec, 0 secs
lola: 195368 markings, 251778 edges, 18970 markings/sec, 5 secs
lola: 291033 markings, 378592 edges, 19133 markings/sec, 10 secs
lola: 391927 markings, 504481 edges, 20179 markings/sec, 15 secs
lola: 494905 markings, 631171 edges, 20596 markings/sec, 20 secs
lola: 593773 markings, 757423 edges, 19774 markings/sec, 25 secs
lola: 690863 markings, 885613 edges, 19418 markings/sec, 30 secs
lola: 788108 markings, 1012494 edges, 19449 markings/sec, 35 secs
lola: 886453 markings, 1139341 edges, 19669 markings/sec, 40 secs
lola: 986492 markings, 1264847 edges, 20008 markings/sec, 45 secs
lola: 1084185 markings, 1391382 edges, 19539 markings/sec, 50 secs
lola: 1181999 markings, 1517594 edges, 19563 markings/sec, 55 secs
lola: 1278929 markings, 1644392 edges, 19386 markings/sec, 60 secs
lola: 1377296 markings, 1771552 edges, 19673 markings/sec, 65 secs
lola: 1476596 markings, 1898117 edges, 19860 markings/sec, 70 secs
lola: 1574098 markings, 2024991 edges, 19500 markings/sec, 75 secs
lola: 1672642 markings, 2151313 edges, 19709 markings/sec, 80 secs
lola: 1767370 markings, 2278705 edges, 18946 markings/sec, 85 secs
lola: 1849463 markings, 2409189 edges, 16419 markings/sec, 90 secs
lola: 1945545 markings, 2534965 edges, 19216 markings/sec, 95 secs
lola: 2039086 markings, 2660113 edges, 18708 markings/sec, 100 secs
lola: 2133716 markings, 2785896 edges, 18926 markings/sec, 105 secs
lola: 2228889 markings, 2910746 edges, 19035 markings/sec, 110 secs
lola: 2325367 markings, 3036149 edges, 19296 markings/sec, 115 secs
lola: 2424244 markings, 3161873 edges, 19775 markings/sec, 120 secs
lola: 2523801 markings, 3286893 edges, 19911 markings/sec, 125 secs
lola: 2621078 markings, 3412675 edges, 19455 markings/sec, 130 secs
lola: 2719657 markings, 3537514 edges, 19716 markings/sec, 135 secs
lola: 2818881 markings, 3661916 edges, 19845 markings/sec, 140 secs
lola: 2914979 markings, 3786791 edges, 19220 markings/sec, 145 secs
lola: 3011369 markings, 3911457 edges, 19278 markings/sec, 150 secs
lola: 3107954 markings, 4036148 edges, 19317 markings/sec, 155 secs
lola: 3205669 markings, 4160583 edges, 19543 markings/sec, 160 secs
lola: 3303615 markings, 4283470 edges, 19589 markings/sec, 165 secs
lola: 3400656 markings, 4406719 edges, 19408 markings/sec, 170 secs
lola: 3496749 markings, 4531007 edges, 19219 markings/sec, 175 secs
lola: 3592403 markings, 4655223 edges, 19131 markings/sec, 180 secs
lola: 3688376 markings, 4778439 edges, 19195 markings/sec, 185 secs
lola: 3783939 markings, 4902920 edges, 19113 markings/sec, 190 secs
lola: 3879044 markings, 5028557 edges, 19021 markings/sec, 195 secs
lola: 3974838 markings, 5153208 edges, 19159 markings/sec, 200 secs
lola: 4071134 markings, 5278603 edges, 19259 markings/sec, 205 secs
lola: 4165336 markings, 5404403 edges, 18840 markings/sec, 210 secs
lola: 4259095 markings, 5529366 edges, 18752 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1915196 KB
lola: time consumption: 447 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t1417) OR FIREABLE(t2484) OR NOT FIREABLE(t5418))))
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(t1417) OR FIREABLE(t2484) OR NOT FIREABLE(t5418))))
lola: processed formula length: 69
lola: 31 rewrites
lola: closed formula file DLCround-PT-10b-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(t1417) AND NOT FIREABLE(t2484) AND FIREABLE(t5418))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-10b-CTLFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-10b-CTLFireability-2-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 147 markings, 146 edges
lola: ========================================
FORMULA DLCround-PT-10b-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t382)))
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(t382)
lola: processed formula length: 18
lola: 31 rewrites
lola: closed formula file DLCround-PT-10b-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: 349 markings, 349 edges
lola: ========================================
FORMULA DLCround-PT-10b-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((FIREABLE(t4351) OR FIREABLE(t4776) OR NOT FIREABLE(t1467))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: (FIREABLE(t4351) OR FIREABLE(t4776) OR NOT FIREABLE(t1467))
lola: processed formula length: 61
lola: 30 rewrites
lola: closed formula file DLCround-PT-10b-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: 113149 markings, 141509 edges, 22630 markings/sec, 0 secs
lola: 220121 markings, 282860 edges, 21394 markings/sec, 5 secs
lola: 327786 markings, 424870 edges, 21533 markings/sec, 10 secs
lola: 443206 markings, 566966 edges, 23084 markings/sec, 15 secs
lola: 555990 markings, 708906 edges, 22557 markings/sec, 20 secs
lola: 664924 markings, 850444 edges, 21787 markings/sec, 25 secs
lola: 772707 markings, 991101 edges, 21557 markings/sec, 30 secs
lola: 880583 markings, 1131909 edges, 21575 markings/sec, 35 secs
lola: 992500 markings, 1272371 edges, 22383 markings/sec, 40 secs
lola: 1101315 markings, 1412997 edges, 21763 markings/sec, 45 secs
lola: 1209371 markings, 1553149 edges, 21611 markings/sec, 50 secs
lola: 1315268 markings, 1693235 edges, 21179 markings/sec, 55 secs
lola: 1427128 markings, 1834439 edges, 22372 markings/sec, 60 secs
lola: 1537507 markings, 1975309 edges, 22076 markings/sec, 65 secs
lola: 1645016 markings, 2116259 edges, 21502 markings/sec, 70 secs
lola: 1754972 markings, 2256271 edges, 21991 markings/sec, 75 secs
lola: 1842759 markings, 2400148 edges, 17557 markings/sec, 80 secs
lola: 1949551 markings, 2540631 edges, 21358 markings/sec, 85 secs
lola: 2053133 markings, 2680246 edges, 20716 markings/sec, 90 secs
lola: 2160310 markings, 2820786 edges, 21435 markings/sec, 95 secs
lola: 2267049 markings, 2960856 edges, 21348 markings/sec, 100 secs
lola: 2377084 markings, 3101256 edges, 22007 markings/sec, 105 secs
lola: 2487933 markings, 3241781 edges, 22170 markings/sec, 110 secs
lola: 2597660 markings, 3382035 edges, 21945 markings/sec, 115 secs
lola: 2705845 markings, 3520485 edges, 21637 markings/sec, 120 secs
lola: 2817504 markings, 3660024 edges, 22332 markings/sec, 125 secs
lola: 2925324 markings, 3800049 edges, 21564 markings/sec, 130 secs
lola: 3033301 markings, 3939277 edges, 21595 markings/sec, 135 secs
lola: 3141720 markings, 4078783 edges, 21684 markings/sec, 140 secs
lola: 3250137 markings, 4216530 edges, 21683 markings/sec, 145 secs
lola: 3359196 markings, 4354524 edges, 21812 markings/sec, 150 secs
lola: 3467316 markings, 4492730 edges, 21624 markings/sec, 155 secs
lola: 3573772 markings, 4631533 edges, 21291 markings/sec, 160 secs
lola: 3682189 markings, 4770082 edges, 21683 markings/sec, 165 secs
lola: 3788549 markings, 4908990 edges, 21272 markings/sec, 170 secs
lola: 3893800 markings, 5047996 edges, 21050 markings/sec, 175 secs
lola: 3999563 markings, 5185913 edges, 21153 markings/sec, 180 secs
lola: 4107502 markings, 5325539 edges, 21588 markings/sec, 185 secs
lola: 4210696 markings, 5463949 edges, 20639 markings/sec, 190 secs
lola: 4313120 markings, 5602115 edges, 20485 markings/sec, 195 secs
lola: 4422140 markings, 5741935 edges, 21804 markings/sec, 200 secs
lola: 4530499 markings, 5878273 edges, 21672 markings/sec, 205 secs
lola: 4638948 markings, 6014367 edges, 21690 markings/sec, 210 secs
lola: 4745696 markings, 6151191 edges, 21350 markings/sec, 215 secs
lola: 4850881 markings, 6289154 edges, 21037 markings/sec, 220 secs
lola: 4958454 markings, 6427360 edges, 21515 markings/sec, 225 secs
lola: 5066398 markings, 6566696 edges, 21589 markings/sec, 230 secs
lola: 5171874 markings, 6704559 edges, 21095 markings/sec, 235 secs
lola: 5274423 markings, 6842399 edges, 20510 markings/sec, 240 secs
lola: 5378819 markings, 6979987 edges, 20879 markings/sec, 245 secs
lola: 5483718 markings, 7118503 edges, 20980 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown no unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown no unknown unknown unknown unknown
lola: memory consumption: 1626124 KB
lola: time consumption: 707 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t3323) AND FIREABLE(t5741) AND NOT FIREABLE(t894))))
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(t3323) OR NOT FIREABLE(t5741) OR FIREABLE(t894))
lola: processed formula length: 64
lola: 31 rewrites
lola: closed formula file DLCround-PT-10b-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: 1029 markings, 1029 edges
lola: ========================================
FORMULA DLCround-PT-10b-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 286 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((E (G (NOT FIREABLE(t3249))) AND NOT FIREABLE(t748))))
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:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: NOT(A(TRUE U (A(TRUE U FIREABLE(t3249)) OR FIREABLE(t748))))
lola: processed formula length: 60
lola: 35 rewrites
lola: closed formula file DLCround-PT-10b-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: 1998 markings, 4134 edges
lola: ========================================
FORMULA DLCround-PT-10b-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E ((NOT FIREABLE(t796) U FIREABLE(t5784)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: processed formula: NOT(E(TRUE U NOT(E(NOT FIREABLE(t796) U FIREABLE(t5784)))))
lola: processed formula length: 59
lola: 31 rewrites
lola: closed formula file DLCround-PT-10b-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: 129683 markings, 140113 edges, 25937 markings/sec, 0 secs
lola: 256893 markings, 280063 edges, 25442 markings/sec, 5 secs
lola: 383394 markings, 419548 edges, 25300 markings/sec, 10 secs
lola: 507550 markings, 558157 edges, 24831 markings/sec, 15 secs
lola: 636077 markings, 698371 edges, 25705 markings/sec, 20 secs
lola: 763773 markings, 838529 edges, 25539 markings/sec, 25 secs
lola: 889342 markings, 978014 edges, 25114 markings/sec, 30 secs
lola: 1015309 markings, 1117796 edges, 25193 markings/sec, 35 secs
lola: 1141501 markings, 1257440 edges, 25238 markings/sec, 40 secs
lola: 1269099 markings, 1397705 edges, 25520 markings/sec, 45 secs
lola: 1393363 markings, 1537046 edges, 24853 markings/sec, 50 secs
lola: 1518958 markings, 1676756 edges, 25119 markings/sec, 55 secs
lola: 1642864 markings, 1815705 edges, 24781 markings/sec, 60 secs
lola: 1768204 markings, 1954942 edges, 25068 markings/sec, 65 secs
lola: 1895219 markings, 2094640 edges, 25403 markings/sec, 70 secs
lola: 2023550 markings, 2234389 edges, 25666 markings/sec, 75 secs
lola: 2150728 markings, 2373686 edges, 25436 markings/sec, 80 secs
lola: 2277149 markings, 2513337 edges, 25284 markings/sec, 85 secs
lola: 2402835 markings, 2652518 edges, 25137 markings/sec, 90 secs
lola: 2527637 markings, 2791664 edges, 24960 markings/sec, 95 secs
lola: 2656463 markings, 2931947 edges, 25765 markings/sec, 100 secs
lola: 2783307 markings, 3071473 edges, 25369 markings/sec, 105 secs
lola: 2910842 markings, 3210840 edges, 25507 markings/sec, 110 secs
lola: 3036569 markings, 3349716 edges, 25145 markings/sec, 115 secs
lola: 3162069 markings, 3488904 edges, 25100 markings/sec, 120 secs
lola: 3286745 markings, 3627734 edges, 24935 markings/sec, 125 secs
lola: 3411599 markings, 3766885 edges, 24971 markings/sec, 130 secs
lola: 3538697 markings, 3906830 edges, 25420 markings/sec, 135 secs
lola: 3664943 markings, 4046169 edges, 25249 markings/sec, 140 secs
lola: 3791618 markings, 4185596 edges, 25335 markings/sec, 145 secs
lola: 3920091 markings, 4325868 edges, 25695 markings/sec, 150 secs
lola: 4047504 markings, 4465516 edges, 25483 markings/sec, 155 secs
lola: 4170589 markings, 4604017 edges, 24617 markings/sec, 160 secs
lola: 4293554 markings, 4742296 edges, 24593 markings/sec, 165 secs
lola: 4416334 markings, 4882144 edges, 24556 markings/sec, 170 secs
lola: 4543493 markings, 5021172 edges, 25432 markings/sec, 175 secs
lola: 4670182 markings, 5160697 edges, 25338 markings/sec, 180 secs
lola: 4795935 markings, 5300791 edges, 25151 markings/sec, 185 secs
lola: 4925510 markings, 5441503 edges, 25915 markings/sec, 190 secs
lola: 5052571 markings, 5581478 edges, 25412 markings/sec, 195 secs
lola: 5178846 markings, 5721123 edges, 25255 markings/sec, 200 secs
lola: 5303972 markings, 5860548 edges, 25025 markings/sec, 205 secs
lola: 5427214 markings, 5999303 edges, 24648 markings/sec, 210 secs
lola: 5552715 markings, 6138690 edges, 25100 markings/sec, 215 secs
lola: 5680136 markings, 6278731 edges, 25484 markings/sec, 220 secs
lola: 5808134 markings, 6418609 edges, 25600 markings/sec, 225 secs
lola: 5935634 markings, 6558089 edges, 25500 markings/sec, 230 secs
lola: 6061491 markings, 6696813 edges, 25171 markings/sec, 235 secs
lola: 6188307 markings, 6835711 edges, 25363 markings/sec, 240 secs
lola: 6313051 markings, 6974893 edges, 24949 markings/sec, 245 secs
lola: 6438586 markings, 7114322 edges, 25107 markings/sec, 250 secs
lola: 6564889 markings, 7253439 edges, 25261 markings/sec, 255 secs
lola: 6693319 markings, 7393207 edges, 25686 markings/sec, 260 secs
lola: 6819386 markings, 7532314 edges, 25213 markings/sec, 265 secs
lola: 6943675 markings, 7670342 edges, 24858 markings/sec, 270 secs
lola: 7071039 markings, 7809495 edges, 25473 markings/sec, 275 secs
lola: 7197459 markings, 7948778 edges, 25284 markings/sec, 280 secs
lola: 7322873 markings, 8088048 edges, 25083 markings/sec, 285 secs
lola: 7448638 markings, 8227455 edges, 25153 markings/sec, 290 secs
lola: 7574495 markings, 8366694 edges, 25171 markings/sec, 295 secs
lola: 7701832 markings, 8506633 edges, 25467 markings/sec, 300 secs
lola: 7830249 markings, 8646327 edges, 25683 markings/sec, 305 secs
lola: 7953118 markings, 8784564 edges, 24574 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown no unknown yes no unknown unknown no unknown
lola: memory consumption: 2940592 KB
lola: time consumption: 1026 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E ((FIREABLE(t3522) U NOT FIREABLE(t1135)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: processed formula: NOT(E(TRUE U NOT(E(FIREABLE(t3522) U NOT FIREABLE(t1135)))))
lola: processed formula length: 60
lola: 31 rewrites
lola: closed formula file DLCround-PT-10b-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: 67482 markings, 140377 edges, 13496 markings/sec, 0 secs
lola: 139305 markings, 289851 edges, 14365 markings/sec, 5 secs
lola: 210720 markings, 439439 edges, 14283 markings/sec, 10 secs
lola: 281860 markings, 589535 edges, 14228 markings/sec, 15 secs
lola: 352750 markings, 738436 edges, 14178 markings/sec, 20 secs
lola: 423236 markings, 887003 edges, 14097 markings/sec, 25 secs
lola: 492712 markings, 1034304 edges, 13895 markings/sec, 30 secs
lola: 564612 markings, 1184365 edges, 14380 markings/sec, 35 secs
lola: 626737 markings, 1315028 edges, 12425 markings/sec, 40 secs
lola: 697448 markings, 1464329 edges, 14142 markings/sec, 45 secs
lola: 769592 markings, 1614502 edges, 14429 markings/sec, 50 secs
lola: 840413 markings, 1763670 edges, 14164 markings/sec, 55 secs
lola: 910854 markings, 1912462 edges, 14088 markings/sec, 60 secs
lola: 981487 markings, 2061406 edges, 14127 markings/sec, 65 secs
lola: 1052450 markings, 2210872 edges, 14193 markings/sec, 70 secs
lola: 1122429 markings, 2359155 edges, 13996 markings/sec, 75 secs
lola: 1193430 markings, 2508622 edges, 14200 markings/sec, 80 secs
lola: 1265343 markings, 2658801 edges, 14383 markings/sec, 85 secs
lola: 1334893 markings, 2807181 edges, 13910 markings/sec, 90 secs
lola: 1405672 markings, 2956356 edges, 14156 markings/sec, 95 secs
lola: 1476305 markings, 3105646 edges, 14127 markings/sec, 100 secs
lola: 1546742 markings, 3254473 edges, 14087 markings/sec, 105 secs
lola: 1616884 markings, 3403126 edges, 14028 markings/sec, 110 secs
lola: 1686958 markings, 3551749 edges, 14015 markings/sec, 115 secs
lola: 1757492 markings, 3700473 edges, 14107 markings/sec, 120 secs
lola: 1827615 markings, 3848958 edges, 14025 markings/sec, 125 secs
lola: 1899523 markings, 3998810 edges, 14382 markings/sec, 130 secs
lola: 1971350 markings, 4148292 edges, 14365 markings/sec, 135 secs
lola: 2042146 markings, 4296822 edges, 14159 markings/sec, 140 secs
lola: 2113104 markings, 4445792 edges, 14192 markings/sec, 145 secs
lola: 2183840 markings, 4594273 edges, 14147 markings/sec, 150 secs
lola: 2254699 markings, 4743573 edges, 14172 markings/sec, 155 secs
lola: 2325703 markings, 4892730 edges, 14201 markings/sec, 160 secs
lola: 2396092 markings, 5041139 edges, 14078 markings/sec, 165 secs
lola: 2465923 markings, 5189241 edges, 13966 markings/sec, 170 secs
lola: 2536844 markings, 5338448 edges, 14184 markings/sec, 175 secs
lola: 2608986 markings, 5488592 edges, 14428 markings/sec, 180 secs
lola: 2679975 markings, 5637513 edges, 14198 markings/sec, 185 secs
lola: 2751030 markings, 5786719 edges, 14211 markings/sec, 190 secs
lola: 2821290 markings, 5934971 edges, 14052 markings/sec, 195 secs
lola: 2892916 markings, 6084333 edges, 14325 markings/sec, 200 secs
lola: 2963302 markings, 6232380 edges, 14077 markings/sec, 205 secs
lola: 3034101 markings, 6380977 edges, 14160 markings/sec, 210 secs
lola: 3103630 markings, 6527940 edges, 13906 markings/sec, 215 secs
lola: 3173730 markings, 6675560 edges, 14020 markings/sec, 220 secs
lola: 3243343 markings, 6823020 edges, 13923 markings/sec, 225 secs
lola: 3312926 markings, 6969723 edges, 13917 markings/sec, 230 secs
lola: 3381889 markings, 7116200 edges, 13793 markings/sec, 235 secs
lola: 3452192 markings, 7263537 edges, 14061 markings/sec, 240 secs
lola: 3522992 markings, 7412571 edges, 14160 markings/sec, 245 secs
lola: 3593631 markings, 7561183 edges, 14128 markings/sec, 250 secs
lola: 3663459 markings, 7708030 edges, 13966 markings/sec, 255 secs
lola: 3733908 markings, 7856087 edges, 14090 markings/sec, 260 secs
lola: 3804717 markings, 8004424 edges, 14162 markings/sec, 265 secs
lola: 3876654 markings, 8154807 edges, 14387 markings/sec, 270 secs
lola: 3948324 markings, 8304680 edges, 14334 markings/sec, 275 secs
lola: 4019865 markings, 8454388 edges, 14308 markings/sec, 280 secs
lola: 4089940 markings, 8603299 edges, 14015 markings/sec, 285 secs
lola: 4159850 markings, 8751632 edges, 13982 markings/sec, 290 secs
lola: 4229501 markings, 8899463 edges, 13930 markings/sec, 295 secs
lola: 4299385 markings, 9048210 edges, 13977 markings/sec, 300 secs
lola: 4367874 markings, 9197500 edges, 13698 markings/sec, 305 secs
lola: 4440078 markings, 9347823 edges, 14441 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown no unknown yes no unknown unknown no unknown
lola: memory consumption: 1660404 KB
lola: time consumption: 1344 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((E (G (FIREABLE(t5700))) OR NOT FIREABLE(t4446)) U E ((FIREABLE(t5501) U FIREABLE(t3793)))))
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:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E((NOT(A(TRUE U NOT FIREABLE(t5700))) OR NOT FIREABLE(t4446)) U E(FIREABLE(t5501) U FIREABLE(t3793)))
lola: processed formula length: 101
lola: 33 rewrites
lola: closed formula file DLCround-PT-10b-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: 49502 markings, 152521 edges, 9900 markings/sec, 0 secs
lola: 98762 markings, 304161 edges, 9852 markings/sec, 5 secs
lola: 147857 markings, 455659 edges, 9819 markings/sec, 10 secs
lola: 196666 markings, 606951 edges, 9762 markings/sec, 15 secs
lola: 245938 markings, 759597 edges, 9854 markings/sec, 20 secs
lola: 295142 markings, 912474 edges, 9841 markings/sec, 25 secs
lola: 343849 markings, 1063713 edges, 9741 markings/sec, 30 secs
lola: 392665 markings, 1215280 edges, 9763 markings/sec, 35 secs
lola: 440933 markings, 1365622 edges, 9654 markings/sec, 40 secs
lola: 489022 markings, 1515986 edges, 9618 markings/sec, 45 secs
lola: 538068 markings, 1667817 edges, 9809 markings/sec, 50 secs
lola: 587375 markings, 1819843 edges, 9861 markings/sec, 55 secs
lola: 636253 markings, 1971649 edges, 9776 markings/sec, 60 secs
lola: 684795 markings, 2122934 edges, 9708 markings/sec, 65 secs
lola: 734077 markings, 2275185 edges, 9856 markings/sec, 70 secs
lola: 783283 markings, 2427438 edges, 9841 markings/sec, 75 secs
lola: 832066 markings, 2579027 edges, 9757 markings/sec, 80 secs
lola: 881251 markings, 2732318 edges, 9837 markings/sec, 85 secs
lola: 930584 markings, 2885447 edges, 9867 markings/sec, 90 secs
lola: 979809 markings, 3038594 edges, 9845 markings/sec, 95 secs
lola: 1029229 markings, 3192272 edges, 9884 markings/sec, 100 secs
lola: 1078315 markings, 3345238 edges, 9817 markings/sec, 105 secs
lola: 1127462 markings, 3498198 edges, 9829 markings/sec, 110 secs
lola: 1177005 markings, 3651791 edges, 9909 markings/sec, 115 secs
lola: 1226651 markings, 3805911 edges, 9929 markings/sec, 120 secs
lola: 1276440 markings, 3959858 edges, 9958 markings/sec, 125 secs
lola: 1325315 markings, 4112796 edges, 9775 markings/sec, 130 secs
lola: 1374165 markings, 4265430 edges, 9770 markings/sec, 135 secs
lola: 1423552 markings, 4419175 edges, 9877 markings/sec, 140 secs
lola: 1472821 markings, 4572500 edges, 9854 markings/sec, 145 secs
lola: 1521809 markings, 4725016 edges, 9798 markings/sec, 150 secs
lola: 1570850 markings, 4878133 edges, 9808 markings/sec, 155 secs
lola: 1619864 markings, 5030893 edges, 9803 markings/sec, 160 secs
lola: 1668558 markings, 5183336 edges, 9739 markings/sec, 165 secs
lola: 1717911 markings, 5336873 edges, 9871 markings/sec, 170 secs
lola: 1767081 markings, 5489580 edges, 9834 markings/sec, 175 secs
lola: 1816104 markings, 5642437 edges, 9805 markings/sec, 180 secs
lola: 1865700 markings, 5795915 edges, 9919 markings/sec, 185 secs
lola: 1915688 markings, 5949812 edges, 9998 markings/sec, 190 secs
lola: 1965514 markings, 6103379 edges, 9965 markings/sec, 195 secs
lola: 2014815 markings, 6256264 edges, 9860 markings/sec, 200 secs
lola: 2061721 markings, 6401257 edges, 9381 markings/sec, 205 secs
lola: 2110667 markings, 6553083 edges, 9789 markings/sec, 210 secs
lola: 2159566 markings, 6704266 edges, 9780 markings/sec, 215 secs
lola: 2207818 markings, 6854875 edges, 9650 markings/sec, 220 secs
lola: 2256556 markings, 7005909 edges, 9748 markings/sec, 225 secs
lola: 2301732 markings, 7145874 edges, 9035 markings/sec, 230 secs
lola: 2350432 markings, 7297346 edges, 9740 markings/sec, 235 secs
lola: 2399122 markings, 7448687 edges, 9738 markings/sec, 240 secs
lola: 2447156 markings, 7598612 edges, 9607 markings/sec, 245 secs
lola: 2495196 markings, 7748958 edges, 9608 markings/sec, 250 secs
lola: 2539322 markings, 7885079 edges, 8825 markings/sec, 255 secs
lola: 2589126 markings, 8038576 edges, 9961 markings/sec, 260 secs
lola: 2638601 markings, 8191576 edges, 9895 markings/sec, 265 secs
lola: 2687863 markings, 8343926 edges, 9852 markings/sec, 270 secs
lola: 2737189 markings, 8496753 edges, 9865 markings/sec, 275 secs
lola: 2785790 markings, 8648188 edges, 9720 markings/sec, 280 secs
lola: 2834248 markings, 8798815 edges, 9692 markings/sec, 285 secs
lola: 2883362 markings, 8950096 edges, 9823 markings/sec, 290 secs
lola: 2932257 markings, 9101226 edges, 9779 markings/sec, 295 secs
lola: 2980913 markings, 9252431 edges, 9731 markings/sec, 300 secs
lola: 3029457 markings, 9402698 edges, 9709 markings/sec, 305 secs
lola: 3077895 markings, 9553846 edges, 9688 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown no unknown yes no unknown unknown no unknown
lola: memory consumption: 1180096 KB
lola: time consumption: 1662 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t3347) R (FIREABLE(t1960) OR NOT FIREABLE(t4535))))
lola: ========================================
lola: SUBTASK
lola: checking existential release
lola: rewrite Frontend/Parser/formula_rewrite.k:646
lola: rewrite Frontend/Parser/formula_rewrite.k:610
lola: processed formula: E ((FIREABLE(t3347) R (FIREABLE(t1960) OR NOT FIREABLE(t4535))))
lola: processed formula length: 65
lola: 31 rewrites
lola: closed formula file DLCround-PT-10b-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: yes
lola: produced by: state space /ER
lola: There is a path where Predicate Phi releases Predicate Psi.
lola: 1030 markings, 1030 edges
lola: ========================================
FORMULA DLCround-PT-10b-CTLFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 381 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(t3876))) OR A (F (FIREABLE(t573))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 381 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t573)))
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(t573)
lola: processed formula length: 18
lola: 31 rewrites
lola: closed formula file DLCround-PT-10b-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: 1028 markings, 1028 edges
lola: ========================================
lola: subprocess 12 will run for 477 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t3876)))
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(t3876)))
lola: processed formula length: 23
lola: 31 rewrites
lola: closed formula file DLCround-PT-10b-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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: NOT FIREABLE(t3876)
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: state equation: write sara problem file to DLCround-PT-10b-CTLFireability-12-0.sara
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCround-PT-10b-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 477 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G (((FIREABLE(t1725) OR FIREABLE(t5807)) AND FIREABLE(t3550))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:665
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: ((NOT FIREABLE(t1725) AND NOT FIREABLE(t5807)) OR NOT FIREABLE(t3550))
lola: processed formula length: 71
lola: 31 rewrites
lola: closed formula file DLCround-PT-10b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 1037 markings, 1037 edges
FORMULA DLCround-PT-10b-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 636 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t5180) OR ((FIREABLE(t3576) AND A (G (NOT FIREABLE(t4824)))) OR A (G (NOT FIREABLE(t4598)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 636 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t3576)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t3576)
lola: processed formula length: 15
lola: 29 rewrites
lola: closed formula file DLCround-PT-10b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 954 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t5180)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t5180)
lola: processed formula length: 15
lola: 29 rewrites
lola: closed formula file DLCround-PT-10b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 1908 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t4598)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G (NOT FIREABLE(t4598)))
lola: processed formula length: 27
lola: 31 rewrites
lola: closed formula file DLCround-PT-10b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: FIREABLE(t4598)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-10b-CTLFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-10b-CTLFireability-15-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 2264 markings, 2562 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCround-PT-10b-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 953 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((FIREABLE(t5860) U FIREABLE(t1705))) OR A ((FIREABLE(t4609) R (NOT FIREABLE(t1744) OR NOT FIREABLE(t1144)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 953 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t5860) U FIREABLE(t1705)))
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(t5860) U FIREABLE(t1705)))
lola: processed formula length: 39
lola: 33 rewrites
lola: closed formula file DLCround-PT-10b-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 15 will run for 1907 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t4609) R (NOT FIREABLE(t1744) OR NOT FIREABLE(t1144))))
lola: ========================================
lola: SUBTASK
lola: checking universal release
lola: rewrite Frontend/Parser/formula_rewrite.k:607
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: rewrite Frontend/Parser/formula_rewrite.k:647
lola: rewrite Frontend/Parser/formula_rewrite.k:607
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A ((FIREABLE(t4609) R (NOT FIREABLE(t1744) OR NOT FIREABLE(t1144))))
lola: processed formula length: 69
lola: 35 rewrites
lola: closed formula file DLCround-PT-10b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: (FIREABLE(t1744) AND FIREABLE(t1144))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-10b-CTLFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-10b-CTLFireability-15-0.sara.
lola: sara is running 0 secs || 106893 markings, 133683 edges, 21379 markings/sec, 0 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 5 secs || 209902 markings, 270104 edges, 20602 markings/sec, 5 secs
lola: state equation 0: solution produced
lola: sara is running 10 secs || 312838 markings, 405870 edges, 20587 markings/sec, 10 secs
lola: sara is running 15 secs || 422047 markings, 541176 edges, 21842 markings/sec, 15 secs
lola: sara is running 20 secs || 530878 markings, 676849 edges, 21766 markings/sec, 20 secs
lola: sara is running 25 secs || 635663 markings, 812314 edges, 20957 markings/sec, 25 secs
lola: sara is running 30 secs || 739280 markings, 946757 edges, 20723 markings/sec, 30 secs
lola: sara is running 35 secs || 841328 markings, 1081495 edges, 20410 markings/sec, 35 secs
lola: sara is running 40 secs || 947136 markings, 1215287 edges, 21162 markings/sec, 40 secs
lola: sara is running 45 secs || 1051910 markings, 1348292 edges, 20955 markings/sec, 45 secs
lola: sara is running 50 secs || 1154578 markings, 1482374 edges, 20534 markings/sec, 50 secs
lola: sara is running 55 secs || 1257543 markings, 1615801 edges, 20593 markings/sec, 55 secs
lola: sara is running 60 secs || 1360676 markings, 1750362 edges, 20627 markings/sec, 60 secs
lola: sara is running 65 secs || 1466021 markings, 1885223 edges, 21069 markings/sec, 65 secs
lola: sara is running 70 secs || 1570812 markings, 2019456 edges, 20958 markings/sec, 70 secs
lola: sara is running 75 secs || 1674829 markings, 2154116 edges, 20803 markings/sec, 75 secs
lola: sara is running 80 secs || 1772589 markings, 2289907 edges, 19552 markings/sec, 80 secs
lola: sara is running 85 secs || 1862677 markings, 2426306 edges, 18018 markings/sec, 85 secs
lola: sara is running 90 secs || 1964403 markings, 2560644 edges, 20345 markings/sec, 90 secs
lola: sara is running 95 secs || 2063868 markings, 2694483 edges, 19893 markings/sec, 95 secs
lola: sara is running 100 secs || 2165913 markings, 2828338 edges, 20409 markings/sec, 100 secs
lola: sara is running 105 secs || 2267544 markings, 2961485 edges, 20326 markings/sec, 105 secs
lola: sara is running 110 secs || 2372987 markings, 3095899 edges, 21089 markings/sec, 110 secs
lola: sara is running 115 secs || 2478264 markings, 3229988 edges, 21055 markings/sec, 115 secs
lola: sara is running 120 secs || 2583879 markings, 3364171 edges, 21123 markings/sec, 120 secs
lola: sara is running 125 secs || 2688342 markings, 3498273 edges, 20893 markings/sec, 125 secs
lola: sara is running 130 secs || 2794816 markings, 3631332 edges, 21295 markings/sec, 130 secs
lola: sara is running 135 secs || 2897515 markings, 3765087 edges, 20540 markings/sec, 135 secs
lola: sara is running 140 secs || 3000575 markings, 3897885 edges, 20612 markings/sec, 140 secs
lola: sara is running 145 secs || 3103931 markings, 4030866 edges, 20671 markings/sec, 145 secs
lola: sara is running 150 secs || 3207762 markings, 4163309 edges, 20766 markings/sec, 150 secs
lola: sara is running 155 secs || 3312266 markings, 4294343 edges, 20901 markings/sec, 155 secs
lola: sara is running 160 secs || 3416398 markings, 4426996 edges, 20826 markings/sec, 160 secs
lola: sara is running 165 secs || 3518980 markings, 4560328 edges, 20516 markings/sec, 165 secs
lola: sara is running 170 secs || 3622494 markings, 4694049 edges, 20703 markings/sec, 170 secs
lola: sara is running 175 secs || 3724858 markings, 4825538 edges, 20473 markings/sec, 175 secs
lola: sara is running 180 secs || 3825456 markings, 4958083 edges, 20120 markings/sec, 180 secs
lola: sara is running 185 secs || 3927588 markings, 5090597 edges, 20426 markings/sec, 185 secs
lola: sara is running 190 secs || 4027419 markings, 5222461 edges, 19966 markings/sec, 190 secs
lola: sara is running 195 secs || 4129212 markings, 5355972 edges, 20359 markings/sec, 195 secs
lola: sara is running 200 secs || 4228031 markings, 5487906 edges, 19764 markings/sec, 200 secs
lola: sara is running 205 secs || 4326889 markings, 5620058 edges, 19772 markings/sec, 205 secs
lola: sara is running 210 secs || 4430183 markings, 5752873 edges, 20659 markings/sec, 210 secs
lola: sara is running 215 secs || 4533545 markings, 5882154 edges, 20672 markings/sec, 215 secs
lola: sara is running 220 secs || 4636506 markings, 6011358 edges, 20592 markings/sec, 220 secs
lola: sara is running 225 secs || 4737553 markings, 6140830 edges, 20209 markings/sec, 225 secs
lola: sara is running 230 secs || 4837963 markings, 6272391 edges, 20082 markings/sec, 230 secs
lola: sara is running 235 secs || 4940771 markings, 6403703 edges, 20562 markings/sec, 235 secs
lola: sara is running 240 secs || 5042540 markings, 6535755 edges, 20354 markings/sec, 240 secs
lola: sara is running 245 secs || 5143477 markings, 6666766 edges, 20187 markings/sec, 245 secs
lola: sara is running 250 secs || 5235168 markings, 6788369 edges, 18338 markings/sec, 250 secs
lola: sara is running 255 secs || 5325372 markings, 6909918 edges, 18041 markings/sec, 255 secs
lola: sara is running 260 secs || 5424685 markings, 7040287 edges, 19863 markings/sec, 260 secs
lola: sara is running 265 secs || 5512667 markings, 7157245 edges, 17596 markings/sec, 265 secs
lola: sara is running 270 secs || 5611852 markings, 7289771 edges, 19837 markings/sec, 270 secs
lola: sara is running 275 secs || 5705489 markings, 7416327 edges, 18727 markings/sec, 275 secs
lola: sara is running 280 secs || 5804252 markings, 7548551 edges, 19753 markings/sec, 280 secs
lola: sara is running 285 secs || 5907157 markings, 7678888 edges, 20581 markings/sec, 285 secs
lola: sara is running 290 secs || 6009993 markings, 7808597 edges, 20567 markings/sec, 290 secs
lola: sara is running 295 secs || 6110047 markings, 7939369 edges, 20011 markings/sec, 295 secs
lola: sara is running 300 secs || 6210918 markings, 8069767 edges, 20174 markings/sec, 300 secs
lola: sara is running 305 secs || 6310194 markings, 8200584 edges, 19855 markings/sec, 305 secs
lola: sara is running 310 secs || 6410915 markings, 8331150 edges, 20144 markings/sec, 310 secs
lola: sara is running 315 secs || 6513905 markings, 8460359 edges, 20598 markings/sec, 315 secs
lola: sara is running 320 secs || 6616001 markings, 8590059 edges, 20419 markings/sec, 320 secs
lola: sara is running 325 secs || 6716093 markings, 8720743 edges, 20018 markings/sec, 325 secs
lola: sara is running 330 secs || 6817468 markings, 8851484 edges, 20275 markings/sec, 330 secs
lola: sara is running 335 secs || 6919652 markings, 8982327 edges, 20437 markings/sec, 335 secs
lola: sara is running 340 secs || 7019618 markings, 9114090 edges, 19993 markings/sec, 340 secs
lola: sara is running 345 secs || 7120842 markings, 9246188 edges, 20245 markings/sec, 345 secs
lola: sara is running 350 secs || 7220491 markings, 9377699 edges, 19930 markings/sec, 350 secs
lola: sara is running 355 secs || 7323892 markings, 9510698 edges, 20680 markings/sec, 355 secs
lola: sara is running 360 secs || 7421981 markings, 9642724 edges, 19618 markings/sec, 360 secs
lola: sara is running 365 secs || 7520148 markings, 9775010 edges, 19633 markings/sec, 365 secs
lola: sara is running 370 secs || 7624357 markings, 9908575 edges, 20842 markings/sec, 370 secs
lola: sara is running 375 secs || 7727433 markings, 10038199 edges, 20615 markings/sec, 375 secs
lola: sara is running 380 secs || 7830026 markings, 10167151 edges, 20519 markings/sec, 380 secs
lola: sara is running 385 secs || 7931564 markings, 10296811 edges, 20308 markings/sec, 385 secs
lola: sara is running 390 secs || 8031529 markings, 10427730 edges, 19993 markings/sec, 390 secs
lola: sara is running 395 secs || 8134783 markings, 10559121 edges, 20651 markings/sec, 395 secs
lola: sara is running 400 secs || 8228801 markings, 10682061 edges, 18804 markings/sec, 400 secs
lola: sara is running 405 secs || 8330364 markings, 10812925 edges, 20313 markings/sec, 405 secs
lola: sara is running 410 secs || 8427986 markings, 10942883 edges, 19524 markings/sec, 410 secs
lola: sara is running 415 secs || 8524344 markings, 11072288 edges, 19272 markings/sec, 415 secs
lola: sara is running 420 secs || 8623016 markings, 11202268 edges, 19734 markings/sec, 420 secs
lola: sara is running 425 secs || 8721259 markings, 11332276 edges, 19649 markings/sec, 425 secs
lola: sara is running 430 secs || 8819144 markings, 11463549 edges, 19577 markings/sec, 430 secs
lola: sara is running 435 secs || 8916204 markings, 11594182 edges, 19412 markings/sec, 435 secs
lola: sara is running 440 secs || 9014088 markings, 11725017 edges, 19577 markings/sec, 440 secs
lola: sara is running 445 secs || 9111732 markings, 11855418 edges, 19529 markings/sec, 445 secs
lola: sara is running 450 secs || 9210096 markings, 11985773 edges, 19673 markings/sec, 450 secs
lola: sara is running 455 secs || 9308221 markings, 12116112 edges, 19625 markings/sec, 455 secs
lola: sara is running 460 secs || 9401259 markings, 12238164 edges, 18608 markings/sec, 460 secs
lola: sara is running 465 secs || 9502069 markings, 12370688 edges, 20162 markings/sec, 465 secs
lola: sara is running 470 secs || 9603318 markings, 12502861 edges, 20250 markings/sec, 470 secs
lola: sara is running 475 secs || 9703365 markings, 12634009 edges, 20009 markings/sec, 475 secs
lola: sara is running 480 secs || 9797544 markings, 12760399 edges, 18836 markings/sec, 480 secs
lola: sara is running 485 secs || 9895811 markings, 12892812 edges, 19653 markings/sec, 485 secs
lola: sara is running 490 secs || 9996789 markings, 13025082 edges, 20196 markings/sec, 490 secs
lola: sara is running 495 secs || 10095472 markings, 13157977 edges, 19737 markings/sec, 495 secs
lola: sara is running 500 secs || 10197367 markings, 13290097 edges, 20379 markings/sec, 500 secs
lola: sara is running 505 secs || 10303278 markings, 13423813 edges, 21182 markings/sec, 505 secs
lola: sara is running 510 secs || 10401399 markings, 13556621 edges, 19624 markings/sec, 510 secs
lola: sara is running 515 secs || 10503095 markings, 13689167 edges, 20339 markings/sec, 515 secs
lola: sara is running 520 secs || 10601358 markings, 13820404 edges, 19653 markings/sec, 520 secs
lola: sara is running 525 secs || 10701781 markings, 13951240 edges, 20085 markings/sec, 525 secs
lola: sara is running 530 secs || 10799767 markings, 14083274 edges, 19597 markings/sec, 530 secs
lola: sara is running 535 secs || 10897591 markings, 14215226 edges, 19565 markings/sec, 535 secs
lola: sara is running 540 secs || 10997571 markings, 14346949 edges, 19996 markings/sec, 540 secs
lola: sara is running 545 secs || 11100033 markings, 14480356 edges, 20492 markings/sec, 545 secs
lola: sara is running 550 secs || 11200088 markings, 14614091 edges, 20011 markings/sec, 550 secs
lola: sara is running 555 secs || 11307183 markings, 14749623 edges, 21419 markings/sec, 555 secs
lola: sara is running 560 secs || 11406939 markings, 14881108 edges, 19951 markings/sec, 560 secs
lola: sara is running 565 secs || 11504527 markings, 15012999 edges, 19518 markings/sec, 565 secs
lola: sara is running 570 secs || 11602861 markings, 15144539 edges, 19667 markings/sec, 570 secs
lola: sara is running 575 secs || 11700423 markings, 15276160 edges, 19512 markings/sec, 575 secs
lola: sara is running 580 secs || 11798946 markings, 15407774 edges, 19705 markings/sec, 580 secs
lola: sara is running 585 secs || 11898248 markings, 15539658 edges, 19860 markings/sec, 585 secs
lola: sara is running 590 secs || 11995084 markings, 15670991 edges, 19367 markings/sec, 590 secs
lola: sara is running 595 secs || 12093275 markings, 15802936 edges, 19638 markings/sec, 595 secs
lola: sara is running 600 secs || 12190227 markings, 15934811 edges, 19390 markings/sec, 600 secs
lola: sara is running 605 secs || 12288761 markings, 16065440 edges, 19707 markings/sec, 605 secs
lola: sara is running 610 secs || 12389216 markings, 16195419 edges, 20091 markings/sec, 610 secs
lola: sara is running 615 secs || 12489937 markings, 16322491 edges, 20144 markings/sec, 615 secs
lola: sara is running 620 secs || 12588851 markings, 16450047 edges, 19783 markings/sec, 620 secs
lola: sara is running 625 secs || 12688721 markings, 16578788 edges, 19974 markings/sec, 625 secs
lola: sara is running 630 secs || 12786114 markings, 16707561 edges, 19479 markings/sec, 630 secs
lola: sara is running 635 secs || 12884942 markings, 16835852 edges, 19766 markings/sec, 635 secs
lola: sara is running 640 secs || 12983727 markings, 16963771 edges, 19757 markings/sec, 640 secs
lola: sara is running 645 secs || 13080892 markings, 17092938 edges, 19433 markings/sec, 645 secs
lola: sara is running 650 secs || 13179451 markings, 17223265 edges, 19712 markings/sec, 650 secs
lola: sara is running 655 secs || 13279466 markings, 17353312 edges, 20003 markings/sec, 655 secs
lola: sara is running 660 secs || 13378232 markings, 17483549 edges, 19753 markings/sec, 660 secs
lola: sara is running 665 secs || 13476765 markings, 17613879 edges, 19707 markings/sec, 665 secs
lola: sara is running 670 secs || 13575246 markings, 17743868 edges, 19696 markings/sec, 670 secs
lola: sara is running 675 secs || 13676371 markings, 17872263 edges, 20225 markings/sec, 675 secs
lola: sara is running 680 secs || 13776580 markings, 17999679 edges, 20042 markings/sec, 680 secs
lola: sara is running 685 secs || 13877106 markings, 18127769 edges, 20105 markings/sec, 685 secs
lola: sara is running 690 secs || 13976976 markings, 18256233 edges, 19974 markings/sec, 690 secs
lola: sara is running 695 secs || 14077977 markings, 18385354 edges, 20200 markings/sec, 695 secs
lola: sara is running 700 secs || 14176141 markings, 18514424 edges, 19633 markings/sec, 700 secs
lola: sara is running 705 secs || 14276072 markings, 18643926 edges, 19986 markings/sec, 705 secs
lola: sara is running 710 secs || 14378763 markings, 18775041 edges, 20538 markings/sec, 710 secs
lola: sara is running 715 secs || 14476045 markings, 18903890 edges, 19456 markings/sec, 715 secs
lola: sara is running 720 secs || 14574744 markings, 19033052 edges, 19740 markings/sec, 720 secs
lola: sara is running 725 secs || 14678017 markings, 19165108 edges, 20655 markings/sec, 725 secs
lola: sara is running 730 secs || 14775362 markings, 19294275 edges, 19469 markings/sec, 730 secs
lola: sara is running 735 secs || 14873211 markings, 19423531 edges, 19570 markings/sec, 735 secs
lola: sara is running 740 secs || 14971373 markings, 19553876 edges, 19632 markings/sec, 740 secs
lola: sara is running 745 secs || 15070733 markings, 19683977 edges, 19872 markings/sec, 745 secs
lola: sara is running 750 secs || 15169821 markings, 19814545 edges, 19818 markings/sec, 750 secs
lola: sara is running 755 secs || 15266074 markings, 19944605 edges, 19251 markings/sec, 755 secs
lola: sara is running 760 secs || 15365149 markings, 20075165 edges, 19815 markings/sec, 760 secs
lola: sara is running 765 secs || 15463023 markings, 20205388 edges, 19575 markings/sec, 765 secs
lola: sara is running 770 secs || 15560332 markings, 20335708 edges, 19462 markings/sec, 770 secs
lola: sara is running 775 secs || 15657198 markings, 20466819 edges, 19373 markings/sec, 775 secs
lola: sara is running 780 secs || 15753460 markings, 20597490 edges, 19252 markings/sec, 780 secs
lola: sara is running 785 secs || 15849770 markings, 20727366 edges, 19262 markings/sec, 785 secs
lola: sara is running 790 secs || 15949571 markings, 20856626 edges, 19960 markings/sec, 790 secs
lola: sara is running 795 secs || 16049896 markings, 20983527 edges, 20065 markings/sec, 795 secs
lola: sara is running 800 secs || 16148352 markings, 21110664 edges, 19691 markings/sec, 800 secs
lola: sara is running 805 secs || 16247850 markings, 21238949 edges, 19900 markings/sec, 805 secs
lola: sara is running 810 secs || 16345031 markings, 21367268 edges, 19436 markings/sec, 810 secs
lola: sara is running 815 secs || 16443019 markings, 21494851 edges, 19598 markings/sec, 815 secs
lola: sara is running 820 secs || 16541581 markings, 21622346 edges, 19712 markings/sec, 820 secs
lola: sara is running 825 secs || 16638378 markings, 21751385 edges, 19359 markings/sec, 825 secs
lola: sara is running 830 secs || 16736969 markings, 21881267 edges, 19718 markings/sec, 830 secs
lola: sara is running 835 secs || 16836576 markings, 22011000 edges, 19921 markings/sec, 835 secs
lola: sara is running 840 secs || 16935284 markings, 22140805 edges, 19742 markings/sec, 840 secs
lola: sara is running 845 secs || 17033038 markings, 22270551 edges, 19551 markings/sec, 845 secs
lola: sara is running 850 secs || 17131214 markings, 22400130 edges, 19635 markings/sec, 850 secs
lola: sara is running 855 secs || 17228520 markings, 22529455 edges, 19461 markings/sec, 855 secs
lola: sara is running 860 secs || 17326534 markings, 22661039 edges, 19603 markings/sec, 860 secs
lola: sara is running 865 secs || 17423733 markings, 22792359 edges, 19440 markings/sec, 865 secs
lola: sara is running 870 secs || 17522080 markings, 22921862 edges, 19669 markings/sec, 870 secs
lola: sara is running 875 secs || 17622025 markings, 23052018 edges, 19989 markings/sec, 875 secs
lola: sara is running 880 secs || 17720229 markings, 23182179 edges, 19641 markings/sec, 880 secs
lola: sara is running 885 secs || 17819729 markings, 23310175 edges, 19900 markings/sec, 885 secs
lola: sara is running 890 secs || 17920293 markings, 23437093 edges, 20113 markings/sec, 890 secs
lola: sara is running 895 secs || 18020759 markings, 23563858 edges, 20093 markings/sec, 895 secs
lola: sara is running 900 secs || 18119226 markings, 23691378 edges, 19693 markings/sec, 900 secs
lola: sara is running 905 secs || 18216407 markings, 23819018 edges, 19436 markings/sec, 905 secs
lola: sara is running 910 secs || 18314765 markings, 23946732 edges, 19672 markings/sec, 910 secs
lola: sara is running 915 secs || 18410461 markings, 24074217 edges, 19139 markings/sec, 915 secs
lola: sara is running 920 secs || 18510485 markings, 24203214 edges, 20005 markings/sec, 920 secs
lola: sara is running 925 secs || 18608548 markings, 24332634 edges, 19613 markings/sec, 925 secs
lola: sara is running 930 secs || 18705757 markings, 24460669 edges, 19442 markings/sec, 930 secs
lola: sara is running 935 secs || 18803274 markings, 24588887 edges, 19503 markings/sec, 935 secs
lola: sara is running 940 secs || 18903030 markings, 24714852 edges, 19951 markings/sec, 940 secs
lola: sara is running 945 secs || 19001358 markings, 24839531 edges, 19666 markings/sec, 945 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown yes no unknown unknown no unknown yes no no no no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown yes no unknown unknown no unknown yes no no no no unknown
lola: memory consumption: 4248992 KB
lola: time consumption: 2616 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown yes no unknown unknown no unknown yes no no no no unknown
lola: memory consumption: 4249048 KB
lola: time consumption: 2616 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 954 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (E (F (NOT FIREABLE(t4267))))) OR E ((FIREABLE(t76) U (FIREABLE(t2390) AND FIREABLE(t4152) AND FIREABLE(t5096)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 954 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t76) U (FIREABLE(t2390) AND FIREABLE(t4152) AND FIREABLE(t5096))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E ((FIREABLE(t76) U (FIREABLE(t2390) AND FIREABLE(t4152) AND FIREABLE(t5096))))
lola: processed formula length: 79
lola: 32 rewrites
lola: closed formula file DLCround-PT-10b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: (FIREABLE(t2390) AND FIREABLE(t4152) AND FIREABLE(t5096))
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: state equation: write sara problem file to DLCround-PT-10b-CTLFireability-15-0.sara
lola: result: no
lola: produced by: state space /EU
lola: There is no path where Predicate Phi holds until Predicate Psi.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (E (G ((E (X (FIREABLE(t6049))) AND (NOT FIREABLE(t1189) AND NOT FIREABLE(t3479))))) OR A (X (E (F ((FIREABLE(t1997) AND FIREABLE(t2089)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (X (E (F ((FIREABLE(t1997) AND FIREABLE(t2089))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(E(TRUE U (FIREABLE(t1997) AND FIREABLE(t2089))))
lola: processed formula length: 51
lola: 31 rewrites
lola: closed formula file DLCround-PT-10b-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: 119075 markings, 128681 edges, 23815 markings/sec, 0 secs
lola: 246072 markings, 267764 edges, 25399 markings/sec, 5 secs
lola: 371884 markings, 406853 edges, 25162 markings/sec, 10 secs
lola: 496118 markings, 545374 edges, 24847 markings/sec, 15 secs
lola: 624030 markings, 685371 edges, 25582 markings/sec, 20 secs
lola: 751566 markings, 825341 edges, 25507 markings/sec, 25 secs
lola: 877866 markings, 965390 edges, 25260 markings/sec, 30 secs
lola: 1004444 markings, 1105817 edges, 25316 markings/sec, 35 secs
lola: 1130742 markings, 1245847 edges, 25260 markings/sec, 40 secs
lola: 1259254 markings, 1386819 edges, 25702 markings/sec, 45 secs
lola: 1383673 markings, 1526387 edges, 24884 markings/sec, 50 secs
lola: 1510390 markings, 1667196 edges, 25343 markings/sec, 55 secs
lola: 1635680 markings, 1807316 edges, 25058 markings/sec, 60 secs
lola: 1761253 markings, 1947316 edges, 25115 markings/sec, 65 secs
lola: 1888505 markings, 2087395 edges, 25450 markings/sec, 70 secs
lola: 2007614 markings, 2216902 edges, 23822 markings/sec, 75 secs
lola: 2134384 markings, 2355892 edges, 25354 markings/sec, 80 secs
lola: 2261189 markings, 2495995 edges, 25361 markings/sec, 85 secs
lola: 2387534 markings, 2635555 edges, 25269 markings/sec, 90 secs
lola: 2511995 markings, 2774807 edges, 24892 markings/sec, 95 secs
lola: 2641265 markings, 2915154 edges, 25854 markings/sec, 100 secs
lola: 2763876 markings, 3049855 edges, 24522 markings/sec, 105 secs
lola: 2887372 markings, 3185425 edges, 24699 markings/sec, 110 secs
lola: 3015013 markings, 3325383 edges, 25528 markings/sec, 115 secs
lola: 3140866 markings, 3465557 edges, 25171 markings/sec, 120 secs
lola: 3266672 markings, 3605570 edges, 25161 markings/sec, 125 secs
lola: 3392050 markings, 3745686 edges, 25076 markings/sec, 130 secs
lola: 3520252 markings, 3886626 edges, 25640 markings/sec, 135 secs
lola: 3647540 markings, 4027155 edges, 25458 markings/sec, 140 secs
lola: 3775148 markings, 4167610 edges, 25522 markings/sec, 145 secs
lola: 3903902 markings, 4307965 edges, 25751 markings/sec, 150 secs
lola: 4031730 markings, 4448077 edges, 25566 markings/sec, 155 secs
lola: 4156025 markings, 4587441 edges, 24859 markings/sec, 160 secs
lola: 4278552 markings, 4725431 edges, 24505 markings/sec, 165 secs
lola: 4400658 markings, 4865122 edges, 24421 markings/sec, 170 secs
lola: 4528385 markings, 5004362 edges, 25545 markings/sec, 175 secs
lola: 4654797 markings, 5143427 edges, 25282 markings/sec, 180 secs
lola: 4779512 markings, 5282715 edges, 24943 markings/sec, 185 secs
lola: 4903041 markings, 5421198 edges, 24706 markings/sec, 190 secs
lola: 5027233 markings, 5559648 edges, 24838 markings/sec, 195 secs
lola: 5152924 markings, 5698501 edges, 25138 markings/sec, 200 secs
lola: 5279365 markings, 5837512 edges, 25288 markings/sec, 205 secs
lola: 5405701 markings, 5976781 edges, 25267 markings/sec, 210 secs
lola: 5531023 markings, 6115805 edges, 25064 markings/sec, 215 secs
lola: 5656348 markings, 6253799 edges, 25065 markings/sec, 220 secs
lola: 5779363 markings, 6392333 edges, 24603 markings/sec, 225 secs
lola: 5901106 markings, 6530422 edges, 24349 markings/sec, 230 secs
lola: 6028010 markings, 6669163 edges, 25381 markings/sec, 235 secs
lola: 6150974 markings, 6805844 edges, 24593 markings/sec, 240 secs
lola: 6278008 markings, 6944415 edges, 25407 markings/sec, 245 secs
lola: 6403841 markings, 7082838 edges, 25167 markings/sec, 250 secs
lola: 6525736 markings, 7220057 edges, 24379 markings/sec, 255 secs
lola: 6649455 markings, 7357398 edges, 24744 markings/sec, 260 secs
lola: 6774813 markings, 7495528 edges, 25072 markings/sec, 265 secs
lola: 6899284 markings, 7633538 edges, 24894 markings/sec, 270 secs
lola: 7024462 markings, 7772256 edges, 25036 markings/sec, 275 secs
lola: 7150172 markings, 7911197 edges, 25142 markings/sec, 280 secs
lola: 7278076 markings, 8050870 edges, 25581 markings/sec, 285 secs
lola: 7405633 markings, 8190734 edges, 25511 markings/sec, 290 secs
lola: 7532738 markings, 8330835 edges, 25421 markings/sec, 295 secs
lola: 7659060 markings, 8469757 edges, 25264 markings/sec, 300 secs
lola: 7786371 markings, 8609792 edges, 25462 markings/sec, 305 secs
lola: 7911525 markings, 8748766 edges, 25031 markings/sec, 310 secs
lola: 8036770 markings, 8888523 edges, 25049 markings/sec, 315 secs
lola: 8160263 markings, 9028328 edges, 24699 markings/sec, 320 secs
lola: 8284392 markings, 9166982 edges, 24826 markings/sec, 325 secs
lola: 8411438 markings, 9306267 edges, 25409 markings/sec, 330 secs
lola: 8538993 markings, 9445486 edges, 25511 markings/sec, 335 secs
lola: 8663189 markings, 9583636 edges, 24839 markings/sec, 340 secs
lola: 8788806 markings, 9722800 edges, 25123 markings/sec, 345 secs
lola: 8912404 markings, 9861444 edges, 24720 markings/sec, 350 secs
lola: 9038206 markings, 10001922 edges, 25160 markings/sec, 355 secs
lola: 9164819 markings, 10142186 edges, 25323 markings/sec, 360 secs
lola: 9291448 markings, 10281474 edges, 25326 markings/sec, 365 secs
lola: 9418434 markings, 10420509 edges, 25397 markings/sec, 370 secs
lola: 9543360 markings, 10558435 edges, 24985 markings/sec, 375 secs
lola: 9668376 markings, 10696390 edges, 25003 markings/sec, 380 secs
lola: 9796122 markings, 10835646 edges, 25549 markings/sec, 385 secs
lola: 9920586 markings, 10974162 edges, 24893 markings/sec, 390 secs
lola: 10042978 markings, 11111718 edges, 24478 markings/sec, 395 secs
lola: 10169195 markings, 11250906 edges, 25243 markings/sec, 400 secs
lola: 10294289 markings, 11389299 edges, 25019 markings/sec, 405 secs
lola: 10419266 markings, 11527534 edges, 24995 markings/sec, 410 secs
lola: 10544320 markings, 11666528 edges, 25011 markings/sec, 415 secs
lola: 10671146 markings, 11805606 edges, 25365 markings/sec, 420 secs
lola: 10799084 markings, 11945905 edges, 25588 markings/sec, 425 secs
lola: 10926762 markings, 12085232 edges, 25536 markings/sec, 430 secs
lola: 11052577 markings, 12224464 edges, 25163 markings/sec, 435 secs
lola: 11179645 markings, 12364511 edges, 25414 markings/sec, 440 secs
lola: 11306627 markings, 12504843 edges, 25396 markings/sec, 445 secs
lola: 11432076 markings, 12644035 edges, 25090 markings/sec, 450 secs
lola: 11556218 markings, 12783075 edges, 24828 markings/sec, 455 secs
lola: 11680089 markings, 12922753 edges, 24774 markings/sec, 460 secs
lola: 11804271 markings, 13061263 edges, 24836 markings/sec, 465 secs
lola: 11932675 markings, 13200731 edges, 25681 markings/sec, 470 secs
lola: 12057830 markings, 13339274 edges, 25031 markings/sec, 475 secs
lola: 12184729 markings, 13478323 edges, 25380 markings/sec, 480 secs
lola: 12310364 markings, 13617567 edges, 25127 markings/sec, 485 secs
lola: 12436646 markings, 13756278 edges, 25256 markings/sec, 490 secs
lola: 12562459 markings, 13895436 edges, 25163 markings/sec, 495 secs
lola: 12686188 markings, 14034017 edges, 24746 markings/sec, 500 secs
lola: 12811536 markings, 14173791 edges, 25070 markings/sec, 505 secs
lola: 12934544 markings, 14311815 edges, 24602 markings/sec, 510 secs
lola: 13061855 markings, 14452251 edges, 25462 markings/sec, 515 secs
lola: 13186167 markings, 14590788 edges, 24862 markings/sec, 520 secs
lola: 13312006 markings, 14730947 edges, 25168 markings/sec, 525 secs
lola: 13438875 markings, 14870010 edges, 25374 markings/sec, 530 secs
lola: 13566844 markings, 15008884 edges, 25594 markings/sec, 535 secs
lola: 13691905 markings, 15146515 edges, 25012 markings/sec, 540 secs
lola: 13816643 markings, 15284055 edges, 24948 markings/sec, 545 secs
lola: 13943314 markings, 15422283 edges, 25334 markings/sec, 550 secs
lola: 14067163 markings, 15560193 edges, 24770 markings/sec, 555 secs
lola: 14189312 markings, 15697302 edges, 24430 markings/sec, 560 secs
lola: 14314374 markings, 15835514 edges, 25012 markings/sec, 565 secs
lola: 14439184 markings, 15973602 edges, 24962 markings/sec, 570 secs
lola: 14563817 markings, 16111364 edges, 24927 markings/sec, 575 secs
lola: 14688347 markings, 16249633 edges, 24906 markings/sec, 580 secs
lola: 14814094 markings, 16387619 edges, 25149 markings/sec, 585 secs
lola: 14940123 markings, 16525851 edges, 25206 markings/sec, 590 secs
lola: 15067304 markings, 16664572 edges, 25436 markings/sec, 595 secs
lola: 15192497 markings, 16803130 edges, 25039 markings/sec, 600 secs
lola: 15317938 markings, 16941400 edges, 25088 markings/sec, 605 secs
lola: 15442799 markings, 17079474 edges, 24972 markings/sec, 610 secs
lola: 15567597 markings, 17217819 edges, 24960 markings/sec, 615 secs
lola: 15691362 markings, 17356145 edges, 24753 markings/sec, 620 secs
lola: 15813696 markings, 17494515 edges, 24467 markings/sec, 625 secs
lola: 15935009 markings, 17629888 edges, 24263 markings/sec, 630 secs
lola: 16057324 markings, 17762704 edges, 24463 markings/sec, 635 secs
lola: 16176737 markings, 17894313 edges, 23883 markings/sec, 640 secs
lola: 16292300 markings, 18021484 edges, 23113 markings/sec, 645 secs
lola: 16418654 markings, 18160399 edges, 25271 markings/sec, 650 secs
lola: 16542433 markings, 18297820 edges, 24756 markings/sec, 655 secs
lola: 16668647 markings, 18436411 edges, 25243 markings/sec, 660 secs
lola: 16792047 markings, 18574287 edges, 24680 markings/sec, 665 secs
lola: 16915539 markings, 18711977 edges, 24698 markings/sec, 670 secs
lola: 17037379 markings, 18849111 edges, 24368 markings/sec, 675 secs
lola: 17162742 markings, 18987463 edges, 25073 markings/sec, 680 secs
lola: 17286335 markings, 19125674 edges, 24719 markings/sec, 685 secs
lola: 17411002 markings, 19263931 edges, 24933 markings/sec, 690 secs
lola: 17539281 markings, 19403233 edges, 25656 markings/sec, 695 secs
lola: 17666454 markings, 19542584 edges, 25435 markings/sec, 700 secs
lola: 17791519 markings, 19681604 edges, 25013 markings/sec, 705 secs
lola: 17914527 markings, 19819525 edges, 24602 markings/sec, 710 secs
lola: 18033153 markings, 19956404 edges, 23725 markings/sec, 715 secs
lola: 18156994 markings, 20094843 edges, 24768 markings/sec, 720 secs
lola: 18282230 markings, 20233892 edges, 25047 markings/sec, 725 secs
lola: 18408202 markings, 20373164 edges, 25194 markings/sec, 730 secs
lola: 18534674 markings, 20512255 edges, 25294 markings/sec, 735 secs
lola: 18656387 markings, 20649813 edges, 24343 markings/sec, 740 secs
lola: 18780430 markings, 20788587 edges, 24809 markings/sec, 745 secs
lola: 18903806 markings, 20927311 edges, 24675 markings/sec, 750 secs
lola: 19029610 markings, 21066610 edges, 25161 markings/sec, 755 secs
lola: 19157860 markings, 21206221 edges, 25650 markings/sec, 760 secs
lola: 19285824 markings, 21345807 edges, 25593 markings/sec, 765 secs
lola: 19411964 markings, 21484658 edges, 25228 markings/sec, 770 secs
lola: 19539055 markings, 21624080 edges, 25418 markings/sec, 775 secs
lola: 19664721 markings, 21762128 edges, 25133 markings/sec, 780 secs
lola: 19790583 markings, 21901312 edges, 25172 markings/sec, 785 secs
lola: 19912557 markings, 22034641 edges, 24395 markings/sec, 790 secs
lola: 20039880 markings, 22174605 edges, 25465 markings/sec, 795 secs
lola: 20166964 markings, 22315337 edges, 25417 markings/sec, 800 secs
lola: 20291796 markings, 22454360 edges, 24966 markings/sec, 805 secs
lola: 20411471 markings, 22587273 edges, 23935 markings/sec, 810 secs
lola: 20537693 markings, 22727693 edges, 25244 markings/sec, 815 secs
lola: 20666154 markings, 22868734 edges, 25692 markings/sec, 820 secs
lola: 20790479 markings, 23008500 edges, 24865 markings/sec, 825 secs
lola: 20919410 markings, 23148759 edges, 25786 markings/sec, 830 secs
lola: 21041101 markings, 23281803 edges, 24338 markings/sec, 835 secs
lola: 21167001 markings, 23422480 edges, 25180 markings/sec, 840 secs
lola: 21293578 markings, 23562901 edges, 25315 markings/sec, 845 secs
lola: 21418908 markings, 23702051 edges, 25066 markings/sec, 850 secs
lola: 21543320 markings, 23841875 edges, 24882 markings/sec, 855 secs
lola: 21669556 markings, 23981727 edges, 25247 markings/sec, 860 secs
lola: 21793523 markings, 24120823 edges, 24793 markings/sec, 865 secs
lola: 21919149 markings, 24260096 edges, 25125 markings/sec, 870 secs
lola: 22038412 markings, 24391869 edges, 23853 markings/sec, 875 secs
lola: 22158813 markings, 24524241 edges, 24080 markings/sec, 880 secs
lola: 22276379 markings, 24656308 edges, 23513 markings/sec, 885 secs
lola: 22393751 markings, 24788408 edges, 23474 markings/sec, 890 secs
lola: 22513882 markings, 24920819 edges, 24026 markings/sec, 895 secs
lola: 22631709 markings, 25052829 edges, 23565 markings/sec, 900 secs
lola: 22753102 markings, 25185798 edges, 24279 markings/sec, 905 secs
lola: 22877403 markings, 25322539 edges, 24860 markings/sec, 910 secs
lola: 23003773 markings, 25461996 edges, 25274 markings/sec, 915 secs
lola: 23130026 markings, 25600806 edges, 25251 markings/sec, 920 secs
lola: 23247203 markings, 25731931 edges, 23435 markings/sec, 925 secs
lola: 23366583 markings, 25863924 edges, 23876 markings/sec, 930 secs
lola: 23486348 markings, 25995688 edges, 23953 markings/sec, 935 secs
lola: 23607597 markings, 26128149 edges, 24250 markings/sec, 940 secs
lola: 23728342 markings, 26260272 edges, 24149 markings/sec, 945 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown yes no unknown unknown no unknown yes no no no no unknown
lola:
preliminary result: unknown unknown unknown unknown yes no unknown unknown no unknown yes no no no no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown yes no unknown unknown no unknown yes no no no no unknown
lola: memory consumption: 8580808 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown yes no unknown unknown no unknown yes no no no no unknown
lola: memory consumption: 8580808 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown yes no unknown unknown no unknown yes no no no no unknown
lola: memory consumption: 8580808 KB
lola: time consumption: 3571 seconds
BK_TIME_CONFINEMENT_REACHED
--------------------
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="DLCround-PT-10b"
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/DLCround-PT-10b.tgz
mv DLCround-PT-10b 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 DLCround-PT-10b, 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 r064-smll-152649735200109"
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 ;