About the Execution of LoLA for DLCround-PT-11b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15918.490 | 2213586.00 | 2187807.00 | 11146.50 | TFFTTFFFFTTFF?TF | 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.9M
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K 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.5K 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.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 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 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.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.7M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-11b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735200122
=====================================================================
--------------------
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-11b-CTLCardinality-00
FORMULA_NAME DLCround-PT-11b-CTLCardinality-01
FORMULA_NAME DLCround-PT-11b-CTLCardinality-02
FORMULA_NAME DLCround-PT-11b-CTLCardinality-03
FORMULA_NAME DLCround-PT-11b-CTLCardinality-04
FORMULA_NAME DLCround-PT-11b-CTLCardinality-05
FORMULA_NAME DLCround-PT-11b-CTLCardinality-06
FORMULA_NAME DLCround-PT-11b-CTLCardinality-07
FORMULA_NAME DLCround-PT-11b-CTLCardinality-08
FORMULA_NAME DLCround-PT-11b-CTLCardinality-09
FORMULA_NAME DLCround-PT-11b-CTLCardinality-10
FORMULA_NAME DLCround-PT-11b-CTLCardinality-11
FORMULA_NAME DLCround-PT-11b-CTLCardinality-12
FORMULA_NAME DLCround-PT-11b-CTLCardinality-13
FORMULA_NAME DLCround-PT-11b-CTLCardinality-14
FORMULA_NAME DLCround-PT-11b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526660439542
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-11b 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-11b formula CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ DLCround-PT-11b @ 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: 11366/65536 symbol table entries, 3163 collisions
lola: preprocessing...
lola: Size of bit vector: 4375
lola: finding significant places
lola: 4375 places, 6991 transitions, 4131 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 10066 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-11b-CTLCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p63)
lola: LP says that atomic proposition is always false: (2 <= p2535)
lola: LP says that atomic proposition is always false: (2 <= p594)
lola: LP says that atomic proposition is always false: (2 <= p2317)
lola: LP says that atomic proposition is always false: (2 <= p4335)
lola: LP says that atomic proposition is always false: (3 <= p1497)
lola: LP says that atomic proposition is always false: (3 <= p3003)
lola: LP says that atomic proposition is always false: (3 <= p49)
lola: LP says that atomic proposition is always false: (2 <= p4322)
lola: LP says that atomic proposition is always false: (3 <= p1078)
lola: LP says that atomic proposition is always false: (2 <= p1874)
lola: LP says that atomic proposition is always false: (3 <= p3096)
lola: LP says that atomic proposition is always false: (3 <= p3628)
lola: LP says that atomic proposition is always false: (2 <= p1909)
lola: LP says that atomic proposition is always false: (2 <= p2251)
lola: LP says that atomic proposition is always false: (3 <= p3260)
lola: LP says that atomic proposition is always false: (3 <= p4275)
lola: LP says that atomic proposition is always false: (2 <= p4075)
lola: NOT(A (F (FALSE))) : (NOT(E (F (((1 <= p1194) OR (p3820 <= p1171))))) OR A (G (((p2408 <= 0) OR (p2065 <= p1431))))) : (NOT((A (F ((p1592 <= p31))) OR ((p1400 <= p3785) OR (p938 <= p2492)))) OR A ((((p1232 <= p3756) OR (1 <= p2289)) U ()))) : NOT(A (F (FALSE))) : ((1 <= p1142) OR E (F (E (G ((1 <= p3862)))))) : A (G (((p2259 <= p4342) AND (p2125 <= p1370) AND (p1607 <= 0) AND (p3551 <= 0)))) : A ((E (F ((p3420 <= p3054))) U A (G (FALSE)))) : A (G ((p1838 <= p3417))) : (E (F (A (F (FALSE)))) OR (A (G ((p2086 <= p302))) AND (1 <= p1337))) : (A (X (())) AND ((E (G ((p3630 <= p2104))) OR A (G ((p3443 <= p537)))) AND ())) : NOT(((p3298 <= p3980) AND (() OR A (G ((p2799 <= p3531)))))) : ((A (F (())) AND ()) AND A (X ((p2621 <= p531)))) : A (G ((p4233 <= p2772))) : E (F (NOT(E (F ((1 <= p3398)))))) : NOT(A ((((p3678 <= p183) AND (p1042 <= p2680)) U ((1 <= p1855))))) : NOT(A (G (())))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:282
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: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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:136
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 215 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 60 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DLCround-PT-11b-CTLCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 229 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 60 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DLCround-PT-11b-CTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 246 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 60 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DLCround-PT-11b-CTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 265 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 60 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DLCround-PT-11b-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 287 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 60 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DLCround-PT-11b-CTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 313 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p4233 <= p2772)))
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 ((p4233 <= p2772)))
lola: processed formula length: 24
lola: 62 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p2772 + 1 <= p4233)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-CTLCardinality-5-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 19 markings, 18 edges
lola: ========================================
FORMULA DLCround-PT-11b-CTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p1838 <= p3417)))
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 ((p1838 <= p3417)))
lola: processed formula length: 24
lola: 62 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p3417 + 1 <= p1838)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-CTLCardinality-6-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 41 markings, 40 edges
lola: ========================================
FORMULA DLCround-PT-11b-CTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 383 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p2259 <= p4342) AND (p2125 <= p1370) AND (p1607 <= 0) AND (p3551 <= 0))))
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 (((p2259 <= p4342) AND (p2125 <= p1370) AND (p1607 <= 0) AND (p3551 <= 0))))
lola: processed formula length: 81
lola: 62 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p4342 + 1 <= p2259) OR (p1370 + 1 <= p2125) OR (1 <= p1607) OR (1 <= p3551))
lola: state equation: Generated DNF with 4 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-CTLCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-CTLCardinality-7-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 27 markings, 26 edges
lola: ========================================
FORMULA DLCround-PT-11b-CTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 430 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((p3398 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: (1 <= p3398)
lola: processed formula length: 12
lola: 62 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.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: 112681 markings, 125715 edges, 22536 markings/sec, 0 secs
lola: 222535 markings, 250837 edges, 21971 markings/sec, 5 secs
lola: 331973 markings, 375717 edges, 21888 markings/sec, 10 secs
lola: 442126 markings, 500592 edges, 22031 markings/sec, 15 secs
lola: 551616 markings, 625322 edges, 21898 markings/sec, 20 secs
lola: 661104 markings, 749609 edges, 21898 markings/sec, 25 secs
lola: 770835 markings, 874033 edges, 21946 markings/sec, 30 secs
lola: 879596 markings, 998291 edges, 21752 markings/sec, 35 secs
lola: 988754 markings, 1121957 edges, 21832 markings/sec, 40 secs
lola: 1099446 markings, 1245597 edges, 22138 markings/sec, 45 secs
lola: 1206998 markings, 1368764 edges, 21510 markings/sec, 50 secs
lola: 1315719 markings, 1492765 edges, 21744 markings/sec, 55 secs
lola: 1424463 markings, 1616786 edges, 21749 markings/sec, 60 secs
lola: 1532800 markings, 1740502 edges, 21667 markings/sec, 65 secs
lola: 1640838 markings, 1864171 edges, 21608 markings/sec, 70 secs
lola: 1748028 markings, 1986937 edges, 21438 markings/sec, 75 secs
lola: 1858682 markings, 2110571 edges, 22131 markings/sec, 80 secs
lola: 1967488 markings, 2233746 edges, 21761 markings/sec, 85 secs
lola: 2079683 markings, 2358974 edges, 22439 markings/sec, 90 secs
lola: 2196804 markings, 2484895 edges, 23424 markings/sec, 95 secs
lola: 2312004 markings, 2611136 edges, 23040 markings/sec, 100 secs
lola: 2428485 markings, 2737042 edges, 23296 markings/sec, 105 secs
lola: 2544325 markings, 2862919 edges, 23168 markings/sec, 110 secs
lola: 2660737 markings, 2988194 edges, 23282 markings/sec, 115 secs
lola: 2776649 markings, 3113769 edges, 23182 markings/sec, 120 secs
lola: 2891496 markings, 3239683 edges, 22969 markings/sec, 125 secs
lola: 3008714 markings, 3365628 edges, 23444 markings/sec, 130 secs
lola: 3124797 markings, 3491384 edges, 23217 markings/sec, 135 secs
lola: 3240775 markings, 3617057 edges, 23196 markings/sec, 140 secs
lola: 3357481 markings, 3743016 edges, 23341 markings/sec, 145 secs
lola: 3474539 markings, 3868602 edges, 23412 markings/sec, 150 secs
lola: 3589475 markings, 3994031 edges, 22987 markings/sec, 155 secs
lola: 3705049 markings, 4119614 edges, 23115 markings/sec, 160 secs
lola: 3820555 markings, 4245327 edges, 23101 markings/sec, 165 secs
lola: 3934494 markings, 4371130 edges, 22788 markings/sec, 170 secs
lola: 4048904 markings, 4495890 edges, 22882 markings/sec, 175 secs
lola: 4163899 markings, 4620243 edges, 22999 markings/sec, 180 secs
lola: 4278313 markings, 4745463 edges, 22883 markings/sec, 185 secs
lola: 4395032 markings, 4871269 edges, 23344 markings/sec, 190 secs
lola: 4510724 markings, 4997119 edges, 23138 markings/sec, 195 secs
lola: 4624333 markings, 5122656 edges, 22722 markings/sec, 200 secs
lola: 4740522 markings, 5248132 edges, 23238 markings/sec, 205 secs
lola: 4854872 markings, 5373348 edges, 22870 markings/sec, 210 secs
lola: 4970301 markings, 5498604 edges, 23086 markings/sec, 215 secs
lola: 5085525 markings, 5623277 edges, 23045 markings/sec, 220 secs
lola: 5200392 markings, 5748843 edges, 22973 markings/sec, 225 secs
lola: 5317292 markings, 5874483 edges, 23380 markings/sec, 230 secs
lola: 5433074 markings, 5999936 edges, 23156 markings/sec, 235 secs
lola: 5549233 markings, 6125714 edges, 23232 markings/sec, 240 secs
lola: 5666613 markings, 6252000 edges, 23476 markings/sec, 245 secs
lola: 5783450 markings, 6378069 edges, 23367 markings/sec, 250 secs
lola: 5896978 markings, 6503406 edges, 22706 markings/sec, 255 secs
lola: 6012549 markings, 6628447 edges, 23114 markings/sec, 260 secs
lola: 6128371 markings, 6754047 edges, 23164 markings/sec, 265 secs
lola: 6243743 markings, 6879730 edges, 23074 markings/sec, 270 secs
lola: 6358921 markings, 7005423 edges, 23036 markings/sec, 275 secs
lola: 6471798 markings, 7131759 edges, 22575 markings/sec, 280 secs
lola: 6586960 markings, 7257270 edges, 23032 markings/sec, 285 secs
lola: 6703172 markings, 7382875 edges, 23242 markings/sec, 290 secs
lola: 6819037 markings, 7508783 edges, 23173 markings/sec, 295 secs
lola: 6934484 markings, 7634911 edges, 23089 markings/sec, 300 secs
lola: 7049733 markings, 7760821 edges, 23050 markings/sec, 305 secs
lola: 7165825 markings, 7886767 edges, 23218 markings/sec, 310 secs
lola: 7281510 markings, 8013061 edges, 23137 markings/sec, 315 secs
lola: 7396905 markings, 8139297 edges, 23079 markings/sec, 320 secs
lola: 7512965 markings, 8265303 edges, 23212 markings/sec, 325 secs
lola: 7628927 markings, 8391486 edges, 23192 markings/sec, 330 secs
lola: 7745962 markings, 8517545 edges, 23407 markings/sec, 335 secs
lola: 7861849 markings, 8643282 edges, 23177 markings/sec, 340 secs
lola: 7977759 markings, 8768845 edges, 23182 markings/sec, 345 secs
lola: 8094823 markings, 8894934 edges, 23413 markings/sec, 350 secs
lola: 8211705 markings, 9020551 edges, 23376 markings/sec, 355 secs
lola: 8327375 markings, 9146634 edges, 23134 markings/sec, 360 secs
lola: 8443381 markings, 9272719 edges, 23201 markings/sec, 365 secs
lola: 8559260 markings, 9398609 edges, 23176 markings/sec, 370 secs
lola: 8672380 markings, 9524815 edges, 22624 markings/sec, 375 secs
lola: 8787251 markings, 9650895 edges, 22974 markings/sec, 380 secs
lola: 8902805 markings, 9776811 edges, 23111 markings/sec, 385 secs
lola: 9017761 markings, 9902254 edges, 22991 markings/sec, 390 secs
lola: 9133125 markings, 10027828 edges, 23073 markings/sec, 395 secs
lola: 9247956 markings, 10153336 edges, 22966 markings/sec, 400 secs
lola: 9362335 markings, 10278130 edges, 22876 markings/sec, 405 secs
lola: 9478226 markings, 10403012 edges, 23178 markings/sec, 410 secs
lola: 9592214 markings, 10527624 edges, 22798 markings/sec, 415 secs
lola: 9701176 markings, 10645952 edges, 21792 markings/sec, 420 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown unknown yes unknown no no no unknown unknown unknown no no unknown unknown no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: yes unknown unknown yes unknown no no no unknown unknown unknown no no unknown unknown no
lola: memory consumption: 4903936 KB
lola: time consumption: 553 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 431 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((p2086 <= p302))) AND (1 <= p1337))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 431 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p1337)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p1337)
lola: processed formula length: 12
lola: 60 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: processed formula with 1 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: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCround-PT-11b-CTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 502 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p3980 + 1 <= p3298) OR E (F ((p3531 + 1 <= p2799))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 502 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p3980 + 1 <= p3298)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p3980 + 1 <= p3298)
lola: processed formula length: 20
lola: 60 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: processed formula with 1 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 11 will run for 603 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p3531 + 1 <= p2799)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((p3531 + 1 <= p2799)))
lola: processed formula length: 28
lola: 61 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (p3531 + 1 <= p2799)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-CTLCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-CTLCardinality-11-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 2926 markings, 3217 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DLCround-PT-11b-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 603 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((p183 + 1 <= p3678) OR (p2680 + 1 <= p1042)) R ((p1855 <= 0))))
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 ((((p183 + 1 <= p3678) OR (p2680 + 1 <= p1042)) R ((p1855 <= 0))))
lola: processed formula length: 69
lola: 62 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.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: 1130 markings, 1130 edges
lola: ========================================
FORMULA DLCround-PT-11b-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 754 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((p31 + 1 <= p1592))) AND ((p3785 + 1 <= p1400) AND (p2492 + 1 <= p938)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 754 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p3785 + 1 <= p1400) AND (p2492 + 1 <= p938))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p3785 + 1 <= p1400) AND (p2492 + 1 <= p938))
lola: processed formula length: 46
lola: 60 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCround-PT-11b-CTLCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1005 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p1142) OR E (F (E (G ((1 <= p3862))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 1005 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p1142)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p1142)
lola: processed formula length: 12
lola: 60 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: processed formula with 1 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 1508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((1 <= p3862)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: (1 <= p3862)
lola: processed formula length: 12
lola: 61 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 1172 markings, 1172 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DLCround-PT-11b-CTLCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((p3630 <= p2104))) OR A (G ((p3443 <= p537))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p3443 <= p537)))
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 ((p3443 <= p537)))
lola: processed formula length: 23
lola: 62 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p537 + 1 <= p3443)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-CTLCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-CTLCardinality-14-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 475 markings, 477 edges
lola: ========================================
lola: subprocess 15 will run for 3016 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((p3630 <= p2104)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((p3630 <= p2104)))
lola: processed formula length: 24
lola: 60 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 1128 markings, 1128 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DLCround-PT-11b-CTLCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3016 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((p1194 <= 0) AND (p1171 + 1 <= p3820)))) OR A (G (((p2408 <= 0) OR (p2065 <= p1431)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 3016 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p2408 <= 0) OR (p2065 <= p1431))))
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 (((p2408 <= 0) OR (p2065 <= p1431))))
lola: processed formula length: 43
lola: 62 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((1 <= p2408) AND (p1431 + 1 <= p2065))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-CTLCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-CTLCardinality-15-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 228 markings, 227 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 (F (A (G ((p3398 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: (1 <= p3398)
lola: processed formula length: 12
lola: 62 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.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: 111843 markings, 124709 edges, 22369 markings/sec, 0 secs
lola: 221912 markings, 250163 edges, 22014 markings/sec, 5 secs
lola: 331717 markings, 375446 edges, 21961 markings/sec, 10 secs
lola: 441787 markings, 500187 edges, 22014 markings/sec, 15 secs
lola: 551435 markings, 625121 edges, 21930 markings/sec, 20 secs
lola: 661244 markings, 749760 edges, 21962 markings/sec, 25 secs
lola: 771145 markings, 874361 edges, 21980 markings/sec, 30 secs
lola: 879940 markings, 998687 edges, 21759 markings/sec, 35 secs
lola: 989626 markings, 1122942 edges, 21937 markings/sec, 40 secs
lola: 1100440 markings, 1246729 edges, 22163 markings/sec, 45 secs
lola: 1208491 markings, 1370663 edges, 21610 markings/sec, 50 secs
lola: 1317384 markings, 1494779 edges, 21779 markings/sec, 55 secs
lola: 1426370 markings, 1618933 edges, 21797 markings/sec, 60 secs
lola: 1534751 markings, 1742646 edges, 21676 markings/sec, 65 secs
lola: 1642008 markings, 1865489 edges, 21451 markings/sec, 70 secs
lola: 1750432 markings, 1989573 edges, 21685 markings/sec, 75 secs
lola: 1861368 markings, 2113549 edges, 22187 markings/sec, 80 secs
lola: 1970104 markings, 2236598 edges, 21747 markings/sec, 85 secs
lola: 2081816 markings, 2361316 edges, 22342 markings/sec, 90 secs
lola: 2197890 markings, 2486051 edges, 23215 markings/sec, 95 secs
lola: 2312766 markings, 2611944 edges, 22975 markings/sec, 100 secs
lola: 2428924 markings, 2737528 edges, 23232 markings/sec, 105 secs
lola: 2544338 markings, 2862931 edges, 23083 markings/sec, 110 secs
lola: 2660939 markings, 2988409 edges, 23320 markings/sec, 115 secs
lola: 2777092 markings, 3114273 edges, 23231 markings/sec, 120 secs
lola: 2892108 markings, 3240330 edges, 23003 markings/sec, 125 secs
lola: 3009520 markings, 3366497 edges, 23482 markings/sec, 130 secs
lola: 3125924 markings, 3492573 edges, 23281 markings/sec, 135 secs
lola: 3242046 markings, 3618412 edges, 23224 markings/sec, 140 secs
lola: 3357612 markings, 3743152 edges, 23113 markings/sec, 145 secs
lola: 3475055 markings, 3869147 edges, 23489 markings/sec, 150 secs
lola: 3590591 markings, 3995210 edges, 23107 markings/sec, 155 secs
lola: 3706545 markings, 4121208 edges, 23191 markings/sec, 160 secs
lola: 3821514 markings, 4246382 edges, 22994 markings/sec, 165 secs
lola: 3934907 markings, 4371600 edges, 22679 markings/sec, 170 secs
lola: 4048714 markings, 4495689 edges, 22761 markings/sec, 175 secs
lola: 4163324 markings, 4619636 edges, 22922 markings/sec, 180 secs
lola: 4276345 markings, 4743245 edges, 22604 markings/sec, 185 secs
lola: 4391696 markings, 4867728 edges, 23070 markings/sec, 190 secs
lola: 4506156 markings, 4992263 edges, 22892 markings/sec, 195 secs
lola: 4618817 markings, 5116720 edges, 22532 markings/sec, 200 secs
lola: 4733919 markings, 5240927 edges, 23020 markings/sec, 205 secs
lola: 4848120 markings, 5365733 edges, 22840 markings/sec, 210 secs
lola: 4962462 markings, 5490176 edges, 22868 markings/sec, 215 secs
lola: 5076425 markings, 5613430 edges, 22793 markings/sec, 220 secs
lola: 5191117 markings, 5738757 edges, 22938 markings/sec, 225 secs
lola: 5307194 markings, 5863582 edges, 23215 markings/sec, 230 secs
lola: 5418160 markings, 5983546 edges, 22193 markings/sec, 235 secs
lola: 5528596 markings, 6103597 edges, 22087 markings/sec, 240 secs
lola: 5640671 markings, 6223912 edges, 22415 markings/sec, 245 secs
lola: 5753293 markings, 6345554 edges, 22524 markings/sec, 250 secs
lola: 5868190 markings, 6472088 edges, 22979 markings/sec, 255 secs
lola: 5984363 markings, 6597697 edges, 23235 markings/sec, 260 secs
lola: 6100467 markings, 6723445 edges, 23221 markings/sec, 265 secs
lola: 6216048 markings, 6849660 edges, 23116 markings/sec, 270 secs
lola: 6331501 markings, 6975710 edges, 23091 markings/sec, 275 secs
lola: 6445604 markings, 7102414 edges, 22821 markings/sec, 280 secs
lola: 6560468 markings, 7228749 edges, 22973 markings/sec, 285 secs
lola: 6677059 markings, 7354816 edges, 23318 markings/sec, 290 secs
lola: 6793118 markings, 7480927 edges, 23212 markings/sec, 295 secs
lola: 6909487 markings, 7607355 edges, 23274 markings/sec, 300 secs
lola: 7025656 markings, 7733679 edges, 23234 markings/sec, 305 secs
lola: 7141519 markings, 7860037 edges, 23173 markings/sec, 310 secs
lola: 7257063 markings, 7986476 edges, 23109 markings/sec, 315 secs
lola: 7372608 markings, 8112966 edges, 23109 markings/sec, 320 secs
lola: 7488698 markings, 8239318 edges, 23218 markings/sec, 325 secs
lola: 7605650 markings, 8365739 edges, 23390 markings/sec, 330 secs
lola: 7722477 markings, 8492247 edges, 23365 markings/sec, 335 secs
lola: 7839020 markings, 8618441 edges, 23309 markings/sec, 340 secs
lola: 7955141 markings, 8744360 edges, 23224 markings/sec, 345 secs
lola: 8072400 markings, 8870584 edges, 23452 markings/sec, 350 secs
lola: 8189688 markings, 8996798 edges, 23458 markings/sec, 355 secs
lola: 8305730 markings, 9123095 edges, 23208 markings/sec, 360 secs
lola: 8421618 markings, 9249376 edges, 23178 markings/sec, 365 secs
lola: 8538265 markings, 9375498 edges, 23329 markings/sec, 370 secs
lola: 8652467 markings, 9502001 edges, 22840 markings/sec, 375 secs
lola: 8766873 markings, 9628474 edges, 22881 markings/sec, 380 secs
lola: 8882702 markings, 9754942 edges, 23166 markings/sec, 385 secs
lola: 8999364 markings, 9881082 edges, 23332 markings/sec, 390 secs
lola: 9114195 markings, 10007439 edges, 22966 markings/sec, 395 secs
lola: 9229537 markings, 10133599 edges, 23068 markings/sec, 400 secs
lola: 9344883 markings, 10258937 edges, 23069 markings/sec, 405 secs
lola: 9460785 markings, 10384332 edges, 23180 markings/sec, 410 secs
lola: 9575949 markings, 10510176 edges, 23033 markings/sec, 415 secs
lola: 9691253 markings, 10635235 edges, 23061 markings/sec, 420 secs
lola: 9806583 markings, 10760201 edges, 23066 markings/sec, 425 secs
lola: 9921425 markings, 10885498 edges, 22968 markings/sec, 430 secs
lola: 10034552 markings, 11010855 edges, 22625 markings/sec, 435 secs
lola: 10149190 markings, 11135461 edges, 22928 markings/sec, 440 secs
lola: 10264277 markings, 11260534 edges, 23017 markings/sec, 445 secs
lola: 10377377 markings, 11386261 edges, 22620 markings/sec, 450 secs
lola: 10491807 markings, 11511262 edges, 22886 markings/sec, 455 secs
lola: 10606576 markings, 11635912 edges, 22954 markings/sec, 460 secs
lola: 10720711 markings, 11760691 edges, 22827 markings/sec, 465 secs
lola: 10835197 markings, 11885448 edges, 22897 markings/sec, 470 secs
lola: 10949833 markings, 12009655 edges, 22927 markings/sec, 475 secs
lola: 11064966 markings, 12134824 edges, 23027 markings/sec, 480 secs
lola: 11180071 markings, 12259366 edges, 23021 markings/sec, 485 secs
lola: 11293294 markings, 12384196 edges, 22645 markings/sec, 490 secs
lola: 11405548 markings, 12508895 edges, 22451 markings/sec, 495 secs
lola: 11520226 markings, 12633642 edges, 22936 markings/sec, 500 secs
lola: 11633723 markings, 12757198 edges, 22699 markings/sec, 505 secs
lola: 11748161 markings, 12880969 edges, 22888 markings/sec, 510 secs
lola: 11862369 markings, 13005021 edges, 22842 markings/sec, 515 secs
lola: 11974586 markings, 13129190 edges, 22443 markings/sec, 520 secs
lola: 12089481 markings, 13252691 edges, 22979 markings/sec, 525 secs
lola: 12203557 markings, 13377241 edges, 22815 markings/sec, 530 secs
lola: 12317035 markings, 13501839 edges, 22696 markings/sec, 535 secs
lola: 12431229 markings, 13626260 edges, 22839 markings/sec, 540 secs
lola: 12546762 markings, 13751365 edges, 23107 markings/sec, 545 secs
lola: 12659529 markings, 13875977 edges, 22553 markings/sec, 550 secs
lola: 12772468 markings, 14000838 edges, 22588 markings/sec, 555 secs
lola: 12886043 markings, 14124208 edges, 22715 markings/sec, 560 secs
lola: 12999408 markings, 14248226 edges, 22673 markings/sec, 565 secs
lola: 13114223 markings, 14372063 edges, 22963 markings/sec, 570 secs
lola: 13227091 markings, 14496516 edges, 22574 markings/sec, 575 secs
lola: 13339631 markings, 14619953 edges, 22508 markings/sec, 580 secs
lola: 13452131 markings, 14743348 edges, 22500 markings/sec, 585 secs
lola: 13566696 markings, 14867159 edges, 22913 markings/sec, 590 secs
lola: 13680185 markings, 14990957 edges, 22698 markings/sec, 595 secs
lola: 13794195 markings, 15114722 edges, 22802 markings/sec, 600 secs
lola: 13909138 markings, 15238409 edges, 22989 markings/sec, 605 secs
lola: 14023576 markings, 15362358 edges, 22888 markings/sec, 610 secs
lola: 14137598 markings, 15486191 edges, 22804 markings/sec, 615 secs
lola: 14252500 markings, 15609755 edges, 22980 markings/sec, 620 secs
lola: 14366998 markings, 15732897 edges, 22900 markings/sec, 625 secs
lola: 14480566 markings, 15856651 edges, 22714 markings/sec, 630 secs
lola: 14594267 markings, 15980382 edges, 22740 markings/sec, 635 secs
lola: 14708321 markings, 16103691 edges, 22811 markings/sec, 640 secs
lola: 14820844 markings, 16228419 edges, 22505 markings/sec, 645 secs
lola: 14934271 markings, 16353888 edges, 22685 markings/sec, 650 secs
lola: 15048795 markings, 16477784 edges, 22905 markings/sec, 655 secs
lola: 15163357 markings, 16602022 edges, 22912 markings/sec, 660 secs
lola: 15277614 markings, 16726123 edges, 22851 markings/sec, 665 secs
lola: 15390964 markings, 16850173 edges, 22670 markings/sec, 670 secs
lola: 15506428 markings, 16975478 edges, 23093 markings/sec, 675 secs
lola: 15623336 markings, 17101125 edges, 23382 markings/sec, 680 secs
lola: 15739347 markings, 17226878 edges, 23202 markings/sec, 685 secs
lola: 15855372 markings, 17352482 edges, 23205 markings/sec, 690 secs
lola: 15972168 markings, 17478394 edges, 23359 markings/sec, 695 secs
lola: 16088445 markings, 17603680 edges, 23255 markings/sec, 700 secs
lola: 16203950 markings, 17729260 edges, 23101 markings/sec, 705 secs
lola: 16319094 markings, 17854532 edges, 23029 markings/sec, 710 secs
lola: 16434181 markings, 17980184 edges, 23017 markings/sec, 715 secs
lola: 16547705 markings, 18105856 edges, 22705 markings/sec, 720 secs
lola: 16660918 markings, 18230753 edges, 22643 markings/sec, 725 secs
lola: 16774495 markings, 18354557 edges, 22715 markings/sec, 730 secs
lola: 16887887 markings, 18478190 edges, 22678 markings/sec, 735 secs
lola: 17001466 markings, 18601762 edges, 22716 markings/sec, 740 secs
lola: 17113970 markings, 18725383 edges, 22501 markings/sec, 745 secs
lola: 17228258 markings, 18849164 edges, 22858 markings/sec, 750 secs
lola: 17341696 markings, 18973123 edges, 22688 markings/sec, 755 secs
lola: 17456615 markings, 19097108 edges, 22984 markings/sec, 760 secs
lola: 17570076 markings, 19220607 edges, 22692 markings/sec, 765 secs
lola: 17683431 markings, 19344388 edges, 22671 markings/sec, 770 secs
lola: 17796131 markings, 19466310 edges, 22540 markings/sec, 775 secs
lola: 17906232 markings, 19589113 edges, 22020 markings/sec, 780 secs
lola: 18019725 markings, 19712842 edges, 22699 markings/sec, 785 secs
lola: 18131909 markings, 19837014 edges, 22437 markings/sec, 790 secs
lola: 18245485 markings, 19960917 edges, 22715 markings/sec, 795 secs
lola: 18359295 markings, 20084181 edges, 22762 markings/sec, 800 secs
lola: 18473893 markings, 20207406 edges, 22920 markings/sec, 805 secs
lola: 18587479 markings, 20331131 edges, 22717 markings/sec, 810 secs
lola: 18701528 markings, 20455011 edges, 22810 markings/sec, 815 secs
lola: 18814788 markings, 20578984 edges, 22652 markings/sec, 820 secs
lola: 18928483 markings, 20702364 edges, 22739 markings/sec, 825 secs
lola: 19042342 markings, 20825776 edges, 22772 markings/sec, 830 secs
lola: 19155584 markings, 20949507 edges, 22648 markings/sec, 835 secs
lola: 19269084 markings, 21073756 edges, 22700 markings/sec, 840 secs
lola: 19383164 markings, 21198123 edges, 22816 markings/sec, 845 secs
lola: 19497793 markings, 21322327 edges, 22926 markings/sec, 850 secs
lola: 19612502 markings, 21445879 edges, 22942 markings/sec, 855 secs
lola: 19726205 markings, 21569092 edges, 22741 markings/sec, 860 secs
lola: 19838684 markings, 21692797 edges, 22496 markings/sec, 865 secs
lola: 19952404 markings, 21816665 edges, 22744 markings/sec, 870 secs
lola: 20067247 markings, 21940879 edges, 22969 markings/sec, 875 secs
lola: 20181009 markings, 22065161 edges, 22752 markings/sec, 880 secs
lola: 20295593 markings, 22189421 edges, 22917 markings/sec, 885 secs
lola: 20409196 markings, 22312972 edges, 22721 markings/sec, 890 secs
lola: 20521588 markings, 22436375 edges, 22478 markings/sec, 895 secs
lola: 20636291 markings, 22559897 edges, 22941 markings/sec, 900 secs
lola: 20748432 markings, 22683069 edges, 22428 markings/sec, 905 secs
lola: 20861910 markings, 22806356 edges, 22696 markings/sec, 910 secs
lola: 20976457 markings, 22929617 edges, 22909 markings/sec, 915 secs
lola: 21089211 markings, 23051970 edges, 22551 markings/sec, 920 secs
lola: 21202135 markings, 23173677 edges, 22585 markings/sec, 925 secs
lola: 21313941 markings, 23296212 edges, 22361 markings/sec, 930 secs
lola: 21424384 markings, 23418974 edges, 22089 markings/sec, 935 secs
lola: 21538623 markings, 23543783 edges, 22848 markings/sec, 940 secs
lola: 21652793 markings, 23668268 edges, 22834 markings/sec, 945 secs
lola: 21758887 markings, 23782890 edges, 21219 markings/sec, 950 secs
lola: 21873952 markings, 23907770 edges, 23013 markings/sec, 955 secs
lola: 21988469 markings, 24033126 edges, 22903 markings/sec, 960 secs
lola: 22103033 markings, 24158142 edges, 22913 markings/sec, 965 secs
lola: 22218080 markings, 24281419 edges, 23009 markings/sec, 970 secs
lola: 22334347 markings, 24406988 edges, 23253 markings/sec, 975 secs
lola: 22450584 markings, 24532815 edges, 23247 markings/sec, 980 secs
lola: 22565642 markings, 24658362 edges, 23012 markings/sec, 985 secs
lola: 22680793 markings, 24783556 edges, 23030 markings/sec, 990 secs
lola: 22796285 markings, 24908596 edges, 23098 markings/sec, 995 secs
lola: 22911393 markings, 25033807 edges, 23022 markings/sec, 1000 secs
lola: 23024140 markings, 25157412 edges, 22549 markings/sec, 1005 secs
lola: 23137602 markings, 25280640 edges, 22692 markings/sec, 1010 secs
lola: 23251090 markings, 25404647 edges, 22698 markings/sec, 1015 secs
lola: 23364382 markings, 25528945 edges, 22658 markings/sec, 1020 secs
lola: 23477651 markings, 25650830 edges, 22654 markings/sec, 1025 secs
lola: 23591169 markings, 25775124 edges, 22704 markings/sec, 1030 secs
lola: 23704501 markings, 25898609 edges, 22666 markings/sec, 1035 secs
lola: 23816194 markings, 26023689 edges, 22339 markings/sec, 1040 secs
lola: 23931084 markings, 26147866 edges, 22978 markings/sec, 1045 secs
lola: 24044404 markings, 26272656 edges, 22664 markings/sec, 1050 secs
lola: 24160474 markings, 26398131 edges, 23214 markings/sec, 1055 secs
lola: 24274651 markings, 26523867 edges, 22835 markings/sec, 1060 secs
lola: 24389612 markings, 26649710 edges, 22992 markings/sec, 1065 secs
lola: 24503621 markings, 26775034 edges, 22802 markings/sec, 1070 secs
lola: 24619116 markings, 26899705 edges, 23099 markings/sec, 1075 secs
lola: 24734295 markings, 27024672 edges, 23036 markings/sec, 1080 secs
lola: 24848752 markings, 27149508 edges, 22891 markings/sec, 1085 secs
lola: 24963974 markings, 27273720 edges, 23044 markings/sec, 1090 secs
lola: 25079182 markings, 27398358 edges, 23042 markings/sec, 1095 secs
lola: 25194065 markings, 27522827 edges, 22977 markings/sec, 1100 secs
lola: 25310222 markings, 27647983 edges, 23231 markings/sec, 1105 secs
lola: 25426696 markings, 27773391 edges, 23295 markings/sec, 1110 secs
lola: 25541920 markings, 27898606 edges, 23045 markings/sec, 1115 secs
lola: 25656636 markings, 28023846 edges, 22943 markings/sec, 1120 secs
lola: 25772705 markings, 28149366 edges, 23214 markings/sec, 1125 secs
lola: 25885994 markings, 28274886 edges, 22658 markings/sec, 1130 secs
lola: 25999893 markings, 28400579 edges, 22780 markings/sec, 1135 secs
lola: 26114670 markings, 28525985 edges, 22955 markings/sec, 1140 secs
lola: 26230516 markings, 28651162 edges, 23169 markings/sec, 1145 secs
lola: 26344202 markings, 28776482 edges, 22737 markings/sec, 1150 secs
lola: 26454320 markings, 28896348 edges, 22024 markings/sec, 1155 secs
lola: 26563001 markings, 29017135 edges, 21736 markings/sec, 1160 secs
lola: 26678487 markings, 29141459 edges, 23097 markings/sec, 1165 secs
lola: 26791532 markings, 29265067 edges, 22609 markings/sec, 1170 secs
lola: 26905849 markings, 29388117 edges, 22863 markings/sec, 1175 secs
lola: 27020097 markings, 29511529 edges, 22850 markings/sec, 1180 secs
lola: 27134351 markings, 29635068 edges, 22851 markings/sec, 1185 secs
lola: 27247843 markings, 29758314 edges, 22698 markings/sec, 1190 secs
lola: 27361788 markings, 29880750 edges, 22789 markings/sec, 1195 secs
lola: 27475367 markings, 30003426 edges, 22716 markings/sec, 1200 secs
lola: 27587386 markings, 30126787 edges, 22404 markings/sec, 1205 secs
lola: 27699296 markings, 30250181 edges, 22382 markings/sec, 1210 secs
lola: 27810688 markings, 30373144 edges, 22278 markings/sec, 1215 secs
lola: 27923860 markings, 30495844 edges, 22634 markings/sec, 1220 secs
lola: 28037900 markings, 30618578 edges, 22808 markings/sec, 1225 secs
lola: 28149820 markings, 30741564 edges, 22384 markings/sec, 1230 secs
lola: 28262102 markings, 30863992 edges, 22456 markings/sec, 1235 secs
lola: 28376030 markings, 30987416 edges, 22786 markings/sec, 1240 secs
lola: 28491059 markings, 31111448 edges, 23006 markings/sec, 1245 secs
lola: 28602738 markings, 31233141 edges, 22336 markings/sec, 1250 secs
lola: 28714555 markings, 31355541 edges, 22363 markings/sec, 1255 secs
lola: 28827038 markings, 31478294 edges, 22497 markings/sec, 1260 secs
lola: 28938972 markings, 31601218 edges, 22387 markings/sec, 1265 secs
lola: 29052962 markings, 31723987 edges, 22798 markings/sec, 1270 secs
lola: 29165796 markings, 31847255 edges, 22567 markings/sec, 1275 secs
lola: 29278549 markings, 31969859 edges, 22551 markings/sec, 1280 secs
lola: 29389484 markings, 32093551 edges, 22187 markings/sec, 1285 secs
lola: 29501640 markings, 32215889 edges, 22431 markings/sec, 1290 secs
lola: 29613507 markings, 32338917 edges, 22373 markings/sec, 1295 secs
lola: 29726714 markings, 32461525 edges, 22641 markings/sec, 1300 secs
lola: 29838585 markings, 32584364 edges, 22374 markings/sec, 1305 secs
lola: 29951447 markings, 32707975 edges, 22572 markings/sec, 1310 secs
lola: 30064239 markings, 32831668 edges, 22558 markings/sec, 1315 secs
lola: 30176909 markings, 32956761 edges, 22534 markings/sec, 1320 secs
lola: 30290885 markings, 33080334 edges, 22795 markings/sec, 1325 secs
lola: 30404355 markings, 33204170 edges, 22694 markings/sec, 1330 secs
lola: 30518316 markings, 33327570 edges, 22792 markings/sec, 1335 secs
lola: 30632704 markings, 33451593 edges, 22878 markings/sec, 1340 secs
lola: 30747640 markings, 33576246 edges, 22987 markings/sec, 1345 secs
lola: 30862363 markings, 33701342 edges, 22945 markings/sec, 1350 secs
lola: 30973937 markings, 33825025 edges, 22315 markings/sec, 1355 secs
lola: 31086739 markings, 33948340 edges, 22560 markings/sec, 1360 secs
lola: 31200329 markings, 34071788 edges, 22718 markings/sec, 1365 secs
lola: 31313362 markings, 34195330 edges, 22607 markings/sec, 1370 secs
lola: 31427096 markings, 34319350 edges, 22747 markings/sec, 1375 secs
lola: 31540098 markings, 34443301 edges, 22600 markings/sec, 1380 secs
lola: 31654229 markings, 34568015 edges, 22826 markings/sec, 1385 secs
lola: 31768816 markings, 34691535 edges, 22917 markings/sec, 1390 secs
lola: 31881701 markings, 34814597 edges, 22577 markings/sec, 1395 secs
lola: 31995808 markings, 34937546 edges, 22821 markings/sec, 1400 secs
lola: 32109542 markings, 35060803 edges, 22747 markings/sec, 1405 secs
lola: 32223680 markings, 35184042 edges, 22828 markings/sec, 1410 secs
lola: 32338186 markings, 35307597 edges, 22901 markings/sec, 1415 secs
lola: 32453552 markings, 35431630 edges, 23073 markings/sec, 1420 secs
lola: 32567115 markings, 35555380 edges, 22713 markings/sec, 1425 secs
lola: 32681158 markings, 35679209 edges, 22809 markings/sec, 1430 secs
lola: 32794764 markings, 35802918 edges, 22721 markings/sec, 1435 secs
lola: 32906072 markings, 35926943 edges, 22262 markings/sec, 1440 secs
lola: 33018708 markings, 36051007 edges, 22527 markings/sec, 1445 secs
lola: 33132096 markings, 36174441 edges, 22678 markings/sec, 1450 secs
lola: 33244631 markings, 36297429 edges, 22507 markings/sec, 1455 secs
lola: 33357426 markings, 36420048 edges, 22559 markings/sec, 1460 secs
lola: 33469471 markings, 36542421 edges, 22409 markings/sec, 1465 secs
lola: 33582463 markings, 36665682 edges, 22598 markings/sec, 1470 secs
lola: 33696560 markings, 36788649 edges, 22819 markings/sec, 1475 secs
lola: 33809445 markings, 36912011 edges, 22577 markings/sec, 1480 secs
lola: 33923205 markings, 37035745 edges, 22752 markings/sec, 1485 secs
lola: 34037669 markings, 37159928 edges, 22893 markings/sec, 1490 secs
lola: 34151110 markings, 37283618 edges, 22688 markings/sec, 1495 secs
lola: 34262856 markings, 37407509 edges, 22349 markings/sec, 1500 secs
lola: 34376574 markings, 37531114 edges, 22744 markings/sec, 1505 secs
lola: 34490086 markings, 37654510 edges, 22702 markings/sec, 1510 secs
lola: 34602297 markings, 37779176 edges, 22442 markings/sec, 1515 secs
lola: 34715375 markings, 37902545 edges, 22616 markings/sec, 1520 secs
lola: 34828311 markings, 38025372 edges, 22587 markings/sec, 1525 secs
lola: 34941041 markings, 38148905 edges, 22546 markings/sec, 1530 secs
lola: 35054196 markings, 38271730 edges, 22631 markings/sec, 1535 secs
lola: 35168577 markings, 38395158 edges, 22876 markings/sec, 1540 secs
lola: 35281581 markings, 38519812 edges, 22601 markings/sec, 1545 secs
lola: 35396464 markings, 38644426 edges, 22977 markings/sec, 1550 secs
lola: 35510763 markings, 38768511 edges, 22860 markings/sec, 1555 secs
lola: 35624432 markings, 38892561 edges, 22734 markings/sec, 1560 secs
lola: 35738092 markings, 39016242 edges, 22732 markings/sec, 1565 secs
lola: 35851809 markings, 39139458 edges, 22743 markings/sec, 1570 secs
lola: 35964425 markings, 39261191 edges, 22523 markings/sec, 1575 secs
lola: 36072525 markings, 39377437 edges, 21620 markings/sec, 1580 secs
lola: 36160100 markings, 39472092 edges, 17515 markings/sec, 1585 secs
lola: 36166851 markings, 39479359 edges, 1350 markings/sec, 1590 secs
lola: 36169017 markings, 39481673 edges, 433 markings/sec, 1595 secs
lola: 36170748 markings, 39483502 edges, 346 markings/sec, 1600 secs
lola: 36172832 markings, 39485716 edges, 417 markings/sec, 1605 secs
lola: 36174074 markings, 39487124 edges, 248 markings/sec, 1610 secs
lola: 36175085 markings, 39488192 edges, 202 markings/sec, 1615 secs
lola: 36178698 markings, 39492058 edges, 723 markings/sec, 1620 secs
lola: 36179453 markings, 39492956 edges, 151 markings/sec, 1625 secs
lola: 36184724 markings, 39498792 edges, 1054 markings/sec, 1630 secs
lola: 36185707 markings, 39499972 edges, 197 markings/sec, 1635 secs
lola: 36186610 markings, 39500987 edges, 181 markings/sec, 1640 secs
lola: 36193240 markings, 39508486 edges, 1326 markings/sec, 1645 secs
lola: 36198486 markings, 39514175 edges, 1049 markings/sec, 1650 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA DLCround-PT-11b-CTLCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: (A (G (((p1194 <= 0) AND (p1171 + 1 <= p3820)))) OR A (G (((p2408 <= 0) OR (p2065 <= p1431)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (G (((p2408 <= 0) OR (p2065 <= p1431))))
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 (((p2408 <= 0) OR (p2065 <= p1431))))
lola: processed formula length: 43
lola: 62 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((1 <= p2408) AND (p1431 + 1 <= p2065))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-CTLCardinality-17-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 228 markings, 227 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (((p1194 <= 0) AND (p1171 + 1 <= p3820))))
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 (((p1194 <= 0) AND (p1171 + 1 <= p3820))))
lola: processed formula length: 47
lola: 62 rewrites
lola: closed formula file DLCround-PT-11b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCround-PT-11b-CTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: yes no no yes yes no no no no yes yes no no unknown yes no
lola:
preliminary result: yes no no yes yes no no no no yes yes no no unknown yes no
lola: memory consumption: 32612 KB
lola: time consumption: 2214 seconds
BK_STOP 1526662653128
--------------------
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-11b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-11b.tgz
mv DLCround-PT-11b 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-11b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735200122"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;