About the Execution of LoLA for DLCround-PT-12b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.430 | 2453782.00 | 2456308.00 | 21873.90 | FFFFFFFFTFT?TFFF | 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 2.1M
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.1K 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 10K 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.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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.9M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-12b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735300137
=====================================================================
--------------------
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-12b-CTLFireability-00
FORMULA_NAME DLCround-PT-12b-CTLFireability-01
FORMULA_NAME DLCround-PT-12b-CTLFireability-02
FORMULA_NAME DLCround-PT-12b-CTLFireability-03
FORMULA_NAME DLCround-PT-12b-CTLFireability-04
FORMULA_NAME DLCround-PT-12b-CTLFireability-05
FORMULA_NAME DLCround-PT-12b-CTLFireability-06
FORMULA_NAME DLCround-PT-12b-CTLFireability-07
FORMULA_NAME DLCround-PT-12b-CTLFireability-08
FORMULA_NAME DLCround-PT-12b-CTLFireability-09
FORMULA_NAME DLCround-PT-12b-CTLFireability-10
FORMULA_NAME DLCround-PT-12b-CTLFireability-11
FORMULA_NAME DLCround-PT-12b-CTLFireability-12
FORMULA_NAME DLCround-PT-12b-CTLFireability-13
FORMULA_NAME DLCround-PT-12b-CTLFireability-14
FORMULA_NAME DLCround-PT-12b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526674274451
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-12b 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-12b formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DLCround-PT-12b @ 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: 12684/65536 symbol table entries, 3783 collisions
lola: preprocessing...
lola: Size of bit vector: 4848
lola: finding significant places
lola: 4848 places, 7836 transitions, 4571 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 11364 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-12b-CTLFireability.task
lola: A (G (NOT FIREABLE(t4660))) : NOT(NOT((E (F (NOT FIREABLE(t3074))) AND A (G (NOT FIREABLE(t91)))))) : A (((FIREABLE(t6703) AND A (F (FIREABLE(t4060)))) U A (F ((FIREABLE(t975) OR FIREABLE(t6829)))))) : E (((E (G (FIREABLE(t6500))) AND E (F (FIREABLE(t2205)))) U NOT(E (F (FIREABLE(t4647)))))) : A (G (A (F ((NOT FIREABLE(t2939) AND (FIREABLE(t5692) OR FIREABLE(t2487))))))) : ((A (F (FIREABLE(t5264))) AND A (((FIREABLE(t5380) OR FIREABLE(t5812)) U (FIREABLE(t389) OR FIREABLE(t1245))))) OR E (G ((A (F (FIREABLE(t3893))) AND A (F (FIREABLE(t2567))))))) : A (F (E (X (FIREABLE(t484))))) : ((A (F (E (X (FIREABLE(t5039))))) OR A (G (FIREABLE(t7250)))) OR (E (G ((NOT FIREABLE(t2137) OR NOT FIREABLE(t1870)))) AND (A (G ((FIREABLE(t5523) OR FIREABLE(t5588)))) AND FIREABLE(t4204)))) : (NOT(A (G (NOT FIREABLE(t4693)))) AND E (((NOT FIREABLE(t1403) OR NOT FIREABLE(t7811)) U (NOT FIREABLE(t5318) AND NOT FIREABLE(t4808))))) : NOT(E (X (E (F ((FIREABLE(t6599) OR FIREABLE(t2326))))))) : (E (F (E (F (FIREABLE(t360))))) OR A ((E (G (FIREABLE(t3131))) U E (F (FIREABLE(t4028)))))) : NOT(A (F ((E (F (FIREABLE(t5699))) AND (NOT FIREABLE(t5491) AND NOT FIREABLE(t2862)))))) : NOT((A (F (FIREABLE(t4763))) AND NOT FIREABLE(t1674))) : (E ((A (F (FIREABLE(t5090))) U FIREABLE(t401))) OR NOT(E ((NOT FIREABLE(t774) U NOT FIREABLE(t3895))))) : (A (X (A (F ((FIREABLE(t6515) OR FIREABLE(t5526)))))) OR E (((FIREABLE(t3571) OR FIREABLE(t896) OR FIREABLE(t1902) OR FIREABLE(t1134)) U FIREABLE(t3588)))) : (NOT FIREABLE(t4169) AND A (F (A (G (FIREABLE(t565))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:329
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:470
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
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:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:401
lola: rewrite Frontend/Parser/formula_rewrite.k:452
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (X (FIREABLE(t484)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U EX(FIREABLE(t484)))
lola: processed formula length: 28
lola: 47 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 135 markings, 135 edges
FORMULA DLCround-PT-12b-CTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (E (X (FIREABLE(t5039))))) OR (A (G (FIREABLE(t7250))) OR (E (G ((NOT FIREABLE(t2137) OR NOT FIREABLE(t1870)))) AND (A (G ((FIREABLE(t5523) OR FIREABLE(t5588)))) AND FIREABLE(t4204)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t4204)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t4204)
lola: processed formula length: 15
lola: 45 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t7250)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (FIREABLE(t7250)))
lola: processed formula length: 23
lola: 47 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: NOT FIREABLE(t7250)
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (X (FIREABLE(t5039)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U EX(FIREABLE(t5039)))
lola: processed formula length: 29
lola: 47 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 135 markings, 135 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCround-PT-12b-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G ((NOT FIREABLE(t6599) AND NOT FIREABLE(t2326))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:663
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: (FIREABLE(t6599) OR FIREABLE(t2326))
lola: processed formula length: 37
lola: 47 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--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 /EXEF
lola: The predicate is not invariant from successors.
lola: 2397 markings, 2671 edges
lola: ========================================
FORMULA DLCround-PT-12b-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (A (F ((FIREABLE(t6515) OR FIREABLE(t5526)))))) OR E (((FIREABLE(t3571) OR FIREABLE(t896) OR FIREABLE(t1902) OR FIREABLE(t1134)) U FIREABLE(t3588))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((FIREABLE(t3571) OR FIREABLE(t896) OR FIREABLE(t1902) OR FIREABLE(t1134)) U FIREABLE(t3588)))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E (((FIREABLE(t3571) OR FIREABLE(t896) OR FIREABLE(t1902) OR FIREABLE(t1134)) U FIREABLE(t3588)))
lola: processed formula length: 100
lola: 48 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: FIREABLE(t3588)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EU
lola: There is no path where Predicate Phi holds until Predicate Psi.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (F ((FIREABLE(t6515) OR FIREABLE(t5526))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:664
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t6515) AND NOT FIREABLE(t5526))
lola: processed formula length: 45
lola: 47 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEG
lola: The predicate does not eventually occur from all successors.
lola: 1278 markings, 1278 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCround-PT-12b-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t4660)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (NOT FIREABLE(t4660)))
lola: processed formula length: 27
lola: 47 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: FIREABLE(t4660)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-12b-CTLFireability-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-12b-CTLFireability-4-0.sara.
lola: sara is running 0 secs || 17503 markings, 20761 edges, 3501 markings/sec, 0 secs
lola: sara is running 5 secs || 37812 markings, 44837 edges, 4062 markings/sec, 5 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 10 secs || 57945 markings, 68752 edges, 4027 markings/sec, 10 secs
lola: sara is running 15 secs || 78166 markings, 92778 edges, 4044 markings/sec, 15 secs
lola: sara is running 20 secs || 97940 markings, 116490 edges, 3955 markings/sec, 20 secs
lola: sara is running 25 secs || 117141 markings, 140071 edges, 3840 markings/sec, 25 secs
lola: sara is running 30 secs || 136167 markings, 163416 edges, 3805 markings/sec, 30 secs
lola: sara is running 35 secs || 155534 markings, 187513 edges, 3873 markings/sec, 35 secs
lola: sara is running 40 secs || 174267 markings, 211016 edges, 3747 markings/sec, 40 secs
lola: sara is running 45 secs || 193312 markings, 234539 edges, 3809 markings/sec, 45 secs
sara: warning, failure of lp_solve (at job 351)
lola: sara is running 50 secs || 212694 markings, 259336 edges, 3876 markings/sec, 50 secs
lola: sara is running 55 secs || 231875 markings, 283048 edges, 3836 markings/sec, 55 secs
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
FORMULA DLCround-PT-12b-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t975) OR FIREABLE(t6829))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t975) AND NOT FIREABLE(t6829))
lola: processed formula length: 44
lola: 47 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 1277 markings, 1277 edges
lola: ========================================
FORMULA DLCround-PT-12b-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 350 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F ((NOT FIREABLE(t2939) AND (FIREABLE(t5692) OR FIREABLE(t2487)))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (FIREABLE(t2939) OR (NOT FIREABLE(t5692) AND NOT FIREABLE(t2487)))
lola: processed formula length: 67
lola: 47 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate does not eventually occur from all states.
lola: 1279 markings, 1279 edges
lola: ========================================
FORMULA DLCround-PT-12b-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 389 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((A (G (NOT FIREABLE(t5699))) OR (FIREABLE(t5491) OR FIREABLE(t2862)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: NOT(A(TRUE U (E(TRUE U FIREABLE(t5699)) AND (NOT FIREABLE(t5491) AND NOT FIREABLE(t2862)))))
lola: processed formula length: 92
lola: 51 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 105098 markings, 112541 edges, 21020 markings/sec, 0 secs
lola: 207115 markings, 226426 edges, 20403 markings/sec, 5 secs
lola: 308673 markings, 339527 edges, 20312 markings/sec, 10 secs
lola: 410602 markings, 452756 edges, 20386 markings/sec, 15 secs
lola: 512081 markings, 564956 edges, 20296 markings/sec, 20 secs
lola: 613930 markings, 677837 edges, 20370 markings/sec, 25 secs
lola: 715670 markings, 790219 edges, 20348 markings/sec, 30 secs
lola: 816983 markings, 902181 edges, 20263 markings/sec, 35 secs
lola: 918134 markings, 1014428 edges, 20230 markings/sec, 40 secs
lola: 1019558 markings, 1126477 edges, 20285 markings/sec, 45 secs
lola: 1121067 markings, 1239107 edges, 20302 markings/sec, 50 secs
lola: 1222312 markings, 1351335 edges, 20249 markings/sec, 55 secs
lola: 1322813 markings, 1463567 edges, 20100 markings/sec, 60 secs
lola: 1423719 markings, 1575721 edges, 20181 markings/sec, 65 secs
lola: 1524854 markings, 1687618 edges, 20227 markings/sec, 70 secs
lola: 1625396 markings, 1799531 edges, 20108 markings/sec, 75 secs
lola: 1726639 markings, 1911981 edges, 20249 markings/sec, 80 secs
lola: 1827962 markings, 2024458 edges, 20265 markings/sec, 85 secs
lola: 1929088 markings, 2136749 edges, 20225 markings/sec, 90 secs
lola: 2030310 markings, 2248614 edges, 20244 markings/sec, 95 secs
lola: 2131583 markings, 2360547 edges, 20255 markings/sec, 100 secs
lola: 2232189 markings, 2472017 edges, 20121 markings/sec, 105 secs
lola: 2332876 markings, 2583585 edges, 20137 markings/sec, 110 secs
lola: 2433469 markings, 2695097 edges, 20119 markings/sec, 115 secs
lola: 2534194 markings, 2806680 edges, 20145 markings/sec, 120 secs
lola: 2635847 markings, 2919495 edges, 20331 markings/sec, 125 secs
lola: 2736944 markings, 3031477 edges, 20219 markings/sec, 130 secs
lola: 2837578 markings, 3143095 edges, 20127 markings/sec, 135 secs
lola: 2938518 markings, 3255041 edges, 20188 markings/sec, 140 secs
lola: 3039455 markings, 3367310 edges, 20187 markings/sec, 145 secs
lola: 3140096 markings, 3479084 edges, 20128 markings/sec, 150 secs
lola: 3240486 markings, 3590356 edges, 20078 markings/sec, 155 secs
lola: 3341006 markings, 3702101 edges, 20104 markings/sec, 160 secs
lola: 3441019 markings, 3813833 edges, 20003 markings/sec, 165 secs
lola: 3535689 markings, 3919052 edges, 18934 markings/sec, 170 secs
lola: 3635239 markings, 4030446 edges, 19910 markings/sec, 175 secs
lola: 3735351 markings, 4142260 edges, 20022 markings/sec, 180 secs
lola: 3835282 markings, 4254273 edges, 19986 markings/sec, 185 secs
lola: 3928607 markings, 4357571 edges, 18665 markings/sec, 190 secs
lola: 4029681 markings, 4469267 edges, 20215 markings/sec, 195 secs
lola: 4129610 markings, 4580799 edges, 19986 markings/sec, 200 secs
lola: 4223231 markings, 4684893 edges, 18724 markings/sec, 205 secs
lola: 4323502 markings, 4797339 edges, 20054 markings/sec, 210 secs
lola: 4417176 markings, 4901934 edges, 18735 markings/sec, 215 secs
lola: 4517921 markings, 5013949 edges, 20149 markings/sec, 220 secs
lola: 4618074 markings, 5125356 edges, 20031 markings/sec, 225 secs
lola: 4712639 markings, 5230761 edges, 18913 markings/sec, 230 secs
lola: 4811156 markings, 5340242 edges, 19703 markings/sec, 235 secs
lola: 4912139 markings, 5452174 edges, 20197 markings/sec, 240 secs
lola: 5012542 markings, 5564658 edges, 20081 markings/sec, 245 secs
lola: 5105768 markings, 5668760 edges, 18645 markings/sec, 250 secs
lola: 5206121 markings, 5780131 edges, 20071 markings/sec, 255 secs
lola: 5305012 markings, 5890506 edges, 19778 markings/sec, 260 secs
lola: 5399526 markings, 5995046 edges, 18903 markings/sec, 265 secs
lola: 5499014 markings, 6105321 edges, 19898 markings/sec, 270 secs
lola: 5598783 markings, 6216526 edges, 19954 markings/sec, 275 secs
lola: 5690920 markings, 6318806 edges, 18427 markings/sec, 280 secs
lola: 5790552 markings, 6429764 edges, 19926 markings/sec, 285 secs
lola: 5890452 markings, 6540669 edges, 19980 markings/sec, 290 secs
lola: 5990802 markings, 6651755 edges, 20070 markings/sec, 295 secs
lola: 6083877 markings, 6754694 edges, 18615 markings/sec, 300 secs
lola: 6183642 markings, 6864622 edges, 19953 markings/sec, 305 secs
lola: 6276798 markings, 6967439 edges, 18631 markings/sec, 310 secs
lola: 6376512 markings, 7078528 edges, 19943 markings/sec, 315 secs
lola: 6475801 markings, 7188911 edges, 19858 markings/sec, 320 secs
lola: 6575512 markings, 7299380 edges, 19942 markings/sec, 325 secs
lola: 6669066 markings, 7403646 edges, 18711 markings/sec, 330 secs
lola: 6767945 markings, 7513593 edges, 19776 markings/sec, 335 secs
lola: 6867100 markings, 7623356 edges, 19831 markings/sec, 340 secs
lola: 6959774 markings, 7726149 edges, 18535 markings/sec, 345 secs
lola: 7060545 markings, 7837695 edges, 20154 markings/sec, 350 secs
lola: 7161505 markings, 7949787 edges, 20192 markings/sec, 355 secs
lola: 7262060 markings, 8061632 edges, 20111 markings/sec, 360 secs
lola: 7355912 markings, 8165366 edges, 18770 markings/sec, 365 secs
lola: 7455662 markings, 8276378 edges, 19950 markings/sec, 370 secs
lola: 7554999 markings, 8387062 edges, 19867 markings/sec, 375 secs
lola: 7654097 markings, 8496878 edges, 19820 markings/sec, 380 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown no unknown no no unknown no unknown unknown unknown unknown no unknown
lola: memory consumption: 3554404 KB
lola: time consumption: 455 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 389 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E ((A (F (FIREABLE(t5090))) U FIREABLE(t401))) OR A ((FIREABLE(t774) R FIREABLE(t3895))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:742
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: (E(A(TRUE U FIREABLE(t5090)) U FIREABLE(t401)) OR NOT(E(NOT FIREABLE(t774) U NOT FIREABLE(t3895))))
lola: processed formula length: 99
lola: 50 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1321 markings, 1323 edges
lola: ========================================
FORMULA DLCround-PT-12b-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((E (G (FIREABLE(t6500))) AND E (F (FIREABLE(t2205)))) U A (G (NOT FIREABLE(t4647)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: E((NOT(A(TRUE U NOT FIREABLE(t6500))) AND E(TRUE U FIREABLE(t2205))) U NOT(E(TRUE U FIREABLE(t4647))))
lola: processed formula length: 102
lola: 51 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 4 significant temporal operators and needs 17 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 5129 markings, 5337 edges
lola: ========================================
FORMULA DLCround-PT-12b-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (NOT FIREABLE(t4763))) OR FIREABLE(t1674))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t1674)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t1674)
lola: processed formula length: 15
lola: 45 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 623 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t4763)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t4763)))
lola: processed formula length: 27
lola: 45 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 1279 markings, 1279 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DLCround-PT-12b-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 623 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (NOT FIREABLE(t3074))) AND A (G (NOT FIREABLE(t91))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 623 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t91)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (NOT FIREABLE(t91)))
lola: processed formula length: 25
lola: 47 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: FIREABLE(t91)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-12b-CTLFireability-11-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: 11 markings, 10 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCround-PT-12b-CTLFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 778 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (FIREABLE(t360))) OR E (F (FIREABLE(t4028))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 778 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t4028)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t4028)))
lola: processed formula length: 23
lola: 46 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t4028)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-12b-CTLFireability-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-12b-CTLFireability-12-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 52 markings, 51 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DLCround-PT-12b-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1038 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t4169) AND A (F (A (G (FIREABLE(t565))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 1038 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t4169)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t4169)
lola: processed formula length: 19
lola: 45 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.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: ========================================
lola: subprocess 14 will run for 1557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G (FIREABLE(t565)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:665
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t565)
lola: processed formula length: 18
lola: 47 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 1320 markings, 1320 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCround-PT-12b-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (FIREABLE(t4693))) AND E (((NOT FIREABLE(t1403) OR NOT FIREABLE(t7811)) U (NOT FIREABLE(t5318) AND NOT FIREABLE(t4808)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t4693)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t4693)))
lola: processed formula length: 23
lola: 46 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t4693)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-12b-CTLFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-12b-CTLFireability-14-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 72 markings, 71 edges
lola: ========================================
lola: subprocess 15 will run for 3115 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((NOT FIREABLE(t1403) OR NOT FIREABLE(t7811)) U (NOT FIREABLE(t5318) AND NOT FIREABLE(t4808))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E (((NOT FIREABLE(t1403) OR NOT FIREABLE(t7811)) U (NOT FIREABLE(t5318) AND NOT FIREABLE(t4808))))
lola: processed formula length: 99
lola: 48 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: There is a path where Predicate Phi holds until Predicate Psi.
lola: 0 markings, 0 edges
lola: formula 0: (NOT FIREABLE(t5318) AND NOT FIREABLE(t4808))
lola: state equation: Generated DNF with 8 literals and 4 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DLCround-PT-12b-CTLFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3115 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (F (FIREABLE(t5264))) AND A (((FIREABLE(t5380) OR FIREABLE(t5812)) U (FIREABLE(t389) OR FIREABLE(t1245))))) OR E (G ((A (F (FIREABLE(t3893))) AND A (F (FIREABLE(t2567)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 3114 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t5264)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t5264)
lola: processed formula length: 19
lola: 47 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 1279 markings, 1279 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (G ((A (G (NOT FIREABLE(t5699))) OR (FIREABLE(t5491) OR FIREABLE(t2862)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: NOT(A(TRUE U (E(TRUE U FIREABLE(t5699)) AND (NOT FIREABLE(t5491) AND NOT FIREABLE(t2862)))))
lola: processed formula length: 92
lola: 51 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 98613 markings, 105483 edges, 19723 markings/sec, 0 secs
lola: 201495 markings, 220067 edges, 20576 markings/sec, 5 secs
lola: 303813 markings, 334106 edges, 20464 markings/sec, 10 secs
lola: 406064 markings, 447698 edges, 20450 markings/sec, 15 secs
lola: 508509 markings, 561026 edges, 20489 markings/sec, 20 secs
lola: 610978 markings, 674467 edges, 20494 markings/sec, 25 secs
lola: 713611 markings, 787901 edges, 20527 markings/sec, 30 secs
lola: 815705 markings, 900712 edges, 20419 markings/sec, 35 secs
lola: 917487 markings, 1013741 edges, 20356 markings/sec, 40 secs
lola: 1019462 markings, 1126367 edges, 20395 markings/sec, 45 secs
lola: 1121147 markings, 1239191 edges, 20337 markings/sec, 50 secs
lola: 1222953 markings, 1352089 edges, 20361 markings/sec, 55 secs
lola: 1324380 markings, 1465282 edges, 20285 markings/sec, 60 secs
lola: 1426314 markings, 1578520 edges, 20387 markings/sec, 65 secs
lola: 1527983 markings, 1691025 edges, 20334 markings/sec, 70 secs
lola: 1629456 markings, 1804038 edges, 20295 markings/sec, 75 secs
lola: 1730813 markings, 1916694 edges, 20271 markings/sec, 80 secs
lola: 1832643 markings, 2029619 edges, 20366 markings/sec, 85 secs
lola: 1933858 markings, 2142045 edges, 20243 markings/sec, 90 secs
lola: 2035454 markings, 2254339 edges, 20319 markings/sec, 95 secs
lola: 2136964 markings, 2366580 edges, 20302 markings/sec, 100 secs
lola: 2238096 markings, 2478533 edges, 20226 markings/sec, 105 secs
lola: 2339073 markings, 2590274 edges, 20195 markings/sec, 110 secs
lola: 2440295 markings, 2702749 edges, 20244 markings/sec, 115 secs
lola: 2541695 markings, 2814954 edges, 20280 markings/sec, 120 secs
lola: 2643426 markings, 2927795 edges, 20346 markings/sec, 125 secs
lola: 2744546 markings, 3039828 edges, 20224 markings/sec, 130 secs
lola: 2845704 markings, 3152202 edges, 20232 markings/sec, 135 secs
lola: 2946924 markings, 3264405 edges, 20244 markings/sec, 140 secs
lola: 3048063 markings, 3376896 edges, 20228 markings/sec, 145 secs
lola: 3148894 markings, 3488959 edges, 20166 markings/sec, 150 secs
lola: 3249391 markings, 3600187 edges, 20099 markings/sec, 155 secs
lola: 3349572 markings, 3711779 edges, 20036 markings/sec, 160 secs
lola: 3450420 markings, 3824073 edges, 20170 markings/sec, 165 secs
lola: 3550541 markings, 3935647 edges, 20024 markings/sec, 170 secs
lola: 3650836 markings, 4047953 edges, 20059 markings/sec, 175 secs
lola: 3751541 markings, 4160591 edges, 20141 markings/sec, 180 secs
lola: 3852069 markings, 4273099 edges, 20106 markings/sec, 185 secs
lola: 3953236 markings, 4384843 edges, 20233 markings/sec, 190 secs
lola: 4054359 markings, 4496974 edges, 20225 markings/sec, 195 secs
lola: 4155085 markings, 4609227 edges, 20145 markings/sec, 200 secs
lola: 4255447 markings, 4720857 edges, 20072 markings/sec, 205 secs
lola: 4355587 markings, 4833265 edges, 20028 markings/sec, 210 secs
lola: 4456264 markings, 4945291 edges, 20135 markings/sec, 215 secs
lola: 4557054 markings, 5057174 edges, 20158 markings/sec, 220 secs
lola: 4657085 markings, 5168901 edges, 20006 markings/sec, 225 secs
lola: 4757830 markings, 5280714 edges, 20149 markings/sec, 230 secs
lola: 4859205 markings, 5393292 edges, 20275 markings/sec, 235 secs
lola: 4959636 markings, 5505530 edges, 20086 markings/sec, 240 secs
lola: 5059810 markings, 5617300 edges, 20035 markings/sec, 245 secs
lola: 5159968 markings, 5728895 edges, 20032 markings/sec, 250 secs
lola: 5260081 markings, 5840469 edges, 20023 markings/sec, 255 secs
lola: 5359714 markings, 5950965 edges, 19927 markings/sec, 260 secs
lola: 5459295 markings, 6061590 edges, 19916 markings/sec, 265 secs
lola: 5559486 markings, 6172626 edges, 20038 markings/sec, 270 secs
lola: 5659022 markings, 6283323 edges, 19907 markings/sec, 275 secs
lola: 5758823 markings, 6394397 edges, 19960 markings/sec, 280 secs
lola: 5858734 markings, 6505552 edges, 19982 markings/sec, 285 secs
lola: 5958543 markings, 6615985 edges, 19962 markings/sec, 290 secs
lola: 6058456 markings, 6726759 edges, 19983 markings/sec, 295 secs
lola: 6158468 markings, 6836760 edges, 20002 markings/sec, 300 secs
lola: 6258434 markings, 6947342 edges, 19993 markings/sec, 305 secs
lola: 6358284 markings, 7058541 edges, 19970 markings/sec, 310 secs
lola: 6458404 markings, 7169755 edges, 20024 markings/sec, 315 secs
lola: 6559187 markings, 7281259 edges, 20157 markings/sec, 320 secs
lola: 6659350 markings, 7392840 edges, 20033 markings/sec, 325 secs
lola: 6759130 markings, 7503911 edges, 19956 markings/sec, 330 secs
lola: 6859077 markings, 7614555 edges, 19989 markings/sec, 335 secs
lola: 6958511 markings, 7724740 edges, 19887 markings/sec, 340 secs
lola: 7058785 markings, 7835750 edges, 20055 markings/sec, 345 secs
lola: 7159160 markings, 7947193 edges, 20075 markings/sec, 350 secs
lola: 7259015 markings, 8058296 edges, 19971 markings/sec, 355 secs
lola: 7359678 markings, 8169500 edges, 20133 markings/sec, 360 secs
lola: 7459797 markings, 8280969 edges, 20024 markings/sec, 365 secs
lola: 7559345 markings, 8391918 edges, 19910 markings/sec, 370 secs
lola: 7659195 markings, 8502414 edges, 19970 markings/sec, 375 secs
lola: 7758731 markings, 8612448 edges, 19907 markings/sec, 380 secs
lola: 7858521 markings, 8722187 edges, 19958 markings/sec, 385 secs
lola: 7958245 markings, 8833036 edges, 19945 markings/sec, 390 secs
lola: 8057649 markings, 8943461 edges, 19881 markings/sec, 395 secs
lola: 8158055 markings, 9054897 edges, 20081 markings/sec, 400 secs
lola: 8258506 markings, 9166113 edges, 20090 markings/sec, 405 secs
lola: 8357729 markings, 9277308 edges, 19845 markings/sec, 410 secs
lola: 8457420 markings, 9387718 edges, 19938 markings/sec, 415 secs
lola: 8556841 markings, 9498346 edges, 19884 markings/sec, 420 secs
lola: 8656668 markings, 9608735 edges, 19965 markings/sec, 425 secs
lola: 8756355 markings, 9719691 edges, 19937 markings/sec, 430 secs
lola: 8856670 markings, 9830734 edges, 20063 markings/sec, 435 secs
lola: 8956227 markings, 9941736 edges, 19911 markings/sec, 440 secs
lola: 9055105 markings, 10052004 edges, 19776 markings/sec, 445 secs
lola: 9154846 markings, 10162783 edges, 19948 markings/sec, 450 secs
lola: 9254172 markings, 10272811 edges, 19865 markings/sec, 455 secs
lola: 9354031 markings, 10383553 edges, 19972 markings/sec, 460 secs
lola: 9453636 markings, 10494145 edges, 19921 markings/sec, 465 secs
lola: 9552544 markings, 10605039 edges, 19782 markings/sec, 470 secs
lola: 9651809 markings, 10715444 edges, 19853 markings/sec, 475 secs
lola: 9751052 markings, 10825993 edges, 19849 markings/sec, 480 secs
lola: 9850838 markings, 10937390 edges, 19957 markings/sec, 485 secs
lola: 9951022 markings, 11048902 edges, 20037 markings/sec, 490 secs
lola: 10050947 markings, 11160765 edges, 19985 markings/sec, 495 secs
lola: 10150773 markings, 11272048 edges, 19965 markings/sec, 500 secs
lola: 10250809 markings, 11383310 edges, 20007 markings/sec, 505 secs
lola: 10349609 markings, 11494549 edges, 19760 markings/sec, 510 secs
lola: 10448896 markings, 11605468 edges, 19857 markings/sec, 515 secs
lola: 10548556 markings, 11716534 edges, 19932 markings/sec, 520 secs
lola: 10648159 markings, 11827288 edges, 19921 markings/sec, 525 secs
lola: 10747877 markings, 11937785 edges, 19944 markings/sec, 530 secs
lola: 10847416 markings, 12048169 edges, 19908 markings/sec, 535 secs
lola: 10946791 markings, 12158688 edges, 19875 markings/sec, 540 secs
lola: 11046553 markings, 12268537 edges, 19952 markings/sec, 545 secs
lola: 11145791 markings, 12379135 edges, 19848 markings/sec, 550 secs
lola: 11245110 markings, 12489589 edges, 19864 markings/sec, 555 secs
lola: 11345109 markings, 12600152 edges, 20000 markings/sec, 560 secs
lola: 11444640 markings, 12711039 edges, 19906 markings/sec, 565 secs
lola: 11543838 markings, 12821783 edges, 19840 markings/sec, 570 secs
lola: 11643180 markings, 12932939 edges, 19868 markings/sec, 575 secs
lola: 11742829 markings, 13044251 edges, 19930 markings/sec, 580 secs
lola: 11842649 markings, 13155817 edges, 19964 markings/sec, 585 secs
lola: 11941605 markings, 13266530 edges, 19791 markings/sec, 590 secs
lola: 12040829 markings, 13377484 edges, 19845 markings/sec, 595 secs
lola: 12140135 markings, 13488022 edges, 19861 markings/sec, 600 secs
lola: 12239681 markings, 13599381 edges, 19909 markings/sec, 605 secs
lola: 12339712 markings, 13710652 edges, 20006 markings/sec, 610 secs
lola: 12440084 markings, 13822906 edges, 20074 markings/sec, 615 secs
lola: 12540892 markings, 13935612 edges, 20162 markings/sec, 620 secs
lola: 12641016 markings, 14047326 edges, 20025 markings/sec, 625 secs
lola: 12740959 markings, 14159102 edges, 19989 markings/sec, 630 secs
lola: 12841429 markings, 14270965 edges, 20094 markings/sec, 635 secs
lola: 12942380 markings, 14383818 edges, 20190 markings/sec, 640 secs
lola: 13043016 markings, 14495901 edges, 20127 markings/sec, 645 secs
lola: 13143998 markings, 14608147 edges, 20196 markings/sec, 650 secs
lola: 13244632 markings, 14720573 edges, 20127 markings/sec, 655 secs
lola: 13345358 markings, 14832716 edges, 20145 markings/sec, 660 secs
lola: 13445628 markings, 14944634 edges, 20054 markings/sec, 665 secs
lola: 13546568 markings, 15057442 edges, 20188 markings/sec, 670 secs
lola: 13646282 markings, 15169267 edges, 19943 markings/sec, 675 secs
lola: 13746906 markings, 15281924 edges, 20125 markings/sec, 680 secs
lola: 13847677 markings, 15394534 edges, 20154 markings/sec, 685 secs
lola: 13947384 markings, 15506242 edges, 19941 markings/sec, 690 secs
lola: 14048408 markings, 15618422 edges, 20205 markings/sec, 695 secs
lola: 14148986 markings, 15730589 edges, 20116 markings/sec, 700 secs
lola: 14249571 markings, 15842530 edges, 20117 markings/sec, 705 secs
lola: 14349983 markings, 15954083 edges, 20082 markings/sec, 710 secs
lola: 14450246 markings, 16066740 edges, 20053 markings/sec, 715 secs
lola: 14550381 markings, 16178642 edges, 20027 markings/sec, 720 secs
lola: 14651487 markings, 16290555 edges, 20221 markings/sec, 725 secs
lola: 14752452 markings, 16402734 edges, 20193 markings/sec, 730 secs
lola: 14852836 markings, 16514380 edges, 20077 markings/sec, 735 secs
lola: 14953111 markings, 16626562 edges, 20055 markings/sec, 740 secs
lola: 15053612 markings, 16738343 edges, 20100 markings/sec, 745 secs
lola: 15153653 markings, 16850543 edges, 20008 markings/sec, 750 secs
lola: 15253886 markings, 16962134 edges, 20047 markings/sec, 755 secs
lola: 15354356 markings, 17073929 edges, 20094 markings/sec, 760 secs
lola: 15454572 markings, 17185718 edges, 20043 markings/sec, 765 secs
lola: 15555292 markings, 17297476 edges, 20144 markings/sec, 770 secs
lola: 15655681 markings, 17410042 edges, 20078 markings/sec, 775 secs
lola: 15755985 markings, 17522394 edges, 20061 markings/sec, 780 secs
lola: 15856655 markings, 17634745 edges, 20134 markings/sec, 785 secs
lola: 15956994 markings, 17746711 edges, 20068 markings/sec, 790 secs
lola: 16056900 markings, 17858448 edges, 19981 markings/sec, 795 secs
lola: 16158024 markings, 17971518 edges, 20225 markings/sec, 800 secs
lola: 16258202 markings, 18084037 edges, 20036 markings/sec, 805 secs
lola: 16358077 markings, 18196524 edges, 19975 markings/sec, 810 secs
lola: 16458523 markings, 18308496 edges, 20089 markings/sec, 815 secs
lola: 16558732 markings, 18420597 edges, 20042 markings/sec, 820 secs
lola: 16659272 markings, 18533008 edges, 20108 markings/sec, 825 secs
lola: 16759656 markings, 18644942 edges, 20077 markings/sec, 830 secs
lola: 16860312 markings, 18757513 edges, 20131 markings/sec, 835 secs
lola: 16959671 markings, 18868787 edges, 19872 markings/sec, 840 secs
lola: 17060101 markings, 18981000 edges, 20086 markings/sec, 845 secs
lola: 17160197 markings, 19093234 edges, 20019 markings/sec, 850 secs
lola: 17260039 markings, 19204742 edges, 19968 markings/sec, 855 secs
lola: 17359666 markings, 19316504 edges, 19925 markings/sec, 860 secs
lola: 17460005 markings, 19428529 edges, 20068 markings/sec, 865 secs
lola: 17560292 markings, 19540755 edges, 20057 markings/sec, 870 secs
lola: 17660131 markings, 19652178 edges, 19968 markings/sec, 875 secs
lola: 17759752 markings, 19764260 edges, 19924 markings/sec, 880 secs
lola: 17859371 markings, 19876234 edges, 19924 markings/sec, 885 secs
lola: 17959440 markings, 19988245 edges, 20014 markings/sec, 890 secs
lola: 18060083 markings, 20100920 edges, 20129 markings/sec, 895 secs
lola: 18160442 markings, 20212812 edges, 20072 markings/sec, 900 secs
lola: 18260794 markings, 20325367 edges, 20070 markings/sec, 905 secs
lola: 18360945 markings, 20437388 edges, 20030 markings/sec, 910 secs
lola: 18460869 markings, 20549757 edges, 19985 markings/sec, 915 secs
lola: 18561120 markings, 20662254 edges, 20050 markings/sec, 920 secs
lola: 18661744 markings, 20774698 edges, 20125 markings/sec, 925 secs
lola: 18761786 markings, 20886806 edges, 20008 markings/sec, 930 secs
lola: 18862433 markings, 20999412 edges, 20129 markings/sec, 935 secs
lola: 18963100 markings, 21112125 edges, 20133 markings/sec, 940 secs
lola: 19063098 markings, 21224174 edges, 20000 markings/sec, 945 secs
lola: 19163328 markings, 21336267 edges, 20046 markings/sec, 950 secs
lola: 19264170 markings, 21448751 edges, 20168 markings/sec, 955 secs
lola: 19363784 markings, 21560182 edges, 19923 markings/sec, 960 secs
lola: 19463472 markings, 21671551 edges, 19938 markings/sec, 965 secs
lola: 19563994 markings, 21783867 edges, 20104 markings/sec, 970 secs
lola: 19664468 markings, 21895498 edges, 20095 markings/sec, 975 secs
lola: 19764190 markings, 22006996 edges, 19944 markings/sec, 980 secs
lola: 19864014 markings, 22119257 edges, 19965 markings/sec, 985 secs
lola: 19964465 markings, 22231777 edges, 20090 markings/sec, 990 secs
lola: 20065106 markings, 22344447 edges, 20128 markings/sec, 995 secs
lola: 20165313 markings, 22456449 edges, 20041 markings/sec, 1000 secs
lola: 20264757 markings, 22568294 edges, 19889 markings/sec, 1005 secs
lola: 20363887 markings, 22680205 edges, 19826 markings/sec, 1010 secs
lola: 20464113 markings, 22792495 edges, 20045 markings/sec, 1015 secs
lola: 20563990 markings, 22904203 edges, 19975 markings/sec, 1020 secs
lola: 20664404 markings, 23017099 edges, 20083 markings/sec, 1025 secs
lola: 20763934 markings, 23128857 edges, 19906 markings/sec, 1030 secs
lola: 20864511 markings, 23241023 edges, 20115 markings/sec, 1035 secs
lola: 20964694 markings, 23353533 edges, 20037 markings/sec, 1040 secs
lola: 21064196 markings, 23465472 edges, 19900 markings/sec, 1045 secs
lola: 21163971 markings, 23577793 edges, 19955 markings/sec, 1050 secs
lola: 21263978 markings, 23690121 edges, 20001 markings/sec, 1055 secs
lola: 21363863 markings, 23801461 edges, 19977 markings/sec, 1060 secs
lola: 21463811 markings, 23913028 edges, 19990 markings/sec, 1065 secs
lola: 21563577 markings, 24024959 edges, 19953 markings/sec, 1070 secs
lola: 21663731 markings, 24137510 edges, 20031 markings/sec, 1075 secs
lola: 21763977 markings, 24249566 edges, 20049 markings/sec, 1080 secs
lola: 21865265 markings, 24362769 edges, 20258 markings/sec, 1085 secs
lola: 21965153 markings, 24474915 edges, 19978 markings/sec, 1090 secs
lola: 22058668 markings, 24579527 edges, 18703 markings/sec, 1095 secs
lola: 22158626 markings, 24691494 edges, 19992 markings/sec, 1100 secs
lola: 22258284 markings, 24803031 edges, 19932 markings/sec, 1105 secs
lola: 22357549 markings, 24914562 edges, 19853 markings/sec, 1110 secs
lola: 22457624 markings, 25025610 edges, 20015 markings/sec, 1115 secs
lola: 22556651 markings, 25137384 edges, 19805 markings/sec, 1120 secs
lola: 22656382 markings, 25249321 edges, 19946 markings/sec, 1125 secs
lola: 22755944 markings, 25361188 edges, 19912 markings/sec, 1130 secs
lola: 22855581 markings, 25472748 edges, 19927 markings/sec, 1135 secs
lola: 22955498 markings, 25584940 edges, 19983 markings/sec, 1140 secs
lola: 23055121 markings, 25696798 edges, 19925 markings/sec, 1145 secs
lola: 23155020 markings, 25808564 edges, 19980 markings/sec, 1150 secs
lola: 23255082 markings, 25920481 edges, 20012 markings/sec, 1155 secs
lola: 23354407 markings, 26030781 edges, 19865 markings/sec, 1160 secs
lola: 23453393 markings, 26141823 edges, 19797 markings/sec, 1165 secs
lola: 23552804 markings, 26252361 edges, 19882 markings/sec, 1170 secs
lola: 23652623 markings, 26363293 edges, 19964 markings/sec, 1175 secs
lola: 23751823 markings, 26475041 edges, 19840 markings/sec, 1180 secs
lola: 23851439 markings, 26586255 edges, 19923 markings/sec, 1185 secs
lola: 23951125 markings, 26697955 edges, 19937 markings/sec, 1190 secs
lola: 24050712 markings, 26808780 edges, 19917 markings/sec, 1195 secs
lola: 24150817 markings, 26920798 edges, 20021 markings/sec, 1200 secs
lola: 24250855 markings, 27032171 edges, 20008 markings/sec, 1205 secs
lola: 24350484 markings, 27143830 edges, 19926 markings/sec, 1210 secs
lola: 24450167 markings, 27255057 edges, 19937 markings/sec, 1215 secs
lola: 24549184 markings, 27366539 edges, 19803 markings/sec, 1220 secs
lola: 24648701 markings, 27478672 edges, 19903 markings/sec, 1225 secs
lola: 24747352 markings, 27589249 edges, 19730 markings/sec, 1230 secs
lola: 24846783 markings, 27701186 edges, 19886 markings/sec, 1235 secs
lola: 24945658 markings, 27812527 edges, 19775 markings/sec, 1240 secs
lola: 25045127 markings, 27924202 edges, 19894 markings/sec, 1245 secs
lola: 25145103 markings, 28036510 edges, 19995 markings/sec, 1250 secs
lola: 25245223 markings, 28148724 edges, 20024 markings/sec, 1255 secs
lola: 25346928 markings, 28262709 edges, 20341 markings/sec, 1260 secs
lola: 25446809 markings, 28374777 edges, 19976 markings/sec, 1265 secs
lola: 25546624 markings, 28486352 edges, 19963 markings/sec, 1270 secs
lola: 25646346 markings, 28598121 edges, 19944 markings/sec, 1275 secs
lola: 25746004 markings, 28709762 edges, 19932 markings/sec, 1280 secs
lola: 25845987 markings, 28821850 edges, 19997 markings/sec, 1285 secs
lola: 25945438 markings, 28932882 edges, 19890 markings/sec, 1290 secs
lola: 26045621 markings, 29044917 edges, 20037 markings/sec, 1295 secs
lola: 26145317 markings, 29156500 edges, 19939 markings/sec, 1300 secs
lola: 26244664 markings, 29267173 edges, 19869 markings/sec, 1305 secs
lola: 26344486 markings, 29378392 edges, 19964 markings/sec, 1310 secs
lola: 26444227 markings, 29490200 edges, 19948 markings/sec, 1315 secs
lola: 26542920 markings, 29601455 edges, 19739 markings/sec, 1320 secs
lola: 26642803 markings, 29713398 edges, 19977 markings/sec, 1325 secs
lola: 26743102 markings, 29825248 edges, 20060 markings/sec, 1330 secs
lola: 26842519 markings, 29936608 edges, 19883 markings/sec, 1335 secs
lola: 26942857 markings, 30048936 edges, 20068 markings/sec, 1340 secs
lola: 27042624 markings, 30160458 edges, 19953 markings/sec, 1345 secs
lola: 27142217 markings, 30272529 edges, 19919 markings/sec, 1350 secs
lola: 27242096 markings, 30384131 edges, 19976 markings/sec, 1355 secs
lola: 27342109 markings, 30495453 edges, 20003 markings/sec, 1360 secs
lola: 27441753 markings, 30607444 edges, 19929 markings/sec, 1365 secs
lola: 27541428 markings, 30719700 edges, 19935 markings/sec, 1370 secs
lola: 27641538 markings, 30831896 edges, 20022 markings/sec, 1375 secs
lola: 27741160 markings, 30943799 edges, 19924 markings/sec, 1380 secs
lola: 27840791 markings, 31055316 edges, 19926 markings/sec, 1385 secs
lola: 27941054 markings, 31167804 edges, 20053 markings/sec, 1390 secs
lola: 28033126 markings, 31270062 edges, 18414 markings/sec, 1395 secs
lola: 28132589 markings, 31381543 edges, 19893 markings/sec, 1400 secs
lola: 28232014 markings, 31493308 edges, 19885 markings/sec, 1405 secs
lola: 28331509 markings, 31605422 edges, 19899 markings/sec, 1410 secs
lola: 28431419 markings, 31717097 edges, 19982 markings/sec, 1415 secs
lola: 28531000 markings, 31828168 edges, 19916 markings/sec, 1420 secs
lola: 28630919 markings, 31939557 edges, 19984 markings/sec, 1425 secs
lola: 28730032 markings, 32050523 edges, 19823 markings/sec, 1430 secs
lola: 28829233 markings, 32161228 edges, 19840 markings/sec, 1435 secs
lola: 28927946 markings, 32272704 edges, 19743 markings/sec, 1440 secs
lola: 29028219 markings, 32384958 edges, 20055 markings/sec, 1445 secs
lola: 29127507 markings, 32496394 edges, 19858 markings/sec, 1450 secs
lola: 29226917 markings, 32608077 edges, 19882 markings/sec, 1455 secs
lola: 29326517 markings, 32719789 edges, 19920 markings/sec, 1460 secs
lola: 29425573 markings, 32831288 edges, 19811 markings/sec, 1465 secs
lola: 29524759 markings, 32942447 edges, 19837 markings/sec, 1470 secs
lola: 29624751 markings, 33054480 edges, 19998 markings/sec, 1475 secs
lola: 29723486 markings, 33165585 edges, 19747 markings/sec, 1480 secs
lola: 29822837 markings, 33277343 edges, 19870 markings/sec, 1485 secs
lola: 29921973 markings, 33389380 edges, 19827 markings/sec, 1490 secs
lola: 30021234 markings, 33501042 edges, 19852 markings/sec, 1495 secs
lola: 30120761 markings, 33612433 edges, 19905 markings/sec, 1500 secs
lola: 30220239 markings, 33723200 edges, 19896 markings/sec, 1505 secs
lola: 30320419 markings, 33835375 edges, 20036 markings/sec, 1510 secs
lola: 30420044 markings, 33947117 edges, 19925 markings/sec, 1515 secs
lola: 30519559 markings, 34058656 edges, 19903 markings/sec, 1520 secs
lola: 30618923 markings, 34169291 edges, 19873 markings/sec, 1525 secs
lola: 30718157 markings, 34280209 edges, 19847 markings/sec, 1530 secs
lola: 30817332 markings, 34391488 edges, 19835 markings/sec, 1535 secs
lola: 30916538 markings, 34503248 edges, 19841 markings/sec, 1540 secs
lola: 31015623 markings, 34614981 edges, 19817 markings/sec, 1545 secs
lola: 31114751 markings, 34726687 edges, 19826 markings/sec, 1550 secs
lola: 31214271 markings, 34838619 edges, 19904 markings/sec, 1555 secs
lola: 31313469 markings, 34951035 edges, 19840 markings/sec, 1560 secs
lola: 31412549 markings, 35061663 edges, 19816 markings/sec, 1565 secs
lola: 31511980 markings, 35173384 edges, 19886 markings/sec, 1570 secs
lola: 31611296 markings, 35284940 edges, 19863 markings/sec, 1575 secs
lola: 31710958 markings, 35396924 edges, 19932 markings/sec, 1580 secs
lola: 31810286 markings, 35508444 edges, 19866 markings/sec, 1585 secs
lola: 31910242 markings, 35620138 edges, 19991 markings/sec, 1590 secs
lola: 32009713 markings, 35731619 edges, 19894 markings/sec, 1595 secs
lola: 32108996 markings, 35843415 edges, 19857 markings/sec, 1600 secs
lola: 32208151 markings, 35955436 edges, 19831 markings/sec, 1605 secs
lola: 32307539 markings, 36066984 edges, 19878 markings/sec, 1610 secs
lola: 32407056 markings, 36179097 edges, 19903 markings/sec, 1615 secs
lola: 32506564 markings, 36290414 edges, 19902 markings/sec, 1620 secs
lola: 32604488 markings, 36400927 edges, 19585 markings/sec, 1625 secs
lola: 32703759 markings, 36512093 edges, 19854 markings/sec, 1630 secs
lola: 32802651 markings, 36623215 edges, 19778 markings/sec, 1635 secs
lola: 32902325 markings, 36734675 edges, 19935 markings/sec, 1640 secs
lola: 33002628 markings, 36847313 edges, 20061 markings/sec, 1645 secs
lola: 33101804 markings, 36958739 edges, 19835 markings/sec, 1650 secs
lola: 33200978 markings, 37070160 edges, 19835 markings/sec, 1655 secs
lola: 33300453 markings, 37181232 edges, 19895 markings/sec, 1660 secs
lola: 33399420 markings, 37292678 edges, 19793 markings/sec, 1665 secs
lola: 33498994 markings, 37404639 edges, 19915 markings/sec, 1670 secs
lola: 33597558 markings, 37515653 edges, 19713 markings/sec, 1675 secs
lola: 33697070 markings, 37627452 edges, 19902 markings/sec, 1680 secs
lola: 33796075 markings, 37738997 edges, 19801 markings/sec, 1685 secs
lola: 33895487 markings, 37851086 edges, 19882 markings/sec, 1690 secs
lola: 33993952 markings, 37962145 edges, 19693 markings/sec, 1695 secs
lola: 34093167 markings, 38073620 edges, 19843 markings/sec, 1700 secs
lola: 34192368 markings, 38184861 edges, 19840 markings/sec, 1705 secs
lola: 34291310 markings, 38296470 edges, 19788 markings/sec, 1710 secs
lola: 34390603 markings, 38407826 edges, 19859 markings/sec, 1715 secs
lola: 34489207 markings, 38518708 edges, 19721 markings/sec, 1720 secs
lola: 34588979 markings, 38630337 edges, 19954 markings/sec, 1725 secs
lola: 34689016 markings, 38742780 edges, 20007 markings/sec, 1730 secs
lola: 34787342 markings, 38853623 edges, 19665 markings/sec, 1735 secs
lola: 34885606 markings, 38964815 edges, 19653 markings/sec, 1740 secs
lola: 34984999 markings, 39076336 edges, 19879 markings/sec, 1745 secs
lola: 35084992 markings, 39187621 edges, 19999 markings/sec, 1750 secs
lola: 35185004 markings, 39300043 edges, 20002 markings/sec, 1755 secs
lola: 35284377 markings, 39411496 edges, 19875 markings/sec, 1760 secs
lola: 35383212 markings, 39522488 edges, 19767 markings/sec, 1765 secs
lola: 35482172 markings, 39633608 edges, 19792 markings/sec, 1770 secs
lola: 35582096 markings, 39745880 edges, 19985 markings/sec, 1775 secs
lola: 35681658 markings, 39856780 edges, 19912 markings/sec, 1780 secs
lola: 35780098 markings, 39967733 edges, 19688 markings/sec, 1785 secs
lola: 35880146 markings, 40079483 edges, 20010 markings/sec, 1790 secs
lola: 35979084 markings, 40190875 edges, 19788 markings/sec, 1795 secs
lola: 36077967 markings, 40301981 edges, 19777 markings/sec, 1800 secs
lola: 36177267 markings, 40414074 edges, 19860 markings/sec, 1805 secs
lola: 36276473 markings, 40525310 edges, 19841 markings/sec, 1810 secs
lola: 36375821 markings, 40637184 edges, 19870 markings/sec, 1815 secs
lola: 36473471 markings, 40746929 edges, 19530 markings/sec, 1820 secs
lola: 36567389 markings, 40852425 edges, 18784 markings/sec, 1825 secs
lola: 36576302 markings, 40862426 edges, 1783 markings/sec, 1830 secs
lola: 36577127 markings, 40863342 edges, 165 markings/sec, 1835 secs
lola: 36581493 markings, 40868182 edges, 873 markings/sec, 1840 secs
lola: 36583291 markings, 40870211 edges, 360 markings/sec, 1845 secs
lola: 36584080 markings, 40871128 edges, 158 markings/sec, 1850 secs
lola: 36584929 markings, 40872107 edges, 170 markings/sec, 1855 secs
lola: 36585436 markings, 40872678 edges, 101 markings/sec, 1860 secs
lola: 36587120 markings, 40874551 edges, 337 markings/sec, 1865 secs
lola: 36588155 markings, 40875757 edges, 207 markings/sec, 1870 secs
lola: 36589440 markings, 40877237 edges, 257 markings/sec, 1875 secs
lola: 36590371 markings, 40878336 edges, 186 markings/sec, 1880 secs
lola: 36591073 markings, 40879113 edges, 140 markings/sec, 1885 secs
lola: 36592616 markings, 40880810 edges, 309 markings/sec, 1890 secs
lola: 36594432 markings, 40882864 edges, 363 markings/sec, 1895 secs
lola: 36596245 markings, 40884875 edges, 363 markings/sec, 1900 secs
lola: 36596971 markings, 40885671 edges, 145 markings/sec, 1905 secs
lola: 36597961 markings, 40886777 edges, 198 markings/sec, 1910 secs
lola: 36598607 markings, 40887538 edges, 129 markings/sec, 1915 secs
lola: 36599451 markings, 40888750 edges, 169 markings/sec, 1920 secs
lola: 36600485 markings, 40889750 edges, 207 markings/sec, 1925 secs
lola: 36601266 markings, 40890597 edges, 156 markings/sec, 1930 secs
lola: 36602281 markings, 40891705 edges, 203 markings/sec, 1935 secs
lola: 36603401 markings, 40892972 edges, 224 markings/sec, 1940 secs
lola: 36605220 markings, 40895042 edges, 364 markings/sec, 1945 secs
lola: 36605604 markings, 40895468 edges, 77 markings/sec, 1950 secs
lola: 36606650 markings, 40896634 edges, 209 markings/sec, 1955 secs
lola: 36608524 markings, 40898734 edges, 375 markings/sec, 1960 secs
lola: 36609832 markings, 40900159 edges, 262 markings/sec, 1965 secs
lola: 36612108 markings, 40902746 edges, 455 markings/sec, 1970 secs
lola: 36613004 markings, 40903753 edges, 179 markings/sec, 1975 secs
lola: 36614662 markings, 40905664 edges, 332 markings/sec, 1980 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA DLCround-PT-12b-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: ((A (F (FIREABLE(t5264))) AND A (((FIREABLE(t5380) OR FIREABLE(t5812)) U (FIREABLE(t389) OR FIREABLE(t1245))))) OR E (G ((A (F (FIREABLE(t3893))) AND A (F (FIREABLE(t2567)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t5264)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t5264)
lola: processed formula length: 19
lola: 47 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 1279 markings, 1279 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (G ((A (F (FIREABLE(t3893))) AND A (F (FIREABLE(t2567))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: processed formula: NOT(A(TRUE U (NOT(A(TRUE U FIREABLE(t3893))) OR NOT(A(TRUE U FIREABLE(t2567))))))
lola: processed formula length: 81
lola: 49 rewrites
lola: closed formula file DLCround-PT-12b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1321 markings, 1322 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
FORMULA DLCround-PT-12b-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: no no no no no no no no yes no yes unknown yes no no no
lola:
preliminary result: no no no no no no no no yes no yes unknown yes no no no
lola: memory consumption: 23056 KB
lola: time consumption: 2454 seconds
BK_STOP 1526676728233
--------------------
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-12b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-12b.tgz
mv DLCround-PT-12b 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-12b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735300137"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;